s909.py

from research import *
s=begin(909,'Justify the retained information by complete-object witnesses','Why does each additional source register belong in the model?',{},['C836,840,844–848,857,861,879,882,894,898'])
rows=[
{'retain':'categories/cells','witness':'distinct nonnegative Tishri matrices share all margins','step':836},
{'retain':'declared order','witness':'same festival multiset and endpoint give different prefixes','step':840},
{'retain':'name/count role','witness':'76 names distinguish75 intervals from76 carrier units','step':861},
{'retain':'digit register and anchor','witness':'paired inverse field is piecewise and not globally affine','step':857},
{'retain':'grid and intermediate stages','witness':'P/J final equality with unequal stage membership','step':882},
{'retain':'endpoint placement','witness':'same144900 body has two supplied heads','step':894},
{'retain':'internal subdivision rule','witness':'retained147 cut differs from its uniform P image','step':898}]
a=artifact('model/finite_register_necessity.json',json.dumps({'scope':'finite necessity witnesses; no global minimality theorem','rows':rows},indent=2)+'\n')
finish(s,{'necessity_evidence':a},'Each retained information type has a concrete witness showing what its removal loses. This supports a compact grammar over the tested families; it does not prove a unique or globally minimal model.','State the unified source-object schema and the distinct operations it admits.',{'seven_witnesses':len(rows)==7,'no_duplicate_register':len({r['retain'] for r in rows})==7})