MHRN-Space / research /generated /verification /structural_e2e.json
ThomasHeisig's picture
Sync GitHub main 6bb97fb9a95926f8118bd61bec366af28afa0e5c (part 5)
215fdd1 verified
Raw History Blame Contribute Delete
1.45 kB
{
"schema_version": 1,
"suite": "structural_e2e",
"status": "verified",
"timestamp": "2026-10-24T15:42:00.694612",
"python_version": "3.13.16",
"test_run_head": "359b17b7759beadf883354ba61953e51c3a134f5",
"tested_commit": "359b17b7759beadf883354ba61953e51c3a134f5",
"tested_tree_digest": "fd40f85877572792bc3df30279ce3f40c19cdfe32e3171bc030708d561d0a112",
"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
}