Skip to content

ADR 0003/0004: enforced verification ledger + measured 3-way benchmark#5

Merged
whchi merged 5 commits into
mainfrom
adr-0003-0004-verification-benchmark
Jul 6, 2026
Merged

ADR 0003/0004: enforced verification ledger + measured 3-way benchmark#5
whchi merged 5 commits into
mainfrom
adr-0003-0004-verification-benchmark

dx: CI, grouped CLI help, evidence-first README, repo hygiene

131b92c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
verify
succeeded Jul 5, 2026 in 11s