feat: add independent receipt verifier - #74

Draft

MarcoPorcellato wants to merge 43 commits into

mainfrom

codex/independent-verifier-v1

Commits on Aug 29, 2026

docs: define independent verifier milestone
MarcoPorcellato
committed
c9fd6e6
test: freeze verifier compatibility envelope
MarcoPorcellato
committed
9831208
docs: record verifier compatibility freeze
MarcoPorcellato
committed
bfa4e53
chore: keep SDD report local
MarcoPorcellato
committed
f8c1e36
test: tighten verifier compatibility contracts
MarcoPorcellato
committed
b4e98bc
test: reject duplicate envelope keys
MarcoPorcellato
committed
e6cb6a0
test: complete duplicate key parser
MarcoPorcellato
committed
e5286af
test: add exhaustive public error witnesses
MarcoPorcellato
committed
795db2f
test: complete public error compatibility contract
MarcoPorcellato
committed
614cb57
test: exhaustively assert public error contracts
MarcoPorcellato
committed
d071f14
test: enforce exact public error displays
MarcoPorcellato
committed
03ac7a4
refactor: establish verifier workspace boundary
MarcoPorcellato
committed
65263b5
test: tighten workspace boundary contract
MarcoPorcellato
committed
772b993
refactor: extract canonical receipt core
MarcoPorcellato
committed
ed09b89
refactor: untangle core protocol dependencies
MarcoPorcellato
committed
a88d796
docs: split matrix contract and runner errors
MarcoPorcellato
committed
5ff262d
refactor: establish core verification model
MarcoPorcellato
committed
7433c04
refactor: add pure matrix plan core
MarcoPorcellato
committed
efa548c
test: qualify pure matrix plan core
MarcoPorcellato
committed
2ee39f9
refactor: add pure matrix receipt policy core
MarcoPorcellato
committed
a3fb9b9
style: format pure matrix contract core
MarcoPorcellato
committed
af9617c
refactor: add matrix profile binding core
MarcoPorcellato
committed
0fa7aed
refactor: move combined receipt schema to core
MarcoPorcellato
committed
92cc1ed
refactor: expose core matrix plan facade
MarcoPorcellato
committed
da4b822
docs: gate new development on stable release
MarcoPorcellato
committed
5ab0dc3
refactor: isolate matrix verification contracts
MarcoPorcellato
committed
21c5316
test: package matrix identity contract
MarcoPorcellato
committed
7bcaeb1
refactor: align core matrix policy verification
MarcoPorcellato
committed
a787864
refactor: unify matrix receipt policy contracts
MarcoPorcellato
committed
bcc3a13
refactor: extract policy verification core
MarcoPorcellato
committed
004aba7
test: freeze policy document error sources
MarcoPorcellato
committed
11f71ba
feat: add independent receipt verifier
MarcoPorcellato
committed
53cf351
fix: preserve verifier exit and parity provenance
MarcoPorcellato
committed
ad40ddf
test: harden verifier parity cleanup
MarcoPorcellato
committed
dc09664
test: enforce verifier dependency isolation
MarcoPorcellato
committed
2eb792f
test: harden verifier graph evidence
MarcoPorcellato
committed
d6216be
docs: correct verifier tree evidence command
MarcoPorcellato
committed
6beaa9f
docs: document independent verifier boundary
MarcoPorcellato
committed
24417e5
docs: enforce valid M2 cargo tree command
MarcoPorcellato
committed
fc0443f
fix ccp-core clippy contract findings
MarcoPorcellato
committed
bccd659
fix verifier test module ordering
MarcoPorcellato
committed
cb49eec
chore: close workspace clippy findings
MarcoPorcellato
committed
6ae3f6c
merge: integrate cache payload symlink support
MarcoPorcellato
committed
0c83801