All workflows

Workflow runs

• 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

• P-037 A2.2-1a: close the conversion vocabulary (reference_checked, bo…

  completed successfully:
  CI#2201:Commitcef567apushedbyPhysShell
  claude/p037-a2.2

  Sep 19, 20267m 47s
  More actions for workflow run 2201

• P-037 A2.2-1: decide argument relevance by value flow, not by syntax

  completed successfully:
  CI#2200:Commit268bbd4pushedbyPhysShell
  claude/p037-a2.2

  Sep 19, 20267m 49s
  More actions for workflow run 2200

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#775:Scheduled
  main

  Sep 19, 20268s
  More actions for workflow run 775

• P-037 A2.2-0: freeze the relevance taxonomy, the named exclusions and…

  completed successfully:
  CI#2199:Commitbb557e1pushedbyPhysShell
  claude/p037-a2.2

  Sep 19, 20267m 50s
  More actions for workflow run 2199

• P-037 A2.2-0: freeze the relevance taxonomy, the named exclusions and…

  completed successfully:
  CI#2198:Commitee4d065pushedbyPhysShell
  claude/p037-a1-production

  Sep 19, 20266m 51s
  More actions for workflow run 2198

• Extractor: services[].scope_cache_sites[].file carries the absolute input path (pre-existing portability defect)

  completed successfully:
  pr-issue-validation#852:Issue#364openedbyPhysShell
  Sep 19, 202613s
  More actions for workflow run 852

• formal-p037-gate

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

  Sep 19, 202616m 0s
  More actions for workflow run 1

• Merge pull request #363 from PhysShell/claude/p037-a2.1-relevance-fix

  completed successfully:
  CI#2197:Commit23e3203pushedbyPhysShell
  main

  Sep 19, 20267m 16s
  More actions for workflow run 2197

• P-037 A2.1: guarded-fact sidecar (corrected), richer facts with zero MOS/verdict movement

  completed successfully:
  Owen.Cli release#99:Pull request#363openedbyPhysShell
  claude/p037-a2.1-relevance-fix

  Sep 19, 20265m 56s
  More actions for workflow run 99

• P-037 A2.1: guarded-fact sidecar (corrected), richer facts with zero MOS/verdict movement

  completed successfully:
  CI#2196:Pull request#363openedbyPhysShell
  claude/p037-a2.1-relevance-fix

  Sep 19, 202613m 47s
  More actions for workflow run 2196

• P-037 A2.1: guarded-fact sidecar (corrected), richer facts with zero MOS/verdict movement

  completed successfully:
  P-022 merge gate#17:Pull request#363openedbyPhysShell
  claude/p037-a2.1-relevance-fix

  Sep 19, 20261m 28s
  More actions for workflow run 17