All workflows

Workflow runs

• Retain checked finite actual-path induction; preserve OLD status tran…

  cancelled:
  Portable research package#172:Commit14be421pushedbySodelin
  codex/portable-lean-rust-registry-20261023

  Oct 25, 20267m 39s
  More actions for workflow run 172

• Retain checked actual shortest-path dependencies; preserve original f…

  failed:
  Portable research package#171:Commit012cb57pushedbySodelin
  codex/portable-lean-rust-registry-20261023

  Oct 25, 202612m 12s
  More actions for workflow run 171

• Close actual native count receiver; reuse original shortest-path depe…

  failed:
  Portable research package#170:Commit8940f03pushedbySodelin
  codex/portable-lean-rust-registry-20261023

  Oct 25, 202610m 41s
  More actions for workflow run 170

• Compose actual count weights with already-proved normalization; retai…

  failed:
  Portable research package#169:Commitf539b18pushedbySodelin
  codex/portable-lean-rust-registry-20261023

  Oct 25, 202611m 12s
  More actions for workflow run 169

• Bind every original native count weight through explicit finite-index…

  failed:
  Portable research package#168:Commitf563c6apushedbySodelin
  codex/portable-lean-rust-registry-20261023

  Oct 25, 20263m 39s
  More actions for workflow run 168

• Reuse accepted bounded reverse-trace context; reduce exact native wei…

  failed:
  Portable research package#167:Commit135ad36pushedbySodelin
  codex/portable-lean-rust-registry-20261023

  Oct 25, 20263m 39s
  More actions for workflow run 167

• Retain checked indexed/count components; repair literal reversal and …

  failed:
  Portable research package#166:Commit5426f2epushedbySodelin
  codex/portable-lean-rust-registry-20261023

  Oct 25, 20265m 47s
  More actions for workflow run 166

• Integrate retained count engine with owning exact-output Lean receive…

  failed:
  Portable research package#165:Commit48172f7pushedbySodelin
  codex/portable-lean-rust-registry-20261023

  Oct 25, 20263m 52s
  More actions for workflow run 165

• Reuse verified55-source interval geometry and port OLD indexed witnes…

  failed:
  Portable research package#164:Commit4af181fpushedbySodelin
  codex/portable-lean-rust-registry-20261023

  Oct 25, 202611m 29s
  More actions for workflow run 164

• Reuse verified54-source chains; quote OLD interval binder and share g…

  failed:
  Portable research package#163:Commitc3571bepushedbySodelin
  codex/portable-lean-rust-registry-20261023

  Oct 24, 202612m 18s
  More actions for workflow run 163

• Reuse verified52-source sections and port actual-DAG inducing-chain p…

  failed:
  Portable research package#162:Commit02d448epushedbySodelin
  codex/portable-lean-rust-registry-20261023

  Oct 24, 202611m 50s
  More actions for workflow run 162

• Audit the SAME compiled causal target; reuse G3 and P1 source success…

  failed:
  Portable research package#161:Commit15b02b4pushedbySodelin
  codex/portable-lean-rust-registry-20261023

  Oct 24, 202611m 23s
  More actions for workflow run 161

• Integrate verified RAW-noise callers and port OLD vertex-section proo…

  failed:
  Portable research package#160:Commita16436epushedbySodelin
  codex/portable-lean-rust-registry-20261023

  Oct 24, 20265m 7s
  More actions for workflow run 160

• Bind complete exact noise outputs with retained vector notation and k…

  failed:
  Portable research package#159:Commite3fd644pushedbySodelin
  codex/portable-lean-rust-registry-20261023

  Oct 24, 202610m 50s
  More actions for workflow run 159

• Reuse checked physical reversal and correct exact finite-grid/floor n…

  failed:
  Portable research package#158:Commitd042d39pushedbySodelin
  codex/portable-lean-rust-registry-20261023

  Oct 24, 20263m 51s
  More actions for workflow run 158

• Reduce original Option readiness matches and retain exact Rust122/sou…

  failed:
  Portable research package#157:Commitef9a36epushedbySodelin
  codex/portable-lean-rust-registry-20261023

  Oct 24, 20265m 2s
  More actions for workflow run 157

• Correct asymmetric noise fixture and reuse checked section extraction…

  failed:
  Portable research package#156:Commitcc67e23pushedbySodelin
  codex/portable-lean-rust-registry-20261023

  Oct 24, 20264m 44s
  More actions for workflow run 156

• Integrate OLD sharp RAW NANUQ recovery with exact Rust values and Lea…

  failed:
  Portable research package#155:Commit6542854pushedbySodelin
  codex/portable-lean-rust-registry-20261023

  Oct 24, 202635s
  More actions for workflow run 155

• Reuse checked shortest-chord context and repair actual discriminating…

  failed:
  Portable research package#154:Commitb52cad2pushedbySodelin
  codex/portable-lean-rust-registry-20261023

  Oct 24, 202610m 55s
  More actions for workflow run 154

• Reuse checked shortcut geometry; quote original chord binder and reco…

  failed:
  Portable research package#153:Commitd2d71e9pushedbySodelin
  codex/portable-lean-rust-registry-20261023

  Oct 24, 202611m 10s
  More actions for workflow run 153

• Reuse accepted parent and contour scopes; align rewritten ancestral s…

  failed:
  Portable research package#152:Commitc5e2ad3pushedbySodelin
  codex/portable-lean-rust-registry-20261023

  Oct 24, 202610m 58s
  More actions for workflow run 152

• Reuse complete MAG and exact-label callers; port SAME discriminating …

  failed:
  Portable research package#151:Commita671496pushedbySodelin
  codex/portable-lean-rust-registry-20261023

  Oct 24, 202612m 41s
  More actions for workflow run 151

• Bind exact original-label cardinality; reuse accepted cut callers and…

  failed:
  Portable research package#150:Commitf57399bpushedbySodelin
  codex/portable-lean-rust-registry-20261023

  Oct 24, 202611m 31s
  More actions for workflow run 150

• Match actual causal audit receipt; certify SAME original physical-tip…

  failed:
  Portable research package#149:Commitd964f52pushedbySodelin
  codex/portable-lean-rust-registry-20261023

  Oct 24, 202611m 4s
  More actions for workflow run 149

• Reduce SAME observed source head at original weak-route proof conclusion

  failed:
  Portable research package#148:Commit9aa3a8cpushedbySodelin
  codex/portable-lean-rust-registry-20261023

  Oct 24, 20264m 59s
  More actions for workflow run 148