s761.py

from research import *
s=begin(761,'Resolve SP counting before rounding','How does the local 53rd-year versus 52-completed distinction affect rounding?',{'counted':53,'completed':52},['File18 §3.1; File51a §17'])
q=lambda n:5*((n+2)//5);out={'Q53':q(53),'Q52':q(52),'raw_separation':1,'rounded_separation':q(53)-q(52),'round_then_subtract_one':q(53)-1}
finish(s,out,'The raw one-unit distinction becomes a five-unit rounding distinction:55 versus50. Rounding then subtracting one gives54, a different construction. Counting convention must be resolved at the input.','Test the complete SP regular diagnostic while keeping its source status conditional.',{'five':out['rounded_separation']==5,'noncommuting':q(52)!=q(53)-1})