Issues

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

  PhysShell/Own.NET#449 · Filter by author PhysShell opened on Oct 25, 2026

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

  PhysShell/Own.NET#448 · Filter by author PhysShell opened on Oct 25, 2026

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

  PhysShell/Own.NET#447 · Filter by author PhysShell opened on Oct 25, 2026

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

  PhysShell/Own.NET#446 · Filter by author PhysShell opened on Oct 25, 2026

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

  PhysShell/Own.NET#445 · Filter by author PhysShell opened on Oct 25, 2026

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

  PhysShell/Own.NET#444 · Filter by author PhysShell opened on Oct 25, 2026

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

  PhysShell/Own.NET#443 · Filter by author PhysShell opened on Oct 24, 2026

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

  PhysShell/Own.NET#442 · Filter by author PhysShell opened on Oct 24, 2026

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

  PhysShell/Own.NET#441 · Filter by author PhysShell opened on Oct 24, 2026

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

  PhysShell/Own.NET#440 · Filter by author PhysShell opened on Oct 24, 2026

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

  PhysShell/Own.NET#439 · Filter by author PhysShell opened on Oct 24, 2026

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

  PhysShell/Own.NET#438 · Filter by author PhysShell opened on Oct 24, 2026

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

  PhysShell/Own.NET#437 · Filter by author PhysShell opened on Oct 24, 2026

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

  PhysShell/Own.NET#436 · Filter by author PhysShell opened on Oct 24, 2026

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

  PhysShell/Own.NET#435 · Filter by author PhysShell opened on Oct 24, 2026

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

  PhysShell/Own.NET#434 · Filter by author PhysShell opened on Oct 24, 2026

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

  PhysShell/Own.NET#433 · Filter by author PhysShell opened on Oct 24, 2026

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

  PhysShell/Own.NET#432 · Filter by author PhysShell opened on Oct 24, 2026

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

  PhysShell/Own.NET#431 · Filter by author PhysShell opened on Oct 24, 2026

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

  PhysShell/Own.NET#430 · Filter by author PhysShell opened on Oct 24, 2026

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

  PhysShell/Own.NET#429 · Filter by author PhysShell opened on Oct 24, 2026

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

  PhysShell/Own.NET#428 · Filter by author PhysShell opened on Oct 24, 2026

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

  PhysShell/Own.NET#427 · Filter by author PhysShell opened on Oct 24, 2026

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

  PhysShell/Own.NET#426 · Filter by author PhysShell opened on Oct 24, 2026

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

  PhysShell/Own.NET#425 · Filter by author PhysShell opened on Oct 24, 2026