research/generated/verification/structural_e2e.json

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