=== GATE-ASYMMETRIC COEFFICIENT CHECK ===
p=1: quadratic/even numerator coefficient.
p=2,4: cubic/quintic formal numerator coefficients.
No finite-order coefficient is being substituted for the full MLP.
 L relative_p1 relative_p2 relative_p4 top1_share_p1 top1_share_p2 top1_share_p4
 0   0.0168772   0.0129011   0.0081399      0.043180      0.093591      0.755340
 1   0.0253330   0.0260070   0.0298345      0.009537      0.035557      0.311838
 2   0.0175069   0.0180393   0.0176092      0.004514      0.037038      0.748620
 3   0.0224219   0.0217604   0.0233468      0.015867      0.039816      0.391693
 4   0.0249918   0.0189520   0.0170956      0.025860      0.104017      0.258766
 5   0.0164277   0.0163209   0.0177910      0.036269      0.065103      0.099953
 6   0.0098526   0.0052147   0.0043617      0.143698      0.642782      0.960386
 7   0.0093277   0.0039563   0.0045106      0.032132      0.393244      0.873782
 8   0.0197394   0.0212211   0.0239906      0.023854      0.042454      0.081726
 9   0.0166753   0.0167901   0.0188002      0.005189      0.030377      0.219733
10   0.0207160   0.0209726   0.0232676      0.073595      0.406413      0.708793
11   0.0145702   0.0143341   0.0170689      0.009811      0.097851      0.613199
12   0.0149452   0.0148799   0.0140154      0.007142      0.090819      0.520237
13   0.0183564   0.0169713   0.0135793      0.011779      0.134721      0.651341
14   0.0207954   0.0226184   0.0244645      0.023217      0.397754      0.980016
15   0.0186891   0.0193367   0.0174344      0.010489      0.177731      0.798165
16   0.0173907   0.0170371   0.0139037      0.015392      0.213445      0.879010
17   0.0187506   0.0193144   0.0203769      0.011177      0.070438      0.355543

=== TOP THREE UNITS AT EACH COEFFICIENT ORDER ===
L00 p=1: [1405, 1856, 878]; p=2: [1130, 1405, 1856]; p=4: [1130, 1856, 952]; common top10 units=[338, 878, 952, 1130, 1270, 1352, 1405, 1856]
L01 p=1: [1725, 2035, 827]; p=2: [1725, 2035, 1827]; p=4: [1725, 2035, 1827]; common top10 units=[1598, 1725, 1827, 2035]
L02 p=1: [900, 307, 1831]; p=2: [1831, 624, 1518]; p=4: [1831, 624, 1209]; common top10 units=[882, 1518, 1831]
L03 p=1: [146, 1414, 1987]; p=2: [146, 303, 82]; p=4: [82, 303, 1671]; common top10 units=[146, 303, 1635, 1987]
L04 p=1: [13, 789, 84]; p=2: [13, 937, 1804]; p=4: [13, 937, 1804]; common top10 units=[13, 563, 937, 1044, 1804]
L05 p=1: [584, 1267, 1100]; p=2: [584, 1267, 226]; p=4: [226, 1267, 584]; common top10 units=[226, 584, 1267]
L06 p=1: [1824, 1122, 690]; p=2: [1824, 1122, 690]; p=4: [1824, 1122, 314]; common top10 units=[690, 1122, 1824, 1946]
L07 p=1: [1300, 1455, 1214]; p=2: [1300, 1455, 656]; p=4: [1300, 1455, 656]; common top10 units=[656, 1300, 1455]
L08 p=1: [188, 1500, 456]; p=2: [1500, 456, 487]; p=4: [1500, 456, 1379]; common top10 units=[456, 487, 1379, 1500, 1868]
L09 p=1: [808, 437, 448]; p=2: [448, 1766, 1782]; p=4: [1766, 448, 1644]; common top10 units=[335, 448, 1644, 1782]
L10 p=1: [1363, 1564, 1529]; p=2: [1363, 1564, 1529]; p=4: [1363, 1564, 1529]; common top10 units=[900, 1317, 1363, 1504, 1529, 1564, 1869]
L11 p=1: [716, 1576, 1815]; p=2: [1815, 1576, 716]; p=4: [1815, 1576, 689]; common top10 units=[433, 716, 1576, 1815, 1892]
L12 p=1: [1528, 1520, 2027]; p=2: [1528, 1584, 1520]; p=4: [1528, 1584, 2027]; common top10 units=[1520, 1528, 1584, 2027]
L13 p=1: [16, 1517, 369]; p=2: [16, 1517, 369]; p=4: [16, 369, 1517]; common top10 units=[16, 369, 1292, 1517, 1575]
L14 p=1: [641, 685, 663]; p=2: [641, 685, 1767]; p=4: [641, 1529, 1767]; common top10 units=[392, 641, 663, 685, 851, 1529, 1767, 1801]
L15 p=1: [1369, 1226, 651]; p=2: [1369, 651, 1940]; p=4: [1369, 651, 1940]; common top10 units=[105, 651, 1369, 1940]
L16 p=1: [893, 1591, 730]; p=2: [893, 730, 324]; p=4: [893, 730, 254]; common top10 units=[324, 730, 893]
L17 p=1: [1026, 1916, 1650]; p=2: [1916, 1312, 687]; p=4: [1312, 1916, 60]; common top10 units=[60, 687, 774, 1026, 1312, 1916]

=== PREVIOUS CANDIDATES ACROSS ALL THREE ORDERS ===
L00 unit=1405 ranks[p1,p2,p4]=[1, 2, 4]; signed_shares=[0.0432 0.0653 0.0082]
L01 unit=1725 ranks[p1,p2,p4]=[1, 1, 1]; signed_shares=[0.0095 0.0356 0.3118]
L01 unit=2035 ranks[p1,p2,p4]=[2, 2, 2]; signed_shares=[0.0081 0.0136 0.0253]
L03 unit= 146 ranks[p1,p2,p4]=[1, 1, 6]; signed_shares=[0.0159 0.0398 0.0319]
L03 unit=1414 ranks[p1,p2,p4]=[2, 18, 315]; signed_shares=[0.0131 0.0058 0.0001]
L04 unit=  13 ranks[p1,p2,p4]=[1, 1, 1]; signed_shares=[0.0259 0.104  0.2588]
L04 unit=  84 ranks[p1,p2,p4]=[3, 58, 331]; signed_shares=[0.0109 0.0035 0.    ]
L04 unit= 789 ranks[p1,p2,p4]=[2, 11, 92]; signed_shares=[0.0111 0.0077 0.0007]
L04 unit=1044 ranks[p1,p2,p4]=[6, 4, 4]; signed_shares=[0.0088 0.0299 0.0493]
L05 unit= 584 ranks[p1,p2,p4]=[1, 1, 3]; signed_shares=[0.0363 0.0651 0.0303]
L06 unit=1824 ranks[p1,p2,p4]=[1, 1, 1]; signed_shares=[0.1437 0.6428 0.9604]
L08 unit= 188 ranks[p1,p2,p4]=[1, 6, 200]; signed_shares=[0.0239 0.0141 0.0004]
L08 unit=1500 ranks[p1,p2,p4]=[2, 1, 1]; signed_shares=[0.0137 0.0425 0.0817]
L10 unit=1363 ranks[p1,p2,p4]=[1, 1, 1]; signed_shares=[0.0736 0.4064 0.7088]
L10 unit=1564 ranks[p1,p2,p4]=[2, 2, 2]; signed_shares=[0.0406 0.1781 0.1402]
L10 unit=1529 ranks[p1,p2,p4]=[3, 3, 3]; signed_shares=[0.0316 0.1049 0.1051]
L14 unit= 641 ranks[p1,p2,p4]=[1, 1, 1]; signed_shares=[0.0232 0.3978 0.98  ]
L16 unit= 893 ranks[p1,p2,p4]=[1, 1, 1]; signed_shares=[0.0154 0.2134 0.879 ]

=== TOP 20 CROSS-COEFFICIENT STRUCTURAL CANDIDATES ===
Score = minimum unit contribution/reference energy across p=1,2,4.
This checks robustness to the chosen coefficient, not activation or causality.
L10 unit=1363 score=3.15835e-05 ranks=[1, 1, 1] shares=[0.0736 0.4064 0.7088]
L10 unit=1564 score=1.74385e-05 ranks=[2, 2, 2] shares=[0.0406 0.1781 0.1402]
L04 unit=  13 score=1.615205e-05 ranks=[1, 1, 1] shares=[0.0259 0.104  0.2588]
L06 unit=1824 score=1.394936e-05 ranks=[1, 1, 1] shares=[0.1437 0.6428 0.9604]
L10 unit=1529 score=1.355665e-05 ranks=[3, 3, 3] shares=[0.0316 0.1049 0.1051]
L14 unit= 641 score=1.004026e-05 ranks=[1, 1, 1] shares=[0.0232 0.3978 0.98  ]
L05 unit= 584 score=9.576657e-06 ranks=[1, 1, 3] shares=[0.0363 0.0651 0.0303]
L03 unit= 146 score=7.976886e-06 ranks=[1, 1, 6] shares=[0.0159 0.0398 0.0319]
L01 unit=1725 score=6.12023e-06 ranks=[1, 1, 1] shares=[0.0095 0.0356 0.3118]
L04 unit= 937 score=6.070132e-06 ranks=[4, 2, 2] shares=[0.0097 0.0455 0.1516]
L04 unit=1804 score=6.013823e-06 ranks=[5, 3, 3] shares=[0.0096 0.0364 0.1088]
L04 unit=1044 score=5.522058e-06 ranks=[6, 4, 4] shares=[0.0088 0.0299 0.0493]
L08 unit=1500 score=5.328373e-06 ranks=[2, 1, 1] shares=[0.0137 0.0425 0.0817]
L01 unit=2035 score=5.168496e-06 ranks=[2, 2, 2] shares=[0.0081 0.0136 0.0253]
L10 unit=1869 score=5.133541e-06 ranks=[5, 4, 4] shares=[0.012  0.0408 0.0291]
L16 unit= 893 score=4.655017e-06 ranks=[1, 1, 1] shares=[0.0154 0.2134 0.879 ]
L04 unit= 563 score=4.183151e-06 ranks=[8, 5, 8] shares=[0.0067 0.0185 0.0212]
L03 unit=1987 score=4.095791e-06 ranks=[3, 4, 5] shares=[0.0081 0.0299 0.0488]
L13 unit=  16 score=3.96893e-06 ranks=[1, 1, 1] shares=[0.0118 0.1347 0.6513]
L17 unit=1026 score=3.929746e-06 ranks=[1, 5, 7] shares=[0.0112 0.0175 0.0176]

=== SIGNED COEFFICIENT-STRENGTH CHANGES ===
Norm B / norm A for the summed coefficient tensor; not output strength.
L00: p1=0.9982590 p2=0.9978632 p4=0.9991472
L01: p1=0.9999389 p2=0.9999238 p4=0.9984849
L02: p1=1.0002407 p2=1.0003533 p4=1.0033063
L03: p1=0.9995355 p2=0.9995940 p4=1.0005133
L04: p1=1.0000571 p2=0.9998426 p4=0.9979984
L05: p1=0.9994993 p2=0.9996116 p4=0.9995937
L06: p1=0.9969777 p2=0.9961320 p4=0.9959923
L07: p1=1.0002688 p2=1.0000986 p4=1.0001805
L08: p1=0.9996062 p2=1.0000806 p4=1.0000007
L09: p1=0.9999479 p2=0.9999620 p4=0.9999496
L10: p1=1.0001215 p2=0.9997252 p4=0.9999038
L11: p1=1.0001022 p2=1.0002586 p4=0.9993570
L12: p1=0.9999962 p2=1.0001202 p4=1.0004317
L13: p1=0.9999453 p2=1.0003253 p4=1.0011454
L14: p1=1.0000663 p2=1.0007505 p4=1.0016836
L15: p1=0.9999313 p2=1.0002102 p4=1.0011959
L16: p1=1.0001218 p2=0.9996001 p4=0.9987938
L17: p1=0.9996819 p2=0.9994102 p4=0.9981842

Elapsed seconds: 20.92

Limits:
The even-part identity concerns the gated branch numerator, not the full
block after state-dependent output normalization.
Higher-order coefficients emphasize different gate norms and need not
predict behavior on the unknown residual-state distribution.
No nonlinearity, forward pass, activation, or output was evaluated.
