C1 MEASURED
Does multiplier ever roll forward by itself after the effective time?
NO: the multiplier field stays at the old value; newMultiplier is the one in force.
Semantic lab, Solana devnet
What the program really does.
Each case is a real devnet transaction on a Token-2022 mint with ScaledUiAmount. The answers below set the replay rules the kernel uses on mainnet history.
C2 MEASURED
Is the boundary >= or > at the effective timestamp?
AT_OR_AFTER (>=): scaled value appears when blockTime equals the effective timestamp.
C3 MEASURED
After A then B before A takes effect, is A recoverable from state at all?
NO: state holds only B. A exists only in transaction history. Recovering history from transactions is required.
C4 MEASURED
After A took effect and B is scheduled, does multiplier become A?
YES: multiplier rolls to A when B is scheduled (ACTIVE_AT_SUBMIT).
C5 MEASURED
f64 rounding versus exact decimal for a large raw amount
EXACT: program output equals exact decimal.
C6 MEASURED