Seven graphs, one engine — why DIALECTICA partitions state.

Different parts of the system have incompatible mutability contracts. A single graph satisfying all of them satisfies none of them well. Here is why we partition — and why the partition is the engineering thesis.