Issues

• 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

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

  PhysShell/Own.NET#424 · Filter by author PhysShell opened on Oct 23, 2026

• Extractor: project-aware semantic resolution — types from SDK implicit usings do not resolve

  deferredenhancement
  PhysShell/Own.NET#407 · Filter by author PhysShell opened on Oct 18, 2026
  2

• Research: stdexec-inspired operation lifetime facts to recover closure-capture OWN001 false negatives

  PhysShell/Own.NET#406 · Filter by author PhysShell opened on Oct 18, 2026
  1

• Research: semantic mutation testing harness for Own.NET analyzer coverage (bounded pilot)

  PhysShell/Own.NET#405 · Filter by author PhysShell opened on Oct 18, 2026

• Очень глубокая цепочка if/else if: Roslyn роняет прогон (InsufficientExecutionStackException, ~2300–2900) или тихо теряет файл (3000+)

  bug
  PhysShell/Own.NET#404 · Filter by author PhysShell opened on Oct 18, 2026

• OWN001 [disposable field] требует утилизировать отменённый CTS, который фикс намеренно не утилизирует (инверсия use-after-dispose)

  bug
  PhysShell/Own.NET#402 · Filter by author PhysShell opened on Oct 17, 2026
  1