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

Merged

PhysShell merged 10 commits into

mainfrom

feat/ownir-v1-state-protocols

Oct 2, 2026

Commits on Oct 1, 2026

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

Commits on Oct 2, 2026

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

PhysShell
and
claude
committed
821c459