G.4:10 - Rationale
CAL sits at the boundary where typed measurement becomes actionable choice. Publishing typed and testable CAL declarations reduces semantic drift and prevents “shadow legality gates” from emerging in tools or in downstream prose.
The design separates concerns:
- CHR governs measurement typing and legality guard macros,
- CG‑Spec and CN‑Spec govern the legality gate and governance card, respectively,
G.Coregoverns Part‑G invariants and trigger/default discipline,G.4governs the CAL kit: authoring objects, publication surface, and handoff manifest.
This yields modularity (one governing definition per invariant or default), auditability (pins/ids and proof refs), and extensibility (method families attach through explicit extension modules).