Listing: Listing

CHECK C_2-only unordered labels equal V_K (25): True
CHECK C_2-only ordered placements = 45: True
CHECK C_2-only max N = 2: True
CHECK constant-slot truncation is exactly {0,0}: True
CHECK XVI-J label sits inside V_adm: True
# truncation chain V_adm --C2--> V_K --const--> {0,0} recorded
CHECK net sign (+1)*(+1)=+1 for relative-variable propagation at |gamma|=0: True
CHECK varpi_mu recovers varpi at mu=mu0: True
CHECK varpi_mu(z)=varpi((mu/mu0)*z) dilation identity: True
# scale family: reference mu0>0; illustrative floating-point recovery at mu=mu0
# NOTE: 1/(1+r^2) is NOT a compactly supported bump proxy for varpi
CHECK scale difference contact order <= N for all labels: True
CHECK on V_K block, scale contact order <= 2: True
CHECK V_adm has 255 unordered placements (cross-check L.3): True
ALL CHECKS PASSED