research/generated/verification/structural_live_loop.json

{
  "schema_version": 1,
  "suite": "structural_live_loop",
  "status": "verified",
  "timestamp": "2026-10-17T11:40:36.729236",
  "python_version": "3.13.16",
  "test_run_head": "e4f1ece90442a385ffafc334af6f1b438cd143db",
  "tested_commit": "e4f1ece90442a385ffafc334af6f1b438cd143db",
  "tested_tree_digest": "edecf6c6263c1d266bd1deb977da3ffd4992113793d447225c65e104db2fea1a",
  "scope": "structural_live_loop",
  "scope_digest": "31f26a0c2ec56eec09444556c4e7814e5b56aa54ae444930c17aee3c599c8475",
  "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
  }
}