feat(ownir)!: OwnIR v1 (move, borrow_mut) + C# state protocols; T0 Amendment 1 by PhysShell · Pull Request #385 · PhysShell/Own.NET

Merge remote-tracking branch 'origin/fix/validation-ledger-writer-contract' into feat/ownir-v1-state-protocols

PhysShell

committed

632c00c

Merge remote-tracking branch 'origin/fix/repro-regeneration-moved-input' into feat/ownir-v1-state-protocols

PhysShell

committed

3b40bf0

feat(ownir)!: OwnIR v1 — `move` and the exclusive `borrow_mut` region

PhysShell

and

claude

committed

03f4733

feat(roslyn): lower C# state protocols to OwnIR v1 (P-010 pillar 9, first slice)

PhysShell

and

claude

committed

1b9be98

fix(perf): the instrument's generated facts follow OwnIR v1

PhysShell

and

claude

committed

537b872

docs(calibration): re-bind steps 4/5/6 and record T0 Amendment 1

PhysShell

and

claude

committed

ab678eb

fix(roslyn): a region opened inside the protocol's own types is refused, not skipped

PhysShell

and

claude

committed

78c041a

docs(roslyn): the trust boundary is part of the profile's soundness model

PhysShell

and

claude

committed

98c062e

fix(tests): the S0 control checks that the flag does not move the version

PhysShell

and

claude

committed

f505253

Navigation Menu

Repository navigation

feat(ownir)!: OwnIR v1 (move, borrow_mut) + C# state protocols; T0 Amendment 1 - #385

feat(ownir)!: OwnIR v1 (move, borrow_mut) + C# state protocols; T0 Amendment 1#385
PhysShell merged 10 commits into
mainfrom
feat/ownir-v1-state-protocols

Commits on Oct 1, 2026

Merge remote-tracking branch 'origin/fix/validation-ledger-writer-contract' into feat/ownir-v1-state-protocols

Merge remote-tracking branch 'origin/fix/repro-regeneration-moved-input' into feat/ownir-v1-state-protocols

feat(ownir)!: OwnIR v1 — `move` and the exclusive `borrow_mut` region

feat(roslyn): lower C# state protocols to OwnIR v1 (P-010 pillar 9, first slice)

fix(perf): the instrument's generated facts follow OwnIR v1

docs(calibration): re-bind steps 4/5/6 and record T0 Amendment 1

fix(roslyn): a region opened inside the protocol's own types is refused, not skipped

docs(roslyn): the trust boundary is part of the profile's soundness model

fix(tests): the S0 control checks that the flag does not move the version

Commits on Oct 2, 2026

Merge main (OWN053, #386) into feat/ownir-v1-state-protocols