chore(main): release 4.0.0

[github-actions]

🤖 I have created a release beep boop

4.0.0 (2026-09-12)

⚠ BREAKING CHANGES

• sdl: externalize domain classifications into generic bindings (#1243)

Features

• add scoped observation demand policy (#1245) (4914612)
• add typed domain profile contracts (#1232) (4169a94)
• realization: admit prepared completions and validate delivered state (#1251) (6e8c198)
• runtime: define control-plane operation lifecycle contract (#1235) (190b305)
• runtime: enforce capture admission and evidence proof (#1239) (68d25df)
• sdl: add recursive realization constraint normal form (#1233) (161221b)
• sdl: externalize domain classifications into generic bindings (#1243) (476df8c)

Bug Fixes

• preserve exact constraints in mixed runtime realization (#1214) (5d2f738)
• quality: clear control-plane Sonar findings (#1252) (956a266)
• quality: clear the dev new-code violations blocking the Sonar gate (#1255) (c899612)
• quality: clear the dev-to-main promotion Sonar violations (#1260) (106b195)
• runtime: add snapshot revision compare-and-swap (#1240) (f834682)
• runtime: make local operation state transactional and durable (#1136) (ca26076)
• runtime: seal reconciled operations after uncertain commits (#1231) (fb4cb4b)
• runtime: unify control-plane mutation commits (#1248) (d67d320)
• tooling: use maintained client for tool acquisition (#1246) (8e6dbb7)

Documentation

• define modular participant control and governed effects (#1234) (ebb70a3), closes #1068
• define recursive partial-description semantics (#1215) (8dc823b)
• sdl: document progressive specification design review (#1213) (164dd14)
• sdl: record issue 1198 design review and remediation plan (164dd14)
• tooling: define package and artifact management architecture (#1229) (c3b30c6)

---

This PR was generated with Release Please. See documentation.

[github-actions]

🤖 Created releases:

• v4.0.0

🌻