Evidence

s1122.py

Download source fileOpen in research workspace
from research import *
s=begin(1122,'Audit retained scope in the completed prose','Do the final explanatory claims preserve the controlling states and exclusions?',{},['C1119','C1070','C1102','deliverables/components/Continuity_and_State_Ledger.md'])
main=(ROOT/'deliverables/490d_How_Chronological_Families_Fit_Together_C1131.md').read_text()
tech=(ROOT/'deliverables/490d_Chronological_Families_Technical_Companion_C1131_Final.md').read_text()
checks={'latest52c':'Latest File52c' in main,'MT_states':all(x in main for x in ['Strict 4112','standard 4114','Rounded 4106']),'cumulative_states':all(x in main for x in ['Actual 14004','14006 Moses-line']),'LXX_state':all(x in main for x in ['182/753','571','777 is appendix-only','188 nonoperative']),'SP_Terah':all(x in main for x in ['Terah 145','Ideal 205']),'calendar_counts':all(x in main for x in ['BC+AD−1','BC+AD−2']),'phase_split':all(x in main for x in ['1936.5','1936 whole-year']),'covenant_status':all(x in main for x in ['2081 author-designated','offering 2051','age 15 proposed']),'NT_scope':'36 BC comparison does not revise the 6 BC Nativity' in main,'deferred_operation':'No second decimal inversion' in main,'formal_covariance':'not the admitted state change retaining terminal 1406' in tech,'tail_provenance':'tail 1400→4100' in tech,'no_minimality_claim':'does not claim a uniquely smallest grammar' in main}
a=artifact('model/final_scope_audit.json',json.dumps({'checks':checks,'meaning':'textual source-state audit, supplemented by replay operator tracking and source hashes','main_sha256':hashlib.sha256(main.encode()).hexdigest(),'technical_sha256':hashlib.sha256(tech.encode()).hexdigest()},indent=2)+'\n')
finish(s,{'scope_audit':a,'retained_scope_checks':len(checks)},'The final prose retains the named source states, counting conventions, phase distinction, event claim status and deferred operations. Formal diagnostic transformations remain separate from admitted source changes.','Check agreement of the main numerical conclusions across the reader draft, technical reference and machine registers.',checks)

Linked sources and evidence

Edition and provenance

s1122.py

SHA-256 2787444dd2a2615a3a449b68fd00920e65bace4d1fca85752e7e24d764063832

C480–C1634/Research_Cycles/C0932_C1131/evidence/s1122.py