{
 "proof": "R46-ratchet-isolated",
 "sandbox": "/tmp/saos-r46-proof-*",
 "heightStart": 30268,
 "heightEnd": 30509,
 "pass": 13,
 "fail": 0,
 "unit": {
  "seed": "213752µ git-proven high-water (Console@4ac9369) applied on live-load",
  "harvest": "both +100µ exact (balance 200000→200100 · ever 213752→213852)",
  "monotonic": "ever never dropped across 240 live ticks · ever ≥ balance invariant held"
 },
 "live": {
  "publishedTreasuryProfitEverMu": 213852,
  "workingBalanceMu": 200100,
  "harvestedInProofMu": 100
 },
 "ledgerAudit": true,
 "durationMs": 1500
}