Issues

Canonical first-party call facts: preserve interprocedural calls instead of collapsing them into frontend release/use/escape guesses
PhysShell/Own.NET#382 · opened on Sep 29, 2026
P-037 kernel: solve_with / lfp_chaotic returns Some(non-fixpoint) on an unfair schedule
PhysShell/Own.NET#368 · opened on Sep 27, 2026
Own.Concurrent: detect ownership-handoff violations across concurrent publication boundaries
PhysShell/Own.NET#366 · opened on Sep 26, 2026
Research: mine G# for reusable CFG/dataflow/analyzer patterns
PhysShell/Own.NET#365 · opened on Sep 24, 2026
Extractor: services[].scope_cache_sites[].file carries the absolute input path (pre-existing portability defect)
PhysShell/Own.NET#364 · opened on Sep 19, 2026
P-022 step 7b residual: Rust CLI for the .own and dev surfaces — cfg, summaries, explain, .own check; emit behind #257
PhysShell/Own.NET#345 · opened on Sep 8, 2026
Owen.Async: cancellation atomicity and abandoned-operation safety
PhysShell/Own.NET#311 · opened on Jul 28, 2026
Post-cutover: summary-backed lifecycle release reachability (generalize the landed #293/#302 predicates)
PhysShell/Own.NET#304 · opened on Jul 25, 2026
8
Bridge contract OD-7: generated cross-check for the behavior matrix (test_ownir families ↔ BridgeBehaviorMatrix rows)
PhysShell/Own.NET#296 · opened on Jul 18, 2026
Bridge contract OD-4/5/6: positional identity fallbacks, evidence-blind dedup, anchorless "?" SARIF URIs
PhysShell/Own.NET#295 · opened on Jul 18, 2026
Own.Concurrent: retrofit structured-concurrency contracts onto existing C# async code
PhysShell/Own.NET#282 · opened on Jul 15, 2026
1
Proposal: Sandboy Windows backend for 007 gates and extension sidecars
PhysShell/Own.NET#281 · opened on Jul 15, 2026
feat(progress): Own.Progress — detect consume-or-exit loop stalls (PRG001)
PhysShell/Own.NET#275 · opened on Jul 13, 2026
2
P2: Extend MOS/effect summaries to protocol and barrier effects
PhysShell/Own.NET#274 · opened on Jul 13, 2026
P1: Reframe OwnLang as analysis IR/debug format, not required user-authored code
PhysShell/Own.NET#273 · opened on Jul 13, 2026
P1: Add Obligation Protocols for project-specific barrier-sensitive rules
PhysShell/Own.NET#272 · opened on Jul 13, 2026
Audit foundation: modular supply-evidence contracts and provenance lanes
PhysShell/Own.NET#271 · opened on Jul 13, 2026
Runtime witness generation: turn supported OWN001/OWN014 evidence into red→green retention tests
PhysShell/Own.NET#270 · opened on Jul 13, 2026
P-022 diagnostics: normalized AnalysisTrace and first-divergence minimizer for Python↔Rust shadow mode
PhysShell/Own.NET#269 · opened on Jul 13, 2026
Audit foundation: append-only Finding Evidence Ledger with deterministic state reduction
PhysShell/Own.NET#268 · opened on Jul 13, 2026
2
Audit taxonomy: introduce rule-level risk lanes and separate CodeStyle from actionable findings
PhysShell/Own.NET#267 · opened on Jul 13, 2026
Audit foundation: finding identity v2 (pattern, occurrence, lineage) with provenance
PhysShell/Own.NET#266 · opened on Jul 13, 2026
1
IDE vertical: hybrid C# host with Roslyn semantic extraction and Rust core
PhysShell/Own.NET#265 · opened on Jul 13, 2026
IDE MVP: ship a Rust .own LSP with broken-code tolerance and cancellation
PhysShell/Own.NET#264 · opened on Jul 13, 2026
IDE foundation: establish cold/warm/incremental latency and memory baselines
PhysShell/Own.NET#263 · opened on Jul 13, 2026
1