G.4-1 Charter | exact CGFrameId, EntityOfConcernRef, ReferencePlane, CNSpecRef.edition, CGSpecRef.edition, assumption envelope, SoTA inputs, CHR Pack@CG-Frame | one immutable CAL.Charter edition and its CALCharterRef |
G.4-2 Operators | CHR typing + SoTA operator inventory | CAL.Operator[] (UTS ids; typed signatures; refs to evidence profiles & guards) |
G.4-3 Acceptance | task intent, exact Characteristic and A.6.1 result-input argument declarations, ClaimScope, evaluation window, any separate qualification window that limits use, policy pins, and CHR characteristics; exact result-episteme refs only for a clause explicitly marked one-off | CAL.Acceptance[] (typed predicate or threshold; admissible result-input declarations; scope; evaluation and applicable qualification windows; freshness pins; unknown and failure behavior refs) |
G.4-4 Flows | Operator cards + admissible aggregators | CAL.Flow[] (legality‑checked compositions; declared result kind) |
G.4-5 NQD Surface | Task intent + policy pins + (optional) QD/OEE inputs | CAL.NQD[] (descriptor/distance/insertion refs + edition pins; optional) |
G.4-6 Publish | all above, exact task, C.22 TaskSignatureRef, proofs, and examples | versioned CAL Pack@CG-Frame, exact CALCharterRef, and the smallest immutable TaskMap edition plus TaskMapRef, citing the task, matching TaskSignature, and acceptance-clause, operator, flow, and evidence-profile refs; also UTS entries, RSCR tests, Worked-Examples, and public-id continuity notes |