All workflows

Workflow runs

• Final.lean: floor56_hand assembles records, hand Capacity/Biclique/Ce…

  failed:
  .github/workflows/p112-common-slice.yml#143:Commit7caa6eapushedbyMatarener
  claude/project-thread-q3efpx

  Nov 5, 2026Failure
  More actions for workflow run 143

• LPHand: card of hbfin.toFinset via Fintype.card_coe

  failed:
  .github/workflows/p112-common-slice.yml#142:Commite1bf41fpushedbyMatarener
  claude/project-thread-q3efpx

  Nov 5, 2026Failure
  More actions for workflow run 142

• LPHand: hbcard via ncard_eq_toFinset_card

  failed:
  .github/workflows/p112-common-slice.yml#141:Commite15e08epushedbyMatarener
  claude/project-thread-q3efpx

  Nov 5, 2026Failure
  More actions for workflow run 141

• LPHand: fixes from first build (Bm_low by cases, zl_inj ambiguity, xo…

  failed:
  .github/workflows/p112-common-slice.yml#140:Commit04abdd7pushedbyMatarener
  claude/project-thread-q3efpx

  Nov 4, 2026Failure
  More actions for workflow run 140

• Cap4Hand: E8 par, row span via rfl, card_filter_add_card_filter_not

  failed:
  .github/workflows/p112-common-slice.yml#139:Commitf0eb764pushedbyMatarener
  claude/project-thread-q3efpx

  Nov 4, 2026Failure
  More actions for workflow run 139

• FC3Hand: no_plane3o via residue core (1024 cases) + omega bridges on …

  failed:
  .github/workflows/p112-common-slice.yml#138:Commit14ee9afpushedbyMatarener
  claude/project-thread-q3efpx

  Nov 4, 2026Failure
  More actions for workflow run 138

• FC3Hand: linear form uses wt w; LPData: Int instead of ℤ (no Mathlib …

  failed:
  .github/workflows/p112-common-slice.yml#137:Commit3f55184pushedbyMatarener
  claude/project-thread-q3efpx

  Nov 4, 2026Failure
  More actions for workflow run 137

• FC3Hand: linearize PhO before omega (no disjunction splits); xabc via…

  failed:
  .github/workflows/p112-common-slice.yml#136:Commit1a8e046pushedbyMatarener
  claude/project-thread-q3efpx

  Nov 4, 2026Failure
  More actions for workflow run 136

• LPHand: fixes before first build (lv_two, testBit lemmas, counting st…

  failed:
  .github/workflows/p112-common-slice.yml#135:Commit1c205f0pushedbyMatarener
  claude/project-thread-q3efpx

  Nov 4, 2026Failure
  More actions for workflow run 135

• Lemma P (no six) by hand in Lean: mod-2 reduction, type 0, star count…

  failed:
  .github/workflows/p112-common-slice.yml#134:Commit46304f3pushedbyMatarener
  claude/project-thread-q3efpx

  Nov 4, 2026Failure
  More actions for workflow run 134

• Cap4 by hand: odd labels in a <=16-element span inject into the even …

  failed:
  .github/workflows/p112-common-slice.yml#133:Commit7dc41efpushedbyMatarener
  claude/project-thread-q3efpx

  Nov 4, 2026Failure
  More actions for workflow run 133

• Cap6 by hand: 3-space counting, removed-line labels, no_plane3o (weig…

  failed:
  .github/workflows/p112-common-slice.yml#132:Commit0f03207pushedbyMatarener
  claude/project-thread-q3efpx

  Nov 4, 2026Failure
  More actions for workflow run 132

• FC3 by hand: weights mod 4 (no_plane3) + frame witness table fwOK; fi…

  failed:
  .github/workflows/p112-common-slice.yml#131:Commita212bd8pushedbyMatarener
  claude/project-thread-q3efpx

  Nov 4, 2026Failure
  More actions for workflow run 131

• T2Sym: fix three build errors (sum reindex, obtain pattern, implicit K)

  failed:
  .github/workflows/p112-common-slice.yml#130:Commitc305ac7pushedbyMatarener
  claude/project-thread-q3efpx

  Nov 4, 2026Failure
  More actions for workflow run 130

• T2: fix T2Hand simp/classical; T2Pair defined in T2M (old Main/FactsC…

  failed:
  .github/workflows/p112-common-slice.yml#129:Commit6fbafacpushedbyMatarener
  claude/project-thread-q3efpx

  Nov 4, 2026Failure
  More actions for workflow run 129

• T2SDecode, T2SCheck (per-item #eval of T2SR.ok)

  failed:
  .github/workflows/p112-common-slice.yml#128:Commitcd41e03pushedbyMatarener
  claude/project-thread-q3efpx

  Nov 4, 2026Failure
  More actions for workflow run 128

• T2Sym: T2 by support orbits (stabiliser transport of Bad and supports…

  failed:
  .github/workflows/p112-common-slice.yml#127:Commit1abf95fpushedbyMatarener
  claude/project-thread-q3efpx

  Nov 4, 2026Failure
  More actions for workflow run 127

• T2 (hand route): T2Hand (pair_false, T2R.sound), T2Main (transport, t…

  failed:
  .github/workflows/p112-common-slice.yml#126:Commitd48bb10pushedbyMatarener
  claude/project-thread-q3efpx

  Nov 4, 2026Failure
  More actions for workflow run 126

• Stage 3: floor_of_st3_ex (existence form); St3Check prints FLOOR3 (st…

  failed:
  .github/workflows/p112-common-slice.yml#125:Commit9ba93e7pushedbyMatarener
  claude/project-thread-q3efpx

  Nov 4, 2026Failure
  More actions for workflow run 125

• T3St3: floor_of_st3 (C >= 56 for a hard type from its stage-3 and T3 …

  failed:
  .github/workflows/p112-common-slice.yml#124:Commit98967bepushedbyMatarener
  claude/project-thread-q3efpx

  Nov 4, 2026-1s
  More actions for workflow run 124

• St3Decode: namespace of okHead

  failed:
  .github/workflows/p112-common-slice.yml#123:Commitd876e65pushedbyMatarener
  claude/project-thread-q3efpx

  Nov 4, 2026Failure
  More actions for workflow run 123

• St3: per-branch #eval check (St3.ok_eq), branch decoder

  failed:
  .github/workflows/p112-common-slice.yml#122:Commit2d07c47pushedbyMatarener
  claude/project-thread-q3efpx

  Nov 4, 2026Failure
  More actions for workflow run 122

• T1Stage3 zkill: column scale 1/g

  failed:
  .github/workflows/p112-common-slice.yml#121:Commitee81110pushedbyMatarener
  claude/project-thread-q3efpx

  Nov 4, 2026Failure
  More actions for workflow run 121

• T1Pin (iterated rank-7 pinning on the Gram set), pins in stage-3 bran…

  failed:
  .github/workflows/p112-common-slice.yml#120:Commit327edb9pushedbyMatarener
  claude/project-thread-q3efpx

  Nov 4, 2026Failure
  More actions for workflow run 120

• T2PairStep: adapt to Matrix.row/col in rank lemmas; St3 decoder and #…

  failed:
  .github/workflows/p112-common-slice.yml#119:Commitafe7bdapushedbyMatarener
  claude/project-thread-q3efpx

  Nov 4, 2026Failure
  More actions for workflow run 119