All workflows

Workflow runs

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#964:Scheduled
  main

  Oct 28, 20268s
  More actions for workflow run 964

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#963:Scheduled
  main

  Oct 27, 20268s
  More actions for workflow run 963

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#962:Scheduled
  main

  Oct 27, 20269s
  More actions for workflow run 962

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#961:Scheduled
  main

  Oct 27, 20268s
  More actions for workflow run 961

• formal-p037-gate

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

  Oct 27, 202615m 49s
  More actions for workflow run 39

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#960:Scheduled
  main

  Oct 27, 202611s
  More actions for workflow run 960

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#959:Scheduled
  main

  Oct 26, 202610s
  More actions for workflow run 959

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#958:Scheduled
  main

  Oct 26, 20268s
  More actions for workflow run 958

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#957:Scheduled
  main

  Oct 26, 202610s
  More actions for workflow run 957

• shadow sweep (#260)

  completed successfully:
  shadow sweep (#260)#10:Scheduled
  main

  Oct 26, 20262m 7s
  More actions for workflow run 10

• formal-p037-gate

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

  Oct 26, 202615m 43s
  More actions for workflow run 38

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#956:Scheduled
  main

  Oct 26, 20269s
  More actions for workflow run 956

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#955:Scheduled
  main

  Oct 26, 202610s
  More actions for workflow run 955

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#954:Scheduled
  main

  Oct 25, 20267s
  More actions for workflow run 954

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#953:Scheduled
  main

  Oct 25, 20266s
  More actions for workflow run 953

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#952:Scheduled
  main

  Oct 25, 20269s
  More actions for workflow run 952

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#951:Scheduled
  main

  Oct 25, 202610s
  More actions for workflow run 951

• formal-p037-gate

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

  Oct 25, 202614m 46s
  More actions for workflow run 37

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#950:Scheduled
  main

  Oct 25, 20267s
  More actions for workflow run 950

• Research: Angie/SMG-inspired abstract object graph and sound ownership-state joins (bounded spike)

  completed successfully:
  pr-issue-validation#989:Issue#449openedbyPhysShell
  Oct 25, 20269s
  More actions for workflow run 989

• Research: requirements-to-code conformance checking (BDD + reviewed formal contracts + OwnIR evidence)

  completed successfully:
  pr-issue-validation#988:Issue#448openedbyPhysShell
  Oct 25, 202610s
  More actions for workflow run 988

• Research: FeaVer/Ultimate-style property-guided model extraction and source-level witnesses (bounded spike)

  completed successfully:
  pr-issue-validation#987:Issue#447openedbyPhysShell
  Oct 25, 202612s
  More actions for workflow run 987

• Research: evaluate BAIT Büchi inclusion and antichain fixpoints for temporal ownership protocols (bounded spike)

  completed successfully:
  pr-issue-validation#986:Issue#446openedbyPhysShell
  Oct 25, 20268s
  More actions for workflow run 986

• Research: FORVES2-style conditional semantic validation and proof-assumption audit for OwnIR

  completed successfully:
  pr-issue-validation#985:Issue#445openedbyPhysShell
  Oct 25, 202610s
  More actions for workflow run 985

• Research: evaluate LLZK dataflow lattices, SourceRef and IR validators

  completed successfully:
  pr-issue-validation#984:Issue#444openedbyPhysShell
  Oct 25, 202611s
  More actions for workflow run 984