\\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=37)! 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.}\\n\\n\",\"path\":null,\"side\":null,\"line\":null}{\"type\":\"pull_request_comment\",\"body\":\"**_{_{![P1 Badge](https://img.shields.io/badge/P1-orange?style=flat)}} Reject non-SHA digests in profile refs**\\n\\nWhen a typed manifest supplies `digest: Some(\\\"not-a-digest\\\")` or a wrong-length/wrong-algorithm value for any component, this condition treats the reference as digest-locked and can still return `Conformant`. The target-profile ABI's `resource-ref` uses a `sha256-digest`, so accepting arbitrary non-empty strings lets malformed or non-hash-locked component references pass the conformance surface.\\n\\nUseful? React with 👍 / 👎.\",\"path\":\"crates/edict-syntax/src/target_profile.rs\",\"side\":\"RIGHT\",\"line\":null}{\"type\":\"pull_request_comment\",\"body\":\"**_{_{![P1 Badge](https://img.shields.io/badge/P1-orange?style=flat)}} Require direct adapters to be digest-locked**\\n\\nIf `TargetProfileFacts` contains exactly one matching `DirectAdapterSupport` whose `adapter.digest` is `None`, empty, or otherwise invalid, this branch still classifies the effect as `Adapted`. Adapter resolution requires an applicable digest-locked lawpack adapter; otherwise the lowerability result can bless a floating adapter reference instead of rejecting unsupported lowering.\\n\\nUseful? React with 👍 / 👎.\",\"path\":\"crates/edict-syntax/src/lowerability.rs\",\"side\":\"RIGHT\",\"line\":357}{\"type\":\"pull_request_comment\",\"body\":\"**_{_{![P2 Badge](https://img.shields.io/badge/P2-yellow?style=flat)}} Reject multi-target profiles until composite validation exists**\\n\\nWith `multi_target: true`, the current checker never inspects this field and can still return `Conformant`, even though the topic shelf marks multi-target composite validation as deferred and the roadmap defers composite behavior to v2 design. This lets an unvalidated composite target profile pass the v1 conformance surface instead of being rejected until the coordination/atomicity checks exist.\\n\\nUseful? React with 👍 / 👎.\",\"path\":\"crates/edict-syntax/src/target_profile.rs\",\"side\":\"RIGHT\",\"line\":47}{\"type\":\"pull_request_comment\",\"body\":\"**_{_{![P2 Badge](https://img.shields.io/badge/P2-yellow?style=flat)}} Match native effects on per-intrinsic guard support**\\n\\nFor a guarded effect, this match selects native support using only the semantic coordinate and write class. If a target profile supports `precommit-atomic` guards globally but this specific target intrinsic cannot participate in atomic guard evaluation, the report still becomes `Native`; the target-profile ABI models guard participation per effect intrinsic, so guarded lowerability needs to check that per-effect fact before accepting native support.\\n\\nUseful? React with 👍 / 👎.\",\"path\":\"crates/edict-syntax/src/lowerability.rs\",\"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:** `178585a640`\\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}{\"type\":\"pull_request_comment\",\"body\":\"## Activity Summary\\n\\n| # | Severity | Source | File | Commit | Outcome |\\n| --- | --- | --- | --- | --- | --- |\\n| 1 | P1 | PR | `crates/edict-syntax/src/target_profile.rs` | `b4d173c` | Rejected malformed/non-SHA profile resource digests with a behavior regression and updated the target-profile contract docs. |\\n| 2 | P1 | PR | `crates/edict-syntax/src/lowerability.rs` | `a165e80` | Rejected floating or malformed direct-adapter references before classifying an effect as `Adapted`. |\\n| 3 | P2 | PR | `crates/edict-syntax/src/target_profile.rs` | `39d31a7` | Rejected `multiTarget: true` until composite profile validation exists. |\\n| 4 | P2 | PR | `crates/edict-syntax/src/lowerability.rs` | `39c5ac2` | Required selected native/direct support facts to satisfy each effect's guard requirements. |\\n\\nResolved review threads:\\n\\n- `PRRT_kwDOS96-Us6MCRKG`\\n- `PRRT_kwDOS96-Us6MCRKN`\\n- `PRRT_kwDOS96-Us6MCRKV`\\n- `PRRT_kwDOS96-Us6MCRKY`\\n\\nValidation:\\n\\n- RED regressions observed for all four issues before fixes.\\n- `cargo xtask verify` passed locally after all fixes.\\n\",\"path\":null,\"side\":null,\"line\":null}{\"type\":\"pull_request_comment\",\"body\":\"_🎯 Functional Correctness_ | _🟠 Major_ | _🏗️ Heavy lift_\\n\\n**Reject or normalize duplicate native matches instead of picking the first one.**\\n\\nIf `facts.native_effects` contains two compatible entries for the same semantic effect, `.find(...)` returns whichever one appears first, so `LowerabilityEffectStatus::Native { target_intrinsic }` becomes input-order dependent. `TargetProfileFacts` is public and this checker does not canonicalize it, so this should either report native ambiguity or apply a stable tie-break instead of silently selecting the first match.\\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 `@crates/edict-syntax/src/lowerability.rs` around lines 294 - 309, The native\\nmatch selection in lowerability.rs is order-dependent because\\nLowerabilityEffect::find on native_matches silently picks the first compatible\\nTargetProfileFacts::native_effects entry. Update this logic to either reject\\nambiguous native matches by detecting multiple compatible entries and returning\\na clear ambiguity outcome, or apply an explicit stable tie-break in\\nLowerabilityEffectStatus::Native instead of relying on input order; use the\\nexisting supports_required_guards and native_matches filtering to locate the\\nchange.\\n```\\n\\n

\\n\\n\\n\\n\\n\\n\\n\\n\",\"path\":\"crates/edict-syntax/src/lowerability.rs\",\"side\":\"RIGHT\",\"line\":309}{\"type\":\"pull_request_comment\",\"body\":\"_📐 Maintainability & Code Quality_ | _🟠 Major_ | _🏗️ Heavy lift_\\n\\n**Add plan rows and evidence for the non-effect failure branches.**\\n\\n`check_lowerability()` now publishes stable failures for operation-profile, write-class, global-guard, atomicity, postcondition, obstruction, footprint, cost, and optic-contract mismatches (see `crates/edict-syntax/src/lowerability.rs`, Lines 199-260 and 393-430), but this shelf only declares/tests the effect-support branches. Please add requirement/case rows and executable coverage for those obligations before marking the shelf current. As per coding guidelines, \\\"For nontrivial behavior, contract, workflow, release, schema, validation, or public-surface changes, update the owning topic `test-plan.md` with planned requirement and case rows before or alongside the first test\\\" and \\\"Tests must assert software behavior.\\\"\\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/topics/lowerability/test-plan.md` around lines 33 - 57, The test plan is\\nmissing requirement and case coverage for the new non-effect failure branches\\nemitted by check_lowerability(); add rows for the operation-profile,\\nwrite-class, global-guard, atomicity, postcondition, obstruction, footprint,\\ncost, and optic-contract mismatch paths, plus matching test cases and evidence.\\nUpdate the lowerability shelf in test-plan.md to reference the relevant stable\\nfailure kinds from check_lowerability() and add executable coverage in\\ncrates/edict-syntax/tests/lowerability.rs so the tests assert each non-effect\\nobligation failure behavior directly.\\n```\\n\\n

\\n\\n\\n\\n\\n\\n\\n\\n_Source: Coding guidelines_\\n\\n\",\"path\":\"docs/topics/lowerability/test-plan.md\",\"side\":\"RIGHT\",\"line\":57}{\"type\":\"pull_request_comment\",\"body\":\"**Actionable comments posted: 2**\\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 `@crates/edict-syntax/src/lowerability.rs`:\\n- Around line 294-309: The native match selection in lowerability.rs is\\norder-dependent because LowerabilityEffect::find on native_matches silently\\npicks the first compatible TargetProfileFacts::native_effects entry. Update this\\nlogic to either reject ambiguous native matches by detecting multiple compatible\\nentries and returning a clear ambiguity outcome, or apply an explicit stable\\ntie-break in LowerabilityEffectStatus::Native instead of relying on input order;\\nuse the existing supports_required_guards and native_matches filtering to locate\\nthe change.\\n\\nIn `@docs/topics/lowerability/test-plan.md`:\\n- Around line 33-57: The test plan is missing requirement and case coverage for\\nthe new non-effect failure branches emitted by check_lowerability(); add rows\\nfor the operation-profile, write-class, global-guard, atomicity, postcondition,\\nobstruction, footprint, cost, and optic-contract mismatch paths, plus matching\\ntest cases and evidence. Update the lowerability shelf in test-plan.md to\\nreference the relevant stable failure kinds from check_lowerability() and add\\nexecutable coverage in crates/edict-syntax/tests/lowerability.rs so the tests\\nassert each non-effect obligation failure behavior directly.\\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**: `d96a8350-087f-4a73-89f9-e96509de89be`\\n\\n

\\n\\n

\\n

📥 Commits

\\n\\nReviewing files that changed from the base of the PR and between 4ea3d993f74490b495fe6e6a9ec2d52f889ccceb and 39c5ac2651e64f2db6ebba89ab6f832cba6ed167.\\n\\n

\\n\\n

\\n

📒 Files selected for processing (17)

\\n\\n* `CHANGELOG.md`\\n* `README.md`\\n* `crates/edict-syntax/src/core_ir.rs`\\n* `crates/edict-syntax/src/lib.rs`\\n* `crates/edict-syntax/src/lowerability.rs`\\n* `crates/edict-syntax/src/target_profile.rs`\\n* `crates/edict-syntax/tests/lowerability.rs`\\n* `crates/edict-syntax/tests/target_profile.rs`\\n* `docs/README.md`\\n* `docs/SPEC_edict-language-v1.md`\\n* `docs/SPEC_edict-target-profile-abi-v1.md`\\n* `docs/abi/edict-target-profile.cddl`\\n* `docs/topics/README.md`\\n* `docs/topics/lowerability/README.md`\\n* `docs/topics/lowerability/test-plan.md`\\n* `docs/topics/target-profiles/README.md`\\n* `docs/topics/target-profiles/test-plan.md`\\n\\n

\\n\\n

\\n

📜 Review details

\\n\\n

\\n

🧰 Additional context used

\\n\\n

\\n

📓 Path-based instructions (3)

\\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> Pull request bodies for issue work MUST include GitHub auto-close text such as\\n> `Closes `#123`` for every issue the PR is intended to close.\\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,...\\n\\nFiles:\\n- `crates/edict-syntax/tests/lowerability.rs`\\n- `docs/abi/edict-target-profile.cddl`\\n- `CHANGELOG.md`\\n- `docs/topics/README.md`\\n- `docs/topics/target-profiles/README.md`\\n- `docs/topics/lowerability/README.md`\\n- `docs/README.md`\\n- `crates/edict-syntax/src/core_ir.rs`\\n- `docs/SPEC_edict-language-v1.md`\\n- `docs/SPEC_edict-target-profile-abi-v1.md`\\n- `docs/topics/lowerability/test-plan.md`\\n- `crates/edict-syntax/tests/target_profile.rs`\\n- `docs/topics/target-profiles/test-plan.md`\\n- `crates/edict-syntax/src/lib.rs`\\n- `crates/edict-syntax/src/target_profile.rs`\\n- `README.md`\\n- `crates/edict-syntax/src/lowerability.rs`\\n\\n

\\n

docs/topics/**/README.md

\\n\\n\\n**📄 CodeRabbit inference engine (AGENTS.md)**\\n\\n> `docs/topics/**/README.md`: Topic shelf `README.md` files must describe only what is true in HEAD.\\n> Update the topic shelf `README.md` only after the behavior exists in the branch; do not describe intended future behavior there.\\n> Do not churn topic-shelf README files for purely mechanical edits that do not change a contract.\\n\\nFiles:\\n- `docs/topics/README.md`\\n- `docs/topics/target-profiles/README.md`\\n- `docs/topics/lowerability/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`: Update a topic shelf `test-plan.md` before or alongside tests with requirement IDs, case IDs, fixtures, oracles, implemented evidence, planned cases, and known gaps.\\n> Mark planned cases as implemented only when executable evidence exists.\\n> Do not use `policy` rows in topic-shelf test plans to avoid writing behavior tests for software behavior.\\n> Negative tests in topic-shelf test plans should assert stable error kinds or structured artifacts, not merely `is_err()` or diagnostic text.\\n> For nontrivial behavior, contract, workflow, release, schema, validation, or public-surface changes, update the owning topic `test-plan.md` with planned requirement and case rows before or alongside the first test.\\n> Mark planned rows as implemented only after executable evidence exists.\\n\\nFiles:\\n- `docs/topics/lowerability/test-plan.md`\\n- `docs/topics/target-profiles/test-plan.md`\\n\\n

\\n\\n

\\n

🪛 LanguageTool

\\n\\n

\\n

docs/topics/lowerability/test-plan.md

\\n\\n[style] ~63-~63: Three successive sentences begin with the same word. Consider rewording the sentence or use a thesaurus to find a synonym.\\nContext: ...tructured statuses and failure kinds. - Tests do not inspect stdout, stderr, diagnost...\\n\\n(ENGLISH_WORD_REPEAT_BEGINNING_RULE)\\n\\n

\\n

docs/topics/target-profiles/test-plan.md

\\n\\n[style] ~61-~61: Three successive sentences begin with the same word. Consider rewording the sentence or use a thesaurus to find a synonym.\\nContext: ...es, failure kinds, and stable fields. - Tests do not inspect stdout, stderr, diagnost...\\n\\n(ENGLISH_WORD_REPEAT_BEGINNING_RULE)\\n\\n

\\n\\n

\\n

🔇 Additional comments (12)

\\n\\n
\\n
crates/edict-syntax/src/core_ir.rs (1)
\\n\\n`57-70`: LGTM!\\n\\n\\n\\n
\\n
\\n
crates/edict-syntax/src/lib.rs (1)
\\n\\n`16-23`: LGTM!\\n\\n\\n\\nAlso applies to: 36-39, 55-70, 81-86\\n\\n\\n\\n
\\n
\\n
CHANGELOG.md (1)
\\n\\n`11-35`: LGTM!\\n\\n\\n\\n
\\n
\\n
README.md (1)
\\n\\n`482-486`: LGTM!\\n\\n\\n\\nAlso applies to: 499-509\\n\\n\\n\\n
\\n
\\n
docs/topics/README.md (1)
\\n\\n`40-49`: LGTM!\\n\\n\\n\\n
\\n
\\n
docs/README.md (1)
\\n\\n`16-28`: LGTM!\\n\\n\\n\\n
\\n
\\n
crates/edict-syntax/src/target_profile.rs (1)
\\n\\n`1-292`: LGTM!\\n\\n\\n\\n
\\n
\\n
docs/SPEC_edict-target-profile-abi-v1.md (1)
\\n\\n`11-11`: LGTM!\\n\\n\\n\\nAlso applies to: 112-118, 147-173\\n\\n\\n\\n
\\n
\\n
docs/abi/edict-target-profile.cddl (1)
\\n\\n`82-113`: LGTM!\\n\\n\\n\\n
\\n
\\n
docs/topics/target-profiles/README.md (1)
\\n\\n`1-62`: LGTM!\\n\\n\\n\\n
\\n
\\n
crates/edict-syntax/tests/target_profile.rs (1)
\\n\\n`1-172`: LGTM!\\n\\n\\n\\n
\\n
\\n
docs/topics/lowerability/README.md (1)
\\n\\n`22-24`: _📐 Maintainability & Code Quality_\\n\\n**No change needed.** `docs/abi/edict-target-profile.cddl` defines `edict.lowering-requirements/v1`, so this cross-reference points to the correct ABI source. \\n\\n\\t\\t\\t\\t> Likely an incorrect or invalid review comment.\\n\\n\\n\\n
\\n\\n

\\n\\n

\\n\\n\",\"path\":null,\"side\":null,\"line\":null}","text_elements",[],{"_460":871,"_441":442,"_462":448},{"_463":872,"_465":-5,"_44":-5,"_466":-5,"_467":-5,"_99":345,"_95":469},[873],{"_48":867,"_95":874},"input_text",{"_460":876,"_441":442,"_462":448},{"_463":877,"_465":-5,"_44":-5,"_466":-5,"_467":-5,"_99":345,"_95":469},[878,879],{"_48":881,"_95":874},{"_48":880,"_95":874},"\n /workspace/edict\n bash\n 2026-06-24\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\nPull request bodies for issue work MUST include GitHub auto-close text such as\n`Closes #123` for every issue the PR is intended to close.\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- `policy` rows are for human-review workflow contracts. They must not be used\n to avoid writing behavior tests for software behavior.\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## RED/GREEN Testing Discipline\n\nEdict uses RED/GREEN test-driven development for nontrivial changes. The shared\ncontract lives in [docs/topics/tests/](docs/topics/tests/README.md).\n\nFor behavior, contract, workflow, release, schema, validation, or public-surface\nchanges:\n\n1. Update the owning topic `test-plan.md` with planned requirement and case rows\n before or alongside the first test.\n2. Write the deterministic test, fixture, doctest, or contract check before the\n implementation that makes it pass.\n3. Run the narrowest relevant command and observe the RED failure.\n4. Implement the smallest coherent change that turns that test GREEN.\n5. Mark planned rows as implemented only after executable evidence exists.\n6. Report the RED command and GREEN command in the final report or pull request\n body.\n\nTests must assert software behavior. Do not write tests that assert\nimplementation detail, documentation detail, or repository structure. Tests may\nexercise documentation tooling behavior, such as a validator rejecting invalid\ninput, but they must not pass merely because prose contains a phrase or a file\nappears at a particular path.\n\nDo not use after-the-fact tests as a substitute for RED/GREEN. If a change is a\npurely mechanical edit with no contract impact, state that no RED/GREEN cycle\nwas required.\n\n## Documentation Standards\n\nDocumentation is a product interface, not a Markdown inventory. The shared\ndocumentation policy lives in\n[docs/topics/documentation/](docs/topics/documentation/README.md).\n\nWhen creating or changing documentation:\n\n- Give each page one primary reader job: tutorial, how-to, reference,\n explanation, troubleshooting, or contributor guidance.\n- Keep user-facing task help separate from contributor architecture and evidence\n maps.\n- Use concrete, valid examples and show expected results when the result matters.\n- Put exact public facts in reference material and validate or generate them\n from authoritative sources when practical.\n- Update affected documentation in the same change as behavior, schema, release,\n workflow, or public-surface changes, or state `docs-impact: none` with a\n concise rationale.\n\n## Local Verification\n\nUse the local gate before claiming a branch is ready:\n\n```text\ncargo xtask verify\n```\n\n",{"_460":883,"_441":442,"_462":448},{"_463":884,"_465":-5,"_44":-5,"_466":-5,"_467":-5,"_99":885,"_95":469},[886,887],"developer",{"_48":889,"_95":874},{"_48":888,"_95":874},"\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",{"_441":442,"_90":892},{"_106":-5,"_44":448,"_449":893,"_451":452,"_453":894},[],"inProgress",{"_453":896,"_441":442},{"_897":898,"_95":899},"activeFlags",[],"active","thread/started",{"_902":903},"thread",{"_904":-5,"_905":-5,"_906":907,"_908":909,"_493":494,"_910":17,"_911":-5,"_912":-5,"_913":-5,"_914":915,"_44":442,"_916":917,"_201":-5,"_918":-5,"_172":919,"_920":219,"_921":-5,"_498":922,"_453":923,"_924":-5,"_80":925,"_926":909},"agentNickname","agentRole","cliVersion","0.128.0","createdAt",1782341098,"ephemeral","extra","forkedFromId","gitInfo","historyMode","legacy","modelProvider","openai","parentThreadId","/opt/codex/sessions/2026/06/24/rollout-2026-06-24T22-44-58-019efbce-dd7e-7030-9de4-c8e5f7107a27.jsonl","preview","recencyAt","vscode",{"_95":457},"threadSource",[],"updatedAt",[],"messages",[930],{"_44":931,"_932":933,"_934":935,"_936":935,"_463":937,"_453":938,"_465":-5,"_939":34,"_940":941,"_942":943,"_944":-5},"693df2fe-2fc6-42e2-a7e5-440b2b21018a","author",{"_99":345,"_201":-5,"_940":953},"create_time",1782341097.861322,"update_time",{"_949":48,"_950":951},"finished_successfully","weight","metadata",{"_945":946},"recipient","all","channel","l1239dk1",{"_947":948},"inline_comments",[],"content_type","parts",[952],"@codex self-audit finding from local merge gate after addressing review threads:\n\n| Severity | Source | File | Lines | Issue | Mitigation |\n|---|---|---:|---:|---|---|\n| P4 | Self | `crates/edict-syntax/src/lowerability.rs` | 290 | `classify_effect` exceeds the repository clippy `too_many_lines` threshold after adding ambiguous native support handling. | Split effect classification into behavior-preserving helpers and re-run `cargo xtask verify`. |\nAdd v1 lowerability and target-profile conformance checks\n\n## Summary\n\n- Add typed v1 lowerability checks for `LoweringRequirements` against explicit `TargetProfileFacts`, including native, direct-adapter, unsupported, ambiguous-adapter, and chained-adapter rejection behavior.\n- Add typed v1 target-profile manifest conformance checks for runtime-neutral `TargetProfileManifest` values, including Echo-shaped and KV-shaped profile acceptance, digest-locked component validation, Core ABI validation, deferred lawpack-adapter ABI rejection, and atomic application doctrine checks.\n- Refresh the v0.4 signpost docs: lowerability and target-profile topic shelves, target-profile ABI spec notes, README/docs indexes, and CHANGELOG entries.\n\n## Scope Notes\n\nThis intentionally stops before canonical-CBOR manifest loading, CLI explanation commands, target lowerers, verifier reports, bundle creation, or admission tooling. Those remain deferred in the topic shelves.\n\nCloses #5\nRefs #1\n\n## Validation\n\n- RED observed: `cargo test -p edict-syntax --test lowerability` initially failed on missing lowerability API imports.\n- RED observed: `cargo test -p edict-syntax --test target_profile` initially failed on missing target-profile conformance API imports.\n- `cargo test -p edict-syntax --test lowerability`\n- `cargo test -p edict-syntax --test target_profile`\n- `cargo xtask contract-check`\n- `cargo xtask verify`\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/37?utm_source=github_walkthrough&utm_medium=github&utm_campaign=change_stack)\n\n\n\n\n\n\n## Summary by CodeRabbit\n\n* **New Features**\n * Added v1 target-profile conformance checks and typed lowerability checks with clear outcomes for native, adapted, and unsupported cases.\n * Added support for validating digest-locked component references and stricter v1 manifest rules.\n\n* **Documentation**\n * Updated the changelog, README, and topic docs to reflect current v1 capabilities and remaining gaps.\n * Added reference pages and test plans for lowerability and target profiles.\n\n* **Tests**\n * Added coverage for native, adapter-based, and failure scenarios to keep validation behavior consistent.\n\n\n## Walkthrough\nThe PR adds typed v1 target-profile conformance validation, typed v1 lowerability checking, shared digest-locked `ResourceRef` validation, and matching docs, specs, tests, and topic indexes.\n\n## Changes\n**Typed v1 target profiles and lowerability**\n\n|Layer / File(s)|Summary|\n|---|---|\n|**Shared syntax surface**
`crates/edict-syntax/src/core_ir.rs`, `crates/edict-syntax/src/lib.rs`, `CHANGELOG.md`, `README.md`, `docs/README.md`, `docs/topics/README.md`|`edict_syntax` now exports `lowerability` and `target_profile`, adds digest-locked `ResourceRef` validation, wires doctest topic wrappers, and updates the changelog and topic indexes.|\n|**Target-profile validator**
`crates/edict-syntax/src/target_profile.rs`|A typed `TargetProfileManifest` model and validator now check API version, identity, accepted Core ABI, digest-locked references, canonical encoding, fixed v1 doctrine fields, and deduplicated failures.|\n|**Target-profile docs and tests**
`docs/SPEC_edict-target-profile-abi-v1.md`, `docs/abi/edict-target-profile.cddl`, `docs/topics/target-profiles/README.md`, `docs/topics/target-profiles/test-plan.md`, `crates/edict-syntax/tests/target_profile.rs`|The v1 target-profile spec, CDDL, topic docs, and tests describe and exercise conformant Echo/KV manifests plus the v1 rejection cases.|\n|**Lowerability checker**
`crates/edict-syntax/src/lowerability.rs`|Typed lowering requirements and target-profile facts are classified as `Native`, `Adapted`, or `Unsupported`, with direct-adapter, guard, obligation, and digest-lock checks.|\n|**Lowerability docs and tests**
`docs/SPEC_edict-language-v1.md`, `docs/topics/lowerability/README.md`, `docs/topics/lowerability/test-plan.md`, `crates/edict-syntax/tests/lowerability.rs`|The v1 lowerability spec, topic docs, and tests describe direct-only classification, deferred adapter-chain handling, and the supported failure cases.|\n\n## Sequence Diagram(s)\n```mermaid\nsequenceDiagram\n participant Caller\n participant validate_target_profile_manifest\n participant is_digest_locked\n participant TargetProfileConformanceReport\n Caller->>validate_target_profile_manifest: TargetProfileManifest\n validate_target_profile_manifest->>is_digest_locked: verify digest-locked ResourceRef fields\n validate_target_profile_manifest->>TargetProfileConformanceReport: return conformant or non-conformant status\n```\n\n```mermaid\nsequenceDiagram\n participant Caller\n participant check_lowerability\n participant classify_effect\n participant is_digest_locked\n participant LowerabilityReport\n Caller->>check_lowerability: LoweringRequirements + TargetProfileFacts\n check_lowerability->>classify_effect: evaluate each SemanticEffectRequirement\n classify_effect->>is_digest_locked: reject non-digest-locked adapters\n check_lowerability->>LowerabilityReport: return Native, Adapted, or Unsupported\n```\n\n## Estimated code review effort\n🎯 4 (Complex) | ⏱️ ~60 minutes\n\n## Poem\n> Two v1 paths now march in light, \n> with digest locks held firm and tight. \n> Native, adapted, unsupported sing, \n> while docs and tests give truth a ring. \n> ✨\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=37)! 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.}\n\n\n**_{_{![P1 Badge](https://img.shields.io/badge/P1-orange?style=flat)}} Reject non-SHA digests in profile refs**\n\nWhen a typed manifest supplies `digest: Some(\"not-a-digest\")` or a wrong-length/wrong-algorithm value for any component, this condition treats the reference as digest-locked and can still return `Conformant`. The target-profile ABI's `resource-ref` uses a `sha256-digest`, so accepting arbitrary non-empty strings lets malformed or non-hash-locked component references pass the conformance surface.\n\nUseful? React with 👍 / 👎.\n**_{_{![P1 Badge](https://img.shields.io/badge/P1-orange?style=flat)}} Require direct adapters to be digest-locked**\n\nIf `TargetProfileFacts` contains exactly one matching `DirectAdapterSupport` whose `adapter.digest` is `None`, empty, or otherwise invalid, this branch still classifies the effect as `Adapted`. Adapter resolution requires an applicable digest-locked lawpack adapter; otherwise the lowerability result can bless a floating adapter reference instead of rejecting unsupported lowering.\n\nUseful? React with 👍 / 👎.\n**_{_{![P2 Badge](https://img.shields.io/badge/P2-yellow?style=flat)}} Reject multi-target profiles until composite validation exists**\n\nWith `multi_target: true`, the current checker never inspects this field and can still return `Conformant`, even though the topic shelf marks multi-target composite validation as deferred and the roadmap defers composite behavior to v2 design. This lets an unvalidated composite target profile pass the v1 conformance surface instead of being rejected until the coordination/atomicity checks exist.\n\nUseful? React with 👍 / 👎.\n**_{_{![P2 Badge](https://img.shields.io/badge/P2-yellow?style=flat)}} Match native effects on per-intrinsic guard support**\n\nFor a guarded effect, this match selects native support using only the semantic coordinate and write class. If a target profile supports `precommit-atomic` guards globally but this specific target intrinsic cannot participate in atomic guard evaluation, the report still becomes `Native`; the target-profile ABI models guard participation per effect intrinsic, so guarded lowerability needs to check that per-effect fact before accepting native support.\n\nUseful? React with 👍 / 👎.\n\n### 💡 Codex Review\n\nHere are some automated review suggestions for this pull request.\n\n**Reviewed commit:** `178585a640`\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

\n## Activity Summary\n\n| # | Severity | Source | File | Commit | Outcome |\n| --- | --- | --- | --- | --- | --- |\n| 1 | P1 | PR | `crates/edict-syntax/src/target_profile.rs` | `b4d173c` | Rejected malformed/non-SHA profile resource digests with a behavior regression and updated the target-profile contract docs. |\n| 2 | P1 | PR | `crates/edict-syntax/src/lowerability.rs` | `a165e80` | Rejected floating or malformed direct-adapter references before classifying an effect as `Adapted`. |\n| 3 | P2 | PR | `crates/edict-syntax/src/target_profile.rs` | `39d31a7` | Rejected `multiTarget: true` until composite profile validation exists. |\n| 4 | P2 | PR | `crates/edict-syntax/src/lowerability.rs` | `39c5ac2` | Required selected native/direct support facts to satisfy each effect's guard requirements. |\n\nResolved review threads:\n\n- `PRRT_kwDOS96-Us6MCRKG`\n- `PRRT_kwDOS96-Us6MCRKN`\n- `PRRT_kwDOS96-Us6MCRKV`\n- `PRRT_kwDOS96-Us6MCRKY`\n\nValidation:\n\n- RED regressions observed for all four issues before fixes.\n- `cargo xtask verify` passed locally after all fixes.\n\n_🎯 Functional Correctness_ | _🟠 Major_ | _🏗️ Heavy lift_\n\n**Reject or normalize duplicate native matches instead of picking the first one.**\n\nIf `facts.native_effects` contains two compatible entries for the same semantic effect, `.find(...)` returns whichever one appears first, so `LowerabilityEffectStatus::Native { target_intrinsic }` becomes input-order dependent. `TargetProfileFacts` is public and this checker does not canonicalize it, so this should either report native ambiguity or apply a stable tie-break instead of silently selecting the first match.\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 `@crates/edict-syntax/src/lowerability.rs` around lines 294 - 309, The native\nmatch selection in lowerability.rs is order-dependent because\nLowerabilityEffect::find on native_matches silently picks the first compatible\nTargetProfileFacts::native_effects entry. Update this logic to either reject\nambiguous native matches by detecting multiple compatible entries and returning\na clear ambiguity outcome, or apply an explicit stable tie-break in\nLowerabilityEffectStatus::Native instead of relying on input order; use the\nexisting supports_required_guards and native_matches filtering to locate the\nchange.\n```\n\n

\n\n\n\n\n\n\n\n\n_📐 Maintainability & Code Quality_ | _🟠 Major_ | _🏗️ Heavy lift_\n\n**Add plan rows and evidence for the non-effect failure branches.**\n\n`check_lowerability()` now publishes stable failures for operation-profile, write-class, global-guard, atomicity, postcondition, obstruction, footprint, cost, and optic-contract mismatches (see `crates/edict-syntax/src/lowerability.rs`, Lines 199-260 and 393-430), but this shelf only declares/tests the effect-support branches. Please add requirement/case rows and executable coverage for those obligations before marking the shelf current. As per coding guidelines, \"For nontrivial behavior, contract, workflow, release, schema, validation, or public-surface changes, update the owning topic `test-plan.md` with planned requirement and case rows before or alongside the first test\" and \"Tests must assert software behavior.\"\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/topics/lowerability/test-plan.md` around lines 33 - 57, The test plan is\nmissing requirement and case coverage for the new non-effect failure branches\nemitted by check_lowerability(); add rows for the operation-profile,\nwrite-class, global-guard, atomicity, postcondition, obstruction, footprint,\ncost, and optic-contract mismatch paths, plus matching test cases and evidence.\nUpdate the lowerability shelf in test-plan.md to reference the relevant stable\nfailure kinds from check_lowerability() and add executable coverage in\ncrates/edict-syntax/tests/lowerability.rs so the tests assert each non-effect\nobligation failure behavior directly.\n```\n\n

\n\n\n\n\n\n\n\n_Source: Coding guidelines_\n\n\n**Actionable comments posted: 2**\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 `@crates/edict-syntax/src/lowerability.rs`:\n- Around line 294-309: The native match selection in lowerability.rs is\norder-dependent because LowerabilityEffect::find on native_matches silently\npicks the first compatible TargetProfileFacts::native_effects entry. Update this\nlogic to either reject ambiguous native matches by detecting multiple compatible\nentries and returning a clear ambiguity outcome, or apply an explicit stable\ntie-break in LowerabilityEffectStatus::Native instead of relying on input order;\nuse the existing supports_required_guards and native_matches filtering to locate\nthe change.\n\nIn `@docs/topics/lowerability/test-plan.md`:\n- Around line 33-57: The test plan is missing requirement and case coverage for\nthe new non-effect failure branches emitted by check_lowerability(); add rows\nfor the operation-profile, write-class, global-guard, atomicity, postcondition,\nobstruction, footprint, cost, and optic-contract mismatch paths, plus matching\ntest cases and evidence. Update the lowerability shelf in test-plan.md to\nreference the relevant stable failure kinds from check_lowerability() and add\nexecutable coverage in crates/edict-syntax/tests/lowerability.rs so the tests\nassert each non-effect obligation failure behavior directly.\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**: `d96a8350-087f-4a73-89f9-e96509de89be`\n\n

\n\n

📥 Commits

\n\nReviewing files that changed from the base of the PR and between 4ea3d993f74490b495fe6e6a9ec2d52f889ccceb and 39c5ac2651e64f2db6ebba89ab6f832cba6ed167.\n\n

\n\n

📒 Files selected for processing (17)

\n\n* `CHANGELOG.md`\n* `README.md`\n* `crates/edict-syntax/src/core_ir.rs`\n* `crates/edict-syntax/src/lib.rs`\n* `crates/edict-syntax/src/lowerability.rs`\n* `crates/edict-syntax/src/target_profile.rs`\n* `crates/edict-syntax/tests/lowerability.rs`\n* `crates/edict-syntax/tests/target_profile.rs`\n* `docs/README.md`\n* `docs/SPEC_edict-language-v1.md`\n* `docs/SPEC_edict-target-profile-abi-v1.md`\n* `docs/abi/edict-target-profile.cddl`\n* `docs/topics/README.md`\n* `docs/topics/lowerability/README.md`\n* `docs/topics/lowerability/test-plan.md`\n* `docs/topics/target-profiles/README.md`\n* `docs/topics/target-profiles/test-plan.md`\n\n

\n\n

📜 Review details

\n\n

🧰 Additional context used

\n\n

📓 Path-based instructions (3)

\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> Pull request bodies for issue work MUST include GitHub auto-close text such as\n> `Closes `#123`` for every issue the PR is intended to close.\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,...\n\nFiles:\n- `crates/edict-syntax/tests/lowerability.rs`\n- `docs/abi/edict-target-profile.cddl`\n- `CHANGELOG.md`\n- `docs/topics/README.md`\n- `docs/topics/target-profiles/README.md`\n- `docs/topics/lowerability/README.md`\n- `docs/README.md`\n- `crates/edict-syntax/src/core_ir.rs`\n- `docs/SPEC_edict-language-v1.md`\n- `docs/SPEC_edict-target-profile-abi-v1.md`\n- `docs/topics/lowerability/test-plan.md`\n- `crates/edict-syntax/tests/target_profile.rs`\n- `docs/topics/target-profiles/test-plan.md`\n- `crates/edict-syntax/src/lib.rs`\n- `crates/edict-syntax/src/target_profile.rs`\n- `README.md`\n- `crates/edict-syntax/src/lowerability.rs`\n\n

docs/topics/**/README.md

\n\n\n**📄 CodeRabbit inference engine (AGENTS.md)**\n\n> `docs/topics/**/README.md`: Topic shelf `README.md` files must describe only what is true in HEAD.\n> Update the topic shelf `README.md` only after the behavior exists in the branch; do not describe intended future behavior there.\n> Do not churn topic-shelf README files for purely mechanical edits that do not change a contract.\n\nFiles:\n- `docs/topics/README.md`\n- `docs/topics/target-profiles/README.md`\n- `docs/topics/lowerability/README.md`\n\n

docs/topics/**/test-plan.md

\n\n\n**📄 CodeRabbit inference engine (AGENTS.md)**\n\n> `docs/topics/**/test-plan.md`: Update a topic shelf `test-plan.md` before or alongside tests with requirement IDs, case IDs, fixtures, oracles, implemented evidence, planned cases, and known gaps.\n> Mark planned cases as implemented only when executable evidence exists.\n> Do not use `policy` rows in topic-shelf test plans to avoid writing behavior tests for software behavior.\n> Negative tests in topic-shelf test plans should assert stable error kinds or structured artifacts, not merely `is_err()` or diagnostic text.\n> For nontrivial behavior, contract, workflow, release, schema, validation, or public-surface changes, update the owning topic `test-plan.md` with planned requirement and case rows before or alongside the first test.\n> Mark planned rows as implemented only after executable evidence exists.\n\nFiles:\n- `docs/topics/lowerability/test-plan.md`\n- `docs/topics/target-profiles/test-plan.md`\n\n

\n\n

🪛 LanguageTool

\n\n

docs/topics/lowerability/test-plan.md

\n\n[style] ~63-~63: Three successive sentences begin with the same word. Consider rewording the sentence or use a thesaurus to find a synonym.\nContext: ...tructured statuses and failure kinds. - Tests do not inspect stdout, stderr, diagnost...\n\n(ENGLISH_WORD_REPEAT_BEGINNING_RULE)\n\n

docs/topics/target-profiles/test-plan.md

\n\n[style] ~61-~61: Three successive sentences begin with the same word. Consider rewording the sentence or use a thesaurus to find a synonym.\nContext: ...es, failure kinds, and stable fields. - Tests do not inspect stdout, stderr, diagnost...\n\n(ENGLISH_WORD_REPEAT_BEGINNING_RULE)\n\n

\n\n

🔇 Additional comments (12)

\n\n
\n
crates/edict-syntax/src/core_ir.rs (1)
\n\n`57-70`: LGTM!\n\n\n\n
\n
\n
crates/edict-syntax/src/lib.rs (1)
\n\n`16-23`: LGTM!\n\n\n\nAlso applies to: 36-39, 55-70, 81-86\n\n\n\n
\n
\n
CHANGELOG.md (1)
\n\n`11-35`: LGTM!\n\n\n\n
\n
\n
README.md (1)
\n\n`482-486`: LGTM!\n\n\n\nAlso applies to: 499-509\n\n\n\n
\n
\n
docs/topics/README.md (1)
\n\n`40-49`: LGTM!\n\n\n\n
\n
\n
docs/README.md (1)
\n\n`16-28`: LGTM!\n\n\n\n
\n
\n
crates/edict-syntax/src/target_profile.rs (1)
\n\n`1-292`: LGTM!\n\n\n\n
\n
\n
docs/SPEC_edict-target-profile-abi-v1.md (1)
\n\n`11-11`: LGTM!\n\n\n\nAlso applies to: 112-118, 147-173\n\n\n\n
\n
\n
docs/abi/edict-target-profile.cddl (1)
\n\n`82-113`: LGTM!\n\n\n\n
\n
\n
docs/topics/target-profiles/README.md (1)
\n\n`1-62`: LGTM!\n\n\n\n
\n
\n
crates/edict-syntax/tests/target_profile.rs (1)
\n\n`1-172`: LGTM!\n\n\n\n
\n
\n
docs/topics/lowerability/README.md (1)
\n\n`22-24`: _📐 Maintainability & Code Quality_\n\n**No change needed.** `docs/abi/edict-target-profile.cddl` defines `edict.lowering-requirements/v1`, so this cross-reference points to the correct ABI source. \n\n\t\t\t\t> Likely an incorrect or invalid review comment.\n\n\n\n
\n\n

\n\n

\n\n",{},"created",1782341209.9855638,"Completing the task","event_type","info",{"_95":469,"_99":96,"_463":1299},{"_95":986,"_987":988},{"_95":962,"_963":562,"_964":965,"_966":967,"_968":-5},"pr","pr_title","pr_message","### Motivation\n\n- `classify_effect` exceeded the repository clippy `too_many_lines` threshold after adding ambiguous native support handling, so it was split into smaller helpers to improve maintainability while preserving behavior.\n\n### Description\n\n- Split `classify_effect` into focused helpers in `crates/edict-syntax/src/lowerability.rs`: `matching_native_effects`, `native_effect_with_required_guards`, `native_effect_result`, `matching_direct_adapters`, `classify_direct_adapter`, `adapted_effect_result`, `unsupported_effect`, and `missing_support_kind`.\n- Preserved the original v1 classification order and outcomes, keeping existing stable failure kinds such as `UndigestedAdapter`, `AmbiguousAdapter`, `ChainedAdapterUnsupported`, and `UnsupportedEffectGuard` unchanged.\n- This is a mechanical maintainability refactor and does not change public types, contracts, or topic-shelf claims (`docs-impact: none`).\n\n### Testing\n\n- Ran `cargo fmt --all -- --check` and `git diff --check`, both of which succeeded locally.\n- Committed the change as `0674186` with message `Refactor lowerability effect classification`.\n- Attempted `cargo test -p edict-syntax --test lowerability` and `cargo xtask verify`, but both could not complete due to crates.io network failures when fetching the `sha2` dependency (`CONNECT tunnel failed, response 403`), so the unit tests could not be executed to completion.\n- `cargo test --offline` also failed because the required dependency was not available in the offline cache.","output_diff",{"_95":966,"_969":494,"_131":132,"_970":-5,"_344":971,"_972":973,"_974":975,"_976":977,"_978":979,"_980":562,"_981":982},"pre_apply_patch","repo_id","preapply_patch_base_commit_sha","diff --git a/crates/edict-syntax/src/lowerability.rs b/crates/edict-syntax/src/lowerability.rs\nindex b28421e5da1675ba556b1ec6c5a9731a271038bf..6bf82ab1e222a22d09b63ce1cdb7cec405c39cd0 100644\n--- a/crates/edict-syntax/src/lowerability.rs\n+++ b/crates/edict-syntax/src/lowerability.rs\n@@ -269,142 +269,168 @@ pub fn check_lowerability(\n }\n \n let status = if failures.is_empty() {\n if used_adapter {\n LowerabilityStatus::Adapted\n } else {\n LowerabilityStatus::Native\n }\n } else {\n LowerabilityStatus::Unsupported\n };\n \n LowerabilityReport {\n status,\n target_profile: facts.coordinate.clone(),\n effect_results,\n failures,\n }\n }\n \n fn classify_effect(\n effect: &SemanticEffectRequirement,\n facts: &TargetProfileFacts,\n failures: &mut Vec,\n ) -> LowerabilityEffectResult {\n- let native_matches = facts\n+ let native_matches = matching_native_effects(effect, facts);\n+ if let Some(native) = native_effect_with_required_guards(effect, &native_matches) {\n+ return native_effect_result(effect, native);\n+ }\n+\n+ let adapters = matching_direct_adapters(effect, facts);\n+ classify_direct_adapter(effect, native_matches.is_empty(), &adapters, failures)\n+}\n+\n+fn matching_native_effects<'a>(\n+ effect: &SemanticEffectRequirement,\n+ facts: &'a TargetProfileFacts,\n+) -> Vec<&'a NativeEffectSupport> {\n+ facts\n .native_effects\n .iter()\n .filter(|support| {\n support.coordinate == effect.coordinate && support.write_class == effect.write_class\n })\n- .collect::>();\n- if let Some(native) = native_matches\n+ .collect()\n+}\n+\n+fn native_effect_with_required_guards<'a>(\n+ effect: &SemanticEffectRequirement,\n+ native_matches: &'a [&'a NativeEffectSupport],\n+) -> Option<&'a NativeEffectSupport> {\n+ native_matches\n .iter()\n+ .copied()\n .find(|support| supports_required_guards(&effect.guard_kinds, &support.guard_kinds))\n- {\n- return LowerabilityEffectResult {\n- semantic_effect: effect.coordinate.clone(),\n- status: LowerabilityEffectStatus::Native {\n- target_intrinsic: native.target_intrinsic.clone(),\n- },\n- };\n+}\n+\n+fn native_effect_result(\n+ effect: &SemanticEffectRequirement,\n+ native: &NativeEffectSupport,\n+) -> LowerabilityEffectResult {\n+ LowerabilityEffectResult {\n+ semantic_effect: effect.coordinate.clone(),\n+ status: LowerabilityEffectStatus::Native {\n+ target_intrinsic: native.target_intrinsic.clone(),\n+ },\n }\n+}\n \n- let adapters = facts\n+fn matching_direct_adapters<'a>(\n+ effect: &SemanticEffectRequirement,\n+ facts: &'a TargetProfileFacts,\n+) -> Vec<&'a DirectAdapterSupport> {\n+ facts\n .direct_adapters\n .iter()\n .filter(|adapter| {\n adapter.semantic_effect == effect.coordinate\n && adapter.write_class == effect.write_class\n })\n- .collect::>();\n-\n- match adapters.as_slice() {\n- [] => {\n- let kind = if native_matches.is_empty() {\n- LowerabilityFailureKind::MissingEffectSupport\n- } else {\n- LowerabilityFailureKind::UnsupportedEffectGuard\n- };\n- push_failure(failures, kind, &effect.coordinate);\n- LowerabilityEffectResult {\n- semantic_effect: effect.coordinate.clone(),\n- status: LowerabilityEffectStatus::Unsupported,\n- }\n- }\n+ .collect()\n+}\n+\n+fn classify_direct_adapter(\n+ effect: &SemanticEffectRequirement,\n+ native_matches_empty: bool,\n+ adapters: &[&DirectAdapterSupport],\n+ failures: &mut Vec,\n+) -> LowerabilityEffectResult {\n+ match adapters {\n+ [] => unsupported_effect(effect, missing_support_kind(native_matches_empty), failures),\n [adapter] if !adapter.adapter.is_digest_locked() => {\n- push_failure(\n- failures,\n- LowerabilityFailureKind::UndigestedAdapter,\n- &effect.coordinate,\n- );\n- LowerabilityEffectResult {\n- semantic_effect: effect.coordinate.clone(),\n- status: LowerabilityEffectStatus::Unsupported,\n- }\n+ unsupported_effect(effect, LowerabilityFailureKind::UndigestedAdapter, failures)\n }\n [adapter] if !supports_required_guards(&effect.guard_kinds, &adapter.guard_kinds) => {\n- push_failure(\n- failures,\n+ unsupported_effect(\n+ effect,\n LowerabilityFailureKind::UnsupportedEffectGuard,\n- &effect.coordinate,\n- );\n- LowerabilityEffectResult {\n- semantic_effect: effect.coordinate.clone(),\n- status: LowerabilityEffectStatus::Unsupported,\n- }\n- }\n- [adapter] if adapter.emits_semantic_effects.is_empty() => LowerabilityEffectResult {\n- semantic_effect: effect.coordinate.clone(),\n- status: LowerabilityEffectStatus::Adapted {\n- adapter: adapter.adapter.clone(),\n- target_intrinsic: adapter.target_intrinsic.clone(),\n- },\n- },\n- [_adapter] => {\n- push_failure(\n failures,\n- LowerabilityFailureKind::ChainedAdapterUnsupported,\n- &effect.coordinate,\n- );\n- LowerabilityEffectResult {\n- semantic_effect: effect.coordinate.clone(),\n- status: LowerabilityEffectStatus::Unsupported,\n- }\n+ )\n }\n- _ => {\n- push_failure(\n- failures,\n- LowerabilityFailureKind::AmbiguousAdapter,\n- &effect.coordinate,\n- );\n- LowerabilityEffectResult {\n- semantic_effect: effect.coordinate.clone(),\n- status: LowerabilityEffectStatus::Unsupported,\n- }\n+ [adapter] if adapter.emits_semantic_effects.is_empty() => {\n+ adapted_effect_result(effect, adapter)\n }\n+ [_adapter] => unsupported_effect(\n+ effect,\n+ LowerabilityFailureKind::ChainedAdapterUnsupported,\n+ failures,\n+ ),\n+ _ => unsupported_effect(effect, LowerabilityFailureKind::AmbiguousAdapter, failures),\n+ }\n+}\n+\n+const fn missing_support_kind(native_matches_empty: bool) -> LowerabilityFailureKind {\n+ if native_matches_empty {\n+ LowerabilityFailureKind::MissingEffectSupport\n+ } else {\n+ LowerabilityFailureKind::UnsupportedEffectGuard\n+ }\n+}\n+\n+fn adapted_effect_result(\n+ effect: &SemanticEffectRequirement,\n+ adapter: &DirectAdapterSupport,\n+) -> LowerabilityEffectResult {\n+ LowerabilityEffectResult {\n+ semantic_effect: effect.coordinate.clone(),\n+ status: LowerabilityEffectStatus::Adapted {\n+ adapter: adapter.adapter.clone(),\n+ target_intrinsic: adapter.target_intrinsic.clone(),\n+ },\n+ }\n+}\n+\n+fn unsupported_effect(\n+ effect: &SemanticEffectRequirement,\n+ kind: LowerabilityFailureKind,\n+ failures: &mut Vec,\n+) -> LowerabilityEffectResult {\n+ push_failure(failures, kind, &effect.coordinate);\n+ LowerabilityEffectResult {\n+ semantic_effect: effect.coordinate.clone(),\n+ status: LowerabilityEffectStatus::Unsupported,\n }\n }\n \n fn supports_required_guards(required: &[GuardKind], supported: &[GuardKind]) -> bool {\n required.iter().all(|guard| supported.contains(guard))\n }\n \n fn check_effect_obligations(\n effect: &SemanticEffectRequirement,\n facts: &TargetProfileFacts,\n failures: &mut Vec,\n ) {\n let write_classes = value_set(&facts.write_classes);\n if !write_classes.contains(&effect.write_class) {\n push_failure(\n failures,\n LowerabilityFailureKind::UnsupportedWriteClass,\n format!(\"{:?}\", effect.write_class),\n );\n }\n check_values(\n &effect.guard_kinds,\n &value_set(&facts.guard_kinds),\n LowerabilityFailureKind::UnsupportedGuard,\n failures,\n","external_storage_diff",{"_983":984,"_985":-5},"files_modified",1,"lines_added",96,"lines_removed",70,"commit_message","additional_parent_commit_shas",[],"file_id","file_0000000044a471f799c3dec209fc1c0d","ttl","partial_repo_snapshot","files",[989],{"_172":990,"_991":-5,"_992":993,"_994":-5},"crates/edict-syntax/src/lowerability.rs","contents","line_range_contents",[995],"missing_reason",{"_996":975,"_997":998,"_463":999,"_1000":61},"line_range_start","line_range_end",509,[1001,1002,1003,1004,1005,1006,219,1007,219,1008,219,1009,1010,1011,1012,1013,1014,1015,1016,1017,1018,1019,1020,219,1021,1010,1022,1023,1019,1020,219,1024,1010,1025,1026,1019,1020,219,1027,1028,1029,1030,1031,1032,1033,1034,1035,1020,219,1036,1028,1037,1038,1039,1040,1032,1041,1042,1033,1034,1035,1043,1020,219,1044,1028,1045,1030,1046,1031,1032,1020,219,1047,1028,1048,1049,1046,1050,1031,1032,1051,1020,219,1052,1028,1053,1030,1054,1055,1056,1057,1032,1058,1042,1033,1034,1035,1059,1020,219,1060,1061,1062,1063,1064,1065,1020,219,1066,1061,1067,1068,1069,1070,1071,1072,1073,1074,1075,1076,1077,1078,1079,1080,1081,1020,219,1082,1028,1083,1084,1085,1020,219,1086,1028,1087,1088,1089,1090,1091,1092,1089,1090,1065,1020,219,1093,1028,1094,1049,1095,1020,219,1096,1097,1098,1099,1100,219,1097,1101,1102,1103,1104,1105,1100,1020,219,1106,1028,1107,1108,1109,1110,1111,1020,219,1112,1113,1114,1115,1116,1117,1118,1119,1120,1121,1122,1123,1124,1125,1126,1127,1128,1129,219,1130,1131,1132,1133,1134,1135,1136,1100,1137,1132,1133,1138,1139,1136,1100,1140,1132,1133,1141,1142,1136,1100,219,1143,1144,1145,1146,1147,1148,1143,1149,1150,1151,1147,1148,1152,1153,1154,1155,1147,1148,1152,1156,1157,1158,1147,1148,1152,1159,1160,1161,1147,1148,1162,1163,1164,1132,1133,1165,1166,1136,1100,219,1167,1168,1169,1170,1171,1172,1173,1100,219,1174,1175,1176,1177,1178,1105,1179,1180,1181,219,1182,1183,1184,1185,1186,1100,1020,219,1187,1188,1120,1189,1190,1191,1192,1193,1100,219,1194,1195,1020,219,1196,1188,1197,1198,1199,1200,1201,1202,1203,1204,1205,1020,219,1206,1188,1207,1208,1209,1201,1210,1211,1020,219,1212,1188,1213,1190,1214,1215,1216,1217,1218,1100,1020,219,1219,1188,1197,1220,1199,1221,1201,1222,1223,1224,1204,1205,1020,219,1225,1188,1226,1227,1189,1190,1228,1229,1230,1231,1105,1232,1233,1234,1235,1236,1237,1105,1238,1239,1105,1240,1241,1242,1243,1244,1245,1100,1020,219,1246,1247,1248,1179,1249,1100,1020,219,1250,1188,1251,1190,1214,1215,1252,1253,1254,1218,1100,1020,219,1255,1188,1256,1189,1190,1257,1214,1215,1258,1100,1020,219,1259,1260,1020,219,1261,1188,1120,1189,1262,1123,1263,1132,1243,1264,1265,1136,1100,1143,1266,1267,1151,1186,1148,1152,1268,1269,1155,1186,1148,1152,1270,1271,1158,1186,1148,1152,1272,1273,1161,1186,1148,1020,219,1274,1275,1276,1256,1189,1277,1278,1279,1280,1281,1282,1105,1100,1020,219,1283,1284,1285,1256,1189,1262,1280,1281,1286,1105,1100,1020,219,1287,1288,1289,1279,1290,1020,219,1291,1290,1020,219,1292,1189,1256,1293,1262,1294,1295,1296,1181,1297,1298,1100,1020],"contains_end_of_file","//! Typed v1 lowerability checks.","//!","//! This module models the pre-target-lowering question: whether a typed","//! `LoweringRequirements` artifact is supported by explicit target-profile","//! facts. It does not lower Core to Target IR and it does not perform","//! admission.","use std::collections::BTreeSet;","use crate::core_ir::ResourceRef;","/// Runtime write authority class required by a semantic effect or profile.","#[derive(Debug, Clone, PartialEq, Eq, PartialOrd, Ord)]","pub enum WriteClass {"," None,"," Read,"," Create,"," Ensure,"," Append,"," Replace,"," Delete,"," Custom(String),","}","/// Target guard capability required for lowering.","pub enum GuardKind {"," PrecommitAtomic,","/// Atomic application requirement for a lowering request.","pub enum AtomicityRequirement {"," Atomic,","/// Per-effect lowering requirements in a typed requirements artifact.","#[derive(Debug, Clone, PartialEq, Eq)]","pub struct SemanticEffectRequirement {"," pub coordinate: String,"," pub write_class: WriteClass,"," pub guard_kinds: Vec,"," pub obstruction_coordinates: Vec,"," pub footprint_obligations: Vec,"," pub cost_obligations: Vec,","/// Typed contract checked before target lowering.","pub struct LoweringRequirements {"," pub operation_profile: String,"," pub semantic_effects: Vec,"," pub required_write_classes: Vec,"," pub atomicity: AtomicityRequirement,"," pub postcondition_support: bool,"," pub optic_contract: String,","/// Native target support for one semantic effect.","pub struct NativeEffectSupport {"," pub target_intrinsic: String,","/// Direct lawpack adapter support for one semantic effect.","pub struct DirectAdapterSupport {"," pub semantic_effect: String,"," pub adapter: ResourceRef,"," pub emits_semantic_effects: Vec,","/// Explicit target-profile facts available to the v1 lowerability checker.","pub struct TargetProfileFacts {"," pub operation_profiles: Vec,"," pub native_effects: Vec,"," pub direct_adapters: Vec,"," pub write_classes: Vec,"," pub atomicity: Vec,"," pub optic_contracts: Vec,","/// Overall lowerability classification for v1.","#[derive(Debug, Clone, Copy, PartialEq, Eq)]","pub enum LowerabilityStatus {"," Native,"," Adapted,"," Unsupported,","/// Stable failure categories returned by lowerability checks.","pub enum LowerabilityFailureKind {"," MissingOperationProfile,"," UnsupportedWriteClass,"," UnsupportedGuard,"," UnsupportedAtomicity,"," UnsupportedPostcondition,"," MissingObstruction,"," MissingFootprintObligation,"," MissingCostObligation,"," UnsupportedOpticContract,"," MissingEffectSupport,"," AmbiguousAdapter,"," ChainedAdapterUnsupported,"," UndigestedAdapter,"," UnsupportedEffectGuard,","/// One failed lowerability obligation.","pub struct LowerabilityFailure {"," pub kind: LowerabilityFailureKind,"," pub obligation: String,","/// Per-effect support selected by lowerability.","pub enum LowerabilityEffectStatus {"," Native {"," target_intrinsic: String,"," },"," Adapted {"," adapter: ResourceRef,","/// Per-effect lowerability result.","pub struct LowerabilityEffectResult {"," pub status: LowerabilityEffectStatus,","impl LowerabilityEffectResult {"," #[must_use]"," pub const fn is_native(&self) -> bool {"," matches!(self.status, LowerabilityEffectStatus::Native { .. })"," }"," pub fn adapter_coordinate(&self) -> Option<&str> {"," match &self.status {"," LowerabilityEffectStatus::Adapted { adapter, .. } => Some(adapter.coordinate.as_str()),"," LowerabilityEffectStatus::Native { .. } | LowerabilityEffectStatus::Unsupported => None,"," }","/// Complete v1 lowerability report.","pub struct LowerabilityReport {"," pub status: LowerabilityStatus,"," pub target_profile: String,"," pub effect_results: Vec,"," pub failures: Vec,","/// Check typed lowering requirements against explicit target-profile facts.","///","/// The v1 checker supports native target facts and exactly one direct adapter","/// per semantic effect. Adapter chains/composite discharge are deliberately","/// rejected and belong to future v2 adapter-composition work.","#[must_use]","pub fn check_lowerability("," requirements: &LoweringRequirements,"," facts: &TargetProfileFacts,",") -> LowerabilityReport {"," let operation_profiles = string_set(&facts.operation_profiles);"," let write_classes = value_set(&facts.write_classes);"," let guard_kinds = value_set(&facts.guard_kinds);"," let atomicity = value_set(&facts.atomicity);"," let obstructions = string_set(&facts.obstruction_coordinates);"," let footprints = string_set(&facts.footprint_obligations);"," let costs = string_set(&facts.cost_obligations);"," let optic_contracts = string_set(&facts.optic_contracts);"," let mut failures = Vec::new();"," if !operation_profiles.contains(&requirements.operation_profile) {"," push_failure("," &mut failures,"," LowerabilityFailureKind::MissingOperationProfile,"," &requirements.operation_profile,"," );"," if !atomicity.contains(&requirements.atomicity) {"," LowerabilityFailureKind::UnsupportedAtomicity,"," format!(\"{:?}\", requirements.atomicity),"," if requirements.postcondition_support && !facts.postcondition_support {"," LowerabilityFailureKind::UnsupportedPostcondition,"," \"postconditionSupport\","," check_values("," &requirements.required_write_classes,"," &write_classes,"," LowerabilityFailureKind::UnsupportedWriteClass,"," &mut failures,"," );"," &requirements.guard_kinds,"," &guard_kinds,"," LowerabilityFailureKind::UnsupportedGuard,"," check_strings("," &requirements.obstruction_coordinates,"," &obstructions,"," LowerabilityFailureKind::MissingObstruction,"," &requirements.footprint_obligations,"," &footprints,"," LowerabilityFailureKind::MissingFootprintObligation,"," &requirements.cost_obligations,"," &costs,"," LowerabilityFailureKind::MissingCostObligation,"," if !requirements.optic_contract.is_empty()"," && !optic_contracts.contains(&requirements.optic_contract)"," {"," LowerabilityFailureKind::UnsupportedOpticContract,"," &requirements.optic_contract,"," let mut effect_results = Vec::new();"," let mut used_adapter = false;"," for effect in &requirements.semantic_effects {"," check_effect_obligations(effect, facts, &mut failures);"," let result = classify_effect(effect, facts, &mut failures);"," used_adapter |= matches!(result.status, LowerabilityEffectStatus::Adapted { .. });"," effect_results.push(result);"," let status = if failures.is_empty() {"," if used_adapter {"," LowerabilityStatus::Adapted"," } else {"," LowerabilityStatus::Native"," } else {"," LowerabilityStatus::Unsupported"," };"," LowerabilityReport {"," status,"," target_profile: facts.coordinate.clone(),"," effect_results,"," failures,","fn classify_effect("," effect: &SemanticEffectRequirement,"," failures: &mut Vec,",") -> LowerabilityEffectResult {"," let native_matches = matching_native_effects(effect, facts);"," if let Some(native) = native_effect_with_required_guards(effect, &native_matches) {"," return native_effect_result(effect, native);"," let adapters = matching_direct_adapters(effect, facts);"," classify_direct_adapter(effect, native_matches.is_empty(), &adapters, failures)","fn matching_native_effects<'a>("," facts: &'a TargetProfileFacts,",") -> Vec<&'a NativeEffectSupport> {"," facts"," .native_effects"," .iter()"," .filter(|support| {"," support.coordinate == effect.coordinate && support.write_class == effect.write_class"," })"," .collect()","fn native_effect_with_required_guards<'a>("," native_matches: &'a [&'a NativeEffectSupport],",") -> Option<&'a NativeEffectSupport> {"," native_matches"," .copied()"," .find(|support| supports_required_guards(&effect.guard_kinds, &support.guard_kinds))","fn native_effect_result("," native: &NativeEffectSupport,"," LowerabilityEffectResult {"," semantic_effect: effect.coordinate.clone(),"," status: LowerabilityEffectStatus::Native {"," target_intrinsic: native.target_intrinsic.clone(),"," },","fn matching_direct_adapters<'a>(",") -> Vec<&'a DirectAdapterSupport> {"," .direct_adapters"," .filter(|adapter| {"," adapter.semantic_effect == effect.coordinate"," && adapter.write_class == effect.write_class","fn classify_direct_adapter("," native_matches_empty: bool,"," adapters: &[&DirectAdapterSupport],"," match adapters {"," [] => unsupported_effect(effect, missing_support_kind(native_matches_empty), failures),"," [adapter] if !adapter.adapter.is_digest_locked() => {"," unsupported_effect(effect, LowerabilityFailureKind::UndigestedAdapter, failures)"," [adapter] if !supports_required_guards(&effect.guard_kinds, &adapter.guard_kinds) => {"," unsupported_effect("," effect,"," LowerabilityFailureKind::UnsupportedEffectGuard,"," failures,"," )"," [adapter] if adapter.emits_semantic_effects.is_empty() => {"," adapted_effect_result(effect, adapter)"," [_adapter] => unsupported_effect("," effect,"," LowerabilityFailureKind::ChainedAdapterUnsupported,"," failures,"," ),"," _ => unsupported_effect(effect, LowerabilityFailureKind::AmbiguousAdapter, failures),","const fn missing_support_kind(native_matches_empty: bool) -> LowerabilityFailureKind {"," if native_matches_empty {"," LowerabilityFailureKind::MissingEffectSupport"," LowerabilityFailureKind::UnsupportedEffectGuard","fn adapted_effect_result("," adapter: &DirectAdapterSupport,"," status: LowerabilityEffectStatus::Adapted {"," adapter: adapter.adapter.clone(),"," target_intrinsic: adapter.target_intrinsic.clone(),","fn unsupported_effect("," kind: LowerabilityFailureKind,"," push_failure(failures, kind, &effect.coordinate);"," status: LowerabilityEffectStatus::Unsupported,","fn supports_required_guards(required: &[GuardKind], supported: &[GuardKind]) -> bool {"," required.iter().all(|guard| supported.contains(guard))","fn check_effect_obligations(",") {"," if !write_classes.contains(&effect.write_class) {"," LowerabilityFailureKind::UnsupportedWriteClass,"," format!(\"{:?}\", effect.write_class),"," &effect.guard_kinds,"," &value_set(&facts.guard_kinds),"," &effect.obstruction_coordinates,"," &string_set(&facts.obstruction_coordinates),"," &effect.footprint_obligations,"," &string_set(&facts.footprint_obligations),"," &effect.cost_obligations,"," &string_set(&facts.cost_obligations),","fn check_values("," required: &[T],"," supported: &BTreeSet,",") where"," T: Clone + Ord + std::fmt::Debug,","{"," for item in required {"," if !supported.contains(item) {"," push_failure(failures, kind, format!(\"{item:?}\"));","fn check_strings("," required: &[String],"," supported: &BTreeSet,"," push_failure(failures, kind, item);","fn value_set(items: &[T]) -> BTreeSet","where"," T: Clone + Ord,"," items.iter().cloned().collect()","fn string_set(items: &[String]) -> BTreeSet {","fn push_failure("," obligation: impl Into,"," let failure = LowerabilityFailure {"," kind,"," obligation: obligation.into(),"," if !failures.contains(&failure) {"," failures.push(failure);",[1300,1301,1302,1303,1304,1305,1306],{"_949":48,"_48":1317},{"_949":1308,"_172":990,"_996":1315,"_997":1316},{"_949":48,"_48":1314},{"_949":1308,"_172":990,"_996":1312,"_997":1313},{"_949":48,"_48":1311},{"_949":1308,"_172":990,"_996":1309,"_997":1310},{"_949":48,"_48":1307},"\n* Committed the change on the current branch with commit `0674186` (`Refactor lowerability effect classification`) and created the follow-up PR.\n\n**Testing**\n* ✅ `cargo fmt --all -- --check`\n* ✅ `git diff --check`\n* ⚠️ `cargo test -p edict-syntax --test lowerability` — could not complete because crates.io access failed while fetching `sha2`: `CONNECT tunnel failed, response 403`.\n* ⚠️ `cargo test -p edict-syntax --test lowerability --offline` — could not complete because `sha2` was not available in the local offline cache.\n* ⚠️ `cargo xtask verify` — could not complete because crates.io access failed while fetching `sha2`: `CONNECT tunnel failed, response 403`.","repo_file_citation",338,413,"\n* Added helper functions for matching direct adapters, classifying adapter outcomes, and constructing adapted/unsupported results, keeping the existing stable failure kinds unchanged. ",303,336,"\n* Added helper functions for matching native effect facts, checking per-effect guard support, and constructing native results. ",289,300,"**Summary**\n* Split `classify_effect` into a short coordinator that delegates native lookup, adapter lookup, and adapter classification to focused helpers, preserving the existing classification order and outcomes. ",{"_95":345,"_44":87,"_99":345,"_1320":1321,"_1322":1323,"_1324":1325,"_135":-5,"_122":1326},[86],"input_items",[1344,1345,1346,1347,1348,1349,1350,1351,1352,1353,1354,1355],"external_post_config",{"_1327":1328,"_283":216,"_1329":325,"_294":-5,"_969":277,"_1330":-5,"_1331":-5,"_1332":1333,"_1334":1335,"_1336":-5,"_1337":-5,"_1338":1339,"_1340":17,"_1341":61,"_1342":56,"_1343":17},"user_model_slug","slug",1782341086.676798,"installation_id",89912914,"pr_number","gitlab_service_account_project_id","review_trigger","comment_id",4794271075,"comment_type","issue","pr_write_guard_token","pending_pr_reaction_id","pending_comment_reaction_id",374404268,"comment_if_no_findings","comment_on_error","share_url","is_parallel_review",{"_95":469,"_99":345,"_463":1379},{"_332":333,"_334":335,"_1376":339,"_1377":132,"_341":-5,"_95":1378},{"_95":1356,"_334":1375,"_172":-5,"_1358":-5,"_1359":-5},{"_95":1356,"_334":1374,"_172":1370,"_1358":1362,"_1359":-5},{"_95":1356,"_334":1372,"_172":990,"_1358":1362,"_1359":1373},{"_95":1356,"_334":1369,"_172":1370,"_1358":1362,"_1359":1371},{"_95":1356,"_334":1368,"_172":990,"_1358":1362,"_1359":-5},{"_95":1356,"_334":1367,"_172":-5,"_1358":-5,"_1359":-5},{"_95":1356,"_334":1366,"_172":-5,"_1358":-5,"_1359":-5},{"_95":1356,"_334":1364,"_172":990,"_1358":1362,"_1359":1365},{"_95":1356,"_334":1360,"_172":1361,"_1358":1362,"_1359":1363},{"_95":1356,"_334":1357,"_172":-5,"_1358":-5,"_1359":-5},"pull_request_comment","**Actionable comments posted: 2**\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**: `d96a8350-087f-4a73-89f9-e96509de89be`\n\n

\n\n

📥 Commits

\n\nReviewing files that changed from the base of the PR and between 4ea3d993f74490b495fe6e6a9ec2d52f889ccceb and 39c5ac2651e64f2db6ebba89ab6f832cba6ed167.\n\n

\n\n

📒 Files selected for processing (17)

\n\n

📜 Review details

\n\n

🧰 Additional context used

\n\n

📓 Path-based instructions (3)

\n\n

docs/topics/**/README.md

docs/topics/**/test-plan.md

\n\n

🪛 LanguageTool

\n\n

docs/topics/lowerability/test-plan.md

docs/topics/target-profiles/test-plan.md

\n\n

🔇 Additional comments (12)

\n\n
\n
crates/edict-syntax/src/core_ir.rs (1)
\n\n`57-70`: LGTM!\n\n\n\n
\n
\n
crates/edict-syntax/src/lib.rs (1)
\n\n`16-23`: LGTM!\n\n\n\nAlso applies to: 36-39, 55-70, 81-86\n\n\n\n
\n
\n
CHANGELOG.md (1)
\n\n`11-35`: LGTM!\n\n\n\n
\n
\n
README.md (1)
\n\n`482-486`: LGTM!\n\n\n\nAlso applies to: 499-509\n\n\n\n
\n
\n
docs/topics/README.md (1)
\n\n`40-49`: LGTM!\n\n\n\n
\n
\n
docs/README.md (1)
\n\n`16-28`: LGTM!\n\n\n\n
\n
\n
crates/edict-syntax/src/target_profile.rs (1)
\n\n`1-292`: LGTM!\n\n\n\n
\n
\n
docs/SPEC_edict-target-profile-abi-v1.md (1)
\n\n`11-11`: LGTM!\n\n\n\nAlso applies to: 112-118, 147-173\n\n\n\n
\n
\n
docs/abi/edict-target-profile.cddl (1)
\n\n`82-113`: LGTM!\n\n\n\n
\n
\n
docs/topics/target-profiles/README.md (1)
\n\n`1-62`: LGTM!\n\n\n\n
\n
\n
crates/edict-syntax/tests/target_profile.rs (1)
\n\n`1-172`: LGTM!\n\n\n\n
\n
\n
docs/topics/lowerability/README.md (1)
\n\n`22-24`: _📐 Maintainability & Code Quality_\n\n**No change needed.** `docs/abi/edict-target-profile.cddl` defines `edict.lowering-requirements/v1`, so this cross-reference points to the correct ABI source. \n\n\t\t\t\t> Likely an incorrect or invalid review comment.\n\n\n\n
\n\n

\n\n

\n\n","side","line","_📐 Maintainability & Code Quality_ | _🟠 Major_ | _🏗️ Heavy lift_\n\n**Add plan rows and evidence for the non-effect failure branches.**\n\n`check_lowerability()` now publishes stable failures for operation-profile, write-class, global-guard, atomicity, postcondition, obstruction, footprint, cost, and optic-contract mismatches (see `crates/edict-syntax/src/lowerability.rs`, Lines 199-260 and 393-430), but this shelf only declares/tests the effect-support branches. Please add requirement/case rows and executable coverage for those obligations before marking the shelf current. As per coding guidelines, \"For nontrivial behavior, contract, workflow, release, schema, validation, or public-surface changes, update the owning topic `test-plan.md` with planned requirement and case rows before or alongside the first test\" and \"Tests must assert software behavior.\"\n\n

🤖 Prompt for AI Agents

\n\n\n\n\n\n\n\n_Source: Coding guidelines_\n\n","docs/topics/lowerability/test-plan.md","RIGHT",57,"_🎯 Functional Correctness_ | _🟠 Major_ | _🏗️ Heavy lift_\n\n**Reject or normalize duplicate native matches instead of picking the first one.**\n\nIf `facts.native_effects` contains two compatible entries for the same semantic effect, `.find(...)` returns whichever one appears first, so `LowerabilityEffectStatus::Native { target_intrinsic }` becomes input-order dependent. `TargetProfileFacts` is public and this checker does not canonicalize it, so this should either report native ambiguity or apply a stable tie-break instead of silently selecting the first match.\n\n

🤖 Prompt for AI Agents

\n\n\n\n\n\n\n\n",309,"## Activity Summary\n\n| # | Severity | Source | File | Commit | Outcome |\n| --- | --- | --- | --- | --- | --- |\n| 1 | P1 | PR | `crates/edict-syntax/src/target_profile.rs` | `b4d173c` | Rejected malformed/non-SHA profile resource digests with a behavior regression and updated the target-profile contract docs. |\n| 2 | P1 | PR | `crates/edict-syntax/src/lowerability.rs` | `a165e80` | Rejected floating or malformed direct-adapter references before classifying an effect as `Adapted`. |\n| 3 | P2 | PR | `crates/edict-syntax/src/target_profile.rs` | `39d31a7` | Rejected `multiTarget: true` until composite profile validation exists. |\n| 4 | P2 | PR | `crates/edict-syntax/src/lowerability.rs` | `39c5ac2` | Required selected native/direct support facts to satisfy each effect's guard requirements. |\n\nResolved review threads:\n\n- `PRRT_kwDOS96-Us6MCRKG`\n- `PRRT_kwDOS96-Us6MCRKN`\n- `PRRT_kwDOS96-Us6MCRKV`\n- `PRRT_kwDOS96-Us6MCRKY`\n\nValidation:\n\n- RED regressions observed for all four issues before fixes.\n- `cargo xtask verify` passed locally after all fixes.\n","\n### 💡 Codex Review\n\nHere are some automated review suggestions for this pull request.\n\n**Reviewed commit:** `178585a640`\n \n\n

ℹ️ About Codex in GitHub

","**_{_{![P2 Badge](https://img.shields.io/badge/P2-yellow?style=flat)}} Match native effects on per-intrinsic guard support**\n\nFor a guarded effect, this match selects native support using only the semantic coordinate and write class. If a target profile supports `precommit-atomic` guards globally but this specific target intrinsic cannot participate in atomic guard evaluation, the report still becomes `Native`; the target-profile ABI models guard participation per effect intrinsic, so guarded lowerability needs to check that per-effect fact before accepting native support.\n\nUseful? React with 👍 / 👎.","**_{_{![P2 Badge](https://img.shields.io/badge/P2-yellow?style=flat)}} Reject multi-target profiles until composite validation exists**\n\nWith `multi_target: true`, the current checker never inspects this field and can still return `Conformant`, even though the topic shelf marks multi-target composite validation as deferred and the roadmap defers composite behavior to v2 design. This lets an unvalidated composite target profile pass the v1 conformance surface instead of being rejected until the coordination/atomicity checks exist.\n\nUseful? React with 👍 / 👎.","crates/edict-syntax/src/target_profile.rs",47,"**_{_{![P1 Badge](https://img.shields.io/badge/P1-orange?style=flat)}} Require direct adapters to be digest-locked**\n\nIf `TargetProfileFacts` contains exactly one matching `DirectAdapterSupport` whose `adapter.digest` is `None`, empty, or otherwise invalid, this branch still classifies the effect as `Adapted`. Adapter resolution requires an applicable digest-locked lawpack adapter; otherwise the lowerability result can bless a floating adapter reference instead of rejecting unsupported lowering.\n\nUseful? React with 👍 / 👎.",357,"**_{_{![P1 Badge](https://img.shields.io/badge/P1-orange?style=flat)}} Reject non-SHA digests in profile refs**\n\nWhen a typed manifest supplies `digest: Some(\"not-a-digest\")` or a wrong-length/wrong-algorithm value for any component, this condition treats the reference as digest-locked and can still return `Conformant`. The target-profile ABI's `resource-ref` uses a `sha256-digest`, so accepting arbitrary non-empty strings lets malformed or non-hash-locked component references pass the conformance surface.\n\nUseful? React with 👍 / 👎.","\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/37?utm_source=github_walkthrough&utm_medium=github&utm_campaign=change_stack)\n\n\n\n\n\n\n## Summary by CodeRabbit\n\n* **New Features**\n * Added v1 target-profile conformance checks and typed lowerability checks with clear outcomes for native, adapted, and unsupported cases.\n * Added support for validating digest-locked component references and stricter v1 manifest rules.\n\n* **Documentation**\n * Updated the changelog, README, and topic docs to reflect current v1 capabilities and remaining gaps.\n * Added reference pages and test plans for lowerability and target profiles.\n\n* **Tests**\n * Added coverage for native, adapter-based, and failure scenarios to keep validation behavior consistent.\n\n\n## Walkthrough\nThe PR adds typed v1 target-profile conformance validation, typed v1 lowerability checking, shared digest-locked `ResourceRef` validation, and matching docs, specs, tests, and topic indexes.\n\n## Changes\n**Typed v1 target profiles and lowerability**\n\n|Layer / File(s)|Summary|\n|---|---|\n|**Shared syntax surface**
`crates/edict-syntax/src/core_ir.rs`, `crates/edict-syntax/src/lib.rs`, `CHANGELOG.md`, `README.md`, `docs/README.md`, `docs/topics/README.md`|`edict_syntax` now exports `lowerability` and `target_profile`, adds digest-locked `ResourceRef` validation, wires doctest topic wrappers, and updates the changelog and topic indexes.|\n|**Target-profile validator**
`crates/edict-syntax/src/target_profile.rs`|A typed `TargetProfileManifest` model and validator now check API version, identity, accepted Core ABI, digest-locked references, canonical encoding, fixed v1 doctrine fields, and deduplicated failures.|\n|**Target-profile docs and tests**
`docs/SPEC_edict-target-profile-abi-v1.md`, `docs/abi/edict-target-profile.cddl`, `docs/topics/target-profiles/README.md`, `docs/topics/target-profiles/test-plan.md`, `crates/edict-syntax/tests/target_profile.rs`|The v1 target-profile spec, CDDL, topic docs, and tests describe and exercise conformant Echo/KV manifests plus the v1 rejection cases.|\n|**Lowerability checker**
`crates/edict-syntax/src/lowerability.rs`|Typed lowering requirements and target-profile facts are classified as `Native`, `Adapted`, or `Unsupported`, with direct-adapter, guard, obligation, and digest-lock checks.|\n|**Lowerability docs and tests**
`docs/SPEC_edict-language-v1.md`, `docs/topics/lowerability/README.md`, `docs/topics/lowerability/test-plan.md`, `crates/edict-syntax/tests/lowerability.rs`|The v1 lowerability spec, topic docs, and tests describe direct-only classification, deferred adapter-chain handling, and the supported failure cases.|\n\n## Sequence Diagram(s)\n```mermaid\nsequenceDiagram\n participant Caller\n participant validate_target_profile_manifest\n participant is_digest_locked\n participant TargetProfileConformanceReport\n Caller->>validate_target_profile_manifest: TargetProfileManifest\n validate_target_profile_manifest->>is_digest_locked: verify digest-locked ResourceRef fields\n validate_target_profile_manifest->>TargetProfileConformanceReport: return conformant or non-conformant status\n```\n\n```mermaid\nsequenceDiagram\n participant Caller\n participant check_lowerability\n participant classify_effect\n participant is_digest_locked\n participant LowerabilityReport\n Caller->>check_lowerability: LoweringRequirements + TargetProfileFacts\n check_lowerability->>classify_effect: evaluate each SemanticEffectRequirement\n classify_effect->>is_digest_locked: reject non-digest-locked adapters\n check_lowerability->>LowerabilityReport: return Native, Adapted, or Unsupported\n```\n\n## Estimated code review effort\n🎯 4 (Complex) | ⏱️ ~60 minutes\n\n## Poem\n> Two v1 paths now march in light, \n> with digest locks held firm and tight. \n> Native, adapted, unsupported sing, \n> while docs and tests give truth a ring. \n> ✨\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

❤️ Share

\n\n\n_{Comment `@coderabbitai help` to get the list of available commands.}\n\n","base_ref","head_ref","pull_request_info",[1380],{"_949":48,"_48":1381},"@codex self-audit finding from local merge gate after addressing review threads:\n\n| Severity | Source | File | Lines | Issue | Mitigation |\n|---|---|---:|---:|---|---|\n| P4 | Self | `crates/edict-syntax/src/lowerability.rs` | 290 | `classify_effect` exceeds the repository clippy `too_many_lines` threshold after adding ambiguous native support handling. | Split effect classification into behavior-preserving helpers and re-run `cargo xtask verify`. |\n",[1762,1763,1764],[],{"_954":955,"_48":956,"_957":958},{"_928":1753},{"_356":1752},{"_356":1425},{"_324":325,"_315":326,"_327":328,"_329":17,"_330":61,"_331":17,"_332":333,"_334":335,"_336":287,"_337":130,"_338":339,"_340":132,"_341":342,"_343":-5,"_344":-5,"_345":1424,"_347":348,"_349":350,"_351":352,"_353":354},{"_44":126,"_213":214,"_215":216,"_217":17,"_218":219,"_220":221,"_222":1413,"_224":-5,"_225":226,"_227":17,"_228":1414,"_230":219,"_231":219,"_232":1415,"_234":1416,"_236":1417,"_238":-5,"_239":240,"_241":242,"_243":244,"_245":1418,"_57":-5,"_122":247,"_248":1419,"_250":1420,"_252":253,"_254":17,"_255":17},{"_136":1406},[1392,1393,1394,1395,1396,1397,1398,1399,1400,1401,1402,1403,1404,1405],{"_159":191,"_161":162,"_163":164,"_165":166,"_167":192,"_169":170,"_171":34,"_172":-5},{"_159":190,"_161":162,"_163":164,"_165":166,"_167":187,"_169":170,"_171":34,"_172":-5},{"_159":188,"_161":162,"_163":164,"_165":166,"_167":189,"_169":170,"_171":34,"_172":-5},{"_159":186,"_161":162,"_163":164,"_165":166,"_167":187,"_169":170,"_171":34,"_172":-5},{"_159":185,"_161":181,"_163":182,"_165":166,"_167":184,"_169":170,"_171":34,"_172":-5},{"_159":180,"_161":181,"_163":182,"_165":183,"_167":184,"_169":170,"_171":34,"_172":-5},{"_159":179,"_161":162,"_163":164,"_165":166,"_167":168,"_169":170,"_171":34,"_172":-5},{"_159":178,"_161":162,"_163":164,"_165":166,"_167":168,"_169":170,"_171":34,"_172":-5},{"_159":177,"_161":162,"_163":164,"_165":166,"_167":168,"_169":170,"_171":34,"_172":-5},{"_159":176,"_161":162,"_163":164,"_165":166,"_167":168,"_169":170,"_171":34,"_172":-5},{"_159":175,"_161":162,"_163":164,"_165":166,"_167":168,"_169":170,"_171":34,"_172":-5},{"_159":174,"_161":162,"_163":164,"_165":166,"_167":168,"_169":170,"_171":34,"_172":-5},{"_159":173,"_161":162,"_163":164,"_165":166,"_167":168,"_169":170,"_171":34,"_172":-5},{"_159":160,"_161":162,"_163":164,"_165":166,"_167":168,"_169":170,"_171":34,"_172":-5},[1407,1408,1409],{"_197":1412,"_199":210},{"_197":1411,"_199":206},{"_197":1410,"_199":200},{"_201":202,"_95":203,"_122":204},{"_201":207,"_95":203,"_122":208},{"_201":211,"_95":203,"_122":212},{"_317":318,"_319":-5,"_320":-5,"_321":-5,"_322":-5,"_323":-5},[277],{"_277":1421},{"_259":260,"_261":262,"_263":264,"_265":266,"_267":268,"_269":270,"_271":272,"_273":274,"_275":276},{},[],{"_258":61},{"_256":61,"_257":219},{"_44":279,"_201":280,"_281":1422,"_283":216,"_284":285,"_286":287,"_288":289,"_290":291,"_292":293,"_294":66,"_295":17,"_296":-5,"_297":-5,"_298":-5,"_299":-5,"_300":-5,"_301":-5,"_171":302,"_303":-5,"_57":1423},{"_309":310,"_44":311,"_95":312,"_313":314,"_315":316},{"_305":17,"_306":17,"_307":17,"_308":17},{"_309":310,"_201":310,"_355":-5,"_313":314,"_44":311},[1426,1427,1428,1429,1430,1431,1432,1433,1434,1435,1436,1437,1438,1439,1440,1441,1442,1443,1444,1445,1446,1447,1448,1449,1450,1451,1452,1453,1454,1455,1456,1457,1458,1459,1460,1461,1462,1463,1464,1465,1466,1467,1468,1469,1470,1471,1472,1473,1474,1475,1476,1477,1478,1479,1480,1481,1482,1483,1484,1485,1486,1487,1488,1489,1490,1491,1492,1493,1494,1495,1496,1497,1498,1499,1500,1501,1502,1503,1504,1505],{"_165":900,"_439":1748},{"_165":454,"_439":1745},{"_165":890,"_439":1742},{"_165":458,"_439":1737},{"_165":458,"_439":1732},{"_165":458,"_439":1728},{"_165":473,"_439":1723},{"_165":473,"_439":1719},{"_165":458,"_439":1716},{"_165":458,"_439":1714},{"_165":473,"_439":1710},{"_165":458,"_439":1708},{"_165":458,"_439":1706},{"_165":473,"_439":1702},{"_165":458,"_439":1700},{"_165":473,"_439":1696},{"_165":458,"_439":1693},{"_165":458,"_439":1691},{"_165":473,"_439":1685},{"_165":458,"_439":1683},{"_165":473,"_439":1679},{"_165":458,"_439":1675},{"_165":458,"_439":1673},{"_165":458,"_439":1671},{"_165":473,"_439":1667},{"_165":458,"_439":1665},{"_165":458,"_439":1663},{"_165":473,"_439":1659},{"_165":458,"_439":1656},{"_165":458,"_439":1654},{"_165":458,"_439":1652},{"_165":473,"_439":1648},{"_165":458,"_439":1646},{"_165":458,"_439":1644},{"_165":473,"_439":1640},{"_165":458,"_439":1637},{"_165":458,"_439":1635},{"_165":458,"_439":1633},{"_165":473,"_439":1629},{"_165":473,"_439":1625},{"_165":458,"_439":1622},{"_165":458,"_439":1620},{"_165":473,"_439":1616},{"_165":458,"_439":1614},{"_165":473,"_439":1610},{"_165":458,"_439":1607},{"_165":458,"_439":1605},{"_165":458,"_439":1603},{"_165":458,"_439":1601},{"_165":458,"_439":1599},{"_165":458,"_439":1597},{"_165":458,"_439":1595},{"_165":473,"_439":1591},{"_165":473,"_439":1587},{"_165":458,"_439":1583},{"_165":458,"_439":1581},{"_165":458,"_439":1579},{"_165":473,"_439":1575},{"_165":473,"_439":1571},{"_165":458,"_439":1568},{"_165":458,"_439":1566},{"_165":473,"_439":1562},{"_165":458,"_439":1560},{"_165":473,"_439":1556},{"_165":458,"_439":1552},{"_165":458,"_439":1550},{"_165":473,"_439":1543},{"_165":458,"_439":1541},{"_165":473,"_439":1537},{"_165":458,"_439":1533},{"_165":458,"_439":1531},{"_165":473,"_439":1527},{"_165":458,"_439":1525},{"_165":458,"_439":1523},{"_165":473,"_439":1519},{"_165":458,"_439":1517},{"_165":473,"_439":1515},{"_165":458,"_439":1511},{"_165":454,"_439":1509},{"_165":438,"_439":1506},{"_441":442,"_90":1507},{"_444":445,"_446":447,"_106":-5,"_44":448,"_449":1508,"_451":452,"_453":116},[],{"_453":1510,"_441":442},{"_95":457},{"_460":1512,"_441":442,"_462":448},{"_463":1513,"_465":-5,"_44":-5,"_466":-5,"_467":468,"_99":96,"_95":469},[1514],{"_48":471,"_95":472},{"_460":1516,"_441":442,"_462":448},{"_44":476,"_467":468,"_48":471,"_95":477},{"_460":1518,"_441":442,"_462":448},{"_480":481,"_44":-5,"_466":-5,"_482":483,"_95":484},{"_460":1520,"_441":442,"_462":448},{"_487":488,"_489":490,"_491":1521,"_493":494,"_446":34,"_495":34,"_44":481,"_496":497,"_498":499,"_453":116,"_95":500},[1522],{"_489":502,"_95":503},{"_460":1524,"_441":442,"_462":448},{"_506":507,"_480":481,"_44":-5,"_466":-5,"_201":508,"_509":-5,"_95":510},{"_460":1526,"_441":442,"_462":448},{"_480":513,"_44":-5,"_466":-5,"_482":514,"_95":484},{"_460":1528,"_441":442,"_462":448},{"_487":517,"_489":518,"_491":1529,"_493":494,"_446":34,"_495":34,"_44":513,"_496":520,"_498":499,"_453":116,"_95":500},[1530],{"_489":522,"_95":503},{"_460":1532,"_441":442,"_462":448},{"_506":525,"_480":513,"_44":-5,"_466":-5,"_201":508,"_509":-5,"_95":510},{"_460":1534,"_441":442,"_462":448},{"_463":-5,"_528":529,"_44":-5,"_466":-5,"_530":1535,"_95":532},[1536],{"_48":534,"_95":535},{"_460":1538,"_441":442,"_462":448},{"_463":1539,"_44":539,"_530":1540,"_95":532},[],[534],{"_460":1542,"_441":442,"_462":448},{"_480":543,"_44":-5,"_466":-5,"_482":544,"_95":484},{"_460":1544,"_441":442,"_462":448},{"_547":-5,"_506":1545,"_446":354,"_106":-5,"_44":543,"_549":-5,"_550":-5,"_551":-5,"_552":1546,"_554":555,"_453":116,"_556":555,"_95":557},{"_332":562,"_334":563},{"_558":-5,"_463":1547,"_560":1548},[1549],{"_332":562,"_334":563},{"_95":48,"_48":565},{"_460":1551,"_441":442,"_462":448},{"_506":568,"_480":543,"_44":-5,"_466":-5,"_201":555,"_509":569,"_95":510},{"_460":1553,"_441":442,"_462":448},{"_463":-5,"_528":572,"_44":-5,"_466":-5,"_530":1554,"_95":532},[1555],{"_48":575,"_95":535},{"_460":1557,"_441":442,"_462":448},{"_463":1558,"_44":579,"_530":1559,"_95":532},[],[575],{"_460":1561,"_441":442,"_462":448},{"_480":583,"_44":-5,"_466":-5,"_482":584,"_95":484},{"_460":1563,"_441":442,"_462":448},{"_487":587,"_489":588,"_491":1564,"_493":494,"_446":34,"_495":34,"_44":583,"_496":590,"_498":499,"_453":116,"_95":500},[1565],{"_489":592,"_95":503},{"_460":1567,"_441":442,"_462":448},{"_506":595,"_480":583,"_44":-5,"_466":-5,"_201":508,"_509":-5,"_95":510},{"_460":1569,"_441":442,"_462":448},{"_463":-5,"_528":598,"_44":-5,"_466":-5,"_530":1570,"_95":532},[],{"_460":1572,"_441":442,"_462":448},{"_463":1573,"_44":603,"_530":1574,"_95":532},[],[],{"_460":1576,"_441":442,"_462":448},{"_487":607,"_489":608,"_491":1577,"_493":494,"_446":610,"_495":34,"_44":611,"_496":612,"_498":499,"_453":116,"_95":500},[1578],{"_489":614,"_95":503},{"_460":1580,"_441":442,"_462":448},{"_480":611,"_44":-5,"_466":-5,"_482":617,"_95":484},{"_460":1582,"_441":442,"_462":448},{"_506":620,"_480":611,"_44":-5,"_466":-5,"_201":508,"_509":-5,"_95":510},{"_460":1584,"_441":442,"_462":448},{"_463":-5,"_528":623,"_44":-5,"_466":-5,"_530":1585,"_95":532},[1586],{"_48":626,"_95":535},{"_460":1588,"_441":442,"_462":448},{"_463":1589,"_44":630,"_530":1590,"_95":532},[],[626],{"_460":1592,"_441":442,"_462":448},{"_487":634,"_489":635,"_491":1593,"_493":494,"_446":637,"_495":638,"_44":639,"_496":640,"_498":499,"_453":641,"_95":500},[1594],{"_489":643,"_95":503},{"_460":1596,"_441":442,"_462":448},{"_480":646,"_44":-5,"_466":-5,"_482":647,"_95":484},{"_460":1598,"_441":442,"_462":448},{"_506":650,"_480":646,"_44":-5,"_466":-5,"_201":651,"_509":-5,"_95":510},{"_460":1600,"_441":442,"_462":448},{"_480":654,"_44":-5,"_466":-5,"_482":655,"_95":484},{"_460":1602,"_441":442,"_462":448},{"_506":658,"_480":654,"_44":-5,"_466":-5,"_201":651,"_509":-5,"_95":510},{"_460":1604,"_441":442,"_462":448},{"_480":639,"_44":-5,"_466":-5,"_482":661,"_95":484},{"_460":1606,"_441":442,"_462":448},{"_506":664,"_480":639,"_44":-5,"_466":-5,"_201":508,"_509":-5,"_95":510},{"_460":1608,"_441":442,"_462":448},{"_463":-5,"_528":667,"_44":-5,"_466":-5,"_530":1609,"_95":532},[],{"_460":1611,"_441":442,"_462":448},{"_463":1612,"_44":672,"_530":1613,"_95":532},[],[],{"_460":1615,"_441":442,"_462":448},{"_480":676,"_44":-5,"_466":-5,"_482":677,"_95":484},{"_460":1617,"_441":442,"_462":448},{"_487":680,"_489":681,"_491":1618,"_493":494,"_446":34,"_495":34,"_44":676,"_496":683,"_498":499,"_453":116,"_95":500},[1619],{"_489":685,"_95":503},{"_460":1621,"_441":442,"_462":448},{"_506":688,"_480":676,"_44":-5,"_466":-5,"_201":508,"_509":-5,"_95":510},{"_460":1623,"_441":442,"_462":448},{"_463":-5,"_528":691,"_44":-5,"_466":-5,"_530":1624,"_95":532},[],{"_460":1626,"_441":442,"_462":448},{"_463":1627,"_44":696,"_530":1628,"_95":532},[],[],{"_460":1630,"_441":442,"_462":448},{"_487":700,"_489":701,"_491":1631,"_493":494,"_446":703,"_495":638,"_44":704,"_496":705,"_498":499,"_453":641,"_95":500},[1632],{"_489":707,"_95":503},{"_460":1634,"_441":442,"_462":448},{"_480":704,"_44":-5,"_466":-5,"_482":710,"_95":484},{"_460":1636,"_441":442,"_462":448},{"_506":713,"_480":704,"_44":-5,"_466":-5,"_201":508,"_509":-5,"_95":510},{"_460":1638,"_441":442,"_462":448},{"_463":-5,"_528":716,"_44":-5,"_466":-5,"_530":1639,"_95":532},[],{"_460":1641,"_441":442,"_462":448},{"_463":1642,"_44":721,"_530":1643,"_95":532},[],[],{"_460":1645,"_441":442,"_462":448},{"_480":725,"_44":-5,"_466":-5,"_482":726,"_95":484},{"_460":1647,"_441":442,"_462":448},{"_506":729,"_480":725,"_44":-5,"_466":-5,"_201":651,"_509":-5,"_95":510},{"_460":1649,"_441":442,"_462":448},{"_487":634,"_489":732,"_491":1650,"_493":494,"_446":734,"_495":638,"_44":735,"_496":736,"_498":499,"_453":641,"_95":500},[1651],{"_489":738,"_95":503},{"_460":1653,"_441":442,"_462":448},{"_480":741,"_44":-5,"_466":-5,"_482":742,"_95":484},{"_460":1655,"_441":442,"_462":448},{"_506":729,"_480":741,"_44":-5,"_466":-5,"_201":651,"_509":-5,"_95":510},{"_460":1657,"_441":442,"_462":448},{"_463":-5,"_528":747,"_44":-5,"_466":-5,"_530":1658,"_95":532},[],{"_460":1660,"_441":442,"_462":448},{"_463":1661,"_44":752,"_530":1662,"_95":532},[],[],{"_460":1664,"_441":442,"_462":448},{"_480":735,"_44":-5,"_466":-5,"_482":756,"_95":484},{"_460":1666,"_441":442,"_462":448},{"_506":759,"_480":735,"_44":-5,"_466":-5,"_201":508,"_509":-5,"_95":510},{"_460":1668,"_441":442,"_462":448},{"_487":-5,"_489":762,"_491":1669,"_493":494,"_446":764,"_495":34,"_44":765,"_496":766,"_498":499,"_453":116,"_95":500},[1670],{"_489":768,"_95":503},{"_460":1672,"_441":442,"_462":448},{"_480":765,"_44":-5,"_466":-5,"_482":771,"_95":484},{"_460":1674,"_441":442,"_462":448},{"_506":774,"_480":765,"_44":-5,"_466":-5,"_201":508,"_509":-5,"_95":510},{"_460":1676,"_441":442,"_462":448},{"_463":-5,"_528":777,"_44":-5,"_466":-5,"_530":1677,"_95":532},[1678],{"_48":780,"_95":535},{"_460":1680,"_441":442,"_462":448},{"_463":1681,"_44":784,"_530":1682,"_95":532},[],[780],{"_460":1684,"_441":442,"_462":448},{"_480":788,"_44":-5,"_466":-5,"_482":789,"_95":484},{"_460":1686,"_441":442,"_462":448},{"_487":792,"_489":793,"_491":1687,"_493":494,"_446":34,"_495":34,"_44":788,"_496":795,"_498":499,"_453":116,"_95":500},[1688,1689,1690],{"_489":805,"_201":806,"_172":807,"_95":802},{"_489":803,"_201":800,"_172":804,"_95":802},{"_489":799,"_201":800,"_172":801,"_95":802},{"_460":1692,"_441":442,"_462":448},{"_506":810,"_480":788,"_44":-5,"_466":-5,"_201":508,"_509":-5,"_95":510},{"_460":1694,"_441":442,"_462":448},{"_463":-5,"_528":813,"_44":-5,"_466":-5,"_530":1695,"_95":532},[],{"_460":1697,"_441":442,"_462":448},{"_463":1698,"_44":818,"_530":1699,"_95":532},[],[],{"_460":1701,"_441":442,"_462":448},{"_480":822,"_44":-5,"_466":-5,"_482":823,"_95":484},{"_460":1703,"_441":442,"_462":448},{"_487":826,"_489":827,"_491":1704,"_493":494,"_446":34,"_495":34,"_44":822,"_496":829,"_498":499,"_453":116,"_95":500},[1705],{"_489":831,"_95":503},{"_460":1707,"_441":442,"_462":448},{"_506":834,"_480":822,"_44":-5,"_466":-5,"_201":508,"_509":-5,"_95":510},{"_460":1709,"_441":442,"_462":448},{"_480":837,"_44":-5,"_466":-5,"_482":838,"_95":484},{"_460":1711,"_441":442,"_462":448},{"_487":841,"_489":842,"_491":1712,"_493":494,"_446":34,"_495":844,"_44":837,"_496":845,"_498":499,"_453":641,"_95":500},[1713],{"_489":847,"_95":503},{"_460":1715,"_441":442,"_462":448},{"_506":850,"_480":837,"_44":-5,"_466":-5,"_201":508,"_509":-5,"_95":510},{"_460":1717,"_441":442,"_462":448},{"_463":-5,"_528":853,"_44":-5,"_466":-5,"_530":1718,"_95":532},[],{"_460":1720,"_441":442,"_462":448},{"_463":1721,"_44":858,"_530":1722,"_95":532},[],[],{"_460":1724,"_441":442,"_462":448},{"_862":-5,"_463":1725,"_44":864,"_95":865},[1726],{"_48":867,"_868":1727,"_95":48},[],{"_460":1729,"_441":442,"_462":448},{"_463":1730,"_465":-5,"_44":-5,"_466":-5,"_467":-5,"_99":345,"_95":469},[1731],{"_48":867,"_95":874},{"_460":1733,"_441":442,"_462":448},{"_463":1734,"_465":-5,"_44":-5,"_466":-5,"_467":-5,"_99":345,"_95":469},[1735,1736],{"_48":881,"_95":874},{"_48":880,"_95":874},{"_460":1738,"_441":442,"_462":448},{"_463":1739,"_465":-5,"_44":-5,"_466":-5,"_467":-5,"_99":885,"_95":469},[1740,1741],{"_48":889,"_95":874},{"_48":888,"_95":874},{"_441":442,"_90":1743},{"_106":-5,"_44":448,"_449":1744,"_451":452,"_453":894},[],{"_453":1746,"_441":442},{"_897":1747,"_95":899},[],{"_902":1749},{"_904":-5,"_905":-5,"_906":907,"_908":909,"_493":494,"_910":17,"_911":-5,"_912":-5,"_913":-5,"_914":915,"_44":442,"_916":917,"_201":-5,"_918":-5,"_172":919,"_920":219,"_921":-5,"_498":922,"_453":1750,"_924":-5,"_80":1751,"_926":909},{"_95":457},[],[],[1754],{"_44":931,"_932":1755,"_934":935,"_936":935,"_463":1756,"_453":938,"_465":-5,"_939":34,"_940":1757,"_942":943,"_944":-5},{"_99":345,"_201":-5,"_940":1761},{"_949":48,"_950":1760},{"_945":1758},{"_947":1759},[],[952],{},{"_95":469,"_99":96,"_463":1773},{"_95":986,"_987":1768},{"_95":962,"_963":562,"_964":965,"_966":1765,"_968":-5},{"_95":966,"_969":494,"_131":132,"_970":-5,"_344":971,"_972":1766,"_974":975,"_976":977,"_978":979,"_980":562,"_981":1767},{"_983":984,"_985":-5},[],[1769],{"_172":990,"_991":-5,"_992":1770,"_994":-5},[1771],{"_996":975,"_997":998,"_463":1772,"_1000":61},[1001,1002,1003,1004,1005,1006,219,1007,219,1008,219,1009,1010,1011,1012,1013,1014,1015,1016,1017,1018,1019,1020,219,1021,1010,1022,1023,1019,1020,219,1024,1010,1025,1026,1019,1020,219,1027,1028,1029,1030,1031,1032,1033,1034,1035,1020,219,1036,1028,1037,1038,1039,1040,1032,1041,1042,1033,1034,1035,1043,1020,219,1044,1028,1045,1030,1046,1031,1032,1020,219,1047,1028,1048,1049,1046,1050,1031,1032,1051,1020,219,1052,1028,1053,1030,1054,1055,1056,1057,1032,1058,1042,1033,1034,1035,1059,1020,219,1060,1061,1062,1063,1064,1065,1020,219,1066,1061,1067,1068,1069,1070,1071,1072,1073,1074,1075,1076,1077,1078,1079,1080,1081,1020,219,1082,1028,1083,1084,1085,1020,219,1086,1028,1087,1088,1089,1090,1091,1092,1089,1090,1065,1020,219,1093,1028,1094,1049,1095,1020,219,1096,1097,1098,1099,1100,219,1097,1101,1102,1103,1104,1105,1100,1020,219,1106,1028,1107,1108,1109,1110,1111,1020,219,1112,1113,1114,1115,1116,1117,1118,1119,1120,1121,1122,1123,1124,1125,1126,1127,1128,1129,219,1130,1131,1132,1133,1134,1135,1136,1100,1137,1132,1133,1138,1139,1136,1100,1140,1132,1133,1141,1142,1136,1100,219,1143,1144,1145,1146,1147,1148,1143,1149,1150,1151,1147,1148,1152,1153,1154,1155,1147,1148,1152,1156,1157,1158,1147,1148,1152,1159,1160,1161,1147,1148,1162,1163,1164,1132,1133,1165,1166,1136,1100,219,1167,1168,1169,1170,1171,1172,1173,1100,219,1174,1175,1176,1177,1178,1105,1179,1180,1181,219,1182,1183,1184,1185,1186,1100,1020,219,1187,1188,1120,1189,1190,1191,1192,1193,1100,219,1194,1195,1020,219,1196,1188,1197,1198,1199,1200,1201,1202,1203,1204,1205,1020,219,1206,1188,1207,1208,1209,1201,1210,1211,1020,219,1212,1188,1213,1190,1214,1215,1216,1217,1218,1100,1020,219,1219,1188,1197,1220,1199,1221,1201,1222,1223,1224,1204,1205,1020,219,1225,1188,1226,1227,1189,1190,1228,1229,1230,1231,1105,1232,1233,1234,1235,1236,1237,1105,1238,1239,1105,1240,1241,1242,1243,1244,1245,1100,1020,219,1246,1247,1248,1179,1249,1100,1020,219,1250,1188,1251,1190,1214,1215,1252,1253,1254,1218,1100,1020,219,1255,1188,1256,1189,1190,1257,1214,1215,1258,1100,1020,219,1259,1260,1020,219,1261,1188,1120,1189,1262,1123,1263,1132,1243,1264,1265,1136,1100,1143,1266,1267,1151,1186,1148,1152,1268,1269,1155,1186,1148,1152,1270,1271,1158,1186,1148,1152,1272,1273,1161,1186,1148,1020,219,1274,1275,1276,1256,1189,1277,1278,1279,1280,1281,1282,1105,1100,1020,219,1283,1284,1285,1256,1189,1262,1280,1281,1286,1105,1100,1020,219,1287,1288,1289,1279,1290,1020,219,1291,1290,1020,219,1292,1189,1256,1293,1262,1294,1295,1296,1181,1297,1298,1100,1020],[1774,1775,1776,1777,1778,1779,1780],{"_949":48,"_48":1317},{"_949":1308,"_172":990,"_996":1315,"_997":1316},{"_949":48,"_48":1314},{"_949":1308,"_172":990,"_996":1312,"_997":1313},{"_949":48,"_48":1311},{"_949":1308,"_172":990,"_996":1309,"_997":1310},{"_949":48,"_48":1307},[2161,2162,2163],[],{"_954":955,"_48":956,"_957":958},{"_928":2152},{"_356":2151},{"_356":1824},{"_324":325,"_315":326,"_327":328,"_329":17,"_330":61,"_331":17,"_332":333,"_334":335,"_336":287,"_337":130,"_338":339,"_340":132,"_341":342,"_343":-5,"_344":-5,"_345":1823,"_347":348,"_349":350,"_351":352,"_353":354},{"_44":126,"_213":214,"_215":216,"_217":17,"_218":219,"_220":221,"_222":1812,"_224":-5,"_225":226,"_227":17,"_228":1813,"_230":219,"_231":219,"_232":1814,"_234":1815,"_236":1816,"_238":-5,"_239":240,"_241":242,"_243":244,"_245":1817,"_57":-5,"_122":247,"_248":1818,"_250":1819,"_252":253,"_254":17,"_255":17},{"_136":1805},[1791,1792,1793,1794,1795,1796,1797,1798,1799,1800,1801,1802,1803,1804],{"_159":191,"_161":162,"_163":164,"_165":166,"_167":192,"_169":170,"_171":34,"_172":-5},{"_159":190,"_161":162,"_163":164,"_165":166,"_167":187,"_169":170,"_171":34,"_172":-5},{"_159":188,"_161":162,"_163":164,"_165":166,"_167":189,"_169":170,"_171":34,"_172":-5},{"_159":186,"_161":162,"_163":164,"_165":166,"_167":187,"_169":170,"_171":34,"_172":-5},{"_159":185,"_161":181,"_163":182,"_165":166,"_167":184,"_169":170,"_171":34,"_172":-5},{"_159":180,"_161":181,"_163":182,"_165":183,"_167":184,"_169":170,"_171":34,"_172":-5},{"_159":179,"_161":162,"_163":164,"_165":166,"_167":168,"_169":170,"_171":34,"_172":-5},{"_159":178,"_161":162,"_163":164,"_165":166,"_167":168,"_169":170,"_171":34,"_172":-5},{"_159":177,"_161":162,"_163":164,"_165":166,"_167":168,"_169":170,"_171":34,"_172":-5},{"_159":176,"_161":162,"_163":164,"_165":166,"_167":168,"_169":170,"_171":34,"_172":-5},{"_159":175,"_161":162,"_163":164,"_165":166,"_167":168,"_169":170,"_171":34,"_172":-5},{"_159":174,"_161":162,"_163":164,"_165":166,"_167":168,"_169":170,"_171":34,"_172":-5},{"_159":173,"_161":162,"_163":164,"_165":166,"_167":168,"_169":170,"_171":34,"_172":-5},{"_159":160,"_161":162,"_163":164,"_165":166,"_167":168,"_169":170,"_171":34,"_172":-5},[1806,1807,1808],{"_197":1811,"_199":210},{"_197":1810,"_199":206},{"_197":1809,"_199":200},{"_201":202,"_95":203,"_122":204},{"_201":207,"_95":203,"_122":208},{"_201":211,"_95":203,"_122":212},{"_317":318,"_319":-5,"_320":-5,"_321":-5,"_322":-5,"_323":-5},[277],{"_277":1820},{"_259":260,"_261":262,"_263":264,"_265":266,"_267":268,"_269":270,"_271":272,"_273":274,"_275":276},{},[],{"_258":61},{"_256":61,"_257":219},{"_44":279,"_201":280,"_281":1821,"_283":216,"_284":285,"_286":287,"_288":289,"_290":291,"_292":293,"_294":66,"_295":17,"_296":-5,"_297":-5,"_298":-5,"_299":-5,"_300":-5,"_301":-5,"_171":302,"_303":-5,"_57":1822},{"_309":310,"_44":311,"_95":312,"_313":314,"_315":316},{"_305":17,"_306":17,"_307":17,"_308":17},{"_309":310,"_201":310,"_355":-5,"_313":314,"_44":311},[1825,1826,1827,1828,1829,1830,1831,1832,1833,1834,1835,1836,1837,1838,1839,1840,1841,1842,1843,1844,1845,1846,1847,1848,1849,1850,1851,1852,1853,1854,1855,1856,1857,1858,1859,1860,1861,1862,1863,1864,1865,1866,1867,1868,1869,1870,1871,1872,1873,1874,1875,1876,1877,1878,1879,1880,1881,1882,1883,1884,1885,1886,1887,1888,1889,1890,1891,1892,1893,1894,1895,1896,1897,1898,1899,1900,1901,1902,1903,1904],{"_165":900,"_439":2147},{"_165":454,"_439":2144},{"_165":890,"_439":2141},{"_165":458,"_439":2136},{"_165":458,"_439":2131},{"_165":458,"_439":2127},{"_165":473,"_439":2122},{"_165":473,"_439":2118},{"_165":458,"_439":2115},{"_165":458,"_439":2113},{"_165":473,"_439":2109},{"_165":458,"_439":2107},{"_165":458,"_439":2105},{"_165":473,"_439":2101},{"_165":458,"_439":2099},{"_165":473,"_439":2095},{"_165":458,"_439":2092},{"_165":458,"_439":2090},{"_165":473,"_439":2084},{"_165":458,"_439":2082},{"_165":473,"_439":2078},{"_165":458,"_439":2074},{"_165":458,"_439":2072},{"_165":458,"_439":2070},{"_165":473,"_439":2066},{"_165":458,"_439":2064},{"_165":458,"_439":2062},{"_165":473,"_439":2058},{"_165":458,"_439":2055},{"_165":458,"_439":2053},{"_165":458,"_439":2051},{"_165":473,"_439":2047},{"_165":458,"_439":2045},{"_165":458,"_439":2043},{"_165":473,"_439":2039},{"_165":458,"_439":2036},{"_165":458,"_439":2034},{"_165":458,"_439":2032},{"_165":473,"_439":2028},{"_165":473,"_439":2024},{"_165":458,"_439":2021},{"_165":458,"_439":2019},{"_165":473,"_439":2015},{"_165":458,"_439":2013},{"_165":473,"_439":2009},{"_165":458,"_439":2006},{"_165":458,"_439":2004},{"_165":458,"_439":2002},{"_165":458,"_439":2000},{"_165":458,"_439":1998},{"_165":458,"_439":1996},{"_165":458,"_439":1994},{"_165":473,"_439":1990},{"_165":473,"_439":1986},{"_165":458,"_439":1982},{"_165":458,"_439":1980},{"_165":458,"_439":1978},{"_165":473,"_439":1974},{"_165":473,"_439":1970},{"_165":458,"_439":1967},{"_165":458,"_439":1965},{"_165":473,"_439":1961},{"_165":458,"_439":1959},{"_165":473,"_439":1955},{"_165":458,"_439":1951},{"_165":458,"_439":1949},{"_165":473,"_439":1942},{"_165":458,"_439":1940},{"_165":473,"_439":1936},{"_165":458,"_439":1932},{"_165":458,"_439":1930},{"_165":473,"_439":1926},{"_165":458,"_439":1924},{"_165":458,"_439":1922},{"_165":473,"_439":1918},{"_165":458,"_439":1916},{"_165":473,"_439":1914},{"_165":458,"_439":1910},{"_165":454,"_439":1908},{"_165":438,"_439":1905},{"_441":442,"_90":1906},{"_444":445,"_446":447,"_106":-5,"_44":448,"_449":1907,"_451":452,"_453":116},[],{"_453":1909,"_441":442},{"_95":457},{"_460":1911,"_441":442,"_462":448},{"_463":1912,"_465":-5,"_44":-5,"_466":-5,"_467":468,"_99":96,"_95":469},[1913],{"_48":471,"_95":472},{"_460":1915,"_441":442,"_462":448},{"_44":476,"_467":468,"_48":471,"_95":477},{"_460":1917,"_441":442,"_462":448},{"_480":481,"_44":-5,"_466":-5,"_482":483,"_95":484},{"_460":1919,"_441":442,"_462":448},{"_487":488,"_489":490,"_491":1920,"_493":494,"_446":34,"_495":34,"_44":481,"_496":497,"_498":499,"_453":116,"_95":500},[1921],{"_489":502,"_95":503},{"_460":1923,"_441":442,"_462":448},{"_506":507,"_480":481,"_44":-5,"_466":-5,"_201":508,"_509":-5,"_95":510},{"_460":1925,"_441":442,"_462":448},{"_480":513,"_44":-5,"_466":-5,"_482":514,"_95":484},{"_460":1927,"_441":442,"_462":448},{"_487":517,"_489":518,"_491":1928,"_493":494,"_446":34,"_495":34,"_44":513,"_496":520,"_498":499,"_453":116,"_95":500},[1929],{"_489":522,"_95":503},{"_460":1931,"_441":442,"_462":448},{"_506":525,"_480":513,"_44":-5,"_466":-5,"_201":508,"_509":-5,"_95":510},{"_460":1933,"_441":442,"_462":448},{"_463":-5,"_528":529,"_44":-5,"_466":-5,"_530":1934,"_95":532},[1935],{"_48":534,"_95":535},{"_460":1937,"_441":442,"_462":448},{"_463":1938,"_44":539,"_530":1939,"_95":532},[],[534],{"_460":1941,"_441":442,"_462":448},{"_480":543,"_44":-5,"_466":-5,"_482":544,"_95":484},{"_460":1943,"_441":442,"_462":448},{"_547":-5,"_506":1944,"_446":354,"_106":-5,"_44":543,"_549":-5,"_550":-5,"_551":-5,"_552":1945,"_554":555,"_453":116,"_556":555,"_95":557},{"_332":562,"_334":563},{"_558":-5,"_463":1946,"_560":1947},[1948],{"_332":562,"_334":563},{"_95":48,"_48":565},{"_460":1950,"_441":442,"_462":448},{"_506":568,"_480":543,"_44":-5,"_466":-5,"_201":555,"_509":569,"_95":510},{"_460":1952,"_441":442,"_462":448},{"_463":-5,"_528":572,"_44":-5,"_466":-5,"_530":1953,"_95":532},[1954],{"_48":575,"_95":535},{"_460":1956,"_441":442,"_462":448},{"_463":1957,"_44":579,"_530":1958,"_95":532},[],[575],{"_460":1960,"_441":442,"_462":448},{"_480":583,"_44":-5,"_466":-5,"_482":584,"_95":484},{"_460":1962,"_441":442,"_462":448},{"_487":587,"_489":588,"_491":1963,"_493":494,"_446":34,"_495":34,"_44":583,"_496":590,"_498":499,"_453":116,"_95":500},[1964],{"_489":592,"_95":503},{"_460":1966,"_441":442,"_462":448},{"_506":595,"_480":583,"_44":-5,"_466":-5,"_201":508,"_509":-5,"_95":510},{"_460":1968,"_441":442,"_462":448},{"_463":-5,"_528":598,"_44":-5,"_466":-5,"_530":1969,"_95":532},[],{"_460":1971,"_441":442,"_462":448},{"_463":1972,"_44":603,"_530":1973,"_95":532},[],[],{"_460":1975,"_441":442,"_462":448},{"_487":607,"_489":608,"_491":1976,"_493":494,"_446":610,"_495":34,"_44":611,"_496":612,"_498":499,"_453":116,"_95":500},[1977],{"_489":614,"_95":503},{"_460":1979,"_441":442,"_462":448},{"_480":611,"_44":-5,"_466":-5,"_482":617,"_95":484},{"_460":1981,"_441":442,"_462":448},{"_506":620,"_480":611,"_44":-5,"_466":-5,"_201":508,"_509":-5,"_95":510},{"_460":1983,"_441":442,"_462":448},{"_463":-5,"_528":623,"_44":-5,"_466":-5,"_530":1984,"_95":532},[1985],{"_48":626,"_95":535},{"_460":1987,"_441":442,"_462":448},{"_463":1988,"_44":630,"_530":1989,"_95":532},[],[626],{"_460":1991,"_441":442,"_462":448},{"_487":634,"_489":635,"_491":1992,"_493":494,"_446":637,"_495":638,"_44":639,"_496":640,"_498":499,"_453":641,"_95":500},[1993],{"_489":643,"_95":503},{"_460":1995,"_441":442,"_462":448},{"_480":646,"_44":-5,"_466":-5,"_482":647,"_95":484},{"_460":1997,"_441":442,"_462":448},{"_506":650,"_480":646,"_44":-5,"_466":-5,"_201":651,"_509":-5,"_95":510},{"_460":1999,"_441":442,"_462":448},{"_480":654,"_44":-5,"_466":-5,"_482":655,"_95":484},{"_460":2001,"_441":442,"_462":448},{"_506":658,"_480":654,"_44":-5,"_466":-5,"_201":651,"_509":-5,"_95":510},{"_460":2003,"_441":442,"_462":448},{"_480":639,"_44":-5,"_466":-5,"_482":661,"_95":484},{"_460":2005,"_441":442,"_462":448},{"_506":664,"_480":639,"_44":-5,"_466":-5,"_201":508,"_509":-5,"_95":510},{"_460":2007,"_441":442,"_462":448},{"_463":-5,"_528":667,"_44":-5,"_466":-5,"_530":2008,"_95":532},[],{"_460":2010,"_441":442,"_462":448},{"_463":2011,"_44":672,"_530":2012,"_95":532},[],[],{"_460":2014,"_441":442,"_462":448},{"_480":676,"_44":-5,"_466":-5,"_482":677,"_95":484},{"_460":2016,"_441":442,"_462":448},{"_487":680,"_489":681,"_491":2017,"_493":494,"_446":34,"_495":34,"_44":676,"_496":683,"_498":499,"_453":116,"_95":500},[2018],{"_489":685,"_95":503},{"_460":2020,"_441":442,"_462":448},{"_506":688,"_480":676,"_44":-5,"_466":-5,"_201":508,"_509":-5,"_95":510},{"_460":2022,"_441":442,"_462":448},{"_463":-5,"_528":691,"_44":-5,"_466":-5,"_530":2023,"_95":532},[],{"_460":2025,"_441":442,"_462":448},{"_463":2026,"_44":696,"_530":2027,"_95":532},[],[],{"_460":2029,"_441":442,"_462":448},{"_487":700,"_489":701,"_491":2030,"_493":494,"_446":703,"_495":638,"_44":704,"_496":705,"_498":499,"_453":641,"_95":500},[2031],{"_489":707,"_95":503},{"_460":2033,"_441":442,"_462":448},{"_480":704,"_44":-5,"_466":-5,"_482":710,"_95":484},{"_460":2035,"_441":442,"_462":448},{"_506":713,"_480":704,"_44":-5,"_466":-5,"_201":508,"_509":-5,"_95":510},{"_460":2037,"_441":442,"_462":448},{"_463":-5,"_528":716,"_44":-5,"_466":-5,"_530":2038,"_95":532},[],{"_460":2040,"_441":442,"_462":448},{"_463":2041,"_44":721,"_530":2042,"_95":532},[],[],{"_460":2044,"_441":442,"_462":448},{"_480":725,"_44":-5,"_466":-5,"_482":726,"_95":484},{"_460":2046,"_441":442,"_462":448},{"_506":729,"_480":725,"_44":-5,"_466":-5,"_201":651,"_509":-5,"_95":510},{"_460":2048,"_441":442,"_462":448},{"_487":634,"_489":732,"_491":2049,"_493":494,"_446":734,"_495":638,"_44":735,"_496":736,"_498":499,"_453":641,"_95":500},[2050],{"_489":738,"_95":503},{"_460":2052,"_441":442,"_462":448},{"_480":741,"_44":-5,"_466":-5,"_482":742,"_95":484},{"_460":2054,"_441":442,"_462":448},{"_506":729,"_480":741,"_44":-5,"_466":-5,"_201":651,"_509":-5,"_95":510},{"_460":2056,"_441":442,"_462":448},{"_463":-5,"_528":747,"_44":-5,"_466":-5,"_530":2057,"_95":532},[],{"_460":2059,"_441":442,"_462":448},{"_463":2060,"_44":752,"_530":2061,"_95":532},[],[],{"_460":2063,"_441":442,"_462":448},{"_480":735,"_44":-5,"_466":-5,"_482":756,"_95":484},{"_460":2065,"_441":442,"_462":448},{"_506":759,"_480":735,"_44":-5,"_466":-5,"_201":508,"_509":-5,"_95":510},{"_460":2067,"_441":442,"_462":448},{"_487":-5,"_489":762,"_491":2068,"_493":494,"_446":764,"_495":34,"_44":765,"_496":766,"_498":499,"_453":116,"_95":500},[2069],{"_489":768,"_95":503},{"_460":2071,"_441":442,"_462":448},{"_480":765,"_44":-5,"_466":-5,"_482":771,"_95":484},{"_460":2073,"_441":442,"_462":448},{"_506":774,"_480":765,"_44":-5,"_466":-5,"_201":508,"_509":-5,"_95":510},{"_460":2075,"_441":442,"_462":448},{"_463":-5,"_528":777,"_44":-5,"_466":-5,"_530":2076,"_95":532},[2077],{"_48":780,"_95":535},{"_460":2079,"_441":442,"_462":448},{"_463":2080,"_44":784,"_530":2081,"_95":532},[],[780],{"_460":2083,"_441":442,"_462":448},{"_480":788,"_44":-5,"_466":-5,"_482":789,"_95":484},{"_460":2085,"_441":442,"_462":448},{"_487":792,"_489":793,"_491":2086,"_493":494,"_446":34,"_495":34,"_44":788,"_496":795,"_498":499,"_453":116,"_95":500},[2087,2088,2089],{"_489":805,"_201":806,"_172":807,"_95":802},{"_489":803,"_201":800,"_172":804,"_95":802},{"_489":799,"_201":800,"_172":801,"_95":802},{"_460":2091,"_441":442,"_462":448},{"_506":810,"_480":788,"_44":-5,"_466":-5,"_201":508,"_509":-5,"_95":510},{"_460":2093,"_441":442,"_462":448},{"_463":-5,"_528":813,"_44":-5,"_466":-5,"_530":2094,"_95":532},[],{"_460":2096,"_441":442,"_462":448},{"_463":2097,"_44":818,"_530":2098,"_95":532},[],[],{"_460":2100,"_441":442,"_462":448},{"_480":822,"_44":-5,"_466":-5,"_482":823,"_95":484},{"_460":2102,"_441":442,"_462":448},{"_487":826,"_489":827,"_491":2103,"_493":494,"_446":34,"_495":34,"_44":822,"_496":829,"_498":499,"_453":116,"_95":500},[2104],{"_489":831,"_95":503},{"_460":2106,"_441":442,"_462":448},{"_506":834,"_480":822,"_44":-5,"_466":-5,"_201":508,"_509":-5,"_95":510},{"_460":2108,"_441":442,"_462":448},{"_480":837,"_44":-5,"_466":-5,"_482":838,"_95":484},{"_460":2110,"_441":442,"_462":448},{"_487":841,"_489":842,"_491":2111,"_493":494,"_446":34,"_495":844,"_44":837,"_496":845,"_498":499,"_453":641,"_95":500},[2112],{"_489":847,"_95":503},{"_460":2114,"_441":442,"_462":448},{"_506":850,"_480":837,"_44":-5,"_466":-5,"_201":508,"_509":-5,"_95":510},{"_460":2116,"_441":442,"_462":448},{"_463":-5,"_528":853,"_44":-5,"_466":-5,"_530":2117,"_95":532},[],{"_460":2119,"_441":442,"_462":448},{"_463":2120,"_44":858,"_530":2121,"_95":532},[],[],{"_460":2123,"_441":442,"_462":448},{"_862":-5,"_463":2124,"_44":864,"_95":865},[2125],{"_48":867,"_868":2126,"_95":48},[],{"_460":2128,"_441":442,"_462":448},{"_463":2129,"_465":-5,"_44":-5,"_466":-5,"_467":-5,"_99":345,"_95":469},[2130],{"_48":867,"_95":874},{"_460":2132,"_441":442,"_462":448},{"_463":2133,"_465":-5,"_44":-5,"_466":-5,"_467":-5,"_99":345,"_95":469},[2134,2135],{"_48":881,"_95":874},{"_48":880,"_95":874},{"_460":2137,"_441":442,"_462":448},{"_463":2138,"_465":-5,"_44":-5,"_466":-5,"_467":-5,"_99":885,"_95":469},[2139,2140],{"_48":889,"_95":874},{"_48":888,"_95":874},{"_441":442,"_90":2142},{"_106":-5,"_44":448,"_449":2143,"_451":452,"_453":894},[],{"_453":2145,"_441":442},{"_897":2146,"_95":899},[],{"_902":2148},{"_904":-5,"_905":-5,"_906":907,"_908":909,"_493":494,"_910":17,"_911":-5,"_912":-5,"_913":-5,"_914":915,"_44":442,"_916":917,"_201":-5,"_918":-5,"_172":919,"_920":219,"_921":-5,"_498":922,"_453":2149,"_924":-5,"_80":2150,"_926":909},{"_95":457},[],[],[2153],{"_44":931,"_932":2154,"_934":935,"_936":935,"_463":2155,"_453":938,"_465":-5,"_939":34,"_940":2156,"_942":943,"_944":-5},{"_99":345,"_201":-5,"_940":2160},{"_949":48,"_950":2159},{"_945":2157},{"_947":2158},[],[952],{},{"_95":469,"_99":96,"_463":2172},{"_95":986,"_987":2167},{"_95":962,"_963":562,"_964":965,"_966":2164,"_968":-5},{"_95":966,"_969":494,"_131":132,"_970":-5,"_344":971,"_972":2165,"_974":975,"_976":977,"_978":979,"_980":562,"_981":2166},{"_983":984,"_985":-5},[],[2168],{"_172":990,"_991":-5,"_992":2169,"_994":-5},[2170],{"_996":975,"_997":998,"_463":2171,"_1000":61},[1001,1002,1003,1004,1005,1006,219,1007,219,1008,219,1009,1010,1011,1012,1013,1014,1015,1016,1017,1018,1019,1020,219,1021,1010,1022,1023,1019,1020,219,1024,1010,1025,1026,1019,1020,219,1027,1028,1029,1030,1031,1032,1033,1034,1035,1020,219,1036,1028,1037,1038,1039,1040,1032,1041,1042,1033,1034,1035,1043,1020,219,1044,1028,1045,1030,1046,1031,1032,1020,219,1047,1028,1048,1049,1046,1050,1031,1032,1051,1020,219,1052,1028,1053,1030,1054,1055,1056,1057,1032,1058,1042,1033,1034,1035,1059,1020,219,1060,1061,1062,1063,1064,1065,1020,219,1066,1061,1067,1068,1069,1070,1071,1072,1073,1074,1075,1076,1077,1078,1079,1080,1081,1020,219,1082,1028,1083,1084,1085,1020,219,1086,1028,1087,1088,1089,1090,1091,1092,1089,1090,1065,1020,219,1093,1028,1094,1049,1095,1020,219,1096,1097,1098,1099,1100,219,1097,1101,1102,1103,1104,1105,1100,1020,219,1106,1028,1107,1108,1109,1110,1111,1020,219,1112,1113,1114,1115,1116,1117,1118,1119,1120,1121,1122,1123,1124,1125,1126,1127,1128,1129,219,1130,1131,1132,1133,1134,1135,1136,1100,1137,1132,1133,1138,1139,1136,1100,1140,1132,1133,1141,1142,1136,1100,219,1143,1144,1145,1146,1147,1148,1143,1149,1150,1151,1147,1148,1152,1153,1154,1155,1147,1148,1152,1156,1157,1158,1147,1148,1152,1159,1160,1161,1147,1148,1162,1163,1164,1132,1133,1165,1166,1136,1100,219,1167,1168,1169,1170,1171,1172,1173,1100,219,1174,1175,1176,1177,1178,1105,1179,1180,1181,219,1182,1183,1184,1185,1186,1100,1020,219,1187,1188,1120,1189,1190,1191,1192,1193,1100,219,1194,1195,1020,219,1196,1188,1197,1198,1199,1200,1201,1202,1203,1204,1205,1020,219,1206,1188,1207,1208,1209,1201,1210,1211,1020,219,1212,1188,1213,1190,1214,1215,1216,1217,1218,1100,1020,219,1219,1188,1197,1220,1199,1221,1201,1222,1223,1224,1204,1205,1020,219,1225,1188,1226,1227,1189,1190,1228,1229,1230,1231,1105,1232,1233,1234,1235,1236,1237,1105,1238,1239,1105,1240,1241,1242,1243,1244,1245,1100,1020,219,1246,1247,1248,1179,1249,1100,1020,219,1250,1188,1251,1190,1214,1215,1252,1253,1254,1218,1100,1020,219,1255,1188,1256,1189,1190,1257,1214,1215,1258,1100,1020,219,1259,1260,1020,219,1261,1188,1120,1189,1262,1123,1263,1132,1243,1264,1265,1136,1100,1143,1266,1267,1151,1186,1148,1152,1268,1269,1155,1186,1148,1152,1270,1271,1158,1186,1148,1152,1272,1273,1161,1186,1148,1020,219,1274,1275,1276,1256,1189,1277,1278,1279,1280,1281,1282,1105,1100,1020,219,1283,1284,1285,1256,1189,1262,1280,1281,1286,1105,1100,1020,219,1287,1288,1289,1279,1290,1020,219,1291,1290,1020,219,1292,1189,1256,1293,1262,1294,1295,1296,1181,1297,1298,1100,1020],[2173,2174,2175,2176,2177,2178,2179],{"_949":48,"_48":1317},{"_949":1308,"_172":990,"_996":1315,"_997":1316},{"_949":48,"_48":1314},{"_949":1308,"_172":990,"_996":1312,"_997":1313},{"_949":48,"_48":1311},{"_949":1308,"_172":990,"_996":1309,"_997":1310},{"_949":48,"_48":1307},[2182,2183,2184,2185,2186,2187,2188,2189,2190,2191,2192,2193],{"_1327":1328,"_283":216,"_1329":325,"_294":-5,"_969":277,"_1330":-5,"_1331":-5,"_1332":1333,"_1334":1335,"_1336":-5,"_1337":-5,"_1338":1339,"_1340":17,"_1341":61,"_1342":56,"_1343":17},{"_95":469,"_99":345,"_463":2194},{"_332":333,"_334":335,"_1376":339,"_1377":132,"_341":-5,"_95":1378},{"_95":1356,"_334":1375,"_172":-5,"_1358":-5,"_1359":-5},{"_95":1356,"_334":1374,"_172":1370,"_1358":1362,"_1359":-5},{"_95":1356,"_334":1372,"_172":990,"_1358":1362,"_1359":1373},{"_95":1356,"_334":1369,"_172":1370,"_1358":1362,"_1359":1371},{"_95":1356,"_334":1368,"_172":990,"_1358":1362,"_1359":-5},{"_95":1356,"_334":1367,"_172":-5,"_1358":-5,"_1359":-5},{"_95":1356,"_334":1366,"_172":-5,"_1358":-5,"_1359":-5},{"_95":1356,"_334":1364,"_172":990,"_1358":1362,"_1359":1365},{"_95":1356,"_334":1360,"_172":1361,"_1358":1362,"_1359":1363},{"_95":1356,"_334":1357,"_172":-5,"_1358":-5,"_1359":-5},[2195],{"_949":48,"_48":1381},"task_e_6a3c5ddddec8832aa9f2e627eb7d0ec2",1782341085.870379,"GitHub Mention: Add v1 lowerability and target-profile conformance checks","has_generated_title","has_unread_turn","denormalized_metadata",{"_2227":34,"_2228":2229,"_2230":-5,"_2231":-5,"_2221":2232,"_2233":-5,"_2234":-5,"_2235":-5,"_2236":-5},"task_status_display",{"_2215":2216,"_2217":216,"_133":130,"_2218":-5,"_2219":962},"creator_workspace","external_pull_requests",[2208],{"_44":2209,"_2210":86,"_2211":2212,"_2213":132},"github-1272888914-37","assistant_turn_id","pull_request",{"_324":325,"_315":326,"_327":328,"_329":17,"_330":61,"_331":17,"_332":333,"_334":335,"_336":287,"_337":130,"_338":339,"_340":132,"_341":342,"_343":-5,"_344":-5,"_345":2214,"_347":348,"_349":350,"_351":352,"_353":354},"codex_updated_sha",{"_309":310,"_201":310,"_355":-5,"_313":314,"_44":311},"latest_turn_status_display",{"_2220":86,"_115":116,"_2221":2222,"_97":2223,"_2224":-5,"_2225":-5,"_2226":962,"_117":-5},"environment_label","fix_task_id","initial_intent","turn_id","diff_stats",{"_974":975,"_976":977,"_978":979},[],"image_asset_pointer_citations","issue_counts","intent","num_follow_ups","repo_name_map",{},"last_user_turn_created_at","last_turn_status",{"_974":-5,"_976":-5,"_978":-5},"last_pushed_turn_id","start_branch_name","pushed_branch_name","cached_pull_request_data","dd",{"_2250":2251,"_2252":2253},"disablePrefetch","shouldPrefetchAccount","shouldPrefetchUser","shouldPrefetchSystemHints","manageRootRouteStylesheet","promoteCss","disableSSR","stripModulepreloadImports","paidCampaignAppRedirect","statsigGateEvaluationsPromise",["P",2249],"traceId","840556753481537504","traceTime",1786408335695]