s1295.py

from research import *
s=begin(1295,'Register the two ordinary-row operations','Which localmaps generate theordinarysourcechanges?',{},['C1294','C1152','C1173–C1175'])
ops=[{'id':'row_repartition','input_object':'ordinarycompatible(b,r,L),L=b+r','action':'(b+d,r−d,L)','preserved':'L','lost':'nonewhen d retained','domain':'b+d>=0 andr−d>=0; sourcechoosesallowedd androws','source_support':'namedrowmask','evidence':['C1152','C1173','C1175']},{'id':'life_adjustment','input_object':'ordinarycompatible(b,r,L),L=b+r','action':'(b,r+e,L+e)','preserved':'b','lost':'nonewhen e retained','domain':'r+e>=0; sourcechoosesallowede androws','source_support':'namedrowmask','evidence':['C1152','C1182']}]
a=artifact('model/operations_row_changes.json',json.dumps({'operations':ops,'combined':'Uniqueordinaryrowdifference hasd=delta_b ande=delta_L.','composition':'Unrestrictedmapscommute; intermediatevalidity andsourceadmission areadditionalconditions.','not_applied':'InclusiveSPcountrows arenotsilentlyordinarybiographies.'},indent=2)+'\n')
finish(s,{'row_operations':a},'Repartitioning preserveslife; lifespanadjustment preservesbegettingage. Theircombinedcoefficients describe everyordinaryrowchange, while source supportandintermediatevalidity remainpartoftheoperation.','Registerorderedmeasurement andthe Cainaninsertion interface.',{'two_ops':len(ops)==2,'different_invariants':ops[0]['preserved']!=ops[1]['preserved']})