Reconfirm ACT/BME state machines, remint credit math, and circuit-breaker thresholds with economics/governance; document rounding, price windows, and dust handling; define migration of legacy stable balances and required genesis params.