s849.py

from research import *
s=begin(849,'State the new list-family extension of the grammar','What has transferred unchanged, and what must be added to the source object?',{},['C833–848; Strategy stageH'])
out={'unchanged_operations':['linear measurement','prefix accumulation and adjacent differences','declared scaling','finite supported additions','order-sensitive path evaluation'],'required_enrichment':['species and category predicates on source rows','declared category ordering','separate endpoint pairs for a span register'],'new_constraints':['Esau equal marginals iff off-diagonal cells agree','regrouping kernels expose lost source information','full forward/reverse paths have exactly four shared prefix boundaries'],'unexplained_inputs':['why these textual counts were selected','historical cipher intention','chronological interpretation of animal counts']}
a=artifact('model/list_transfer_summary.json',json.dumps(out,indent=2)+'\n')
finish(s,{'transfer':a},'The grammar transfers to lists when source rows retain category annotations and declared order. The new explanation identifies the constraints behind equal totals and the information those totals lose; it does not derive the textual counts or their historical intention.','Freeze the next complete File52c paired-anchor test before execution.',{'new_constraints':len(out['new_constraints'])==3,'limits_present':len(out['unexplained_inputs'])==3})