feat(evidence): add immutable evidence records and exact spans - #4

Merged

seonghobae merged 37 commits into

mainfrom

agent/task-2-immutable-evidence

Aug 6, 2026

Commits on Aug 5, 2026

test(evidence): define UUIDv7 identifier contract
seonghobae
committed
3e497f1
feat(evidence): implement validated UUIDv7 identifiers
seonghobae
committed
cd3f0fe
fix(evidence): cover identifier defaults and error diagnostics
seonghobae
committed
b8a93e9
fix(clippy): mark UUIDv7 as code in rustdoc
seonghobae
committed
89c1660
fix(clippy): document UUIDv7 test contract
seonghobae
committed
7141c10
test(evidence): define immutable record and exact span contracts
seonghobae
committed
effcf6c
feat(evidence): implement immutable records and exact spans
seonghobae
committed
ff0688b
test(evidence): exercise every fail-closed coverage branch
seonghobae
committed
b768852
style(evidence): apply canonical Rust formatting
seonghobae
committed
2e756ef
docs(evidence): record immutable source trust boundary
seonghobae
committed
f383cd5
merge: refresh Task 2 on the latest workspace foundation
seonghobae
committed
ca7e43a
fix(evidence): keep artifact validation monomorphic
seonghobae
committed
d69466b
test(evidence): exercise monomorphic artifact validation
seonghobae
committed
a911eee
style(evidence): apply final rustfmt layout
seonghobae
committed
bf54c2d
test(evidence): compare stored geometry by exact bits
seonghobae
committed
e1a329c
docs(evidence): record exact RED-GREEN verification evidence
seonghobae
committed
dd92ba4
merge: refresh evidence slice on latest workspace foundation
seonghobae
committed
ffc89de

Commits on Aug 6, 2026

test(evidence): add pinned wire-format dependencies
seonghobae
committed
0f6bb4d
test(evidence): enable wire-format test dependencies
seonghobae
committed
8ed6102
test(evidence): define failing versioned wire contracts
seonghobae
committed
3c09dcf
feat(evidence): implement strict versioned wire DTOs
seonghobae
committed
ee088f6
feat(evidence): expose strict wire schema contract
seonghobae
committed
0443989
feat(evidence): add fail-closed wire validation errors
seonghobae
committed
7d92127
feat(evidence): reconstruct immutable artifacts through wire validation
seonghobae
committed
6e01a5d
feat(evidence): reconstruct immutable documents through wire validation
seonghobae
committed
6e4133b
feat(evidence): revalidate spans through strict wire contracts
seonghobae
committed
2c65783
test(evidence): cover hostile wire payload edge cases
seonghobae
committed
1dee164
style(evidence): apply rustfmt to span wire API
seonghobae
committed
4e306b4
style(evidence): apply rustfmt to wire contract tests
seonghobae
committed
2f8575c
style(evidence): apply rustfmt to wire edge tests
seonghobae
committed
7ca7465
fix(evidence): satisfy pedantic or-pattern lint
seonghobae
committed
ac46e2a
style(evidence): match rustfmt nested or-pattern layout
seonghobae
committed
642c4fd
docs(evidence): extend ADR 0008 with strict wire contracts
seonghobae
committed
122a8c2
docs(evidence): document strict wire reconstruction boundary
seonghobae
committed
ae595aa
docs(changelog): record versioned evidence wire contracts
seonghobae
committed
49be09a
docs(research): add APA 7 evidence wire standards
seonghobae
committed
e991a45
docs(validation): record completed evidence wire TDD and checks
seonghobae
committed
b12377a