{
 "proof": "R46-public-gates",
 "assertions": {
  "before": {
   "total": 52,
   "passed": 49,
   "failed": 3,
   "verdict": "HAS_FAILURES"
  },
  "after": {
   "total": 52,
   "passed": 52,
   "failed": 0,
   "verdict": "ALL_PASS"
  }
 },
 "cured": {
  "A14": "36 forbidden em-dashes in Console home -> 0 (surgical replace, re-verified)",
  "A42": "3 forbidden em-dashes in roast.html -> 0",
  "A38": "field moved to state.income.treasuryProfitEverMu min 213752 — live world h30748 publishes exactly 213752"
 },
 "engineCommit": "77e078c",
 "consoleCommits": [
  "2ef6927",
  "a107a49"
 ],
 "liveWorldHeight": 30748,
 "verifyRunId": 35386619595,
 "durationMs": 1417
}