s859.py

from research import *
s=begin(859,'Freeze the complete NT display domain','Which source object can be compared without changing its claim status?',{},['File43 §3.4','File51a §3.1','File54 §§6,8.6,13.2'])
p=json.loads((ROOT/'prep/nt_inputs.json').read_text())
tables=p['literal_tables']
bindings=json.loads((ROOT/'evidence/SOURCE_BINDINGS.json').read_text())
matched=[]
for key,v in p['sources'].items():
 names=[n for n,path in bindings.items() if path==v['path']]
 assert len(names)==1
 raw=(ROOT/'evidence/sources'/names[0]).read_bytes()
 assert hashlib.sha256(raw).hexdigest()==v['sha256']
 matched.append(key)
a=artifact('model/NT_inputs.json',json.dumps(p,indent=2,ensure_ascii=False)+'\n')
finish(s,{'packet':a,'sources':matched,'literal_tables':len(tables),'display_rows':len(p['convenience']['full_File43_display_ledger'])},'The new object is the entire display-only ledger, with shared-name comparisons ending at Jacob. Its schematic labels, count types and civil crossing remain explicit.','Reconstruct all 78 rows from one index rule.',{'four_frozen_sources':len(matched)==4,'whole_ledger':len(p['convenience']['full_File43_display_ledger'])==78,'guards':len(p['guards'])>=10})