research/generated/verification/structural_live_loop.json

{
  "schema_version": 1,
  "suite": "structural_live_loop",
  "status": "verified",
  "timestamp": "2026-09-07T19:56:15.173191",
  "python_version": "3.13.14",
  "test_run_head": "2f16ca246a6e292c1a2ff57473f465fcf000ffcb",
  "tested_commit": "2f16ca246a6e292c1a2ff57473f465fcf000ffcb",
  "tested_tree_digest": "c9420a998b770bafc6211667806a71835e2ef15b1a471cc5c28371b50fad8958",
  "scope": "structural_live_loop",
  "scope_digest": "5050c8ccd99ec87b7e771b80de1303939482eff4d88d658f1dba4c4e741c22b9",
  "test_command": "python -m pytest tests/test_structural_live_loop.py -q",
  "proofs": {
    "production_adapter_attached": true,
    "real_signal_generated": true,
    "policy_received_real_signal": true,
    "proposal_published": true,
    "proposal_non_mutating": true,
    "reject_non_mutating": true,
    "approve_single_mutation": true,
    "journal_linked_to_proposal": true,
    "runtime_continues_after_mutation": true,
    "undo_restores_topology": true,
    "journal_reopen_replay_identity": true
  }
}