All workflows

Workflow runs

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#782:Scheduled
  main

  Sep 20, 20269s
  More actions for workflow run 782

• formal-p037-gate

  completed successfully:
  formal-p037-gate#2:Scheduled
  main

  Sep 20, 202615m 3s
  More actions for workflow run 2

• P-037 A2.2-S tooling hardening: one command, transactional evidence, …

  completed successfully:
  CI#2218:Commit3f6d01cpushedbyPhysShell
  claude/p037-a2.2

  Sep 20, 202616m 32s
  More actions for workflow run 2218

• P-037 A2.2-S: the governed cumulative measurement, one command, rehea…

  completed successfully:
  CI#2217:Commitd368931pushedbyPhysShell
  claude/p037-a2.2

  Sep 20, 202612m 24s
  More actions for workflow run 2217

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#781:Scheduled
  main

  Sep 20, 20266s
  More actions for workflow run 781

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#780:Scheduled
  main

  Sep 20, 202654s
  More actions for workflow run 780

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#779:Scheduled
  main

  Sep 19, 20267s
  More actions for workflow run 779

• P-037 A2.2-5: the mutation campaign against the completeness oracle

  completed successfully:
  CI#2216:Commitdab3db1pushedbyPhysShell
  claude/p037-a2.2

  Sep 19, 202615m 24s
  More actions for workflow run 2216

• P-037 A2.2-4R-fix: the repository-fact counts in §10.6.10 catch up wi…

  completed successfully:
  CI#2215:Commit27aadf2pushedbyPhysShell
  claude/p037-a2.2

  Sep 19, 202615m 35s
  More actions for workflow run 2215

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#778:Scheduled
  main

  Sep 19, 202610s
  More actions for workflow run 778

• P-037 A2.2-4R6b: F-MEMBER repaired; the member bodies the legacy pass…

  completed successfully:
  CI#2214:Commita8b2b05pushedbyPhysShell
  claude/p037-a2.2

  Sep 19, 202610m 39s
  More actions for workflow run 2214

• P-037 A2.2-4R6a: two more F-MEMBER witnesses, pinned RED before the r…

  completed successfully:
  CI#2213:Commit63810bbpushedbyPhysShell
  claude/p037-a2.2

  Sep 19, 202613m 19s
  More actions for workflow run 2213

• P-037 A2.2-4R5: a constructor initializer is a call site of its own (…

  completed successfully:
  CI#2212:Commitbfb859dpushedbyPhysShell
  claude/p037-a2.2

  Sep 19, 202613m 43s
  More actions for workflow run 2212

• P-037 A2.2-4R4: the F-VOCAB ruling; predicate_result, interpolation_h…

  completed successfully:
  CI#2211:Commitb2aa766pushedbyPhysShell
  claude/p037-a2.2

  Sep 19, 202612m 50s
  More actions for workflow run 2211

• P-037 A2.2-4R3: F-CONDITIONAL-RECEIVER repaired; a reduced receiver u…

  completed successfully:
  CI#2210:Commit947d6c3pushedbyPhysShell
  claude/p037-a2.2

  Sep 19, 20269m 46s
  More actions for workflow run 2210

• P-037 A2.2-4R2: F-PARAMS-ELEMENT repaired; an expanded params element…

  completed successfully:
  CI#2209:Commit07bb106pushedbyPhysShell
  claude/p037-a2.2

  Sep 19, 202612m 19s
  More actions for workflow run 2209

• P-037 A2.2-4R1: F-SHADOW repaired; the guarded-fact handle set is key…

  completed successfully:
  CI#2208:Commit8e693bapushedbyPhysShell
  claude/p037-a2.2

  Sep 19, 202614m 35s
  More actions for workflow run 2208

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#777:Scheduled
  main

  Sep 19, 20266s
  More actions for workflow run 777

• P-037 A2.2-4: the completeness oracle and the generated hostile censu…

  completed successfully:
  CI#2207:Commit3e6904epushedbyPhysShell
  claude/p037-a2.2

  Sep 19, 202610m 0s
  More actions for workflow run 2207

• P-037 A2.2-3P-fix2: remove the stale "validated by both doors" claim …

  completed successfully:
  CI#2206:Commit80cd9aapushedbyPhysShell
  claude/p037-a2.2

  Sep 19, 202611m 6s
  More actions for workflow run 2206

• P-037 A2.2-3P-fix: repair the ownir_version producer pin and the orph…

  completed successfully:
  CI#2205:Commite79b165pushedbyPhysShell
  claude/p037-a2.2

  Sep 19, 202610m 6s
  More actions for workflow run 2205

• P-037 A2.2-3P: the guarded_functions[] orphan carrier, production side

  failed:
  CI#2204:Commit3ffd9d7pushedbyPhysShell
  claude/p037-a2.2

  Sep 19, 202611m 12s
  More actions for workflow run 2204

• P-037 A2.2-2b: delegate invocation is a call site of its own (call_ki…

  completed successfully:
  CI#2203:Commit7de7a6fpushedbyPhysShell
  claude/p037-a2.2

  Sep 19, 20267m 48s
  More actions for workflow run 2203

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#776:Scheduled
  main

  Sep 19, 20267s
  More actions for workflow run 776

• P-037 A2.2-2: constructor calls are call sites of their own (call_kin…

  completed successfully:
  CI#2202:Commit376f2e6pushedbyPhysShell
  claude/p037-a2.2

  Sep 19, 20268m 49s
  More actions for workflow run 2202