Evidence

s795.py

Download source fileOpen in research workspace
from research import *
s=begin(795,'Separate topology from its measurement weights','Can one deletion pattern carry different chronology weights without equating them?',{},['File18 Cainan; File53 Kainan deletion'])
table=[{'representation':'head index','removed_weight':1,'unit':'position'},{'representation':'BJ secondary birth path','removed_weight':57,'unit':'years'},{'representation':'File18 regular','removed_weight':130,'unit':'years'},{'representation':'File18 cumulative','removed_weight':460,'unit':'lifespan-ledger years'}]
finish(s,{'weights':table,'unavailable':'No BJ Kainan lifespan is supplied here; no BJ cumulative460 is inferred.'},'The common operation is contraction of a named path element. Its weight belongs to the selected source representation:1,57,130,460 are not interchangeable conversions.','Resolve the2450-to2400 relation through exact endpoint roles.',{'distinct':len(set(x['removed_weight'] for x in table))==4})

Linked sources and evidence

Edition and provenance

s795.py

SHA-256 efe6da3d2cd681da5eaa6740b8beb8b7555d59039408038f5c5d62abd9c5d104

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