\\n>

How can I continue?

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

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

\\n>

How do review limits work?

\\n> \\n> CodeRabbit enforces per-developer PR review limits for each organization. Most developers receive the normal plan review availability.\\n> \\n> For paid Pro and Pro+ PR reviews, CodeRabbit uses adaptive limits for sustained high-volume activity. When a developer's recent PR review activity reaches the 95th percentile or higher among CodeRabbit users, additional reviews become available more gradually as earlier reviews age out of the rolling window.\\n> \\n> Please refer [docs](https://docs.coderabbit.ai/management/plans#rate-limits) for additional details.\\n> \\n>

\\n> \\n>

\\n>

Review details

\\n> \\n>

\\n>

⚙️ Run configuration

\\n> \\n> **Configuration used**: Organization UI\\n> \\n> **Review profile**: ASSERTIVE\\n> \\n> **Plan**: Pro\\n> \\n> **Run ID**: `25f99812-cfd4-44ce-8437-e092d3c22a0f`\\n> \\n>

\\n> \\n>

\\n>

📥 Commits

\\n> \\n> Reviewing files that changed from the base of the PR and between 45c00c695875b559c6df0e36c8121af9cf4b0cdd and 827c0c5276c6499ac4fe78678e1ecd178a3557cb.\\n> \\n>

\\n> \\n>

\\n>

📒 Files selected for processing (17)

\\n> \\n> * `CHANGELOG.md`\\n> * `crates/edict-syntax/src/canonical.rs`\\n> * `crates/edict-syntax/src/contract_bundle.rs`\\n> * `crates/edict-syntax/src/lib.rs`\\n> * `crates/edict-syntax/tests/contract_bundle.rs`\\n> * `crates/edict-syntax/tests/target_ir.rs`\\n> * `docs/design/canonical-target-ir-v0.11.md`\\n> * `docs/design/contract-bundle-assembly-v0.11.md`\\n> * `docs/topics/contract-bundles/README.md`\\n> * `docs/topics/contract-bundles/test-plan.md`\\n> * `docs/topics/target-ir/README.md`\\n> * `docs/topics/target-ir/test-plan.md`\\n> * `fixtures/target-ir/canonical/echo-effectful.target-ir.cbor`\\n> * `fixtures/target-ir/canonical/echo-effectful.target-ir.sha256`\\n> * `fixtures/target-ir/canonical/gitwarp-append.target-ir.cbor`\\n> * `fixtures/target-ir/canonical/gitwarp-append.target-ir.sha256`\\n> * `xtask/src/main.rs`\\n> \\n>

\\n> \\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=108)! 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\":\"@codex review please\",\"path\":null,\"side\":null,\"line\":null}{\"type\":\"pull_request_comment\",\"body\":\"**_{_{![P2 Badge](https://img.shields.io/badge/P2-yellow?style=flat)}} Reject mismatched Core/Target IR pairs**\\n\\nWhen this computed path is called with a `TargetIrArtifact` lowered from a different `CoreModule` (its `source_core_coordinate` differs from `core_module.coordinate`), we still compute `target_ir_digest` here and then delegate to the supplied-reference assembler, which only validates digest shapes. The resulting manifest is `Valid` but binds `coreIrDigest` for one Core artifact to `targetIrDigest` for another, defeating the computed-artifact path's guarantee; add a consistency check before hashing/assembling.\\n\\nUseful? React with 👍 / 👎.\",\"path\":\"crates/edict-syntax/src/contract_bundle.rs\",\"side\":\"RIGHT\",\"line\":520}{\"type\":\"pull_request_comment\",\"body\":\"\\n### 💡 Codex Review\\n\\nHere are some automated review suggestions for this pull request.\\n\\n**Reviewed commit:** `827c0c5276`\\n \\n\\n

ℹ️ About Codex in GitHub

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

\",\"path\":null,\"side\":null,\"line\":null}","text_elements",[],{"_471":996,"_452":453,"_473":459},{"_474":997,"_476":-5,"_42":-5,"_477":-5,"_478":-5,"_97":327,"_93":480},[998],{"_46":992,"_93":999},"input_text",{"_471":1001,"_452":453,"_473":459},{"_474":1002,"_476":-5,"_42":-5,"_477":-5,"_478":-5,"_97":327,"_93":480},[1003,1004],{"_46":1006,"_93":999},{"_46":1005,"_93":999},"\n /workspace/edict\n bash\n 2026-06-30\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## Rust Standards\n\nRust engineering policy lives in\n[docs/topics/rust-standards/](docs/topics/rust-standards/README.md).\n\nFor Rust changes:\n\n- Preserve claim integrity: no public claim without executable evidence.\n- Keep compiler and validation paths deterministic and free of hidden I/O.\n- Prefer structured public failures with stable error kinds over prose-only\n diagnostics.\n- Do not add dependencies without PR-body rationale and contract-impact notes.\n- Treat planned lint, dependency, and fuzzing ratchets as planned until their\n executable checks land.\n\n## Pull Request Review Policy\n\nReview policy lives in\n[docs/topics/review-process/](docs/topics/review-process/README.md).\n\n- If CodeRabbit is actively reviewing, its approval is required before merge.\n- If CodeRabbit is rate limited, out of credits, or reports insufficient usage\n credits, post `@codex review please` on the pull request and wait for the\n alternate review response.\n- Do not treat CodeRabbit unavailability as approval. Without CodeRabbit\n approval or an alternate review response, merge is blocked unless a maintainer\n explicitly overrides the review-bot gate.\n\n## Release Discipline\n\nRelease policy lives in\n[docs/topics/release-process/](docs/topics/release-process/README.md).\n\nFor release-prep work:\n\n- Write the release thesis before editing release artifacts.\n- Reconcile the diff from the previous version tag before finalizing signposts.\n- Update structured release policy and matching release-policy tests.\n- Ensure the matching milestone has zero open issues before tag automation runs.\n- Verify no crates.io publication happened unless publication policy changes.\n- Capture a durable release report with released/not-released scope,\n plan-versus-actual notes, evidence, fallout issues, and the next release\n thesis.\n\n## Local Verification\n\nUse the local gate before claiming a branch is ready:\n\n```text\ncargo xtask verify\n```\n\n",{"_471":1008,"_452":453,"_473":459},{"_474":1009,"_476":-5,"_42":-5,"_477":-5,"_478":-5,"_97":1010,"_93":480},[1011,1012],"developer",{"_46":1014,"_93":999},{"_46":1013,"_93":999},"\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",{"_452":453,"_88":1017},{"_104":-5,"_42":459,"_460":1018,"_462":463,"_464":1019},[],"inProgress",{"_464":1021,"_452":453},{"_1022":1023,"_93":1024},"activeFlags",[],"active","thread/started",{"_1027":1028},"thread",{"_1029":-5,"_1030":-5,"_1031":1032,"_1033":463,"_519":520,"_1034":15,"_1035":-5,"_1036":-5,"_1037":-5,"_1038":1039,"_42":453,"_1040":1041,"_182":-5,"_1042":-5,"_162":1043,"_1044":200,"_1045":-5,"_524":1046,"_464":1047,"_1048":-5,"_78":1049,"_1050":463},"agentNickname","agentRole","cliVersion","0.128.0","createdAt","ephemeral","extra","forkedFromId","gitInfo","historyMode","legacy","modelProvider","openai","parentThreadId","/opt/codex/sessions/2026/06/30/rollout-2026-06-30T05-22-11-019f16fa-507f-7fe1-a649-d690017df380.jsonl","preview","recencyAt","vscode",{"_93":468},"threadSource",[],"updatedAt",[],"messages",[1054],{"_42":1055,"_1056":1057,"_1058":1059,"_1060":1059,"_474":1061,"_464":1062,"_476":-5,"_1063":32,"_1064":1065,"_1066":1067,"_1068":-5},"92d7c28a-1648-4ab0-ad88-e7fede1b14a7","author",{"_97":327,"_182":-5,"_1064":1077},"create_time",1782796930.486678,"update_time",{"_1073":46,"_1074":1075},"finished_successfully","weight","metadata",{"_1069":1070},"recipient","all","channel","l1239dk1",{"_1071":1072},"inline_comments",[],"content_type","parts",[1076],"@codex self-audit found additional issue before fixes:\n\n| Priority | Source | File | Lines | Issue | Planned handling |\n| --- | --- | --- | --- | --- | --- |\n| P3 | Self | `crates/edict-syntax/tests/target_ir.rs`, `docs/topics/target-ir/test-plan.md` | test EOF / TIR-TP-018..019 | Implemented evidence claims obstruction-arm mutation sensitivity and step-order preservation, but current tests only mutate obstruction failure keys and do not prove step order changes digest. | Add focused RED coverage, then minimal test-only/doc evidence correction if needed. |\nFreeze canonical Target IR artifacts\n\n## Summary\n\nCloses #105.\n\nThis freezes canonical Target IR artifact bytes and digests for the current Echo and git-warp Target IR envelope without expanding into runtime execution, verifier reports, general target plugin dispatch, admission execution, or canonical `ContractBundleManifest` bytes.\n\n- Adds the intentional `edict.target-ir.artifact/v1` canonical value/digest frame and public `encode_target_ir_artifact` / `digest_target_ir_artifact` APIs.\n- Adds strict lowercase digest locking for Target IR artifact target-profile references before hashing.\n- Adds deterministic Echo and git-warp byte/digest goldens under `fixtures/target-ir/canonical/` plus `cargo xtask target-ir-goldens --check/--write`, wired into `cargo xtask verify`.\n- Adds mutation/determinism tests for Target IR bytes and digest sensitivity.\n- Adds `assemble_contract_bundle_from_target_ir(...)` so bundle assembly can compute `targetIrDigest` from a real `TargetIrArtifact` without a caller-supplied target IR digest field.\n- Updates Target IR and contract-bundle topic shelves, the v0.11 design note, and the changelog to describe current branch truth.\n\n## Scope Boundaries\n\n- Freezes canonical Target IR artifact bytes and digest values for the existing Echo/git-warp review artifacts.\n- Does not freeze canonical `ContractBundleManifest` bytes.\n- Does not add Echo execution, git-warp execution, verifier reports, admission execution, new target profiles, or general plugin dispatch.\n\n## RED\n\n- `cargo test -p edict-syntax target_ir_artifact` failed because `digest_target_ir_artifact`, `encode_target_ir_artifact`, and `TARGET_IR_ARTIFACT_DIGEST_DOMAIN` did not exist.\n- `cargo xtask target-ir-goldens --check` failed first because the command was unknown, then failed because the Target IR golden fixtures were absent.\n- `cargo test -p edict-syntax assembled_bundle_from_real_target_ir_computes_target_ir_digest` failed because `assemble_contract_bundle_from_target_ir` and `ContractBundleAssemblyFromTargetIrInput` did not exist.\n\n## GREEN\n\n- `cargo test -p edict-syntax target_ir`\n- `cargo test -p edict-syntax contract_bundle_assembly`\n- `cargo test -p xtask target_ir_goldens_match_executable_encoder`\n- `cargo xtask target-ir-goldens --check`\n- `cargo xtask contract-check`\n- `cargo xtask verify`\n\n## Golden Digests\n\n- Echo Target IR: `sha256:f5a81ddfb84a704c180c9c0e03210445da1873bea397edc8ac683738710ed2b7`\n- git-warp Target IR: `sha256:032dba1b21bc18970ccfb05141d9ad1fd2f1ab94b6de0cd6e853c04e76eeb116`\n\n\n\n> [!WARNING]\n> ## Review limit reached\n> \n> `@flyingrobots`, you've reached your PR review limit, so we couldn't start this review.\n> \n> **Next review available in:** **18 minutes**\n> \n> Enable **[usage-based reviews](https://app.coderabbit.ai/settings/billing?tab=usage&orgId=4252c417-78a1-49cd-a607-68d1e6bdacc4)** in Billing to review now. Otherwise, wait until the next included review is available.\n> You're only billed for reviews past your plan's rate limits ($0.25/file).\n> \n>

\n>

How can I continue?

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

\n> \n> \n>

\n>

How do review limits work?

\n> \n> CodeRabbit enforces per-developer PR review limits for each organization. Most developers receive the normal plan review availability.\n> \n> For paid Pro and Pro+ PR reviews, CodeRabbit uses adaptive limits for sustained high-volume activity. When a developer's recent PR review activity reaches the 95th percentile or higher among CodeRabbit users, additional reviews become available more gradually as earlier reviews age out of the rolling window.\n> \n> Please refer [docs](https://docs.coderabbit.ai/management/plans#rate-limits) for additional details.\n> \n>

\n> \n>

\n>

Review details

\n> \n>

\n>

⚙️ Run configuration

\n> \n> **Configuration used**: Organization UI\n> \n> **Review profile**: ASSERTIVE\n> \n> **Plan**: Pro\n> \n> **Run ID**: `25f99812-cfd4-44ce-8437-e092d3c22a0f`\n> \n>

\n> \n>

\n>

📥 Commits

\n> \n> Reviewing files that changed from the base of the PR and between 45c00c695875b559c6df0e36c8121af9cf4b0cdd and 827c0c5276c6499ac4fe78678e1ecd178a3557cb.\n> \n>

\n> \n>

\n>

📒 Files selected for processing (17)

\n> \n> * `CHANGELOG.md`\n> * `crates/edict-syntax/src/canonical.rs`\n> * `crates/edict-syntax/src/contract_bundle.rs`\n> * `crates/edict-syntax/src/lib.rs`\n> * `crates/edict-syntax/tests/contract_bundle.rs`\n> * `crates/edict-syntax/tests/target_ir.rs`\n> * `docs/design/canonical-target-ir-v0.11.md`\n> * `docs/design/contract-bundle-assembly-v0.11.md`\n> * `docs/topics/contract-bundles/README.md`\n> * `docs/topics/contract-bundles/test-plan.md`\n> * `docs/topics/target-ir/README.md`\n> * `docs/topics/target-ir/test-plan.md`\n> * `fixtures/target-ir/canonical/echo-effectful.target-ir.cbor`\n> * `fixtures/target-ir/canonical/echo-effectful.target-ir.sha256`\n> * `fixtures/target-ir/canonical/gitwarp-append.target-ir.cbor`\n> * `fixtures/target-ir/canonical/gitwarp-append.target-ir.sha256`\n> * `xtask/src/main.rs`\n> \n>

\n> \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=108)! 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@codex review please\n**_{_{![P2 Badge](https://img.shields.io/badge/P2-yellow?style=flat)}} Reject mismatched Core/Target IR pairs**\n\nWhen this computed path is called with a `TargetIrArtifact` lowered from a different `CoreModule` (its `source_core_coordinate` differs from `core_module.coordinate`), we still compute `target_ir_digest` here and then delegate to the supplied-reference assembler, which only validates digest shapes. The resulting manifest is `Valid` but binds `coreIrDigest` for one Core artifact to `targetIrDigest` for another, defeating the computed-artifact path's guarantee; add a consistency check before hashing/assembling.\n\nUseful? React with 👍 / 👎.\n\n### 💡 Codex Review\n\nHere are some automated review suggestions for this pull request.\n\n**Reviewed commit:** `827c0c5276`\n \n\n

ℹ️ About Codex in GitHub

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

",{},"created",1782797122.3720012,"Completing the task","event_type","info",{"_93":480,"_97":94,"_474":1750},{"_93":1109,"_1110":1111},{"_93":1086,"_1087":568,"_1088":1089,"_1090":1091,"_1092":-5},"pr","pr_title","pr_message","### Motivation\n\n- Close a self-audit gap in the Target IR canonicalization/mutation evidence by proving obstruction-arm value and semantic step-order mutations move the Target IR digest, and to align the test-plan prose with the executable evidence.\n\n### Description\n\n- Add a mutation test that changes an obstruction arm `value` and asserts the `edict.target-ir.artifact/v1` digest moves (`crates/edict-syntax/tests/target_ir.rs`).\n- Add a mutation test that swaps semantic target steps (using a chained-effect fixture) and asserts the digest changes (`crates/edict-syntax/tests/target_ir.rs`).\n- Update `docs/topics/target-ir/test-plan.md` to clarify that map/constraint construction-order canonicalization is distinct from semantic step-order sensitivity and to enumerate the new mutation cases.\n\n### Testing\n\n- Ran `cargo test -p edict-syntax target_ir_digest_moves_for_artifact_semantic_mutations` and it passed.\n- Ran `cargo test -p edict-syntax target_ir_artifact_canonicalization_ignores_equivalent_construction_order` and it passed.\n- Ran the full verification task `cargo xtask verify` and it completed successfully.","output_diff",{"_93":1090,"_1093":520,"_129":130,"_1094":-5,"_326":1095,"_1096":1097,"_1098":1099,"_1100":1101,"_1102":1099,"_1103":568,"_1104":1105},"pre_apply_patch","repo_id","preapply_patch_base_commit_sha","diff --git a/crates/edict-syntax/tests/target_ir.rs b/crates/edict-syntax/tests/target_ir.rs\nindex d195866cab7d7b1314b4445c537a525b06d0df29..ca719fef2fda4bed0cccc277fe480b7a26fda4fe 100644\n--- a/crates/edict-syntax/tests/target_ir.rs\n+++ b/crates/edict-syntax/tests/target_ir.rs\n@@ -988,74 +988,91 @@ fn target_ir_digest_moves_for_artifact_semantic_mutations() {\n let baseline = effectful_artifact(EFFECTFUL_REPLACE);\n assert_target_ir_digest_changes(&baseline, \"target profile digest\", |artifact| {\n artifact.target_profile.digest = Some(digest_text('3'));\n });\n assert_target_ir_digest_changes(&baseline, \"source Core coordinate\", |artifact| {\n artifact.source_core_coordinate = \"a.changed@1\".to_owned();\n });\n assert_target_ir_digest_changes(&baseline, \"intent name\", |artifact| {\n let intent = artifact.intents.remove(\"t\").expect(\"intent t\");\n artifact.intents.insert(\"renamed\".to_owned(), intent);\n });\n assert_target_ir_digest_changes(&baseline, \"effect coordinate\", |artifact| {\n target_step_mut(artifact).effect = \"target.replace.changed\".to_owned();\n });\n assert_target_ir_digest_changes(&baseline, \"selected target intrinsic\", |artifact| {\n target_step_mut(artifact).target_intrinsic = \"echo.dpo@1.replace.changed\".to_owned();\n });\n assert_target_ir_digest_changes(&baseline, \"input expression\", |artifact| {\n target_step_mut(artifact).input = CoreExpr::Const(CoreValue::String(\"changed\".to_owned()));\n });\n assert_target_ir_digest_changes(&baseline, \"obstruction failure\", |artifact| {\n target_step_mut(artifact)\n .obstruction_failures\n .push(\"timeout\".to_owned());\n });\n+ assert_target_ir_digest_changes(&baseline, \"obstruction arm value\", |artifact| {\n+ target_step_mut(artifact)\n+ .obstruction_arms\n+ .get_mut(\"rejected\")\n+ .expect(\"rejected obstruction arm\")\n+ .value = CoreExpr::Const(CoreValue::String(\"changed\".to_owned()));\n+ });\n assert_target_ir_digest_changes(&baseline, \"input constraint\", |artifact| {\n artifact\n .intents\n .get_mut(\"t\")\n .expect(\"intent t\")\n .input_constraints\n .push(InputConstraint {\n coordinate: \"compiler.0\".to_owned(),\n source: InputConstraintSource::Compiler,\n predicate: CorePredicate::True,\n });\n });\n assert_target_ir_digest_changes(&baseline, \"Core evaluation budget\", |artifact| {\n artifact\n .intents\n .get_mut(\"t\")\n .expect(\"intent t\")\n .core_evaluation_budget\n .max_steps += 1;\n });\n assert_target_ir_digest_changes(&baseline, \"result expression\", |artifact| {\n artifact.intents.get_mut(\"t\").expect(\"intent t\").result =\n CoreExpr::Const(CoreValue::String(\"changed\".to_owned()));\n });\n+\n+ let chained = effectful_artifact(CHAINED_EFFECT_RESULTS);\n+ assert_target_ir_digest_changes(&chained, \"target step order\", |artifact| {\n+ artifact\n+ .intents\n+ .get_mut(\"t\")\n+ .expect(\"intent t\")\n+ .steps\n+ .swap(0, 1);\n+ });\n }\n \n #[test]\n fn target_ir_encoder_rejects_unlocked_or_uppercase_target_profile_digest() {\n let mut missing = effectful_artifact(EFFECTFUL_REPLACE);\n missing.target_profile.digest = None;\n assert_eq!(\n encode_target_ir_artifact(&missing)\n .expect_err(\"missing target profile digest rejects before hashing\")\n .kind(),\n CanonicalErrorKind::UnresolvedDigest\n );\n assert_eq!(\n digest_target_ir_artifact(&missing)\n .expect_err(\"missing target profile digest rejects during digest\")\n .kind(),\n CanonicalErrorKind::UnresolvedDigest\n );\n \n let mut uppercase = effectful_artifact(EFFECTFUL_REPLACE);\n uppercase.target_profile.digest =\n Some(\"sha256:AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA\".to_owned());\n assert_eq!(\n encode_target_ir_artifact(&uppercase)\n .expect_err(\"uppercase target profile digest rejects before hashing\")\ndiff --git a/docs/topics/target-ir/test-plan.md b/docs/topics/target-ir/test-plan.md\nindex b975879bda702a16116e3117ac2276ec2a54957f..14e3ecc69169ff2ae6bd5965c297b23ee0c40b62 100644\n--- a/docs/topics/target-ir/test-plan.md\n+++ b/docs/topics/target-ir/test-plan.md\n@@ -53,50 +53,50 @@ Out of scope:\n | fixtures/target-ir/canonical/echo-effectful.target-ir.sha256 | Reviewed Echo Target IR digest golden. | `cargo xtask target-ir-goldens --check` compares the checked-in review digest to executable regeneration. |\n | fixtures/target-ir/canonical/gitwarp-append.target-ir.cbor | Reviewed git-warp Target IR canonical byte golden. | `cargo xtask target-ir-goldens --check` compares the checked-in bytes to executable regeneration. |\n | fixtures/target-ir/canonical/gitwarp-append.target-ir.sha256 | Reviewed git-warp Target IR digest golden. | `cargo xtask target-ir-goldens --check` compares the checked-in review digest to executable regeneration. |\n \n ## Test Cases\n \n | ID | Status | Category | Requirement | Oracle | Evidence | Fixtures | Notes |\n | --- | --- | --- | --- | --- | --- | --- | --- |\n | TIR-TP-001 | implemented | Golden path | TIR-REQ-001, TIR-REQ-002 | The supported effectful Core shape lowers to an `echo.span-ir/v1` artifact whose selected profile is `echo.dpo@1` and whose steps preserve effect coordinates, effect result bindings, inputs, obstruction arms, intent input constraints, evaluation budgets, intent results, and deterministic order. | supported_effectful_core_lowers_to_echo_span_ir, obstruction_arm_values_are_preserved_in_echo_span_ir, intent_constraints_and_budget_are_preserved_in_echo_span_ir, intent_result_is_preserved_in_echo_span_ir, effect_result_bindings_are_preserved_in_echo_span_ir | crates/edict-syntax/tests/target_ir.rs | Echo remains the first supported target slice. |\n | TIR-TP-002 | implemented | Golden path | TIR-REQ-001, TIR-REQ-005 | Native lowerability support for `echo.dpo@1` feeds Target IR lowering facts and produces the same Echo intrinsic selection in the emitted artifact; rejected lowerability reports cannot build Target IR lowering facts; derived facts keep the lowerability report's target-profile coordinate, operation profile, and obstruction coordinates; prevalidated target-profile references must match the lowerability report; repeated identical native selections are coalesced. | lowerability_native_support_feeds_echo_target_lowering, lowerability_bridge_carries_only_selected_native_effect, lowerability_bridge_deduplicates_identical_native_effect_selection, unsupported_lowerability_report_does_not_build_target_ir_facts, lowerability_bridge_uses_report_target_profile_identity, lowerability_bridge_uses_report_operation_profile_identity, lowerability_bridge_requires_matching_target_profile_reference | crates/edict-syntax/tests/target_ir.rs | Bridges lowerability evidence to Target IR generation without adapter search or carrying unselected native supports. |\n | TIR-TP-003 | implemented | Boundary guard | TIR-REQ-001, TIR-REQ-003 | Selecting an unsupported target profile returns `TargetLoweringFailureKind::UnsupportedTargetProfile` with no artifact; selecting an unsupported Target IR domain returns `TargetLoweringFailureKind::UnsupportedTargetIrDomain` with no artifact. | unsupported_target_profile_rejects_without_artifact, unsupported_target_ir_domain_rejects_without_artifact | crates/edict-syntax/tests/target_ir.rs | Keeps supported targets explicit. |\n | TIR-TP-004 | implemented | Boundary guard | TIR-REQ-001, TIR-REQ-004 | A Core module with an unsupported node returns `TargetLoweringFailureKind::UnsupportedCoreNode` with no artifact. | unsupported_core_nodes_reject_without_artifact | crates/edict-syntax/tests/target_ir.rs | No silent fallback or partial artifact. |\n | TIR-TP-005 | policy | Release boundary | TIR-REQ-006 | Roadmap and release scope keep runtime execution, admission, and general plugin dispatch outside the first target IR slices. | - | - | Non-goal boundary; not a substitute for behavior tests. |\n | TIR-TP-006 | implemented | Boundary guard | TIR-REQ-001, TIR-REQ-004 | A Core intent whose required operation profile is absent from the selected target-lowering facts returns `TargetLoweringFailureKind::MissingOperationProfile` with no artifact; missing or ambiguous selected effect lowerings return `MissingEffectLowering` or `AmbiguousEffectLowering` with no artifact. | unsupported_operation_profile_rejects_without_artifact, missing_effect_lowering_rejects_without_artifact, ambiguous_effect_lowering_rejects_without_artifact | crates/edict-syntax/tests/target_ir.rs | Prevents effect-only support from bypassing lowerability profile selection and keeps effect matching deterministic. |\n | TIR-TP-007 | implemented | Boundary guard | TIR-REQ-001, TIR-REQ-004 | A Core intent with no target-owned steps, or a Core module with no intents, returns `TargetLoweringFailureKind::NoTargetSteps` with no artifact. | empty_target_step_intents_reject_without_artifact, empty_core_modules_reject_without_artifact | crates/edict-syntax/tests/target_ir.rs | Prevents empty Echo artifacts from standing in for unsupported work. |\n | TIR-TP-008 | implemented | Boundary guard | TIR-REQ-001, TIR-REQ-003 | A matched effect lowering whose target intrinsic belongs to a non-Echo profile returns `TargetLoweringFailureKind::UnsupportedTargetIntrinsic` with no artifact. | foreign_target_intrinsic_rejects_without_artifact | crates/edict-syntax/tests/target_ir.rs | Keeps nominal Echo artifacts from carrying another target's intrinsic. |\n | TIR-TP-009 | implemented | Boundary guard | TIR-REQ-001, TIR-REQ-004 | A Core module whose ABI is not `edict.core/v1` returns `TargetLoweringFailureKind::UnsupportedCoreAbi` with no artifact. | unsupported_core_abi_rejects_without_artifact | crates/edict-syntax/tests/target_ir.rs | Prevents Target IR from silently reinterpreting future or stale Core shapes. |\n | TIR-TP-010 | implemented | Boundary guard | TIR-REQ-001, TIR-REQ-004 | A Core module with unsupported required Core capability flags returns `TargetLoweringFailureKind::UnsupportedCoreCapability` with no artifact. | unsupported_core_capability_rejects_without_artifact | crates/edict-syntax/tests/target_ir.rs | Prevents Target IR from omitting hash-significant Core obligations. |\n | TIR-TP-011 | implemented | Boundary guard | TIR-REQ-001, TIR-REQ-003 | Selecting Echo with a missing or invalid target-profile digest returns `TargetLoweringFailureKind::UndigestedTargetProfile` with no artifact. | undigested_target_profile_rejects_without_artifact | crates/edict-syntax/tests/target_ir.rs | Keeps emitted Target IR bound to a reproducible selected target profile. |\n | TIR-TP-012 | implemented | Boundary guard | TIR-REQ-001, TIR-REQ-004 | Duplicate lowerings for an unused effect do not reject an otherwise supported Core module. | unused_duplicate_effect_lowerings_do_not_reject_supported_effect | crates/edict-syntax/tests/target_ir.rs | Ambiguity is scoped to effects the Core module actually uses. |\n | TIR-TP-013 | implemented | Boundary guard | TIR-REQ-001, TIR-REQ-004 | A Core effect obstruction key absent from the selected target facts returns `TargetLoweringFailureKind::MissingObstruction` with no artifact. | unsupported_obstruction_key_rejects_without_artifact | crates/edict-syntax/tests/target_ir.rs | Prevents lowerability evidence for one obstruction set from being reused for another. |\n | TIR-TP-014 | implemented | Boundary guard | TIR-REQ-001, TIR-REQ-004 | A Core module with a floating import returns `TargetLoweringFailureKind::UndigestedCoreImport` with no artifact. | undigested_core_import_rejects_without_artifact | crates/edict-syntax/tests/target_ir.rs | Keeps Target IR generation aligned with canonical Core reproducibility. |\n | TIR-TP-015 | implemented | Golden path | TIR-REQ-001, TIR-REQ-007 | The supported git-warp effectful Core shape lowers to a `gitwarp.commit-reducer-ir/v1` artifact for `gitwarp.ref_crdt@1`, preserving selected intrinsic, input, obstruction arms, input constraints, evaluation budget, result expression, and deterministic order. | supported_gitwarp_core_lowers_to_commit_reducer_ir | crates/edict-syntax/tests/target_ir.rs | Proves Target IR is not Echo-shaped. |\n | TIR-TP-016 | implemented | Golden path | TIR-REQ-001, TIR-REQ-005, TIR-REQ-007 | Native lowerability support for `gitwarp.ref_crdt@1` feeds Target IR lowering facts and produces the same git-warp intrinsic selection in the emitted artifact. | lowerability_native_support_feeds_gitwarp_target_lowering | crates/edict-syntax/tests/target_ir.rs | Bridge remains native-only and explicit. |\n | TIR-TP-017 | implemented | Golden path | TIR-REQ-008 | Echo and git-warp Target IR artifacts encode to deterministic canonical CBOR, decode as canonical CBOR, and produce stable `edict.target-ir.artifact/v1` digest review strings without colliding with each other. | target_ir_artifact_bytes_and_digests_are_deterministic | crates/edict-syntax/tests/target_ir.rs | The digest domain is the Edict envelope; the artifact domain remains inside the value. |\n-| TIR-TP-018 | implemented | Determinism guard | TIR-REQ-008 | Equivalent Target IR construction order for maps, obstruction failures, and input constraints does not change canonical bytes or digest, while semantic list order for steps remains preserved. | target_ir_artifact_canonicalization_ignores_equivalent_construction_order | crates/edict-syntax/tests/target_ir.rs | Prevents Rust construction order from becoming a cryptographic contract. |\n-| TIR-TP-019 | implemented | Mutation sensitivity | TIR-REQ-008 | Target profile digest, source Core coordinate, intent name, effect coordinate, selected intrinsic, input expression, obstruction failure/arm, input constraint, budget, and result mutations each move the Target IR digest. | target_ir_digest_moves_for_artifact_semantic_mutations | crates/edict-syntax/tests/target_ir.rs | Freezes the reviewed value shape without re-litigating lowering semantics. |\n+| TIR-TP-018 | implemented | Determinism guard | TIR-REQ-008 | Equivalent Target IR construction order for maps, obstruction failures, and input constraints does not change canonical bytes or digest. | target_ir_artifact_canonicalization_ignores_equivalent_construction_order | crates/edict-syntax/tests/target_ir.rs | Prevents Rust construction order from becoming a cryptographic contract; step-order sensitivity is covered by TIR-TP-019 because steps are semantic lists. |\n+| TIR-TP-019 | implemented | Mutation sensitivity | TIR-REQ-008 | Target profile digest, source Core coordinate, intent name, effect coordinate, selected intrinsic, input expression, obstruction failure, obstruction arm value, input constraint, budget, result, and target step order mutations each move the Target IR digest. | target_ir_digest_moves_for_artifact_semantic_mutations | crates/edict-syntax/tests/target_ir.rs | Freezes the reviewed value shape without re-litigating lowering semantics. |\n | TIR-TP-020 | implemented | Boundary guard | TIR-REQ-008 | Canonical Target IR encoding rejects missing target-profile digests and non-lowercase digest review strings before hashing. | target_ir_encoder_rejects_unlocked_or_uppercase_target_profile_digest | crates/edict-syntax/tests/target_ir.rs | Target IR artifact references use the strict bundle-artifact digest policy. |\n | TIR-TP-021 | implemented | Golden path | TIR-REQ-009 | `xtask target-ir-goldens --check` fails on drift and `--write` regenerates Echo and git-warp byte/digest golden fixtures from executable assembly. | target_ir_goldens_match_executable_encoder | xtask/src/main.rs, fixtures/target-ir/canonical/echo-effectful.target-ir.cbor, fixtures/target-ir/canonical/echo-effectful.target-ir.sha256, fixtures/target-ir/canonical/gitwarp-append.target-ir.cbor, fixtures/target-ir/canonical/gitwarp-append.target-ir.sha256 | Golden scope is Target IR artifact bytes and digest review strings only. |\n | TIR-TP-022 | implemented | Integration | TIR-REQ-010 | Bundle assembly from a real `TargetIrArtifact` computes `targetIrDigest`, writes that same digest into the manifest, and changes bundle digests when the Target IR artifact changes. | assembled_bundle_from_real_target_ir_computes_target_ir_digest | crates/edict-syntax/tests/contract_bundle.rs | Keeps generated Target IR and manifest `target_ir.digest` as one source of truth. |\n \n ## Determinism Obligations\n \n - Tests inspect structured Rust values and canonical Target IR bytes only.\n - Target facts are in-memory constants.\n - Output ordering is derived from Core order and sorted maps, not hash maps.\n - Target IR golden bytes and digest review strings are regenerated by\n `cargo xtask target-ir-goldens --write` and checked by\n `cargo xtask target-ir-goldens --check`.\n - No test reads stdout, stderr, logs, wall-clock time, random values, network\n state, or filesystem ordering.\n \n ## Open Gaps\n \n - Echo verifier reports.\n - git-warp verifier reports.\n - CLI exposure.\n - Source-to-target fixture through `fixtures/lang/effects/read-greeting.edict`\n once the compiler spine supports its non-`basis none` Echo source shape.\n - Additional target profiles beyond Echo and git-warp.\n","external_storage_diff",{"_1106":1107,"_1108":-5},"files_modified",2,"lines_added",19,"lines_removed","commit_message","additional_parent_commit_shas",[],"file_id","file_000000006a54720ca92a82646cf6cc8e","ttl","partial_repo_snapshot","files",[1112,1113],{"_162":1212,"_1115":-5,"_1116":1213,"_1118":-5},{"_162":1114,"_1115":-5,"_1116":1117,"_1118":-5},"docs/topics/target-ir/test-plan.md","contents","line_range_contents",[1119],"missing_reason",{"_1120":1121,"_1122":1123,"_474":1124,"_1125":59},"line_range_start",1,"line_range_end",102,[1126,200,1127,200,1128,200,1129,200,1130,1131,1132,1133,1134,1135,1136,1137,1138,1139,200,1140,200,1141,1142,1143,1144,1145,1146,1147,1148,1149,200,1150,200,1151,1152,1153,1154,1155,1156,1157,1158,1159,1160,1161,1162,200,1163,200,1164,1165,1166,1167,1168,1169,1170,200,1171,200,1172,1173,1174,1175,1176,1177,1178,1179,1180,1181,1182,1183,1184,1185,1186,1187,1188,1189,1190,1191,1192,1193,1194,1195,200,1196,200,1197,1198,1199,1200,1201,1202,1203,1204,200,1205,200,1206,1207,1208,1209,1210,1211],"contains_end_of_file","# Target IR Test Plan","Status: current verification design for first target IR generation.","## Scope","In scope:","- typed target-lowering API over `CoreModule`;","- explicit selected target profile facts;","- deterministic `echo.span-ir/v1` review artifact for `echo.dpo@1`;","- deterministic `gitwarp.commit-reducer-ir/v1` review artifact for"," `gitwarp.ref_crdt@1`;","- canonical Target IR artifact bytes and digests for the current Echo and"," git-warp review artifacts;","- stable target-lowering failure kinds for unsupported target obligations;","- explicit non-claim that Target IR generation executes Echo, admits a bundle,"," executes git-warp, or implements general target dispatch.","Out of scope:","- Echo runtime execution;","- full Echo DPO verifier completeness;","- git-warp runtime execution, commit object creation, and CRDT reducer"," verification;","- bundle/admission validation;","- general plugin dispatch through `edict-target-lowerer.wit`;","- additional target profiles beyond Echo and git-warp;","- canonical `ContractBundleManifest` bytes;","- v2 adapter composition.","## Requirements","| ID | Status | Requirement | Source |","| --- | --- | --- | --- |","| TIR-REQ-001 | implemented | `edict_syntax` exposes a typed target-lowering API that consumes Core and explicit target-profile facts without reading ambient environment or runtime state. | issue #66 |","| TIR-REQ-002 | implemented | The first target lowerer supports `echo.dpo@1` and emits a deterministic `echo.span-ir/v1` review artifact for the supported effectful Core shape. | issue #66, docs/SPEC_edict-target-profile-abi-v1.md |","| TIR-REQ-003 | implemented | Target lowering rejects unsupported target profiles with stable structured failure kinds before producing an artifact. | issue #66 |","| TIR-REQ-004 | implemented | Target lowering rejects unsupported Core, empty-step, or operation-profile obligations with stable structured failure kinds before producing an artifact. | issue #66 |","| TIR-REQ-005 | implemented | Target IR lowering facts can be derived from selected native lowerability results, so lowerability evidence and Target IR generation select the same target profile and effect support. | issue #66, ROADMAP.md |","| TIR-REQ-006 | policy | The Target IR slices do not execute runtimes, run admission, or claim general target-lowering plugin dispatch. | ROADMAP.md |","| TIR-REQ-007 | implemented | The next target lowerer supports `gitwarp.ref_crdt@1` and emits a deterministic `gitwarp.commit-reducer-ir/v1` review artifact for the supported effectful Core shape without adding general plugin dispatch. | issue #68 |","| TIR-REQ-008 | implemented | Target IR artifacts have an intentional canonical value model, canonical CBOR bytes, and an `edict.target-ir.artifact/v1` digest frame over the current Echo and git-warp artifact envelope. | issue #105, docs/design/canonical-target-ir-v0.11.md |","| TIR-REQ-009 | implemented | Reviewed Echo and git-warp Target IR byte/digest golden fixtures are regenerated and checked by `xtask target-ir-goldens`. | issue #105, docs/design/canonical-target-ir-v0.11.md |","| TIR-REQ-010 | implemented | Bundle assembly can use a computed Target IR artifact digest as the single source of truth for `targetIrDigest` after canonical Target IR bytes exist. | issue #105, docs/design/canonical-target-ir-v0.11.md |","## Fixtures","| Fixture | Purpose | Oracle |","| --- | --- | --- |","| crates/edict-syntax/tests/target_ir.rs | In-test Core fixtures and explicit Echo/git-warp target-lowering facts for the first Target IR slices. | The supported Core effect shape emits target-owned IR, while unsupported target profiles and Core nodes reject with stable failure kinds. |","| fixtures/target-ir/canonical/echo-effectful.target-ir.cbor | Reviewed Echo Target IR canonical byte golden. | `cargo xtask target-ir-goldens --check` compares the checked-in bytes to executable regeneration. |","| fixtures/target-ir/canonical/echo-effectful.target-ir.sha256 | Reviewed Echo Target IR digest golden. | `cargo xtask target-ir-goldens --check` compares the checked-in review digest to executable regeneration. |","| fixtures/target-ir/canonical/gitwarp-append.target-ir.cbor | Reviewed git-warp Target IR canonical byte golden. | `cargo xtask target-ir-goldens --check` compares the checked-in bytes to executable regeneration. |","| fixtures/target-ir/canonical/gitwarp-append.target-ir.sha256 | Reviewed git-warp Target IR digest golden. | `cargo xtask target-ir-goldens --check` compares the checked-in review digest to executable regeneration. |","## Test Cases","| ID | Status | Category | Requirement | Oracle | Evidence | Fixtures | Notes |","| --- | --- | --- | --- | --- | --- | --- | --- |","| TIR-TP-001 | implemented | Golden path | TIR-REQ-001, TIR-REQ-002 | The supported effectful Core shape lowers to an `echo.span-ir/v1` artifact whose selected profile is `echo.dpo@1` and whose steps preserve effect coordinates, effect result bindings, inputs, obstruction arms, intent input constraints, evaluation budgets, intent results, and deterministic order. | supported_effectful_core_lowers_to_echo_span_ir, obstruction_arm_values_are_preserved_in_echo_span_ir, intent_constraints_and_budget_are_preserved_in_echo_span_ir, intent_result_is_preserved_in_echo_span_ir, effect_result_bindings_are_preserved_in_echo_span_ir | crates/edict-syntax/tests/target_ir.rs | Echo remains the first supported target slice. |","| TIR-TP-002 | implemented | Golden path | TIR-REQ-001, TIR-REQ-005 | Native lowerability support for `echo.dpo@1` feeds Target IR lowering facts and produces the same Echo intrinsic selection in the emitted artifact; rejected lowerability reports cannot build Target IR lowering facts; derived facts keep the lowerability report's target-profile coordinate, operation profile, and obstruction coordinates; prevalidated target-profile references must match the lowerability report; repeated identical native selections are coalesced. | lowerability_native_support_feeds_echo_target_lowering, lowerability_bridge_carries_only_selected_native_effect, lowerability_bridge_deduplicates_identical_native_effect_selection, unsupported_lowerability_report_does_not_build_target_ir_facts, lowerability_bridge_uses_report_target_profile_identity, lowerability_bridge_uses_report_operation_profile_identity, lowerability_bridge_requires_matching_target_profile_reference | crates/edict-syntax/tests/target_ir.rs | Bridges lowerability evidence to Target IR generation without adapter search or carrying unselected native supports. |","| TIR-TP-003 | implemented | Boundary guard | TIR-REQ-001, TIR-REQ-003 | Selecting an unsupported target profile returns `TargetLoweringFailureKind::UnsupportedTargetProfile` with no artifact; selecting an unsupported Target IR domain returns `TargetLoweringFailureKind::UnsupportedTargetIrDomain` with no artifact. | unsupported_target_profile_rejects_without_artifact, unsupported_target_ir_domain_rejects_without_artifact | crates/edict-syntax/tests/target_ir.rs | Keeps supported targets explicit. |","| TIR-TP-004 | implemented | Boundary guard | TIR-REQ-001, TIR-REQ-004 | A Core module with an unsupported node returns `TargetLoweringFailureKind::UnsupportedCoreNode` with no artifact. | unsupported_core_nodes_reject_without_artifact | crates/edict-syntax/tests/target_ir.rs | No silent fallback or partial artifact. |","| TIR-TP-005 | policy | Release boundary | TIR-REQ-006 | Roadmap and release scope keep runtime execution, admission, and general plugin dispatch outside the first target IR slices. | - | - | Non-goal boundary; not a substitute for behavior tests. |","| TIR-TP-006 | implemented | Boundary guard | TIR-REQ-001, TIR-REQ-004 | A Core intent whose required operation profile is absent from the selected target-lowering facts returns `TargetLoweringFailureKind::MissingOperationProfile` with no artifact; missing or ambiguous selected effect lowerings return `MissingEffectLowering` or `AmbiguousEffectLowering` with no artifact. | unsupported_operation_profile_rejects_without_artifact, missing_effect_lowering_rejects_without_artifact, ambiguous_effect_lowering_rejects_without_artifact | crates/edict-syntax/tests/target_ir.rs | Prevents effect-only support from bypassing lowerability profile selection and keeps effect matching deterministic. |","| TIR-TP-007 | implemented | Boundary guard | TIR-REQ-001, TIR-REQ-004 | A Core intent with no target-owned steps, or a Core module with no intents, returns `TargetLoweringFailureKind::NoTargetSteps` with no artifact. | empty_target_step_intents_reject_without_artifact, empty_core_modules_reject_without_artifact | crates/edict-syntax/tests/target_ir.rs | Prevents empty Echo artifacts from standing in for unsupported work. |","| TIR-TP-008 | implemented | Boundary guard | TIR-REQ-001, TIR-REQ-003 | A matched effect lowering whose target intrinsic belongs to a non-Echo profile returns `TargetLoweringFailureKind::UnsupportedTargetIntrinsic` with no artifact. | foreign_target_intrinsic_rejects_without_artifact | crates/edict-syntax/tests/target_ir.rs | Keeps nominal Echo artifacts from carrying another target's intrinsic. |","| TIR-TP-009 | implemented | Boundary guard | TIR-REQ-001, TIR-REQ-004 | A Core module whose ABI is not `edict.core/v1` returns `TargetLoweringFailureKind::UnsupportedCoreAbi` with no artifact. | unsupported_core_abi_rejects_without_artifact | crates/edict-syntax/tests/target_ir.rs | Prevents Target IR from silently reinterpreting future or stale Core shapes. |","| TIR-TP-010 | implemented | Boundary guard | TIR-REQ-001, TIR-REQ-004 | A Core module with unsupported required Core capability flags returns `TargetLoweringFailureKind::UnsupportedCoreCapability` with no artifact. | unsupported_core_capability_rejects_without_artifact | crates/edict-syntax/tests/target_ir.rs | Prevents Target IR from omitting hash-significant Core obligations. |","| TIR-TP-011 | implemented | Boundary guard | TIR-REQ-001, TIR-REQ-003 | Selecting Echo with a missing or invalid target-profile digest returns `TargetLoweringFailureKind::UndigestedTargetProfile` with no artifact. | undigested_target_profile_rejects_without_artifact | crates/edict-syntax/tests/target_ir.rs | Keeps emitted Target IR bound to a reproducible selected target profile. |","| TIR-TP-012 | implemented | Boundary guard | TIR-REQ-001, TIR-REQ-004 | Duplicate lowerings for an unused effect do not reject an otherwise supported Core module. | unused_duplicate_effect_lowerings_do_not_reject_supported_effect | crates/edict-syntax/tests/target_ir.rs | Ambiguity is scoped to effects the Core module actually uses. |","| TIR-TP-013 | implemented | Boundary guard | TIR-REQ-001, TIR-REQ-004 | A Core effect obstruction key absent from the selected target facts returns `TargetLoweringFailureKind::MissingObstruction` with no artifact. | unsupported_obstruction_key_rejects_without_artifact | crates/edict-syntax/tests/target_ir.rs | Prevents lowerability evidence for one obstruction set from being reused for another. |","| TIR-TP-014 | implemented | Boundary guard | TIR-REQ-001, TIR-REQ-004 | A Core module with a floating import returns `TargetLoweringFailureKind::UndigestedCoreImport` with no artifact. | undigested_core_import_rejects_without_artifact | crates/edict-syntax/tests/target_ir.rs | Keeps Target IR generation aligned with canonical Core reproducibility. |","| TIR-TP-015 | implemented | Golden path | TIR-REQ-001, TIR-REQ-007 | The supported git-warp effectful Core shape lowers to a `gitwarp.commit-reducer-ir/v1` artifact for `gitwarp.ref_crdt@1`, preserving selected intrinsic, input, obstruction arms, input constraints, evaluation budget, result expression, and deterministic order. | supported_gitwarp_core_lowers_to_commit_reducer_ir | crates/edict-syntax/tests/target_ir.rs | Proves Target IR is not Echo-shaped. |","| TIR-TP-016 | implemented | Golden path | TIR-REQ-001, TIR-REQ-005, TIR-REQ-007 | Native lowerability support for `gitwarp.ref_crdt@1` feeds Target IR lowering facts and produces the same git-warp intrinsic selection in the emitted artifact. | lowerability_native_support_feeds_gitwarp_target_lowering | crates/edict-syntax/tests/target_ir.rs | Bridge remains native-only and explicit. |","| TIR-TP-017 | implemented | Golden path | TIR-REQ-008 | Echo and git-warp Target IR artifacts encode to deterministic canonical CBOR, decode as canonical CBOR, and produce stable `edict.target-ir.artifact/v1` digest review strings without colliding with each other. | target_ir_artifact_bytes_and_digests_are_deterministic | crates/edict-syntax/tests/target_ir.rs | The digest domain is the Edict envelope; the artifact domain remains inside the value. |","| TIR-TP-018 | implemented | Determinism guard | TIR-REQ-008 | Equivalent Target IR construction order for maps, obstruction failures, and input constraints does not change canonical bytes or digest. | target_ir_artifact_canonicalization_ignores_equivalent_construction_order | crates/edict-syntax/tests/target_ir.rs | Prevents Rust construction order from becoming a cryptographic contract; step-order sensitivity is covered by TIR-TP-019 because steps are semantic lists. |","| TIR-TP-019 | implemented | Mutation sensitivity | TIR-REQ-008 | Target profile digest, source Core coordinate, intent name, effect coordinate, selected intrinsic, input expression, obstruction failure, obstruction arm value, input constraint, budget, result, and target step order mutations each move the Target IR digest. | target_ir_digest_moves_for_artifact_semantic_mutations | crates/edict-syntax/tests/target_ir.rs | Freezes the reviewed value shape without re-litigating lowering semantics. |","| TIR-TP-020 | implemented | Boundary guard | TIR-REQ-008 | Canonical Target IR encoding rejects missing target-profile digests and non-lowercase digest review strings before hashing. | target_ir_encoder_rejects_unlocked_or_uppercase_target_profile_digest | crates/edict-syntax/tests/target_ir.rs | Target IR artifact references use the strict bundle-artifact digest policy. |","| TIR-TP-021 | implemented | Golden path | TIR-REQ-009 | `xtask target-ir-goldens --check` fails on drift and `--write` regenerates Echo and git-warp byte/digest golden fixtures from executable assembly. | target_ir_goldens_match_executable_encoder | xtask/src/main.rs, fixtures/target-ir/canonical/echo-effectful.target-ir.cbor, fixtures/target-ir/canonical/echo-effectful.target-ir.sha256, fixtures/target-ir/canonical/gitwarp-append.target-ir.cbor, fixtures/target-ir/canonical/gitwarp-append.target-ir.sha256 | Golden scope is Target IR artifact bytes and digest review strings only. |","| TIR-TP-022 | implemented | Integration | TIR-REQ-010 | Bundle assembly from a real `TargetIrArtifact` computes `targetIrDigest`, writes that same digest into the manifest, and changes bundle digests when the Target IR artifact changes. | assembled_bundle_from_real_target_ir_computes_target_ir_digest | crates/edict-syntax/tests/contract_bundle.rs | Keeps generated Target IR and manifest `target_ir.digest` as one source of truth. |","## Determinism Obligations","- Tests inspect structured Rust values and canonical Target IR bytes only.","- Target facts are in-memory constants.","- Output ordering is derived from Core order and sorted maps, not hash maps.","- Target IR golden bytes and digest review strings are regenerated by"," `cargo xtask target-ir-goldens --write` and checked by"," `cargo xtask target-ir-goldens --check`.","- No test reads stdout, stderr, logs, wall-clock time, random values, network"," state, or filesystem ordering.","## Open Gaps","- Echo verifier reports.","- git-warp verifier reports.","- CLI exposure.","- Source-to-target fixture through `fixtures/lang/effects/read-greeting.edict`"," once the compiler spine supports its non-`basis none` Echo source shape.","- Additional target profiles beyond Echo and git-warp.","crates/edict-syntax/tests/target_ir.rs",[1214],{"_1120":1121,"_1122":1215,"_474":1216,"_1125":59},1110,[1217,1218,1219,1220,1221,200,1222,200,1223,1224,1225,1226,1227,1228,1229,1230,1231,1232,1233,200,1234,1235,1236,1237,1238,1239,1240,1241,1242,1243,1244,1245,1246,1235,1236,1237,1238,1239,1240,1241,1247,1243,1248,1243,1249,1245,1250,1235,1236,1237,1238,1251,1240,1252,1253,1254,1255,1256,1245,200,1257,1258,1259,1260,1261,200,1262,1263,1264,1265,200,1266,1267,1268,1269,1270,1271,1272,1265,200,1273,1274,1271,1275,1265,200,1276,1277,1278,1265,200,1279,1280,1281,1265,200,1282,1283,1265,200,1284,1285,1286,1287,1288,1289,1290,1291,1292,1293,1294,1295,1296,1265,200,1297,1285,1298,1289,1299,1291,1300,1301,1302,1295,1296,1265,200,1303,1285,1304,1305,1306,1289,1290,1291,1307,1308,1309,1295,1296,1265,200,1310,1311,1312,1313,1314,1315,1316,1317,1318,1319,1320,1321,1322,1323,1265,200,1324,1311,1312,1325,1326,1315,1327,1328,1329,1319,1330,1331,1322,1323,1265,200,1332,1333,1265,200,1334,1335,1265,200,1336,1337,1338,1339,1323,1265,200,1340,1337,1341,1342,1323,1265,200,1343,1344,1338,1317,1345,1346,1321,1347,1348,1322,1349,1350,1351,1352,1353,1318,1354,1355,1356,1323,1265,200,1357,1344,1341,1328,1345,1358,1331,1359,1348,1322,1349,1360,1351,1352,1353,1329,1361,1362,1363,1323,1265,200,1364,1365,1366,1367,1346,1347,1348,1368,1369,1370,1322,1371,1351,1372,1353,1318,1354,1355,1373,1323,1265,200,1374,1365,1375,1367,1358,1359,1348,1376,1377,1378,1322,1379,1351,1372,1353,1329,1361,1362,1380,1323,1265,200,1381,1382,1265,200,1383,1384,1385,1386,200,1387,1388,200,1389,1390,1391,1392,1393,200,1394,1395,1396,200,1397,1398,1399,1400,1401,200,1402,1403,1404,1405,1265,200,1383,1406,1407,1408,1409,1410,200,1411,1412,1413,1414,1415,1416,1417,200,1387,1418,1271,1419,1420,1399,1400,1265,200,1383,1421,1422,1423,200,1387,1388,200,1389,1424,1425,1426,1427,1428,1429,200,1394,1430,1425,1431,1432,1433,1434,1435,1436,1428,1437,1438,1439,1440,1441,1396,200,1397,1442,1443,1444,1445,200,1402,1446,1404,1405,200,1447,1448,1404,1449,1265,200,1383,1450,1451,1409,1410,200,1411,1452,1453,1414,1415,1454,1455,200,1387,1418,1271,1456,1420,1442,1443,1265,200,1383,1457,1458,1459,1460,1461,1462,1463,1464,1408,1409,1410,200,1411,1412,1413,1414,1415,1416,1417,200,1387,1418,1271,1465,1420,1400,1265,200,1383,1466,1467,1468,1469,1470,1471,1409,1472,200,1411,1412,1413,1414,1415,1416,1417,200,1387,1388,1418,1271,1473,1420,1400,1265,200,1383,1474,1475,1476,1477,1478,1464,1476,1477,1479,1464,200,1480,200,1387,1388,1418,1271,1481,1420,1399,1400,1265,200,1383,1482,1458,1483,1408,1484,200,1485,1412,1413,1414,1415,1486,200,1425,1487,1488,1428,1265,200,1383,1489,1458,1490,1408,1409,200,1485,1412,1413,1414,1415,1491,200,1425,1487,1492,1428,1265,200,1383,1493,1494,1409,200,1411,1412,1413,1414,1415,1416,1263,1495,1496,1497,1415,1498,1499,200,1500,1501,1425,1502,1503,1428,1265,200,1383,1504,1494,1409,200,1485,1505,1506,1314,1315,1413,1414,1415,1491,200,1425,1487,1492,1428,1265,200,1383,1507,1508,1509,1428,1510,200,1511,1512,1513,1514,1515,1516,1517,1404,1518,1519,1520,1265,200,1383,1521,1508,1522,1428,1523,200,1524,1525,1404,1526,1527,1404,1405,1528,1265,200,1383,1529,1530,1531,1532,1428,1533,1534,200,1425,1431,1432,1535,1536,1537,1436,1428,1437,1538,1438,1439,1440,1441,1265,200,1383,1539,1540,1534,200,1541,1542,1543,200,1544,1545,1404,1405,1528,1265,200,1383,1546,1385,1475,1547,1548,200,1549,200,1500,1501,1425,1502,1550,1428,1265,200,1383,1551,1475,1552,200,1480,200,1500,1501,1425,1502,1553,1428,1265,200,1383,1554,1555,1556,1557,200,1558,200,1559,1560,1561,1562,1563,1564,1323,1265,200,1383,1565,1475,1566,200,1480,200,1500,1501,1425,1502,1567,1428,1265,200,1383,1568,1475,1476,1569,1570,1464,200,1480,200,1500,1501,1425,1502,1571,1428,1265,200,1383,1572,1263,1495,1496,1497,1415,1498,200,1386,200,1500,1501,1425,1502,1503,1428,1265,200,1383,1573,1475,1574,200,1480,200,1500,1501,1425,1502,1575,1428,1265,200,1383,1576,1577,1578,1415,1579,1268,1269,200,1386,200,1500,1501,1425,1502,1580,1428,1265,200,1383,1581,1582,1583,1584,1585,1586,1587,1588,200,1386,200,1500,1501,1425,1502,1589,1428,1265,200,1383,1590,1582,1591,200,1386,200,1500,1501,1425,1502,1589,1428,1265,200,1383,1592,1593,1475,1594,1595,1596,1549,200,1500,1501,1425,1502,1597,1428,1265,200,1383,1598,1582,1599,200,1386,200,1500,1501,1425,1502,1600,1428,1265,200,1383,1601,1582,1602,1603,200,1386,200,1500,1501,1425,1502,1604,1428,1265,200,1383,1605,1582,1606,1607,1608,1609,1610,1315,1611,1464,200,1386,200,1500,1501,1425,1502,1612,1428,1265,200,1383,1613,1425,1614,1615,1428,200,1616,1617,200,1618,1619,1620,1621,200,1622,1623,1624,1625,1626,200,1627,200,1628,1629,1630,1631,1632,200,1633,1634,1265,200,1383,1635,1636,1637,200,1638,1639,1640,1641,1404,200,1642,1643,1644,1645,1646,1647,1648,1649,1650,1646,1651,1652,200,1653,1654,1655,1656,1657,1658,1659,1660,1661,1662,1663,1664,1428,1665,1666,200,1425,1667,1668,1428,1425,1669,1670,1428,1265,200,1383,1671,1672,1673,1674,1464,1675,1676,1464,1677,1678,1679,1464,1680,1681,1464,1682,1683,1464,1684,1685,1464,1686,1687,1688,1689,1464,1690,1687,1661,1691,1692,1693,1464,1694,1695,1696,1697,1698,1699,1700,1701,1702,1703,1704,1464,1705,1695,1696,1697,1698,1706,1707,1464,1708,1709,1710,1464,200,1711,1712,1695,1696,1697,1698,1713,1714,1464,1265,200,1383,1715,1716,1717,1425,1718,1719,1720,1721,1428,1425,1722,1723,1720,1721,1428,200,1724,1725,1726,1425,1727,1728,1720,1729,1428,1265,200,1730,1731,1732,1733,1734,1735,1736,1737,1738,1739,1740,1741,1265,200,1742,1743,1744,1584,1585,1745,1746,1747,1265,200,1748,1749,1265],"//! Target IR generation tests for the first Echo lowering slice.","//!","//! These tests assert public behavior: structured Target IR artifacts and","//! stable failure kinds. They do not inspect diagnostic prose, repository","//! layout, or implementation-private lowering helpers.","use std::collections::BTreeMap;","use edict_syntax::{"," check_lowerability, compile_to_core, decode_canonical_cbor, digest_target_ir_artifact,"," encode_target_ir_artifact, lower_to_target_ir, AtomicityRequirement, CanonicalErrorKind,"," CompilerContext, CoreBudget, CoreExpr, CoreImport, CoreImportKind, CorePredicate, CoreValue,"," GuardKind, InputConstraint, InputConstraintSource, LowerabilityStatus, LoweringRequirements,"," NativeEffectSupport, ResourceRef, SemanticEffectRequirement, TargetEffectLowering,"," TargetIrArtifact, TargetIrLoweringFacts, TargetLoweringFailureKind, TargetLoweringStatus,"," TargetProfileFacts, WriteClass, ECHO_DPO_TARGET_PROFILE, ECHO_SPAN_IR_DOMAIN,"," GITWARP_COMMIT_REDUCER_IR_DOMAIN, GITWARP_REF_CRDT_TARGET_PROFILE,"," TARGET_IR_ARTIFACT_DIGEST_DOMAIN,","};","const EFFECTFUL_REPLACE: &str = \"package a.b@1;\\n\\"," type Input = { id: String, };\\n\\"," type Receipt = { id: String, };\\n\\"," type Output = { id: String, };\\n\\"," intent t(input: Input) returns Output\\n\\"," profile p.effectful\\n\\"," basis none\\n\\"," budget <= p.tiny {\\n\\"," let receipt: Receipt = target.replace(input.id)\\n\\"," else { rejected(reason) => domain.WriteRejected };\\n\\"," return { id: input.id };\\n\\"," }\";","const CHAINED_EFFECT_RESULTS: &str = \"package a.b@1;\\n\\"," let first: Receipt = target.replace(input.id)\\n\\"," let second: Receipt = target.replace(first.id)\\n\\"," return { id: second.id };\\n\\","const GITWARP_APPEND_EVENT: &str = \"package a.git@1;\\n\\"," profile p.gitwarp\\n\\"," budget <= p.tiny\\n\\"," where input.id != \\\"\\\" {\\n\\"," let receipt: Receipt = gitwarp.appendEvent(input.id)\\n\\"," else { conflict(reason) => domain.MergeConflict };\\n\\"," return { id: receipt.id };\\n\\","const PURE_LOCAL_RECORD: &str = include_str!(\"../../../fixtures/lang/bounds/bounded-hello.edict\");","const ECHO_PROFILE_DIGEST: &str ="," \"sha256:1111111111111111111111111111111111111111111111111111111111111111\";","const GITWARP_PROFILE_DIGEST: &str ="," \"sha256:2222222222222222222222222222222222222222222222222222222222222222\";","fn effectful_core() -> edict_syntax::CoreModule {"," let module = edict_syntax::parse_module(EFFECTFUL_REPLACE).expect(\"effectful source parses\");"," compile_to_core(&module, &effectful_context()).expect(\"effectful source compiles to Core\")","}","fn effectful_artifact(source: &str) -> edict_syntax::TargetIrArtifact {"," let module = edict_syntax::parse_module(source).expect(\"effectful source parses\");"," let core ="," compile_to_core(&module, &effectful_context()).expect(\"effectful source compiles to Core\");"," lower_to_target_ir(&core, &echo_facts())"," .artifact"," .expect(\"supported source lowers to Target IR\")","fn gitwarp_artifact() -> edict_syntax::TargetIrArtifact {"," lower_to_target_ir(&gitwarp_core(), &gitwarp_facts())"," .expect(\"supported git-warp source lowers to Target IR\")","fn pure_core() -> edict_syntax::CoreModule {"," let module = edict_syntax::parse_module(PURE_LOCAL_RECORD).expect(\"pure source parses\");"," compile_to_core(&module, &pure_context()).expect(\"pure source compiles to Core\")","fn gitwarp_core() -> edict_syntax::CoreModule {"," let module = edict_syntax::parse_module(GITWARP_APPEND_EVENT).expect(\"git-warp source parses\");"," compile_to_core(&module, &gitwarp_context()).expect(\"git-warp source compiles to Core\")","fn effectful_context() -> CompilerContext {"," effectful_context_with_profile(\"continuum.profile.write/v1\")","fn effectful_context_with_profile(profile: &str) -> CompilerContext {"," CompilerContext::new()"," .with_operation_profile(\"p.effectful\", profile)"," .with_operation_profile_write_classes(\"p.effectful\", [WriteClass::Replace])"," .with_effect_write_class(\"target.replace\", WriteClass::Replace)"," .with_budget("," \"p.tiny\","," CoreBudget {"," max_steps: 8,"," max_allocated_bytes: 1024,"," max_output_bytes: 256,"," },"," )","fn pure_context() -> CompilerContext {"," .with_operation_profile(\"hello.readOnly\", \"continuum.profile.read-only/v1\")"," \"hello.tinyBudget\","," max_steps: 64,"," max_allocated_bytes: 4096,"," max_output_bytes: 1024,","fn gitwarp_context() -> CompilerContext {"," .with_operation_profile(\"p.gitwarp\", \"continuum.profile.append/v1\")"," .with_operation_profile_write_classes(\"p.gitwarp\", [WriteClass::Append])"," .with_effect_write_class(\"gitwarp.appendEvent\", WriteClass::Append)"," max_steps: 13,"," max_allocated_bytes: 2048,"," max_output_bytes: 512,","fn echo_facts() -> TargetIrLoweringFacts {"," TargetIrLoweringFacts {"," target_profile: ResourceRef {"," coordinate: ECHO_DPO_TARGET_PROFILE.to_owned(),"," digest: Some(echo_profile_digest()),"," },"," target_ir_domain: ECHO_SPAN_IR_DOMAIN.to_owned(),"," operation_profiles: vec![\"continuum.profile.write/v1\".to_owned()],"," obstruction_coordinates: vec![\"rejected\".to_owned()],"," effect_lowerings: vec![TargetEffectLowering {"," effect: \"target.replace\".to_owned(),"," target_intrinsic: \"echo.dpo@1.replace\".to_owned(),"," }],"," }","fn gitwarp_facts() -> TargetIrLoweringFacts {"," coordinate: GITWARP_REF_CRDT_TARGET_PROFILE.to_owned(),"," digest: Some(gitwarp_profile_digest()),"," target_ir_domain: GITWARP_COMMIT_REDUCER_IR_DOMAIN.to_owned(),"," operation_profiles: vec![\"continuum.profile.append/v1\".to_owned()],"," obstruction_coordinates: vec![\"conflict\".to_owned()],"," effect: \"gitwarp.appendEvent\".to_owned(),"," target_intrinsic: \"gitwarp.ref_crdt@1.appendEvent\".to_owned(),","fn echo_profile_digest() -> String {"," ECHO_PROFILE_DIGEST.to_owned()","fn gitwarp_profile_digest() -> String {"," GITWARP_PROFILE_DIGEST.to_owned()","fn echo_profile_ref() -> ResourceRef {"," ResourceRef {"," coordinate: ECHO_DPO_TARGET_PROFILE.to_owned(),"," digest: Some(echo_profile_digest()),","fn gitwarp_profile_ref() -> ResourceRef {"," coordinate: GITWARP_REF_CRDT_TARGET_PROFILE.to_owned(),"," digest: Some(gitwarp_profile_digest()),","fn echo_profile_facts() -> TargetProfileFacts {"," TargetProfileFacts {"," native_effects: vec![NativeEffectSupport {"," coordinate: \"target.replace\".to_owned(),"," write_class: WriteClass::Replace,"," guard_kinds: vec![GuardKind::PrecommitAtomic],"," direct_adapters: Vec::new(),"," write_classes: vec![WriteClass::Replace],"," guard_kinds: vec![GuardKind::PrecommitAtomic],"," atomicity: vec![AtomicityRequirement::Atomic],"," postcondition_support: true,"," footprint_obligations: vec![\"target.replace.footprint\".to_owned()],"," cost_obligations: vec![\"target.replace.cost\".to_owned()],"," optic_contracts: vec![\"replace-point\".to_owned()],","fn gitwarp_profile_facts() -> TargetProfileFacts {"," coordinate: \"gitwarp.appendEvent\".to_owned(),"," write_class: WriteClass::Append,"," write_classes: vec![WriteClass::Append],"," footprint_obligations: vec![\"gitwarp.appendEvent.footprint\".to_owned()],"," cost_obligations: vec![\"gitwarp.appendEvent.cost\".to_owned()],"," optic_contracts: vec![\"append-event\".to_owned()],","fn echo_requirements() -> LoweringRequirements {"," LoweringRequirements {"," operation_profile: \"continuum.profile.write/v1\".to_owned(),"," semantic_effects: vec![SemanticEffectRequirement {"," obstruction_coordinates: vec![\"rejected\".to_owned()],"," footprint_obligations: vec![\"target.replace.footprint\".to_owned()],"," cost_obligations: vec![\"target.replace.cost\".to_owned()],"," required_write_classes: vec![WriteClass::Replace],"," atomicity: AtomicityRequirement::Atomic,"," optic_contract: \"replace-point\".to_owned(),","fn gitwarp_requirements() -> LoweringRequirements {"," operation_profile: \"continuum.profile.append/v1\".to_owned(),"," obstruction_coordinates: vec![\"conflict\".to_owned()],"," footprint_obligations: vec![\"gitwarp.appendEvent.footprint\".to_owned()],"," cost_obligations: vec![\"gitwarp.appendEvent.cost\".to_owned()],"," required_write_classes: vec![WriteClass::Append],"," optic_contract: \"append-event\".to_owned(),","fn failure_kinds(report: &edict_syntax::TargetLoweringReport) -> Vec {"," report.failures.iter().map(|failure| failure.kind).collect()","#[test]","fn supported_effectful_core_lowers_to_echo_span_ir() {"," let core = effectful_core();"," let report = lower_to_target_ir(&core, &echo_facts());"," assert_eq!(report.status, TargetLoweringStatus::Lowered);"," assert!(report.failures.is_empty());"," let artifact = report.artifact.expect(\"supported Core emits Target IR\");"," assert_eq!(artifact.domain, ECHO_SPAN_IR_DOMAIN);"," assert_eq!(artifact.target_profile.coordinate, ECHO_DPO_TARGET_PROFILE);"," assert_eq!(artifact.source_core_coordinate, \"a.b@1\");"," assert_eq!(artifact.intents.len(), 1);"," let intent = artifact.intents.get(\"t\").expect(\"lowered intent t\");"," assert_eq!(intent.operation_profile, \"continuum.profile.write/v1\");"," assert_eq!(intent.steps.len(), 1);"," let step = &intent.steps[0];"," assert_eq!(step.id, \"t.step.0\");"," assert_eq!(step.effect, \"target.replace\");"," assert_eq!(step.target_intrinsic, \"echo.dpo@1.replace\");"," assert_eq!(step.obstruction_failures, vec![\"rejected\".to_owned()]);"," let CoreExpr::Field { field, .. } = &step.input else {"," panic!(\"effect input is preserved structurally\");"," };"," assert_eq!(field, \"id\");","fn lowerability_native_support_feeds_echo_target_lowering() {"," let profile_facts = echo_profile_facts();"," let lowerability = check_lowerability(&echo_requirements(), &profile_facts);"," assert_eq!(lowerability.status, LowerabilityStatus::Native);"," assert!(lowerability.failures.is_empty());"," let target_facts = TargetIrLoweringFacts::from_lowerability_report("," echo_profile_ref(),"," ECHO_SPAN_IR_DOMAIN,"," &lowerability,"," )"," .expect(\"native lowerability builds target facts\");"," let report = lower_to_target_ir(&effectful_core(), &target_facts);"," let artifact = report"," .expect(\"native lowerability feeds target IR\");"," let step = &artifact.intents.get(\"t\").expect(\"intent t\").steps[0];","fn supported_gitwarp_core_lowers_to_commit_reducer_ir() {"," let core = gitwarp_core();"," let report = lower_to_target_ir(&core, &gitwarp_facts());"," assert_eq!(artifact.domain, GITWARP_COMMIT_REDUCER_IR_DOMAIN);"," assert_eq!("," artifact.target_profile.coordinate,"," GITWARP_REF_CRDT_TARGET_PROFILE"," );"," assert_eq!(artifact.source_core_coordinate, \"a.git@1\");"," assert_eq!(intent.operation_profile, \"continuum.profile.append/v1\");"," intent.core_evaluation_budget,"," CoreBudget {"," max_steps: 13,"," max_allocated_bytes: 2048,"," max_output_bytes: 512,"," }"," assert_eq!(intent.input_constraints.len(), 1);"," assert!(matches!("," intent.input_constraints[0].predicate,"," CorePredicate::Compare { .. }"," ));"," assert_eq!(step.effect, \"gitwarp.appendEvent\");"," assert_eq!(step.target_intrinsic, \"gitwarp.ref_crdt@1.appendEvent\");"," assert_eq!(step.obstruction_failures, vec![\"conflict\".to_owned()]);"," assert!(step.obstruction_arms.contains_key(\"conflict\"));"," panic!(\"git-warp effect input is preserved structurally\");"," let CoreExpr::Record { fields } = &intent.result else {"," panic!(\"git-warp intent result is preserved structurally\");"," assert!(fields.contains_key(\"id\"));","fn lowerability_native_support_feeds_gitwarp_target_lowering() {"," let lowerability = check_lowerability(&gitwarp_requirements(), &gitwarp_profile_facts());"," gitwarp_profile_ref(),"," GITWARP_COMMIT_REDUCER_IR_DOMAIN,"," .expect(\"native git-warp lowerability builds target facts\");"," let report = lower_to_target_ir(&gitwarp_core(), &target_facts);"," .expect(\"native git-warp lowerability feeds target IR\");","fn lowerability_bridge_carries_only_selected_native_effect() {"," let mut profile_facts = echo_profile_facts();"," profile_facts.native_effects.push(NativeEffectSupport {"," coordinate: \"target.replace\".to_owned(),"," target_intrinsic: \"echo.dpo@1.replace.unselected\".to_owned(),"," write_class: WriteClass::Replace,"," guard_kinds: Vec::new(),"," });"," .expect(\"unselected native support does not make target lowering ambiguous\");","fn lowerability_bridge_deduplicates_identical_native_effect_selection() {"," let mut requirements = echo_requirements();"," requirements"," .semantic_effects"," .push(requirements.semantic_effects[0].clone());"," let lowerability = check_lowerability(&requirements, &echo_profile_facts());"," assert_eq!(lowerability.effect_results.len(), 2);"," .expect(\"duplicate selected effect still lowers once\");","fn unused_duplicate_effect_lowerings_do_not_reject_supported_effect() {"," let mut facts = echo_facts();"," facts.effect_lowerings.push(TargetEffectLowering {"," effect: \"target.archive\".to_owned(),"," target_intrinsic: \"echo.dpo@1.archive\".to_owned(),"," target_intrinsic: \"echo.dpo@1.archive.v2\".to_owned(),"," let report = lower_to_target_ir(&effectful_core(), &facts);"," .expect(\"unused duplicate lowerings do not block supported effect\");","fn unsupported_lowerability_report_does_not_build_target_ir_facts() {"," profile_facts.operation_profiles.clear();"," assert_eq!(lowerability.status, LowerabilityStatus::Unsupported);"," let error = TargetIrLoweringFacts::from_lowerability_report("," .expect_err(\"unsupported lowerability cannot build target facts\");"," error.kind,"," TargetLoweringFailureKind::UnsupportedLowerabilityReport","fn lowerability_bridge_uses_report_target_profile_identity() {"," profile_facts.coordinate = \"gitwarp.ref_crdt@1\".to_owned();"," .expect_err(\"target profile reference must match lowerability report\");"," TargetLoweringFailureKind::UnsupportedTargetProfile","fn lowerability_bridge_uses_report_operation_profile_identity() {"," let lowerability = check_lowerability(&echo_requirements(), &echo_profile_facts());"," let core = compile_to_core("," &module,"," &effectful_context_with_profile(\"continuum.profile.unreviewed/v1\"),"," .expect(\"effectful source compiles to Core with caller-supplied profile\");"," let report = lower_to_target_ir(&core, &target_facts);"," assert_eq!(report.status, TargetLoweringStatus::Unsupported);"," assert!(report.artifact.is_none());"," failure_kinds(&report),"," vec![TargetLoweringFailureKind::MissingOperationProfile]","fn lowerability_bridge_requires_matching_target_profile_reference() {"," ResourceRef {"," coordinate: \"gitwarp.ref_crdt@1\".to_owned(),","fn obstruction_arm_values_are_preserved_in_echo_span_ir() {"," let artifact = effectful_artifact("," &EFFECTFUL_REPLACE.replace(\"domain.WriteRejected\", \"domain.WriteDifferentlyRejected\"),"," let arm = &artifact.intents.get(\"t\").expect(\"intent t\").steps[0].obstruction_arms[\"rejected\"];"," let CoreExpr::Call {"," callee,"," type_args,"," args,"," } = &arm.value"," else {"," panic!(\"obstruction arm value is preserved as a call expression\");"," assert_eq!(callee, \"domain.WriteDifferentlyRejected\");"," assert!(type_args.is_empty());"," assert!(args.is_empty());","fn intent_result_is_preserved_in_echo_span_ir() {"," &EFFECTFUL_REPLACE.replace(\"return { id: input.id };\", \"return { id: receipt.id };\"),"," let result = &artifact.intents.get(\"t\").expect(\"intent t\").result;"," let CoreExpr::Record { fields } = result else {"," panic!(\"intent result is preserved as a record expression\");"," let CoreExpr::Field { base, field } = &fields[\"id\"] else {"," panic!(\"result id field is preserved as a field expression\");"," assert!(matches!(base.as_ref(), CoreExpr::Local { reference } if reference.id == \"local.0\"));","fn intent_constraints_and_budget_are_preserved_in_echo_span_ir() {"," let constrained_source = EFFECTFUL_REPLACE.replace("," \"budget <= p.tiny {\","," \"budget <= p.tiny\\n where input.id != \\\"\\\" {\","," let artifact = effectful_artifact(&constrained_source);"," let intent = artifact.intents.get(\"t\").expect(\"intent t\");"," max_steps: 8,"," max_allocated_bytes: 1024,"," max_output_bytes: 256,"," assert_eq!(intent.input_constraints[0].coordinate, \"where.0\");","fn effect_result_bindings_are_preserved_in_echo_span_ir() {"," let artifact = effectful_artifact(CHAINED_EFFECT_RESULTS);"," assert_eq!(intent.steps.len(), 2);"," assert_eq!(intent.steps[0].binding.id, \"local.0\");"," assert_eq!(intent.steps[1].binding.id, \"local.1\");"," let CoreExpr::Field { base, field } = &intent.steps[1].input else {"," panic!(\"second effect input reads from first effect result\");","fn unsupported_target_profile_rejects_without_artifact() {"," facts.target_profile.coordinate = \"kv.transactional@1\".to_owned();"," facts.target_ir_domain = \"kv.transaction-ir/v1\".to_owned();"," let report = lower_to_target_ir(&core, &facts);"," vec![TargetLoweringFailureKind::UnsupportedTargetProfile]","fn unsupported_target_ir_domain_rejects_without_artifact() {"," facts.target_ir_domain = \"echo.span-ir/v2\".to_owned();"," vec![TargetLoweringFailureKind::UnsupportedTargetIrDomain]","fn undigested_target_profile_rejects_without_artifact() {"," for digest in [None, Some(\"sha256:not-a-review-digest\".to_owned())] {"," let mut facts = echo_facts();"," facts.target_profile.digest = digest;"," let report = lower_to_target_ir(&effectful_core(), &facts);"," assert_eq!(report.status, TargetLoweringStatus::Unsupported);"," assert!(report.artifact.is_none());"," assert_eq!("," failure_kinds(&report),"," vec![TargetLoweringFailureKind::UndigestedTargetProfile]"," );","fn missing_effect_lowering_rejects_without_artifact() {"," facts.effect_lowerings.clear();"," vec![TargetLoweringFailureKind::MissingEffectLowering]","fn ambiguous_effect_lowering_rejects_without_artifact() {"," effect: \"target.replace\".to_owned(),"," target_intrinsic: \"echo.dpo@1.replace.alternate\".to_owned(),"," vec![TargetLoweringFailureKind::AmbiguousEffectLowering]","fn unsupported_operation_profile_rejects_without_artifact() {","fn foreign_target_intrinsic_rejects_without_artifact() {"," facts.effect_lowerings[0].target_intrinsic = \"kv.transactional@1.get\".to_owned();"," vec![TargetLoweringFailureKind::UnsupportedTargetIntrinsic]","fn unsupported_obstruction_key_rejects_without_artifact() {"," let module = edict_syntax::parse_module("," &EFFECTFUL_REPLACE.replace(\"rejected(reason) =>\", \"unexpected(reason) =>\"),"," .expect(\"effectful source parses\");"," vec![TargetLoweringFailureKind::MissingObstruction]","fn empty_target_step_intents_reject_without_artifact() {"," let mut core = effectful_core();"," core.intents"," .get_mut(\"t\")"," .expect(\"intent t\")"," .body"," .nodes"," .clear();"," vec![TargetLoweringFailureKind::NoTargetSteps]","fn empty_core_modules_reject_without_artifact() {"," core.intents.clear();","fn unsupported_core_nodes_reject_without_artifact() {"," let core = pure_core();"," facts"," .operation_profiles"," .push(\"continuum.profile.read-only/v1\".to_owned());"," vec![TargetLoweringFailureKind::UnsupportedCoreNode]","fn unsupported_core_abi_rejects_without_artifact() {"," core.api_version = \"edict.core/v2\".to_owned();"," vec![TargetLoweringFailureKind::UnsupportedCoreAbi]","fn unsupported_core_capability_rejects_without_artifact() {"," core.required_core_capabilities"," .push(\"edict.core.capability.variant-map/v1\".to_owned());"," vec![TargetLoweringFailureKind::UnsupportedCoreCapability]","fn undigested_core_import_rejects_without_artifact() {"," core.imports.push(CoreImport {"," kind: CoreImportKind::Lawpack,"," resource: ResourceRef {"," coordinate: \"hello.optics@1\".to_owned(),"," digest: None,"," alias: Some(\"hello\".to_owned()),"," vec![TargetLoweringFailureKind::UndigestedCoreImport]","fn target_ir_artifact_bytes_and_digests_are_deterministic() {"," TARGET_IR_ARTIFACT_DIGEST_DOMAIN,"," \"edict.target-ir.artifact/v1\""," let echo = effectful_artifact(EFFECTFUL_REPLACE);"," let gitwarp = gitwarp_artifact();"," let echo_bytes = encode_target_ir_artifact(&echo).expect(\"Echo Target IR encodes\");"," let echo_bytes_again = encode_target_ir_artifact(&echo).expect(\"Echo Target IR re-encodes\");"," assert_eq!(echo_bytes, echo_bytes_again);"," decode_canonical_cbor(&echo_bytes).expect(\"Echo Target IR bytes are canonical CBOR\");"," let gitwarp_bytes = encode_target_ir_artifact(&gitwarp).expect(\"git-warp Target IR encodes\");"," let gitwarp_bytes_again ="," encode_target_ir_artifact(&gitwarp).expect(\"git-warp Target IR re-encodes\");"," assert_eq!(gitwarp_bytes, gitwarp_bytes_again);"," decode_canonical_cbor(&gitwarp_bytes).expect(\"git-warp Target IR bytes are canonical CBOR\");"," assert_ne!(echo_bytes, gitwarp_bytes);"," let echo_digest = digest_target_ir_artifact(&echo).expect(\"Echo Target IR digests\");"," let echo_digest_again = digest_target_ir_artifact(&echo).expect(\"Echo Target IR re-digests\");"," assert_eq!(echo_digest, echo_digest_again);"," assert!(echo_digest.to_review_string().starts_with(\"sha256:\"));"," assert_eq!(echo_digest.to_review_string().len(), \"sha256:\".len() + 64);"," let gitwarp_digest = digest_target_ir_artifact(&gitwarp).expect(\"git-warp Target IR digests\");"," assert_ne!(echo_digest, gitwarp_digest);","fn target_ir_artifact_canonicalization_ignores_equivalent_construction_order() {"," let mut left = gitwarp_artifact();"," let mut right = left.clone();"," let extra_constraint = InputConstraint {"," coordinate: \"compiler.0\".to_owned(),"," source: InputConstraintSource::Compiler,"," predicate: CorePredicate::True,"," let left_intent = left.intents.get_mut(\"t\").expect(\"intent t\");"," left_intent.input_constraints.push(extra_constraint.clone());"," let left_step = left_intent.steps.get_mut(0).expect(\"step 0\");"," let conflict_arm = left_step"," .obstruction_arms"," .get(\"conflict\")"," .expect(\"conflict arm\")"," .clone();"," left_step"," .insert(\"retry\".to_owned(), conflict_arm.clone());"," left_step.obstruction_failures = vec![\"retry\".to_owned(), \"conflict\".to_owned()];"," let right_intent = right.intents.get_mut(\"t\").expect(\"intent t\");"," right_intent.input_constraints.insert(0, extra_constraint);"," let right_step = right_intent.steps.get_mut(0).expect(\"step 0\");"," let mut rebuilt_arms = BTreeMap::new();"," rebuilt_arms.insert(\"retry\".to_owned(), conflict_arm);"," rebuilt_arms.insert("," \"conflict\".to_owned(),"," right_step"," .obstruction_arms"," .get(\"conflict\")"," .expect(\"conflict arm\")"," .clone(),"," right_step.obstruction_arms = rebuilt_arms;"," right_step.obstruction_failures = vec![\"conflict\".to_owned(), \"retry\".to_owned()];"," encode_target_ir_artifact(&left).expect(\"left Target IR encodes\"),"," encode_target_ir_artifact(&right).expect(\"right Target IR encodes\")"," digest_target_ir_artifact(&left).expect(\"left Target IR digests\"),"," digest_target_ir_artifact(&right).expect(\"right Target IR digests\")","fn target_ir_digest_moves_for_artifact_semantic_mutations() {"," let baseline = effectful_artifact(EFFECTFUL_REPLACE);"," assert_target_ir_digest_changes(&baseline, \"target profile digest\", |artifact| {"," artifact.target_profile.digest = Some(digest_text('3'));"," assert_target_ir_digest_changes(&baseline, \"source Core coordinate\", |artifact| {"," artifact.source_core_coordinate = \"a.changed@1\".to_owned();"," assert_target_ir_digest_changes(&baseline, \"intent name\", |artifact| {"," let intent = artifact.intents.remove(\"t\").expect(\"intent t\");"," artifact.intents.insert(\"renamed\".to_owned(), intent);"," assert_target_ir_digest_changes(&baseline, \"effect coordinate\", |artifact| {"," target_step_mut(artifact).effect = \"target.replace.changed\".to_owned();"," assert_target_ir_digest_changes(&baseline, \"selected target intrinsic\", |artifact| {"," target_step_mut(artifact).target_intrinsic = \"echo.dpo@1.replace.changed\".to_owned();"," assert_target_ir_digest_changes(&baseline, \"input expression\", |artifact| {"," target_step_mut(artifact).input = CoreExpr::Const(CoreValue::String(\"changed\".to_owned()));"," assert_target_ir_digest_changes(&baseline, \"obstruction failure\", |artifact| {"," target_step_mut(artifact)"," .obstruction_failures"," .push(\"timeout\".to_owned());"," assert_target_ir_digest_changes(&baseline, \"obstruction arm value\", |artifact| {"," .get_mut(\"rejected\")"," .expect(\"rejected obstruction arm\")"," .value = CoreExpr::Const(CoreValue::String(\"changed\".to_owned()));"," assert_target_ir_digest_changes(&baseline, \"input constraint\", |artifact| {"," artifact"," .intents"," .get_mut(\"t\")"," .expect(\"intent t\")"," .input_constraints"," .push(InputConstraint {"," coordinate: \"compiler.0\".to_owned(),"," source: InputConstraintSource::Compiler,"," predicate: CorePredicate::True,"," });"," assert_target_ir_digest_changes(&baseline, \"Core evaluation budget\", |artifact| {"," .core_evaluation_budget"," .max_steps += 1;"," assert_target_ir_digest_changes(&baseline, \"result expression\", |artifact| {"," artifact.intents.get_mut(\"t\").expect(\"intent t\").result ="," CoreExpr::Const(CoreValue::String(\"changed\".to_owned()));"," let chained = effectful_artifact(CHAINED_EFFECT_RESULTS);"," assert_target_ir_digest_changes(&chained, \"target step order\", |artifact| {"," .steps"," .swap(0, 1);","fn target_ir_encoder_rejects_unlocked_or_uppercase_target_profile_digest() {"," let mut missing = effectful_artifact(EFFECTFUL_REPLACE);"," missing.target_profile.digest = None;"," encode_target_ir_artifact(&missing)"," .expect_err(\"missing target profile digest rejects before hashing\")"," .kind(),"," CanonicalErrorKind::UnresolvedDigest"," digest_target_ir_artifact(&missing)"," .expect_err(\"missing target profile digest rejects during digest\")"," let mut uppercase = effectful_artifact(EFFECTFUL_REPLACE);"," uppercase.target_profile.digest ="," Some(\"sha256:AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA\".to_owned());"," encode_target_ir_artifact(&uppercase)"," .expect_err(\"uppercase target profile digest rejects before hashing\")"," CanonicalErrorKind::InvalidDigest","fn assert_target_ir_digest_changes("," baseline: &TargetIrArtifact,"," case: &str,"," mutate: impl FnOnce(&mut TargetIrArtifact),",") {"," let baseline_digest ="," digest_target_ir_artifact(baseline).expect(\"baseline Target IR artifact digests\");"," let mut mutated = baseline.clone();"," mutate(&mut mutated);"," let mutated_digest ="," digest_target_ir_artifact(&mutated).expect(\"mutated Target IR artifact digests\");"," assert_ne!(baseline_digest, mutated_digest, \"{case} must move digest\");","fn target_step_mut(artifact: &mut TargetIrArtifact) -> &mut edict_syntax::TargetIrStep {"," artifact"," .intents"," .steps"," .get_mut(0)"," .expect(\"step 0\")","fn digest_text(hex: char) -> String {"," format!(\"sha256:{}\", hex.to_string().repeat(64))",[1751,1752,1753,1754,1755,1756],{"_1073":46,"_46":1766},{"_1073":1758,"_162":1212,"_1120":1764,"_1122":1765},{"_1073":1758,"_162":1212,"_1120":1762,"_1122":1763},{"_1073":46,"_46":1761},{"_1073":1758,"_162":1114,"_1120":1759,"_1122":1760},{"_1073":46,"_46":1757},"\n* Committed the changes on the current branch with commit `61d5ad7` (`Tighten Target IR digest evidence`) and created the follow-up PR via `make_pr`.\n\n**Testing**\n* ✅ `cargo test -p edict-syntax target_ir_digest_moves_for_artifact_semantic_mutations`\n* ✅ `cargo test -p edict-syntax target_ir_artifact_canonicalization_ignores_equivalent_construction_order`\n* ✅ `cargo xtask verify`","repo_file_citation",78,79,"\n* Corrected the Target IR test-plan claims so construction-order canonicalization is scoped to equivalent construction order, while semantic step-order sensitivity is claimed under mutation evidence. ",1045,1053,1013,1019,"**Summary**\n* Added Target IR digest mutation evidence for obstruction arm value changes and target step-order swaps, closing the self-audit gap without changing production behavior. ",{"_93":327,"_42":85,"_97":327,"_1769":1770,"_1771":1772,"_1773":1774,"_133":-5,"_120":1775},[84],"input_items",[1793,1794,1795,1796,1797,1798],"external_post_config",{"_1776":1777,"_264":197,"_1778":306,"_275":-5,"_1093":258,"_1779":-5,"_1780":-5,"_1781":1782,"_1783":1784,"_1785":-5,"_1786":-5,"_1787":1788,"_1789":15,"_1790":59,"_1791":54,"_1792":15},"user_model_slug","slug",1782796922.93392,"installation_id",89912914,"pr_number","gitlab_service_account_project_id","review_trigger","comment_id",4840161609,"comment_type","issue","pr_write_guard_token","pending_pr_reaction_id","pending_comment_reaction_id",376348814,"comment_if_no_findings","comment_on_error","share_url","is_parallel_review",{"_93":480,"_97":327,"_474":1812},{"_313":314,"_315":316,"_1809":320,"_1810":130,"_323":-5,"_93":1811},{"_93":1799,"_315":1808,"_162":-5,"_1801":-5,"_1802":-5},{"_93":1799,"_315":1807,"_162":-5,"_1801":-5,"_1802":-5},{"_93":1799,"_315":1803,"_162":1804,"_1801":1805,"_1802":1806},{"_93":1799,"_315":1800,"_162":-5,"_1801":-5,"_1802":-5},"pull_request_comment","\n### 💡 Codex Review\n\nHere are some automated review suggestions for this pull request.\n\n**Reviewed commit:** `827c0c5276`\n \n\n

ℹ️ About Codex in GitHub

","side","line","**_{_{![P2 Badge](https://img.shields.io/badge/P2-yellow?style=flat)}} Reject mismatched Core/Target IR pairs**\n\nWhen this computed path is called with a `TargetIrArtifact` lowered from a different `CoreModule` (its `source_core_coordinate` differs from `core_module.coordinate`), we still compute `target_ir_digest` here and then delegate to the supplied-reference assembler, which only validates digest shapes. The resulting manifest is `Valid` but binds `coreIrDigest` for one Core artifact to `targetIrDigest` for another, defeating the computed-artifact path's guarantee; add a consistency check before hashing/assembling.\n\nUseful? React with 👍 / 👎.","crates/edict-syntax/src/contract_bundle.rs","RIGHT",520,"@codex review please","\n\n\n> [!WARNING]\n> ## Review limit reached\n> \n> `@flyingrobots`, you've reached your PR review limit, so we couldn't start this review.\n> \n> **Next review available in:** **18 minutes**\n> \n> Enable **[usage-based reviews](https://app.coderabbit.ai/settings/billing?tab=usage&orgId=4252c417-78a1-49cd-a607-68d1e6bdacc4)** in Billing to review now. Otherwise, wait until the next included review is available.\n> You're only billed for reviews past your plan's rate limits ($0.25/file).\n> \n>

\n>

How can I continue?

\n> \n> \n>

\n>

How do review limits work?

\n> \n>

\n>

Review details

\n> \n>

\n>

⚙️ Run configuration

\n> \n> **Configuration used**: Organization UI\n> \n> **Review profile**: ASSERTIVE\n> \n> **Plan**: Pro\n> \n> **Run ID**: `25f99812-cfd4-44ce-8437-e092d3c22a0f`\n> \n>

\n> \n>

\n>

📥 Commits

\n> \n> Reviewing files that changed from the base of the PR and between 45c00c695875b559c6df0e36c8121af9cf4b0cdd and 827c0c5276c6499ac4fe78678e1ecd178a3557cb.\n> \n>

\n> \n>

\n>

📒 Files selected for processing (17)

\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",[1813],{"_1073":46,"_46":1814},"@codex self-audit found additional issue before fixes:\n\n| Priority | Source | File | Lines | Issue | Planned handling |\n| --- | --- | --- | --- | --- | --- |\n| P3 | Self | `crates/edict-syntax/tests/target_ir.rs`, `docs/topics/target-ir/test-plan.md` | test EOF / TIR-TP-018..019 | Implemented evidence claims obstruction-arm mutation sensitivity and step-order preservation, but current tests only mutate obstruction failure keys and do not prove step order changes digest. | Add focused RED coverage, then minimal test-only/doc evidence correction if needed. |",[2278,2279,2280],[],{"_1078":1079,"_46":1080,"_1081":1082},{"_1052":2269},{"_338":2268},{"_338":1850},{"_305":306,"_296":307,"_308":309,"_310":59,"_311":15,"_312":15,"_313":314,"_315":316,"_317":268,"_318":128,"_319":320,"_321":322,"_323":324,"_325":-5,"_326":-5,"_327":1849,"_329":330,"_331":332,"_333":334,"_335":336},{"_42":124,"_194":195,"_196":197,"_198":15,"_199":200,"_201":202,"_203":1838,"_205":-5,"_206":207,"_208":15,"_209":1839,"_211":200,"_212":200,"_213":1840,"_215":1841,"_217":1842,"_219":-5,"_220":221,"_222":223,"_224":225,"_226":1843,"_55":-5,"_120":228,"_229":1844,"_231":1845,"_233":234,"_235":15,"_236":15},{"_134":1831},[1825,1826,1827,1828,1829,1830],{"_149":172,"_151":166,"_153":167,"_155":164,"_157":173,"_159":160,"_161":32,"_162":-5},{"_149":171,"_151":166,"_153":167,"_155":164,"_157":168,"_159":160,"_161":32,"_162":-5},{"_149":169,"_151":166,"_153":167,"_155":164,"_157":170,"_159":160,"_161":32,"_162":-5},{"_149":165,"_151":166,"_153":167,"_155":164,"_157":168,"_159":160,"_161":32,"_162":-5},{"_149":163,"_151":152,"_153":154,"_155":164,"_157":158,"_159":160,"_161":32,"_162":-5},{"_149":150,"_151":152,"_153":154,"_155":156,"_157":158,"_159":160,"_161":32,"_162":-5},[1832,1833,1834],{"_178":1837,"_180":191},{"_178":1836,"_180":187},{"_178":1835,"_180":181},{"_182":183,"_93":184,"_120":185},{"_182":188,"_93":184,"_120":189},{"_182":192,"_93":184,"_120":193},{"_298":299,"_300":-5,"_301":-5,"_302":-5,"_303":-5,"_304":-5},[258],{"_258":1846},{"_240":241,"_242":243,"_244":245,"_246":247,"_248":249,"_250":251,"_252":253,"_254":255,"_256":257},{},[],{"_239":59},{"_237":59,"_238":200},{"_42":260,"_182":261,"_262":1847,"_264":197,"_265":266,"_267":268,"_269":270,"_271":272,"_273":274,"_275":64,"_276":15,"_277":-5,"_278":-5,"_279":-5,"_280":-5,"_281":-5,"_282":-5,"_161":283,"_284":-5,"_55":1848},{"_290":291,"_42":292,"_93":293,"_294":295,"_296":297},{"_286":15,"_287":15,"_288":15,"_289":15},{"_290":291,"_182":291,"_337":-5,"_294":295,"_42":292},[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,1905,1906,1907,1908,1909,1910,1911,1912,1913,1914,1915,1916,1917,1918,1919,1920,1921,1922,1923,1924,1925,1926,1927,1928,1929,1930,1931,1932,1933,1934,1935,1936,1937,1938,1939,1940,1941,1942,1943,1944,1945,1946,1947,1948,1949,1950,1951,1952,1953,1954,1955,1956,1957,1958,1959],{"_155":1025,"_450":2264},{"_155":465,"_450":2261},{"_155":1015,"_450":2258},{"_155":469,"_450":2253},{"_155":469,"_450":2248},{"_155":469,"_450":2244},{"_155":484,"_450":2239},{"_155":484,"_450":2235},{"_155":469,"_450":2232},{"_155":469,"_450":2230},{"_155":484,"_450":2226},{"_155":469,"_450":2224},{"_155":469,"_450":2222},{"_155":484,"_450":2218},{"_155":469,"_450":2216},{"_155":484,"_450":2212},{"_155":469,"_450":2208},{"_155":469,"_450":2206},{"_155":484,"_450":2202},{"_155":469,"_450":2200},{"_155":469,"_450":2198},{"_155":484,"_450":2194},{"_155":469,"_450":2192},{"_155":469,"_450":2190},{"_155":484,"_450":2185},{"_155":469,"_450":2183},{"_155":469,"_450":2181},{"_155":484,"_450":2176},{"_155":469,"_450":2174},{"_155":484,"_450":2170},{"_155":469,"_450":2166},{"_155":469,"_450":2164},{"_155":484,"_450":2160},{"_155":469,"_450":2158},{"_155":469,"_450":2156},{"_155":484,"_450":2151},{"_155":469,"_450":2149},{"_155":484,"_450":2145},{"_155":469,"_450":2142},{"_155":469,"_450":2140},{"_155":484,"_450":2135},{"_155":469,"_450":2133},{"_155":469,"_450":2131},{"_155":484,"_450":2126},{"_155":469,"_450":2124},{"_155":469,"_450":2122},{"_155":469,"_450":2120},{"_155":469,"_450":2118},{"_155":469,"_450":2116},{"_155":469,"_450":2114},{"_155":469,"_450":2112},{"_155":469,"_450":2110},{"_155":469,"_450":2108},{"_155":469,"_450":2106},{"_155":469,"_450":2104},{"_155":469,"_450":2102},{"_155":469,"_450":2100},{"_155":469,"_450":2098},{"_155":469,"_450":2096},{"_155":469,"_450":2094},{"_155":469,"_450":2092},{"_155":484,"_450":2088},{"_155":469,"_450":2086},{"_155":469,"_450":2084},{"_155":484,"_450":2080},{"_155":469,"_450":2076},{"_155":469,"_450":2074},{"_155":469,"_450":2072},{"_155":469,"_450":2070},{"_155":469,"_450":2068},{"_155":469,"_450":2066},{"_155":469,"_450":2064},{"_155":469,"_450":2062},{"_155":469,"_450":2060},{"_155":469,"_450":2058},{"_155":469,"_450":2056},{"_155":469,"_450":2054},{"_155":469,"_450":2052},{"_155":469,"_450":2050},{"_155":469,"_450":2048},{"_155":469,"_450":2046},{"_155":469,"_450":2044},{"_155":484,"_450":2040},{"_155":469,"_450":2038},{"_155":469,"_450":2036},{"_155":484,"_450":2032},{"_155":469,"_450":2028},{"_155":469,"_450":2026},{"_155":484,"_450":2022},{"_155":469,"_450":2020},{"_155":484,"_450":2016},{"_155":469,"_450":2013},{"_155":469,"_450":2011},{"_155":484,"_450":2007},{"_155":469,"_450":2005},{"_155":469,"_450":2003},{"_155":484,"_450":1996},{"_155":469,"_450":1994},{"_155":484,"_450":1990},{"_155":469,"_450":1987},{"_155":469,"_450":1985},{"_155":484,"_450":1981},{"_155":469,"_450":1979},{"_155":484,"_450":1975},{"_155":469,"_450":1971},{"_155":484,"_450":1969},{"_155":469,"_450":1965},{"_155":465,"_450":1963},{"_155":449,"_450":1960},{"_452":453,"_88":1961},{"_455":456,"_457":458,"_104":-5,"_42":459,"_460":1962,"_462":463,"_464":114},[],{"_464":1964,"_452":453},{"_93":468},{"_471":1966,"_452":453,"_473":459},{"_474":1967,"_476":-5,"_42":-5,"_477":-5,"_478":479,"_97":94,"_93":480},[1968],{"_46":482,"_93":483},{"_471":1970,"_452":453,"_473":459},{"_42":487,"_478":479,"_46":482,"_93":488},{"_471":1972,"_452":453,"_473":459},{"_474":-5,"_491":492,"_42":-5,"_477":-5,"_493":1973,"_93":495},[1974],{"_46":497,"_93":498},{"_471":1976,"_452":453,"_473":459},{"_474":1977,"_42":502,"_493":1978,"_93":495},[],[497],{"_471":1980,"_452":453,"_473":459},{"_506":507,"_42":-5,"_477":-5,"_508":509,"_93":510},{"_471":1982,"_452":453,"_473":459},{"_513":514,"_515":516,"_517":1983,"_519":520,"_457":32,"_521":32,"_42":507,"_522":523,"_524":525,"_464":114,"_93":526},[1984],{"_515":528,"_93":529},{"_471":1986,"_452":453,"_473":459},{"_532":533,"_506":507,"_42":-5,"_477":-5,"_182":534,"_535":-5,"_93":536},{"_471":1988,"_452":453,"_473":459},{"_474":-5,"_491":539,"_42":-5,"_477":-5,"_493":1989,"_93":495},[],{"_471":1991,"_452":453,"_473":459},{"_474":1992,"_42":544,"_493":1993,"_93":495},[],[],{"_471":1995,"_452":453,"_473":459},{"_506":548,"_42":-5,"_477":-5,"_508":549,"_93":510},{"_471":1997,"_452":453,"_473":459},{"_552":-5,"_532":1998,"_457":554,"_104":-5,"_42":548,"_555":-5,"_556":-5,"_557":-5,"_558":1999,"_560":561,"_464":114,"_562":561,"_93":563},{"_313":568,"_315":569},{"_564":-5,"_474":2000,"_566":2001},[2002],{"_313":568,"_315":569},{"_93":46,"_46":571},{"_471":2004,"_452":453,"_473":459},{"_532":574,"_506":548,"_42":-5,"_477":-5,"_182":561,"_535":575,"_93":536},{"_471":2006,"_452":453,"_473":459},{"_506":578,"_42":-5,"_477":-5,"_508":579,"_93":510},{"_471":2008,"_452":453,"_473":459},{"_513":582,"_515":583,"_517":2009,"_519":520,"_457":32,"_521":32,"_42":578,"_522":585,"_524":525,"_464":114,"_93":526},[2010],{"_515":587,"_93":529},{"_471":2012,"_452":453,"_473":459},{"_532":590,"_506":578,"_42":-5,"_477":-5,"_182":534,"_535":-5,"_93":536},{"_471":2014,"_452":453,"_473":459},{"_474":-5,"_491":593,"_42":-5,"_477":-5,"_493":2015,"_93":495},[],{"_471":2017,"_452":453,"_473":459},{"_474":2018,"_42":598,"_493":2019,"_93":495},[],[],{"_471":2021,"_452":453,"_473":459},{"_506":602,"_42":-5,"_477":-5,"_508":603,"_93":510},{"_471":2023,"_452":453,"_473":459},{"_513":606,"_515":607,"_517":2024,"_519":520,"_457":32,"_521":32,"_42":602,"_522":609,"_524":525,"_464":114,"_93":526},[2025],{"_515":611,"_93":529},{"_471":2027,"_452":453,"_473":459},{"_532":614,"_506":602,"_42":-5,"_477":-5,"_182":534,"_535":-5,"_93":536},{"_471":2029,"_452":453,"_473":459},{"_474":-5,"_491":617,"_42":-5,"_477":-5,"_493":2030,"_93":495},[2031],{"_46":620,"_93":498},{"_471":2033,"_452":453,"_473":459},{"_474":2034,"_42":624,"_493":2035,"_93":495},[],[620],{"_471":2037,"_452":453,"_473":459},{"_506":628,"_42":-5,"_477":-5,"_508":629,"_93":510},{"_471":2039,"_452":453,"_473":459},{"_532":632,"_506":628,"_42":-5,"_477":-5,"_182":633,"_535":-5,"_93":536},{"_471":2041,"_452":453,"_473":459},{"_513":636,"_515":637,"_517":2042,"_519":520,"_457":639,"_521":32,"_42":640,"_522":641,"_524":525,"_464":114,"_93":526},[2043],{"_515":643,"_93":529},{"_471":2045,"_452":453,"_473":459},{"_506":646,"_42":-5,"_477":-5,"_508":647,"_93":510},{"_471":2047,"_452":453,"_473":459},{"_532":632,"_506":646,"_42":-5,"_477":-5,"_182":633,"_535":-5,"_93":536},{"_471":2049,"_452":453,"_473":459},{"_506":652,"_42":-5,"_477":-5,"_508":653,"_93":510},{"_471":2051,"_452":453,"_473":459},{"_532":632,"_506":652,"_42":-5,"_477":-5,"_182":633,"_535":-5,"_93":536},{"_471":2053,"_452":453,"_473":459},{"_506":658,"_42":-5,"_477":-5,"_508":659,"_93":510},{"_471":2055,"_452":453,"_473":459},{"_532":632,"_506":658,"_42":-5,"_477":-5,"_182":633,"_535":-5,"_93":536},{"_471":2057,"_452":453,"_473":459},{"_506":664,"_42":-5,"_477":-5,"_508":665,"_93":510},{"_471":2059,"_452":453,"_473":459},{"_532":632,"_506":664,"_42":-5,"_477":-5,"_182":633,"_535":-5,"_93":536},{"_471":2061,"_452":453,"_473":459},{"_506":670,"_42":-5,"_477":-5,"_508":671,"_93":510},{"_471":2063,"_452":453,"_473":459},{"_532":632,"_506":670,"_42":-5,"_477":-5,"_182":633,"_535":-5,"_93":536},{"_471":2065,"_452":453,"_473":459},{"_506":676,"_42":-5,"_477":-5,"_508":677,"_93":510},{"_471":2067,"_452":453,"_473":459},{"_532":632,"_506":676,"_42":-5,"_477":-5,"_182":633,"_535":-5,"_93":536},{"_471":2069,"_452":453,"_473":459},{"_506":682,"_42":-5,"_477":-5,"_508":683,"_93":510},{"_471":2071,"_452":453,"_473":459},{"_532":632,"_506":682,"_42":-5,"_477":-5,"_182":633,"_535":-5,"_93":536},{"_471":2073,"_452":453,"_473":459},{"_506":640,"_42":-5,"_477":-5,"_508":688,"_93":510},{"_471":2075,"_452":453,"_473":459},{"_532":691,"_506":640,"_42":-5,"_477":-5,"_182":534,"_535":-5,"_93":536},{"_471":2077,"_452":453,"_473":459},{"_474":-5,"_491":694,"_42":-5,"_477":-5,"_493":2078,"_93":495},[2079],{"_46":697,"_93":498},{"_471":2081,"_452":453,"_473":459},{"_474":2082,"_42":701,"_493":2083,"_93":495},[],[697],{"_471":2085,"_452":453,"_473":459},{"_506":705,"_42":-5,"_477":-5,"_508":706,"_93":510},{"_471":2087,"_452":453,"_473":459},{"_532":709,"_506":705,"_42":-5,"_477":-5,"_182":633,"_535":-5,"_93":536},{"_471":2089,"_452":453,"_473":459},{"_513":712,"_515":713,"_517":2090,"_519":520,"_457":715,"_521":32,"_42":716,"_522":717,"_524":525,"_464":114,"_93":526},[2091],{"_515":719,"_93":529},{"_471":2093,"_452":453,"_473":459},{"_506":722,"_42":-5,"_477":-5,"_508":723,"_93":510},{"_471":2095,"_452":453,"_473":459},{"_532":709,"_506":722,"_42":-5,"_477":-5,"_182":633,"_535":-5,"_93":536},{"_471":2097,"_452":453,"_473":459},{"_506":728,"_42":-5,"_477":-5,"_508":729,"_93":510},{"_471":2099,"_452":453,"_473":459},{"_532":709,"_506":728,"_42":-5,"_477":-5,"_182":633,"_535":-5,"_93":536},{"_471":2101,"_452":453,"_473":459},{"_506":734,"_42":-5,"_477":-5,"_508":735,"_93":510},{"_471":2103,"_452":453,"_473":459},{"_532":709,"_506":734,"_42":-5,"_477":-5,"_182":633,"_535":-5,"_93":536},{"_471":2105,"_452":453,"_473":459},{"_506":740,"_42":-5,"_477":-5,"_508":741,"_93":510},{"_471":2107,"_452":453,"_473":459},{"_532":709,"_506":740,"_42":-5,"_477":-5,"_182":633,"_535":-5,"_93":536},{"_471":2109,"_452":453,"_473":459},{"_506":746,"_42":-5,"_477":-5,"_508":747,"_93":510},{"_471":2111,"_452":453,"_473":459},{"_532":709,"_506":746,"_42":-5,"_477":-5,"_182":633,"_535":-5,"_93":536},{"_471":2113,"_452":453,"_473":459},{"_506":752,"_42":-5,"_477":-5,"_508":753,"_93":510},{"_471":2115,"_452":453,"_473":459},{"_532":709,"_506":752,"_42":-5,"_477":-5,"_182":633,"_535":-5,"_93":536},{"_471":2117,"_452":453,"_473":459},{"_506":758,"_42":-5,"_477":-5,"_508":759,"_93":510},{"_471":2119,"_452":453,"_473":459},{"_532":709,"_506":758,"_42":-5,"_477":-5,"_182":633,"_535":-5,"_93":536},{"_471":2121,"_452":453,"_473":459},{"_506":716,"_42":-5,"_477":-5,"_508":764,"_93":510},{"_471":2123,"_452":453,"_473":459},{"_532":767,"_506":716,"_42":-5,"_477":-5,"_182":534,"_535":-5,"_93":536},{"_471":2125,"_452":453,"_473":459},{"_506":770,"_42":-5,"_477":-5,"_182":-5,"_508":771,"_93":772},{"_471":2127,"_452":453,"_473":459},{"_775":2128,"_42":770,"_464":114,"_93":777},[2129],{"_326":779,"_9":2130,"_162":781},{"_782":-5,"_93":783},{"_471":2132,"_452":453,"_473":459},{"_506":770,"_42":-5,"_786":787,"_477":-5,"_182":788,"_535":-5,"_464":114,"_93":789},{"_471":2134,"_452":453,"_473":459},{"_506":792,"_42":-5,"_477":-5,"_182":-5,"_508":793,"_93":772},{"_471":2136,"_452":453,"_473":459},{"_775":2137,"_42":792,"_464":114,"_93":777},[2138],{"_326":798,"_9":2139,"_162":800},{"_782":-5,"_93":783},{"_471":2141,"_452":453,"_473":459},{"_506":792,"_42":-5,"_786":803,"_477":-5,"_182":788,"_535":-5,"_464":114,"_93":789},{"_471":2143,"_452":453,"_473":459},{"_474":-5,"_491":806,"_42":-5,"_477":-5,"_493":2144,"_93":495},[],{"_471":2146,"_452":453,"_473":459},{"_474":2147,"_42":811,"_493":2148,"_93":495},[],[],{"_471":2150,"_452":453,"_473":459},{"_506":815,"_42":-5,"_477":-5,"_508":816,"_93":510},{"_471":2152,"_452":453,"_473":459},{"_513":819,"_515":820,"_517":2153,"_519":520,"_457":32,"_521":32,"_42":815,"_522":822,"_524":525,"_464":114,"_93":526},[2154,2155],{"_515":829,"_182":826,"_162":827,"_93":828},{"_515":825,"_182":826,"_162":827,"_93":828},{"_471":2157,"_452":453,"_473":459},{"_532":832,"_506":815,"_42":-5,"_477":-5,"_182":534,"_535":-5,"_93":536},{"_471":2159,"_452":453,"_473":459},{"_506":835,"_42":-5,"_477":-5,"_508":836,"_93":510},{"_471":2161,"_452":453,"_473":459},{"_513":839,"_515":840,"_517":2162,"_519":520,"_457":32,"_521":32,"_42":835,"_522":842,"_524":525,"_464":114,"_93":526},[2163],{"_515":844,"_162":845,"_846":847,"_93":848},{"_471":2165,"_452":453,"_473":459},{"_532":851,"_506":835,"_42":-5,"_477":-5,"_182":534,"_535":-5,"_93":536},{"_471":2167,"_452":453,"_473":459},{"_474":-5,"_491":854,"_42":-5,"_477":-5,"_493":2168,"_93":495},[2169],{"_46":857,"_93":498},{"_471":2171,"_452":453,"_473":459},{"_474":2172,"_42":861,"_493":2173,"_93":495},[],[857],{"_471":2175,"_452":453,"_473":459},{"_506":865,"_42":-5,"_477":-5,"_508":866,"_93":510},{"_471":2177,"_452":453,"_473":459},{"_513":869,"_515":870,"_517":2178,"_519":520,"_457":32,"_521":32,"_42":865,"_522":872,"_524":525,"_464":114,"_93":526},[2179,2180],{"_515":878,"_182":879,"_162":880,"_93":828},{"_515":875,"_182":876,"_162":877,"_93":828},{"_471":2182,"_452":453,"_473":459},{"_532":883,"_506":865,"_42":-5,"_477":-5,"_182":534,"_535":-5,"_93":536},{"_471":2184,"_452":453,"_473":459},{"_506":886,"_42":-5,"_477":-5,"_508":887,"_93":510},{"_471":2186,"_452":453,"_473":459},{"_513":890,"_515":891,"_517":2187,"_519":520,"_457":32,"_521":32,"_42":886,"_522":893,"_524":525,"_464":114,"_93":526},[2188,2189],{"_515":898,"_182":879,"_162":800,"_93":828},{"_515":896,"_162":845,"_846":897,"_93":848},{"_471":2191,"_452":453,"_473":459},{"_532":901,"_506":886,"_42":-5,"_477":-5,"_182":534,"_535":-5,"_93":536},{"_471":2193,"_452":453,"_473":459},{"_506":904,"_42":-5,"_477":-5,"_508":905,"_93":510},{"_471":2195,"_452":453,"_473":459},{"_513":908,"_515":909,"_517":2196,"_519":520,"_457":32,"_521":32,"_42":904,"_522":911,"_524":525,"_464":114,"_93":526},[2197],{"_515":913,"_182":879,"_162":800,"_93":828},{"_471":2199,"_452":453,"_473":459},{"_532":916,"_506":904,"_42":-5,"_477":-5,"_182":534,"_535":-5,"_93":536},{"_471":2201,"_452":453,"_473":459},{"_506":919,"_42":-5,"_477":-5,"_508":920,"_93":510},{"_471":2203,"_452":453,"_473":459},{"_513":923,"_515":924,"_517":2204,"_519":520,"_457":32,"_521":32,"_42":919,"_522":926,"_524":525,"_464":114,"_93":526},[2205],{"_515":928,"_162":879,"_846":929,"_93":848},{"_471":2207,"_452":453,"_473":459},{"_532":932,"_506":919,"_42":-5,"_477":-5,"_182":534,"_535":-5,"_93":536},{"_471":2209,"_452":453,"_473":459},{"_474":-5,"_491":935,"_42":-5,"_477":-5,"_493":2210,"_93":495},[2211],{"_46":938,"_93":498},{"_471":2213,"_452":453,"_473":459},{"_474":2214,"_42":942,"_493":2215,"_93":495},[],[938],{"_471":2217,"_452":453,"_473":459},{"_506":946,"_42":-5,"_477":-5,"_508":947,"_93":510},{"_471":2219,"_452":453,"_473":459},{"_513":950,"_515":951,"_517":2220,"_519":520,"_457":32,"_521":32,"_42":946,"_522":953,"_524":525,"_464":114,"_93":526},[2221],{"_515":955,"_93":529},{"_471":2223,"_452":453,"_473":459},{"_532":958,"_506":946,"_42":-5,"_477":-5,"_182":534,"_535":-5,"_93":536},{"_471":2225,"_452":453,"_473":459},{"_506":961,"_42":-5,"_477":-5,"_508":962,"_93":510},{"_471":2227,"_452":453,"_473":459},{"_513":965,"_515":966,"_517":2228,"_519":520,"_457":32,"_521":968,"_42":961,"_522":969,"_524":525,"_464":970,"_93":526},[2229],{"_515":972,"_93":529},{"_471":2231,"_452":453,"_473":459},{"_532":975,"_506":961,"_42":-5,"_477":-5,"_182":534,"_535":-5,"_93":536},{"_471":2233,"_452":453,"_473":459},{"_474":-5,"_491":978,"_42":-5,"_477":-5,"_493":2234,"_93":495},[],{"_471":2236,"_452":453,"_473":459},{"_474":2237,"_42":983,"_493":2238,"_93":495},[],[],{"_471":2240,"_452":453,"_473":459},{"_987":-5,"_474":2241,"_42":989,"_93":990},[2242],{"_46":992,"_993":2243,"_93":46},[],{"_471":2245,"_452":453,"_473":459},{"_474":2246,"_476":-5,"_42":-5,"_477":-5,"_478":-5,"_97":327,"_93":480},[2247],{"_46":992,"_93":999},{"_471":2249,"_452":453,"_473":459},{"_474":2250,"_476":-5,"_42":-5,"_477":-5,"_478":-5,"_97":327,"_93":480},[2251,2252],{"_46":1006,"_93":999},{"_46":1005,"_93":999},{"_471":2254,"_452":453,"_473":459},{"_474":2255,"_476":-5,"_42":-5,"_477":-5,"_478":-5,"_97":1010,"_93":480},[2256,2257],{"_46":1014,"_93":999},{"_46":1013,"_93":999},{"_452":453,"_88":2259},{"_104":-5,"_42":459,"_460":2260,"_462":463,"_464":1019},[],{"_464":2262,"_452":453},{"_1022":2263,"_93":1024},[],{"_1027":2265},{"_1029":-5,"_1030":-5,"_1031":1032,"_1033":463,"_519":520,"_1034":15,"_1035":-5,"_1036":-5,"_1037":-5,"_1038":1039,"_42":453,"_1040":1041,"_182":-5,"_1042":-5,"_162":1043,"_1044":200,"_1045":-5,"_524":1046,"_464":2266,"_1048":-5,"_78":2267,"_1050":463},{"_93":468},[],[],[2270],{"_42":1055,"_1056":2271,"_1058":1059,"_1060":1059,"_474":2272,"_464":1062,"_476":-5,"_1063":32,"_1064":2273,"_1066":1067,"_1068":-5},{"_97":327,"_182":-5,"_1064":2277},{"_1073":46,"_1074":2276},{"_1069":2274},{"_1071":2275},[],[1076],{},{"_93":480,"_97":94,"_474":2293},{"_93":1109,"_1110":2284},{"_93":1086,"_1087":568,"_1088":1089,"_1090":2281,"_1092":-5},{"_93":1090,"_1093":520,"_129":130,"_1094":-5,"_326":1095,"_1096":2282,"_1098":1099,"_1100":1101,"_1102":1099,"_1103":568,"_1104":2283},{"_1106":1107,"_1108":-5},[],[2285,2286],{"_162":1212,"_1115":-5,"_1116":2290,"_1118":-5},{"_162":1114,"_1115":-5,"_1116":2287,"_1118":-5},[2288],{"_1120":1121,"_1122":1123,"_474":2289,"_1125":59},[1126,200,1127,200,1128,200,1129,200,1130,1131,1132,1133,1134,1135,1136,1137,1138,1139,200,1140,200,1141,1142,1143,1144,1145,1146,1147,1148,1149,200,1150,200,1151,1152,1153,1154,1155,1156,1157,1158,1159,1160,1161,1162,200,1163,200,1164,1165,1166,1167,1168,1169,1170,200,1171,200,1172,1173,1174,1175,1176,1177,1178,1179,1180,1181,1182,1183,1184,1185,1186,1187,1188,1189,1190,1191,1192,1193,1194,1195,200,1196,200,1197,1198,1199,1200,1201,1202,1203,1204,200,1205,200,1206,1207,1208,1209,1210,1211],[2291],{"_1120":1121,"_1122":1215,"_474":2292,"_1125":59},[1217,1218,1219,1220,1221,200,1222,200,1223,1224,1225,1226,1227,1228,1229,1230,1231,1232,1233,200,1234,1235,1236,1237,1238,1239,1240,1241,1242,1243,1244,1245,1246,1235,1236,1237,1238,1239,1240,1241,1247,1243,1248,1243,1249,1245,1250,1235,1236,1237,1238,1251,1240,1252,1253,1254,1255,1256,1245,200,1257,1258,1259,1260,1261,200,1262,1263,1264,1265,200,1266,1267,1268,1269,1270,1271,1272,1265,200,1273,1274,1271,1275,1265,200,1276,1277,1278,1265,200,1279,1280,1281,1265,200,1282,1283,1265,200,1284,1285,1286,1287,1288,1289,1290,1291,1292,1293,1294,1295,1296,1265,200,1297,1285,1298,1289,1299,1291,1300,1301,1302,1295,1296,1265,200,1303,1285,1304,1305,1306,1289,1290,1291,1307,1308,1309,1295,1296,1265,200,1310,1311,1312,1313,1314,1315,1316,1317,1318,1319,1320,1321,1322,1323,1265,200,1324,1311,1312,1325,1326,1315,1327,1328,1329,1319,1330,1331,1322,1323,1265,200,1332,1333,1265,200,1334,1335,1265,200,1336,1337,1338,1339,1323,1265,200,1340,1337,1341,1342,1323,1265,200,1343,1344,1338,1317,1345,1346,1321,1347,1348,1322,1349,1350,1351,1352,1353,1318,1354,1355,1356,1323,1265,200,1357,1344,1341,1328,1345,1358,1331,1359,1348,1322,1349,1360,1351,1352,1353,1329,1361,1362,1363,1323,1265,200,1364,1365,1366,1367,1346,1347,1348,1368,1369,1370,1322,1371,1351,1372,1353,1318,1354,1355,1373,1323,1265,200,1374,1365,1375,1367,1358,1359,1348,1376,1377,1378,1322,1379,1351,1372,1353,1329,1361,1362,1380,1323,1265,200,1381,1382,1265,200,1383,1384,1385,1386,200,1387,1388,200,1389,1390,1391,1392,1393,200,1394,1395,1396,200,1397,1398,1399,1400,1401,200,1402,1403,1404,1405,1265,200,1383,1406,1407,1408,1409,1410,200,1411,1412,1413,1414,1415,1416,1417,200,1387,1418,1271,1419,1420,1399,1400,1265,200,1383,1421,1422,1423,200,1387,1388,200,1389,1424,1425,1426,1427,1428,1429,200,1394,1430,1425,1431,1432,1433,1434,1435,1436,1428,1437,1438,1439,1440,1441,1396,200,1397,1442,1443,1444,1445,200,1402,1446,1404,1405,200,1447,1448,1404,1449,1265,200,1383,1450,1451,1409,1410,200,1411,1452,1453,1414,1415,1454,1455,200,1387,1418,1271,1456,1420,1442,1443,1265,200,1383,1457,1458,1459,1460,1461,1462,1463,1464,1408,1409,1410,200,1411,1412,1413,1414,1415,1416,1417,200,1387,1418,1271,1465,1420,1400,1265,200,1383,1466,1467,1468,1469,1470,1471,1409,1472,200,1411,1412,1413,1414,1415,1416,1417,200,1387,1388,1418,1271,1473,1420,1400,1265,200,1383,1474,1475,1476,1477,1478,1464,1476,1477,1479,1464,200,1480,200,1387,1388,1418,1271,1481,1420,1399,1400,1265,200,1383,1482,1458,1483,1408,1484,200,1485,1412,1413,1414,1415,1486,200,1425,1487,1488,1428,1265,200,1383,1489,1458,1490,1408,1409,200,1485,1412,1413,1414,1415,1491,200,1425,1487,1492,1428,1265,200,1383,1493,1494,1409,200,1411,1412,1413,1414,1415,1416,1263,1495,1496,1497,1415,1498,1499,200,1500,1501,1425,1502,1503,1428,1265,200,1383,1504,1494,1409,200,1485,1505,1506,1314,1315,1413,1414,1415,1491,200,1425,1487,1492,1428,1265,200,1383,1507,1508,1509,1428,1510,200,1511,1512,1513,1514,1515,1516,1517,1404,1518,1519,1520,1265,200,1383,1521,1508,1522,1428,1523,200,1524,1525,1404,1526,1527,1404,1405,1528,1265,200,1383,1529,1530,1531,1532,1428,1533,1534,200,1425,1431,1432,1535,1536,1537,1436,1428,1437,1538,1438,1439,1440,1441,1265,200,1383,1539,1540,1534,200,1541,1542,1543,200,1544,1545,1404,1405,1528,1265,200,1383,1546,1385,1475,1547,1548,200,1549,200,1500,1501,1425,1502,1550,1428,1265,200,1383,1551,1475,1552,200,1480,200,1500,1501,1425,1502,1553,1428,1265,200,1383,1554,1555,1556,1557,200,1558,200,1559,1560,1561,1562,1563,1564,1323,1265,200,1383,1565,1475,1566,200,1480,200,1500,1501,1425,1502,1567,1428,1265,200,1383,1568,1475,1476,1569,1570,1464,200,1480,200,1500,1501,1425,1502,1571,1428,1265,200,1383,1572,1263,1495,1496,1497,1415,1498,200,1386,200,1500,1501,1425,1502,1503,1428,1265,200,1383,1573,1475,1574,200,1480,200,1500,1501,1425,1502,1575,1428,1265,200,1383,1576,1577,1578,1415,1579,1268,1269,200,1386,200,1500,1501,1425,1502,1580,1428,1265,200,1383,1581,1582,1583,1584,1585,1586,1587,1588,200,1386,200,1500,1501,1425,1502,1589,1428,1265,200,1383,1590,1582,1591,200,1386,200,1500,1501,1425,1502,1589,1428,1265,200,1383,1592,1593,1475,1594,1595,1596,1549,200,1500,1501,1425,1502,1597,1428,1265,200,1383,1598,1582,1599,200,1386,200,1500,1501,1425,1502,1600,1428,1265,200,1383,1601,1582,1602,1603,200,1386,200,1500,1501,1425,1502,1604,1428,1265,200,1383,1605,1582,1606,1607,1608,1609,1610,1315,1611,1464,200,1386,200,1500,1501,1425,1502,1612,1428,1265,200,1383,1613,1425,1614,1615,1428,200,1616,1617,200,1618,1619,1620,1621,200,1622,1623,1624,1625,1626,200,1627,200,1628,1629,1630,1631,1632,200,1633,1634,1265,200,1383,1635,1636,1637,200,1638,1639,1640,1641,1404,200,1642,1643,1644,1645,1646,1647,1648,1649,1650,1646,1651,1652,200,1653,1654,1655,1656,1657,1658,1659,1660,1661,1662,1663,1664,1428,1665,1666,200,1425,1667,1668,1428,1425,1669,1670,1428,1265,200,1383,1671,1672,1673,1674,1464,1675,1676,1464,1677,1678,1679,1464,1680,1681,1464,1682,1683,1464,1684,1685,1464,1686,1687,1688,1689,1464,1690,1687,1661,1691,1692,1693,1464,1694,1695,1696,1697,1698,1699,1700,1701,1702,1703,1704,1464,1705,1695,1696,1697,1698,1706,1707,1464,1708,1709,1710,1464,200,1711,1712,1695,1696,1697,1698,1713,1714,1464,1265,200,1383,1715,1716,1717,1425,1718,1719,1720,1721,1428,1425,1722,1723,1720,1721,1428,200,1724,1725,1726,1425,1727,1728,1720,1729,1428,1265,200,1730,1731,1732,1733,1734,1735,1736,1737,1738,1739,1740,1741,1265,200,1742,1743,1744,1584,1585,1745,1746,1747,1265,200,1748,1749,1265],[2294,2295,2296,2297,2298,2299],{"_1073":46,"_46":1766},{"_1073":1758,"_162":1212,"_1120":1764,"_1122":1765},{"_1073":1758,"_162":1212,"_1120":1762,"_1122":1763},{"_1073":46,"_46":1761},{"_1073":1758,"_162":1114,"_1120":1759,"_1122":1760},{"_1073":46,"_46":1757},[2763,2764,2765],[],{"_1078":1079,"_46":1080,"_1081":1082},{"_1052":2754},{"_338":2753},{"_338":2335},{"_305":306,"_296":307,"_308":309,"_310":59,"_311":15,"_312":15,"_313":314,"_315":316,"_317":268,"_318":128,"_319":320,"_321":322,"_323":324,"_325":-5,"_326":-5,"_327":2334,"_329":330,"_331":332,"_333":334,"_335":336},{"_42":124,"_194":195,"_196":197,"_198":15,"_199":200,"_201":202,"_203":2323,"_205":-5,"_206":207,"_208":15,"_209":2324,"_211":200,"_212":200,"_213":2325,"_215":2326,"_217":2327,"_219":-5,"_220":221,"_222":223,"_224":225,"_226":2328,"_55":-5,"_120":228,"_229":2329,"_231":2330,"_233":234,"_235":15,"_236":15},{"_134":2316},[2310,2311,2312,2313,2314,2315],{"_149":172,"_151":166,"_153":167,"_155":164,"_157":173,"_159":160,"_161":32,"_162":-5},{"_149":171,"_151":166,"_153":167,"_155":164,"_157":168,"_159":160,"_161":32,"_162":-5},{"_149":169,"_151":166,"_153":167,"_155":164,"_157":170,"_159":160,"_161":32,"_162":-5},{"_149":165,"_151":166,"_153":167,"_155":164,"_157":168,"_159":160,"_161":32,"_162":-5},{"_149":163,"_151":152,"_153":154,"_155":164,"_157":158,"_159":160,"_161":32,"_162":-5},{"_149":150,"_151":152,"_153":154,"_155":156,"_157":158,"_159":160,"_161":32,"_162":-5},[2317,2318,2319],{"_178":2322,"_180":191},{"_178":2321,"_180":187},{"_178":2320,"_180":181},{"_182":183,"_93":184,"_120":185},{"_182":188,"_93":184,"_120":189},{"_182":192,"_93":184,"_120":193},{"_298":299,"_300":-5,"_301":-5,"_302":-5,"_303":-5,"_304":-5},[258],{"_258":2331},{"_240":241,"_242":243,"_244":245,"_246":247,"_248":249,"_250":251,"_252":253,"_254":255,"_256":257},{},[],{"_239":59},{"_237":59,"_238":200},{"_42":260,"_182":261,"_262":2332,"_264":197,"_265":266,"_267":268,"_269":270,"_271":272,"_273":274,"_275":64,"_276":15,"_277":-5,"_278":-5,"_279":-5,"_280":-5,"_281":-5,"_282":-5,"_161":283,"_284":-5,"_55":2333},{"_290":291,"_42":292,"_93":293,"_294":295,"_296":297},{"_286":15,"_287":15,"_288":15,"_289":15},{"_290":291,"_182":291,"_337":-5,"_294":295,"_42":292},[2336,2337,2338,2339,2340,2341,2342,2343,2344,2345,2346,2347,2348,2349,2350,2351,2352,2353,2354,2355,2356,2357,2358,2359,2360,2361,2362,2363,2364,2365,2366,2367,2368,2369,2370,2371,2372,2373,2374,2375,2376,2377,2378,2379,2380,2381,2382,2383,2384,2385,2386,2387,2388,2389,2390,2391,2392,2393,2394,2395,2396,2397,2398,2399,2400,2401,2402,2403,2404,2405,2406,2407,2408,2409,2410,2411,2412,2413,2414,2415,2416,2417,2418,2419,2420,2421,2422,2423,2424,2425,2426,2427,2428,2429,2430,2431,2432,2433,2434,2435,2436,2437,2438,2439,2440,2441,2442,2443,2444],{"_155":1025,"_450":2749},{"_155":465,"_450":2746},{"_155":1015,"_450":2743},{"_155":469,"_450":2738},{"_155":469,"_450":2733},{"_155":469,"_450":2729},{"_155":484,"_450":2724},{"_155":484,"_450":2720},{"_155":469,"_450":2717},{"_155":469,"_450":2715},{"_155":484,"_450":2711},{"_155":469,"_450":2709},{"_155":469,"_450":2707},{"_155":484,"_450":2703},{"_155":469,"_450":2701},{"_155":484,"_450":2697},{"_155":469,"_450":2693},{"_155":469,"_450":2691},{"_155":484,"_450":2687},{"_155":469,"_450":2685},{"_155":469,"_450":2683},{"_155":484,"_450":2679},{"_155":469,"_450":2677},{"_155":469,"_450":2675},{"_155":484,"_450":2670},{"_155":469,"_450":2668},{"_155":469,"_450":2666},{"_155":484,"_450":2661},{"_155":469,"_450":2659},{"_155":484,"_450":2655},{"_155":469,"_450":2651},{"_155":469,"_450":2649},{"_155":484,"_450":2645},{"_155":469,"_450":2643},{"_155":469,"_450":2641},{"_155":484,"_450":2636},{"_155":469,"_450":2634},{"_155":484,"_450":2630},{"_155":469,"_450":2627},{"_155":469,"_450":2625},{"_155":484,"_450":2620},{"_155":469,"_450":2618},{"_155":469,"_450":2616},{"_155":484,"_450":2611},{"_155":469,"_450":2609},{"_155":469,"_450":2607},{"_155":469,"_450":2605},{"_155":469,"_450":2603},{"_155":469,"_450":2601},{"_155":469,"_450":2599},{"_155":469,"_450":2597},{"_155":469,"_450":2595},{"_155":469,"_450":2593},{"_155":469,"_450":2591},{"_155":469,"_450":2589},{"_155":469,"_450":2587},{"_155":469,"_450":2585},{"_155":469,"_450":2583},{"_155":469,"_450":2581},{"_155":469,"_450":2579},{"_155":469,"_450":2577},{"_155":484,"_450":2573},{"_155":469,"_450":2571},{"_155":469,"_450":2569},{"_155":484,"_450":2565},{"_155":469,"_450":2561},{"_155":469,"_450":2559},{"_155":469,"_450":2557},{"_155":469,"_450":2555},{"_155":469,"_450":2553},{"_155":469,"_450":2551},{"_155":469,"_450":2549},{"_155":469,"_450":2547},{"_155":469,"_450":2545},{"_155":469,"_450":2543},{"_155":469,"_450":2541},{"_155":469,"_450":2539},{"_155":469,"_450":2537},{"_155":469,"_450":2535},{"_155":469,"_450":2533},{"_155":469,"_450":2531},{"_155":469,"_450":2529},{"_155":484,"_450":2525},{"_155":469,"_450":2523},{"_155":469,"_450":2521},{"_155":484,"_450":2517},{"_155":469,"_450":2513},{"_155":469,"_450":2511},{"_155":484,"_450":2507},{"_155":469,"_450":2505},{"_155":484,"_450":2501},{"_155":469,"_450":2498},{"_155":469,"_450":2496},{"_155":484,"_450":2492},{"_155":469,"_450":2490},{"_155":469,"_450":2488},{"_155":484,"_450":2481},{"_155":469,"_450":2479},{"_155":484,"_450":2475},{"_155":469,"_450":2472},{"_155":469,"_450":2470},{"_155":484,"_450":2466},{"_155":469,"_450":2464},{"_155":484,"_450":2460},{"_155":469,"_450":2456},{"_155":484,"_450":2454},{"_155":469,"_450":2450},{"_155":465,"_450":2448},{"_155":449,"_450":2445},{"_452":453,"_88":2446},{"_455":456,"_457":458,"_104":-5,"_42":459,"_460":2447,"_462":463,"_464":114},[],{"_464":2449,"_452":453},{"_93":468},{"_471":2451,"_452":453,"_473":459},{"_474":2452,"_476":-5,"_42":-5,"_477":-5,"_478":479,"_97":94,"_93":480},[2453],{"_46":482,"_93":483},{"_471":2455,"_452":453,"_473":459},{"_42":487,"_478":479,"_46":482,"_93":488},{"_471":2457,"_452":453,"_473":459},{"_474":-5,"_491":492,"_42":-5,"_477":-5,"_493":2458,"_93":495},[2459],{"_46":497,"_93":498},{"_471":2461,"_452":453,"_473":459},{"_474":2462,"_42":502,"_493":2463,"_93":495},[],[497],{"_471":2465,"_452":453,"_473":459},{"_506":507,"_42":-5,"_477":-5,"_508":509,"_93":510},{"_471":2467,"_452":453,"_473":459},{"_513":514,"_515":516,"_517":2468,"_519":520,"_457":32,"_521":32,"_42":507,"_522":523,"_524":525,"_464":114,"_93":526},[2469],{"_515":528,"_93":529},{"_471":2471,"_452":453,"_473":459},{"_532":533,"_506":507,"_42":-5,"_477":-5,"_182":534,"_535":-5,"_93":536},{"_471":2473,"_452":453,"_473":459},{"_474":-5,"_491":539,"_42":-5,"_477":-5,"_493":2474,"_93":495},[],{"_471":2476,"_452":453,"_473":459},{"_474":2477,"_42":544,"_493":2478,"_93":495},[],[],{"_471":2480,"_452":453,"_473":459},{"_506":548,"_42":-5,"_477":-5,"_508":549,"_93":510},{"_471":2482,"_452":453,"_473":459},{"_552":-5,"_532":2483,"_457":554,"_104":-5,"_42":548,"_555":-5,"_556":-5,"_557":-5,"_558":2484,"_560":561,"_464":114,"_562":561,"_93":563},{"_313":568,"_315":569},{"_564":-5,"_474":2485,"_566":2486},[2487],{"_313":568,"_315":569},{"_93":46,"_46":571},{"_471":2489,"_452":453,"_473":459},{"_532":574,"_506":548,"_42":-5,"_477":-5,"_182":561,"_535":575,"_93":536},{"_471":2491,"_452":453,"_473":459},{"_506":578,"_42":-5,"_477":-5,"_508":579,"_93":510},{"_471":2493,"_452":453,"_473":459},{"_513":582,"_515":583,"_517":2494,"_519":520,"_457":32,"_521":32,"_42":578,"_522":585,"_524":525,"_464":114,"_93":526},[2495],{"_515":587,"_93":529},{"_471":2497,"_452":453,"_473":459},{"_532":590,"_506":578,"_42":-5,"_477":-5,"_182":534,"_535":-5,"_93":536},{"_471":2499,"_452":453,"_473":459},{"_474":-5,"_491":593,"_42":-5,"_477":-5,"_493":2500,"_93":495},[],{"_471":2502,"_452":453,"_473":459},{"_474":2503,"_42":598,"_493":2504,"_93":495},[],[],{"_471":2506,"_452":453,"_473":459},{"_506":602,"_42":-5,"_477":-5,"_508":603,"_93":510},{"_471":2508,"_452":453,"_473":459},{"_513":606,"_515":607,"_517":2509,"_519":520,"_457":32,"_521":32,"_42":602,"_522":609,"_524":525,"_464":114,"_93":526},[2510],{"_515":611,"_93":529},{"_471":2512,"_452":453,"_473":459},{"_532":614,"_506":602,"_42":-5,"_477":-5,"_182":534,"_535":-5,"_93":536},{"_471":2514,"_452":453,"_473":459},{"_474":-5,"_491":617,"_42":-5,"_477":-5,"_493":2515,"_93":495},[2516],{"_46":620,"_93":498},{"_471":2518,"_452":453,"_473":459},{"_474":2519,"_42":624,"_493":2520,"_93":495},[],[620],{"_471":2522,"_452":453,"_473":459},{"_506":628,"_42":-5,"_477":-5,"_508":629,"_93":510},{"_471":2524,"_452":453,"_473":459},{"_532":632,"_506":628,"_42":-5,"_477":-5,"_182":633,"_535":-5,"_93":536},{"_471":2526,"_452":453,"_473":459},{"_513":636,"_515":637,"_517":2527,"_519":520,"_457":639,"_521":32,"_42":640,"_522":641,"_524":525,"_464":114,"_93":526},[2528],{"_515":643,"_93":529},{"_471":2530,"_452":453,"_473":459},{"_506":646,"_42":-5,"_477":-5,"_508":647,"_93":510},{"_471":2532,"_452":453,"_473":459},{"_532":632,"_506":646,"_42":-5,"_477":-5,"_182":633,"_535":-5,"_93":536},{"_471":2534,"_452":453,"_473":459},{"_506":652,"_42":-5,"_477":-5,"_508":653,"_93":510},{"_471":2536,"_452":453,"_473":459},{"_532":632,"_506":652,"_42":-5,"_477":-5,"_182":633,"_535":-5,"_93":536},{"_471":2538,"_452":453,"_473":459},{"_506":658,"_42":-5,"_477":-5,"_508":659,"_93":510},{"_471":2540,"_452":453,"_473":459},{"_532":632,"_506":658,"_42":-5,"_477":-5,"_182":633,"_535":-5,"_93":536},{"_471":2542,"_452":453,"_473":459},{"_506":664,"_42":-5,"_477":-5,"_508":665,"_93":510},{"_471":2544,"_452":453,"_473":459},{"_532":632,"_506":664,"_42":-5,"_477":-5,"_182":633,"_535":-5,"_93":536},{"_471":2546,"_452":453,"_473":459},{"_506":670,"_42":-5,"_477":-5,"_508":671,"_93":510},{"_471":2548,"_452":453,"_473":459},{"_532":632,"_506":670,"_42":-5,"_477":-5,"_182":633,"_535":-5,"_93":536},{"_471":2550,"_452":453,"_473":459},{"_506":676,"_42":-5,"_477":-5,"_508":677,"_93":510},{"_471":2552,"_452":453,"_473":459},{"_532":632,"_506":676,"_42":-5,"_477":-5,"_182":633,"_535":-5,"_93":536},{"_471":2554,"_452":453,"_473":459},{"_506":682,"_42":-5,"_477":-5,"_508":683,"_93":510},{"_471":2556,"_452":453,"_473":459},{"_532":632,"_506":682,"_42":-5,"_477":-5,"_182":633,"_535":-5,"_93":536},{"_471":2558,"_452":453,"_473":459},{"_506":640,"_42":-5,"_477":-5,"_508":688,"_93":510},{"_471":2560,"_452":453,"_473":459},{"_532":691,"_506":640,"_42":-5,"_477":-5,"_182":534,"_535":-5,"_93":536},{"_471":2562,"_452":453,"_473":459},{"_474":-5,"_491":694,"_42":-5,"_477":-5,"_493":2563,"_93":495},[2564],{"_46":697,"_93":498},{"_471":2566,"_452":453,"_473":459},{"_474":2567,"_42":701,"_493":2568,"_93":495},[],[697],{"_471":2570,"_452":453,"_473":459},{"_506":705,"_42":-5,"_477":-5,"_508":706,"_93":510},{"_471":2572,"_452":453,"_473":459},{"_532":709,"_506":705,"_42":-5,"_477":-5,"_182":633,"_535":-5,"_93":536},{"_471":2574,"_452":453,"_473":459},{"_513":712,"_515":713,"_517":2575,"_519":520,"_457":715,"_521":32,"_42":716,"_522":717,"_524":525,"_464":114,"_93":526},[2576],{"_515":719,"_93":529},{"_471":2578,"_452":453,"_473":459},{"_506":722,"_42":-5,"_477":-5,"_508":723,"_93":510},{"_471":2580,"_452":453,"_473":459},{"_532":709,"_506":722,"_42":-5,"_477":-5,"_182":633,"_535":-5,"_93":536},{"_471":2582,"_452":453,"_473":459},{"_506":728,"_42":-5,"_477":-5,"_508":729,"_93":510},{"_471":2584,"_452":453,"_473":459},{"_532":709,"_506":728,"_42":-5,"_477":-5,"_182":633,"_535":-5,"_93":536},{"_471":2586,"_452":453,"_473":459},{"_506":734,"_42":-5,"_477":-5,"_508":735,"_93":510},{"_471":2588,"_452":453,"_473":459},{"_532":709,"_506":734,"_42":-5,"_477":-5,"_182":633,"_535":-5,"_93":536},{"_471":2590,"_452":453,"_473":459},{"_506":740,"_42":-5,"_477":-5,"_508":741,"_93":510},{"_471":2592,"_452":453,"_473":459},{"_532":709,"_506":740,"_42":-5,"_477":-5,"_182":633,"_535":-5,"_93":536},{"_471":2594,"_452":453,"_473":459},{"_506":746,"_42":-5,"_477":-5,"_508":747,"_93":510},{"_471":2596,"_452":453,"_473":459},{"_532":709,"_506":746,"_42":-5,"_477":-5,"_182":633,"_535":-5,"_93":536},{"_471":2598,"_452":453,"_473":459},{"_506":752,"_42":-5,"_477":-5,"_508":753,"_93":510},{"_471":2600,"_452":453,"_473":459},{"_532":709,"_506":752,"_42":-5,"_477":-5,"_182":633,"_535":-5,"_93":536},{"_471":2602,"_452":453,"_473":459},{"_506":758,"_42":-5,"_477":-5,"_508":759,"_93":510},{"_471":2604,"_452":453,"_473":459},{"_532":709,"_506":758,"_42":-5,"_477":-5,"_182":633,"_535":-5,"_93":536},{"_471":2606,"_452":453,"_473":459},{"_506":716,"_42":-5,"_477":-5,"_508":764,"_93":510},{"_471":2608,"_452":453,"_473":459},{"_532":767,"_506":716,"_42":-5,"_477":-5,"_182":534,"_535":-5,"_93":536},{"_471":2610,"_452":453,"_473":459},{"_506":770,"_42":-5,"_477":-5,"_182":-5,"_508":771,"_93":772},{"_471":2612,"_452":453,"_473":459},{"_775":2613,"_42":770,"_464":114,"_93":777},[2614],{"_326":779,"_9":2615,"_162":781},{"_782":-5,"_93":783},{"_471":2617,"_452":453,"_473":459},{"_506":770,"_42":-5,"_786":787,"_477":-5,"_182":788,"_535":-5,"_464":114,"_93":789},{"_471":2619,"_452":453,"_473":459},{"_506":792,"_42":-5,"_477":-5,"_182":-5,"_508":793,"_93":772},{"_471":2621,"_452":453,"_473":459},{"_775":2622,"_42":792,"_464":114,"_93":777},[2623],{"_326":798,"_9":2624,"_162":800},{"_782":-5,"_93":783},{"_471":2626,"_452":453,"_473":459},{"_506":792,"_42":-5,"_786":803,"_477":-5,"_182":788,"_535":-5,"_464":114,"_93":789},{"_471":2628,"_452":453,"_473":459},{"_474":-5,"_491":806,"_42":-5,"_477":-5,"_493":2629,"_93":495},[],{"_471":2631,"_452":453,"_473":459},{"_474":2632,"_42":811,"_493":2633,"_93":495},[],[],{"_471":2635,"_452":453,"_473":459},{"_506":815,"_42":-5,"_477":-5,"_508":816,"_93":510},{"_471":2637,"_452":453,"_473":459},{"_513":819,"_515":820,"_517":2638,"_519":520,"_457":32,"_521":32,"_42":815,"_522":822,"_524":525,"_464":114,"_93":526},[2639,2640],{"_515":829,"_182":826,"_162":827,"_93":828},{"_515":825,"_182":826,"_162":827,"_93":828},{"_471":2642,"_452":453,"_473":459},{"_532":832,"_506":815,"_42":-5,"_477":-5,"_182":534,"_535":-5,"_93":536},{"_471":2644,"_452":453,"_473":459},{"_506":835,"_42":-5,"_477":-5,"_508":836,"_93":510},{"_471":2646,"_452":453,"_473":459},{"_513":839,"_515":840,"_517":2647,"_519":520,"_457":32,"_521":32,"_42":835,"_522":842,"_524":525,"_464":114,"_93":526},[2648],{"_515":844,"_162":845,"_846":847,"_93":848},{"_471":2650,"_452":453,"_473":459},{"_532":851,"_506":835,"_42":-5,"_477":-5,"_182":534,"_535":-5,"_93":536},{"_471":2652,"_452":453,"_473":459},{"_474":-5,"_491":854,"_42":-5,"_477":-5,"_493":2653,"_93":495},[2654],{"_46":857,"_93":498},{"_471":2656,"_452":453,"_473":459},{"_474":2657,"_42":861,"_493":2658,"_93":495},[],[857],{"_471":2660,"_452":453,"_473":459},{"_506":865,"_42":-5,"_477":-5,"_508":866,"_93":510},{"_471":2662,"_452":453,"_473":459},{"_513":869,"_515":870,"_517":2663,"_519":520,"_457":32,"_521":32,"_42":865,"_522":872,"_524":525,"_464":114,"_93":526},[2664,2665],{"_515":878,"_182":879,"_162":880,"_93":828},{"_515":875,"_182":876,"_162":877,"_93":828},{"_471":2667,"_452":453,"_473":459},{"_532":883,"_506":865,"_42":-5,"_477":-5,"_182":534,"_535":-5,"_93":536},{"_471":2669,"_452":453,"_473":459},{"_506":886,"_42":-5,"_477":-5,"_508":887,"_93":510},{"_471":2671,"_452":453,"_473":459},{"_513":890,"_515":891,"_517":2672,"_519":520,"_457":32,"_521":32,"_42":886,"_522":893,"_524":525,"_464":114,"_93":526},[2673,2674],{"_515":898,"_182":879,"_162":800,"_93":828},{"_515":896,"_162":845,"_846":897,"_93":848},{"_471":2676,"_452":453,"_473":459},{"_532":901,"_506":886,"_42":-5,"_477":-5,"_182":534,"_535":-5,"_93":536},{"_471":2678,"_452":453,"_473":459},{"_506":904,"_42":-5,"_477":-5,"_508":905,"_93":510},{"_471":2680,"_452":453,"_473":459},{"_513":908,"_515":909,"_517":2681,"_519":520,"_457":32,"_521":32,"_42":904,"_522":911,"_524":525,"_464":114,"_93":526},[2682],{"_515":913,"_182":879,"_162":800,"_93":828},{"_471":2684,"_452":453,"_473":459},{"_532":916,"_506":904,"_42":-5,"_477":-5,"_182":534,"_535":-5,"_93":536},{"_471":2686,"_452":453,"_473":459},{"_506":919,"_42":-5,"_477":-5,"_508":920,"_93":510},{"_471":2688,"_452":453,"_473":459},{"_513":923,"_515":924,"_517":2689,"_519":520,"_457":32,"_521":32,"_42":919,"_522":926,"_524":525,"_464":114,"_93":526},[2690],{"_515":928,"_162":879,"_846":929,"_93":848},{"_471":2692,"_452":453,"_473":459},{"_532":932,"_506":919,"_42":-5,"_477":-5,"_182":534,"_535":-5,"_93":536},{"_471":2694,"_452":453,"_473":459},{"_474":-5,"_491":935,"_42":-5,"_477":-5,"_493":2695,"_93":495},[2696],{"_46":938,"_93":498},{"_471":2698,"_452":453,"_473":459},{"_474":2699,"_42":942,"_493":2700,"_93":495},[],[938],{"_471":2702,"_452":453,"_473":459},{"_506":946,"_42":-5,"_477":-5,"_508":947,"_93":510},{"_471":2704,"_452":453,"_473":459},{"_513":950,"_515":951,"_517":2705,"_519":520,"_457":32,"_521":32,"_42":946,"_522":953,"_524":525,"_464":114,"_93":526},[2706],{"_515":955,"_93":529},{"_471":2708,"_452":453,"_473":459},{"_532":958,"_506":946,"_42":-5,"_477":-5,"_182":534,"_535":-5,"_93":536},{"_471":2710,"_452":453,"_473":459},{"_506":961,"_42":-5,"_477":-5,"_508":962,"_93":510},{"_471":2712,"_452":453,"_473":459},{"_513":965,"_515":966,"_517":2713,"_519":520,"_457":32,"_521":968,"_42":961,"_522":969,"_524":525,"_464":970,"_93":526},[2714],{"_515":972,"_93":529},{"_471":2716,"_452":453,"_473":459},{"_532":975,"_506":961,"_42":-5,"_477":-5,"_182":534,"_535":-5,"_93":536},{"_471":2718,"_452":453,"_473":459},{"_474":-5,"_491":978,"_42":-5,"_477":-5,"_493":2719,"_93":495},[],{"_471":2721,"_452":453,"_473":459},{"_474":2722,"_42":983,"_493":2723,"_93":495},[],[],{"_471":2725,"_452":453,"_473":459},{"_987":-5,"_474":2726,"_42":989,"_93":990},[2727],{"_46":992,"_993":2728,"_93":46},[],{"_471":2730,"_452":453,"_473":459},{"_474":2731,"_476":-5,"_42":-5,"_477":-5,"_478":-5,"_97":327,"_93":480},[2732],{"_46":992,"_93":999},{"_471":2734,"_452":453,"_473":459},{"_474":2735,"_476":-5,"_42":-5,"_477":-5,"_478":-5,"_97":327,"_93":480},[2736,2737],{"_46":1006,"_93":999},{"_46":1005,"_93":999},{"_471":2739,"_452":453,"_473":459},{"_474":2740,"_476":-5,"_42":-5,"_477":-5,"_478":-5,"_97":1010,"_93":480},[2741,2742],{"_46":1014,"_93":999},{"_46":1013,"_93":999},{"_452":453,"_88":2744},{"_104":-5,"_42":459,"_460":2745,"_462":463,"_464":1019},[],{"_464":2747,"_452":453},{"_1022":2748,"_93":1024},[],{"_1027":2750},{"_1029":-5,"_1030":-5,"_1031":1032,"_1033":463,"_519":520,"_1034":15,"_1035":-5,"_1036":-5,"_1037":-5,"_1038":1039,"_42":453,"_1040":1041,"_182":-5,"_1042":-5,"_162":1043,"_1044":200,"_1045":-5,"_524":1046,"_464":2751,"_1048":-5,"_78":2752,"_1050":463},{"_93":468},[],[],[2755],{"_42":1055,"_1056":2756,"_1058":1059,"_1060":1059,"_474":2757,"_464":1062,"_476":-5,"_1063":32,"_1064":2758,"_1066":1067,"_1068":-5},{"_97":327,"_182":-5,"_1064":2762},{"_1073":46,"_1074":2761},{"_1069":2759},{"_1071":2760},[],[1076],{},{"_93":480,"_97":94,"_474":2778},{"_93":1109,"_1110":2769},{"_93":1086,"_1087":568,"_1088":1089,"_1090":2766,"_1092":-5},{"_93":1090,"_1093":520,"_129":130,"_1094":-5,"_326":1095,"_1096":2767,"_1098":1099,"_1100":1101,"_1102":1099,"_1103":568,"_1104":2768},{"_1106":1107,"_1108":-5},[],[2770,2771],{"_162":1212,"_1115":-5,"_1116":2775,"_1118":-5},{"_162":1114,"_1115":-5,"_1116":2772,"_1118":-5},[2773],{"_1120":1121,"_1122":1123,"_474":2774,"_1125":59},[1126,200,1127,200,1128,200,1129,200,1130,1131,1132,1133,1134,1135,1136,1137,1138,1139,200,1140,200,1141,1142,1143,1144,1145,1146,1147,1148,1149,200,1150,200,1151,1152,1153,1154,1155,1156,1157,1158,1159,1160,1161,1162,200,1163,200,1164,1165,1166,1167,1168,1169,1170,200,1171,200,1172,1173,1174,1175,1176,1177,1178,1179,1180,1181,1182,1183,1184,1185,1186,1187,1188,1189,1190,1191,1192,1193,1194,1195,200,1196,200,1197,1198,1199,1200,1201,1202,1203,1204,200,1205,200,1206,1207,1208,1209,1210,1211],[2776],{"_1120":1121,"_1122":1215,"_474":2777,"_1125":59},[1217,1218,1219,1220,1221,200,1222,200,1223,1224,1225,1226,1227,1228,1229,1230,1231,1232,1233,200,1234,1235,1236,1237,1238,1239,1240,1241,1242,1243,1244,1245,1246,1235,1236,1237,1238,1239,1240,1241,1247,1243,1248,1243,1249,1245,1250,1235,1236,1237,1238,1251,1240,1252,1253,1254,1255,1256,1245,200,1257,1258,1259,1260,1261,200,1262,1263,1264,1265,200,1266,1267,1268,1269,1270,1271,1272,1265,200,1273,1274,1271,1275,1265,200,1276,1277,1278,1265,200,1279,1280,1281,1265,200,1282,1283,1265,200,1284,1285,1286,1287,1288,1289,1290,1291,1292,1293,1294,1295,1296,1265,200,1297,1285,1298,1289,1299,1291,1300,1301,1302,1295,1296,1265,200,1303,1285,1304,1305,1306,1289,1290,1291,1307,1308,1309,1295,1296,1265,200,1310,1311,1312,1313,1314,1315,1316,1317,1318,1319,1320,1321,1322,1323,1265,200,1324,1311,1312,1325,1326,1315,1327,1328,1329,1319,1330,1331,1322,1323,1265,200,1332,1333,1265,200,1334,1335,1265,200,1336,1337,1338,1339,1323,1265,200,1340,1337,1341,1342,1323,1265,200,1343,1344,1338,1317,1345,1346,1321,1347,1348,1322,1349,1350,1351,1352,1353,1318,1354,1355,1356,1323,1265,200,1357,1344,1341,1328,1345,1358,1331,1359,1348,1322,1349,1360,1351,1352,1353,1329,1361,1362,1363,1323,1265,200,1364,1365,1366,1367,1346,1347,1348,1368,1369,1370,1322,1371,1351,1372,1353,1318,1354,1355,1373,1323,1265,200,1374,1365,1375,1367,1358,1359,1348,1376,1377,1378,1322,1379,1351,1372,1353,1329,1361,1362,1380,1323,1265,200,1381,1382,1265,200,1383,1384,1385,1386,200,1387,1388,200,1389,1390,1391,1392,1393,200,1394,1395,1396,200,1397,1398,1399,1400,1401,200,1402,1403,1404,1405,1265,200,1383,1406,1407,1408,1409,1410,200,1411,1412,1413,1414,1415,1416,1417,200,1387,1418,1271,1419,1420,1399,1400,1265,200,1383,1421,1422,1423,200,1387,1388,200,1389,1424,1425,1426,1427,1428,1429,200,1394,1430,1425,1431,1432,1433,1434,1435,1436,1428,1437,1438,1439,1440,1441,1396,200,1397,1442,1443,1444,1445,200,1402,1446,1404,1405,200,1447,1448,1404,1449,1265,200,1383,1450,1451,1409,1410,200,1411,1452,1453,1414,1415,1454,1455,200,1387,1418,1271,1456,1420,1442,1443,1265,200,1383,1457,1458,1459,1460,1461,1462,1463,1464,1408,1409,1410,200,1411,1412,1413,1414,1415,1416,1417,200,1387,1418,1271,1465,1420,1400,1265,200,1383,1466,1467,1468,1469,1470,1471,1409,1472,200,1411,1412,1413,1414,1415,1416,1417,200,1387,1388,1418,1271,1473,1420,1400,1265,200,1383,1474,1475,1476,1477,1478,1464,1476,1477,1479,1464,200,1480,200,1387,1388,1418,1271,1481,1420,1399,1400,1265,200,1383,1482,1458,1483,1408,1484,200,1485,1412,1413,1414,1415,1486,200,1425,1487,1488,1428,1265,200,1383,1489,1458,1490,1408,1409,200,1485,1412,1413,1414,1415,1491,200,1425,1487,1492,1428,1265,200,1383,1493,1494,1409,200,1411,1412,1413,1414,1415,1416,1263,1495,1496,1497,1415,1498,1499,200,1500,1501,1425,1502,1503,1428,1265,200,1383,1504,1494,1409,200,1485,1505,1506,1314,1315,1413,1414,1415,1491,200,1425,1487,1492,1428,1265,200,1383,1507,1508,1509,1428,1510,200,1511,1512,1513,1514,1515,1516,1517,1404,1518,1519,1520,1265,200,1383,1521,1508,1522,1428,1523,200,1524,1525,1404,1526,1527,1404,1405,1528,1265,200,1383,1529,1530,1531,1532,1428,1533,1534,200,1425,1431,1432,1535,1536,1537,1436,1428,1437,1538,1438,1439,1440,1441,1265,200,1383,1539,1540,1534,200,1541,1542,1543,200,1544,1545,1404,1405,1528,1265,200,1383,1546,1385,1475,1547,1548,200,1549,200,1500,1501,1425,1502,1550,1428,1265,200,1383,1551,1475,1552,200,1480,200,1500,1501,1425,1502,1553,1428,1265,200,1383,1554,1555,1556,1557,200,1558,200,1559,1560,1561,1562,1563,1564,1323,1265,200,1383,1565,1475,1566,200,1480,200,1500,1501,1425,1502,1567,1428,1265,200,1383,1568,1475,1476,1569,1570,1464,200,1480,200,1500,1501,1425,1502,1571,1428,1265,200,1383,1572,1263,1495,1496,1497,1415,1498,200,1386,200,1500,1501,1425,1502,1503,1428,1265,200,1383,1573,1475,1574,200,1480,200,1500,1501,1425,1502,1575,1428,1265,200,1383,1576,1577,1578,1415,1579,1268,1269,200,1386,200,1500,1501,1425,1502,1580,1428,1265,200,1383,1581,1582,1583,1584,1585,1586,1587,1588,200,1386,200,1500,1501,1425,1502,1589,1428,1265,200,1383,1590,1582,1591,200,1386,200,1500,1501,1425,1502,1589,1428,1265,200,1383,1592,1593,1475,1594,1595,1596,1549,200,1500,1501,1425,1502,1597,1428,1265,200,1383,1598,1582,1599,200,1386,200,1500,1501,1425,1502,1600,1428,1265,200,1383,1601,1582,1602,1603,200,1386,200,1500,1501,1425,1502,1604,1428,1265,200,1383,1605,1582,1606,1607,1608,1609,1610,1315,1611,1464,200,1386,200,1500,1501,1425,1502,1612,1428,1265,200,1383,1613,1425,1614,1615,1428,200,1616,1617,200,1618,1619,1620,1621,200,1622,1623,1624,1625,1626,200,1627,200,1628,1629,1630,1631,1632,200,1633,1634,1265,200,1383,1635,1636,1637,200,1638,1639,1640,1641,1404,200,1642,1643,1644,1645,1646,1647,1648,1649,1650,1646,1651,1652,200,1653,1654,1655,1656,1657,1658,1659,1660,1661,1662,1663,1664,1428,1665,1666,200,1425,1667,1668,1428,1425,1669,1670,1428,1265,200,1383,1671,1672,1673,1674,1464,1675,1676,1464,1677,1678,1679,1464,1680,1681,1464,1682,1683,1464,1684,1685,1464,1686,1687,1688,1689,1464,1690,1687,1661,1691,1692,1693,1464,1694,1695,1696,1697,1698,1699,1700,1701,1702,1703,1704,1464,1705,1695,1696,1697,1698,1706,1707,1464,1708,1709,1710,1464,200,1711,1712,1695,1696,1697,1698,1713,1714,1464,1265,200,1383,1715,1716,1717,1425,1718,1719,1720,1721,1428,1425,1722,1723,1720,1721,1428,200,1724,1725,1726,1425,1727,1728,1720,1729,1428,1265,200,1730,1731,1732,1733,1734,1735,1736,1737,1738,1739,1740,1741,1265,200,1742,1743,1744,1584,1585,1745,1746,1747,1265,200,1748,1749,1265],[2779,2780,2781,2782,2783,2784],{"_1073":46,"_46":1766},{"_1073":1758,"_162":1212,"_1120":1764,"_1122":1765},{"_1073":1758,"_162":1212,"_1120":1762,"_1122":1763},{"_1073":46,"_46":1761},{"_1073":1758,"_162":1114,"_1120":1759,"_1122":1760},{"_1073":46,"_46":1757},[2787,2788,2789,2790,2791,2792],{"_1776":1777,"_264":197,"_1778":306,"_275":-5,"_1093":258,"_1779":-5,"_1780":-5,"_1781":1782,"_1783":1784,"_1785":-5,"_1786":-5,"_1787":1788,"_1789":15,"_1790":59,"_1791":54,"_1792":15},{"_93":480,"_97":327,"_474":2793},{"_313":314,"_315":316,"_1809":320,"_1810":130,"_323":-5,"_93":1811},{"_93":1799,"_315":1808,"_162":-5,"_1801":-5,"_1802":-5},{"_93":1799,"_315":1807,"_162":-5,"_1801":-5,"_1802":-5},{"_93":1799,"_315":1803,"_162":1804,"_1801":1805,"_1802":1806},{"_93":1799,"_315":1800,"_162":-5,"_1801":-5,"_1802":-5},[2794],{"_1073":46,"_46":1814},"task_e_6a4352797598832aaf7474765e5f87bb",1782796921.45946,"GitHub Mention: Freeze canonical Target IR artifacts","has_generated_title","has_unread_turn","denormalized_metadata",{"_2826":32,"_2827":2828,"_2829":-5,"_2830":-5,"_2820":2831,"_2832":-5,"_2833":-5,"_2834":-5,"_2835":-5},"task_status_display",{"_2814":2815,"_2816":197,"_131":128,"_2817":-5,"_2818":1086},"creator_workspace","external_pull_requests",[2807],{"_42":2808,"_2809":84,"_2810":2811,"_2812":130},"github-1272888914-108","assistant_turn_id","pull_request",{"_305":306,"_296":307,"_308":309,"_310":59,"_311":15,"_312":15,"_313":314,"_315":316,"_317":268,"_318":128,"_319":320,"_321":322,"_323":324,"_325":-5,"_326":-5,"_327":2813,"_329":330,"_331":332,"_333":334,"_335":336},"codex_updated_sha",{"_290":291,"_182":291,"_337":-5,"_294":295,"_42":292},"latest_turn_status_display",{"_2819":84,"_113":114,"_2820":2821,"_95":2822,"_2823":-5,"_2824":-5,"_2825":1086,"_115":-5},"environment_label","fix_task_id","initial_intent","turn_id","diff_stats",{"_1098":1099,"_1100":1101,"_1102":1099},[],"image_asset_pointer_citations","issue_counts","intent","num_follow_ups","repo_name_map",{},"last_user_turn_created_at","last_turn_status",{"_1098":-5,"_1100":-5,"_1102":-5},"last_pushed_turn_id","start_branch_name","pushed_branch_name","cached_pull_request_data","dd",{"_2848":2849,"_2850":2851},"disablePrefetch","shouldPrefetchAccount","shouldPrefetchUser","shouldPrefetchSystemHints","promoteCss","disableSSR","stripModulepreloadImports","paidCampaignAppRedirect","statsigGateEvaluationsPromise",["P",2847],"traceId","17880834075433798253","traceTime",1785464964127]