s1249.py

from research import *
s=begin(1249,'Separate general component constraints from finite-state selection','Does930 alone characterize the130|800 recapitulation?',{},['C1241','C1248'])
formal=[[129,801],[130,800],[131,799]];states=json.loads((ROOT/'model/Moses_finite_MT_states.json').read_text())['states']
a=artifact('model/Moses_total_vs_components.json',json.dumps({'formal_equal_total_partitions':formal,'general_logic':'A+B=930 givesone condition; A=130 andB=800 give two, withthetotal dependent.','finite_admitted_state_logic':'Within thenonnegativeT/C finitefield, total930 selects thebasebecauseallotherallowedincrements arepositive. This finiteuniqueness isnot uniqueness over allpartitions.','actual_source_comparison':[129,801],'rounded_source_comparison':[130,800],'scope':'131|799 is a logicaldiagnostic,not asourceadmission.'},indent=2)+'\n')
finish(s,{'constraint_scope':a},'The930 total alone does not determine its internal division: Actual129|801 andRounded130|800 demonstrate that directly. The total can still select the base within the separately declared four-state field because its other allowed changes are all positive.','Inspect the sourcecyclebridge as an integerrelation without searching additionalchronologicaltargets.',{'formal_same_total':all(sum(x)==930 for x in formal),'distinct_partitions':len(set(tuple(x) for x in formal))==3,'finite_base_only':sum(x['Arphaxad_to_Moses']==930 for x in states)==1})