mirror of
https://github.com/luxfi/dex.git
synced 2026-09-24 00:26:31 +00:00
Every determinism test in this package compares ComposeRoot against ComposeRoot, so both sides move together and a change to the composition stays green. That is the pattern that let the ledger operand into v1.14.0 unseen. Genesis is now pinned against the written construction; every root from height 1 on was not pinned at all, which is the same fork one block later. TestBlockRootGolden fixes distinct non-zero operands and pins the value, recomputed on the spec side with a separate keccak so the vector cannot be brought back into agreement by editing the code it checks. Height is pinned at two values, and operand swaps are rejected, so a reorder is caught as surely as an added term. Injecting an operand into ComposeRoot fails it; so does moving height ahead of the ledger. Co-authored-by: Hanzo Dev <[email protected]>