FeatureRNG [DO NOT MERGE]#659

Open

RichardAH wants to merge 12 commits intodevfrom

Commits on Dec 19, 2025

first part of featRNG
RichardAH
committed

Commits on Dec 21, 2025

code complete, compiling untested
RichardAH
committed

Commits on Dec 22, 2025

debugging, invariant check, txns need to be injected earlier if possible
RichardAH
committed

Commits on Dec 24, 2025

Commits on Dec 27, 2025

add msg suppression for shuffle
RichardAH
committed

Commits on Jan 3, 2026

Commits on Jan 5, 2026