Add the slab depth geometry, and two verifiers that can fail - #19

Open

aurascoper wants to merge 13 commits into

fix/codex-review-round-twofrom

feat/slab-depth-geometry

Commits on Aug 28, 2026

Add the slab depth geometry, and two verifiers that can fail

aurascoper
and
claude
committed
e7b1090

Commits on Aug 29, 2026

Install deSolve into the R that actually runs the verifier

aurascoper
and
claude
committed
23d4533
Close Codex's three on #19, one of them in the gate itself

aurascoper
and
claude
committed
b31faa6
Make both receipt gates prove they reject drift

aurascoper
and
claude
committed
77aa2be
Declare the reducing basis a fraction of X_total

aurascoper
and
claude
committed
6a7d592
Guard both operands, both verdict types, and the gate's own path

aurascoper
and
claude
committed
e43817f
Enforce the radiodialysis basis gate instead of relying on an accident

aurascoper
and
claude
committed
301951a
Label the gated basis where it escapes into a file

aurascoper
and
claude
committed
2c93d1e
Declare basis provenance, and make the census parse instead of grep

aurascoper
and
claude
committed
207f292
Census: keyword shorthand is a bypass, not the disclaimed residual

aurascoper
and
claude
committed
f49fe94
Refuse unknown checkpoint provenance, and hybrid geometry lists

aurascoper
and
claude
committed
ba5c424
Ledger what the merge gate cannot tell apart, and stop sharing checkouts

aurascoper
and
claude
committed
3daef5f
The worktree rule prescribed the defect it warns about

aurascoper
and
claude
committed
63be89b