Spaces:
Paused
Paused
Download research/generated/verification/structural_e2e.json from ThomasHeisig/MHRN-Space: direct link, hf CLI and curl.
- Browser
- Download file 1.45 kB
-
https://huggingface.co/spaces/ThomasHeisig/MHRN-Space/resolve/main/research/generated/verification/structural_e2e.json
- Command line
-
hf download hf://spaces/ThomasHeisig/MHRN-Space/research/generated/verification/structural_e2e.json
-
curl -L -o structural_e2e.json https://huggingface.co/spaces/ThomasHeisig/MHRN-Space/resolve/main/research/generated/verification/structural_e2e.json
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 | |
| } |