fix(lfm,tests): the eleven pins the main-sync port left behind, each against its mover - #1002

Open

MauroToscano wants to merge 8 commits into

whir/lfm-w1h-mainsyncfrom

whir/lfm-pins-rebless

Commits on Sep 21, 2026

fix(lfm,tests): the pins the main-sync port left behind, each against its mover
MauroToscano
committed
8cedf2e
test(prover): the multilinear table-set gates name the tables they argued
MauroToscano
committed
788f36a
style(tests): rustfmt the accelerator-list chain
MauroToscano
committed
865c689
test(prover): the table-set gates pin the SET, and one of them pins a gap
MauroToscano
committed
413b3a3
fix(tests): three more the main-sync port left, and a precompile test that proved the wrong guest
MauroToscano
committed
3218346
test(lfm): the tenant socket census measures before it asserts, and names its hasher
MauroToscano
committed
c8c7c03
fix(lfm): the tenant socket assertion tied a counterfactual to the live pin
MauroToscano
committed
05f0500
fix(test): the host KAT punned its result type, and LP64 made it matter
MauroToscano
committed
b420ee9