s949.py

from research import *
s=begin(949,'Junction premise ledger','What must be retained to explain the junction with fewer independent claims?',{},['C932','C939','C941','C944','C945','C948'])
ledger={'retained':['source row totals R2700 and C12600','two three-digit cores, each with one trailing zero','source cumulative carry branch (H,T,U)=(12,5,10)','Actual selection shifts regular +8 and cumulative −2','Conquest anchor1406; named source partitions for historical interpretation'],'derived':['regular inverse10620','cumulative inverse10620 conditional on branch','matching weight4:1','absolute12026','continued14726 from +2700'],'not_recovered':['individual digit allocation','ordered breakpoint','historical causation'],'terminology_correction':'C932 lists four input categories, not a proved four-premise independent basis'}
a=artifact('model/junction_premise_ledger.json',json.dumps(ledger,indent=2)+'\n')
finish(s,{'ledger':a,'retained_categories':len(ledger['retained']),'derived_claims':len(ledger['derived'])},'The explanation can be compressed into totals, register, selected carry branch, state shifts, and placement; exact source partitions remain necessary for interpretation.','Check that this compression retains all original junction outputs without reintroducing them as premises.',{'no_causal_claim':'historical causation' in ledger['not_recovered'],'input_categories_corrected':bool(ledger['terminology_correction'])})