{
 "schema": "cain42.formal_invariants_run.v1",
 "total": 222,
 "passed": 222,
 "failed": 0,
 "source": "clawx.control_plane.invariants.run_all()"
}