pr-issue-validation

Workflow runs for pr-issue-validation

• Research: independent formal cross-check and Rust-level soundness verification (Rocq / Verus / Aeneas / Isabelle)

  completed successfully:
  pr-issue-validation#992:Issue#451editedbyPhysShell
  Oct 30, 202612s
  More actions for workflow run 992

• Research: independent formal cross-check and Rust-level soundness verification (Rocq / Verus / Aeneas / Isabelle)

  completed successfully:
  pr-issue-validation#991:Issue#451openedbyPhysShell
  Oct 30, 20269s
  More actions for workflow run 991

• Research: map domain-theoretic fixed-point assumptions to Own.NET's ownership analysis

  completed successfully:
  pr-issue-validation#990:Issue#450openedbyPhysShell
  Oct 30, 202611s
  More actions for workflow run 990

• 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

• Research: Tai-e-inspired semantic fact assertions and selective precision (bounded spike)

  completed successfully:
  pr-issue-validation#983:Issue#443openedbyPhysShell
  Oct 24, 202611s
  More actions for workflow run 983

• Research: contrastive positive/negative C# ownership challenge corpus (micro_service_seclab-inspired)

  completed successfully:
  pr-issue-validation#982:Issue#442openedbyPhysShell
  Oct 24, 202612s
  More actions for workflow run 982

• Research: Wa wire IR / ARC lowering for explicit ownership events in OwnIR

  completed successfully:
  pr-issue-validation#981:Issue#441openedbyPhysShell
  Oct 24, 20269s
  More actions for workflow run 981

• Research: evidence-guided candidate ranking for Own.NET analyzer fixes (LoopRepair prior art)

  completed successfully:
  pr-issue-validation#980:Issue#440openedbyPhysShell
  Oct 24, 202611s
  More actions for workflow run 980

• Research: TikNib-inspired interpretable feature-delta triage for OwnIR regressions (bounded spike)

  completed successfully:
  pr-issue-validation#979:Issue#439openedbyPhysShell
  Oct 24, 202611s
  More actions for workflow run 979

• Research: SPDS field-stack reachability for ownership aliasing (bounded spike)

  completed successfully:
  pr-issue-validation#978:Issue#438openedbyPhysShell
  Oct 24, 202612s
  More actions for workflow run 978

• Research: BugBug-inspired test-impact selection and shadow scheduler evaluation (bounded spike)

  completed successfully:
  pr-issue-validation#977:Issue#437openedbyPhysShell
  Oct 24, 202611s
  More actions for workflow run 977

• Research: Fraunhofer CPG-inspired precision escalation and summary-aware soundness gates (bounded spike)

  completed successfully:
  pr-issue-validation#976:Issue#436openedbyPhysShell
  Oct 24, 202612s
  More actions for workflow run 976

• Research: Graft-inspired derived dependency graph for ownership diagnostic explanations (bounded spike)

  completed successfully:
  pr-issue-validation#975:Issue#435openedbyPhysShell
  Oct 24, 202611s
  More actions for workflow run 975

• Research: Heros-inspired IFDS/IDE feasibility for interprocedural ownership facts (bounded spike)

  completed successfully:
  pr-issue-validation#974:Issue#434openedbyPhysShell
  Oct 24, 20268s
  More actions for workflow run 974

• Research: IKOS-inspired abstract-state soundness oracle and operator audit (bounded spike)

  completed successfully:
  pr-issue-validation#973:Issue#433openedbyPhysShell
  Oct 24, 20269s
  More actions for workflow run 973

• Research: refactoring-aware metamorphic regression testing for ownership analysis (RefactoringMiner prior art)

  completed successfully:
  pr-issue-validation#972:Issue#432openedbyPhysShell
  Oct 24, 202610s
  More actions for workflow run 972

• Research: COVA-inspired targeted path-condition oracle for ownership soundness (bounded spike)

  completed successfully:
  pr-issue-validation#971:Issue#431openedbyPhysShell
  Oct 24, 20268s
  More actions for workflow run 971

• Research: SootUp-inspired OwnIR/ICFG semantic-fidelity and incomplete-call audit (bounded spike)

  completed successfully:
  pr-issue-validation#970:Issue#430openedbyPhysShell
  Oct 24, 202611s
  More actions for workflow run 970

• Research: WALA-inspired demand-driven alias precision for ownership diagnostics (bounded spike)

  completed successfully:
  pr-issue-validation#969:Issue#429openedbyPhysShell
  Oct 24, 202610s
  More actions for workflow run 969

• Research: fault-injection tests for CLI failure visibility and SARIF artifact integrity (bounded pilot)

  completed successfully:
  pr-issue-validation#968:Issue#428openedbyPhysShell
  Oct 24, 20269s
  More actions for workflow run 968