chore(release): cut v0.9.0 — event-sourced kernel + runtime verbs

[SollanSystems]

Release cut: v0.9.0

Everything merged since the 0.8.0 cut (6b16576) — PRs #41–#48 and #59–#77 — under one version:

• Event-sourced kernel: event@1 EventStore (SQLite/WAL, append-only, CAS) + deterministic reducer (feat(kernel): loop-engineer/event@1 EventStore + SQLite/WAL + deterministic reducer (#50) #62), FSM (feat(kernel): canonical intermediate-state FSM, unknown-state validation, writer timestamps #59), plan@1 + plan-lint (feat(kernel): loop-engineer/plan@1 Loop Plan IR + loop plan-lint CLI (#49) #61), evidence@1 (feat(kernel): loop-engineer/evidence@1 hashed evidence objects + provenance (#53) #63), terminal_superseded (feat(kernel): administrative terminal_superseded events — immutable-terminal corrections (#54) #64), run-control vocabulary (feat(kernel): run-control event vocabulary — approval, pause, resume over event@1 #73), validation modes (feat(cli): explicit validation modes --mode basic|strict|release (#52) #60)
• Runtime verbs: run (feat(cli): event-sourced loop run single-step dispatch with crash-safe resume (Refs #55) #71), status/replay (feat(cli): read-only loop status + loop replay runtime verbs (Refs #55) #70), simulate (feat(cli): loop simulate — strictly read-only dry-run dispatch prediction over the EventStore #75), approve/pause/resume/cancel (feat(cli): approve/pause/resume/cancel run-control verbs over the EventStore #74), subprocess-isolated verifier (feat(runner): subprocess-isolated verifier + typed fail-loud run stubs (#55 phase 1) #72), architect deferral (feat(cli): loop architect — typed fail-loud deferral, the final #55 verb #76), doctor event-store gate (feat(doctor): event-store consistency gate — compose status/replay when .loop/events.db exists #77)
• Phase 0 correctness: all-required Succeeded, immutable terminals, completion_policy (Phase 0: harden completion semantics and terminal integrity #48)
• Adversarial hardening: property-based + process/security kernel suites (test(kernel): adversarial kernel test suite — property-based FSM, G1, supersession, replay (#57 part 1) #65/test(kernel): adversarial process/security tests — crash injection, verifier tampering, workspace-escape TOCTOU (#57) #66), verify_evidence TOCTOU closed (fix(kernel): close verify_evidence TOCTOU via fd-pinned open-then-verify (#67) #69, issue verify_evidence() TOCTOU: re-check workspace containment before the hash read (symlink-swap escape) #67)
• Scoreboard/funnel/CI: feat(st5): harness scoreboard — 9 public harnesses, foreign-layout registry, 8 vendored fixtures #41–chore(deps): bump the actions group with 4 updates #47

Changes in this PR

• Version 0.8.0 → 0.9.0: pyproject.toml, .claude-plugin/plugin.json, version-pin test
• README: release badge, action example @v0.9.0, schema list 4 → 10, new event-sourced-runtime feature bullet, Status section
• CHANGELOG: full 0.9.0 entry (house prose style), including the wal/shm sidecar known-limitation from PR feat(doctor): event-store consistency gate — compose status/replay when .loop/events.db exists #77's H4b finding

Verification

• Full suite (live checkout): 935 passed / 14 skipped extras — the pre-existing baseline plus the fixed version-pin test; fresh-worktree baseline claims in the CHANGELOG (933/16, 864/85) independently re-derived
• self_eval 13/13, validate_frontmatter 9/9
• Release notes adversarially fact-checked against git log 6b16576..4e82979 and kernel source: zero defects

After merge (operator)

Tag the squash commit on main (squash rewrites the branch SHA):

git tag v0.9.0 <squash-sha> && git push origin v0.9.0

The tag triggers the PyPI publish once the pending trusted publisher is registered (#58). The v0.7.0/v0.8.0 tags remain owed per #58.

[Copilot]

Pull request overview

Cuts the v0.9.0 release by bumping the canonical version sources and updating user-facing release documentation to reflect the new event-sourced kernel + runtime verbs shipped since v0.8.0.

Changes:

• Bump version from 0.8.0 → 0.9.0 across pyproject.toml and the Claude plugin manifest, and update the version-pin test accordingly.
• Update README release badge, action usage example, schema list, and Status section for v0.9.0.
• Add a full CHANGELOG.md entry for 0.9.0 (including the documented WAL/SHM sidecar known limitation).

Reviewed changes

Copilot reviewed 5 out of 5 changed files in this pull request and generated no comments.

Show a summary per file

File	Description
scripts/test_docs_version.py	Updates version-pin assertions for v0.9.0 and requires a 0.9.0 changelog header.
README.md	Refreshes release badge/version references and expands documented schema/runtime feature list.
pyproject.toml	Bumps package version to 0.9.0.
CHANGELOG.md	Adds the 0.9.0 release entry and notes the known SQLite sidecar limitation.
.claude-plugin/plugin.json	Bumps plugin version to 0.9.0 and reformats JSON for readability.

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.