from research import *
s=begin(1018,'Order is not recoverable from a total','Can changing order preserve all boundaries after refitting the same two positions?',{'diagnostic_reversed_counts':[10,24,25,26,27,28,29,30]},['C1017'])
v=s['inputs']['diagnostic_reversed_counts'];p2=sum(v[:2]);p7=sum(v[:7]);scale=F(910,p7-p2);anchor=1446+scale*p2;last=anchor-scale*sum(v)
finish(s,{'diagnostic_scale':scale,'diagnostic_anchor':anchor,'diagnostic_final':last,'held_source_head':1859,'held_source_final':466,'scope':'same-role diagnostic only; the source reverse walk retains its own roles'},'Refitting two unchanged role positions cannot restore the other boundaries after reordering. The source reverse walk is a separately indexed object, not a defective version of the forward path.','Audit the independence of the two marked NT Key returns.',{'fitted_scale':scale==F(182,27),'head_rejects':anchor!=1859,'tail_rejects':last!=466})
Evidence
s1018.py
Edition and provenance
s1018.py
SHA-256 d8ad5a0a2a2ee98d41b52a1c694348c3602b207a790c541caed2474c08a84a78
C480–C1634/Research_Cycles/C0932_C1131/evidence/s1018.py