\\n>

⌛ How to resolve this issue?

\\n> \\n> After more reviews become available, a review can be triggered using the `@coderabbitai review` command as a PR comment. Alternatively, push new commits to this PR.\\n> \\n> To avoid repeated limits, reduce automatic review volume by pausing incremental auto-reviews earlier, using label-based review opt-in, excluding WIP or generated PR titles, or requesting reviews manually when the PR is ready. If your team needs uninterrupted high-volume reviews, an organization admin can enable usage-based credits.\\n> \\n>

\\n> \\n> \\n>

\\n>

🚦 How do rate limits work?

\\n> \\n> CodeRabbit enforces per-developer PR review limits for each organization. Most developers receive the normal plan refill rate.\\n> \\n> For paid Pro and Pro+ PR reviews, CodeRabbit uses adaptive limits for sustained high-volume activity. When a developer's recent PR review activity reaches the 95th percentile or higher among CodeRabbit users, the refill rate gradually slows as usage increases. The highest same-day bursts are limited more strictly.\\n> \\n> Please see our [Fair Usage Limits Policy](https://docs.coderabbit.ai/management/plans#fair-usage-limits-policy) for further information.\\n> \\n>

\\n> \\n>

\\n>

ℹ️ Review info

\\n> \\n>

\\n>

⚙️ Run configuration

\\n> \\n> **Configuration used**: Organization UI\\n> \\n> **Review profile**: ASSERTIVE\\n> \\n> **Plan**: Pro\\n> \\n> **Run ID**: `9e831a9d-3208-42c6-b482-5d5594960647`\\n> \\n>

\\n> \\n>

\\n>

📥 Commits

\\n> \\n> Reviewing files that changed from the base of the PR and between 5f79f49995f037654bf12e589caf0dc85862d691 and f9deda3bbcd5fa7c251c4311f4e69274012f4e4f.\\n> \\n>

\\n> \\n>

\\n>

📒 Files selected for processing (4)

\\n> \\n> * `CHANGELOG.md`\\n> * `docs/releases/v0.2.0-alpha.1.md`\\n> * `docs/topics/release-process/test-plan.md`\\n> * `xtask/src/main.rs`\\n> \\n>

\\n> \\n>

\\n\\n\\n\\n\\n\\n## Walkthrough\\n\\nPrepares the `v0.2.0-alpha.1` prerelease by adding the complete release notes document, bumping the `edict-syntax` crate version, adding a dated changelog entry, updating the docs README and ROADMAP issue tracking, restructuring the release-process README, and adding an xtask boundary test with corresponding test-plan coverage.\\n\\n## Changes\\n\\n**v0.2.0-alpha.1 Release Preparation**\\n\\n| Layer / File(s) | Summary |\\n|---|---|\\n| **Release notes, version bump, and changelog**
`crates/edict-syntax/Cargo.toml`, `CHANGELOG.md`, `docs/releases/v0.2.0-alpha.1.md` | Bumps `edict-syntax` from `0.1.0-alpha.1` to `0.2.0-alpha.1`, adds the dated changelog header, and introduces the full 72-line release notes document covering release type, version policy, included scope, explicit non-goals, required verification steps, and tagging plan. |\\n| **Docs index and roadmap updates**
`docs/README.md`, `ROADMAP.md` | Adds a `v0.2.0-alpha.1` release-notes link to the docs README alongside the `v0.1` entry, and adds issue `#28` to the `v0.2.0-alpha.1` milestone row in ROADMAP's GitHub Artifact Map. |\\n| **Release-process README restructure**
`docs/topics/release-process/README.md` | Replaces the single \\\"Current Release\\\" subsection with a \\\"Release Notes\\\" section documenting the `docs/releases/${TAG}.md` loading convention and enumerating both current release-note files. |\\n| **Automated boundary test and test-plan coverage**
`xtask/src/main.rs`, `docs/topics/release-process/test-plan.md` | Adds `v0_2_release_notes_state_core_boundary` xtask unit test that reads `docs/releases/v0.2.0-alpha.1.md` and asserts required boundary substrings. Extends the test plan with a new fixture entry, `RELEASE-TP-003` test case tied to `RELEASE-REQ-007`, and a determinism-obligation clarification. |\\n\\n## Estimated code review effort\\n\\n🎯 1 (Trivial) | ⏱️ ~5 minutes\\n\\n## Possibly related PRs\\n\\n- [flyingrobots/edict#26](https://github.com/flyingrobots/edict/pull/26): Directly connected — both PRs modify `xtask/src/main.rs` to expand release-process test coverage, with the retrieved PR strengthening release workflow and policy tests that this PR's new boundary test extends.\\n\\n## Poem\\n\\n> 🏷️ The version bumps up, the notes are inscribed,\\n> Non-goals enumerated, each scope clearly described.\\n> A boundary test watches, `contains()` stands guard—\\n> No lowering, no digests, no bytes from the yard.\\n> `v0.2.0-alpha.1` steps into the light,\\n> Changelog dated, roadmap aligned, all feels right. ✨\\n\\n\\n\\n\\n

\\n

🚥 Pre-merge checks | ✅ 5

\\n\\n

\\n

✅ Passed checks (5 passed)

\\n\\n_{✏️ Tip: You can configure your own custom pre-merge checks in the settings.}\\n\\n

\\n\\n\\n\\n\\n---\\n\\nThanks for using [CodeRabbit](https://coderabbit.ai?utm_source=oss&utm_medium=github&utm_campaign=flyingrobots/edict&utm_content=29)! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.\\n\\n

\\n

❤️ Share

\\n\\n- [X](https://twitter.com/intent/tweet?text=I%20just%20used%20%40coderabbitai%20for%20my%20code%20review%2C%20and%20it%27s%20fantastic%21%20It%27s%20free%20for%20OSS%20and%20offers%20a%20free%20trial%20for%20the%20proprietary%20code.%20Check%20it%20out%3A&url=https%3A//coderabbit.ai)\\n- [Mastodon](https://mastodon.social/share?text=I%20just%20used%20%40coderabbitai%20for%20my%20code%20review%2C%20and%20it%27s%20fantastic%21%20It%27s%20free%20for%20OSS%20and%20offers%20a%20free%20trial%20for%20the%20proprietary%20code.%20Check%20it%20out%3A%20https%3A%2F%2Fcoderabbit.ai)\\n- [Reddit](https://www.reddit.com/submit?title=Great%20tool%20for%20code%20review%20-%20CodeRabbit&text=I%20just%20used%20CodeRabbit%20for%20my%20code%20review%2C%20and%20it%27s%20fantastic%21%20It%27s%20free%20for%20OSS%20and%20offers%20a%20free%20trial%20for%20proprietary%20code.%20Check%20it%20out%3A%20https%3A//coderabbit.ai)\\n- [LinkedIn](https://www.linkedin.com/sharing/share-offsite/?url=https%3A%2F%2Fcoderabbit.ai&mini=true&title=Great%20tool%20for%20code%20review%20-%20CodeRabbit&summary=I%20just%20used%20CodeRabbit%20for%20my%20code%20review%2C%20and%20it%27s%20fantastic%21%20It%27s%20free%20for%20OSS%20and%20offers%20a%20free%20trial%20for%20proprietary%20code)\\n\\n

\\n\\n\\n_{Comment `@coderabbitai help` to get the list of available commands and usage tips.}\\n\\n\",\"path\":null,\"side\":null,\"line\":null}{\"type\":\"pull_request_comment\",\"body\":\"_🧹 Nitpick_ | _🔵 Trivial_ | _💤 Low value_\\n\\n**Consider rewording the \\\"Explicit Non-Goals\\\" list to reduce consecutive sentence-initial repetition.**\\n\\nLines 39–49 list 10 exclusions, each beginning with \\\"No.\\\" This repetitive opening is flagged by LanguageTool (ENGLISH_WORD_REPEAT_BEGINNING_RULE) and may reduce readability. While the current form is clear and deliberate, consider restructuring as a prose introduction followed by a shorter bullet list, or grouping exclusions thematically.\\n\\nExample restructure:\\n```\\nThe v0.2.0-alpha.1 release explicitly does not include:\\nsource-to-Core lowering, a compiler CLI, import resolution, a canonical Core encoder, \\ngolden Core bytes, exact Core digests, a full CDDL instance-validation harness, \\ntarget profile conformance fixtures, target lowerers, or bundle/admission tooling.\\n```\\n\\n

\\n

🧰 Tools

\\n\\n

\\n

🪛 LanguageTool

\\n\\n[style] ~41-~41: Three successive sentences begin with the same word. Consider rewording the sentence or use a thesaurus to find a synonym.\\nContext: ...ublish. - No source-to-Core lowering. - No compiler CLI. - No import resolver or r...\\n\\n(ENGLISH_WORD_REPEAT_BEGINNING_RULE)\\n\\n---\\n\\n[style] ~42-~42: Three successive sentences begin with the same word. Consider rewording the sentence or use a thesaurus to find a synonym.\\nContext: ...-to-Core lowering. - No compiler CLI. - No import resolver or resolved type checke...\\n\\n(ENGLISH_WORD_REPEAT_BEGINNING_RULE)\\n\\n---\\n\\n[style] ~43-~43: Three successive sentences begin with the same word. Consider rewording the sentence or use a thesaurus to find a synonym.\\nContext: ...rt resolver or resolved type checker. - No canonical Core encoder. - No golden Cor...\\n\\n(ENGLISH_WORD_REPEAT_BEGINNING_RULE)\\n\\n---\\n\\n[style] ~44-~44: Three successive sentences begin with the same word. Consider rewording the sentence or use a thesaurus to find a synonym.\\nContext: ...checker. - No canonical Core encoder. - No golden Core bytes. - No exact Core dige...\\n\\n(ENGLISH_WORD_REPEAT_BEGINNING_RULE)\\n\\n---\\n\\n[style] ~45-~45: Three successive sentences begin with the same word. Consider rewording the sentence or use a thesaurus to find a synonym.\\nContext: ...Core encoder. - No golden Core bytes. - No exact Core digests. - No full CDDL inst...\\n\\n(ENGLISH_WORD_REPEAT_BEGINNING_RULE)\\n\\n---\\n\\n[style] ~46-~46: Three successive sentences begin with the same word. Consider rewording the sentence or use a thesaurus to find a synonym.\\nContext: ... Core bytes. - No exact Core digests. - No full CDDL instance-validation harness. ...\\n\\n(ENGLISH_WORD_REPEAT_BEGINNING_RULE)\\n\\n---\\n\\n[style] ~47-~47: Three successive sentences begin with the same word. Consider rewording the sentence or use a thesaurus to find a synonym.\\nContext: ...ull CDDL instance-validation harness. - No target profile conformance fixtures. - ...\\n\\n(ENGLISH_WORD_REPEAT_BEGINNING_RULE)\\n\\n---\\n\\n[style] ~48-~48: Three successive sentences begin with the same word. Consider rewording the sentence or use a thesaurus to find a synonym.\\nContext: ... target profile conformance fixtures. - No target lowerers. - No bundle/admission ...\\n\\n(ENGLISH_WORD_REPEAT_BEGINNING_RULE)\\n\\n---\\n\\n[style] ~49-~49: Three successive sentences begin with the same word. Consider rewording the sentence or use a thesaurus to find a synonym.\\nContext: ...mance fixtures. - No target lowerers. - No bundle/admission tooling. ## Required ...\\n\\n(ENGLISH_WORD_REPEAT_BEGINNING_RULE)\\n\\n

\\n\\n

\\n

🤖 Prompt for AI Agents

\\n\\n```\\nVerify each finding against current code. Fix only still-valid issues, skip the\\nrest with a brief reason, keep changes minimal, and validate.\\n\\nIn `@docs/releases/v0.2.0-alpha.1.md` around lines 37 - 49, The Explicit Non-Goals\\nsection contains a repetitive list where each of the 10 bullet points begins\\nwith \\\"No,\\\" which triggers language style warnings and reduces readability.\\nRestructure this section by adding a prose introduction that establishes the\\ncontext (such as \\\"The v0.2.0-alpha.1 release explicitly does not include\\\"), then\\nlist the excluded items without the repeated \\\"No\\\" prefix, either as a shorter\\nbullet list or as a comma-separated prose list that flows naturally from the\\nintroduction.\\n```\\n\\n

\\n\\n\\n\\n\\n\\n\\n\\n✅ Addressed in commit 591b834\",\"path\":\"docs/releases/v0.2.0-alpha.1.md\",\"side\":\"RIGHT\",\"line\":null}{\"type\":\"pull_request_comment\",\"body\":\"**Actionable comments posted: 1**\\n\\n

\\n

🤖 Prompt for all review comments with AI agents

\\n\\n```\\nVerify each finding against current code. Fix only still-valid issues, skip the\\nrest with a brief reason, keep changes minimal, and validate.\\n\\nInline comments:\\nIn `@docs/releases/v0.2.0-alpha.1.md`:\\n- Around line 37-49: The Explicit Non-Goals section contains a repetitive list\\nwhere each of the 10 bullet points begins with \\\"No,\\\" which triggers language\\nstyle warnings and reduces readability. Restructure this section by adding a\\nprose introduction that establishes the context (such as \\\"The v0.2.0-alpha.1\\nrelease explicitly does not include\\\"), then list the excluded items without the\\nrepeated \\\"No\\\" prefix, either as a shorter bullet list or as a comma-separated\\nprose list that flows naturally from the introduction.\\n```\\n\\n

\\n\\n

\\n

🪄 Autofix (Beta)

\\n\\nFix all unresolved CodeRabbit comments on this PR:\\n\\n- [ ] Push a commit to this branch (recommended)\\n- [ ] Create a new PR with the fixes\\n\\n

\\n\\n---\\n\\n

\\n

ℹ️ Review info

\\n\\n

\\n

⚙️ Run configuration

\\n\\n**Configuration used**: Organization UI\\n\\n**Review profile**: ASSERTIVE\\n\\n**Plan**: Pro\\n\\n**Run ID**: `8f4563f9-edbe-4a78-88ca-ab0c3249cd33`\\n\\n

\\n\\n

\\n

📥 Commits

\\n\\nReviewing files that changed from the base of the PR and between 5c2e6aad958b2917d5ec3f4425bd8117e4c34402 and 5f79f49995f037654bf12e589caf0dc85862d691.\\n\\n

\\n\\n

\\n

⛔ Files ignored due to path filters (1)

\\n\\n* `Cargo.lock` is excluded by `!**/*.lock`\\n\\n

\\n\\n

\\n

📒 Files selected for processing (8)

\\n\\n* `CHANGELOG.md`\\n* `ROADMAP.md`\\n* `crates/edict-syntax/Cargo.toml`\\n* `docs/README.md`\\n* `docs/releases/v0.2.0-alpha.1.md`\\n* `docs/topics/release-process/README.md`\\n* `docs/topics/release-process/test-plan.md`\\n* `xtask/src/main.rs`\\n\\n

\\n\\n

\\n

📜 Review details

\\n\\n

\\n

🧰 Additional context used

\\n\\n

\\n

📓 Path-based instructions (4)

\\n\\n

\\n

\\n\\n\\n**⚙️ CodeRabbit configuration file**\\n\\n> `**`: # AGENTS\\n> \\n> ## Git Rules\\n> \\n> NEVER amend git commits. Make a new commit instead.\\n> \\n> NEVER use `git rebase` unless the user explicitly approves a rare exception.\\n> Use regular merge commits.\\n> \\n> NEVER force any git operation. If a force operation appears necessary, stop and\\n> explain what happened and what options remain.\\n> \\n> NEVER create draft pull requests.\\n> \\n> NEVER use a `codex` prefix in branch names, PR titles, or commit messages.\\n> \\n> ## Think\\n> \\n> Think is durable memory for cross-session coordination.\\n> \\n> - Use `codex-think --remember --json` when starting a new session, changing into\\n> this repository, or regaining context after a context shift.\\n> - Use `codex-think \\\"...\\\" --json` when a cycle closes or a significant event\\n> should survive across turns.\\n> - Treat Think as memory, not repo truth. Anchor strong claims back to files,\\n> commits, commands, issues, or pull requests.\\n> - Claude memories are read-only. Use `claude-think --remember --json` only for\\n> additional context.\\n> \\n> ## Topic Shelves\\n> \\n> `docs/topics/` contains the living contract graph for landed behavior. Topic\\n> shelves are not proposals, retrospectives, or design archaeology.\\n> \\n> Each shelf may contain:\\n> \\n> - `README.md`: what is true in HEAD.\\n> - `test-plan.md`: how those truths are verified, including requirements, cases,\\n> fixtures, oracles, implemented evidence, planned cases, and known gaps.\\n> - `architecture.md`: optional structure or dataflow notes when the machinery\\n> earns a separate page.\\n> - `rationale.md`: optional still-relevant tradeoffs and rejected approaches.\\n> \\n> ### When To Update Topic Shelves\\n> \\n> For every nontrivial behavior, contract, workflow, release, schema, validation,\\n> or public-surface change:\\n> \\n> 1. Identify the owning topic shelf before editing code.\\n> 2. If no shelf owns durable behavior, create one.\\n> 3. Update `test-plan.md` before or alongside tests with requirement IDs, case\\n> IDs, fixtures, and oracles.\\n> 4. Write executable evidence: deterministic tests, fixtures, doctests, or\\n> contract checks as appropriate.\\n> 5. Upd...\\n\\nFiles:\\n- `crates/edict-syntax/Cargo.toml`\\n- `ROADMAP.md`\\n- `docs/README.md`\\n- `docs/releases/v0.2.0-alpha.1.md`\\n- `xtask/src/main.rs`\\n- `docs/topics/release-process/test-plan.md`\\n- `CHANGELOG.md`\\n- `docs/topics/release-process/README.md`\\n\\n

\\n

docs/topics/**

\\n\\n\\n**📄 CodeRabbit inference engine (AGENTS.md)**\\n\\n> `docs/topics/**`: Topic shelves must be located in `docs/topics/` and contain the living contract graph for landed behavior.\\n> Each topic shelf may contain `README.md`, `test-plan.md`, and optionally `architecture.md` or `rationale.md`.\\n\\nFiles:\\n- `docs/topics/release-process/test-plan.md`\\n- `docs/topics/release-process/README.md`\\n\\n

\\n

docs/topics/*/test-plan.md

\\n\\n\\n**📄 CodeRabbit inference engine (AGENTS.md)**\\n\\n> `docs/topics/*/test-plan.md`: `test-plan.md` may include planned cases and known gaps.\\n> Update `test-plan.md` before or alongside tests with requirement IDs, case IDs, fixtures, and oracles.\\n> Mark planned cases as implemented only when executable evidence exists.\\n\\nFiles:\\n- `docs/topics/release-process/test-plan.md`\\n\\n

\\n

docs/topics/*/README.md

\\n\\n\\n**📄 CodeRabbit inference engine (AGENTS.md)**\\n\\n> `docs/topics/*/README.md`: Topic `README.md` files must not describe intended behavior before it lands.\\n> Update the topic `README.md` only after behavior exists in the branch.\\n\\nFiles:\\n- `docs/topics/release-process/README.md`\\n\\n

\\n\\n

\\n

🪛 LanguageTool

\\n\\n

\\n

docs/releases/v0.2.0-alpha.1.md

\\n\\n

\\n\\n\",\"path\":null,\"side\":null,\"line\":null}{\"type\":\"pull_request_comment\",\"body\":\"**_{_{![P2 Badge](https://img.shields.io/badge/P2-yellow?style=flat)}} Use the planned v0.2 release date in the changelog**\\n\\nFor this release-prep commit, both the new release notes (`docs/releases/v0.2.0-alpha.1.md:3`) and roadmap (`ROADMAP.md:63`) say `v0.2.0-alpha.1` targets 2026-07-01, while the existing `v0.1.0-alpha.1` changelog entry is dated 2026-06-24. Dating this new v0.2 section 2026-06-21 makes the shipped release history show v0.2 happening before v0.1 and leaves the changelog inconsistent with the release notes when the tag is cut from this commit.\\n\\nUseful? React with 👍 / 👎.\",\"path\":\"CHANGELOG.md\",\"side\":\"RIGHT\",\"line\":null}{\"type\":\"pull_request_comment\",\"body\":\"\\n### 💡 Codex Review\\n\\nHere are some automated review suggestions for this pull request.\\n\\n**Reviewed commit:** `5f79f49995`\\n \\n\\n

ℹ️ About Codex in GitHub

\\n
\\n\\n[Your team has set up Codex to review pull requests in this repo](https://chatgpt.com/codex/cloud/settings/general). Reviews are triggered when you\\n- Open a pull request for review\\n- Mark a draft as ready\\n- Comment \\\"@codex review\\\".\\n\\nIf Codex has suggestions, it will comment; otherwise it will react with 👍.\\n\\n\\n\\n\\nCodex can also answer questions or update the PR. Try commenting \\\"@codex address that feedback\\\".\\n \\n

\",\"path\":null,\"side\":null,\"line\":null}","text_elements",[],{"_406":633,"_387":388,"_408":394},{"_409":634,"_411":-5,"_42":-5,"_412":-5,"_413":-5,"_96":330,"_92":415},[635],{"_46":629,"_92":636},"input_text",{"_406":638,"_387":388,"_408":394},{"_409":639,"_411":-5,"_42":-5,"_412":-5,"_413":-5,"_96":330,"_92":415},[640,641],{"_46":643,"_92":636},{"_46":642,"_92":636},"\n /workspace/edict\n bash\n 2026-06-21\n Etc/UTC\n","# AGENTS.md instructions for /workspace/edict\n\n\n# AGENTS\n\n## Git Rules\n\nNEVER amend git commits. Make a new commit instead.\n\nNEVER use `git rebase` unless the user explicitly approves a rare exception.\nUse regular merge commits.\n\nNEVER force any git operation. If a force operation appears necessary, stop and\nexplain what happened and what options remain.\n\nNEVER create draft pull requests.\n\nNEVER use a `codex` prefix in branch names, PR titles, or commit messages.\n\n## Think\n\nThink is durable memory for cross-session coordination.\n\n- Use `codex-think --remember --json` when starting a new session, changing into\n this repository, or regaining context after a context shift.\n- Use `codex-think \"...\" --json` when a cycle closes or a significant event\n should survive across turns.\n- Treat Think as memory, not repo truth. Anchor strong claims back to files,\n commits, commands, issues, or pull requests.\n- Claude memories are read-only. Use `claude-think --remember --json` only for\n additional context.\n\n## Topic Shelves\n\n`docs/topics/` contains the living contract graph for landed behavior. Topic\nshelves are not proposals, retrospectives, or design archaeology.\n\nEach shelf may contain:\n\n- `README.md`: what is true in HEAD.\n- `test-plan.md`: how those truths are verified, including requirements, cases,\n fixtures, oracles, implemented evidence, planned cases, and known gaps.\n- `architecture.md`: optional structure or dataflow notes when the machinery\n earns a separate page.\n- `rationale.md`: optional still-relevant tradeoffs and rejected approaches.\n\n### When To Update Topic Shelves\n\nFor every nontrivial behavior, contract, workflow, release, schema, validation,\nor public-surface change:\n\n1. Identify the owning topic shelf before editing code.\n2. If no shelf owns durable behavior, create one.\n3. Update `test-plan.md` before or alongside tests with requirement IDs, case\n IDs, fixtures, and oracles.\n4. Write executable evidence: deterministic tests, fixtures, doctests, or\n contract checks as appropriate.\n5. Update the topic `README.md` only after behavior exists in the branch. The\n README describes current branch truth, not intended future behavior.\n6. Mark planned cases as implemented only when executable evidence exists.\n7. Run `cargo xtask verify` before claiming the shelf is current.\n\n### When Not To Update Topic Shelves\n\nDo not churn topic shelves for purely mechanical edits that do not change a\ncontract, such as formatting, typo fixes, dependency pin updates with no\nobservable behavior change, or internal refactors whose existing tests and topic\nclaims remain accurate.\n\nWhen a change intentionally does not update a topic shelf, state why in the pull\nrequest body or final report.\n\n### Topic Shelf Discipline\n\n- Topic `README.md` files must not describe intended behavior before it lands.\n- `test-plan.md` may include planned cases and known gaps.\n- Tests assert code behavior and stable contract artifacts, not prose.\n- Negative tests should assert stable error kinds or structured artifacts, not\n merely `is_err()` or diagnostic text.\n- Release, CI, and publication workflows count as behavior when they define a\n project contract.\n- Avoid ceremonial documentation. Update shelves because the contract changed,\n not because a path changed.\n\n## Local Verification\n\nUse the local gate before claiming a branch is ready:\n\n```text\ncargo xtask verify\n```\n\n",{"_406":645,"_387":388,"_408":394},{"_409":646,"_411":-5,"_42":-5,"_412":-5,"_413":-5,"_96":647,"_92":415},[648,649],"developer",{"_46":651,"_92":636},{"_46":650,"_92":636},"\n## Skills\nA skill is a set of local instructions to follow that is stored in a `SKILL.md` file. Below is the list of skills that can be used. Each entry includes a name, description, and file path so you can open the source for full instructions when using a specific skill.\n### Available skills\n- imagegen: Generate or edit raster images when the task benefits from AI-created bitmap visuals such as photos, illustrations, textures, sprites, mockups, or transparent-background cutouts. Use when Codex should create a brand-new image, transform an existing image, or derive visual variants from references, and the output should be a bitmap asset rather than repo-native code or vector. Do not use when the task is better handled by editing existing SVG/vector/code-native assets, extending an established icon or logo system, or building the visual directly in HTML/CSS/canvas. (file: /opt/codex/skills/.system/imagegen/SKILL.md)\n- openai-docs: Use when the user asks how to build with OpenAI products or APIs and needs up-to-date official documentation with citations, help choosing the latest model for a use case, or model upgrade and prompt-upgrade guidance; prioritize OpenAI docs MCP tools, use bundled references only as helper context, and restrict any fallback browsing to official OpenAI domains. (file: /opt/codex/skills/.system/openai-docs/SKILL.md)\n- plugin-creator: Create and scaffold plugin directories for Codex with a required `.codex-plugin/plugin.json`, optional plugin folders/files, and baseline placeholders you can edit before publishing or testing. Use when Codex needs to create a new local plugin, add optional plugin structure, or generate or update repo-root `.agents/plugins/marketplace.json` entries for plugin ordering and availability metadata. (file: /opt/codex/skills/.system/plugin-creator/SKILL.md)\n- skill-creator: Guide for creating effective skills. This skill should be used when users want to create a new skill (or update an existing skill) that extends Codex's capabilities with specialized knowledge, workflows, or tool integrations. (file: /opt/codex/skills/.system/skill-creator/SKILL.md)\n- skill-installer: Install Codex skills into $CODEX_HOME/skills from a curated list or a GitHub repo path. Use when a user asks to list installable skills, install a curated skill, or install a skill from another repo (including private repos). (file: /opt/codex/skills/.system/skill-installer/SKILL.md)\n### How to use skills\n- Discovery: The list above is the skills available in this session (name + description + file path). Skill bodies live on disk at the listed paths.\n- Trigger rules: If the user names a skill (with `$SkillName` or plain text) OR the task clearly matches a skill's description shown above, you must use that skill for that turn. Multiple mentions mean use them all. Do not carry skills across turns unless re-mentioned.\n- Missing/blocked: If a named skill isn't in the list or the path can't be read, say so briefly and continue with the best fallback.\n- How to use a skill (progressive disclosure):\n 1) After deciding to use a skill, open its `SKILL.md`. Read only enough to follow the workflow.\n 2) When `SKILL.md` references relative paths (e.g., `scripts/foo.py`), resolve them relative to the skill directory listed above first, and only consider other paths if needed.\n 3) If `SKILL.md` points to extra folders such as `references/`, load only the specific files needed for the request; don't bulk-load everything.\n 4) If `scripts/` exist, prefer running or patching them instead of retyping large code blocks.\n 5) If `assets/` or templates exist, reuse them instead of recreating from scratch.\n- Coordination and sequencing:\n - If multiple skills apply, choose the minimal set that covers the request and state the order you'll use them.\n - Announce which skill(s) you're using and why (one short line). If you skip an obvious skill, say why.\n- Context hygiene:\n - Keep context small: summarize long sections instead of pasting them; only load extra files when needed.\n - Avoid deep reference-chasing: prefer opening only files directly linked from `SKILL.md` unless you're blocked.\n - When variants exist (frameworks, providers, domains), pick only the relevant reference file(s) and note that choice.\n- Safety and fallback: If a skill can't be applied cleanly (missing files, unclear instructions), state the issue, pick the next-best approach, and continue.\n","\nFilesystem sandboxing defines which files can be read or written. `sandbox_mode` is `danger-full-access`: No filesystem sandboxing - all commands are permitted. Network access is enabled.\nApproval policy is currently never. Do not provide the `sandbox_permissions` for any reason, commands will be rejected.\n","turn/started",{"_387":388,"_87":654},{"_103":-5,"_42":394,"_395":655,"_397":398,"_399":656},[],"inProgress",{"_399":658,"_387":388},{"_659":660,"_92":661},"activeFlags",[],"active","thread/started",{"_664":665},"thread",{"_666":-5,"_667":-5,"_668":669,"_670":398,"_454":455,"_671":15,"_672":-5,"_673":-5,"_674":-5,"_675":676,"_42":388,"_677":678,"_186":-5,"_679":-5,"_163":680,"_681":204,"_682":-5,"_459":683,"_399":684,"_685":-5,"_77":686,"_687":398},"agentNickname","agentRole","cliVersion","0.128.0","createdAt","ephemeral","extra","forkedFromId","gitInfo","historyMode","legacy","modelProvider","openai","parentThreadId","/opt/codex/sessions/2026/06/21/rollout-2026-06-21T19-09-20-019eeb96-5db8-79e2-8769-05ccba709388.jsonl","preview","recencyAt","vscode",{"_92":403},"threadSource",[],"updatedAt",[],"messages",[691],{"_42":692,"_693":694,"_695":696,"_697":696,"_409":698,"_399":699,"_411":-5,"_700":32,"_701":702,"_703":704,"_705":-5},"bd945b24-b680-4bd5-b206-94ca55770929","author",{"_96":330,"_186":-5,"_701":714},"create_time",1782068959.866846,"update_time",{"_710":46,"_711":712},"finished_successfully","weight","metadata",{"_706":707},"recipient","all","channel","l1239dk1",{"_708":709},"inline_comments",[],"content_type","parts",[713],"## Code Lawyer Activity Summary\n\n@codex confirmation requested on the final release-prep consistency fix.\n\n| # | Source | Severity | File | Commit | Outcome |\n| --- | --- | --- | --- | --- | --- |\n| 1 | PR review thread | P2 | `CHANGELOG.md` | `f9deda3` | Aligned `v0.2.0-alpha.1` changelog date with the release notes target date (`2026-07-01`). Added `RELEASE-REQ-008` / `RELEASE-TP-004` and deterministic xtask coverage. |\n\nVerification on `f9deda3`:\n\n- RED observed: `cargo test -p xtask v0_2_changelog_date_matches_release_notes_target -- --nocapture` failed before the changelog fix.\n- GREEN verified: focused regression passed after the fix.\n- Contract graph verified: `cargo test -p xtask contract_graph_is_valid -- --nocapture` passed.\n- Full local gate passed: `cargo xtask verify`.\n- Markdown/style passed: `npx markdownlint-cli2 CHANGELOG.md docs/topics/release-process/test-plan.md docs/releases/v0.2.0-alpha.1.md`.\n- Whitespace passed: `git diff --check`.\n- Review thread `PRRT_kwDOS96-Us6LHIlL` resolved.\n\nNo additional self-discovered issues remain in the PR diff.\nrelease: prepare v0.2.0-alpha.1\n\n## Summary\n\n- Bumps `edict-syntax` to `0.2.0-alpha.1`.\n- Cuts the changelog for `v0.2.0-alpha.1`.\n- Adds `docs/releases/v0.2.0-alpha.1.md` with the Core schema scope and explicit non-goals.\n- Updates release-process docs/test-plan and adds a deterministic `xtask` release-note boundary regression.\n- Updates the roadmap artifact map for release issue #28.\n\n## Verification\n\n- `cargo xtask verify`\n- `npx markdownlint-cli2 CHANGELOG.md ROADMAP.md docs/README.md docs/releases/v0.2.0-alpha.1.md docs/topics/release-process/README.md docs/topics/release-process/test-plan.md`\n\nCloses #28.\n\n\n\n\n[![Review Change Stack](https://storage.googleapis.com/coderabbit_public_assets/review-stack-in-coderabbit-ui.svg)](https://app.coderabbit.ai/change-stack/flyingrobots/edict/pull/29?utm_source=github_walkthrough&utm_medium=github&utm_campaign=change_stack)\n\n\n\n\n> [!WARNING]\n> ## Review limit reached\n> \n> `@flyingrobots`, we couldn't start this review because you've reached your PR review rate limit.\n> \n> More reviews will be available in 49 minutes and 35 seconds. [Learn how PR review limits work](https://docs.coderabbit.ai/management/plans#fair-usage-limits-policy).\n> \n> Your organization has run out of usage credits. Purchase more credits in the [billing tab](https://app.coderabbit.ai/settings/billing?tab=usage&orgId=4252c417-78a1-49cd-a607-68d1e6bdacc4) to continue.\n> \n>

\n>

⌛ How to resolve this issue?

\n> \n> After more reviews become available, a review can be triggered using the `@coderabbitai review` command as a PR comment. Alternatively, push new commits to this PR.\n> \n> To avoid repeated limits, reduce automatic review volume by pausing incremental auto-reviews earlier, using label-based review opt-in, excluding WIP or generated PR titles, or requesting reviews manually when the PR is ready. If your team needs uninterrupted high-volume reviews, an organization admin can enable usage-based credits.\n> \n>

\n> \n> \n>

\n>

🚦 How do rate limits work?

\n> \n> CodeRabbit enforces per-developer PR review limits for each organization. Most developers receive the normal plan refill rate.\n> \n> For paid Pro and Pro+ PR reviews, CodeRabbit uses adaptive limits for sustained high-volume activity. When a developer's recent PR review activity reaches the 95th percentile or higher among CodeRabbit users, the refill rate gradually slows as usage increases. The highest same-day bursts are limited more strictly.\n> \n> Please see our [Fair Usage Limits Policy](https://docs.coderabbit.ai/management/plans#fair-usage-limits-policy) for further information.\n> \n>

\n> \n>

\n>

ℹ️ Review info

\n> \n>

\n>

⚙️ Run configuration

\n> \n> **Configuration used**: Organization UI\n> \n> **Review profile**: ASSERTIVE\n> \n> **Plan**: Pro\n> \n> **Run ID**: `9e831a9d-3208-42c6-b482-5d5594960647`\n> \n>

\n> \n>

\n>

📥 Commits

\n> \n> Reviewing files that changed from the base of the PR and between 5f79f49995f037654bf12e589caf0dc85862d691 and f9deda3bbcd5fa7c251c4311f4e69274012f4e4f.\n> \n>

\n> \n>

\n>

📒 Files selected for processing (4)

\n> \n> * `CHANGELOG.md`\n> * `docs/releases/v0.2.0-alpha.1.md`\n> * `docs/topics/release-process/test-plan.md`\n> * `xtask/src/main.rs`\n> \n>

\n> \n>

\n\n\n\n\n\n## Walkthrough\n\nPrepares the `v0.2.0-alpha.1` prerelease by adding the complete release notes document, bumping the `edict-syntax` crate version, adding a dated changelog entry, updating the docs README and ROADMAP issue tracking, restructuring the release-process README, and adding an xtask boundary test with corresponding test-plan coverage.\n\n## Changes\n\n**v0.2.0-alpha.1 Release Preparation**\n\n| Layer / File(s) | Summary |\n|---|---|\n| **Release notes, version bump, and changelog**
`crates/edict-syntax/Cargo.toml`, `CHANGELOG.md`, `docs/releases/v0.2.0-alpha.1.md` | Bumps `edict-syntax` from `0.1.0-alpha.1` to `0.2.0-alpha.1`, adds the dated changelog header, and introduces the full 72-line release notes document covering release type, version policy, included scope, explicit non-goals, required verification steps, and tagging plan. |\n| **Docs index and roadmap updates**
`docs/README.md`, `ROADMAP.md` | Adds a `v0.2.0-alpha.1` release-notes link to the docs README alongside the `v0.1` entry, and adds issue `#28` to the `v0.2.0-alpha.1` milestone row in ROADMAP's GitHub Artifact Map. |\n| **Release-process README restructure**
`docs/topics/release-process/README.md` | Replaces the single \"Current Release\" subsection with a \"Release Notes\" section documenting the `docs/releases/${TAG}.md` loading convention and enumerating both current release-note files. |\n| **Automated boundary test and test-plan coverage**
`xtask/src/main.rs`, `docs/topics/release-process/test-plan.md` | Adds `v0_2_release_notes_state_core_boundary` xtask unit test that reads `docs/releases/v0.2.0-alpha.1.md` and asserts required boundary substrings. Extends the test plan with a new fixture entry, `RELEASE-TP-003` test case tied to `RELEASE-REQ-007`, and a determinism-obligation clarification. |\n\n## Estimated code review effort\n\n🎯 1 (Trivial) | ⏱️ ~5 minutes\n\n## Possibly related PRs\n\n- [flyingrobots/edict#26](https://github.com/flyingrobots/edict/pull/26): Directly connected — both PRs modify `xtask/src/main.rs` to expand release-process test coverage, with the retrieved PR strengthening release workflow and policy tests that this PR's new boundary test extends.\n\n## Poem\n\n> 🏷️ The version bumps up, the notes are inscribed,\n> Non-goals enumerated, each scope clearly described.\n> A boundary test watches, `contains()` stands guard—\n> No lowering, no digests, no bytes from the yard.\n> `v0.2.0-alpha.1` steps into the light,\n> Changelog dated, roadmap aligned, all feels right. ✨\n\n\n\n\n

🚥 Pre-merge checks | ✅ 5

\n\n

✅ Passed checks (5 passed)

\n\n_{✏️ Tip: You can configure your own custom pre-merge checks in the settings.}\n\n

\n\n\n\n\n---\n\nThanks for using [CodeRabbit](https://coderabbit.ai?utm_source=oss&utm_medium=github&utm_campaign=flyingrobots/edict&utm_content=29)! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.\n\n

❤️ Share

\n\n- [X](https://twitter.com/intent/tweet?text=I%20just%20used%20%40coderabbitai%20for%20my%20code%20review%2C%20and%20it%27s%20fantastic%21%20It%27s%20free%20for%20OSS%20and%20offers%20a%20free%20trial%20for%20the%20proprietary%20code.%20Check%20it%20out%3A&url=https%3A//coderabbit.ai)\n- [Mastodon](https://mastodon.social/share?text=I%20just%20used%20%40coderabbitai%20for%20my%20code%20review%2C%20and%20it%27s%20fantastic%21%20It%27s%20free%20for%20OSS%20and%20offers%20a%20free%20trial%20for%20the%20proprietary%20code.%20Check%20it%20out%3A%20https%3A%2F%2Fcoderabbit.ai)\n- [Reddit](https://www.reddit.com/submit?title=Great%20tool%20for%20code%20review%20-%20CodeRabbit&text=I%20just%20used%20CodeRabbit%20for%20my%20code%20review%2C%20and%20it%27s%20fantastic%21%20It%27s%20free%20for%20OSS%20and%20offers%20a%20free%20trial%20for%20proprietary%20code.%20Check%20it%20out%3A%20https%3A//coderabbit.ai)\n- [LinkedIn](https://www.linkedin.com/sharing/share-offsite/?url=https%3A%2F%2Fcoderabbit.ai&mini=true&title=Great%20tool%20for%20code%20review%20-%20CodeRabbit&summary=I%20just%20used%20CodeRabbit%20for%20my%20code%20review%2C%20and%20it%27s%20fantastic%21%20It%27s%20free%20for%20OSS%20and%20offers%20a%20free%20trial%20for%20proprietary%20code)\n\n

\n\n\n_{Comment `@coderabbitai help` to get the list of available commands and usage tips.}\n\n\n_🧹 Nitpick_ | _🔵 Trivial_ | _💤 Low value_\n\n**Consider rewording the \"Explicit Non-Goals\" list to reduce consecutive sentence-initial repetition.**\n\nLines 39–49 list 10 exclusions, each beginning with \"No.\" This repetitive opening is flagged by LanguageTool (ENGLISH_WORD_REPEAT_BEGINNING_RULE) and may reduce readability. While the current form is clear and deliberate, consider restructuring as a prose introduction followed by a shorter bullet list, or grouping exclusions thematically.\n\nExample restructure:\n```\nThe v0.2.0-alpha.1 release explicitly does not include:\nsource-to-Core lowering, a compiler CLI, import resolution, a canonical Core encoder, \ngolden Core bytes, exact Core digests, a full CDDL instance-validation harness, \ntarget profile conformance fixtures, target lowerers, or bundle/admission tooling.\n```\n\n

🧰 Tools

\n\n

🪛 LanguageTool

\n\n[style] ~41-~41: Three successive sentences begin with the same word. Consider rewording the sentence or use a thesaurus to find a synonym.\nContext: ...ublish. - No source-to-Core lowering. - No compiler CLI. - No import resolver or r...\n\n(ENGLISH_WORD_REPEAT_BEGINNING_RULE)\n\n---\n\n[style] ~42-~42: Three successive sentences begin with the same word. Consider rewording the sentence or use a thesaurus to find a synonym.\nContext: ...-to-Core lowering. - No compiler CLI. - No import resolver or resolved type checke...\n\n(ENGLISH_WORD_REPEAT_BEGINNING_RULE)\n\n---\n\n[style] ~43-~43: Three successive sentences begin with the same word. Consider rewording the sentence or use a thesaurus to find a synonym.\nContext: ...rt resolver or resolved type checker. - No canonical Core encoder. - No golden Cor...\n\n(ENGLISH_WORD_REPEAT_BEGINNING_RULE)\n\n---\n\n[style] ~44-~44: Three successive sentences begin with the same word. Consider rewording the sentence or use a thesaurus to find a synonym.\nContext: ...checker. - No canonical Core encoder. - No golden Core bytes. - No exact Core dige...\n\n(ENGLISH_WORD_REPEAT_BEGINNING_RULE)\n\n---\n\n[style] ~45-~45: Three successive sentences begin with the same word. Consider rewording the sentence or use a thesaurus to find a synonym.\nContext: ...Core encoder. - No golden Core bytes. - No exact Core digests. - No full CDDL inst...\n\n(ENGLISH_WORD_REPEAT_BEGINNING_RULE)\n\n---\n\n[style] ~46-~46: Three successive sentences begin with the same word. Consider rewording the sentence or use a thesaurus to find a synonym.\nContext: ... Core bytes. - No exact Core digests. - No full CDDL instance-validation harness. ...\n\n(ENGLISH_WORD_REPEAT_BEGINNING_RULE)\n\n---\n\n[style] ~47-~47: Three successive sentences begin with the same word. Consider rewording the sentence or use a thesaurus to find a synonym.\nContext: ...ull CDDL instance-validation harness. - No target profile conformance fixtures. - ...\n\n(ENGLISH_WORD_REPEAT_BEGINNING_RULE)\n\n---\n\n[style] ~48-~48: Three successive sentences begin with the same word. Consider rewording the sentence or use a thesaurus to find a synonym.\nContext: ... target profile conformance fixtures. - No target lowerers. - No bundle/admission ...\n\n(ENGLISH_WORD_REPEAT_BEGINNING_RULE)\n\n---\n\n[style] ~49-~49: Three successive sentences begin with the same word. Consider rewording the sentence or use a thesaurus to find a synonym.\nContext: ...mance fixtures. - No target lowerers. - No bundle/admission tooling. ## Required ...\n\n(ENGLISH_WORD_REPEAT_BEGINNING_RULE)\n\n

\n\n

🤖 Prompt for AI Agents

\n\n```\nVerify each finding against current code. Fix only still-valid issues, skip the\nrest with a brief reason, keep changes minimal, and validate.\n\nIn `@docs/releases/v0.2.0-alpha.1.md` around lines 37 - 49, The Explicit Non-Goals\nsection contains a repetitive list where each of the 10 bullet points begins\nwith \"No,\" which triggers language style warnings and reduces readability.\nRestructure this section by adding a prose introduction that establishes the\ncontext (such as \"The v0.2.0-alpha.1 release explicitly does not include\"), then\nlist the excluded items without the repeated \"No\" prefix, either as a shorter\nbullet list or as a comma-separated prose list that flows naturally from the\nintroduction.\n```\n\n

\n\n\n\n\n\n\n\n✅ Addressed in commit 591b834\n**Actionable comments posted: 1**\n\n

🤖 Prompt for all review comments with AI agents

\n\n```\nVerify each finding against current code. Fix only still-valid issues, skip the\nrest with a brief reason, keep changes minimal, and validate.\n\nInline comments:\nIn `@docs/releases/v0.2.0-alpha.1.md`:\n- Around line 37-49: The Explicit Non-Goals section contains a repetitive list\nwhere each of the 10 bullet points begins with \"No,\" which triggers language\nstyle warnings and reduces readability. Restructure this section by adding a\nprose introduction that establishes the context (such as \"The v0.2.0-alpha.1\nrelease explicitly does not include\"), then list the excluded items without the\nrepeated \"No\" prefix, either as a shorter bullet list or as a comma-separated\nprose list that flows naturally from the introduction.\n```\n\n

\n\n

🪄 Autofix (Beta)

\n\nFix all unresolved CodeRabbit comments on this PR:\n\n- [ ] Push a commit to this branch (recommended)\n- [ ] Create a new PR with the fixes\n\n

\n\n---\n\n

ℹ️ Review info

\n\n

⚙️ Run configuration

\n\n**Configuration used**: Organization UI\n\n**Review profile**: ASSERTIVE\n\n**Plan**: Pro\n\n**Run ID**: `8f4563f9-edbe-4a78-88ca-ab0c3249cd33`\n\n

\n\n

📥 Commits

\n\nReviewing files that changed from the base of the PR and between 5c2e6aad958b2917d5ec3f4425bd8117e4c34402 and 5f79f49995f037654bf12e589caf0dc85862d691.\n\n

\n\n

⛔ Files ignored due to path filters (1)

\n\n* `Cargo.lock` is excluded by `!**/*.lock`\n\n

\n\n

📒 Files selected for processing (8)

\n\n* `CHANGELOG.md`\n* `ROADMAP.md`\n* `crates/edict-syntax/Cargo.toml`\n* `docs/README.md`\n* `docs/releases/v0.2.0-alpha.1.md`\n* `docs/topics/release-process/README.md`\n* `docs/topics/release-process/test-plan.md`\n* `xtask/src/main.rs`\n\n

\n\n

📜 Review details

\n\n

🧰 Additional context used

\n\n

📓 Path-based instructions (4)

\n\n

\n\n\n**⚙️ CodeRabbit configuration file**\n\n> `**`: # AGENTS\n> \n> ## Git Rules\n> \n> NEVER amend git commits. Make a new commit instead.\n> \n> NEVER use `git rebase` unless the user explicitly approves a rare exception.\n> Use regular merge commits.\n> \n> NEVER force any git operation. If a force operation appears necessary, stop and\n> explain what happened and what options remain.\n> \n> NEVER create draft pull requests.\n> \n> NEVER use a `codex` prefix in branch names, PR titles, or commit messages.\n> \n> ## Think\n> \n> Think is durable memory for cross-session coordination.\n> \n> - Use `codex-think --remember --json` when starting a new session, changing into\n> this repository, or regaining context after a context shift.\n> - Use `codex-think \"...\" --json` when a cycle closes or a significant event\n> should survive across turns.\n> - Treat Think as memory, not repo truth. Anchor strong claims back to files,\n> commits, commands, issues, or pull requests.\n> - Claude memories are read-only. Use `claude-think --remember --json` only for\n> additional context.\n> \n> ## Topic Shelves\n> \n> `docs/topics/` contains the living contract graph for landed behavior. Topic\n> shelves are not proposals, retrospectives, or design archaeology.\n> \n> Each shelf may contain:\n> \n> - `README.md`: what is true in HEAD.\n> - `test-plan.md`: how those truths are verified, including requirements, cases,\n> fixtures, oracles, implemented evidence, planned cases, and known gaps.\n> - `architecture.md`: optional structure or dataflow notes when the machinery\n> earns a separate page.\n> - `rationale.md`: optional still-relevant tradeoffs and rejected approaches.\n> \n> ### When To Update Topic Shelves\n> \n> For every nontrivial behavior, contract, workflow, release, schema, validation,\n> or public-surface change:\n> \n> 1. Identify the owning topic shelf before editing code.\n> 2. If no shelf owns durable behavior, create one.\n> 3. Update `test-plan.md` before or alongside tests with requirement IDs, case\n> IDs, fixtures, and oracles.\n> 4. Write executable evidence: deterministic tests, fixtures, doctests, or\n> contract checks as appropriate.\n> 5. Upd...\n\nFiles:\n- `crates/edict-syntax/Cargo.toml`\n- `ROADMAP.md`\n- `docs/README.md`\n- `docs/releases/v0.2.0-alpha.1.md`\n- `xtask/src/main.rs`\n- `docs/topics/release-process/test-plan.md`\n- `CHANGELOG.md`\n- `docs/topics/release-process/README.md`\n\n

docs/topics/**

\n\n\n**📄 CodeRabbit inference engine (AGENTS.md)**\n\n> `docs/topics/**`: Topic shelves must be located in `docs/topics/` and contain the living contract graph for landed behavior.\n> Each topic shelf may contain `README.md`, `test-plan.md`, and optionally `architecture.md` or `rationale.md`.\n\nFiles:\n- `docs/topics/release-process/test-plan.md`\n- `docs/topics/release-process/README.md`\n\n

docs/topics/*/test-plan.md

\n\n\n**📄 CodeRabbit inference engine (AGENTS.md)**\n\n> `docs/topics/*/test-plan.md`: `test-plan.md` may include planned cases and known gaps.\n> Update `test-plan.md` before or alongside tests with requirement IDs, case IDs, fixtures, and oracles.\n> Mark planned cases as implemented only when executable evidence exists.\n\nFiles:\n- `docs/topics/release-process/test-plan.md`\n\n

docs/topics/*/README.md

\n\n\n**📄 CodeRabbit inference engine (AGENTS.md)**\n\n> `docs/topics/*/README.md`: Topic `README.md` files must not describe intended behavior before it lands.\n> Update the topic `README.md` only after behavior exists in the branch.\n\nFiles:\n- `docs/topics/release-process/README.md`\n\n

\n\n

🪛 LanguageTool

\n\n

docs/releases/v0.2.0-alpha.1.md

\n\n

\n\n\n**_{_{![P2 Badge](https://img.shields.io/badge/P2-yellow?style=flat)}} Use the planned v0.2 release date in the changelog**\n\nFor this release-prep commit, both the new release notes (`docs/releases/v0.2.0-alpha.1.md:3`) and roadmap (`ROADMAP.md:63`) say `v0.2.0-alpha.1` targets 2026-07-01, while the existing `v0.1.0-alpha.1` changelog entry is dated 2026-06-24. Dating this new v0.2 section 2026-06-21 makes the shipped release history show v0.2 happening before v0.1 and leaves the changelog inconsistent with the release notes when the tag is cut from this commit.\n\nUseful? React with 👍 / 👎.\n\n### 💡 Codex Review\n\nHere are some automated review suggestions for this pull request.\n\n**Reviewed commit:** `5f79f49995`\n \n\n

ℹ️ About Codex in GitHub

\n
\n\n[Your team has set up Codex to review pull requests in this repo](https://chatgpt.com/codex/cloud/settings/general). Reviews are triggered when you\n- Open a pull request for review\n- Mark a draft as ready\n- Comment \"@codex review\".\n\nIf Codex has suggestions, it will comment; otherwise it will react with 👍.\n\n\n\n\nCodex can also answer questions or update the PR. Try commenting \"@codex address that feedback\".\n \n

",{},"created",1782069027.970289,"Completing the task","event_type","info",{"_92":415,"_96":93,"_409":1641},{"_92":722,"_723":724},"partial_repo_snapshot","files",[725,726,727,728],{"_163":563,"_730":-5,"_731":1466,"_733":-5},{"_163":1407,"_730":-5,"_731":1408,"_733":-5},{"_163":1348,"_730":-5,"_731":1349,"_733":-5},{"_163":729,"_730":-5,"_731":732,"_733":-5},"xtask/src/main.rs","contents","line_range_contents",[734],"missing_reason",{"_735":489,"_736":737,"_409":738,"_739":59},"line_range_start","line_range_end",976,[740,741,204,742,743,744,745,746,747,204,748,749,750,751,752,753,754,755,756,204,757,758,759,760,761,762,763,755,756,204,764,765,766,767,768,769,770,771,772,773,774,775,776,777,778,779,766,767,768,780,778,781,782,783,784,756,204,785,786,787,788,789,790,791,792,793,794,795,796,755,756,204,797,798,756,204,799,800,801,802,803,804,754,755,805,756,204,806,807,808,790,809,810,791,811,812,756,204,813,814,815,816,817,818,204,819,820,821,822,755,823,824,755,204,825,826,827,828,755,204,829,784,756,204,830,831,832,833,834,835,836,837,838,839,204,840,841,842,843,755,844,845,755,204,846,847,848,849,204,850,851,755,204,852,853,854,855,856,857,858,859,860,754,861,862,754,863,864,865,866,867,868,869,870,871,872,873,874,875,867,876,877,867,859,878,879,754,880,881,882,859,754,755,204,850,883,884,754,885,886,887,888,754,755,204,889,890,891,892,893,894,895,754,896,897,754,755,204,898,784,756,204,899,900,901,902,903,904,905,859,906,907,908,909,910,911,912,859,754,755,913,756,204,914,900,901,902,915,916,917,859,918,907,908,919,920,921,922,910,911,923,859,754,755,913,756,204,924,831,925,926,834,835,927,928,929,754,930,931,932,859,933,934,754,755,784,756,204,935,901,902,936,937,938,939,940,941,754,755,784,756,204,942,943,944,945,946,947,948,949,950,951,952,953,954,955,956,957,958,959,960,940,961,754,962,963,961,754,964,965,886,966,967,888,754,968,969,886,970,971,972,888,754,973,974,975,886,976,967,888,754,755,784,756,204,977,978,979,980,981,982,983,984,985,986,859,987,988,989,990,875,867,991,859,754,755,992,756,204,993,994,995,996,997,998,953,954,999,1000,1001,754,956,755,1002,756,204,1003,1004,1005,1006,756,204,1007,1008,1005,1006,756,204,1009,1010,1011,1012,1013,756,204,1014,1015,1016,937,1017,1018,756,204,1019,1020,756,204,1021,1022,1023,1024,755,1025,1026,1027,1011,1028,1029,756,204,1030,1031,756,204,1032,1033,756,204,1034,1035,1036,1037,1038,754,794,1039,913,756,204,1040,1035,1041,1042,1043,1044,1045,754,755,1046,913,756,204,1047,1048,1049,1043,1044,1050,1051,1052,754,755,784,756,204,1053,1054,756,204,1055,1056,1057,1058,1059,754,1060,1061,754,755,756,204,1062,1063,1064,1065,1066,756,204,1062,1067,1064,1065,1068,1069,1070,1071,756,204,1072,1073,1074,1075,1076,204,1077,204,1078,1079,1080,755,204,1078,1081,1082,1083,1084,1085,1086,1087,1088,1089,1090,1091,1092,1093,1094,1095,1096,204,1097,1098,1099,1100,1101,1102,1103,204,1104,755,204,1078,1105,1106,1083,1084,1086,1107,1108,1095,1109,1086,1087,1088,1089,1090,1110,1092,1093,1094,1095,1096,1111,1086,1112,1113,1114,1115,1095,1116,204,1097,1117,1118,1100,1119,1102,1103,204,1104,755,204,1078,1120,1121,1083,1111,1084,1122,1085,1086,1087,1088,1089,1090,1110,1092,1093,1123,1095,1096,204,1124,1098,1125,1100,1126,1102,1103,204,1104,755,204,1078,1127,1128,1129,1130,1131,1132,1133,204,1134,1100,1135,1102,1103,204,1104,1136,1137,754,755,204,1078,1138,1139,1140,1141,1142,755,204,1078,1143,1144,1140,1145,1146,755,204,1078,1147,1148,1149,1150,1151,1152,1153,1154,1155,1156,1157,1158,1159,1160,1161,1162,1163,1164,1165,1166,754,1100,1167,1168,1103,755,204,1078,1169,1148,1170,1171,1151,1172,1173,1174,1175,1162,1163,1176,1177,1166,754,755,204,1078,1178,1148,1179,1180,1181,1182,1183,1184,1185,1186,1187,1188,1189,1190,1162,1163,1191,1192,1166,754,755,204,1078,1193,1148,1194,1179,1180,1195,1196,1197,1198,204,1100,1199,1200,1103,755,204,1078,1201,1148,1202,1203,1151,1204,1205,1206,1207,1208,1209,1210,1211,1212,1213,1214,1215,1216,1162,1217,754,755,204,1078,1218,1148,1202,1203,1219,1220,1221,1222,1223,1224,1162,1163,1225,1226,1166,754,755,204,1078,1227,1148,1202,1203,1228,1229,204,1230,1231,1232,1233,1234,1235,1236,1237,1238,1239,1240,867,1241,1242,1243,1244,1245,1246,1247,1248,1249,1250,1251,1252,1253,1254,1255,1256,1252,1253,1257,1258,1259,1260,1261,1262,1263,1264,1265,1266,1267,1268,1269,1265,867,1270,859,754,204,1271,755,204,1272,1273,1274,1275,755,204,1272,1276,1277,1278,1279,755,204,1280,1281,1282,1283,755,204,1284,1285,1286,1287,1288,859,754,755,204,1289,1290,1291,1292,1293,1294,954,1295,1296,1297,1298,1299,867,986,859,1300,1301,859,1302,1303,1304,1305,1304,1306,1307,986,910,1308,1309,986,859,1310,1311,1312,859,754,1100,1313,1314,1103,1315,755,204,1316,1317,1318,1319,1320,1321,982,983,1322,986,859,1323,1324,910,1325,1326,1327,1328,1329,1330,1331,867,1332,1333,867,1334,1335,867,1336,859,754,1337,1338,1339,1340,1341,754,755,204,1342,1343,1344,1345,1346,1347,755,756],"contains_end_of_file","#![allow(clippy::print_stderr)]","#![allow(clippy::print_stdout)]","use std::collections::{BTreeMap, BTreeSet};","use std::env;","use std::ffi::OsStr;","use std::fs;","use std::path::{Path, PathBuf};","use std::process::{Command, ExitCode, Stdio};","fn main() -> ExitCode {"," match run() {"," Ok(()) => ExitCode::SUCCESS,"," Err(err) => {"," eprintln!(\"xtask: {err}\");"," ExitCode::FAILURE"," }"," }","}","fn run() -> Result<(), String> {"," let mut args = env::args().skip(1);"," match args.next().as_deref() {"," Some(\"contract-check\") => contract_check(&repo_root()?),"," Some(\"verify\") => verify(&repo_root()?),"," Some(cmd) => Err(format!(\"unknown xtask command `{cmd}`\")),"," None => Err(\"usage: cargo xtask \".into()),","fn verify(root: &Path) -> Result<(), String> {"," run_cmd(root, \"cargo\", [\"fmt\", \"--all\", \"--check\"])?;"," run_cmd("," root,"," \"cargo\","," ["," \"clippy\","," \"--workspace\","," \"--all-targets\","," \"--all-features\","," \"--\","," \"-D\","," \"warnings\","," ],"," )?;"," run_cmd(root, \"cargo\", [\"test\", \"--workspace\", \"--all-features\"])?;"," [\"test\", \"--workspace\", \"--doc\", \"--all-features\"],"," contract_check(root)?;"," let base = diff_check_base(root)?;"," run_cmd(root, \"git\", [\"diff\", \"--check\", &format!(\"{base}...HEAD\")])?;"," Ok(())","fn run_cmd(root: &Path, program: &str, args: [&str; N]) -> Result<(), String> {"," let rendered = args.join(\" \");"," println!(\"$ {program} {rendered}\");"," let status = Command::new(program)"," .args(args)"," .current_dir(root)"," .status()"," .map_err(|err| format!(\"failed to run `{program}`: {err}\"))?;"," if status.success() {"," Ok(())"," } else {"," Err(format!(\"command failed: {program} {rendered}\"))","fn diff_check_base(root: &Path) -> Result {"," choose_diff_check_base(|candidate| git_ref_exists(root, candidate))","fn choose_diff_check_base("," mut exists: impl FnMut(&str) -> Result,",") -> Result {"," for candidate in [\"origin/main\", \"main\", \"HEAD^\"] {"," if exists(candidate)? {"," return Ok(candidate.to_owned());"," Err(\"could not find diff-check base (tried origin/main, main, HEAD^)\".into())","fn git_ref_exists(root: &Path, candidate: &str) -> Result {"," let status = Command::new(\"git\")"," .args([\"rev-parse\", \"--verify\", \"--quiet\", candidate])"," .stdout(Stdio::null())"," .stderr(Stdio::null())"," .map_err(|err| format!(\"failed to inspect git ref `{candidate}`: {err}\"))?;"," Ok(status.success())","fn contract_check(root: &Path) -> Result<(), String> {"," let docs = root.join(\"docs\");"," let topics = docs.join(\"topics\");"," let requirement_registry = read_to_string(&docs.join(\"REQUIREMENTS.md\"))?;"," let mut tests = collect_rust_test_names(&root.join(\"crates\"))?;"," tests.extend(collect_rust_test_names(&root.join(\"xtask\"))?);"," let mut topic_count = 0usize;"," for topic in dirs(&topics)? {"," topic_count += 1;"," check_topic(root, &topic, &tests, &requirement_registry)?;"," if topic_count == 0 {"," return Err(\"docs/topics contains no topic shelves\".into());"," let mut docs_to_link = vec![docs.join(\"README.md\")];"," docs_to_link.extend(markdown_files(&topics)?);"," for doc in docs_to_link {"," check_links(root, &doc)?;"," println!(\"contract-check: {topic_count} topic shelf(s) validated\");","fn check_topic("," root: &Path,"," topic: &Path,"," tests: &BTreeSet,"," requirement_registry: &str,",") -> Result<(), String> {"," let test_plan = topic.join(\"test-plan.md\");"," let readme = topic.join(\"README.md\");"," let plan = read_to_string(&test_plan)?;"," let chapter = read_to_string(&readme)?;"," let requirements = parse_requirement_rows(&plan)?;"," let cases = parse_case_rows(&plan)?;"," if requirements.is_empty() {"," return Err(format!(\"{} has no requirement rows\", test_plan.display()));"," if cases.is_empty() {"," return Err(format!(\"{} has no case rows\", test_plan.display()));"," let requirement_ids: BTreeSet<&str> = requirements.keys().map(String::as_str).collect();"," let case_ids: BTreeSet<&str> = cases.keys().map(String::as_str).collect();"," let mut covered_requirements = BTreeSet::new();"," let mut implemented_requirements = BTreeSet::new();"," for (id, requirement) in &requirements {"," check_requirement_sources(root, id, &requirement.source, requirement_registry)?;"," for case in cases.values() {"," for requirement in split_cell_list(&case.requirement) {"," if !requirement_ids.contains(requirement) {"," return Err(format!("," \"{} references unknown requirement {}\","," case.id, requirement"," ));"," }"," covered_requirements.insert(requirement.to_owned());"," if case.oracle.trim().is_empty() || case.oracle.trim() == \"-\" {"," return Err(format!(\"{} is missing a mandatory oracle\", case.id));"," match case.status.as_str() {"," \"implemented\" => {"," if case.evidence.trim().is_empty() || case.evidence.trim() == \"-\" {"," return Err(format!(\"{} is implemented without evidence\", case.id));"," }"," for evidence in split_cell_list(&case.evidence) {"," let test_name = evidence.rsplit(\"::\").next().unwrap_or(evidence);"," if !tests.contains(test_name) {"," return Err(format!("," \"{} evidence `{}` does not match a Rust test function\","," case.id, evidence"," ));"," }"," for requirement in split_cell_list(&case.requirement) {"," implemented_requirements.insert(requirement.to_owned());"," \"planned\" | \"gap\" => {}"," other => return Err(format!(\"{} has invalid status `{other}`\", case.id)),"," for fixture in split_cell_list(&case.fixtures) {"," if fixture != \"-\" && !root.join(fixture).is_file() {"," return Err(format!(\"{} fixture `{fixture}` does not exist\", case.id));"," if !covered_requirements.contains(id) {"," return Err(format!(\"{id} has no planned or implemented case\"));"," if requirement.status == \"implemented\" && !implemented_requirements.contains(id) {"," return Err(format!("," \"implemented requirement {id} has no implemented case\""," ));"," let all_topic_ids = requirement_ids"," .union(&case_ids)"," .copied()"," .collect::>();"," for id in bracket_ids(&(chapter + \"\\n\" + &plan)) {"," if (is_requirement_id(&id) || is_case_id(&id)) && !all_topic_ids.contains(id.as_str()) {"," return Err(format!(\"topic references unknown ID `{id}`\"));"," if id.starts_with(\"EDICT-\") && !registry_has_id(requirement_registry, &id) {"," return Err(format!(\"topic references unknown registry ID `{id}`\"));"," check_fixture_table(root, &plan)?;","fn parse_requirement_rows(plan: &str) -> Result, String> {"," let mut out = BTreeMap::new();"," for line in plan.lines() {"," let cells = table_cells(line);"," if cells.first().is_some_and(|cell| is_requirement_id(cell)) {"," if cells.len() < 4 {"," return Err(format!(\"malformed requirement row: {line}\"));"," let row = RequirementRow {"," id: cells[0].clone(),"," status: cells[1].clone(),"," source: cells[3].clone(),"," };"," if out.insert(row.id.clone(), row).is_some() {"," return Err(format!(\"duplicate requirement ID {}\", cells[0]));"," Ok(out)","fn parse_case_rows(plan: &str) -> Result, String> {"," if cells.first().is_some_and(|cell| is_case_id(cell)) {"," if cells.len() < 8 {"," return Err(format!(\"malformed case row: {line}\"));"," let row = CaseRow {"," requirement: cells[3].clone(),"," oracle: cells[4].clone(),"," evidence: cells[5].clone(),"," fixtures: cells[6].clone(),"," return Err(format!(\"duplicate case ID {}\", cells[0]));","fn check_requirement_sources("," id: &str,"," source_cell: &str,"," for source in split_cell_list(source_cell) {"," if source == \"-\" {"," return Err(format!(\"{id} has no requirement source\"));"," if source.starts_with(\"EDICT-\") {"," if !registry_has_id(requirement_registry, source) {"," return Err(format!(\"{id} unknown registry source ID `{source}`\"));"," } else if !is_external_requirement_source(source) && !root.join(source).is_file() {"," return Err(format!(\"{id} source `{source}` does not resolve\"));","fn check_fixture_table(root: &Path, plan: &str) -> Result<(), String> {"," if cells"," .first()"," .is_some_and(|cell| cell.starts_with(\"fixtures/\"))"," && !root.join(&cells[0]).is_file()"," {"," return Err(format!(\"fixture table path `{}` does not exist\", cells[0]));","fn check_links(root: &Path, doc: &Path) -> Result<(), String> {"," let text = read_to_string(doc)?;"," let base = doc"," .parent()"," .ok_or_else(|| format!(\"{} has no parent\", doc.display()))?;"," let canonical_root ="," fs::canonicalize(root).map_err(|err| format!(\"canonicalize {}: {err}\", root.display()))?;"," let mut rest = text.as_str();"," while let Some(start) = rest.find(\"](\") {"," rest = &rest[start + 2..];"," let Some(end) = rest.find(')') else {"," break;"," };"," let target = &rest[..end];"," rest = &rest[end + 1..];"," if target.starts_with(\"http://\")"," || target.starts_with(\"https://\")"," || target.starts_with(\"mailto:\")"," || target.starts_with('#')"," continue;"," let path_part = target.split_once('#').map_or(target, |(path, _)| path);"," if path_part.is_empty() {"," let path = Path::new(path_part);"," if path.is_absolute() {"," \"{} has absolute local link `{target}`\","," doc.display()"," let resolved = base.join(path);"," if !resolved.exists() {"," \"{} has broken link `{target}` resolved to {}\","," doc.display(),"," resolved.display()"," let canonical_resolved = fs::canonicalize(&resolved)"," .map_err(|err| format!(\"canonicalize {}: {err}\", resolved.display()))?;"," if !canonical_resolved.starts_with(&canonical_root) {"," \"{} link `{target}` escapes repository root\",","fn collect_rust_test_names(root: &Path) -> Result, String> {"," let mut names = BTreeSet::new();"," for path in rust_files(root)? {"," let text = read_to_string(&path)?;"," let mut previous_was_test = false;"," for raw in text.lines() {"," let line = raw.trim();"," if line == \"#[test]\" {"," previous_was_test = true;"," continue;"," if previous_was_test {"," if let Some(rest) = line.strip_prefix(\"fn \") {"," if let Some((name, _)) = rest.split_once('(') {"," names.insert(name.to_owned());"," previous_was_test = false;"," Ok(names)","fn bracket_ids(text: &str) -> BTreeSet {"," let mut out = BTreeSet::new();"," let mut rest = text;"," while let Some(start) = rest.find('[') {"," rest = &rest[start + 1..];"," let Some(end) = rest.find(']') else {"," let id = &rest[..end];"," if is_requirement_id(id) || is_case_id(id) || id.starts_with(\"EDICT-\") {"," out.insert(id.to_owned());"," out","fn is_requirement_id(s: &str) -> bool {"," s.contains(\"-REQ-\")"," && s.chars()"," .all(|ch| ch.is_ascii_uppercase() || ch.is_ascii_digit() || ch == '-')","fn is_case_id(s: &str) -> bool {"," s.contains(\"-TP-\")","fn split_cell_list(cell: &str) -> impl Iterator {"," cell.split(',')"," .map(str::trim)"," .map(|s| s.trim_matches('`'))"," .filter(|s| !s.is_empty())","fn registry_has_id(requirement_registry: &str, id: &str) -> bool {"," requirement_registry.lines().any(|line| {"," table_cells(line)"," .is_some_and(|cell| cell.as_str() == id)"," })","fn is_external_requirement_source(source: &str) -> bool {"," source.starts_with(\"issue #\") || source.starts_with(\"http://\") || source.starts_with(\"https://\")","fn table_cells(line: &str) -> Vec {"," let trimmed = line.trim();"," if !trimmed.starts_with('|') || !trimmed.ends_with('|') {"," return Vec::new();"," trimmed"," .trim_matches('|')"," .split('|')"," .map(ToOwned::to_owned)"," .collect()","fn markdown_files(root: &Path) -> Result, String> {"," files_with_extension(root, \"md\")","fn rust_files(root: &Path) -> Result, String> {"," files_with_extension(root, \"rs\")","fn files_with_extension(root: &Path, extension: &str) -> Result, String> {"," let mut out = Vec::new();"," visit(root, &mut |path| {"," if path.extension() == Some(OsStr::new(extension)) {"," out.push(path.to_owned());"," })?;","fn dirs(root: &Path) -> Result, String> {"," for entry in fs::read_dir(root).map_err(|err| format!(\"read {}: {err}\", root.display()))? {"," let entry = entry.map_err(|err| format!(\"read {} entry: {err}\", root.display()))?;"," let path = entry.path();"," if path.is_dir() {"," out.push(path);"," out.sort();","fn visit(dir: &Path, f: &mut impl FnMut(&Path) -> Result<(), String>) -> Result<(), String> {"," for entry in fs::read_dir(dir).map_err(|err| format!(\"read {}: {err}\", dir.display()))? {"," let entry = entry.map_err(|err| format!(\"read {} entry: {err}\", dir.display()))?;"," visit(&path, f)?;"," } else {"," f(&path)?;","fn read_to_string(path: &Path) -> Result {"," fs::read_to_string(path).map_err(|err| format!(\"read {}: {err}\", path.display()))","fn repo_root() -> Result {"," let mut dir = env::current_dir().map_err(|err| format!(\"current dir: {err}\"))?;"," loop {"," if dir.join(\"Cargo.toml\").is_file() && dir.join(\"docs\").is_dir() {"," return Ok(dir);"," if !dir.pop() {"," return Err(\"could not find repository root\".into());","#[derive(Debug)]","struct RequirementRow {"," id: String,"," status: String,"," source: String,","struct CaseRow {"," requirement: String,"," oracle: String,"," evidence: String,"," fixtures: String,","#[cfg(test)]","mod tests {"," use std::collections::BTreeSet;"," use std::fs;"," use std::path::{Path, PathBuf};"," use super::{check_topic, contract_check, repo_root};"," #[test]"," fn contract_graph_is_valid() {"," contract_check(&repo_root().expect(\"repo root\")).expect(\"contract graph is valid\");"," fn contract_graph_rejects_unknown_registry_source_ids() {"," let root = temp_root(\"unknown-registry-source\");"," let topic = root.join(\"docs/topics/example\");"," fs::create_dir_all(&topic).expect(\"topic directory\");"," fs::write(topic.join(\"README.md\"), \"# Example\\n\\n[EXAMPLE-REQ-001]\\n\").expect(\"chapter\");"," fs::write("," topic.join(\"test-plan.md\"),"," \"# Example Test Plan\\n\\n\\"," | ID | Status | Requirement | Source |\\n\\"," | --- | --- | --- | --- |\\n\\"," | EXAMPLE-REQ-001 | implemented | Example requirement. | EDICT-NOT-A-REAL-ID |\\n\\n\\"," | ID | Status | Category | Requirement | Oracle | Evidence | Fixtures | Notes |\\n\\"," | --- | --- | --- | --- | --- | --- | --- | --- |\\n\\"," | EXAMPLE-TP-001 | implemented | Golden path | EXAMPLE-REQ-001 | exact state | evidence_test | - | fixture-free |\\n\","," )"," .expect(\"test plan\");"," let tests = BTreeSet::from([\"evidence_test\".to_owned()]);"," let err = check_topic(&root, &topic, &tests, \"EDICT-KNOWN-ID\")"," .expect_err(\"unknown registry Source ID must fail\");"," assert!("," err.contains(\"unknown registry source ID `EDICT-NOT-A-REAL-ID`\"),"," \"unexpected error: {err}\""," );"," fs::remove_dir_all(root).ok();"," fn contract_graph_rejects_truncated_registry_bracket_ids() {"," let root = temp_root(\"truncated-registry-bracket-id\");"," topic.join(\"README.md\"),"," \"# Example\\n\\n[EDICT-LANG-RECORD]\\n\","," .expect(\"chapter\");"," | EXAMPLE-REQ-001 | implemented | Example requirement. | docs/REQUIREMENTS.md |\\n\\n\\"," fs::create_dir_all(root.join(\"docs\")).expect(\"docs directory\");"," root.join(\"docs/REQUIREMENTS.md\"),"," \"| ID | Requirement |\\n\\"," | --- | --- |\\n\\"," | EDICT-LANG-RECORD-SHORTHAND-001 | exact longer ID |\\n\","," .expect(\"requirements\");"," let err = check_topic(&root, &topic, &tests, \"EDICT-LANG-RECORD-SHORTHAND-001\")"," .expect_err(\"truncated registry ID must fail\");"," err.contains(\"unknown registry ID `EDICT-LANG-RECORD`\"),"," fn contract_graph_requires_implemented_evidence_for_implemented_requirements() {"," let root = temp_root(\"implemented-requirement-without-evidence\");"," fs::write(root.join(\"docs/REQUIREMENTS.md\"), \"# Requirements\\n\").expect(\"requirements\");"," | EXAMPLE-TP-001 | planned | Golden path | EXAMPLE-REQ-001 | exact state | - | - | planned only |\\n\","," let tests = BTreeSet::new();"," .expect_err(\"implemented requirement without implemented case must fail\");"," err.contains(\"implemented requirement EXAMPLE-REQ-001 has no implemented case\"),"," fn link_check_rejects_local_links_outside_repo() {"," let root = temp_root(\"repo-escaping-link\");"," let outside = temp_root(\"repo-escaping-link-outside\").join(\"outside.md\");"," fs::write(&outside, \"# Outside\\n\").expect(\"outside file\");"," let doc = root.join(\"docs/topics/example/README.md\");"," fs::create_dir_all(doc.parent().expect(\"doc parent\")).expect(\"doc directory\");"," fs::write(&doc, format!(\"# Example\\n\\n[bad]({})\\n\", outside.display())).expect(\"chapter\");"," let err = super::check_links(&root, &doc).expect_err(\"absolute local links must reject\");"," err.contains(\"absolute local link\"),"," if let Some(parent) = outside.parent() {"," fs::remove_dir_all(parent).ok();"," fn diff_check_base_selection_falls_back_without_origin_main() {"," let refs = BTreeSet::from([\"HEAD^\"]);"," let base = super::choose_diff_check_base(|candidate| Ok(refs.contains(candidate)))"," .expect(\"fallback diff base\");"," assert_eq!(base, \"HEAD^\");"," fn diff_check_base_selection_prefers_origin_main() {"," let refs = BTreeSet::from([\"origin/main\", \"main\", \"HEAD^\"]);"," .expect(\"preferred diff base\");"," assert_eq!(base, \"origin/main\");"," fn release_workflow_publishes_only_main_reachable_tags() {"," let root = repo_root().expect(\"repo root\");"," let workflow ="," fs::read_to_string(root.join(\".github/workflows/release.yml\")).expect(\"workflow\");"," for needle in ["," \"tags:\","," \"\\\"v*\\\"\","," \"contents: write\","," \"git merge-base --is-ancestor\","," \"origin/main\","," \"docs/releases/${TAG}.md\","," \"release create\","," \"--verify-tag\","," \"--prerelease\","," \"prerelease=true\","," ] {"," assert!("," workflow.contains(needle),"," \"release workflow missing expected guard/action: {needle}\""," );"," !workflow.contains(\"cargo publish\"),"," \"release workflow must not publish crates\""," fn release_tag_recovery_policy_is_structured() {"," let policy = fs::read_to_string(root.join(\"docs/topics/release-process/policy.toml\"))"," .expect(\"release policy\");"," \"[release_tags]\","," \"mutation = \\\"forbidden\\\"\","," \"recovery = \\\"publish_existing_valid_tag\\\"\","," \"requires_main_reachable_target = true\","," policy.contains(needle),"," \"release policy missing structured field: {needle}\""," fn v0_2_release_notes_state_core_boundary() {"," let notes = fs::read_to_string(root.join(\"docs/releases/v0.2.0-alpha.1.md\"))"," .expect(\"v0.2 release notes\");"," for required in ["," \"Normative `edict.core/v1` CDDL schema\","," \"Core semantic model coverage\","," \"explicitly does not include:\","," \"source-to-Core lowering;\","," \"a canonical Core encoder;\","," \"golden Core bytes;\","," \"exact Core digests;\","," \"target lowerers;\","," \"bundle/admission tooling.\","," notes.contains(required),"," \"v0.2 release notes missing boundary statement: {required}\""," fn v0_2_changelog_date_matches_release_notes_target() {"," let changelog = fs::read_to_string(root.join(\"CHANGELOG.md\")).expect(\"changelog\");"," let target = notes"," .lines()"," .find_map(|line| line.strip_prefix(\"Target date: \"))"," .expect(\"v0.2 release notes target date\");"," changelog.contains(&format!(\"## [v0.2.0-alpha.1] - {target}\")),"," \"v0.2 changelog date must match release notes target date {target}\""," fn core_cddl_declares_v1_semantic_model() {"," let cddl ="," fs::read_to_string(root.join(\"docs/abi/edict-core.cddl\")).expect(\"Core schema exists\");"," \"core-module =\","," \"apiVersion: \\\"edict.core/v1\\\"\","," \"core-type =\","," \"core-intent =\","," \"core-block =\","," \"core-node =\","," \"core-expr =\","," \"core-predicate =\","," \"core-fn-body =\","," \"input-constraint =\","," \"local-ref =\","," \"alphaName:\","," \"requiredOperationProfile:\","," assert!(cddl.contains(needle), \"Core CDDL missing {needle}\");"," fn core_cddl_has_no_digest_freeze_fields() {"," for forbidden in ["," \"coreDigest\","," \"canonicalCoreDigest\","," \"canonicalBytes\","," \"goldenBytes\","," \"exactDigest\","," !cddl.contains(forbidden),"," \"v0.2 Core schema must not freeze byte/hash field `{forbidden}`\""," fn core_schema_shape_fixtures_match_cddl() {"," let fixture_root = root.join(\"fixtures/core/schema\");"," let mut checked = 0usize;"," for expectation in [FixtureExpectation::Accept, FixtureExpectation::Reject] {"," let dir = fixture_root.join(expectation.dir_name());"," for entry in fs::read_dir(&dir).unwrap_or_else(|err| {"," panic!("," \"read Core schema fixture directory {}: {err}\","," dir.display()"," )"," }) {"," let path = entry.expect(\"fixture entry\").path();"," if path.extension().and_then(|ext| ext.to_str()) != Some(\"fields\") {"," continue;"," let fixture = parse_core_schema_fixture(&path);"," assert_eq!("," fixture.expectation,"," expectation,"," \"{} expectation disagrees with directory name\","," path.display()"," );"," let shape = core_shape_fields(&cddl, &fixture.shape);"," let missing = shape"," .required"," .difference(&fixture.fields)"," .cloned()"," .collect::>();"," let unknown = fixture"," .fields"," .difference(&shape.allowed)"," let valid = missing.is_empty() && unknown.is_empty();"," match expectation {"," FixtureExpectation::Accept => assert!("," valid,"," \"{} should be accepted; missing {:?}, unknown {:?}\","," path.display(),"," missing,"," unknown"," ),"," FixtureExpectation::Reject => assert!("," !valid,"," \"{} should be rejected by schema shape validation\","," path.display()"," checked += 1;"," assert!(checked >= 5, \"expected at least 5 Core schema fixtures\");"," #[derive(Debug)]"," struct CoreShapeFields {"," allowed: BTreeSet,"," required: BTreeSet,"," struct CoreSchemaFixture {"," expectation: FixtureExpectation,"," fields: BTreeSet,"," shape: String,"," #[derive(Copy, Clone, Debug, Eq, PartialEq)]"," enum FixtureExpectation {"," Accept,"," Reject,"," impl FixtureExpectation {"," fn dir_name(self) -> &'static str {"," match self {"," Self::Accept => \"accepted\","," Self::Reject => \"rejected\","," fn core_shape_fields(cddl: &str, shape: &str) -> CoreShapeFields {"," let start = format!(\"{shape} = {{\");"," let mut in_shape = false;"," let mut fields = CoreShapeFields {"," allowed: BTreeSet::new(),"," required: BTreeSet::new(),"," for raw in cddl.lines() {"," let line = raw.split_once(';').map_or(raw, |(before, _)| before).trim();"," if !in_shape {"," if line == start {"," in_shape = true;"," if line.starts_with('}') {"," break;"," let Some((field, _)) = line"," .strip_suffix(',')"," .unwrap_or(line)"," .strip_prefix(\"? \")"," .split_once(':')"," else {"," let field = field.trim();"," if field.is_empty() || field.contains(char::is_whitespace) {"," fields.allowed.insert(field.to_owned());"," if !line.starts_with(\"? \") {"," fields.required.insert(field.to_owned());"," !fields.allowed.is_empty(),"," \"no fields parsed for Core shape {shape}\""," fields"," fn parse_core_schema_fixture(path: &Path) -> CoreSchemaFixture {"," let text = fs::read_to_string(path)"," .unwrap_or_else(|err| panic!(\"read Core schema fixture {}: {err}\", path.display()));"," let mut expectation = None;"," let mut shape = None;"," let mut fields = BTreeSet::new();"," if line.is_empty() || line.starts_with('#') {"," let Some((key, value)) = line.split_once(' ') else {"," panic!(\"{} has malformed line `{line}`\", path.display());"," match key {"," \"expect\" => {"," expectation = Some(match value {"," \"accept\" => FixtureExpectation::Accept,"," \"reject\" => FixtureExpectation::Reject,"," other => panic!(\"{} has invalid expectation `{other}`\", path.display()),"," });"," \"field\" => {"," fields.insert(value.to_owned());"," \"shape\" => {"," shape = Some(value.to_owned());"," other => panic!(\"{} has unknown directive `{other}`\", path.display()),"," CoreSchemaFixture {"," expectation: expectation"," .unwrap_or_else(|| panic!(\"{} missing expectation\", path.display())),"," fields,"," shape: shape.unwrap_or_else(|| panic!(\"{} missing shape\", path.display())),"," fn temp_root(name: &str) -> PathBuf {"," let mut dir = std::env::temp_dir();"," dir.push(format!(\"edict-xtask-{name}-{}\", std::process::id()));"," fs::remove_dir_all(&dir).ok();"," fs::create_dir_all(&dir).expect(\"temp root\");"," dir","docs/topics/release-process/test-plan.md",[1350],{"_735":489,"_736":1351,"_409":1352,"_739":59},70,[1353,204,1354,204,1355,204,1356,204,1357,1358,1359,1360,1361,1362,204,1363,204,1364,1365,1366,1367,204,1368,204,1369,1370,1371,1372,1373,1374,1375,1376,1377,1378,204,1379,204,1380,1381,1382,1383,1384,1385,204,1386,204,1387,1388,1389,1390,1391,1392,204,1393,204,1394,1395,1396,1397,1398,1399,1400,1401,204,1402,204,1403,1404,1405,1406],"# Release Process Test Plan","Status: current verification design for Edict release automation.","## Scope","In scope:","- tag-triggered GitHub Release publication;","- main-branch reachability checks for release tag targets;","- release notes lookup by full tag name;","- prerelease classification for SemVer prerelease versions;","- no crates.io publication in the current release workflow;","- deterministic local checks for workflow contract drift.","Out of scope:","- crates.io publication;","- binary asset signing;","- artifact upload beyond GitHub Release notes;","- automatic retry of failed historical tag events.","## Requirements","| ID | Status | Requirement | Source |","| --- | --- | --- | --- |","| RELEASE-REQ-001 | implemented | Release publication is triggered by pushed `v*` tags. | .github/workflows/release.yml |","| RELEASE-REQ-002 | implemented | Release tags must target commits reachable from `origin/main`. | .github/workflows/release.yml |","| RELEASE-REQ-003 | implemented | Release notes are loaded by full tag name from `docs/releases/${TAG}.md`. | .github/workflows/release.yml |","| RELEASE-REQ-004 | implemented | SemVer prerelease tags publish as GitHub prereleases. | .github/workflows/release.yml |","| RELEASE-REQ-005 | implemented | The current release workflow does not publish crates or other package artifacts. | .github/workflows/release.yml |","| RELEASE-REQ-006 | implemented | Pushed release tags are durable; recovery must not move, delete, or recreate release tags. | docs/topics/release-process/policy.toml |","| RELEASE-REQ-007 | implemented | `v0.2.0-alpha.1` release notes state the Core schema scope and explicit non-goals. | docs/releases/v0.2.0-alpha.1.md |","| RELEASE-REQ-008 | implemented | A prepared release changelog date matches the release notes target date until publication. | CHANGELOG.md, docs/releases/v0.2.0-alpha.1.md |","## Fixtures","| Fixture | Purpose | Oracle |","| --- | --- | --- |","| docs/releases/v0.1.0-alpha.1.md | Published release notes for the first front-end alpha. | The release workflow looks up this file by full tag name. |","| docs/releases/v0.2.0-alpha.1.md | Prepared release notes for the Core semantic model and schema alpha. | The notes state included scope and explicit non-goals. |","| CHANGELOG.md | Release history prepared for the next alpha. | Prepared release sections use the matching release target date. |","| docs/topics/release-process/policy.toml | Structured release-tag recovery policy. | Tag mutation is forbidden and recovery publishes the existing valid tag. |","## Test Cases","| ID | Status | Category | Requirement | Oracle | Evidence | Fixtures | Notes |","| --- | --- | --- | --- | --- | --- | --- | --- |","| RELEASE-TP-001 | implemented | Golden path | RELEASE-REQ-001, RELEASE-REQ-002, RELEASE-REQ-003, RELEASE-REQ-004, RELEASE-REQ-005 | The workflow contains the tag trigger, main reachability guard, full-tag release-notes path, verified GitHub Release creation, prerelease flag, and no package publish command. | release_workflow_publishes_only_main_reachable_tags | docs/releases/v0.1.0-alpha.1.md | Static workflow contract regression. |","| RELEASE-TP-002 | implemented | Policy guard | RELEASE-REQ-006 | Structured policy forbids tag mutation and names existing-valid-tag publication as recovery. | release_tag_recovery_policy_is_structured | docs/topics/release-process/policy.toml | Policy evidence is structured, not prose. |","| RELEASE-TP-003 | implemented | Boundary guard | RELEASE-REQ-007 | v0.2 notes include Core schema scope and all explicit non-goals for lowering, encoder, bytes, digests, targets, and admission. | v0_2_release_notes_state_core_boundary | docs/releases/v0.2.0-alpha.1.md | Prevents release notes from overclaiming the Core milestone. |","| RELEASE-TP-004 | implemented | Consistency guard | RELEASE-REQ-008 | The v0.2 changelog section date equals the `Target date` in the v0.2 release notes. | v0_2_changelog_date_matches_release_notes_target | CHANGELOG.md, docs/releases/v0.2.0-alpha.1.md | Prevents release chronology drift before the tag is published. |","## Determinism Obligations","- Release workflow contract tests inspect checked-in workflow text, not live"," GitHub state.","- Release tags must be explicit operator actions; no test creates or pushes live"," tags.","- Recovery documentation must distinguish workflow fixes from tag mutation.","- Tests do not scrape human diagnostic prose from Actions logs.","- Release-note tests inspect checked-in Markdown as a stable release artifact,"," not terminal output or live GitHub state.","## Open Gaps","- The release workflow does not yet have a local end-to-end dry run harness.","- The current checker proves workflow contract structure, not GitHub API"," availability.","- No crates.io policy exists; package publication remains intentionally absent.","docs/releases/v0.2.0-alpha.1.md",[1409],{"_735":489,"_736":1410,"_409":1411,"_739":59},74,[1412,204,1413,204,1414,204,1415,204,1416,1417,1418,204,1419,204,1420,204,1421,1422,1423,1424,1425,204,1426,204,1427,1428,1429,1430,1431,1432,1433,1434,1435,1436,1437,204,1438,204,1439,204,1364,1440,1441,1442,1443,1444,1445,1446,1447,1448,1449,204,1450,204,1451,204,1452,1453,1454,1455,204,1456,204,1457,204,1458,1459,1460,1461,204,1462,1463,1464,1465],"# v0.2.0-alpha.1 Release Notes","Target date: 2026-07-01","Status: release notes for the `v0.2.0-alpha.1` GitHub prerelease.","## Release Type","`v0.2.0-alpha.1` is the Core semantic model and normative schema alpha. It","freezes Core meaning and schema shape enough for downstream compiler-spine work","to begin from a stable contract.","This is not a compiler-spine, target-lowering, or admission-stack release.","## Version Policy","- `crates/edict-syntax` is versioned as `0.2.0-alpha.1`; its package remains"," `publish = false`.","- `xtask` remains an internal workspace helper at `0.0.0`.","- Versions currently track repository/specification maturity, not crates.io API"," stability.","## Included","- Normative `edict.core/v1` CDDL schema in `docs/abi/edict-core.cddl`.","- Core semantic model coverage for modules, imports, types, values, expressions,"," predicates, input constraints, intents, blocks, nodes, local references, and"," pure Core helper bodies.","- `docs/topics/core-ir/` current-truth chapter and verification matrix.","- Accepted/rejected Core schema-shape fixtures under `fixtures/core/schema/`.","- `xtask` regressions proving required Core declarations, no byte/hash freeze"," fields, and schema-shape fixture acceptance/rejection.","- Release-process topic shelf and structured release-tag recovery policy.","- Repo-local `AGENTS.md` policy for Think, git rules, topic shelves, and local"," verification.","## Explicit Non-Goals","The `v0.2.0-alpha.1` release explicitly does not include:","- source-to-Core lowering;","- a compiler CLI;","- import resolution or resolved type checking;","- a canonical Core encoder;","- golden Core bytes;","- exact Core digests;","- a full CDDL instance-validation harness;","- target profile conformance fixtures;","- target lowerers;","- bundle/admission tooling.","## Required Verification","Before tagging:","- `cargo xtask verify` must pass on the release commit.","- GitHub Actions on `main` must pass for MSRV Rust 1.85.0 and stable Rust.","- Issues #3, #19, and #28 must be closed or explicitly deferred.","- The `v0.2.0-alpha.1` milestone must have no open release-blocking issues.","## Tagging Plan","After the release-prep PR lands and the `main` release commit is verified:","```text","git tag -a v0.2.0-alpha.1 -m \"v0.2.0-alpha.1\"","git push origin v0.2.0-alpha.1","```","Pushing that tag to GitHub triggers the release workflow. The workflow verifies","that the tag target is reachable from `origin/main`, loads these release notes","from `docs/releases/v0.2.0-alpha.1.md`, and publishes the GitHub Release as a","prerelease. It does not publish crates.",[1467],{"_735":489,"_736":1468,"_409":1469,"_739":59},192,[1470,204,1471,204,1472,1473,1474,204,1475,204,1476,204,1477,204,1478,1479,1480,1481,1482,1483,1484,204,1485,204,1486,1487,1488,1489,204,1490,204,1477,204,1491,1492,1493,1494,1495,1496,1497,1498,1499,1500,1501,1502,1503,1504,1505,1506,1507,1508,1509,1510,1511,1512,1513,1514,1515,1516,1517,1518,1519,1520,1521,1522,1523,1524,1525,1526,1527,1528,1529,1530,1531,1532,1533,1534,1535,1536,1537,1538,1539,1540,1541,1542,1543,1544,1545,1546,1547,1548,1549,1550,1551,1552,1553,1554,1555,204,1485,204,1556,1557,1558,1559,1560,1561,1562,1563,1564,1565,1566,1567,1568,1569,1570,1571,1572,1573,1574,1575,1576,1577,1578,1579,1580,1581,1582,1583,1584,1585,204,1586,204,1587,1588,1589,1590,1591,1592,1593,1594,1595,1596,1597,1598,1599,1600,1601,1602,1603,1604,1605,1606,1607,1608,1609,1610,1611,1612,1613,1614,1615,1616,1617,1618,1619,1620,1621,1622,1623,1624,1625,1626,1627,1628,204,1629,204,1630,1631,1632,1633,1634,204,1635,204,1636,1637,1638,1639,1640],"# Changelog","All notable changes to the Edict specifications are documented here.","The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.1.0/).","Edict now has executable Rust implementation slices alongside the design specs;","versions still track specification maturity rather than a released product.","## [Unreleased]","## [v0.2.0-alpha.1] - 2026-07-01","### Added","- Added the `edict.core/v1` Core IR topic shelf and normative CDDL schema for"," the `v0.2.0-alpha.1` Core semantic-model milestone, with local `xtask`"," regressions proving required schema declarations and the explicit no-byte/hash"," freeze boundary.","- Added a repo-local `AGENTS.md` topic-shelf policy, a release-process topic"," shelf, and a structured release-tag recovery policy covering tag-triggered"," GitHub Release publication.","### Changed","- Extended `cargo xtask contract-check` evidence discovery to include `xtask`"," tests, so workflow/process shelves can cite executable `xtask` regressions.","- Relaxed Markdown heading duplication checks to allow changelog section"," headings to repeat across different release versions.","## [v0.1.0-alpha.1] - 2026-06-24","- **Release roadmap.** Added `ROADMAP.md` as the scheduled alpha-release plan,"," linked it from the README/docs index, and mapped GitHub milestones, release"," labels, and issue #16 for the `v0.1.0-alpha.1` release-prep checklist.","- **Phase 2 — source-AST semantic validation (`edict-syntax`).** Added"," `validate_module`, stable `SemanticErrorKind` categories, deterministic tests,"," and a semantic-validation topic shelf for checks that do not require Core IR:"," bounded runtime `String`/`Bytes`, intent operation-mode/budget/basis"," requiredness, duplicate singleton intent clauses, module namespace collision"," checks, and scoped binder shadowing checks.","- **Topic shelf pilot (`docs/topics/syntax/`).** Added the first current-truth"," topic chapter and verification matrix for the Phase 1 syntax front end,"," library-hosted doctest coverage for the external Markdown example, and"," `cargo xtask verify` / `cargo xtask contract-check` as the local contract"," graph gate.","- **Phase 1 — first executable slice (`crates/edict-syntax`).** A standalone,"," std-only Rust workspace with a hand-written deterministic lexer and a"," recursive-descent parser for the `edict.implementation/minimal-v1` surface."," Now parses: package/imports (shape/lawpack/target/core, optional `digest`);"," `type` records and refined scalars; `enum` declarations; `variant` types with"," optional payloads; `intent`s with their clauses; `let`/`return`; calls and"," type-calls (`echo.ref(...)`); effect statements with single- and"," map-form `else` obstruction handlers; `require`/`guarantee`/`assert`; the full"," `if` family (ternary `if … then … else …`, effectful branch-yield in"," `let`-rhs, and `if`/`else if`/`else` control flow); bounded"," `for … in … bounded …` loops; variant-literal constructors"," (`Qual.Type::Case(payload)`); boolean and `digest(\"sha256:…\")` literals; and"," `match` expressions. Keywords are reserved as bare identifiers but remain"," legal as member names after `.` (§1510-1511). Conformance fixtures under"," `fixtures/lang/`; 55 tests green under"," `cargo fmt --check`, `clippy` deny-all + pedantic, and CI. See"," `docs/RETRO_phase1-parser.md`.","- `SPEC_edict-lawpack-abi-v1.md`: the Lawpack ABI (manifest, dependency graph,"," exported types/constants, pure helper and semantic effect signatures,"," `executionClass` × `writeClass` classification, typed obstruction payloads,"," footprint/cost obligations, target adapters, compatibility matrix, the v1"," direct-adapter resolution rule).","- `docs/abi/`: machine-readable schemas as the single source of truth —"," `edict-common.cddl` (shared types), `edict-target-profile.cddl`,"," `edict-target-lowerer.wit`, `edict-lawpack.cddl`.","- `docs/REQUIREMENTS.md`: the Fixture Constitution — every normative requirement"," gets a stable ID bound to its owner spec and positive/negative/golden fixtures.","- `spec.lock.json` (schema/registry digest lock for a doc-build gate);"," `fixtures/` Phase 0 corpus layout and conventions.","- Minimal normative **optic contract** in Core (`opticKind`, `basis`,"," `boundaryKind`, `apertureRequirement`, `supportPolicy`, `lossDisposition`),"," each with one deterministic source; richer Observer Geometry evidence"," (Aperture Ledger, witness debt, degeneracy) as derived verifier evidence.","- **Partial Lowerability** section: lowering is a partial, semantics-preserving"," relation classified `native` / `adapted` / `composite` / `unsupported`;"," unsupported is a compiler error, never a silent approximation. README gains the"," lowerability value-proposition statement.","- Language semantics: refined scalar types `String` /"," `Bytes` (bytes max-only) and pinned `len` units; typed integer-literal"," elaboration with propagation contexts; closed minimal-v1 prelude with pinned"," **integer safety** (overflow-safe, `checked*`, no wrap/saturate/trap);"," `where` input refinement; `basis` clause (pure/effect-free); bounded `for`"," loops; short-circuit booleans; Option-only refinement; typed obstruction"," payloads with failure binders + exhaustive matching; `CapabilityRef`.","- Profiles & packaging: `edict.language/v1` vs `edict.implementation/minimal-v1`"," capability flags (source vs Core split); Core/target/admitted budget split with"," pinned units; semantic vs release bundle digests; logical source-path rules;"," namespace/shadowing and enum-vs-variant rules; `postconditionSupport` target"," field.","- Assurance guide: hash ladder, Aperture Ledger, Lawfulness Certificate,"," obstruction coverage, two-lowerer differential trial.","- Roadmap correction: inserted the explicit compiler-spine milestone between"," Core schema work and target/admission work, split the Core IR issue scope"," across schema, compiler-spine, encoder, and golden-digest artifacts, and moved"," developer tooling to `v0.6.0-alpha.1`.","- Updated the `edict-syntax` package description to include source-level"," semantic validation, not only the Phase 1 lexer/parser.","- Purified Core IR: removed the Core self-hash (now `canonicalizationProfile`);"," removed lowerer/verifier digests and packaging fields from the preimage; moved"," `verifiedOperationMode` to the verifier report (Core keeps"," `requiredOperationProfile`); demoted `preconditions`/`postconditions` to derived"," indices and `diagnosticPolicy` to a compile option; reconciled I-010; added a"," positive exhaustive preimage inclusion list and excluded human `name` fields.","- Turned the Target Profile ABI into a real ABI (CDDL manifest + WIT plugin"," boundary + exchange types); enforced `pure`/`effect` intrinsic union;"," named/typed `effectFailures`; intrinsics corpus-document shape; classified"," lawpack verifier (executable ⇒ sandbox+fuel); removed the duplicated manifest"," from the language spec; extracted shared types to `edict-common.cddl`.","- Canonical digest is the typed pair `[algorithm, bytes]` everywhere;"," `\"sha256:\"` is review-JSON only.","- Made the artifact graph explicitly acyclic: split compile vs admission"," explanations; split admission receipt body from its DSSE signature; defined"," exact `semanticBundleDigest`/`releaseBundleDigest` preimages (toolchain identity"," in release, not semantic); requests/receipts/explanations carry"," `bundleSubject {kind,digest}`; split semantic vs nonsemantic compile options.","- `require` always carries `else` (grammar + semantics); `where`/`require`/"," `assert` roles disjoint; CoreGuard is `targetAtomic` and always carries an"," obstruction, with verifier proofs as separate `CoreProofObligation` nodes.","- README/docs drift fixes: `edict` code fences, corrected ER-diagram cardinality,"," bounded `hello`/`repo` examples, fixed the alias-shadowing example.","- Design baseline marked non-normative historical context.","### Fixed","- Applied the external Phase 0 design review and two follow-up review rounds"," (Codex + CodeRabbit): closed every flagged contradiction and normative hole as"," bounded clarifications, one commit per finding. Notable: lowerer compares"," cost/footprint vs the **declared** ceiling (admission is external); lawpack"," adapters map failures by **coordinate**; `acceptedLawpackAdapterAbi`"," schema-enforced empty until its ABI exists; `targetBudget` carries both the"," hash-significant `costAlgebra` ref and resolved `ceiling`; bound violations are"," integrity/internal faults, never silent truncation; defined"," `CanonicalEncodedMax` and `edict.core-cost/v1`; deduped requirement IDs.","- Self-review nits: dropped an unused WIT import; de-duplicated the"," `basis`-requiredness wording; locked `edict-common.cddl` in `spec.lock.json`;"," corrected the `edict-common.cddl` header.","- Second-order ripples from the above (Codex + CodeRabbit round): an intent may"," carry **both** `profile` and `implements` (was wrongly \"exactly one\"); pure"," expressions may call **pure** target/lawpack constructors (only effect"," intrinsics forbidden); integer-literal propagation reaches binary operands;"," field-constraint and refined-type bounds are both valid; `requiredCoreCapabilities`"," is a hash-significant Core module field; operation-profile records get a"," publication slot in the target/lawpack ABIs; exported pure helpers require a"," hash-bound implementation; residual singular bundle-digest references replaced"," with `bundleSubject`; Core/README examples updated to the new rules"," (ObstructionConstruct, `basis` clauses); registry `deferred` status defined and"," the int-literal-mismatch ID numbered (`EDICT-LANG-INTLIT-002`).","- Further ripple round: `edict`-source pure helpers must carry an inline body"," (CDDL union); `operationProfiles` added to the target-profile manifest example;"," `optic-template` can publish `apertureRequirement`; target adapters digest-lock"," their accepted target profile + Target IR; GREEN fixtures use syntactically"," valid dummy digests (the prose `sha256:...` is an un-lexable ellipsis).","- Schema/example/prose alignment round (+ proactive same-class sweep): lawpack"," manifest example carries adapter target-locks; export-surface summary lists"," `operationProfiles`; component pure helpers carry their own digest-locked"," `implementation`; language operation-mode `custom` bullet mirrors the ABI;"," README fixture promise accounts for digest substitution; compile explanation"," surfaces `apertureRequirement`; LawfulnessCertificate proves only core+target"," declared ceilings (never `admitted`); obstruction coverage includes lawpack"," effects; portable example gains a `basis`; Appendix A scoped as exploratory"," non-fixtures; `effectFailures` coordinates must be unique per effect.","- **jedit appendix brought to clause-conformance** (it is the intended first"," real-world use case): added correct `basis` clauses to all 12 rope-package and"," structural-history intents; the Product Text Buffer Optic sketch remains the"," one deliberate non-v1 example (uses rejected `invoke`/`use capability` to show"," design pressure). Appendix note rewritten accordingly.","### Deferred","- The complete `edict.core/v1` CoreExpr/CorePredicate CDDL and canonical encoding"," → issue #3. The spec marks JSON expression examples illustrative and forbids"," freezing any Core hash golden before that schema lands. Adapter"," obligation-closure composition → issue #4; `edict explain lowerability` CLI →"," issue #5.","### Notes","Applies the Phase 0 design review (external \"ChatGPT\" feedback): SHOULD/COULD","treated as MUST. Grammar and Core schema remain **unfrozen** but the five","yellow-light joints are now determined; next step is Phase 0 implementation","(parser fixtures, Core CDDL, canonical-CBOR goldens, tiny KV target). v1 is not","yet stable.",[1642,1643,1644,1645,1646,1647,1648,1649,1650,1651,1652],{"_710":46,"_46":1668},{"_710":1654,"_163":563,"_735":335,"_736":1667},{"_710":1654,"_163":1407,"_735":489,"_736":1666},{"_710":46,"_46":1665},{"_710":1654,"_163":1407,"_735":1663,"_736":1664},{"_710":46,"_46":1662},{"_710":1654,"_163":1348,"_735":1660,"_736":1661},{"_710":1654,"_163":1348,"_735":1658,"_736":1659},{"_710":46,"_46":1657},{"_710":1654,"_163":729,"_735":1655,"_736":1656},{"_710":46,"_46":1653},"\n* I made no code changes, so I did not create a commit or open a new PR.\n\n**Testing**\n\n* ⚠️ `codex-think --remember --json && pwd && rg --files -g 'AGENTS.md' -g '!target' -g '!node_modules'` — `codex-think` is not installed in this environment.\n* ✅ `find .. -name AGENTS.md -print && git status --short && git rev-parse HEAD && git branch --show-current`\n* ✅ `cat AGENTS.md && sed -n '1,120p' CHANGELOG.md && sed -n '1,140p' docs/releases/v0.2.0-alpha.1.md && sed -n '1,180p' docs/topics/release-process/test-plan.md && rg -n \"v0_2_changelog|RELEASE-REQ-008|RELEASE-TP-004|2026-07-01|2026-06-21\" xtask/src/main.rs CHANGELOG.md docs/releases/v0.2.0-alpha.1.md docs/topics/release-process/test-plan.md ROADMAP.md`\n* ✅ `sed -n '700,770p' xtask/src/main.rs && cargo test -p xtask v0_2_changelog_date_matches_release_notes_target -- --nocapture && cargo test -p xtask contract_graph_is_valid -- --nocapture && git diff --check`\n* ✅ `cargo xtask verify`\n* ⚠️ `npx markdownlint-cli2 CHANGELOG.md docs/topics/release-process/test-plan.md docs/releases/v0.2.0-alpha.1.md` — blocked by npm registry `403 Forbidden` for `markdownlint-cli2`.\n* ✅ `git status --short && nl -ba CHANGELOG.md | sed -n '1,24p' && nl -ba docs/releases/v0.2.0-alpha.1.md | sed -n '1,55p' && nl -ba docs/topics/release-process/test-plan.md | sed -n '24,58p' && nl -ba xtask/src/main.rs | sed -n '720,760p'`","repo_file_citation",739,753,"\n* Confirmed deterministic `xtask` coverage exists for the date consistency guard. ",47,52,25,34,"\n* Confirmed the release-process contract graph documents `RELEASE-REQ-008` and `RELEASE-TP-004` for changelog/release-note date consistency. ",37,51,"\n* Confirmed the CodeRabbit non-goals wording fix is present: the release notes now use one introductory sentence followed by non-repetitive excluded-item bullets. ",5,12,"### Summary\n\n* Confirmed the final release-prep consistency fix is present: the `v0.2.0-alpha.1` changelog entry is dated `2026-07-01`, matching the release notes target date. ",{"_92":330,"_42":84,"_96":330,"_1671":1672,"_1673":1674,"_1675":1676,"_132":-5,"_119":1677},[83],"input_items",[1696,1697,1698,1699,1700,1701,1702],"external_post_config",{"_1678":1679,"_268":201,"_1680":310,"_279":-5,"_1681":262,"_1682":-5,"_1683":-5,"_1684":1685,"_1686":1687,"_1688":-5,"_1689":-5,"_1690":1691,"_1692":15,"_1693":59,"_1694":54,"_1695":15},"user_model_slug","slug",1782068951.406544,"installation_id",89912914,"pr_number","repo_id","gitlab_service_account_project_id","review_trigger","comment_id",4763000247,"comment_type","issue","pr_write_guard_token","pending_pr_reaction_id","pending_comment_reaction_id",372830047,"comment_if_no_findings","comment_on_error","share_url","is_parallel_review",{"_92":415,"_96":330,"_409":1715},{"_317":318,"_319":320,"_1712":324,"_1713":129,"_326":-5,"_92":1714},{"_92":1703,"_319":1711,"_163":-5,"_1705":-5,"_1706":-5},{"_92":1703,"_319":1710,"_163":1407,"_1705":1708,"_1706":-5},{"_92":1703,"_319":1709,"_163":-5,"_1705":-5,"_1706":-5},{"_92":1703,"_319":1707,"_163":563,"_1705":1708,"_1706":-5},{"_92":1703,"_319":1704,"_163":-5,"_1705":-5,"_1706":-5},"pull_request_comment","\n### 💡 Codex Review\n\nHere are some automated review suggestions for this pull request.\n\n**Reviewed commit:** `5f79f49995`\n \n\n

ℹ️ About Codex in GitHub

","side","line","**_{_{![P2 Badge](https://img.shields.io/badge/P2-yellow?style=flat)}} Use the planned v0.2 release date in the changelog**\n\nFor this release-prep commit, both the new release notes (`docs/releases/v0.2.0-alpha.1.md:3`) and roadmap (`ROADMAP.md:63`) say `v0.2.0-alpha.1` targets 2026-07-01, while the existing `v0.1.0-alpha.1` changelog entry is dated 2026-06-24. Dating this new v0.2 section 2026-06-21 makes the shipped release history show v0.2 happening before v0.1 and leaves the changelog inconsistent with the release notes when the tag is cut from this commit.\n\nUseful? React with 👍 / 👎.","RIGHT","**Actionable comments posted: 1**\n\n

🤖 Prompt for all review comments with AI agents

\n\n

🪄 Autofix (Beta)

\n\nFix all unresolved CodeRabbit comments on this PR:\n\n- [ ] Push a commit to this branch (recommended)\n- [ ] Create a new PR with the fixes\n\n

\n\n---\n\n

ℹ️ Review info

\n\n

⚙️ Run configuration

\n\n**Configuration used**: Organization UI\n\n**Review profile**: ASSERTIVE\n\n**Plan**: Pro\n\n**Run ID**: `8f4563f9-edbe-4a78-88ca-ab0c3249cd33`\n\n

\n\n

📥 Commits

\n\nReviewing files that changed from the base of the PR and between 5c2e6aad958b2917d5ec3f4425bd8117e4c34402 and 5f79f49995f037654bf12e589caf0dc85862d691.\n\n

\n\n

⛔ Files ignored due to path filters (1)

\n\n* `Cargo.lock` is excluded by `!**/*.lock`\n\n

\n\n

📒 Files selected for processing (8)

\n\n

📜 Review details

\n\n

🧰 Additional context used

\n\n

📓 Path-based instructions (4)

\n\n

docs/topics/**

docs/topics/*/test-plan.md

docs/topics/*/README.md

\n\n

🪛 LanguageTool

\n\n

docs/releases/v0.2.0-alpha.1.md

\n\n

\n\n","_🧹 Nitpick_ | _🔵 Trivial_ | _💤 Low value_\n\n**Consider rewording the \"Explicit Non-Goals\" list to reduce consecutive sentence-initial repetition.**\n\nLines 39–49 list 10 exclusions, each beginning with \"No.\" This repetitive opening is flagged by LanguageTool (ENGLISH_WORD_REPEAT_BEGINNING_RULE) and may reduce readability. While the current form is clear and deliberate, consider restructuring as a prose introduction followed by a shorter bullet list, or grouping exclusions thematically.\n\nExample restructure:\n```\nThe v0.2.0-alpha.1 release explicitly does not include:\nsource-to-Core lowering, a compiler CLI, import resolution, a canonical Core encoder, \ngolden Core bytes, exact Core digests, a full CDDL instance-validation harness, \ntarget profile conformance fixtures, target lowerers, or bundle/admission tooling.\n```\n\n

🧰 Tools

\n\n

🪛 LanguageTool

\n\n

🤖 Prompt for AI Agents

\n\n\n\n\n\n\n\n✅ Addressed in commit 591b834","\n\n\n[![Review Change Stack](https://storage.googleapis.com/coderabbit_public_assets/review-stack-in-coderabbit-ui.svg)](https://app.coderabbit.ai/change-stack/flyingrobots/edict/pull/29?utm_source=github_walkthrough&utm_medium=github&utm_campaign=change_stack)\n\n\n\n\n> [!WARNING]\n> ## Review limit reached\n> \n> `@flyingrobots`, we couldn't start this review because you've reached your PR review rate limit.\n> \n> More reviews will be available in 49 minutes and 35 seconds. [Learn how PR review limits work](https://docs.coderabbit.ai/management/plans#fair-usage-limits-policy).\n> \n> Your organization has run out of usage credits. Purchase more credits in the [billing tab](https://app.coderabbit.ai/settings/billing?tab=usage&orgId=4252c417-78a1-49cd-a607-68d1e6bdacc4) to continue.\n> \n>

\n>

⌛ How to resolve this issue?

\n> \n> \n>

\n>

🚦 How do rate limits work?

\n> \n>

\n>

ℹ️ Review info

\n> \n>

\n>

⚙️ Run configuration

\n> \n> **Configuration used**: Organization UI\n> \n> **Review profile**: ASSERTIVE\n> \n> **Plan**: Pro\n> \n> **Run ID**: `9e831a9d-3208-42c6-b482-5d5594960647`\n> \n>

\n> \n>

\n>

📥 Commits

\n> \n> Reviewing files that changed from the base of the PR and between 5f79f49995f037654bf12e589caf0dc85862d691 and f9deda3bbcd5fa7c251c4311f4e69274012f4e4f.\n> \n>

\n> \n>

\n>

📒 Files selected for processing (4)

\n> \n> * `CHANGELOG.md`\n> * `docs/releases/v0.2.0-alpha.1.md`\n> * `docs/topics/release-process/test-plan.md`\n> * `xtask/src/main.rs`\n> \n>

\n> \n>

🚥 Pre-merge checks | ✅ 5

\n\n

✅ Passed checks (5 passed)

\n\n_{✏️ Tip: You can configure your own custom pre-merge checks in the settings.}\n\n

❤️ Share

\n\n\n_{Comment `@coderabbitai help` to get the list of available commands and usage tips.}\n\n","base_ref","head_ref","pull_request_info",[1716],{"_710":46,"_46":1717},"## Code Lawyer Activity Summary\n\n@codex confirmation requested on the final release-prep consistency fix.\n\n| # | Source | Severity | File | Commit | Outcome |\n| --- | --- | --- | --- | --- | --- |\n| 1 | PR review thread | P2 | `CHANGELOG.md` | `f9deda3` | Aligned `v0.2.0-alpha.1` changelog date with the release notes target date (`2026-07-01`). Added `RELEASE-REQ-008` / `RELEASE-TP-004` and deterministic xtask coverage. |\n\nVerification on `f9deda3`:\n\n- RED observed: `cargo test -p xtask v0_2_changelog_date_matches_release_notes_target -- --nocapture` failed before the changelog fix.\n- GREEN verified: focused regression passed after the fix.\n- Contract graph verified: `cargo test -p xtask contract_graph_is_valid -- --nocapture` passed.\n- Full local gate passed: `cargo xtask verify`.\n- Markdown/style passed: `npx markdownlint-cli2 CHANGELOG.md docs/topics/release-process/test-plan.md docs/releases/v0.2.0-alpha.1.md`.\n- Whitespace passed: `git diff --check`.\n- Review thread `PRRT_kwDOS96-Us6LHIlL` resolved.\n\nNo additional self-discovered issues remain in the PR diff.\n",[1944,1945],[],{"_715":716,"_46":717,"_718":719},{"_689":1935},{"_341":1934},{"_341":1755},{"_309":310,"_300":311,"_312":313,"_314":15,"_315":59,"_316":15,"_317":318,"_319":320,"_321":272,"_322":127,"_323":324,"_325":129,"_326":327,"_328":-5,"_329":-5,"_330":1754,"_332":333,"_334":335,"_336":337,"_338":339},{"_42":123,"_198":199,"_200":201,"_202":15,"_203":204,"_205":206,"_207":1743,"_209":-5,"_210":211,"_212":15,"_213":1744,"_215":204,"_216":204,"_217":1745,"_219":1746,"_221":1747,"_223":-5,"_224":225,"_226":227,"_228":229,"_230":1748,"_55":-5,"_119":232,"_233":1749,"_235":1750,"_237":238,"_239":15,"_240":15},{"_133":1736},[1728,1729,1730,1731,1732,1733,1734,1735],{"_150":176,"_152":153,"_154":155,"_156":157,"_158":177,"_160":161,"_162":32,"_163":-5},{"_150":175,"_152":153,"_154":155,"_156":157,"_158":172,"_160":161,"_162":32,"_163":-5},{"_150":173,"_152":153,"_154":155,"_156":157,"_158":174,"_160":161,"_162":32,"_163":-5},{"_150":171,"_152":153,"_154":155,"_156":157,"_158":172,"_160":161,"_162":32,"_163":-5},{"_150":170,"_152":166,"_154":167,"_156":157,"_158":169,"_160":161,"_162":32,"_163":-5},{"_150":165,"_152":166,"_154":167,"_156":168,"_158":169,"_160":161,"_162":32,"_163":-5},{"_150":164,"_152":153,"_154":155,"_156":157,"_158":159,"_160":161,"_162":32,"_163":-5},{"_150":151,"_152":153,"_154":155,"_156":157,"_158":159,"_160":161,"_162":32,"_163":-5},[1737,1738,1739],{"_182":1742,"_184":195},{"_182":1741,"_184":191},{"_182":1740,"_184":185},{"_186":187,"_92":188,"_119":189},{"_186":192,"_92":188,"_119":193},{"_186":196,"_92":188,"_119":197},{"_302":303,"_304":-5,"_305":-5,"_306":-5,"_307":-5,"_308":-5},[262],{"_262":1751},{"_244":245,"_246":247,"_248":249,"_250":251,"_252":253,"_254":255,"_256":257,"_258":259,"_260":261},{},[],{"_243":59},{"_241":59,"_242":204},{"_42":264,"_186":265,"_266":1752,"_268":201,"_269":270,"_271":272,"_273":274,"_275":276,"_277":278,"_279":64,"_280":15,"_281":-5,"_282":-5,"_283":-5,"_284":-5,"_285":-5,"_286":-5,"_162":287,"_288":-5,"_55":1753},{"_294":295,"_42":296,"_92":297,"_298":299,"_300":301},{"_290":15,"_291":15,"_292":15,"_293":15},{"_294":295,"_186":295,"_340":-5,"_298":299,"_42":296},[1756,1757,1758,1759,1760,1761,1762,1763,1764,1765,1766,1767,1768,1769,1770,1771,1772,1773,1774,1775,1776,1777,1778,1779,1780,1781,1782,1783,1784,1785,1786,1787,1788,1789,1790,1791,1792,1793,1794,1795,1796],{"_156":662,"_385":1930},{"_156":400,"_385":1927},{"_156":652,"_385":1924},{"_156":404,"_385":1919},{"_156":404,"_385":1914},{"_156":404,"_385":1910},{"_156":419,"_385":1905},{"_156":419,"_385":1901},{"_156":404,"_385":1897},{"_156":404,"_385":1895},{"_156":419,"_385":1891},{"_156":404,"_385":1889},{"_156":419,"_385":1885},{"_156":404,"_385":1882},{"_156":404,"_385":1880},{"_156":419,"_385":1876},{"_156":404,"_385":1874},{"_156":404,"_385":1872},{"_156":419,"_385":1864},{"_156":404,"_385":1862},{"_156":419,"_385":1858},{"_156":404,"_385":1855},{"_156":404,"_385":1853},{"_156":404,"_385":1851},{"_156":419,"_385":1847},{"_156":419,"_385":1843},{"_156":404,"_385":1840},{"_156":404,"_385":1838},{"_156":404,"_385":1836},{"_156":419,"_385":1832},{"_156":419,"_385":1828},{"_156":404,"_385":1824},{"_156":404,"_385":1822},{"_156":419,"_385":1818},{"_156":404,"_385":1816},{"_156":419,"_385":1812},{"_156":404,"_385":1808},{"_156":419,"_385":1806},{"_156":404,"_385":1802},{"_156":400,"_385":1800},{"_156":384,"_385":1797},{"_387":388,"_87":1798},{"_390":391,"_392":393,"_103":-5,"_42":394,"_395":1799,"_397":398,"_399":113},[],{"_399":1801,"_387":388},{"_92":403},{"_406":1803,"_387":388,"_408":394},{"_409":1804,"_411":-5,"_42":-5,"_412":-5,"_413":414,"_96":93,"_92":415},[1805],{"_46":417,"_92":418},{"_406":1807,"_387":388,"_408":394},{"_42":422,"_413":414,"_46":417,"_92":423},{"_406":1809,"_387":388,"_408":394},{"_409":-5,"_426":427,"_42":-5,"_412":-5,"_428":1810,"_92":430},[1811],{"_46":432,"_92":433},{"_406":1813,"_387":388,"_408":394},{"_409":1814,"_42":437,"_428":1815,"_92":430},[],[432],{"_406":1817,"_387":388,"_408":394},{"_441":442,"_42":-5,"_412":-5,"_443":444,"_92":445},{"_406":1819,"_387":388,"_408":394},{"_448":449,"_450":451,"_452":1820,"_454":455,"_392":32,"_456":32,"_42":442,"_457":458,"_459":460,"_399":113,"_92":461},[1821],{"_450":463,"_92":464},{"_406":1823,"_387":388,"_408":394},{"_467":468,"_441":442,"_42":-5,"_412":-5,"_186":469,"_470":-5,"_92":471},{"_406":1825,"_387":388,"_408":394},{"_409":-5,"_426":474,"_42":-5,"_412":-5,"_428":1826,"_92":430},[1827],{"_46":477,"_92":433},{"_406":1829,"_387":388,"_408":394},{"_409":1830,"_42":481,"_428":1831,"_92":430},[],[477],{"_406":1833,"_387":388,"_408":394},{"_448":485,"_450":486,"_452":1834,"_454":455,"_392":488,"_456":489,"_42":490,"_457":491,"_459":460,"_399":492,"_92":461},[1835],{"_450":494,"_92":464},{"_406":1837,"_387":388,"_408":394},{"_441":490,"_42":-5,"_412":-5,"_443":497,"_92":445},{"_406":1839,"_387":388,"_408":394},{"_467":500,"_441":490,"_42":-5,"_412":-5,"_186":469,"_470":-5,"_92":471},{"_406":1841,"_387":388,"_408":394},{"_409":-5,"_426":503,"_42":-5,"_412":-5,"_428":1842,"_92":430},[],{"_406":1844,"_387":388,"_408":394},{"_409":1845,"_42":508,"_428":1846,"_92":430},[],[],{"_406":1848,"_387":388,"_408":394},{"_448":512,"_450":513,"_452":1849,"_454":455,"_392":515,"_456":32,"_42":516,"_457":517,"_459":460,"_399":113,"_92":461},[1850],{"_450":519,"_92":464},{"_406":1852,"_387":388,"_408":394},{"_441":516,"_42":-5,"_412":-5,"_443":522,"_92":445},{"_406":1854,"_387":388,"_408":394},{"_467":525,"_441":516,"_42":-5,"_412":-5,"_186":469,"_470":-5,"_92":471},{"_406":1856,"_387":388,"_408":394},{"_409":-5,"_426":528,"_42":-5,"_412":-5,"_428":1857,"_92":430},[],{"_406":1859,"_387":388,"_408":394},{"_409":1860,"_42":533,"_428":1861,"_92":430},[],[],{"_406":1863,"_387":388,"_408":394},{"_441":537,"_42":-5,"_412":-5,"_443":538,"_92":445},{"_406":1865,"_387":388,"_408":394},{"_448":541,"_450":542,"_452":1866,"_454":455,"_392":32,"_456":32,"_42":537,"_457":544,"_459":460,"_399":113,"_92":461},[1867,1868,1869,1870,1871],{"_450":565,"_186":566,"_163":567,"_92":558},{"_450":562,"_186":563,"_163":564,"_92":558},{"_450":559,"_186":560,"_163":561,"_92":558},{"_450":555,"_186":556,"_163":557,"_92":558},{"_450":550,"_163":551,"_552":553,"_92":554},{"_406":1873,"_387":388,"_408":394},{"_467":570,"_441":537,"_42":-5,"_412":-5,"_186":469,"_470":-5,"_92":471},{"_406":1875,"_387":388,"_408":394},{"_441":573,"_42":-5,"_412":-5,"_443":574,"_92":445},{"_406":1877,"_387":388,"_408":394},{"_448":577,"_450":578,"_452":1878,"_454":455,"_392":32,"_456":32,"_42":573,"_457":580,"_459":460,"_399":113,"_92":461},[1879],{"_450":582,"_92":464},{"_406":1881,"_387":388,"_408":394},{"_467":585,"_441":573,"_42":-5,"_412":-5,"_186":469,"_470":-5,"_92":471},{"_406":1883,"_387":388,"_408":394},{"_409":-5,"_426":588,"_42":-5,"_412":-5,"_428":1884,"_92":430},[],{"_406":1886,"_387":388,"_408":394},{"_409":1887,"_42":593,"_428":1888,"_92":430},[],[],{"_406":1890,"_387":388,"_408":394},{"_441":597,"_42":-5,"_412":-5,"_443":598,"_92":445},{"_406":1892,"_387":388,"_408":394},{"_448":601,"_450":602,"_452":1893,"_454":455,"_392":32,"_456":604,"_42":597,"_457":605,"_459":460,"_399":492,"_92":461},[1894],{"_450":607,"_92":464},{"_406":1896,"_387":388,"_408":394},{"_467":610,"_441":597,"_42":-5,"_412":-5,"_186":469,"_470":-5,"_92":471},{"_406":1898,"_387":388,"_408":394},{"_409":-5,"_426":613,"_42":-5,"_412":-5,"_428":1899,"_92":430},[1900],{"_46":616,"_92":433},{"_406":1902,"_387":388,"_408":394},{"_409":1903,"_42":620,"_428":1904,"_92":430},[],[616],{"_406":1906,"_387":388,"_408":394},{"_624":-5,"_409":1907,"_42":626,"_92":627},[1908],{"_46":629,"_630":1909,"_92":46},[],{"_406":1911,"_387":388,"_408":394},{"_409":1912,"_411":-5,"_42":-5,"_412":-5,"_413":-5,"_96":330,"_92":415},[1913],{"_46":629,"_92":636},{"_406":1915,"_387":388,"_408":394},{"_409":1916,"_411":-5,"_42":-5,"_412":-5,"_413":-5,"_96":330,"_92":415},[1917,1918],{"_46":643,"_92":636},{"_46":642,"_92":636},{"_406":1920,"_387":388,"_408":394},{"_409":1921,"_411":-5,"_42":-5,"_412":-5,"_413":-5,"_96":647,"_92":415},[1922,1923],{"_46":651,"_92":636},{"_46":650,"_92":636},{"_387":388,"_87":1925},{"_103":-5,"_42":394,"_395":1926,"_397":398,"_399":656},[],{"_399":1928,"_387":388},{"_659":1929,"_92":661},[],{"_664":1931},{"_666":-5,"_667":-5,"_668":669,"_670":398,"_454":455,"_671":15,"_672":-5,"_673":-5,"_674":-5,"_675":676,"_42":388,"_677":678,"_186":-5,"_679":-5,"_163":680,"_681":204,"_682":-5,"_459":683,"_399":1932,"_685":-5,"_77":1933,"_687":398},{"_92":403},[],[],[1936],{"_42":692,"_693":1937,"_695":696,"_697":696,"_409":1938,"_399":699,"_411":-5,"_700":32,"_701":1939,"_703":704,"_705":-5},{"_96":330,"_186":-5,"_701":1943},{"_710":46,"_711":1942},{"_706":1940},{"_708":1941},[],[713],{},{"_92":415,"_96":93,"_409":1963},{"_92":722,"_723":1946},[1947,1948,1949,1950],{"_163":563,"_730":-5,"_731":1960,"_733":-5},{"_163":1407,"_730":-5,"_731":1957,"_733":-5},{"_163":1348,"_730":-5,"_731":1954,"_733":-5},{"_163":729,"_730":-5,"_731":1951,"_733":-5},[1952],{"_735":489,"_736":737,"_409":1953,"_739":59},[740,741,204,742,743,744,745,746,747,204,748,749,750,751,752,753,754,755,756,204,757,758,759,760,761,762,763,755,756,204,764,765,766,767,768,769,770,771,772,773,774,775,776,777,778,779,766,767,768,780,778,781,782,783,784,756,204,785,786,787,788,789,790,791,792,793,794,795,796,755,756,204,797,798,756,204,799,800,801,802,803,804,754,755,805,756,204,806,807,808,790,809,810,791,811,812,756,204,813,814,815,816,817,818,204,819,820,821,822,755,823,824,755,204,825,826,827,828,755,204,829,784,756,204,830,831,832,833,834,835,836,837,838,839,204,840,841,842,843,755,844,845,755,204,846,847,848,849,204,850,851,755,204,852,853,854,855,856,857,858,859,860,754,861,862,754,863,864,865,866,867,868,869,870,871,872,873,874,875,867,876,877,867,859,878,879,754,880,881,882,859,754,755,204,850,883,884,754,885,886,887,888,754,755,204,889,890,891,892,893,894,895,754,896,897,754,755,204,898,784,756,204,899,900,901,902,903,904,905,859,906,907,908,909,910,911,912,859,754,755,913,756,204,914,900,901,902,915,916,917,859,918,907,908,919,920,921,922,910,911,923,859,754,755,913,756,204,924,831,925,926,834,835,927,928,929,754,930,931,932,859,933,934,754,755,784,756,204,935,901,902,936,937,938,939,940,941,754,755,784,756,204,942,943,944,945,946,947,948,949,950,951,952,953,954,955,956,957,958,959,960,940,961,754,962,963,961,754,964,965,886,966,967,888,754,968,969,886,970,971,972,888,754,973,974,975,886,976,967,888,754,755,784,756,204,977,978,979,980,981,982,983,984,985,986,859,987,988,989,990,875,867,991,859,754,755,992,756,204,993,994,995,996,997,998,953,954,999,1000,1001,754,956,755,1002,756,204,1003,1004,1005,1006,756,204,1007,1008,1005,1006,756,204,1009,1010,1011,1012,1013,756,204,1014,1015,1016,937,1017,1018,756,204,1019,1020,756,204,1021,1022,1023,1024,755,1025,1026,1027,1011,1028,1029,756,204,1030,1031,756,204,1032,1033,756,204,1034,1035,1036,1037,1038,754,794,1039,913,756,204,1040,1035,1041,1042,1043,1044,1045,754,755,1046,913,756,204,1047,1048,1049,1043,1044,1050,1051,1052,754,755,784,756,204,1053,1054,756,204,1055,1056,1057,1058,1059,754,1060,1061,754,755,756,204,1062,1063,1064,1065,1066,756,204,1062,1067,1064,1065,1068,1069,1070,1071,756,204,1072,1073,1074,1075,1076,204,1077,204,1078,1079,1080,755,204,1078,1081,1082,1083,1084,1085,1086,1087,1088,1089,1090,1091,1092,1093,1094,1095,1096,204,1097,1098,1099,1100,1101,1102,1103,204,1104,755,204,1078,1105,1106,1083,1084,1086,1107,1108,1095,1109,1086,1087,1088,1089,1090,1110,1092,1093,1094,1095,1096,1111,1086,1112,1113,1114,1115,1095,1116,204,1097,1117,1118,1100,1119,1102,1103,204,1104,755,204,1078,1120,1121,1083,1111,1084,1122,1085,1086,1087,1088,1089,1090,1110,1092,1093,1123,1095,1096,204,1124,1098,1125,1100,1126,1102,1103,204,1104,755,204,1078,1127,1128,1129,1130,1131,1132,1133,204,1134,1100,1135,1102,1103,204,1104,1136,1137,754,755,204,1078,1138,1139,1140,1141,1142,755,204,1078,1143,1144,1140,1145,1146,755,204,1078,1147,1148,1149,1150,1151,1152,1153,1154,1155,1156,1157,1158,1159,1160,1161,1162,1163,1164,1165,1166,754,1100,1167,1168,1103,755,204,1078,1169,1148,1170,1171,1151,1172,1173,1174,1175,1162,1163,1176,1177,1166,754,755,204,1078,1178,1148,1179,1180,1181,1182,1183,1184,1185,1186,1187,1188,1189,1190,1162,1163,1191,1192,1166,754,755,204,1078,1193,1148,1194,1179,1180,1195,1196,1197,1198,204,1100,1199,1200,1103,755,204,1078,1201,1148,1202,1203,1151,1204,1205,1206,1207,1208,1209,1210,1211,1212,1213,1214,1215,1216,1162,1217,754,755,204,1078,1218,1148,1202,1203,1219,1220,1221,1222,1223,1224,1162,1163,1225,1226,1166,754,755,204,1078,1227,1148,1202,1203,1228,1229,204,1230,1231,1232,1233,1234,1235,1236,1237,1238,1239,1240,867,1241,1242,1243,1244,1245,1246,1247,1248,1249,1250,1251,1252,1253,1254,1255,1256,1252,1253,1257,1258,1259,1260,1261,1262,1263,1264,1265,1266,1267,1268,1269,1265,867,1270,859,754,204,1271,755,204,1272,1273,1274,1275,755,204,1272,1276,1277,1278,1279,755,204,1280,1281,1282,1283,755,204,1284,1285,1286,1287,1288,859,754,755,204,1289,1290,1291,1292,1293,1294,954,1295,1296,1297,1298,1299,867,986,859,1300,1301,859,1302,1303,1304,1305,1304,1306,1307,986,910,1308,1309,986,859,1310,1311,1312,859,754,1100,1313,1314,1103,1315,755,204,1316,1317,1318,1319,1320,1321,982,983,1322,986,859,1323,1324,910,1325,1326,1327,1328,1329,1330,1331,867,1332,1333,867,1334,1335,867,1336,859,754,1337,1338,1339,1340,1341,754,755,204,1342,1343,1344,1345,1346,1347,755,756],[1955],{"_735":489,"_736":1351,"_409":1956,"_739":59},[1353,204,1354,204,1355,204,1356,204,1357,1358,1359,1360,1361,1362,204,1363,204,1364,1365,1366,1367,204,1368,204,1369,1370,1371,1372,1373,1374,1375,1376,1377,1378,204,1379,204,1380,1381,1382,1383,1384,1385,204,1386,204,1387,1388,1389,1390,1391,1392,204,1393,204,1394,1395,1396,1397,1398,1399,1400,1401,204,1402,204,1403,1404,1405,1406],[1958],{"_735":489,"_736":1410,"_409":1959,"_739":59},[1412,204,1413,204,1414,204,1415,204,1416,1417,1418,204,1419,204,1420,204,1421,1422,1423,1424,1425,204,1426,204,1427,1428,1429,1430,1431,1432,1433,1434,1435,1436,1437,204,1438,204,1439,204,1364,1440,1441,1442,1443,1444,1445,1446,1447,1448,1449,204,1450,204,1451,204,1452,1453,1454,1455,204,1456,204,1457,204,1458,1459,1460,1461,204,1462,1463,1464,1465],[1961],{"_735":489,"_736":1468,"_409":1962,"_739":59},[1470,204,1471,204,1472,1473,1474,204,1475,204,1476,204,1477,204,1478,1479,1480,1481,1482,1483,1484,204,1485,204,1486,1487,1488,1489,204,1490,204,1477,204,1491,1492,1493,1494,1495,1496,1497,1498,1499,1500,1501,1502,1503,1504,1505,1506,1507,1508,1509,1510,1511,1512,1513,1514,1515,1516,1517,1518,1519,1520,1521,1522,1523,1524,1525,1526,1527,1528,1529,1530,1531,1532,1533,1534,1535,1536,1537,1538,1539,1540,1541,1542,1543,1544,1545,1546,1547,1548,1549,1550,1551,1552,1553,1554,1555,204,1485,204,1556,1557,1558,1559,1560,1561,1562,1563,1564,1565,1566,1567,1568,1569,1570,1571,1572,1573,1574,1575,1576,1577,1578,1579,1580,1581,1582,1583,1584,1585,204,1586,204,1587,1588,1589,1590,1591,1592,1593,1594,1595,1596,1597,1598,1599,1600,1601,1602,1603,1604,1605,1606,1607,1608,1609,1610,1611,1612,1613,1614,1615,1616,1617,1618,1619,1620,1621,1622,1623,1624,1625,1626,1627,1628,204,1629,204,1630,1631,1632,1633,1634,204,1635,204,1636,1637,1638,1639,1640],[1964,1965,1966,1967,1968,1969,1970,1971,1972,1973,1974],{"_710":46,"_46":1668},{"_710":1654,"_163":563,"_735":335,"_736":1667},{"_710":1654,"_163":1407,"_735":489,"_736":1666},{"_710":46,"_46":1665},{"_710":1654,"_163":1407,"_735":1663,"_736":1664},{"_710":46,"_46":1662},{"_710":1654,"_163":1348,"_735":1660,"_736":1661},{"_710":1654,"_163":1348,"_735":1658,"_736":1659},{"_710":46,"_46":1657},{"_710":1654,"_163":729,"_735":1655,"_736":1656},{"_710":46,"_46":1653},[1977,1978,1979,1980,1981,1982,1983],{"_1678":1679,"_268":201,"_1680":310,"_279":-5,"_1681":262,"_1682":-5,"_1683":-5,"_1684":1685,"_1686":1687,"_1688":-5,"_1689":-5,"_1690":1691,"_1692":15,"_1693":59,"_1694":54,"_1695":15},{"_92":415,"_96":330,"_409":1984},{"_317":318,"_319":320,"_1712":324,"_1713":129,"_326":-5,"_92":1714},{"_92":1703,"_319":1711,"_163":-5,"_1705":-5,"_1706":-5},{"_92":1703,"_319":1710,"_163":1407,"_1705":1708,"_1706":-5},{"_92":1703,"_319":1709,"_163":-5,"_1705":-5,"_1706":-5},{"_92":1703,"_319":1707,"_163":563,"_1705":1708,"_1706":-5},{"_92":1703,"_319":1704,"_163":-5,"_1705":-5,"_1706":-5},[1985],{"_710":46,"_46":1717},"task_e_6a3836d5fbc4832a8074e405fe07144b",1782068949.983571,"GitHub Mention: release: prepare v0.2.0-alpha.1","has_generated_title","has_unread_turn","denormalized_metadata",{"_2017":32,"_2018":2019,"_2020":-5,"_2021":-5,"_2012":2022,"_2023":-5,"_2024":-5,"_2025":-5,"_2026":-5},"task_status_display",{"_2005":2006,"_2007":201,"_130":127,"_2008":-5,"_2009":2010},"creator_workspace","external_pull_requests",[1998],{"_42":1999,"_2000":83,"_2001":2002,"_2003":129},"github-1272888914-29","assistant_turn_id","pull_request",{"_309":310,"_300":311,"_312":313,"_314":15,"_315":59,"_316":15,"_317":318,"_319":320,"_321":272,"_322":127,"_323":324,"_325":129,"_326":327,"_328":-5,"_329":-5,"_330":2004,"_332":333,"_334":335,"_336":337,"_338":339},"codex_updated_sha",{"_294":295,"_186":295,"_340":-5,"_298":299,"_42":296},"latest_turn_status_display",{"_2011":83,"_112":113,"_2012":-5,"_94":2013,"_2014":-5,"_2015":-5,"_2016":2010,"_114":-5},"environment_label","fix_task_id","initial_intent","pr","turn_id","diff_stats",[],"image_asset_pointer_citations","issue_counts","intent","num_follow_ups","repo_name_map",{},"last_user_turn_created_at","last_turn_status",{"_2027":-5,"_2028":-5,"_2029":-5},"last_pushed_turn_id","start_branch_name","pushed_branch_name","cached_pull_request_data","files_modified","lines_added","lines_removed","dd",{"_2042":2043,"_2044":2045},"disablePrefetch","shouldPrefetchAccount","shouldPrefetchUser","shouldPrefetchSystemHints","promoteCss","disableSSR","stripModulepreloadImports","paidCampaignAppRedirect","statsigGateEvaluationsPromise",["P",2041],"traceId","12322013488557686249","traceTime",1785533635557]