File size: 868 Bytes
2d1810a | 1 2 3 4 5 6 7 8 9 10 11 12 | #!/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')
|