pr-issue-validation

Workflow runs for pr-issue-validation

• 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

• Research: semantic subgroup analysis for Own.NET diagnostic quality (bounded pilot)

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

• Research: evaluate Bifrost for C# code intelligence, agent navigation, and evidence contracts

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

• Research: OpenTaint-style contract tests and engine-gap triage for method-effect models

  completed successfully:
  pr-issue-validation#965:Issue#425openedbyPhysShell
  Oct 24, 202620s
  More actions for workflow run 965

• Research: evaluate Tabby-style stateful path pruning for bounded ownership diagnostics

  completed successfully:
  pr-issue-validation#964:Issue#424openedbyPhysShell
  Oct 23, 20269s
  More actions for workflow run 964

• feat(p014): add opt-in project-aware binding coverage

  completed successfully:
  pr-issue-validation#963:Pull request#423editedbyPhysShell
  feat/p014-prod0-coverage

  Oct 21, 202613s
  More actions for workflow run 963

• feat(p014): add opt-in project-aware binding coverage

  completed successfully:
  pr-issue-validation#962:Pull request#423synchronizebyPhysShell
  feat/p014-prod0-coverage

  Oct 21, 202614s
  More actions for workflow run 962

• feat(p014): add opt-in project-aware binding coverage

  completed successfully:
  pr-issue-validation#961:Pull request#423openedbyPhysShell
  feat/p014-prod0-coverage

  Oct 21, 202612s
  More actions for workflow run 961

• research(p014): validate project-isolated reference resolution and binding coverage

  completed successfully:
  pr-issue-validation#960:Pull request#422openedbyPhysShell
  research/p014-tiny-poc

  Oct 21, 202647s
  More actions for workflow run 960

• docs(evidence): P-014 bounded design and project-isolation falsifiers

  completed successfully:
  pr-issue-validation#959:Pull request#421openedbyPhysShell
  design/p014-bounded-design

  Oct 21, 202629s
  More actions for workflow run 959

• docs(evidence): P-014 — record owner ruling (GO-P014-BOUNDED-DESIGN / NO-PRODUCTION)

  completed successfully:
  pr-issue-validation#958:Pull request#420openedbyPhysShell
  research/p014-ruling-followup

  Oct 21, 202614s
  More actions for workflow run 958

• docs(evidence): P-014 reference coverage — GO-P014-BOUNDED-DESIGN / NO-PRODUCTION (research only)

  completed successfully:
  pr-issue-validation#957:Pull request#419editedbyPhysShell
  research/p014-reference-coverage

  Oct 21, 202610s
  More actions for workflow run 957

• docs(evidence): P-014 reference coverage — GO-P014-BOUNDED-DESIGN / NO-PRODUCTION (research only)

  completed successfully:
  pr-issue-validation#956:Pull request#419editedbyPhysShell
  research/p014-reference-coverage

  Oct 21, 202625s
  More actions for workflow run 956

• docs(evidence): P-014 reference coverage — GO-P014-BOUNDED-DESIGN / NO-PRODUCTION (research only)

  cancelled:
  pr-issue-validation#955:Pull request#419synchronizebyPhysShell
  research/p014-reference-coverage

  Oct 21, 202618s
  More actions for workflow run 955