Feat/skip empty tables - #977

Merged

jotabulacios merged 24 commits into

mainfrom

feat/skip-empty-tables

Sep 16, 2026

Commits on Sep 8, 2026

Commits on Sep 9, 2026

Put back the comment the new test split in two
jotabulacios
committed
a7cf2f0
Make the new tests check what they claim
jotabulacios
committed
44dff2e
Merge branch 'main' into feat/skip-empty-tables
jotabulacios
authored
99f6054

Commits on Sep 10, 2026

Commits on Sep 11, 2026

Commits on Sep 14, 2026

Assert the AIR set matches the traces
jotabulacios
committed
76ee0a8
Argue the bus anchor and pin its list
jotabulacios
committed
4e64857
Bind is_final into the epoch statement
jotabulacios
committed
ea35f11

Commits on Sep 15, 2026

Cap the accelerator counts at one table
jotabulacios
committed
3f35a38

Commits on Sep 16, 2026

Say what the new checks actually do
MauroToscano
committed
27e6236
Merge pull request #991 from yetanotherco/review/977-doc-accuracy
jotabulacios
authored
f356c83
Name the anchor the bus actually has
jotabulacios
committed
91c2c0c
Run the real forgery through verify
jotabulacios
committed
3b826e0
Bump the recursion input version
jotabulacios
committed
da90a7d
Pin what the cross-check alone catches
jotabulacios
committed
79217b3
Merge branch 'main' into feat/skip-empty-tables
jotabulacios
authored
8976da5