s889.py

from research import *
s=begin(889,'Integrate Keys as partial actions on measured paths','What does the common grammar need to retain after the whole-family tests?',{},['C872–888','C831 core grammar'])
model={'retained_data':['source path and labels','measurement unit/grid h','held anchor','source-authorized operation or diagnostic status','intermediate grid requirement'], 'one_key_domain':'h*q*Z for reduced p/q','word_domain':'h*lcm(prefix denominators)*Z','two_order_effects':{'anchors':'constant placement displacement','grid':'different admissible intermediate domains'},'positive_result':'exact rational images preserve affine shape','limit':'whole-family integer closure does not follow from integral endpoints'}
art=artifact('model/operator_module_summary.json',json.dumps(model,indent=2)+'\n')
finish(s,{'module':art},'Keys fit the shared grammar as exact anchored actions with explicit domains. The new whole-field tests explain both successful completions and failed grid closure without date repair or a universal transformation group.','Freeze the new Covenant macrohead and ordered carrier paths.',{'both_orders':len(model['two_order_effects'])==2,'required_status':'diagnostic status' in model['retained_data'][3]})