feat(lfm): pin per-table-gpu's block path to RPX256 - #967

Merged

MauroToscano merged 23 commits into

per-table-gpufrom

Sep 8, 2026

Commits on Sep 8, 2026

fix(lfm): the block path names its hasher at the call site, not in build_artifacts
MauroToscano
committed
e394f28
refactor(lfm): build_artifacts defaults to REGISTRY_HASHER by name, not to a silent global
MauroToscano
committed
e6a4e27
fix(lfm): the two proves-and-verifies legs name the pin, closing a C-review miss
MauroToscano
committed
40d2f09
fix(lfm): every test that names a hash takes it from one source
MauroToscano
committed
a36f0c6
fix(lfm,tests): the prover and verifier aliases ARE the default hash — name the pin instead
MauroToscano
committed
00f1838
style(tests): drop the transcript imports the alias sweep orphaned
MauroToscano
committed
8c8a487
fix(lfm): the Merkle BACKEND aliases are the default hash too
MauroToscano
committed
0024ed1
test(lfm): the gate stops enumerating spellings of the default
MauroToscano
committed
a655d8b
test(lfm): the gate's config allowlist admits DeviceTreeBackend
MauroToscano
committed
25d56ec
fix(lfm): the arena stride is the builder's digest width, not the configuration's
MauroToscano
committed
2cffabd
style(tests): clippy trim_split_whitespace in the gate's config_items
MauroToscano
committed
39eba79
feat(lfm): pin per-table-gpu's block path to RPX256
MauroToscano
committed
603c1e1
docs(lfm): HASH-PINNING for the RPX pin, and the four static families named
MauroToscano
committed
a7aadc9
feat(lfm): both regenerations under the RPX pin, reproduced control-first
MauroToscano
committed
f530795
fix(lfm): regenerate the registry AFTER the statics it embeds
MauroToscano
committed
9a9d924
fix(tests): the bitwise soundness control commits under the pinned prover
MauroToscano
committed
92968a2
fix(lfm,tests): the remaining digest strides follow the digest's width
MauroToscano
committed
d2e6362
fix(lfm): a host serializer at an explicit wrap hash's digest width
MauroToscano
committed
8290093
test(decode): re-bless the sub ELF's offline decode commitment under the RPX pin
MauroToscano
committed
5b31faf
fix(tests): the merkle-opening and L2G production twins run under the pin's tenant
MauroToscano
committed
a0f1edb
docs(lfm): regeneration order is statics first, registry second
MauroToscano
committed
6ea2cfc
fix(tests): the join control's sibling walk and the split-cell surplus follow the digest's width
MauroToscano
committed
b71f0e6
test(continuation): headroom on the mid-pipeline error liveness guard
MauroToscano
committed
789c04c