research/generated/verification/structural_e2e.json

{
  "schema_version": 1,
  "suite": "structural_e2e",
  "status": "verified",
  "timestamp": "2026-09-07T19:56:14.073090",
  "python_version": "3.13.14",
  "test_run_head": "2f16ca246a6e292c1a2ff57473f465fcf000ffcb",
  "tested_commit": "2f16ca246a6e292c1a2ff57473f465fcf000ffcb",
  "tested_tree_digest": "c9420a998b770bafc6211667806a71835e2ef15b1a471cc5c28371b50fad8958",
  "scope": "structural_e2e",
  "scope_digest": "3c418058a7d00d815c05a63f208bd644256382c90dc60de1abf1ef4d148794c6",
  "test_command": "python -m pytest tests/test_structural_e2e.py -q",
  "proofs": {
    "test_proof_01_coordinator_instantiated": true,
    "test_proof_02_plasticity_engine_instantiated": true,
    "test_proof_03_bridge_identity": true,
    "test_proof_04_real_signal_proposal": true,
    "test_proof_05_proposal_no_mutation": true,
    "test_proof_06_reject_no_mutation": true,
    "test_proof_07_approve_exactly_one_mutation": true,
    "test_proof_08_exactly_one_change_record": true,
    "test_proof_09_undo_restores_topology": true,
    "test_proof_10_restart_replay_identity": true,
    "test_complete_canonical_e2e": true
  },
  "topology_digest_before": "2d92c14cc2809bc873f4ee3338ee744b03d59cb991cc5ddabaa9f3ba998124a7",
  "topology_digest_after_mutation": "94851a89638fb557a95d04f60b569157a25366c5273539085fe4ec3f03990c64",
  "topology_digest_after_undo": "2d92c14cc2809bc873f4ee3338ee744b03d59cb991cc5ddabaa9f3ba998124a7",
  "journal_record_count": 1
}