G.3:1 - Problem frame
A team is defining or evolving a CG‑Frame (via G.1) and has plural, competing SoTA traditions and constructs (via G.2). The team needs an admissibility-ready CHR publication that makes downstream work possible without hidden semantic drift:
- CAL authoring (
G.4) needs typed, admissible operands and guard/legality surfaces to build admissibility and acceptance rules (thresholds and policy cut‑offs remain governed by CAL). - Selector/dispatch (
G.5) needs CHR‑typed quantities and explicit provenance pins so selection can remain set-returning and auditable under admissible orders. - Reuse beyond the defining source or use must name the exact characteristic and scale editions, bearer, scope and validity window, reference plane, evidence, and intended downstream use. Cite an
F.9relation only when it actually obtains between the namedF.17cells; any claim that relies on the relation for this use remains a separate bounded-use claim underC.2.1andF.9; its evidence-bearing reliance followsA.10and any applicableB.3assurance requirement.
The resulting publication is a CHR Pack that is CG‑Frame‑scoped, notation‑independent, and UTS‑published, with explicit edition/policy pins sufficient for reproducibility and RSCR.