All workflows

Workflow runs

• fix: harden proof harness end to end

  failed:
  CI#62:Commitdcb25b6pushedbyishan-1729
  main

  Jul 13, 20261m 24s
  More actions for workflow run 62

• fix: harden proof harness end to end

  failed:
  CI#61:Commitdcb25b6pushedbyishan-1729
  reorg/structure-and-build-plan

  Jul 13, 20261m 24s
  More actions for workflow run 61

• fix(audit): deep-audit remediation + adversarially-verified residual …

  failed:
  CI#60:Commit4959323pushedbyishan-1729
  main

  Jul 5, 20261m 5s
  More actions for workflow run 60

• fix(audit): deep-audit remediation + adversarially-verified residual …

  failed:
  CI#59:Commit4959323pushedbyishan-1729
  reorg/structure-and-build-plan

  Jul 5, 20261m 12s
  More actions for workflow run 59

• data(eval): phase-4a/4b live run records + negative-control revalidation

  failed:
  CI#58:Commitd695bc1pushedbyishan-1729
  main

  Jul 3, 20261m 5s
  More actions for workflow run 58

• data(eval): phase-4a/4b live run records + negative-control revalidation

  failed:
  CI#57:Commitd695bc1pushedbyishan-1729
  reorg/structure-and-build-plan

  Jul 3, 20261m 8s
  More actions for workflow run 57

• fix(gates): analysis/trig domain boundary for Layer-4 T - live CEGAR …

  failed:
  CI#56:Commitca0f1capushedbyishan-1729
  main

  Jul 3, 20261m 10s
  More actions for workflow run 56

• fix(gates): analysis/trig domain boundary for Layer-4 T - live CEGAR …

  failed:
  CI#55:Commitca0f1capushedbyishan-1729
  reorg/structure-and-build-plan

  Jul 3, 20261m 10s
  More actions for workflow run 55

• feat(tools): numeric statement triage - the exact-integer checker aim…

  failed:
  CI#54:Commit8a482e1pushedbyishan-1729
  main

  Jul 3, 20261m 11s
  More actions for workflow run 54

• feat(tools): numeric statement triage - the exact-integer checker aim…

  failed:
  CI#53:Commit8a482e1pushedbyishan-1729
  reorg/structure-and-build-plan

  Jul 3, 20261m 10s
  More actions for workflow run 53

• feat(eval): BrokenArxiv do-not-prove runner with judge-free bluff_rate

  failed:
  CI#52:Commit6f5c6d7pushedbyishan-1729
  main

  Jul 3, 20261m 12s
  More actions for workflow run 52

• feat(eval): BrokenArxiv do-not-prove runner with judge-free bluff_rate

  failed:
  CI#51:Commit6f5c6d7pushedbyishan-1729
  reorg/structure-and-build-plan

  Jul 3, 20261m 6s
  More actions for workflow run 51

• feat(eval): --ledgers-dir proof-artifact capture on the problem-runner

  failed:
  CI#50:Commitccb9dc6pushedbyishan-1729
  main

  Jul 3, 20261m 7s
  More actions for workflow run 50

• feat(eval): --ledgers-dir proof-artifact capture on the problem-runner

  failed:
  CI#49:Commitccb9dc6pushedbyishan-1729
  reorg/structure-and-build-plan

  Jul 3, 20261m 3s
  More actions for workflow run 49

• feat(eval): deterministic Mode-B witness battery + sketch binding-mis…

  failed:
  CI#48:Commit52c4ebfpushedbyishan-1729
  main

  Jul 3, 20261m 7s
  More actions for workflow run 48

• feat(eval): deterministic Mode-B witness battery + sketch binding-mis…

  failed:
  CI#47:Commit52c4ebfpushedbyishan-1729
  reorg/structure-and-build-plan

  Jul 3, 20261m 12s
  More actions for workflow run 47

• fix(orchestrator): unbound-ledger repair precedes review return; per-…

  failed:
  CI#46:Commit86c3670pushedbyishan-1729
  main

  Jul 3, 20261m 3s
  More actions for workflow run 46

• fix(orchestrator): unbound-ledger repair precedes review return; per-…

  failed:
  CI#45:Commit86c3670pushedbyishan-1729
  reorg/structure-and-build-plan

  Jul 3, 20261m 3s
  More actions for workflow run 45

• feat(eval): ablation profile set, paper-problem folders, durable swee…

  failed:
  CI#44:Commit57f1f40pushedbyishan-1729
  main

  Jul 3, 20261m 9s
  More actions for workflow run 44

• feat(eval): ablation profile set, paper-problem folders, durable swee…

  failed:
  CI#43:Commit57f1f40pushedbyishan-1729
  reorg/structure-and-build-plan

  Jul 3, 20261m 6s
  More actions for workflow run 43

• feat(benchmarks): arxivlean + brokenarxiv + mathnet dataset support w…

  failed:
  CI#42:Commit7be0adepushedbyishan-1729
  main

  Jul 2, 20261m 10s
  More actions for workflow run 42

• feat(benchmarks): arxivlean + brokenarxiv + mathnet dataset support w…

  failed:
  CI#41:Commit7be0adepushedbyishan-1729
  reorg/structure-and-build-plan

  Jul 2, 20261m 1s
  More actions for workflow run 41

• docs: truth-ups — crash gap closed, LEAN_VERIFIED landed, build_statu…

  failed:
  CI#40:Commit6f548b6pushedbyishan-1729
  main

  Jul 2, 20261m 7s
  More actions for workflow run 40

• docs: truth-ups — crash gap closed, LEAN_VERIFIED landed, build_statu…

  failed:
  CI#39:Commit6f548b6pushedbyishan-1729
  reorg/structure-and-build-plan

  Jul 2, 20261m 2s
  More actions for workflow run 39

• docs: consolidate agent instructions into a single CLAUDE.md

  failed:
  CI#38:Commit4a4205bpushedbyishan-1729
  main

  Jul 2, 20261m 11s
  More actions for workflow run 38