fix(verifier): pin each trace-opening column width to the AIR, not just their sum - #909

Merged

MauroToscano merged 8 commits into

mainfrom

fix/pin-opening-widths

Aug 7, 2026

Commits on Aug 7, 2026

fix(verifier): pin each trace-opening column width to the AIR, not just their sum

MauroToscano
and
diegokingston
committed
0779bae
test(verifier): regression tests for the trace-opening column split

MauroToscano
and
diegokingston
committed
7fb83da
style: cargo fmt + drop redundant clones flagged by clippy

MauroToscano
and
diegokingston
committed
5243c9b
test(verifier): regression tests for the main<->aux opening split (LogUp break)

MauroToscano
and
diegokingston
committed
c18411b
docs(verifier): record the aux instance at verify_trace_openings and in the guard doc

MauroToscano
and
diegokingston
committed
4c19149
test(verifier): drop the prover hook - both instances now pin hook-free

MauroToscano
and
diegokingston
committed
41e95cb
docs(test): state precisely what the round-1 root check does and does not catch

MauroToscano
and
diegokingston
committed
dcc7cfd
docs(verifier): trim the opening-width doc to the invariant

MauroToscano
and
diegokingston
committed
b7bc5ee