Evidence

s869.py

Download source fileOpen in research workspace
from research import *
s=begin(869,'Recover the whole49/70 common coarsening','How do the two measurements divide one primary5390-year display?',{'span':5390,'units':[49,70]},['File54 §§8.6,13.2','C860'])
from math import gcd
unit=49*70//gcd(49,70)
boundaries=[{'m':m,'slots70':7*m,'units49':10*m,'civil_x':-5325+unit*m} for m in range(12)]
literal=json.loads((ROOT/'model/NT_inputs.json').read_text())['derived_candidate_diagnostics']['common_49_70_coarsening']
a=artifact('model/NT_49_70_coarsening.json',json.dumps(boundaries,indent=2)+'\n')
finish(s,{'unit':unit,'boundaries':a,'partition_common_blocks':[3,5,3],'partition_70_slots':[21,35,21],'partition_49_units':[30,50,30]},'70k=49j holds exactly at k7m,j10m. The whole primary span has12 common boundaries in490-year steps; the source1470|2450|1470 partition becomes3|5|3 blocks in either measurement. The extended49-grid is a comparison construction.','Test reflection on the complete common grid and its source-marked partition.',{'whole_span':unit*11==5390,'literal_field':all(r['civil_x']==t['civil_coordinate'] for r,t in zip(boundaries,literal)),'partition':sum([3,5,3])==11})

Linked sources and evidence

Edition and provenance

s869.py

SHA-256 551950da00a773ae7ffd2dcc9c81ffa36d64150c13fd9f051d12972c6567e5a8

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