-
Notifications
You must be signed in to change notification settings - Fork 0
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#311 In PhysShell/Own.NET;
Post-cutover: summary-backed lifecycle release reachability (generalize the landed #293/#302 predicates)
enhancementNew feature or requestNew feature or requestStatus: Open.#304 In PhysShell/Own.NET;- Status: Open.#296 In PhysShell/Own.NET;
- Status: Open.#295 In PhysShell/Own.NET;
Own.Concurrent: retrofit structured-concurrency contracts onto existing C# async code
enhancementNew feature or requestNew feature or requestStatus: Open.#282 In PhysShell/Own.NET;- Status: Open.#281 In PhysShell/Own.NET;
- Status: Open.#275 In PhysShell/Own.NET;
P2: Extend MOS/effect summaries to protocol and barrier effects
enhancementNew feature or requestNew feature or requestStatus: Open.#274 In PhysShell/Own.NET;P1: Reframe OwnLang as analysis IR/debug format, not required user-authored code
documentationImprovements or additions to documentationImprovements or additions to documentationenhancementNew feature or requestNew feature or requestStatus: Open.#273 In PhysShell/Own.NET;P1: Add Obligation Protocols for project-specific barrier-sensitive rules
enhancementNew feature or requestNew feature or requestStatus: Open.#272 In PhysShell/Own.NET;Audit foundation: modular supply-evidence contracts and provenance lanes
enhancementNew feature or requestNew feature or requestStatus: Open.#271 In PhysShell/Own.NET;Runtime witness generation: turn supported OWN001/OWN014 evidence into red→green retention tests
enhancementNew feature or requestNew feature or requestStatus: Open.#270 In PhysShell/Own.NET;