Listing: Listing

CHECK residual metric jet (2-v)+|gamma| <= 2+s for all contacts: True
CHECK global residual jet after contact <= 4: True
CHECK switch jet |gamma| <= 4: True
# C_2: residual jet bound 2+s = 2; prep = 2; N_max = 2
# M_2: residual jet bound 2+s = 3; prep = 1; N_max = 3
# J_3: residual jet bound 2+s = 4; prep = 0; N_max = 4
CHECK 15 wave-operator coherence constraints: True
# raw V_K contact slots (regression-preserving sets these to 0): 321
# raw new (outside V_K) contact slots: 14000
=== COUNTERTERM ATTRIBUTE LEDGER (four overlapping interpretive attributes) ===
CHECK four overlapping interpretive attributes recorded: True
# attributes overlap: not asserted to form a disjoint partition of summands
CHECK arithmetic identity (2-v)+N = 2+s on all 2025 placements: True
# NOTE: arithmetic upper bound reaches 2+s when all N derivatives hit the residual-metric coefficient;
#       actual attainment is not established
ALL CHECKS PASSED