Listing: Listing

# cancellation-aware support |Lambda_graph| by sector:
   C_2: 25
   M_2: 84
   J_3: 202
# |Lambda_graph| (union after sector sum + cancel): 235
CHECK C_2 background support equals K labels: True
CHECK complete background support contains K labels: True
CHECK complete background support lies in admissible inventory: True
# NOTE: support counts are on h=(w^1)^2 eta; NOT an established general-h support count
# NOTE: 235 is coefficient-label support before quotienting numerical-kernel relations
# NOTE: nonzero on this specialization => not identically zero in general; zero may still be nonzero elsewhere
CHECK SOURCE-SECTOR REGRESSION: C_2 const-slot recovers XVI-K/XVI-J K tensor: True
CHECK FULL C_2 K regression: all 25 labels x 10 mn match signed polar_s route: True
# full C_2 comparisons checked: 250
CHECK a^{C_2}_{{0,e_1}} = -2 K^{C_2}_{0,e_1} componentwise on background: True
#   graph factor = (1/2!)*2 = 1
CHECK graph factor (1/2!)*2 = 1: True
# coupling/loop weights: UNDETERMINED in L.2 (separated from graph factor 1)
# All-sector coefficient assembly, exact in the preparation jets and w^1,
# NOT a general-h symbolic assembly. Support counts ON THE STATED BACKGROUND.
# TOTAL |Lambda_graph|=235 on the stated background (of |Lambda_adm|=255)
# support table (adm/graph on stated background): C2 25/25, M2 84/84, J3 250/202, complete 255/235
# wrote two_edge_support.txt
# wrote two_edge_coeff_table.txt with 1065 nonzero entries
ALL CHECKS PASSED