s908.py

from research import *
s=begin(908,'Build the explanatory constraint ledger','Which agreements follow automatically and which require particular source inputs?',{},['C832–907 complete-family results'])
rows=[
{'family':'Tishri matrix','forced':'row and column grand totals agree','extra_source_constraint':'particular cells and overlays','evidence':'C834–838'},
{'family':'Esau joint categories','forced':'both partitions exhaust550','extra_source_constraint':'off-diagonal counts both50 makes the two490/60 margins agree','evidence':'C843–845'},
{'family':'NT primary grid','forced':'homogeneous grid reflection and490 coarsening','extra_source_constraint':'named BJ boundaries at indices21 and56','evidence':'C869–870'},
{'family':'File52c paired field','forced':'piecewise borrow/length/zero formulas once original spans are fixed','extra_source_constraint':'source dates and anchor pairs select the branches','evidence':'C850–858'},
{'family':'Keys','forced':'denominator domain and prefix-lcm criterion','extra_source_constraint':'authorized operation, grid and anchor','evidence':'C873–889'},
{'family':'carrier','forced':'six-head response after pair and12 supplied','extra_source_constraint':'endpoint roles, multiplier12 and retained147 biography','evidence':'C892–906'}]
a=artifact('model/explanatory_constraint_ledger.json',json.dumps(rows,indent=2)+'\n')
finish(s,{'ledger':a},'The model separates algebraic consequences from source-dependent placements, weights and roles. Regenerated coordinates are linked consequences of shared inputs, not independent witnesses to the source choices.','Identify the finite necessity evidence for the information retained by the grammar.',{'six_domains':len(rows)==6,'source_residual_everywhere':all(r['extra_source_constraint'] for r in rows)})