ONT-4b2: extract:code + extract:lean as focus nodes; 16 of the ONT-0 table's 32 W3C SHACL-Core cases vendored in the gate, 16 accounted for by excluding form; the pinned oracle differential out of it (Refs PMAT-3509) - #3528

Merged

noahgift merged 12 commits into

mainfrom

PMAT-3509-ont-4b2-oracle-w3c

Sep 19, 2026

Commits on Sep 19, 2026

PMAT-3509: file ONT-4b2 (extract:code + extract:lean, the W3C cases, the oracle differential) against #3509

Noah Gift
and
claude
committed
a2b28d7
PMAT-3509 / ONT-4b2: extract:code + extract:lean into contracts.nt (symbol/ and world/ roots), 16 vendored W3C SHACL-Core cases run by the gate, the pinned oracle differential out of gate

Noah Gift
and
claude
committed
9fb6a51
ONT-4b2: rebased onto 45decafb5 (ONT-4c1 + #3530 + #3523 + #3516 on main) — ordinal 343, the sh:in message carries the path AND the terms, regenerated census / contracts.nt / tree-reader registry (…

Noah Gift
and
claude
committed
b7bb485
ont4c1 corpus test: ladder-green is one of the reported shapes, not the only one — ONT-4b2 reports two more unarmed (Refs PMAT-3509)

Noah Gift
and
claude
committed
dd2582c
lint.rs: decide_named_gate's arms are expressions, not returns; drop the unused ShapesOutcome import (clippy 1.93 -D warnings) (Refs PMAT-3509)

Noah Gift
and
claude
committed
f285506
ont4c1 corpus test: ladder-green is reported and known (armed ∪ not_armed), never pinned to one side of the arming line (Refs PMAT-3509)

Noah Gift
and
claude
committed
bb738fa
ONT-4b2: make oracle without cd (.ONESHELL); the facades lock learns the syn edge; the ticket says 16 vendored + 16 accounted for, not 32; the differential re-run on the rebased tree (Refs PMAT-3509)

Noah Gift
and
claude
committed
f5dd5d7
audit: quorum-PMAT-3509 round 3 AGREED 3/3 on f5dd5d7f6 (Refs PMAT-3509)

Noah Gift
and
claude
committed
6c06704
README: the CONTRACT_COUNT block states 1799 — ONT-4b2 adds contracts/ont-code-symbols-v1.yaml (make readme-sync) (Refs PMAT-3509)

Noah Gift
and
claude
committed
a692709
audit: quorum-PMAT-3509 round 4 AGREED 3/3 on a6927091a (Refs PMAT-3509)

Noah Gift
and
claude
committed
7c2cc78
Merge remote-tracking branch 'origin/main' into PMAT-3509-ont-4b2-oracle-w3c
Noah Gift
committed
3329c7c
audit: quorum-PMAT-3509 round 6 AGREED 3/3 on 3329c7cde (Refs PMAT-3509)

Noah Gift
and
claude
committed
60c4608