feat: add explicit durable verification reports (#114) - #165

Merged

flyingrobots merged 19 commits into

mainfrom

feat/114-durable-verification

Oct 3, 2026

Commits on Oct 2, 2026

docs: reconcile durable verification landing scope (#114)
flyingrobots
committed
945f06c
feat: report subject-specific admitted catalog evidence (#114)
flyingrobots
committed
92f9208

Commits on Oct 3, 2026

feat: report admitted segment and logical-record evidence (#114)
flyingrobots
committed
d65c845
feat: verify complete blob and retained root evidence (#114)
flyingrobots
committed
b204f83
feat: preserve durable verification outcomes and view evidence (#114)
flyingrobots
committed
6504c86
test: map existing corruption laws through verification outcomes (#114)
flyingrobots
committed
28c9417
test: reject corruption labels for verification resource limits (#114)
flyingrobots
committed
b33c7da
fix: restrict root catalog provenance to verified closure (#114)
flyingrobots
committed
26d3522
fix: retain corruption classification at store admission (#114)
flyingrobots
committed
665ffb3
fix: prevent ordinal comparisons of verification depths (#114)
flyingrobots
committed
2b28c4a
refactor: centralize exhaustive verification failure classes (#114)
flyingrobots
committed
6802644
test: calibrate exact admission diagnostic assertions (#114)
flyingrobots
committed
cc1e37b
fix: reject unsupported retention requests before reads (#114)
flyingrobots
committed
c003c89
fix: preserve selected-root wrong-kind corruption (#114)
flyingrobots
committed
27d5934
merge: preserve durable read contracts in verification integration (#114)
flyingrobots
committed
80afd11
fix: retain missing selected segment identity in verification (#114)
flyingrobots
committed
90b9af3
fix: classify evidenced namespace contradictions precisely (#114)
flyingrobots
committed
c544e2d
fix: retain typed selected namespace kind refusals (#114)
flyingrobots
committed
f2098ef
test: reconcile selected-segment diagnostic expectations for #114
flyingrobots
committed
1f3991f

Navigation Menu

feat: add explicit durable verification reports (#114) - #165

feat: add explicit durable verification reports (#114)#165
flyingrobots merged 19 commits into
mainfrom
feat/114-durable-verification

Commits on Oct 2, 2026

docs: reconcile durable verification landing scope (#114)

feat: report subject-specific admitted catalog evidence (#114)

Commits on Oct 3, 2026

feat: report admitted segment and logical-record evidence (#114)

feat: verify complete blob and retained root evidence (#114)

feat: preserve durable verification outcomes and view evidence (#114)

test: map existing corruption laws through verification outcomes (#114)

test: reject corruption labels for verification resource limits (#114)

fix: restrict root catalog provenance to verified closure (#114)

fix: retain corruption classification at store admission (#114)

fix: prevent ordinal comparisons of verification depths (#114)

refactor: centralize exhaustive verification failure classes (#114)

test: calibrate exact admission diagnostic assertions (#114)

fix: reject unsupported retention requests before reads (#114)

fix: preserve selected-root wrong-kind corruption (#114)

merge: preserve durable read contracts in verification integration (#114)

fix: retain missing selected segment identity in verification (#114)

fix: classify evidenced namespace contradictions precisely (#114)

fix: retain typed selected namespace kind refusals (#114)

test: reconcile selected-segment diagnostic expectations for #114