s984.py

from research import *
s=begin(984,'Freeze Key constraints and exact algebra','Which source relations enter the new Key dependency analysis?',{},['File12','File63','File46','File60','SupplementA','prep/key_constraints/sourcepacket.json'])
code=(ROOT/'prep/structural_transfer/exact_matrix.py').read_text();a=artifact('evidence/algebra.py',code)
p={'calendar_measures':[336,360,364],'allocation_fractions':['1/6','1/26'],'completion_relations_retained_as_premises':['E−6P=−5','E−26J=−25'],'pivots':[14006,4836],'retained_component_fields':[[690,0],[690,30],[690,60],[9660,2940]],'Covenant_parts':[299,161],'scope':'alternative constraint basis; no independent historical derivation'}
b=artifact('model/key_constraint_inputs.json',json.dumps(p,indent=2)+'\n')
finish(s,{'inputs':b,'exact_algebra_helper':a},'Calendar measures, source partitions, prior completion identities and fixed pivots are explicit. Reverse-solving identities already proved with Keys will be treated as equivalent description, not new evidence for those Keys.','Solve the first calibration/allocation pair exactly.',{'output_ratios_not_stored':all(str(v) not in json.dumps(p) for v in [F(25,23),F(70,69),F(300,299)]),'helper_exact':'float(' not in code})