Evidence

s747.py

Download source fileOpen in research workspace
from research import *
s=begin(747,'Test the information supplied by intermediate boundaries','Could the same aggregate lifespan difference conceal a different source-row order?',{'source_deltas':[27,100,100,100,100,60,60],'diagnostic':'swap firsttwo row differences; no newsource state'},['C742; Research Strategy §5B'])
a=[27,100,100,100,100,60,60]; b=[100,27,100,100,100,60,60]; suffix=lambda x:[sum(x[i:]) for i in range(len(x))]+[0]
A,B=suffix(a),suffix(b)
finish(s,{'source_profile':A,'diagnostic_profile':B,'profile_difference':[y-x for x,y in zip(A,B)]},'Swapping just two row contributions preserves the547total and terminal but changes theEber comparison by73. The supplied intermediate boundary therefore contains information that theCreation or outer total cannot recover. This is a diagnostic of explanatory sufficiency, not an admitted variant.','State the exact reconstruction relation between local row changes and thewholeboundaryprofile.',{'same_total':sum(a)==sum(b)==547,'different_interior':A[1]==520 and B[1]==447,'localized_difference':[y-x for x,y in zip(A,B)]==[0,-73,0,0,0,0,0,0]})
Edition and provenance

s747.py

SHA-256 bfd9ae5dfc42872955ad5cc6c802e304e1582d530483a64cf207fca65f63a4b4

C480–C1634/Research_Cycles/C0732_C0831/evidence/s747.py