G.4:2 - Problem
Teams repeatedly face drift and ambiguity in the CAL Pack that sits between “typed measurements exist” and “a selector/dispatcher runs”:
- Illicit operations slip in (implicit cardinalization, unit laundering, ordinal arithmetic).
- Acceptance is scattered (thresholds embedded in code or in CHR prose; predicates not typed; unknown handling inconsistent).
- Evidence wiring is underspecified (which provenance anchors matter, what policy ids are in force, what is plane‑scoped, what changes must trigger refresh).
- Cross-sense or cross-plane imports are silent (hidden reuse across distinct source-local meanings, ReferencePlanes, or editions without the obtaining relation, required crossing records, and loss accounting).
- Tooling artifacts become semantics (vendor flags or implementation details substitute for a conceptual specification).