feat: HC-111 monotonic selector contracts#22

Merged

SoundBlaster merged 14 commits into

mainfrom

feat/hc-111-contracts

Jun 12, 2026

Commits on Jun 10, 2026

feat: HC-111 monotonic selector contracts

SoundBlaster
and
claude
committed

Commits on Jun 11, 2026

docs: record strict-review follow-ups R1-R13 in DOCS/Workplan.md

SoundBlaster
and
claude
committed
docs: record owner decisions on review follow-ups R9-R13

SoundBlaster
and
claude
committed
fix(R11): SHA-256 via swift-crypto, Foundation-free hex rendering

SoundBlaster
and
claude
committed
fix(R10,R13): lexeme-preserving TypedValue, invariant-safe public API

SoundBlaster
and
claude
committed
fix(R1,R2): every IR v2 node carries its hash; no trap on huge numerals

SoundBlaster
and
claude
committed
fix(R3,R4): contract pairs gated on selector overlap; equal-specificity conflicts

SoundBlaster
and
claude
committed
fix(R5,R6): Foundation-free padding in Explainer, warning-free build

SoundBlaster
and
claude
committed
docs(R8,R12): contract semantics in Resolution spec; RFC 0.2; EBNF fixes

SoundBlaster
and
claude
committed
ci(R8): validate emitted IR v2 against the JSON Schema; fix oneOf in schema

SoundBlaster
and
claude
committed
docs: mark review follow-ups R1-R8, R10-R13 done in DOCS/Workplan.md

SoundBlaster
and
claude
committed
Merge branch 'feat/hc-110-explain' into feat/hc-111-contracts
SoundBlaster
committed
fix: address #22 review — version constant, schema self-description

SoundBlaster
and
claude
committed

Commits on Jun 12, 2026

Merge branch 'feat/hc-110-explain' into feat/hc-111-contracts
SoundBlaster
committed