Evidence

s898.py

Download source fileOpen in research workspace
from research import *
s=begin(898,'Distinguish retained biography from uniform transport','Does the outer147000 span force every internal boundary to be P-scaled?',{},['File63 §7.8.2 terminal thousandth'])
p=json.loads((ROOT/'model/covenant_inputs.json').read_text())['named_inputs']['terminal_thousandth']
head,birth,death=p['nodes'];life=birth-death
uniform_life=P*life;uniform_birth=death+uniform_life
preimage=F(life)/P
out={'source_nodes':p['nodes'],'retained_partition':[head-birth,life],'uniform_P_terminal_length':uniform_life,'uniform_P_birth':uniform_birth,'retained147_preimage':preimage,'rule':'expand outer body; retain supplied biography as appointed terminal subdivision'}
a=artifact('model/retained_biography_distinction.json',json.dumps(clean(out),indent=2)+'\n')
finish(s,{'comparison':out,'artifact':a},'The source retains2083→1936 as the final147 of147000, giving999×147|147. Uniform P would move2083 to2085+3/23 and make the interval149+3/23. The outer agreement therefore supports retention, not transport of the original internal147.','Check the complete paired civil squares with their external endpoints.',{'retained':head-birth==999*147 and life==147,'different_image':uniform_birth!=birth and uniform_life!=life,'preimage':preimage==F(1449,10)})

Linked sources and evidence

Edition and provenance

s898.py

SHA-256 ba4502bba4a914aace453efedcb67dc7630ad31c796aa8c6c2f06b0e75e1295c

C480–C1634/Research_Cycles/C0832_C0931/evidence/s898.py