Concepts

Invariants

What the compiler will not do — regardless of target, profile or convenience.

ID	Meaning
`INV-001`	Source / Typed / Semantic layers do not branch on TargetId.
`INV-002`	A target may only perform equivalent materialization; otherwise it must refuse.
`INV-005`	A failure must never turn into a success or a legacy fallback.
`INV-008`	build has no network or key side effects; deploy / prove / verify are explicit commands only.
`INV-010`	Clean-room build does not depend on active/ or legacy v1 paths.

Was this page helpful?