Source changed 2026-10-03 11:52:20 UTC · snapshot created 2026-10-03 11:53:41 UTC · last check 2026-10-03 12:15:10 UTC
G.4:9 - Consequences
CAL operator/acceptance semantics become stable, citable CAL Pack content rather than tacit code behavior.
Legality failures are surfaced as authoring defects (RSCR‑testable) rather than run‑time surprises.
Downstream patterns (G.5, G.8, G.9, G.10, G.11) can reference stable ids/pins without redefining acceptance or operator semantics.
Method pluralism is supported: multiple calculi can coexist as separate operator/flow/acceptance families, wired via Extensions rather than mixed into the core kit.