s728.py

from research import *
manifest=json.loads((ROOT/'evidence/SOURCE_MANIFEST.json').read_text())
s=begin(728,'Verify frozen source identity','Do all source snapshots still match the packet’s original identities and primaryFile52c pin?',{'manifest_sha256':hashlib.sha256((ROOT/'evidence/SOURCE_MANIFEST.json').read_bytes()).hexdigest(),'snapshot_count':len(manifest)},['SOURCE_MANIFEST.json; C631_PREDECESSOR.json'])
computed={name:hashlib.sha256((ROOT/'evidence/sources'/name).read_bytes()).hexdigest() for name in manifest}
primary='a5ea84562101158b60d0cf296765d6eff38e7a2abda4e74ad1b353dfd13b9530'
a=artifact('evidence/FINAL_SOURCE_SNAPSHOT_CHECK.json',json.dumps({'count':len(manifest),'all_match':computed==manifest,'primary_File52c':computed['File52c_latest.md'],'canonical_edits':False},indent=2)+'\n')
finish(s,{'artifact':a,'snapshots_verified':len(computed),'primary_sha256':computed['File52c_latest.md']},'All25 frozen sources match their original hashes, including the latestFile52c and the predecessor synthesis/checkpoint. The complete verifier will separately compare the available current originals when closing the100-step packet.','Bind the final reading artifacts in one delivery manifest.',{'all_hashes':computed==manifest,'count':len(manifest)==25,'primary_pin':computed['File52c_latest.md']==primary})