Release v0.9.0-alpha.1

[flyingrobots]

Thesis

v0.9.0-alpha.1 proves Edict's first target-owned IR boundary: the supported effectful Core shape from v0.8.0-alpha.1 can lower into explicit, reviewable target IR artifacts for echo.dpo@1 and gitwarp.ref_crdt@1, using lowerability-aligned target facts while unsupported target profiles, domains, Core shapes, ABI versions, capabilities, and target obligations fail with stable target-lowering failure kinds before artifact emission.

Scope

• Prepare the release/v0.9.0-alpha.1-prep branch from current main.
• Bump edict-syntax version metadata to 0.9.0-alpha.1 while keeping crates.io publication disabled.
• Move the Target IR changelog entry into the dated v0.9.0-alpha.1 section.
• Add docs/releases/v0.9.0-alpha.1.md.
• Update ROADMAP.md, README signposts, and release-process artifacts for the first Target IR alpha.
• Add structured release policy and xtask coverage for the v0.9.0-alpha.1 scope and non-goals.
• Audit docs/topics/ coverage and accuracy before opening the release-prep PR.
• Verify with release-policy tests and cargo xtask verify.

Non-Goals

• No runtime execution.
• No Echo verifier.
• No git-warp commit object creation.
• No git-warp CRDT reducer verification.
• No general target plugin dispatch.
• No canonical target IR bytes or digests.
• No bundle or admission generation.
• No v2 adapter composition.
• No public CLI.
• No crates.io publication.

Release Evidence To Capture

• Previous-tag diff stat, name-status, and log from v0.8.0-alpha.1..HEAD.
• Topic shelf total, audited count, accurate count, coverage percentage, accuracy percentage, and findings.
• RED/GREEN release-policy test command.
• Local release and full verification commands.
• PR URL and merge commit.
• Main CI run.
• Auto-release-tag run.
• GitHub prerelease URL.
• Tag object and peeled commit.
• Milestone closure with zero open issues.
• No-crates publication evidence.

[coderabbitai]

🔗 Related PRs

#18 - release: prepare v0.1.0-alpha.1 [merged]
#29 - release: prepare v0.2.0-alpha.1 [merged]
#37 - Add v1 lowerability and target-profile conformance checks [merged]
#65 - Mark v0.8 alpha as published [merged]
#67 - Add Echo Target IR lowering [closed]

---

📝 Issue Planner

_{Check the box below or use the @coderabbitai plan command to generate an implementation plan and prompts that you can use with your favorite coding assistant.}

• Create Plan

---

🧪 Issue enrichment is currently in open beta.

You can configure auto-planning by selecting labels in the issue_enrichment configuration.

To disable automatic issue enrichment, add the following to your .coderabbit.yaml:

issue_enrichment:
  auto_enrich:
    enabled: false

💬 Have feedback or questions? Drop into our discord!

[flyingrobots]

Release Prep Evidence

Release branch: release/v0.9.0-alpha.1-prep
Release-prep commit: bf960f4e177bd8f36f6a5e1434f935495a7f914b

Thesis

v0.9.0-alpha.1 proves Edict's first target-owned IR boundary: the supported effectful Core shape from v0.8.0-alpha.1 can lower into explicit, reviewable target IR artifacts for echo.dpo@1 and gitwarp.ref_crdt@1, using lowerability-aligned target facts while unsupported target profiles, domains, Core shapes, ABI versions, capabilities, and target obligations fail with stable target-lowering failure kinds before artifact emission.

Previous-Tag Diff Reconciliation

Previous tag: v0.8.0-alpha.1

Diff stat: 22 files changed, 1953 insertions(+), 50 deletions(-).

Name-status summary:

M CHANGELOG.md
M Cargo.lock
M README.md
M ROADMAP.md
M crates/edict-syntax/Cargo.toml
M crates/edict-syntax/src/lib.rs
M crates/edict-syntax/src/lowerability.rs
A crates/edict-syntax/src/target_ir.rs
M crates/edict-syntax/tests/lowerability.rs
A crates/edict-syntax/tests/target_ir.rs
M docs/README.md
M docs/releases/v0.8.0-alpha.1.md
A docs/releases/v0.9.0-alpha.1.md
M docs/topics/README.md
M docs/topics/lowerability/README.md
M docs/topics/lowerability/test-plan.md
M docs/topics/release-process/README.md
M docs/topics/release-process/policy.toml
M docs/topics/release-process/test-plan.md
A docs/topics/target-ir/README.md
A docs/topics/target-ir/test-plan.md
M xtask/src/main.rs

Reconciliation:

• Target IR implementation and tests account for the new target_ir module, public exports, Echo and git-warp review artifacts, lowerability bridge, and stable target-lowering failure coverage.
• Lowerability changes account for native selected-effect data needed by Target IR facts.
• Topic shelf changes account for the new Target IR contract and lowerability bridge signposts.
• Release-process changes account for v0.9.0-alpha.1 release notes, structured policy, changelog date guard, and release-prep status.
• README and ROADMAP changes account for the new publish-ready Target IR release boundary without claiming runtime execution, canonical Target IR bytes, bundles, admission, CLI, or crates.io publication.

Topic Shelf Audit

• Total shelves: 20
• Audited shelves: 20
• Accurate audited shelves: 20
• Coverage: 100%
• Accuracy: 100%
• Findings fixed before PR: no stale current-truth claims found. Remaining "no Target IR" statements are scoped to older release non-goals or to non-lowering topics such as lowerability/admission.

RED/GREEN Evidence

RED:

cargo test -p xtask release_policy_tracks_v0_9_boundary

Observed failure: missing [release_notes.v0_9_0_alpha_1] structured release-policy section.

GREEN:

cargo test -p xtask release_policy_tracks_v0_9_boundary
cargo test -p xtask release_
markdownlint-cli2 README.md ROADMAP.md CHANGELOG.md docs/**/*.md
cargo xtask contract-check
cargo xtask verify

All commands passed locally.

No-Crates Boundary

crates/edict-syntax is versioned as 0.9.0-alpha.1 and remains publish = false. The release workflow publishes a GitHub prerelease only.

[flyingrobots]

Publication Evidence

v0.9.0-alpha.1 has been published as a GitHub prerelease.

• Release URL: https://github.com/flyingrobots/edict/releases/tag/v0.9.0-alpha.1
• Published at: 2026-06-28T07:04:06Z
• Main merge commit: 81bacc5a240bd3ea50af934a3611ce6b3f505043
• Tag object: c6a4ea6b10d438cd407cd7f273fecf1fd012b2d3
• Peeled commit: 81bacc5a240bd3ea50af934a3611ce6b3f505043
• Main CI run: 28314566818
• Auto Release Tag run: 28314582826
• Release workflow run: 28314590143
• Milestone Phase 2: source/surface validation stage split #10 state: closed
• Milestone open issues at closure: 0
• Release assets: 0
• Crates.io publication: none; edict-syntax remains publish = false

Next hygiene step: update main's release-process docs/policy from publish_ready to published and record this evidence durably.