| #!/usr/bin/env python3 | |
| import json | |
| from pathlib import Path | |
| r=Path(__file__).resolve().parent | |
| a=json.loads((r/'outputs/results.json').read_text()); b=json.loads((r/'replay_a/results.json').read_text()); c=json.loads((r/'replay_b/results.json').read_text()); d=json.loads((r/'packaged_replay/results.json').read_text()); e=json.loads((r/'EVIDENCE_MATRIX.json').read_text()) | |
| assert a==b==c==d | |
| assert a['summary']=={'registered_claims':6,'verified':5,'falsified':1,'toy':0,'inconclusive':0} | |
| assert [x['assessment'] for x in e['claims']]==['verified','verified','verified','falsified','verified','verified'] | |
| assert all(x['direct_evidence'] and x['destructive_control_executed'] for x in e['claims']) | |
| assert e['release_quality_gate']['expected_verified_points']==12 | |
| print('evidence validated: 6/6 direct, 5 verified, 1 literal falsification, three byte-identical replays') | |