Cross-Cutting Invariants CC1–CC9

Status: stub

Full CC1–CC9 documentation is planned for Phase 2. Spec source: SYNTHESIS_V2.csl.

What cross-cutting invariants are

Cross-cutting invariants (CC1–CC9) are properties that must hold simultaneously across all compiler passes. Unlike local invariants (which a single pass maintains), cross-cutting invariants are maintained by all passes together — violating any one of them means the compiler is incorrect.

They are not design goals. They are proofs. Each one has either a formal proof sketch or a clear argument for why no compiler transformation can violate it.

Coming in Phase 2.