[PMAT-254] README derived + enforced by pv contract and SHACL shape - #256

Merged

noahgift merged 2 commits into

mainfrom

fix/readme-shacl-pv

Sep 25, 2026

Commits on Sep 25, 2026

[PMAT-254] README claims derived and enforced by pv contract + SHACL shape (Refs #254)

noahgift
and
claude
committed
d738779
[PMAT-254] README gate evaluates whole examples; quorum + mutation proof (Refs #254)

noahgift
and
claude
committed
a14f517