\\n>

⌛ How to resolve this issue?

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

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

\\n>

🚦 How do rate limits work?

\\n> \\n> CodeRabbit enforces per-developer PR review limits for each organization. Most developers receive the normal plan review availability.\\n> \\n> \\tFor 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 see our [Fair Usage Limits Policy](https://docs.coderabbit.ai/management/plans#fair-usage-limits-policy) for further information.\\n> \\n>

\\n> \\n>

\\n>

ℹ️ Review info

\\n> \\n>

\\n>

⚙️ Run configuration

\\n> \\n> **Configuration used**: Organization UI\\n> \\n> **Review profile**: ASSERTIVE\\n> \\n> **Plan**: Pro\\n> \\n> **Run ID**: `782247e0-2a4b-4c1e-9b80-0f715e80ae92`\\n> \\n>

\\n> \\n>

\\n>

📥 Commits

\\n> \\n> Reviewing files that changed from the base of the PR and between 83205ca2d335444249a8b54e6c9287363fcc80a5 and be245bdc378be9cc4481094b653fcc8e5e301a77.\\n> \\n>

\\n> \\n>

\\n>

📒 Files selected for processing (12)

\\n> \\n> * `CHANGELOG.md`\\n> * `ROADMAP.md`\\n> * `crates/edict-syntax/src/canonical.rs`\\n> * `crates/edict-syntax/src/compiler.rs`\\n> * `crates/edict-syntax/src/core_ir.rs`\\n> * `crates/edict-syntax/src/lib.rs`\\n> * `crates/edict-syntax/tests/canonical_encoding.rs`\\n> * `crates/edict-syntax/tests/compiler_spine.rs`\\n> * `docs/topics/compiler-spine/README.md`\\n> * `docs/topics/compiler-spine/test-plan.md`\\n> * `docs/topics/core-ir/README.md`\\n> * `docs/topics/core-ir/test-plan.md`\\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=63)! 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\",\"path\":null,\"side\":null,\"line\":null}{\"type\":\"pull_request_comment\",\"body\":\"**_{_{![P2 Badge](https://img.shields.io/badge/P2-yellow?style=flat)}} Reject chained effect calls**\\n\\nFor a RHS such as `target.replace(input.id)(input.id)`, `effect_coordinate` still resolves the effect as `target.replace` by recursing through an `Expr::Call` callee, and this match then consumes only the outer call's arguments. That accepts an unsupported nested-call shape and lowers it as a different one-argument effect, silently discarding the inner call; please require the effect callee to be a plain dotted path before lowering.\\n\\nUseful? React with 👍 / 👎.\",\"path\":\"crates/edict-syntax/src/compiler.rs\",\"side\":\"RIGHT\",\"line\":924}{\"type\":\"pull_request_comment\",\"body\":\"**_{_{![P2 Badge](https://img.shields.io/badge/P2-yellow?style=flat)}} Emit an error for duplicate obstruction arms**\\n\\nWhen an obstruction map repeats a failure key, each arm can be valid but `BTreeMap::insert` overwrites the first arm, making `out.len() != arms.len()` return `None` without pushing any compiler error. If the bound effect result is not referenced later, the intent can still compile with the effect node omitted entirely, so malformed obstruction maps can silently drop a write effect; please report a stable type-check error for the duplicate instead of returning `None` silently.\\n\\nUseful? React with 👍 / 👎.\",\"path\":\"crates/edict-syntax/src/compiler.rs\",\"side\":\"RIGHT\",\"line\":972}{\"type\":\"pull_request_comment\",\"body\":\"**_{_{![P2 Badge](https://img.shields.io/badge/P2-yellow?style=flat)}} Stabilize obstruction binders by failure key**\\n\\nWhen the same obstruction-map arms are written in a different source order, this assigns `obstruction.N` before inserting into the keyed `BTreeMap`, so each failure can receive a different binder id even though the map entries are otherwise identical. Those binder ids are part of the canonical Core preimage, so semantically equivalent obstruction maps can hash differently; derive the binder identity from the sorted failure key or otherwise normalize before assigning ids.\\n\\nUseful? React with 👍 / 👎.\",\"path\":\"crates/edict-syntax/src/compiler.rs\",\"side\":\"RIGHT\",\"line\":965}{\"type\":\"pull_request_comment\",\"body\":\"**_{_{![P2 Badge](https://img.shields.io/badge/P2-yellow?style=flat)}} Reject typed effect calls**\\n\\nFor a RHS such as `target.replace(input.id)`, the parser preserves the call's type arguments, but this destructure ignores them and the resulting `CoreNode::Effect` has no place to encode them. That lets unsupported typed effect calls compile while silently lowering to the same Core as `target.replace(input.id)`, so please reject nonempty `type_args` in this first effectful subset instead of dropping them.\\n\\nUseful? React with 👍 / 👎.\",\"path\":\"crates/edict-syntax/src/compiler.rs\",\"side\":\"RIGHT\",\"line\":924}{\"type\":\"pull_request_comment\",\"body\":\"\\n### 💡 Codex Review\\n\\nHere are some automated review suggestions for this pull request.\\n\\n**Reviewed commit:** `be245bdc37`\\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",[],{"_464":948,"_445":446,"_466":452},{"_467":949,"_469":-5,"_45":-5,"_470":-5,"_471":-5,"_100":330,"_96":473},[950],{"_49":944,"_96":951},"input_text",{"_464":953,"_445":446,"_466":452},{"_467":954,"_469":-5,"_45":-5,"_470":-5,"_471":-5,"_100":330,"_96":473},[955,956],{"_49":958,"_96":951},{"_49":957,"_96":951},"\n /workspace/edict\n bash\n 2026-06-28\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",{"_464":960,"_445":446,"_466":452},{"_467":961,"_469":-5,"_45":-5,"_470":-5,"_471":-5,"_100":962,"_96":473},[963,964],"developer",{"_49":966,"_96":951},{"_49":965,"_96":951},"\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",{"_445":446,"_91":969},{"_107":-5,"_45":452,"_453":970,"_455":456,"_457":971},[],"inProgress",{"_457":973,"_445":446},{"_974":975,"_96":976},"activeFlags",[],"active","thread/started",{"_979":980},"thread",{"_981":-5,"_982":-5,"_983":984,"_985":456,"_497":498,"_986":18,"_987":-5,"_988":-5,"_989":-5,"_990":991,"_45":446,"_992":993,"_185":-5,"_994":-5,"_165":995,"_996":203,"_997":-5,"_502":998,"_457":999,"_1000":-5,"_81":1001,"_1002":456},"agentNickname","agentRole","cliVersion","0.128.0","createdAt","ephemeral","extra","forkedFromId","gitInfo","historyMode","legacy","modelProvider","openai","parentThreadId","/opt/codex/sessions/2026/06/28/rollout-2026-06-28T01-13-37-019f0bca-07a6-7312-9c00-209bb676aee3.jsonl","preview","recencyAt","vscode",{"_96":461},"threadSource",[],"updatedAt",[],"messages",[1006],{"_45":1007,"_1008":1009,"_1010":1011,"_1012":1011,"_467":1013,"_457":1014,"_469":-5,"_1015":35,"_1016":1017,"_1018":1019,"_1020":-5},"86d0febd-5306-4617-a9ca-214118bdf113","author",{"_100":330,"_185":-5,"_1016":1029},"create_time",1782609216.639345,"update_time",{"_1025":49,"_1026":1027},"finished_successfully","weight","metadata",{"_1021":1022},"recipient","all","channel","l1239dk1",{"_1023":1024},"inline_comments",[],"content_type","parts",[1028],"@codex self-audit found one blocker before merge:\n\n| ID | Severity | Source | File | Lines | Issue | Required mitigation |\n| --- | --- | --- | --- | --- | --- | --- |\n| SELF-001 | P1 | Self | `crates/edict-syntax/src/compiler.rs` | effectful obstruction-map lowering | Duplicate failure keys in a supported `let ... else { ... }` obstruction map can make `check_obstruction_handler` return `None` without pushing a compiler error; if the effect result is unused, the source can still compile while silently dropping the effect node. | Add a RED regression for duplicate obstruction failures in the supported effectful shape, then reject duplicates with a stable `CompilerErrorKind` before Core lowering. |\nAdd minimal effectful Core lowering\n\n## Summary\n\nAdds the first `v0.8.0-alpha.1` compiler-spine slice: one annotated effectful `let ... else` source shape lowers through file-backed authority facts into typed Core as a semantic effect node with deterministic obstruction mapping.\n\nRefs #62\n\n## Scope\n\n- Adds `CoreNode::Effect` and `CoreObstructionArm` to the public Core IR model.\n- Extends canonical Core encoding so effect-node semantics participate in canonical bytes.\n- Lowers the narrow supported source shape `let name: Type = effect(arg) else { failure(binder) => Obstruction };`.\n- Keeps unsupported effectful branch-yield rejected before Core lowering with stable `CompilerStage` and `CompilerErrorKind` values.\n- Updates compiler-spine and Core IR topic shelves plus roadmap/changelog signposts.\n\n## Non-goals\n\n- No target IR generation.\n- No public CLI.\n- No broad source-language lowering.\n- No bare effect-statement lowering.\n- No effectful branch-yield lowering.\n- No obstruction payload lowering.\n- No target/lawpack failure-fact exhaustiveness.\n- No admission workflow or lawpack governance implementation.\n\n## RED/GREEN Evidence\n\nRED:\n\n```text\ncargo test -p edict-syntax --test compiler_spine effectful_write_intent_lowers_to_typed_core_from_file_backed_facts\n```\n\nFailed because `CoreNode::Effect` did not exist.\n\nGREEN:\n\n```text\ncargo test -p edict-syntax --test compiler_spine effectful_write_intent_lowers_to_typed_core_from_file_backed_facts\ncargo test -p edict-syntax --test compiler_spine unsupported_effectful_branch_yield_rejects_before_core_lowering\ncargo test -p edict-syntax --test canonical_encoding canonical_core_bytes_change_when_effect_coordinate_changes\ncargo test -p edict-syntax --test compiler_spine\ncargo test -p edict-syntax --test canonical_encoding\ncargo xtask core-goldens --check\ncargo test -p xtask contract_graph_is_valid\ncargo fmt --all --check\ngit diff --check\nmarkdownlint-cli2 CHANGELOG.md ROADMAP.md docs/topics/compiler-spine/README.md docs/topics/compiler-spine/test-plan.md docs/topics/core-ir/README.md docs/topics/core-ir/test-plan.md\ncargo xtask verify\n```\n\n## Docs Impact\n\nTopic shelves updated for compiler-spine and Core IR current truth. Changelog and roadmap updated for the v0.8 signpost.\n\n\n\n> [!WARNING]\n> ## Review limit reached\n> \n> `@flyingrobots`, we couldn't start this review because you've reached your PR review rate limit.\n> \n> More reviews will be available in 37 minutes and 59 seconds. [Learn how PR review limits work](https://docs.coderabbit.ai/management/plans#fair-usage-limits-policy).\n> \n> Your organization has run out of usage credits. Purchase more credits in the [billing tab](https://app.coderabbit.ai/settings/billing?tab=usage&orgId=4252c417-78a1-49cd-a607-68d1e6bdacc4) to continue.\n> \n>

\n>

⌛ How to resolve this issue?

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

\n> \n> \n>

\n>

🚦 How do rate limits work?

\n> \n> CodeRabbit enforces per-developer PR review limits for each organization. Most developers receive the normal plan review availability.\n> \n> \tFor 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 see our [Fair Usage Limits Policy](https://docs.coderabbit.ai/management/plans#fair-usage-limits-policy) for further information.\n> \n>

\n> \n>

\n>

ℹ️ Review info

\n> \n>

\n>

⚙️ Run configuration

\n> \n> **Configuration used**: Organization UI\n> \n> **Review profile**: ASSERTIVE\n> \n> **Plan**: Pro\n> \n> **Run ID**: `782247e0-2a4b-4c1e-9b80-0f715e80ae92`\n> \n>

\n> \n>

\n>

📥 Commits

\n> \n> Reviewing files that changed from the base of the PR and between 83205ca2d335444249a8b54e6c9287363fcc80a5 and be245bdc378be9cc4481094b653fcc8e5e301a77.\n> \n>

\n> \n>

\n>

📒 Files selected for processing (12)

\n> \n> * `CHANGELOG.md`\n> * `ROADMAP.md`\n> * `crates/edict-syntax/src/canonical.rs`\n> * `crates/edict-syntax/src/compiler.rs`\n> * `crates/edict-syntax/src/core_ir.rs`\n> * `crates/edict-syntax/src/lib.rs`\n> * `crates/edict-syntax/tests/canonical_encoding.rs`\n> * `crates/edict-syntax/tests/compiler_spine.rs`\n> * `docs/topics/compiler-spine/README.md`\n> * `docs/topics/compiler-spine/test-plan.md`\n> * `docs/topics/core-ir/README.md`\n> * `docs/topics/core-ir/test-plan.md`\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=63)! 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\n**_{_{![P2 Badge](https://img.shields.io/badge/P2-yellow?style=flat)}} Reject chained effect calls**\n\nFor a RHS such as `target.replace(input.id)(input.id)`, `effect_coordinate` still resolves the effect as `target.replace` by recursing through an `Expr::Call` callee, and this match then consumes only the outer call's arguments. That accepts an unsupported nested-call shape and lowers it as a different one-argument effect, silently discarding the inner call; please require the effect callee to be a plain dotted path before lowering.\n\nUseful? React with 👍 / 👎.\n**_{_{![P2 Badge](https://img.shields.io/badge/P2-yellow?style=flat)}} Emit an error for duplicate obstruction arms**\n\nWhen an obstruction map repeats a failure key, each arm can be valid but `BTreeMap::insert` overwrites the first arm, making `out.len() != arms.len()` return `None` without pushing any compiler error. If the bound effect result is not referenced later, the intent can still compile with the effect node omitted entirely, so malformed obstruction maps can silently drop a write effect; please report a stable type-check error for the duplicate instead of returning `None` silently.\n\nUseful? React with 👍 / 👎.\n**_{_{![P2 Badge](https://img.shields.io/badge/P2-yellow?style=flat)}} Stabilize obstruction binders by failure key**\n\nWhen the same obstruction-map arms are written in a different source order, this assigns `obstruction.N` before inserting into the keyed `BTreeMap`, so each failure can receive a different binder id even though the map entries are otherwise identical. Those binder ids are part of the canonical Core preimage, so semantically equivalent obstruction maps can hash differently; derive the binder identity from the sorted failure key or otherwise normalize before assigning ids.\n\nUseful? React with 👍 / 👎.\n**_{_{![P2 Badge](https://img.shields.io/badge/P2-yellow?style=flat)}} Reject typed effect calls**\n\nFor a RHS such as `target.replace(input.id)`, the parser preserves the call's type arguments, but this destructure ignores them and the resulting `CoreNode::Effect` has no place to encode them. That lets unsupported typed effect calls compile while silently lowering to the same Core as `target.replace(input.id)`, so please reject nonempty `type_args` in this first effectful subset instead of dropping them.\n\nUseful? React with 👍 / 👎.\n\n### 💡 Codex Review\n\nHere are some automated review suggestions for this pull request.\n\n**Reviewed commit:** `be245bdc37`\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",1782609408.2539062,"Completing the task","event_type","info",{"_96":473,"_100":97,"_467":2374},{"_96":1061,"_1062":1063},{"_96":1038,"_1039":549,"_1040":1041,"_1042":1043,"_1044":-5},"pr","pr_title","pr_message","### Motivation\n\n- Prevent silently dropped effect nodes when an obstruction map repeats the same failure key, which could let an effectful `let ... else` lower without emitting the semantic effect node.\n\n### Description\n\n- Add a new stable error kind `CompilerErrorKind::DuplicateObstructionFailure` to classify repeated obstruction keys. \n- Detect duplicate failure keys in `check_obstruction_handler`, emit `DuplicateObstructionFailure` diagnostics during `TypeCheck`, and reject the handler deterministically instead of returning `None` silently. \n- Add a regression test `duplicate_effectful_obstruction_failure_rejects_before_core_lowering` and the `EFFECTFUL_DUPLICATE_OBSTRUCTION_FAILURE` fixture to cover the supported effectful `let ... else` shape. \n- Update the compiler-spine `test-plan.md` to record the new requirement and evidence row; `Closes #62`.\n\n### Testing\n\n- Ran `cargo test -p edict-syntax --test compiler_spine duplicate_effectful_obstruction_failure_rejects_before_core_lowering`, which passed. \n- Ran `cargo test -p edict-syntax --test compiler_spine effectful_write_intent_lowers_to_typed_core_from_file_backed_facts`, which passed. \n- Ran the project verification `cargo xtask verify` (includes `cargo fmt --all --check`, workspace tests, clippy, core-goldens, and topic-shelf contract checks), which completed successfully.","output_diff",{"_96":1042,"_1045":498,"_132":133,"_1046":-5,"_329":1047,"_1048":1049,"_1050":1051,"_1052":1053,"_1054":794,"_1055":549,"_1056":1057},"pre_apply_patch","repo_id","preapply_patch_base_commit_sha","diff --git a/crates/edict-syntax/src/compiler.rs b/crates/edict-syntax/src/compiler.rs\nindex e8d6c0b07307e5cfefd046e31ea422cb28654f84..2be391b2685c1254a616ac74d56a1e03946a5838 100644\n--- a/crates/edict-syntax/src/compiler.rs\n+++ b/crates/edict-syntax/src/compiler.rs\n@@ -17,50 +17,51 @@ use crate::core_ir::{\n };\n use crate::lowerability::WriteClass;\n use crate::semantic::validate_surface;\n use crate::token::Span;\n \n /// Compiler stage that reported an error.\n #[derive(Debug, Clone, Copy, PartialEq, Eq)]\n pub enum CompilerStage {\n SurfaceValidation,\n Resolve,\n TypeCheck,\n LowerCore,\n }\n \n /// Stable compiler-spine error categories.\n #[derive(Debug, Clone, Copy, PartialEq, Eq)]\n pub enum CompilerErrorKind {\n SurfaceValidation,\n MissingContextFact,\n UnsupportedSourceShape,\n UnresolvedType,\n UnknownField,\n TypeMismatch,\n ExpectedPredicate,\n ProfileEffectMismatch,\n+ DuplicateObstructionFailure,\n }\n \n /// A compiler-spine failure with stable stage/kind identity.\n #[derive(Debug, Clone, PartialEq, Eq)]\n pub struct CompilerError {\n pub stage: CompilerStage,\n pub kind: CompilerErrorKind,\n pub message: String,\n pub span: Span,\n }\n \n /// Deterministic facts supplied to the compiler spine by the caller.\n ///\n /// The resolver does not invent target/lawpack facts. Source profile and budget\n /// coordinates must be bound here before they can lower into Core.\n #[derive(Debug, Clone, Default, PartialEq, Eq)]\n pub struct CompilerContext {\n operation_profiles: BTreeMap,\n operation_profile_write_classes: BTreeMap>,\n effect_write_classes: BTreeMap,\n budgets: BTreeMap,\n }\n \n impl CompilerContext {\n #[must_use]\n@@ -933,62 +934,74 @@ impl<'a> TypeChecker<'a> {\n span,\n ));\n return None;\n };\n let input = self.check_expr(arg, env)?;\n Some((effect, input.expr))\n }\n \n fn check_obstruction_handler(\n &mut self,\n handler: &ObstructionHandler,\n effect: &str,\n obstruction_index: &mut usize,\n locals: &mut Vec,\n span: Span,\n ) -> Option> {\n let ObstructionHandler::Map(arms) = handler else {\n self.errors.push(error(\n CompilerStage::TypeCheck,\n CompilerErrorKind::UnsupportedSourceShape,\n \"effectful `let ... else` supports obstruction maps only\",\n span,\n ));\n return None;\n };\n+ let mut accepted = true;\n let mut out = BTreeMap::new();\n for arm in arms {\n+ if out.contains_key(&arm.failure) {\n+ accepted = false;\n+ self.errors.push(error(\n+ CompilerStage::TypeCheck,\n+ CompilerErrorKind::DuplicateObstructionFailure,\n+ format!(\"effect obstruction map repeats failure `{}`\", arm.failure),\n+ arm.span,\n+ ));\n+ continue;\n+ }\n let Some((failure, obstruction_arm)) =\n self.check_obstruction_arm(effect, arm, *obstruction_index)\n else {\n+ accepted = false;\n continue;\n };\n *obstruction_index += 1;\n locals.push(obstruction_arm.binder.clone());\n out.insert(failure, obstruction_arm);\n }\n- if out.len() == arms.len() {\n+ if accepted {\n Some(out)\n } else {\n None\n }\n }\n \n fn check_obstruction_arm(\n &mut self,\n effect: &str,\n arm: &ObstructionArm,\n obstruction_index: usize,\n ) -> Option<(String, CoreObstructionArm)> {\n if arm.binder.is_none() {\n self.errors.push(error(\n CompilerStage::TypeCheck,\n CompilerErrorKind::UnsupportedSourceShape,\n \"effect obstruction map arms require binders in the first lowerable subset\",\n arm.span,\n ));\n return None;\n }\n let binder = LocalRef {\n id: format!(\"obstruction.{obstruction_index}\"),\n alpha_name: format!(\"$obstruction{obstruction_index}\"),\n ty: format!(\"{effect}.{}\", arm.failure),\ndiff --git a/crates/edict-syntax/tests/compiler_spine.rs b/crates/edict-syntax/tests/compiler_spine.rs\nindex e8a3418589b506648a12149ec0e3f0f0f7fb767d..932371a04e0b8aa3450e41f6218caa6ca87d0913 100644\n--- a/crates/edict-syntax/tests/compiler_spine.rs\n+++ b/crates/edict-syntax/tests/compiler_spine.rs\n@@ -3,50 +3,63 @@\n //! These tests assert public stage boundaries and structured values. They do\n //! not inspect stdout, stderr, diagnostic prose, canonical bytes, or hashes.\n \n use std::fs;\n use std::path::{Path, PathBuf};\n \n use edict_syntax::{\n compile_to_core, load_compiler_context_from_authority_fact_files, lower_core, parse_module,\n resolve_module, type_check, CompilerContext, CompilerErrorKind, CompilerStage, CoreBudget,\n CoreExpr, CoreNode, CorePredicate, CoreType, WriteClass,\n };\n \n const BOUNDED_HELLO: &str = include_str!(\"../../../fixtures/lang/bounds/bounded-hello.edict\");\n const EFFECTFUL_REPLACE: &str = \"package a.b@1;\\n\\\n type Input = { id: String, };\\n\\\n type Receipt = { id: String, };\\n\\\n type Output = { id: String, };\\n\\\n intent t(input: Input) returns Output\\n\\\n profile p.effectful\\n\\\n basis none\\n\\\n budget <= p.tiny {\\n\\\n let receipt: Receipt = target.replace(input.id)\\n\\\n else { rejected(reason) => domain.WriteRejected };\\n\\\n return { id: input.id };\\n\\\n }\";\n+\n+const EFFECTFUL_DUPLICATE_OBSTRUCTION_FAILURE: &str = \"package a.b@1;\\n\\\n+ type Input = { id: String, };\\n\\\n+ type Receipt = { id: String, };\\n\\\n+ type Output = { id: String, };\\n\\\n+ intent t(input: Input) returns Output\\n\\\n+ profile p.effectful\\n\\\n+ basis none\\n\\\n+ budget <= p.tiny {\\n\\\n+ let receipt: Receipt = target.replace(input.id)\\n\\\n+ else { rejected(first) => domain.WriteRejected, rejected(second) => domain.WriteRejected };\\n\\\n+ return { id: input.id };\\n\\\n+ }\";\n const EFFECTFUL_BRANCH_YIELD: &str = \"package a.b@1;\\n\\\n type Input = { id: String, };\\n\\\n type Output = { id: String, };\\n\\\n intent t(input: Input) returns Output\\n\\\n profile p.effectful\\n\\\n basis none\\n\\\n budget <= p.tiny {\\n\\\n let id = if true {\\n\\\n target.replace(input.id) else { rejected(reason) => domain.WriteRejected };\\n\\\n yield input.id;\\n\\\n } else {\\n\\\n yield input.id;\\n\\\n };\\n\\\n return { id };\\n\\\n }\";\n \n fn hello_context() -> CompilerContext {\n CompilerContext::new()\n .with_operation_profile(\"hello.readOnly\", \"continuum.profile.read-only/v1\")\n .with_budget(\n \"hello.tinyBudget\",\n CoreBudget {\n max_steps: 64,\n max_allocated_bytes: 4096,\n max_output_bytes: 1024,\n@@ -371,50 +384,76 @@ fn effectful_write_intent_lowers_to_typed_core_from_file_backed_facts() {\n };\n \n assert_eq!(binding.id, \"local.0\");\n assert_eq!(binding.alpha_name, \"$local0\");\n assert_eq!(binding.ty, \"a.b@1.Receipt\");\n assert_eq!(effect, \"target.replace\");\n \n let CoreExpr::Field { base, field } = input else {\n panic!(\"effect input preserves the source argument expression\");\n };\n assert_eq!(field, \"id\");\n assert!(matches!(base.as_ref(), CoreExpr::Local { reference } if reference.id == \"arg.0\"));\n \n let arm = obstruction_map\n .get(\"rejected\")\n .expect(\"failure arm is keyed by low-level failure coordinate\");\n assert_eq!(arm.binder.id, \"obstruction.0\");\n assert_eq!(arm.binder.alpha_name, \"$obstruction0\");\n assert_eq!(arm.binder.ty, \"target.replace.rejected\");\n assert!(matches!(\n &arm.value,\n CoreExpr::Call { callee, args, .. } if callee == \"domain.WriteRejected\" && args.is_empty()\n ));\n }\n \n+#[test]\n+fn duplicate_effectful_obstruction_failure_rejects_before_core_lowering() {\n+ let dir = temp_case_dir(\"effectful-duplicate-obstruction\");\n+ let target = write_json(\n+ &dir,\n+ \"target-profile-facts.json\",\n+ effectful_target_profile_facts(),\n+ );\n+ let lawpack = write_json(&dir, \"lawpack-facts.json\", effectful_lawpack_facts());\n+ let context =\n+ load_compiler_context_from_authority_fact_files([target.as_path(), lawpack.as_path()])\n+ .expect(\"authority facts load\");\n+ let module = parse_module(EFFECTFUL_DUPLICATE_OBSTRUCTION_FAILURE)\n+ .expect(\"duplicate obstruction source parses\");\n+\n+ let errors =\n+ compile_to_core(&module, &context).expect_err(\"duplicate obstruction failure rejects\");\n+\n+ assert!(errors\n+ .iter()\n+ .all(|err| err.stage == CompilerStage::TypeCheck));\n+ assert!(errors\n+ .iter()\n+ .any(|err| err.kind == CompilerErrorKind::DuplicateObstructionFailure));\n+}\n+\n #[test]\n fn unsupported_effectful_branch_yield_rejects_before_core_lowering() {\n let dir = temp_case_dir(\"effectful-branch-yield\");\n let target = write_json(\n &dir,\n \"target-profile-facts.json\",\n effectful_target_profile_facts(),\n );\n let lawpack = write_json(&dir, \"lawpack-facts.json\", effectful_lawpack_facts());\n let context =\n load_compiler_context_from_authority_fact_files([target.as_path(), lawpack.as_path()])\n .expect(\"authority facts load\");\n let module = parse_module(EFFECTFUL_BRANCH_YIELD).expect(\"unsupported effectful source parses\");\n \n let errors =\n compile_to_core(&module, &context).expect_err(\"unsupported effectful shape rejects\");\n \n assert!(errors\n .iter()\n .all(|err| err.stage == CompilerStage::TypeCheck));\n assert!(errors\n .iter()\n .any(|err| err.kind == CompilerErrorKind::UnsupportedSourceShape));\n assert!(!errors\n .iter()\ndiff --git a/docs/topics/compiler-spine/test-plan.md b/docs/topics/compiler-spine/test-plan.md\nindex 6afa0aba510a30e47eb68f5d417c963b453374cb..bff0db145c021bcc3af3c113553e9b97c2a37c44 100644\n--- a/docs/topics/compiler-spine/test-plan.md\n+++ b/docs/topics/compiler-spine/test-plan.md\n@@ -17,65 +17,67 @@ In scope:\n \n Out of scope:\n \n - canonical Core bytes embedded in lowerer output;\n - Core digest computation owned by the Core IR shelf;\n - target-profile lowering;\n - admission bundles;\n - full source language coverage.\n \n ## Requirements\n \n | ID | Status | Requirement | Source |\n | --- | --- | --- | --- |\n | CSPINE-REQ-001 | implemented | `resolve_module` resolves module/import coordinates and explicit context facts without collapsing into type checking or lowering. | issue #20 |\n | CSPINE-REQ-002 | implemented | `type_check` produces a typed module boundary distinct from source AST and rejects unresolved or incompatible types. | issue #20 |\n | CSPINE-REQ-003 | implemented | `lower_core` lowers the typed initial subset into structured in-memory Core IR. | issue #20, docs/abi/edict-core.cddl |\n | CSPINE-REQ-004 | implemented | `compile_to_core` executes `validate_surface -> resolve_module -> type_check -> lower_core` in order. | issue #20 |\n | CSPINE-REQ-005 | implemented | Profile and budget source coordinates require explicit deterministic context facts; missing facts reject instead of producing placeholder Core. | issue #20 |\n | CSPINE-REQ-006 | implemented | The first lowerable subset covers `bounded-hello` style pure local-record intents and rejects out-of-subset constructs structurally. | fixtures/lang/bounds/bounded-hello.edict, issue #20 |\n | CSPINE-REQ-007 | implemented | Compiler-spine errors expose stable stage and kind identities. | crates/edict-syntax/src/compiler.rs |\n | CSPINE-REQ-008 | implemented | The compiler-spine lowerer embeds no canonical bytes, exact digest, target lowering, or admission artifacts in Core modules. | ROADMAP.md |\n | CSPINE-REQ-009 | implemented | The compiler spine rejects source effect bodies whose effect write class is not allowed by the resolved operation profile. | issue #54 |\n | CSPINE-REQ-010 | implemented | The first compiler context fact set can be loaded from explicit authority-facts files instead of caller-built in-memory context. | ROADMAP.md, docs/topics/authority-facts/test-plan.md |\n | CSPINE-REQ-011 | implemented | The compiler spine lowers one annotated effectful `let ... else` shape into typed Core using file-backed profile, budget, and effect write-class facts. | issue #62 |\n | CSPINE-REQ-012 | implemented | Effectful source shapes outside the first supported subset reject with stable compiler stage and kind identities before Core lowering. | issue #62 |\n+| CSPINE-REQ-013 | implemented | Duplicate failure keys in an effect obstruction map reject with a stable compiler kind before Core lowering. | issue #62 |\n \n ## Fixtures\n \n | Fixture | Purpose | Oracle |\n | --- | --- | --- |\n | fixtures/lang/bounds/bounded-hello.edict | Initial pure local-record source-to-Core fixture. | `compile_to_core` returns a structured `CoreModule` with expected records, profile, budget, predicate, nodes, and result. |\n \n ## Test Cases\n \n | ID | Status | Category | Requirement | Oracle | Evidence | Fixtures | Notes |\n | --- | --- | --- | --- | --- | --- | --- | --- |\n | CSPINE-TP-001 | implemented | Golden path | CSPINE-REQ-001, CSPINE-REQ-002, CSPINE-REQ-003, CSPINE-REQ-004, CSPINE-REQ-006 | `bounded-hello` compiles through all stages to a `CoreModule` with expected structured fields. | bounded_hello_compiles_to_initial_core | fixtures/lang/bounds/bounded-hello.edict | In-memory Core only; no bytes or digests. |\n | CSPINE-TP-002 | implemented | Stage boundary | CSPINE-REQ-001, CSPINE-REQ-002, CSPINE-REQ-003 | Explicit `resolve_module`, `type_check`, and `lower_core` calls expose distinct stage outputs. | compiler_spine_exposes_distinct_stage_boundaries | fixtures/lang/bounds/bounded-hello.edict | Prevents a hidden monolithic semantic pass. |\n | CSPINE-TP-003 | implemented | Error handling | CSPINE-REQ-005, CSPINE-REQ-007 | Missing profile or budget facts return `CompilerStage::Resolve` plus `MissingContextFact`. | missing_context_facts_reject_in_resolve_stage | fixtures/lang/bounds/bounded-hello.edict | No placeholder Core budgets. |\n | CSPINE-TP-004 | implemented | Error handling | CSPINE-REQ-002, CSPINE-REQ-007 | Unknown local named types return `CompilerStage::TypeCheck` plus `UnresolvedType`. | unresolved_local_types_reject_in_type_check_stage, unresolved_record_field_types_reject_in_type_check_stage | - | Surface validation still accepts the source. |\n | CSPINE-TP-005 | implemented | Error handling | CSPINE-REQ-002, CSPINE-REQ-007 | Returning a record with the wrong field shape, or failing to return, returns `CompilerStage::TypeCheck` plus `TypeMismatch`. | record_return_shape_mismatch_rejects_in_type_check_stage, missing_return_rejects_in_type_check_stage | - | Asserts type identity, not diagnostic prose. |\n | CSPINE-TP-006 | implemented | Boundary guard | CSPINE-REQ-008 | The lowered Core module carries no canonical bytes, digest, target IR, or admission fields. | initial_core_lowering_makes_no_canonical_or_target_claim | fixtures/lang/bounds/bounded-hello.edict | Keeps #21/#22 boundaries honest. |\n | CSPINE-TP-007 | implemented | Boundary guard | CSPINE-REQ-007, CSPINE-REQ-009 | A write-class effect body under a read-only operation profile rejects in `CompilerStage::TypeCheck` with `ProfileEffectMismatch`. | read_only_profile_rejects_write_effect_body | - | Uses caller-built in-memory context facts. |\n | CSPINE-TP-008 | implemented | Boundary guard | CSPINE-REQ-007, CSPINE-REQ-009 | A write-class effect in a `let` initializer without an obstruction handler rejects in `CompilerStage::TypeCheck` with `ProfileEffectMismatch`. | read_only_profile_rejects_write_effect_let_without_else | - | The compatibility check is independent of source obstruction syntax. |\n | CSPINE-TP-009 | implemented | Golden path | CSPINE-REQ-005, CSPINE-REQ-009, CSPINE-REQ-010 | File-backed authority facts produce a compiler context that compiles `bounded-hello` and rejects a read-only profile/write-effect mismatch. | file_backed_authority_facts_compile_bounded_hello, file_backed_authority_facts_reject_write_effect_profile_mismatch | crates/edict-syntax/tests/authority_facts.rs | Proves file-loaded facts enter the same compiler path as in-memory facts. |\n | CSPINE-TP-010 | implemented | Golden path | CSPINE-REQ-003, CSPINE-REQ-004, CSPINE-REQ-010, CSPINE-REQ-011 | A minimal annotated effectful `let ... else` source shape compiles through typed Core with a semantic effect node and deterministic obstruction mapping. | effectful_write_intent_lowers_to_typed_core_from_file_backed_facts | - | Uses explicit authority-facts files for profile, budget, and effect write-class facts. |\n | CSPINE-TP-011 | implemented | Boundary guard | CSPINE-REQ-007, CSPINE-REQ-012 | An unsupported effectful branch-yield source shape rejects in `CompilerStage::TypeCheck` with `UnsupportedSourceShape` before Core lowering. | unsupported_effectful_branch_yield_rejects_before_core_lowering | - | Keeps v0.8 to one lowerable effectful shape. |\n+| CSPINE-TP-012 | implemented | Error handling | CSPINE-REQ-007, CSPINE-REQ-013 | Repeating a failure key in the supported effectful obstruction-map shape rejects in `CompilerStage::TypeCheck` with `DuplicateObstructionFailure`. | duplicate_effectful_obstruction_failure_rejects_before_core_lowering | - | Prevents malformed obstruction maps from silently dropping effect nodes before Core lowering. |\n \n ## Determinism Obligations\n \n - Tests inspect structured Rust values only.\n - Compiler context facts are in-memory constants, not environment reads.\n - Maps use deterministic key ordering.\n - No test reads stdout, stderr, logs, wall-clock time, random values, or\n filesystem ordering.\n - Canonical encoder behavior, reviewed golden bytes, and digest determinism are\n verified in the Core IR shelf.\n \n ## Open Gaps\n \n - Full target/lawpack/shape artifact loading beyond authority-facts documents\n belongs to later lowerability and lawpack work.\n - Effectful branch-yield, bare effect statements, loops, matches, variants, and\n obstruction payloads are present in the source AST and Core schema but outside\n the first effectful lowerable subset.\n","external_storage_diff",{"_1058":1059,"_1060":-5},"files_modified",3,"lines_added",55,"lines_removed","commit_message","additional_parent_commit_shas",[],"file_id","file_0000000048d071f78ae092cd11218a2a","ttl","partial_repo_snapshot","files",[1064,1065,1066],{"_165":1412,"_1068":-5,"_1069":1413,"_1071":-5},{"_165":1145,"_1068":-5,"_1069":1146,"_1071":-5},{"_165":1067,"_1068":-5,"_1069":1070,"_1071":-5},"docs/topics/compiler-spine/test-plan.md","contents","line_range_contents",[1072],"missing_reason",{"_1073":794,"_1074":1075,"_467":1076,"_1077":62},"line_range_start","line_range_end",83,[1078,203,1079,203,1080,203,1081,203,1082,1083,1084,1085,1086,1087,1088,1089,203,1090,203,1091,1092,1093,1094,1095,203,1096,203,1097,1098,1099,1100,1101,1102,1103,1104,1105,1106,1107,1108,1109,1110,1111,203,1112,203,1113,1114,1115,203,1116,203,1117,1118,1119,1120,1121,1122,1123,1124,1125,1126,1127,1128,1129,1130,203,1131,203,1132,1133,1134,1135,1136,1137,1138,203,1139,203,1140,1141,1142,1143,1144],"contains_end_of_file","# Compiler Spine Test Plan","Status: current verification design for the executable source-to-Core spine.","## Scope","In scope:","- explicit stage APIs: resolve, type-check, lower to in-memory Core;","- deterministic compiler context facts for profile and budget resolution;","- deterministic compiler context facts for profile write permissions and effect"," write classes;","- file-backed authority facts for the first compiler context fact set;","- typed representation boundary distinct from source AST;","- source-to-Core lowering for the initial pure local-record subset;","- structured compiler error identity.","Out of scope:","- canonical Core bytes embedded in lowerer output;","- Core digest computation owned by the Core IR shelf;","- target-profile lowering;","- admission bundles;","- full source language coverage.","## Requirements","| ID | Status | Requirement | Source |","| --- | --- | --- | --- |","| CSPINE-REQ-001 | implemented | `resolve_module` resolves module/import coordinates and explicit context facts without collapsing into type checking or lowering. | issue #20 |","| CSPINE-REQ-002 | implemented | `type_check` produces a typed module boundary distinct from source AST and rejects unresolved or incompatible types. | issue #20 |","| CSPINE-REQ-003 | implemented | `lower_core` lowers the typed initial subset into structured in-memory Core IR. | issue #20, docs/abi/edict-core.cddl |","| CSPINE-REQ-004 | implemented | `compile_to_core` executes `validate_surface -> resolve_module -> type_check -> lower_core` in order. | issue #20 |","| CSPINE-REQ-005 | implemented | Profile and budget source coordinates require explicit deterministic context facts; missing facts reject instead of producing placeholder Core. | issue #20 |","| CSPINE-REQ-006 | implemented | The first lowerable subset covers `bounded-hello` style pure local-record intents and rejects out-of-subset constructs structurally. | fixtures/lang/bounds/bounded-hello.edict, issue #20 |","| CSPINE-REQ-007 | implemented | Compiler-spine errors expose stable stage and kind identities. | crates/edict-syntax/src/compiler.rs |","| CSPINE-REQ-008 | implemented | The compiler-spine lowerer embeds no canonical bytes, exact digest, target lowering, or admission artifacts in Core modules. | ROADMAP.md |","| CSPINE-REQ-009 | implemented | The compiler spine rejects source effect bodies whose effect write class is not allowed by the resolved operation profile. | issue #54 |","| CSPINE-REQ-010 | implemented | The first compiler context fact set can be loaded from explicit authority-facts files instead of caller-built in-memory context. | ROADMAP.md, docs/topics/authority-facts/test-plan.md |","| CSPINE-REQ-011 | implemented | The compiler spine lowers one annotated effectful `let ... else` shape into typed Core using file-backed profile, budget, and effect write-class facts. | issue #62 |","| CSPINE-REQ-012 | implemented | Effectful source shapes outside the first supported subset reject with stable compiler stage and kind identities before Core lowering. | issue #62 |","| CSPINE-REQ-013 | implemented | Duplicate failure keys in an effect obstruction map reject with a stable compiler kind before Core lowering. | issue #62 |","## Fixtures","| Fixture | Purpose | Oracle |","| --- | --- | --- |","| fixtures/lang/bounds/bounded-hello.edict | Initial pure local-record source-to-Core fixture. | `compile_to_core` returns a structured `CoreModule` with expected records, profile, budget, predicate, nodes, and result. |","## Test Cases","| ID | Status | Category | Requirement | Oracle | Evidence | Fixtures | Notes |","| --- | --- | --- | --- | --- | --- | --- | --- |","| CSPINE-TP-001 | implemented | Golden path | CSPINE-REQ-001, CSPINE-REQ-002, CSPINE-REQ-003, CSPINE-REQ-004, CSPINE-REQ-006 | `bounded-hello` compiles through all stages to a `CoreModule` with expected structured fields. | bounded_hello_compiles_to_initial_core | fixtures/lang/bounds/bounded-hello.edict | In-memory Core only; no bytes or digests. |","| CSPINE-TP-002 | implemented | Stage boundary | CSPINE-REQ-001, CSPINE-REQ-002, CSPINE-REQ-003 | Explicit `resolve_module`, `type_check`, and `lower_core` calls expose distinct stage outputs. | compiler_spine_exposes_distinct_stage_boundaries | fixtures/lang/bounds/bounded-hello.edict | Prevents a hidden monolithic semantic pass. |","| CSPINE-TP-003 | implemented | Error handling | CSPINE-REQ-005, CSPINE-REQ-007 | Missing profile or budget facts return `CompilerStage::Resolve` plus `MissingContextFact`. | missing_context_facts_reject_in_resolve_stage | fixtures/lang/bounds/bounded-hello.edict | No placeholder Core budgets. |","| CSPINE-TP-004 | implemented | Error handling | CSPINE-REQ-002, CSPINE-REQ-007 | Unknown local named types return `CompilerStage::TypeCheck` plus `UnresolvedType`. | unresolved_local_types_reject_in_type_check_stage, unresolved_record_field_types_reject_in_type_check_stage | - | Surface validation still accepts the source. |","| CSPINE-TP-005 | implemented | Error handling | CSPINE-REQ-002, CSPINE-REQ-007 | Returning a record with the wrong field shape, or failing to return, returns `CompilerStage::TypeCheck` plus `TypeMismatch`. | record_return_shape_mismatch_rejects_in_type_check_stage, missing_return_rejects_in_type_check_stage | - | Asserts type identity, not diagnostic prose. |","| CSPINE-TP-006 | implemented | Boundary guard | CSPINE-REQ-008 | The lowered Core module carries no canonical bytes, digest, target IR, or admission fields. | initial_core_lowering_makes_no_canonical_or_target_claim | fixtures/lang/bounds/bounded-hello.edict | Keeps #21/#22 boundaries honest. |","| CSPINE-TP-007 | implemented | Boundary guard | CSPINE-REQ-007, CSPINE-REQ-009 | A write-class effect body under a read-only operation profile rejects in `CompilerStage::TypeCheck` with `ProfileEffectMismatch`. | read_only_profile_rejects_write_effect_body | - | Uses caller-built in-memory context facts. |","| CSPINE-TP-008 | implemented | Boundary guard | CSPINE-REQ-007, CSPINE-REQ-009 | A write-class effect in a `let` initializer without an obstruction handler rejects in `CompilerStage::TypeCheck` with `ProfileEffectMismatch`. | read_only_profile_rejects_write_effect_let_without_else | - | The compatibility check is independent of source obstruction syntax. |","| CSPINE-TP-009 | implemented | Golden path | CSPINE-REQ-005, CSPINE-REQ-009, CSPINE-REQ-010 | File-backed authority facts produce a compiler context that compiles `bounded-hello` and rejects a read-only profile/write-effect mismatch. | file_backed_authority_facts_compile_bounded_hello, file_backed_authority_facts_reject_write_effect_profile_mismatch | crates/edict-syntax/tests/authority_facts.rs | Proves file-loaded facts enter the same compiler path as in-memory facts. |","| CSPINE-TP-010 | implemented | Golden path | CSPINE-REQ-003, CSPINE-REQ-004, CSPINE-REQ-010, CSPINE-REQ-011 | A minimal annotated effectful `let ... else` source shape compiles through typed Core with a semantic effect node and deterministic obstruction mapping. | effectful_write_intent_lowers_to_typed_core_from_file_backed_facts | - | Uses explicit authority-facts files for profile, budget, and effect write-class facts. |","| CSPINE-TP-011 | implemented | Boundary guard | CSPINE-REQ-007, CSPINE-REQ-012 | An unsupported effectful branch-yield source shape rejects in `CompilerStage::TypeCheck` with `UnsupportedSourceShape` before Core lowering. | unsupported_effectful_branch_yield_rejects_before_core_lowering | - | Keeps v0.8 to one lowerable effectful shape. |","| CSPINE-TP-012 | implemented | Error handling | CSPINE-REQ-007, CSPINE-REQ-013 | Repeating a failure key in the supported effectful obstruction-map shape rejects in `CompilerStage::TypeCheck` with `DuplicateObstructionFailure`. | duplicate_effectful_obstruction_failure_rejects_before_core_lowering | - | Prevents malformed obstruction maps from silently dropping effect nodes before Core lowering. |","## Determinism Obligations","- Tests inspect structured Rust values only.","- Compiler context facts are in-memory constants, not environment reads.","- Maps use deterministic key ordering.","- No test reads stdout, stderr, logs, wall-clock time, random values, or"," filesystem ordering.","- Canonical encoder behavior, reviewed golden bytes, and digest determinism are"," verified in the Core IR shelf.","## Open Gaps","- Full target/lawpack/shape artifact loading beyond authority-facts documents"," belongs to later lowerability and lawpack work.","- Effectful branch-yield, bare effect statements, loops, matches, variants, and"," obstruction payloads are present in the source AST and Core schema but outside"," the first effectful lowerable subset.","crates/edict-syntax/tests/compiler_spine.rs",[1147],{"_1073":794,"_1074":1148,"_467":1149,"_1077":62},538,[1150,1151,1152,1153,203,1154,1155,203,1156,1157,1158,1159,1160,203,1161,1162,1163,1164,1165,1166,1167,1168,1169,1170,1171,1172,1173,203,1174,1163,1164,1165,1166,1167,1168,1169,1170,1175,1172,1173,1176,1163,1165,1166,1167,1168,1169,1177,1178,1179,1180,1179,1181,1182,1173,203,1183,1184,1185,1186,1187,1188,1189,1190,1191,1192,1193,1194,203,1195,1196,1197,1198,203,1199,1200,1201,1202,1203,1204,1205,1206,203,1207,1203,1208,1209,1210,1211,1212,1213,1214,1215,1206,203,1216,1217,1218,1219,1203,1220,1221,1222,1223,1215,1206,203,1224,1203,1225,1226,1206,1227,1228,203,1229,1230,1231,1232,1233,1234,1235,1236,1237,1238,1239,1240,1194,203,1195,1241,1197,1242,1243,1203,1244,1226,1206,203,1245,1203,1246,1247,1206,203,1248,1249,1194,203,1195,1250,1197,1251,1252,203,1253,1203,1254,1255,1256,1257,1258,1259,1259,1260,1206,1194,203,1195,1261,1262,1263,1264,1265,1266,1267,1268,1269,1270,1271,1272,1273,1186,1274,1188,1275,1276,1277,1192,1278,203,1279,1280,203,1281,1282,1283,1281,1282,1284,1194,203,1195,1285,1262,1263,1286,1287,1265,1266,1267,1268,1269,1270,1271,1272,1273,1186,1274,1188,1275,1276,1277,1192,1278,203,1279,1288,203,1281,1282,1283,1281,1282,1284,1194,203,1195,1289,1290,1291,1242,1292,203,1281,1282,1283,1281,1282,1293,1194,203,1195,1294,1295,1291,1242,1296,203,1281,1282,1283,1281,1282,1293,1194,203,1195,1297,1262,1263,1298,1299,1300,1301,1266,1267,1302,1303,1269,1270,1271,1272,1304,1305,1306,1186,1274,1188,1275,1276,1277,1192,1278,203,1307,1308,203,1281,1282,1283,1203,1254,1255,1256,1257,1309,1206,1194,203,1195,1310,1262,1263,1298,1299,1300,1301,1266,1267,1311,1303,1269,1270,1271,1272,1304,1305,1306,1186,1274,1188,1275,1276,1277,1192,1278,203,1307,1308,203,1281,1282,1283,1203,1254,1255,1256,1257,1309,1206,1194,203,1195,1312,1313,1314,1315,1316,1317,1206,1318,1319,1320,1321,1322,1323,1324,203,1203,1225,1325,1206,1238,203,1326,1327,1328,1208,1329,1330,1331,1332,1333,203,1334,1335,1336,1337,203,1338,1339,1333,1340,1341,203,1342,1343,1344,1345,1346,1347,1229,1348,1349,1232,1194,203,1195,1350,1351,1314,1315,1316,1317,1206,1318,1319,1320,1321,1352,1353,203,1251,1354,203,1281,1282,1283,1281,1282,1355,1194,203,1195,1356,1357,1314,1315,1316,1317,1206,1318,1319,1320,1321,1358,203,1251,1359,203,1281,1282,1283,1281,1282,1360,1361,1282,1362,1194,203,1195,1363,1197,1198,203,1364,1365,1366,1282,1367,1199,1194,203,1368,1369,1370,1371,1232,1372,1373,1374,1375,1376,1194,203,1377,1378,1379,1380,1194,203,1381,1382,1383,1384,1385,1386,1387,1388,1389,1390,1391,1392,1393,1215,1394,1395,1396,1397,1194,203,1398,1382,1383,1384,1399,1400,1401,1388,1402,1403,1390,1404,1405,1215,1394,1406,1390,1407,1408,1409,1410,1215,1411,1397,1194],"//! Compiler-spine tests for the first executable source-to-Core path.","//!","//! These tests assert public stage boundaries and structured values. They do","//! not inspect stdout, stderr, diagnostic prose, canonical bytes, or hashes.","use std::fs;","use std::path::{Path, PathBuf};","use edict_syntax::{"," compile_to_core, load_compiler_context_from_authority_fact_files, lower_core, parse_module,"," resolve_module, type_check, CompilerContext, CompilerErrorKind, CompilerStage, CoreBudget,"," CoreExpr, CoreNode, CorePredicate, CoreType, WriteClass,","};","const BOUNDED_HELLO: &str = include_str!(\"../../../fixtures/lang/bounds/bounded-hello.edict\");","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 EFFECTFUL_DUPLICATE_OBSTRUCTION_FAILURE: &str = \"package a.b@1;\\n\\"," else { rejected(first) => domain.WriteRejected, rejected(second) => domain.WriteRejected };\\n\\","const EFFECTFUL_BRANCH_YIELD: &str = \"package a.b@1;\\n\\"," let id = if true {\\n\\"," target.replace(input.id) else { rejected(reason) => domain.WriteRejected };\\n\\"," yield input.id;\\n\\"," } else {\\n\\"," };\\n\\"," return { id };\\n\\","fn hello_context() -> CompilerContext {"," CompilerContext::new()"," .with_operation_profile(\"hello.readOnly\", \"continuum.profile.read-only/v1\")"," .with_budget("," \"hello.tinyBudget\","," CoreBudget {"," max_steps: 64,"," max_allocated_bytes: 4096,"," max_output_bytes: 1024,"," },"," )","}","#[test]","fn bounded_hello_compiles_to_initial_core() {"," let module = parse_module(BOUNDED_HELLO).expect(\"fixture parses\");"," let core = compile_to_core(&module, &hello_context()).expect(\"fixture compiles to Core\");"," assert_eq!(core.api_version, \"edict.core/v1\");"," assert_eq!(core.coordinate, \"examples.hello@1\");"," assert_eq!(core.imports.len(), 1);"," assert_eq!(core.imports[0].resource.coordinate, \"hello.optics@1\");"," assert_eq!("," core.imports[0].resource.digest.as_deref(),"," Some(\"sha256:0000000000000000000000000000000000000000000000000000000000000000\")"," );"," let input = core.types.get(\"HelloInput\").expect(\"HelloInput type\");"," input,"," &CoreType::Record {"," fields: [("," \"name\".to_owned(),"," \"examples.hello@1.HelloInput.name\".to_owned()"," )]"," .into()"," }"," let name_ty = core"," .types"," .get(\"HelloInput.name\")"," .expect(\"lowered field type\");"," name_ty,"," &CoreType::String {"," max: 256,"," canonical: \"raw-utf8\".to_owned(),"," let intent = core.intents.get(\"sayHello\").expect(\"sayHello intent\");"," intent.required_operation_profile,"," \"continuum.profile.read-only/v1\""," assert_eq!(intent.core_evaluation_budget.max_steps, 64);"," assert_eq!(intent.input_constraints.len(), 1);"," assert!(matches!("," &intent.input_constraints[0].predicate,"," CorePredicate::Compare { .. }"," ));"," assert_eq!(intent.body.locals.len(), 2);"," assert_eq!(intent.body.locals[0].id, \"arg.0\");"," assert_eq!(intent.body.locals[0].alpha_name, \"$arg0\");"," assert_eq!(intent.body.locals[1].id, \"local.0\");"," assert_eq!(intent.body.locals[1].alpha_name, \"$local0\");"," assert_eq!(intent.body.nodes.len(), 1);"," assert!(matches!(intent.body.nodes[0], CoreNode::Let { .. }));"," assert!(matches!(intent.body.result, CoreExpr::Record { .. }));","fn compiler_spine_exposes_distinct_stage_boundaries() {"," let resolved = resolve_module(&module, &hello_context()).expect(\"resolve stage\");"," assert_eq!(resolved.coordinate, \"examples.hello@1\");"," resolved.intents[0].profile,"," let typed = type_check(&resolved).expect(\"type-check stage\");"," typed.intents[0].input_binding.ty,"," \"examples.hello@1.HelloInput\""," let core = lower_core(&typed).expect(\"lower Core stage\");"," assert!(core.intents.contains_key(\"sayHello\"));","fn missing_context_facts_reject_in_resolve_stage() {"," let errors ="," resolve_module(&module, &CompilerContext::new()).expect_err(\"missing context facts reject\");"," assert!(errors.iter().all(|err| err.stage == CompilerStage::Resolve));"," errors"," .iter()"," .map(|err| err.kind)"," .collect::>(),"," vec!["," CompilerErrorKind::MissingContextFact,"," ]","fn unresolved_local_types_reject_in_type_check_stage() {"," let module = parse_module("," \"package a.b@1;\\n\\"," intent t(input: MissingInput) returns MissingOutput\\n\\"," profile p.read\\n\\"," basis none\\n\\"," budget <= p.tiny {\\n\\"," return { input };\\n\\"," }\","," )"," .expect(\"source parses\");"," let context = CompilerContext::new()"," .with_operation_profile(\"p.read\", \"continuum.profile.read-only/v1\")"," \"p.tiny\","," max_steps: 1,"," max_allocated_bytes: 1,"," max_output_bytes: 1,"," );"," let resolved = resolve_module(&module, &context).expect(\"resolve accepts source coordinates\");"," let errors = type_check(&resolved).expect_err(\"unknown types reject in type-check\");"," assert!(errors"," .iter()"," .all(|err| err.stage == CompilerStage::TypeCheck));"," .any(|err| err.kind == CompilerErrorKind::UnresolvedType));","fn unresolved_record_field_types_reject_in_type_check_stage() {"," type Box = { value: MissingValue, };\\n\\"," intent t(input: Box) returns Box\\n\\"," let errors = type_check(&resolved).expect_err(\"unknown field type rejects in type-check\");","fn record_return_shape_mismatch_rejects_in_type_check_stage() {"," let source = BOUNDED_HELLO.replace(\"return { message };\", \"return { wrong: message };\");"," let module = parse_module(&source).expect(\"source parses\");"," let errors = type_check(&resolved).expect_err(\"return shape rejects\");"," .any(|err| err.kind == CompilerErrorKind::TypeMismatch));","fn missing_return_rejects_in_type_check_stage() {"," let source = BOUNDED_HELLO.replace(\" return { message };\\n\", \"\");"," let errors = type_check(&resolved).expect_err(\"missing return rejects\");","fn read_only_profile_rejects_write_effect_body() {"," type Input = { id: String, };\\n\\"," type Output = { id: String, };\\n\\"," intent t(input: Input) returns Output\\n\\"," profile p.readOnly\\n\\"," target.replace(input.id) else domain.WriteRejected;\\n\\"," return { id: input.id };\\n\\"," .with_operation_profile(\"p.readOnly\", \"continuum.profile.read-only/v1\")"," .with_operation_profile_write_classes(\"p.readOnly\", [WriteClass::Read])"," .with_effect_write_class(\"target.replace\", WriteClass::Replace)"," let errors = compile_to_core(&module, &context)"," .expect_err(\"write effect rejects under read-only profile\");"," vec![CompilerErrorKind::ProfileEffectMismatch]","fn read_only_profile_rejects_write_effect_let_without_else() {"," let _receipt = target.replace(input.id);\\n\\","fn effectful_write_intent_lowers_to_typed_core_from_file_backed_facts() {"," let dir = temp_case_dir(\"effectful-write\");"," let target = write_json("," &dir,"," \"target-profile-facts.json\","," effectful_target_profile_facts(),"," let lawpack = write_json(&dir, \"lawpack-facts.json\", effectful_lawpack_facts());"," let context ="," load_compiler_context_from_authority_fact_files([target.as_path(), lawpack.as_path()])"," .expect(\"authority facts load\");"," let module = parse_module(EFFECTFUL_REPLACE).expect(\"effectful source parses\");"," let core = compile_to_core(&module, &context).expect(\"effectful source compiles to Core\");"," let intent = core.intents.get(\"t\").expect(\"compiled effectful intent\");"," \"continuum.profile.write/v1\""," let CoreNode::Effect {"," binding,"," effect,"," obstruction_map,"," } = &intent.body.nodes[0]"," else {"," panic!(\"effectful source lowers to a semantic effect node\");"," };"," assert_eq!(binding.id, \"local.0\");"," assert_eq!(binding.alpha_name, \"$local0\");"," assert_eq!(binding.ty, \"a.b@1.Receipt\");"," assert_eq!(effect, \"target.replace\");"," let CoreExpr::Field { base, field } = input else {"," panic!(\"effect input preserves the source argument expression\");"," assert_eq!(field, \"id\");"," assert!(matches!(base.as_ref(), CoreExpr::Local { reference } if reference.id == \"arg.0\"));"," let arm = obstruction_map"," .get(\"rejected\")"," .expect(\"failure arm is keyed by low-level failure coordinate\");"," assert_eq!(arm.binder.id, \"obstruction.0\");"," assert_eq!(arm.binder.alpha_name, \"$obstruction0\");"," assert_eq!(arm.binder.ty, \"target.replace.rejected\");"," &arm.value,"," CoreExpr::Call { callee, args, .. } if callee == \"domain.WriteRejected\" && args.is_empty()","fn duplicate_effectful_obstruction_failure_rejects_before_core_lowering() {"," let dir = temp_case_dir(\"effectful-duplicate-obstruction\");"," let module = parse_module(EFFECTFUL_DUPLICATE_OBSTRUCTION_FAILURE)"," .expect(\"duplicate obstruction source parses\");"," compile_to_core(&module, &context).expect_err(\"duplicate obstruction failure rejects\");"," .any(|err| err.kind == CompilerErrorKind::DuplicateObstructionFailure));","fn unsupported_effectful_branch_yield_rejects_before_core_lowering() {"," let dir = temp_case_dir(\"effectful-branch-yield\");"," let module = parse_module(EFFECTFUL_BRANCH_YIELD).expect(\"unsupported effectful source parses\");"," compile_to_core(&module, &context).expect_err(\"unsupported effectful shape rejects\");"," .any(|err| err.kind == CompilerErrorKind::UnsupportedSourceShape));"," assert!(!errors"," .any(|err| err.kind == CompilerErrorKind::ProfileEffectMismatch));","fn initial_core_lowering_makes_no_canonical_or_target_claim() {"," assert!(core.required_core_capabilities.is_empty());"," assert!(core"," .imports"," .all(|import| import.kind.as_str() != \"target\"));","fn temp_case_dir(name: &str) -> PathBuf {"," let dir = std::env::temp_dir().join(format!("," \"edict-compiler-spine-{name}-{}\","," std::process::id()"," if dir.exists() {"," fs::remove_dir_all(&dir).expect(\"remove stale temp compiler-spine directory\");"," }"," fs::create_dir_all(&dir).expect(\"create temp compiler-spine directory\");"," dir","fn write_json(dir: &Path, name: &str, contents: impl AsRef) -> PathBuf {"," let path = dir.join(name);"," fs::write(&path, contents.as_ref()).expect(\"write authority-facts JSON\");"," path","fn effectful_target_profile_facts() -> &'static str {"," r#\"{"," \"apiVersion\": \"edict.authority-facts/v1\","," \"source\": {"," \"kind\": \"targetProfile\","," \"coordinate\": \"echo.dpo@1\","," \"digest\": \"sha256:1111111111111111111111111111111111111111111111111111111111111111\""," },"," \"operationProfiles\": ["," {"," \"source\": \"p.effectful\","," \"core\": \"continuum.profile.write/v1\","," \"allowedWriteClasses\": [\"replace\"]"," ],"," \"effectWriteClasses\": [],"," \"budgets\": []"," }\"#","fn effectful_lawpack_facts() -> &'static str {"," \"kind\": \"lawpack\","," \"coordinate\": \"hello.optics@1\","," \"digest\": \"sha256:2222222222222222222222222222222222222222222222222222222222222222\""," \"operationProfiles\": [],"," \"effectWriteClasses\": ["," \"effect\": \"target.replace\","," \"writeClass\": \"replace\""," \"budgets\": ["," \"source\": \"p.tiny\","," \"maxSteps\": 8,"," \"maxAllocatedBytes\": 1024,"," \"maxOutputBytes\": 256"," ]","crates/edict-syntax/src/compiler.rs",[1414],{"_1073":794,"_1074":1415,"_467":1416,"_1077":62},1615,[1417,1151,1418,1419,203,1420,203,1421,1422,1423,1424,1160,1425,1426,1427,1428,1160,1429,1430,1431,203,1432,1433,1434,1435,1436,1437,1438,1194,203,1439,1433,1440,1435,1441,1442,1443,1444,1445,1446,1447,1448,1194,203,1449,1450,1451,1452,1453,1454,1455,1194,203,1456,1457,1458,1459,1460,1461,1462,1463,1464,1465,1194,203,1466,1467,1468,1469,1374,203,1467,1470,1471,1472,1473,1474,1475,1476,1477,1374,203,1467,1478,1471,1472,1479,1480,1481,1482,1483,1484,1485,1486,1278,1477,1374,203,1467,1487,1471,1488,1489,1474,1490,1491,1477,1374,203,1467,1492,1493,1477,1374,1194,203,1494,1450,1495,1496,1497,1498,1499,1500,1194,203,1501,1450,1502,1503,1504,1194,203,1505,1450,1506,1503,1507,1508,1509,1510,1194,203,1511,1450,1512,1496,1497,1513,1514,1194,203,1515,1450,1516,1503,1517,1518,1507,1509,1519,1520,1521,1194,203,1522,1457,1523,1524,1525,1526,1527,1528,1529,1254,1530,1531,1532,1533,1534,1535,1536,1537,1538,1539,1540,1541,1194,203,1542,1457,1523,1543,1544,1545,1526,1527,1546,1547,1548,1549,1550,1551,203,1552,1553,1554,1555,1556,1557,1558,1559,1560,1561,1562,1563,1564,1565,1566,1567,1568,1215,1374,203,1569,1570,1571,1572,1573,1574,1575,1576,1577,1270,1194,203,1578,1457,1523,1579,1580,1581,1582,1194,203,1583,1457,1523,1584,1585,1586,1587,1588,1589,1282,1590,1591,1592,1593,1594,1595,1596,1597,1598,1599,1600,1601,1602,1603,1604,1605,1606,1607,1608,1609,1610,1611,1194,203,1612,1613,1614,1615,1616,1617,1618,1619,1620,1621,1622,1568,1623,1624,1625,1623,1624,1626,1627,1628,1629,1630,1192,1631,1632,1374,1633,1194,203,1634,1635,1636,1637,1638,1639,1374,1194,203,1640,1641,1527,1642,1643,1644,1645,1646,1647,1648,1649,1650,1651,1652,1653,1654,1655,1656,1657,1658,1659,1660,1567,1568,1661,1650,1662,1663,1657,1664,1659,1660,1567,1568,1665,1559,1560,1666,1667,1563,1668,1215,1374,203,1669,1670,1671,1672,1673,1674,1611,1194,203,1675,1676,1677,1678,1679,1680,1270,1194,203,1450,1681,1682,1683,1194,203,1450,1684,1685,1686,1687,1688,1194,203,1689,1690,1691,1692,1693,1694,1192,1695,1696,1697,1192,1698,1699,1700,1701,1702,1192,1215,1374,1194,203,1703,1704,1705,1706,1194,203,1707,1708,1709,1710,1711,1712,1194,203,1713,1714,1715,1716,1717,1718,1719,1194,203,1720,1721,1722,1723,1724,1725,1194,203,1726,1727,1728,1729,1730,1731,1732,1215,1374,203,1733,1734,1735,1736,1737,1738,1568,1215,1739,1740,1741,1742,1576,1624,1743,1374,203,1744,1745,1746,1747,1748,1749,1750,1215,1374,203,1751,1752,1753,1754,1755,1756,1757,1619,1758,1759,1622,1760,1568,1215,1374,203,1761,1762,1763,1764,1765,1766,1767,1768,1769,1770,1771,1772,1747,1748,1773,1774,1215,1775,1776,1777,1778,1536,1779,1780,1781,1782,1783,1784,1785,1786,1215,1374,203,1787,1762,1788,1766,1789,1767,1790,1791,1792,1793,1794,1795,1796,1797,1798,1799,1800,1801,1802,1567,1568,1803,1804,1805,1806,1807,1808,1809,1810,1756,1757,1619,1811,1812,1622,1760,1568,1215,1374,203,1813,1762,1814,1766,1789,1767,1815,1780,1781,1560,1816,1784,1785,1817,1624,1818,1819,1820,1821,1822,1823,1824,1825,1826,1192,1602,1374,203,1827,1828,1829,1780,1781,1560,1830,1831,1785,1817,1215,1832,1833,1255,1834,1390,1780,1781,1560,1835,1831,1785,1817,1215,203,1836,1837,1838,1839,1840,1841,1842,1624,1843,1844,1845,1846,203,1847,1848,1849,1850,1851,1852,1853,1854,1855,1602,1374,203,1856,1762,1857,1858,1859,1860,1861,1862,1863,1864,1865,1866,1867,1868,1869,1870,1656,1871,1567,1568,1215,1872,1374,203,1873,1762,1874,1875,1876,1877,1878,1828,1879,203,1880,1881,1215,203,1882,1883,1884,1885,1886,1536,1779,1780,1781,1782,1887,1831,1785,1786,1215,1374,203,1888,1762,1874,1875,1889,1876,1877,1890,1891,1892,1893,1894,1895,1896,1897,1784,1898,1899,1900,1901,1902,1903,1904,1905,1600,1906,1907,1908,1909,1910,1911,1912,1913,1914,1915,1795,1796,1797,1916,1917,1918,1801,1567,1568,1919,1920,1921,1567,1568,1922,1923,1924,1925,1926,1215,1374,203,1927,1762,1874,1928,1876,1877,1890,1891,1929,1930,1779,1931,1215,1374,203,1932,1762,1874,1928,1876,1877,1890,1891,1933,1934,1215,1935,1934,1624,1936,1934,1624,1937,1938,1939,1940,1632,1941,1942,1374,203,1943,1762,1944,1945,1767,1946,1947,1624,1948,1949,1950,1779,1780,1781,1782,1951,1952,1785,1786,1215,1374,203,1953,1762,1874,1928,1954,1876,1877,1890,1891,1955,1934,1215,1956,1934,1624,1957,1934,1624,1937,1941,1958,1959,1960,1961,1962,1963,1964,1934,1624,1965,1939,1966,1967,1968,1632,1942,1374,203,1969,1970,1971,1972,1624,1973,1780,1781,1974,1975,1784,1785,1972,1624,1976,1780,1781,1974,1977,1978,1979,1980,1784,1785,1972,1624,1981,1982,1779,1780,1781,1983,1977,1984,1979,1980,1784,1785,1985,1215,1374,203,1986,1987,1780,1781,1560,1988,1784,1785,1817,1624,1989,1374,203,1990,1762,1991,1858,1766,1992,1993,1994,1971,1817,1624,1995,1780,1781,1560,1996,1784,1785,1817,1624,1997,1998,1374,203,1999,1762,1954,2000,2001,1877,1766,2002,2003,1780,1781,1560,2004,1784,1785,1817,1624,2005,1768,2006,2007,2008,1756,1757,2009,2010,2011,1622,1747,1568,2012,2013,2014,2008,1747,1748,2015,2016,2017,1215,2018,2019,1779,1786,1215,1374,203,2020,1762,2000,2021,2022,2023,2024,1780,1781,1560,2025,2026,1785,1817,1215,2027,2028,2029,2030,1624,2031,2032,1374,203,2033,2034,1780,1781,1560,2035,2036,1785,1817,1215,2037,2038,2039,2040,1602,1374,203,2041,2005,2042,2043,2044,1568,1215,2045,2046,2047,2048,2049,2050,2051,2052,1568,2053,2054,2055,2056,1567,1568,2057,2058,1568,2059,2060,2061,1568,2062,2063,2064,1567,1568,2065,2066,2067,2068,2069,2070,1568,2071,2072,2073,2074,2075,2067,2076,2077,2078,1568,2079,2080,2081,1567,1568,2082,2083,2067,2084,2085,2086,1567,1568,1215,2087,1374,203,2088,1762,1874,2089,2090,2091,2092,2093,1568,2094,1215,1374,203,2095,1762,1874,2096,2090,2005,2097,2098,1215,2099,2087,1374,203,2100,1762,1874,2101,2090,2005,2097,2098,1215,2087,1374,203,2102,1762,1874,1889,2090,1892,1893,2103,2067,2104,2105,1795,2106,1567,1568,2107,2108,2109,2110,2111,2112,2073,1897,2075,2067,2113,2114,2115,2116,1567,2117,1568,2118,2119,2120,2117,1568,2121,1215,1374,203,2122,1762,1874,2123,2090,2124,2125,2126,1215,1374,203,2127,2128,2129,2130,2131,2132,2133,1374,203,2134,1762,2135,1858,2136,2045,2137,2138,2139,2140,1557,2141,2142,2143,2075,2144,2145,2146,2147,2148,2149,1795,1796,1797,2150,2151,2152,1801,1802,1567,1568,2153,1756,1757,2154,2155,2156,1622,1760,1568,1215,1374,203,2157,1762,2158,2159,2160,1858,1766,2136,2161,2162,2163,2164,2165,2166,2167,1536,1779,1780,1781,1782,2168,1784,1785,1786,1215,1374,203,2169,1762,2135,1858,2170,2045,2171,2172,2173,2174,2175,2176,2177,1600,1557,2178,2179,2180,2181,2182,2175,2183,2184,2185,2186,1600,1557,2187,2188,2189,2190,2191,1784,2192,2193,2194,2195,2196,2197,2198,2199,2200,2201,1756,1757,1619,2202,2156,1622,1760,1568,1215,1374,203,2203,1762,2204,1766,1858,2170,2205,2206,2207,2208,1600,2209,1536,1779,1780,1781,2210,2211,1784,1785,1786,1215,1374,203,2212,1762,2213,2214,1766,1858,2170,2215,2216,1780,1781,1782,2217,1784,1785,1817,1624,2218,2206,2219,2220,2221,1600,2222,1536,1779,1780,1781,2223,2224,1784,1785,1786,1215,1374,203,2225,1762,2159,2160,1858,1766,2170,2161,2162,2226,2227,2228,1780,1781,1782,2229,1784,1785,1817,1624,2230,2231,2232,2233,2234,2235,2236,1192,2237,2238,2239,1192,1602,1374,203,2240,1762,2241,1858,1766,2170,2242,2243,2244,2245,2246,2247,2248,2249,1567,2250,2251,2252,2253,2254,2255,2256,2257,2258,2259,2260,2261,2262,2263,2264,2265,2266,1567,2267,1796,1797,2268,2269,1800,1801,1567,1568,1215,2232,2270,2237,2271,2272,1192,1602,1374,1194,203,2273,2274,2275,2276,2277,2278,2279,2280,1577,1374,1194,203,2281,2282,2283,2284,2285,2286,2287,1374,1194,203,2288,2289,2290,1374,2291,2292,2293,2294,2295,1192,2293,2296,2297,1192,2298,2299,2300,2301,2302,2303,2304,2305,1215,2306,2307,1374,1194,203,2308,2309,1194,203,2310,2311,2312,2313,2314,2315,2316,2317,2318,1786,1215,1374,1194,203,2319,2320,1194,203,2321,2322,1194,203,2323,2324,2325,2326,2327,1374,1194,203,2328,2329,2330,2331,2332,2333,2334,2335,2336,2337,2338,2339,2340,2341,2342,2343,1374,1194,203,2344,2345,1194,203,2346,2329,2347,2348,2349,2350,2351,2352,2353,2354,2355,2356,2357,2358,2359,2360,1374,1194,203,2361,2362,2363,2364,1719,2365,2366,2367,2368,2369,1680,1374,1194,203,2370,2371,2372,2326,2373,1374,1194],"//! Executable compiler-spine stages from source AST to in-memory Core IR.","//! This module deliberately stops before canonical encoding, hashing, target","//! lowering, and admission. Those are later stages with separate evidence.","use std::collections::{BTreeMap, BTreeSet};","use crate::ast::{"," BinOp, Block, BoundRef, Decl, ElseClause, Expr, FieldDecl, Import, ImportKind, IntentClause,"," IntentDecl, Module, ObstructionArm, ObstructionHandler, ObstructionTarget, RecordEntry,"," ScalarRefine, Stmt, TypeDecl, TypeExpr, TypeRef, YieldBlock,","use crate::core_ir::{"," CompareOp, CoreBlock, CoreBudget, CoreExpr, CoreImport, CoreImportKind, CoreIntent, CoreModule,"," CoreNode, CoreObstructionArm, CorePredicate, CoreType, CoreValue, InputConstraint,"," InputConstraintSource, LocalRef, ResourceRef, CORE_API_VERSION,","use crate::lowerability::WriteClass;","use crate::semantic::validate_surface;","use crate::token::Span;","/// Compiler stage that reported an error.","#[derive(Debug, Clone, Copy, PartialEq, Eq)]","pub enum CompilerStage {"," SurfaceValidation,"," Resolve,"," TypeCheck,"," LowerCore,","/// Stable compiler-spine error categories.","pub enum CompilerErrorKind {"," MissingContextFact,"," UnsupportedSourceShape,"," UnresolvedType,"," UnknownField,"," TypeMismatch,"," ExpectedPredicate,"," ProfileEffectMismatch,"," DuplicateObstructionFailure,","/// A compiler-spine failure with stable stage/kind identity.","#[derive(Debug, Clone, PartialEq, Eq)]","pub struct CompilerError {"," pub stage: CompilerStage,"," pub kind: CompilerErrorKind,"," pub message: String,"," pub span: Span,","/// Deterministic facts supplied to the compiler spine by the caller.","///","/// The resolver does not invent target/lawpack facts. Source profile and budget","/// coordinates must be bound here before they can lower into Core.","#[derive(Debug, Clone, Default, PartialEq, Eq)]","pub struct CompilerContext {"," operation_profiles: BTreeMap,"," operation_profile_write_classes: BTreeMap>,"," effect_write_classes: BTreeMap,"," budgets: BTreeMap,","impl CompilerContext {"," #[must_use]"," pub fn new() -> Self {"," Self::default()"," pub fn with_operation_profile("," mut self,"," source_coordinate: impl Into,"," core_profile: impl Into,"," ) -> Self {"," self.operation_profiles"," .insert(source_coordinate.into(), core_profile.into());"," self"," pub fn with_operation_profile_write_classes("," write_classes: I,"," ) -> Self"," where"," I: IntoIterator,"," {"," self.operation_profile_write_classes.insert("," source_coordinate.into(),"," write_classes.into_iter().collect(),"," pub fn with_effect_write_class("," source_effect_coordinate: impl Into,"," write_class: WriteClass,"," self.effect_write_classes"," .insert(source_effect_coordinate.into(), write_class);"," pub fn with_budget(mut self, source_coordinate: impl Into, budget: CoreBudget) -> Self {"," self.budgets.insert(source_coordinate.into(), budget);","/// Module after resolution of names and explicit context facts.","pub struct ResolvedModule {"," pub coordinate: String,"," pub imports: Vec,"," pub effect_write_classes: BTreeMap,"," pub types: Vec,"," pub intents: Vec,","/// Resolved type declaration.","pub struct ResolvedTypeDecl {"," pub name: String,"," pub source: TypeDecl,","/// Resolved intent declaration.","pub struct ResolvedIntent {"," pub profile: String,"," pub allowed_write_classes: Option>,"," pub budget: CoreBudget,"," pub source: IntentDecl,","/// Module after type checking and Core-ready local normalization.","pub struct TypedModule {"," pub types: BTreeMap,"," pub intents: Vec,","/// Typed intent boundary consumed by `lower_core`.","pub struct TypedIntent {"," pub input: String,"," pub output: String,"," pub input_binding: LocalRef,"," pub input_constraints: Vec,"," pub body: CoreBlock,","/// Run the currently executable compiler spine.","/// # Errors","/// Returns structured compiler errors from the first failing stage.","pub fn compile_to_core("," module: &Module,"," context: &CompilerContext,",") -> Result> {"," validate_surface(module).map_err(|errors| {"," .into_iter()"," .map(|err| CompilerError {"," stage: CompilerStage::SurfaceValidation,"," kind: CompilerErrorKind::SurfaceValidation,"," message: err.message,"," span: err.span,"," })"," .collect::>()"," })?;"," let resolved = resolve_module(module, context)?;"," let typed = type_check(&resolved)?;"," lower_core(&typed)","/// Resolve source names and explicit profile/budget facts.","/// Returns resolver-stage errors when required deterministic context facts are","/// missing or a source construct cannot enter the initial compiler spine.","pub fn resolve_module(",") -> Result> {"," let mut errors = Vec::new();"," let coordinate = package_coordinate(&module.package.path, &module.package.version);"," let imports = resolve_imports(&module.imports, &mut errors);"," let mut types = Vec::new();"," let mut intents = Vec::new();"," for decl in &module.decls {"," match decl {"," Decl::Type(decl) => types.push(ResolvedTypeDecl {"," name: decl.name.clone(),"," source: decl.clone(),"," }),"," Decl::Enum(decl) => errors.push(error("," CompilerStage::Resolve,"," CompilerErrorKind::UnsupportedSourceShape,"," \"enum declarations are not in the initial lowerable subset\","," decl.span,"," )),"," Decl::Intent(intent) => {"," if let Some(resolved) = resolve_intent(intent, context, &mut errors) {"," intents.push(resolved);"," }"," }"," finish("," errors,"," ResolvedModule {"," coordinate,"," imports,"," effect_write_classes: context.effect_write_classes.clone(),"," types,"," intents,"," },","/// Type-check a resolved module into the Core-ready typed boundary.","/// Returns type-check-stage errors for unresolved types, incompatible values, or","/// source constructs outside the initial lowerable subset.","pub fn type_check(resolved: &ResolvedModule) -> Result> {"," TypeChecker::new(resolved).check()","/// Lower a typed module into in-memory Core IR.","/// Returns lower-core-stage errors. The current typed boundary is already","/// Core-ready, so this stage is expected to be infallible for valid","/// [`TypedModule`] values.","pub fn lower_core(typed: &TypedModule) -> Result> {"," let intents = typed"," .intents"," .map(|intent| {"," ("," intent.name.clone(),"," CoreIntent {"," input: intent.input.clone(),"," output: intent.output.clone(),"," required_operation_profile: intent.profile.clone(),"," input_constraints: intent.input_constraints.clone(),"," core_evaluation_budget: intent.budget.clone(),"," body: intent.body.clone(),"," },"," )"," })"," .collect();"," Ok(CoreModule {"," api_version: CORE_API_VERSION.to_owned(),"," coordinate: typed.coordinate.clone(),"," imports: typed.imports.clone(),"," types: typed.types.clone(),"," intents,"," required_core_capabilities: Vec::new(),"," })","fn resolve_imports(imports: &[Import], errors: &mut Vec) -> Vec {"," let mut out = Vec::new();"," for import in imports {"," let Some(kind) = core_import_kind(import.kind) else {"," if import.kind == ImportKind::Capability {"," errors.push(error("," CompilerStage::Resolve,"," CompilerErrorKind::UnsupportedSourceShape,"," \"capability imports are not supported by the v1 compiler spine\","," import.span,"," ));"," continue;"," };"," let Some(package) = &import.package else {"," out.push(CoreImport {"," kind,"," resource: ResourceRef {"," coordinate: package_coordinate(&package.path, &package.version),"," digest: import.digest.clone(),"," alias: Some(import.alias.clone()),"," });"," out","fn core_import_kind(kind: ImportKind) -> Option {"," match kind {"," ImportKind::Lawpack => Some(CoreImportKind::Lawpack),"," ImportKind::Target => Some(CoreImportKind::Target),"," ImportKind::Core => Some(CoreImportKind::Core),"," ImportKind::Shape | ImportKind::Capability => None,","fn resolve_intent("," intent: &IntentDecl,"," errors: &mut Vec,",") -> Option {"," let mut profile = None;"," let mut allowed_write_classes = None;"," let mut budget = None;"," for clause in &intent.clauses {"," match clause {"," IntentClause::Profile(path) => {"," let key = path_key(path);"," match context.operation_profiles.get(&key) {"," Some(value) => {"," profile = Some(value.clone());"," allowed_write_classes ="," context.operation_profile_write_classes.get(&key).cloned();"," }"," None => errors.push(missing_context_fact("," format!(\"operation profile `{key}` has no compiler context fact\"),"," intent.span,"," )),"," IntentClause::Budget(path) => {"," match context.budgets.get(&key) {"," Some(value) => budget = Some(value.clone()),"," format!(\"budget `{key}` has no compiler context fact\"),"," IntentClause::Implements(_) => errors.push(error("," \"`implements` intents are outside the initial lowerable subset\","," intent.span,"," IntentClause::Basis(_) | IntentClause::Footprint(_) | IntentClause::Where(_) => {}"," Some(ResolvedIntent {"," name: intent.name.clone(),"," profile: profile?,"," allowed_write_classes,"," budget: budget?,"," source: intent.clone(),","fn missing_context_fact(message: String, span: Span) -> CompilerError {"," error("," CompilerStage::Resolve,"," CompilerErrorKind::MissingContextFact,"," message,"," span,","struct TypeShape {"," coord: String,"," kind: TypeKind,","enum TypeKind {"," Bool,"," Int { width: String },"," String { max: u64, canonical: String },"," Record(BTreeMap),","impl TypeShape {"," fn core_type(&self) -> CoreType {"," match &self.kind {"," TypeKind::Bool => CoreType::Bool,"," TypeKind::Int { width } => CoreType::Int {"," width: width.clone(),"," TypeKind::String { max, canonical } => CoreType::String {"," max: *max,"," canonical: canonical.clone(),"," TypeKind::Record(fields) => CoreType::Record {"," fields: fields"," .iter()"," .map(|(name, shape)| (name.clone(), shape.coord.clone()))"," .collect(),","#[derive(Debug, Clone)]","struct TypedValue {"," expr: CoreExpr,"," ty: TypeShape,","#[derive(Debug, Default)]","struct BodyState {"," nodes: Vec,"," result: Option,"," local_index: usize,"," obstruction_index: usize,","#[derive(Debug, Clone, Copy)]","struct LetStatement<'a> {"," name: &'a str,"," ty: Option<&'a TypeRef>,"," value: &'a Expr,"," handler: Option<&'a ObstructionHandler>,"," span: Span,","#[derive(Debug)]","struct TypeChecker<'a> {"," resolved: &'a ResolvedModule,"," errors: Vec,"," named_types: BTreeMap,"," core_types: BTreeMap,","impl<'a> TypeChecker<'a> {"," fn new(resolved: &'a ResolvedModule) -> Self {"," Self {"," resolved,"," errors: Vec::new(),"," named_types: BTreeMap::new(),"," core_types: BTreeMap::new(),"," fn check(mut self) -> Result> {"," self.check_types();"," let mut intents = Vec::new();"," for intent in &self.resolved.intents {"," if let Some(typed) = self.check_intent(intent) {"," intents.push(typed);"," let module = TypedModule {"," coordinate: self.resolved.coordinate.clone(),"," imports: self.resolved.imports.clone(),"," types: self.core_types,"," finish(self.errors, module)"," fn check_types(&mut self) {"," for decl in &self.resolved.types {"," let Some(shape) = self.type_decl_shape(&decl.source) else {"," continue;"," };"," self.core_types.insert(decl.name.clone(), shape.core_type());"," self.named_types.insert(decl.name.clone(), shape);"," fn type_decl_shape(&mut self, decl: &TypeDecl) -> Option {"," let coord = format!(\"{}.{}\", self.resolved.coordinate, decl.name);"," match &decl.body {"," TypeExpr::Record(fields) => self.record_shape(&coord, &decl.name, fields, decl.span),"," TypeExpr::Variant(_) | TypeExpr::Ref(_) => {"," self.errors.push(error("," CompilerStage::TypeCheck,"," \"only record type declarations are in the initial lowerable subset\","," decl.span,"," None"," fn record_shape("," &mut self,"," coord: &str,"," type_name: &str,"," fields: &[FieldDecl],"," span: Span,"," ) -> Option {"," let mut out = BTreeMap::new();"," for field in fields {"," let field_key = format!(\"{type_name}.{}\", field.name);"," let field_coord = format!(\"{coord}.{}\", field.name);"," let Some(shape) = self.type_ref_shape(&field.ty, field.span, Some(field_coord)) else {"," self.core_types.insert(field_key, shape.core_type());"," out.insert(field.name.clone(), shape);"," if out.len() == fields.len() {"," Some(TypeShape {"," coord: coord.to_owned(),"," kind: TypeKind::Record(out),"," } else {"," self.errors.push(error("," CompilerStage::TypeCheck,"," CompilerErrorKind::TypeMismatch,"," \"record type contains unsupported field types\","," span,"," ));"," None"," fn type_ref_shape("," ty: &TypeRef,"," coord_hint: Option,"," match ty {"," TypeRef::Named { path, args } if args.is_empty() && path.len() == 1 => {"," let name = &path[0];"," if let Some(shape) = self.named_types.get(name) {"," Some(shape.clone())"," } else {"," self.errors.push(error("," CompilerStage::TypeCheck,"," CompilerErrorKind::UnresolvedType,"," format!(\"type `{name}` is not declared in this module\"),"," span,"," ));"," None"," TypeRef::StringTy(Some(refine)) => self.string_shape(refine, span, coord_hint),"," TypeRef::BytesTy(_)"," | TypeRef::Option(_)"," | TypeRef::CapabilityRef(_)"," | TypeRef::List { .. }"," | TypeRef::Map { .. }"," | TypeRef::Named { .. }"," | TypeRef::StringTy(None) => {"," \"type is outside the initial lowerable subset\","," span,"," fn string_shape("," refine: &ScalarRefine,"," let BoundRef::Int { value, .. } = refine.max else {"," \"coordinate string bounds require bound proof in a later stage\","," return None;"," let canonical = refine"," .canonical"," .clone()"," .unwrap_or_else(|| \"raw-utf8\".to_owned());"," Some(TypeShape {"," coord: coord_hint.unwrap_or_else(|| string_type_coord(value, &canonical)),"," kind: TypeKind::String {"," max: value,"," canonical,"," fn check_intent(&mut self, intent: &ResolvedIntent) -> Option {"," let source = &intent.source;"," if source.params.len() != 1 {"," \"initial Core lowering supports exactly one intent parameter\","," source.span,"," if !source"," .clauses"," .any(|clause| matches!(clause, IntentClause::Basis(None)))"," \"initial Core lowering supports only `basis none`\","," let param = &source.params[0];"," let input_shape = self.type_ref_shape(¶m.ty, param.span, None)?;"," let output_shape = self.type_ref_shape(&source.returns, source.span, None)?;"," let input_binding = LocalRef {"," id: \"arg.0\".to_owned(),"," alpha_name: \"$arg0\".to_owned(),"," ty: input_shape.coord.clone(),"," let mut locals = vec![input_binding.clone()];"," let mut env = BTreeMap::from([(param.name.clone(), (input_binding.clone(), input_shape))]);"," let input_constraints = self.input_constraints(source, &env);"," let body = self.check_body(intent, &output_shape, &mut env, &mut locals)?;"," Some(TypedIntent {"," name: intent.name.clone(),"," input: input_binding.ty.clone(),"," output: output_shape.coord,"," profile: intent.profile.clone(),"," budget: intent.budget.clone(),"," input_binding,"," input_constraints,"," body,"," fn input_constraints("," intent: &IntentDecl,"," env: &BTreeMap,"," ) -> Vec {"," let mut out = Vec::new();"," let mut index = 0usize;"," for clause in &intent.clauses {"," if let IntentClause::Where(predicates) = clause {"," for predicate in predicates {"," if let Some(predicate) = self.check_predicate(predicate, env) {"," out.push(InputConstraint {"," coordinate: format!(\"where.{index}\"),"," source: InputConstraintSource::Where,"," predicate,"," });"," index += 1;"," out"," fn check_body("," intent: &ResolvedIntent,"," output_shape: &TypeShape,"," env: &mut BTreeMap,"," locals: &mut Vec,"," ) -> Option {"," let mut state = BodyState::default();"," for stmt in &source.body.stmts {"," self.check_body_stmt(intent, output_shape, stmt, env, locals, &mut state);"," if let Some(result) = state.result {"," Some(CoreBlock {"," locals: locals.clone(),"," nodes: state.nodes,"," result,"," \"intent body must return a value\","," fn check_body_stmt("," stmt: &Stmt,"," state: &mut BodyState,"," ) {"," match stmt {"," Stmt::Let {"," name,"," ty,"," value,"," els,"," } => self.check_let_stmt("," intent,"," LetStatement {"," name,"," ty: ty.as_ref(),"," value,"," handler: els.as_ref(),"," span: *span,"," env,"," locals,"," state,"," ),"," Stmt::Return { value, .. } => {"," let Some(value) = self.check_expr(value, env) else {"," return;"," };"," if compatible(output_shape, &value.ty) {"," state.result = Some(value.expr);"," CompilerErrorKind::TypeMismatch,"," \"return value does not match declared output type\","," intent.source.span,"," Stmt::Effect { call, span, .. } => {"," if self.check_effect_profile(intent, call, *span) {"," self.unsupported_stmt(*span, \"effect statement\");"," Stmt::Require { span, .. }"," | Stmt::Guarantee { span, .. }"," | Stmt::Assert { span, .. }"," | Stmt::If { span, .. }"," | Stmt::For { span, .. } => self.unsupported_stmt(*span, \"statement\"),"," fn check_let_stmt("," stmt: LetStatement<'_>,"," if let Some(handler) = stmt.handler {"," self.check_effectful_let(intent, stmt, handler, env, locals, state);"," self.check_pure_let(intent, stmt, env, locals, state);"," fn check_pure_let("," if !self.check_known_effect_profiles(intent, stmt.value) {"," return;"," let Some(value) = self.check_expr(stmt.value, env) else {"," let Some(binding_shape) = self.pure_let_binding_shape(&stmt, &value) else {"," let local = next_local(&mut state.local_index, binding_shape.coord.clone());"," state.nodes.push(CoreNode::Let {"," binding: local.clone(),"," value: value.expr,"," locals.push(local.clone());"," env.insert(stmt.name.to_owned(), (local, binding_shape));"," fn pure_let_binding_shape("," stmt: &LetStatement<'_>,"," value: &TypedValue,"," let Some(annotation) = stmt.ty else {"," return Some(value.ty.clone());"," let annotation_shape = self.type_ref_shape(annotation, stmt.span, None)?;"," if compatible(&annotation_shape, &value.ty) {"," Some(annotation_shape)"," format!(\"`{}` initializer does not match annotation\", stmt.name),"," stmt.span,"," fn check_effectful_let("," handler: &ObstructionHandler,"," if !self.check_effect_profile(intent, stmt.value, stmt.span) {"," let Some(binding_shape) = self.effect_binding_shape(stmt.ty, stmt.span) else {"," let Some((effect, input)) = self.check_effect_call(stmt.value, env, stmt.span) else {"," let Some(obstruction_map) = self.check_obstruction_handler("," handler,"," &effect,"," &mut state.obstruction_index,"," locals,"," stmt.span,"," ) else {"," state.nodes.push(CoreNode::Effect {"," effect,"," input,"," obstruction_map,"," fn check_effect_profile(&mut self, intent: &ResolvedIntent, call: &Expr, span: Span) -> bool {"," let Some(effect) = effect_coordinate(call) else {"," self.unsupported_stmt(span, \"effect call\");"," return false;"," let Some(write_class) = self.resolved.effect_write_classes.get(&effect) else {"," CompilerErrorKind::MissingContextFact,"," format!(\"effect `{effect}` has no compiler context fact\"),"," let Some(allowed_write_classes) = &intent.allowed_write_classes else {"," format!("," \"operation profile `{}` has no write-class compiler context fact\","," intent.profile"," ),"," if allowed_write_classes.contains(write_class) {"," true"," CompilerErrorKind::ProfileEffectMismatch,"," \"effect `{effect}` requires write class {write_class:?}, which profile `{}` does not allow\","," false"," fn effect_binding_shape(&mut self, ty: Option<&TypeRef>, span: Span) -> Option {"," let Some(ty) = ty else {"," \"effectful `let ... else` requires an explicit result type annotation\","," self.type_ref_shape(ty, span, None)"," fn check_effect_call("," call: &Expr,"," ) -> Option<(String, CoreExpr)> {"," let effect = effect_coordinate(call)?;"," let Expr::Call { args, .. } = call else {"," let [arg] = args.as_slice() else {"," \"effectful `let ... else` supports exactly one effect argument\","," let input = self.check_expr(arg, env)?;"," Some((effect, input.expr))"," fn check_obstruction_handler("," effect: &str,"," obstruction_index: &mut usize,"," ) -> Option> {"," let ObstructionHandler::Map(arms) = handler else {"," \"effectful `let ... else` supports obstruction maps only\","," let mut accepted = true;"," for arm in arms {"," if out.contains_key(&arm.failure) {"," accepted = false;"," CompilerErrorKind::DuplicateObstructionFailure,"," format!(\"effect obstruction map repeats failure `{}`\", arm.failure),"," arm.span,"," let Some((failure, obstruction_arm)) ="," self.check_obstruction_arm(effect, arm, *obstruction_index)"," else {"," *obstruction_index += 1;"," locals.push(obstruction_arm.binder.clone());"," out.insert(failure, obstruction_arm);"," if accepted {"," Some(out)"," fn check_obstruction_arm("," arm: &ObstructionArm,"," obstruction_index: usize,"," ) -> Option<(String, CoreObstructionArm)> {"," if arm.binder.is_none() {"," \"effect obstruction map arms require binders in the first lowerable subset\","," arm.span,"," let binder = LocalRef {"," id: format!(\"obstruction.{obstruction_index}\"),"," alpha_name: format!(\"$obstruction{obstruction_index}\"),"," ty: format!(\"{effect}.{}\", arm.failure),"," let value = self.check_obstruction_target(&arm.target)?;"," Some((arm.failure.clone(), CoreObstructionArm { binder, value }))"," fn check_obstruction_target(&mut self, target: &ObstructionTarget) -> Option {"," if target.payload.is_some() {"," \"obstruction payload expressions are outside the first effectful Core subset\","," target.span,"," Some(CoreExpr::Call {"," callee: path_key(&target.coordinate),"," type_args: Vec::new(),"," args: Vec::new(),"," fn check_known_effect_profiles(&mut self, intent: &ResolvedIntent, expr: &Expr) -> bool {"," if let Some(effect) = effect_coordinate(expr) {"," if self.resolved.effect_write_classes.contains_key(&effect) {"," accepted &= self.check_effect_profile(intent, expr, expr_span(expr));"," match expr {"," Expr::Ident { .. }"," | Expr::Int { .. }"," | Expr::Str { .. }"," | Expr::Bool { .. }"," | Expr::Digest { .. } => {}"," Expr::Field { base, .. } => {"," accepted &= self.check_known_effect_profiles(intent, base);"," Expr::Call { callee, args, .. } => {"," accepted &= self.check_known_effect_profiles(intent, callee);"," for arg in args {"," accepted &= self.check_known_effect_profiles(intent, arg);"," Expr::Unary { operand, .. } => {"," accepted &= self.check_known_effect_profiles(intent, operand);"," Expr::Binary { lhs, rhs, .. } => {"," accepted &= self.check_known_effect_profiles(intent, lhs);"," accepted &= self.check_known_effect_profiles(intent, rhs);"," Expr::Record { entries, .. } => {"," for entry in entries {"," accepted &= self.check_known_effect_profiles_in_record_entry(intent, entry);"," Expr::If {"," cond, then, els, .."," } => {"," accepted &= self.check_known_effect_profiles(intent, cond);"," accepted &= self.check_known_effect_profiles(intent, then);"," accepted &= self.check_known_effect_profiles(intent, els);"," Expr::IfYield {"," pred,"," then_block,"," else_block,"," .."," accepted &= self.check_known_effect_profiles(intent, pred);"," accepted &= self.check_known_effect_profiles_in_yield_block(intent, then_block);"," accepted &= self.check_known_effect_profiles_in_yield_block(intent, else_block);"," Expr::VariantLit { payload, .. } => {"," if let Some(payload) = payload {"," accepted &= self.check_known_effect_profiles(intent, payload);"," Expr::Match {"," scrutinee, arms, .."," accepted &= self.check_known_effect_profiles(intent, scrutinee);"," for arm in arms {"," accepted &= self.check_known_effect_profiles(intent, &arm.body);"," accepted"," fn check_known_effect_profiles_in_record_entry("," entry: &RecordEntry,"," ) -> bool {"," match entry {"," RecordEntry::Field { value, .. } | RecordEntry::Spread(value) => {"," self.check_known_effect_profiles(intent, value)"," RecordEntry::Shorthand { .. } => true,"," fn check_known_effect_profiles_in_yield_block("," block: &YieldBlock,"," for stmt in &block.stmts {"," accepted &= self.check_known_effect_profiles_in_stmt(intent, stmt);"," accepted &= self.check_known_effect_profiles(intent, &block.value);"," fn check_known_effect_profiles_in_block("," block: &Block,"," fn check_known_effect_profiles_in_stmt("," value, els, span, .."," if els.is_some() {"," self.check_effect_profile(intent, value, *span)"," self.check_known_effect_profiles(intent, value)"," Stmt::Effect { call, span, .. } => self.check_effect_profile(intent, call, *span),"," Stmt::Require { predicate, .. }"," | Stmt::Guarantee { predicate, .. }"," | Stmt::Assert { predicate, .. } => self.check_known_effect_profiles(intent, predicate),"," Stmt::If {"," cond,"," let mut accepted = self.check_known_effect_profiles(intent, cond);"," accepted &= self.check_known_effect_profiles_in_block(intent, then_block);"," if let Some(els) = els {"," accepted &= self.check_known_effect_profiles_in_else(intent, els);"," accepted"," Stmt::For { iter, body, .. } => {"," let mut accepted = self.check_known_effect_profiles(intent, iter);"," accepted &= self.check_known_effect_profiles_in_block(intent, body);"," Stmt::Return { value, .. } => self.check_known_effect_profiles(intent, value),"," fn check_known_effect_profiles_in_else("," els: &ElseClause,"," match els {"," ElseClause::Block(block) => self.check_known_effect_profiles_in_block(intent, block),"," ElseClause::If(stmt) => self.check_known_effect_profiles_in_stmt(intent, stmt),"," fn unsupported_stmt(&mut self, span: Span, what: &str) {"," self.errors.push(error("," CompilerStage::TypeCheck,"," CompilerErrorKind::UnsupportedSourceShape,"," format!(\"{what} is outside the initial lowerable subset\"),"," span,"," ));"," fn check_predicate("," expr: &Expr,"," ) -> Option {"," Expr::Bool { value, .. } => Some(if *value {"," CorePredicate::True"," } else {"," CorePredicate::False"," Expr::Unary {"," op: crate::ast::UnOp::Not,"," operand,"," } => self"," .check_predicate(operand, env)"," .map(|value| CorePredicate::Not(Box::new(value))),"," Expr::Binary { op, lhs, rhs, .. } => {"," if let Some(op) = compare_op(*op) {"," self.check_compare_predicate(op, lhs, rhs, env, expr_span(expr))"," CompilerErrorKind::ExpectedPredicate,"," \"where expression is not a predicate\","," expr_span(expr),"," _ => {"," CompilerErrorKind::ExpectedPredicate,"," \"where expression is not a predicate\","," expr_span(expr),"," fn check_compare_predicate("," op: CompareOp,"," lhs: &Expr,"," rhs: &Expr,"," let left = self.check_expr(lhs, env)?;"," let right = self.check_expr(rhs, env)?;"," if comparable(&left.ty, &right.ty) {"," Some(CorePredicate::Compare {"," op,"," left: left.expr,"," right: right.expr,"," \"comparison operands are not compatible\","," fn check_expr("," ) -> Option {"," Expr::Ident { name, span } => self.check_ident(name, *span, env),"," Expr::Str { value, .. } => Some(string_value(value)),"," Expr::Bool { value, .. } => Some(TypedValue {"," expr: CoreExpr::Const(CoreValue::Bool(*value)),"," ty: TypeShape {"," coord: \"Bool\".to_owned(),"," kind: TypeKind::Bool,"," Expr::Int { value, .. } => Some(TypedValue {"," expr: CoreExpr::Const(CoreValue::Int {"," width: \"I64\".to_owned(),"," value: value.clone(),"," }),"," coord: \"I64\".to_owned(),"," kind: TypeKind::Int {"," width: \"I64\".to_owned(),"," },"," Expr::Field { base, field, span } => self.check_field(base, field, *span, env),"," Expr::Binary {"," op: BinOp::Add,"," lhs,"," rhs,"," } => self.check_string_concat(lhs, rhs, env, *span),"," Expr::Record { entries, span } => self.check_record(entries, env, *span),"," Expr::Binary { .. }"," | Expr::Digest { .. }"," | Expr::Call { .. }"," | Expr::Unary { .. }"," | Expr::If { .. }"," | Expr::IfYield { .. }"," | Expr::VariantLit { .. }"," | Expr::Match { .. } => {"," \"expression is outside the initial lowerable subset\","," fn check_ident("," name: &str,"," if let Some((local, ty)) = env.get(name) {"," Some(TypedValue {"," expr: CoreExpr::Local {"," reference: local.clone(),"," ty: ty.clone(),"," CompilerErrorKind::UnresolvedType,"," format!(\"identifier `{name}` has no typed binding\"),"," fn check_field("," base: &Expr,"," field: &str,"," let base = self.check_expr(base, env)?;"," let TypeKind::Record(fields) = &base.ty.kind else {"," \"field access requires a record base\","," if let Some(field_ty) = fields.get(field) {"," expr: CoreExpr::Field {"," base: Box::new(base.expr),"," field: field.to_owned(),"," ty: field_ty.clone(),"," CompilerErrorKind::UnknownField,"," format!(\"record type has no field `{field}`\"),"," fn check_string_concat("," let (TypeKind::String { max: lmax, .. }, TypeKind::String { max: rmax, .. }) ="," (&left.ty.kind, &right.ty.kind)"," else {"," \"string concatenation requires string operands\","," let max = lmax + rmax;"," let canonical = \"raw-utf8\".to_owned();"," Some(TypedValue {"," expr: CoreExpr::Call {"," callee: \"core.string.concat\".to_owned(),"," type_args: Vec::new(),"," args: vec![left.expr, right.expr],"," ty: TypeShape {"," coord: string_type_coord(max, &canonical),"," kind: TypeKind::String { max, canonical },"," fn check_record("," entries: &[RecordEntry],"," let mut fields = BTreeMap::new();"," let mut field_types = BTreeMap::new();"," for entry in entries {"," match entry {"," RecordEntry::Field { name, value } => {"," let value = self.check_expr(value, env)?;"," fields.insert(name.clone(), value.expr);"," field_types.insert(name.clone(), value.ty);"," RecordEntry::Shorthand { name, span } => {"," let Some((local, ty)) = env.get(name) else {"," self.errors.push(error("," CompilerStage::TypeCheck,"," CompilerErrorKind::UnresolvedType,"," format!(\"record shorthand `{name}` has no typed binding\"),"," *span,"," ));"," continue;"," };"," fields.insert("," name.clone(),"," CoreExpr::Local {"," reference: local.clone(),"," },"," );"," field_types.insert(name.clone(), ty.clone());"," RecordEntry::Spread(_) => {"," CompilerErrorKind::UnsupportedSourceShape,"," \"record spreads are outside the initial lowerable subset\","," expr: CoreExpr::Record { fields },"," coord: \"anonymous.record\".to_owned(),"," kind: TypeKind::Record(field_types),","fn string_value(value: &str) -> TypedValue {"," let max = value.len() as u64;"," let canonical = \"raw-utf8\".to_owned();"," TypedValue {"," expr: CoreExpr::Const(CoreValue::String(value.to_owned())),"," ty: TypeShape {"," coord: string_type_coord(max, &canonical),"," kind: TypeKind::String { max, canonical },","fn next_local(index: &mut usize, ty: String) -> LocalRef {"," let current = *index;"," *index += 1;"," LocalRef {"," id: format!(\"local.{current}\"),"," alpha_name: format!(\"$local{current}\"),"," ty,","fn compatible(expected: &TypeShape, actual: &TypeShape) -> bool {"," if expected.coord == actual.coord {"," return true;"," match (&expected.kind, &actual.kind) {"," ("," TypeKind::String {"," max: expected_max,"," canonical: expected_canonical,"," max: actual_max,"," canonical: actual_canonical,"," ) => actual_max <= expected_max && actual_canonical == expected_canonical,"," (TypeKind::Record(expected), TypeKind::Record(actual)) => {"," expected.len() == actual.len()"," && expected.iter().all(|(name, expected_ty)| {"," actual"," .get(name)"," .is_some_and(|actual_ty| compatible(expected_ty, actual_ty))"," })"," (TypeKind::Bool, TypeKind::Bool) | (TypeKind::Int { .. }, TypeKind::Int { .. }) => true,"," _ => false,","fn comparable(left: &TypeShape, right: &TypeShape) -> bool {"," compatible(left, right) || compatible(right, left)","fn compare_op(op: BinOp) -> Option {"," match op {"," BinOp::Eq => Some(CompareOp::Eq),"," BinOp::Ne => Some(CompareOp::Ne),"," BinOp::Lt => Some(CompareOp::Lt),"," BinOp::Le => Some(CompareOp::Le),"," BinOp::Gt => Some(CompareOp::Gt),"," BinOp::Ge => Some(CompareOp::Ge),"," BinOp::Or | BinOp::And | BinOp::Add | BinOp::Sub | BinOp::Mul | BinOp::Div | BinOp::Rem => {","fn string_type_coord(max: u64, canonical: &str) -> String {"," format!(\"String\")","fn path_key(path: &[String]) -> String {"," path.join(\".\")","fn effect_coordinate(call: &Expr) -> Option {"," if let Expr::Call { callee, .. } = call {"," callee_coordinate(callee)"," } else {"," None","fn callee_coordinate(expr: &Expr) -> Option {"," match expr {"," Expr::Ident { name, .. } => Some(name.clone()),"," Expr::Field { base, field, .. } => Some(format!(\"{}.{}\", callee_coordinate(base)?, field)),"," Expr::Call { callee, .. } => callee_coordinate(callee),"," Expr::Int { .. }"," | Expr::Str { .. }"," | Expr::Bool { .. }"," | Expr::Digest { .. }"," | Expr::Unary { .. }"," | Expr::Binary { .. }"," | Expr::Record { .. }"," | Expr::If { .. }"," | Expr::IfYield { .. }"," | Expr::VariantLit { .. }"," | Expr::Match { .. } => None,","fn package_coordinate(path: &[String], version: &str) -> String {"," format!(\"{}@{version}\", path.join(\".\"))","fn expr_span(expr: &Expr) -> Span {"," Expr::Ident { span, .. }"," | Expr::Int { span, .. }"," | Expr::Str { span, .. }"," | Expr::Bool { span, .. }"," | Expr::Digest { span, .. }"," | Expr::Field { span, .. }"," | Expr::Call { span, .. }"," | Expr::Unary { span, .. }"," | Expr::Binary { span, .. }"," | Expr::Record { span, .. }"," | Expr::If { span, .. }"," | Expr::IfYield { span, .. }"," | Expr::VariantLit { span, .. }"," | Expr::Match { span, .. } => *span,","fn error("," stage: CompilerStage,"," kind: CompilerErrorKind,"," message: impl Into,",") -> CompilerError {"," CompilerError {"," stage,"," kind,"," message: message.into(),","fn finish(errors: Vec, value: T) -> Result> {"," if errors.is_empty() {"," Ok(value)"," Err(errors)",[2375,2376,2377,2378,2379,2380,2381,2382,2383,2384,2385],{"_1025":49,"_49":2401},{"_1025":2387,"_165":1412,"_1073":2400,"_1074":2390},{"_1025":49,"_49":2399},{"_1025":2387,"_165":1412,"_1073":2397,"_1074":2398},{"_1025":49,"_49":2396},{"_1025":2387,"_165":1145,"_1073":2394,"_1074":2395},{"_1025":2387,"_165":1145,"_1073":2392,"_1074":2393},{"_1025":49,"_49":2391},{"_1025":2387,"_165":1067,"_1073":2389,"_1074":2390},{"_1025":2387,"_165":1067,"_1073":309,"_1074":2388},{"_1025":49,"_49":2386},"\n* Committed the changes on the current branch: `c3c66c5` (`Reject duplicate obstruction failures`).\n* Created a pull request via the `make_pr` tool with title: `Reject duplicate obstruction failures`.\n\n**Testing**\n\n* ✅ `cargo test -p edict-syntax --test compiler_spine duplicate_effectful_obstruction_failure_rejects_before_core_lowering`\n* ✅ `cargo test -p edict-syntax --test compiler_spine effectful_write_intent_lowers_to_typed_core_from_file_backed_facts`\n* ✅ `cargo fmt --all --check`\n* ✅ `git diff --check`\n* ✅ `cargo xtask verify`","repo_file_citation",65,36,42,"\n* Updated the compiler-spine topic test plan with the new duplicate-obstruction-failure requirement and implemented evidence row. ",409,430,29,40,"\n* Added a regression source fixture and test for duplicate obstruction failures in the supported effectful `let ... else` shape. ",950,982,"\n* Updated effectful obstruction-map checking to emit `DuplicateObstructionFailure` when a failure key repeats, preventing silent `None` returns and avoiding dropped effect nodes before Core lowering. ",31,"### Summary\n\n* Added the stable `CompilerErrorKind::DuplicateObstructionFailure` kind for duplicate effect obstruction failures. ",{"_96":330,"_45":88,"_100":330,"_2404":2405,"_2406":2407,"_2408":2409,"_136":-5,"_123":2410},[87],"input_items",[2429,2430,2431,2432,2433,2434,2435,2436,2437],"external_post_config",{"_2411":2412,"_267":200,"_2413":309,"_278":-5,"_1045":261,"_2414":-5,"_2415":-5,"_2416":2417,"_2418":2419,"_2420":-5,"_2421":-5,"_2422":2423,"_2424":18,"_2425":62,"_2426":57,"_2427":18,"_2428":-5},"user_model_slug","slug",1782609209.392415,"installation_id",89912914,"pr_number","gitlab_service_account_project_id","review_trigger","comment_id",4823771666,"comment_type","issue","pr_write_guard_token","pending_pr_reaction_id","pending_comment_reaction_id",375604570,"comment_if_no_findings","comment_on_error","share_url","is_parallel_review","review_summary_id",{"_96":473,"_100":330,"_467":2455},{"_316":317,"_318":319,"_2452":323,"_2453":133,"_326":-5,"_96":2454},{"_96":2438,"_318":2451,"_165":-5,"_2440":-5,"_2441":-5},{"_96":2438,"_318":2450,"_165":-5,"_2440":-5,"_2441":-5},{"_96":2438,"_318":2449,"_165":1412,"_2440":2443,"_2441":2444},{"_96":2438,"_318":2447,"_165":1412,"_2440":2443,"_2441":2448},{"_96":2438,"_318":2445,"_165":1412,"_2440":2443,"_2441":2446},{"_96":2438,"_318":2442,"_165":1412,"_2440":2443,"_2441":2444},{"_96":2438,"_318":2439,"_165":-5,"_2440":-5,"_2441":-5},"pull_request_comment","\n### 💡 Codex Review\n\nHere are some automated review suggestions for this pull request.\n\n**Reviewed commit:** `be245bdc37`\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
","side","line","**_{_{![P2 Badge](https://img.shields.io/badge/P2-yellow?style=flat)}} Reject typed effect calls**\n\nFor a RHS such as `target.replace(input.id)`, the parser preserves the call's type arguments, but this destructure ignores them and the resulting `CoreNode::Effect` has no place to encode them. That lets unsupported typed effect calls compile while silently lowering to the same Core as `target.replace(input.id)`, so please reject nonempty `type_args` in this first effectful subset instead of dropping them.\n\nUseful? React with 👍 / 👎.","RIGHT",924,"**_{_{![P2 Badge](https://img.shields.io/badge/P2-yellow?style=flat)}} Stabilize obstruction binders by failure key**\n\nWhen the same obstruction-map arms are written in a different source order, this assigns `obstruction.N` before inserting into the keyed `BTreeMap`, so each failure can receive a different binder id even though the map entries are otherwise identical. Those binder ids are part of the canonical Core preimage, so semantically equivalent obstruction maps can hash differently; derive the binder identity from the sorted failure key or otherwise normalize before assigning ids.\n\nUseful? React with 👍 / 👎.",965,"**_{_{![P2 Badge](https://img.shields.io/badge/P2-yellow?style=flat)}} Emit an error for duplicate obstruction arms**\n\nWhen an obstruction map repeats a failure key, each arm can be valid but `BTreeMap::insert` overwrites the first arm, making `out.len() != arms.len()` return `None` without pushing any compiler error. If the bound effect result is not referenced later, the intent can still compile with the effect node omitted entirely, so malformed obstruction maps can silently drop a write effect; please report a stable type-check error for the duplicate instead of returning `None` silently.\n\nUseful? React with 👍 / 👎.",972,"**_{_{![P2 Badge](https://img.shields.io/badge/P2-yellow?style=flat)}} Reject chained effect calls**\n\nFor a RHS such as `target.replace(input.id)(input.id)`, `effect_coordinate` still resolves the effect as `target.replace` by recursing through an `Expr::Call` callee, and this match then consumes only the outer call's arguments. That accepts an unsupported nested-call shape and lowers it as a different one-argument effect, silently discarding the inner call; please require the effect callee to be a plain dotted path before lowering.\n\nUseful? React with 👍 / 👎.","@codex review","\n\n\n> [!WARNING]\n> ## Review limit reached\n> \n> `@flyingrobots`, we couldn't start this review because you've reached your PR review rate limit.\n> \n> More reviews will be available in 37 minutes and 59 seconds. [Learn how PR review limits work](https://docs.coderabbit.ai/management/plans#fair-usage-limits-policy).\n> \n> Your organization has run out of usage credits. Purchase more credits in the [billing tab](https://app.coderabbit.ai/settings/billing?tab=usage&orgId=4252c417-78a1-49cd-a607-68d1e6bdacc4) to continue.\n> \n>
\n>
⌛ How to resolve this issue?
\n> \n> After more reviews become available, a review can be triggered using the `@coderabbitai review` command as a PR comment. Alternatively, push new commits to this PR.\n> \n> To avoid repeated limits, reduce automatic review volume by pausing incremental auto-reviews earlier, using label-based review opt-in, excluding WIP or generated PR titles, or requesting reviews manually when the PR is ready. If your team needs uninterrupted high-volume reviews, an organization admin can enable usage-based credits.\n> \n>
\n> \n> \n>
\n>
🚦 How do rate limits work?
\n> \n> CodeRabbit enforces per-developer PR review limits for each organization. Most developers receive the normal plan review availability.\n> \n> \tFor 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 see our [Fair Usage Limits Policy](https://docs.coderabbit.ai/management/plans#fair-usage-limits-policy) for further information.\n> \n>
\n> \n>
\n>
ℹ️ Review info
\n> \n>
\n>
⚙️ Run configuration
\n> \n> **Configuration used**: Organization UI\n> \n> **Review profile**: ASSERTIVE\n> \n> **Plan**: Pro\n> \n> **Run ID**: `782247e0-2a4b-4c1e-9b80-0f715e80ae92`\n> \n>
\n> \n>
\n>
📥 Commits
\n> \n> Reviewing files that changed from the base of the PR and between 83205ca2d335444249a8b54e6c9287363fcc80a5 and be245bdc378be9cc4481094b653fcc8e5e301a77.\n> \n>
\n> \n>
\n>
📒 Files selected for processing (12)
\n> \n> * `CHANGELOG.md`\n> * `ROADMAP.md`\n> * `crates/edict-syntax/src/canonical.rs`\n> * `crates/edict-syntax/src/compiler.rs`\n> * `crates/edict-syntax/src/core_ir.rs`\n> * `crates/edict-syntax/src/lib.rs`\n> * `crates/edict-syntax/tests/canonical_encoding.rs`\n> * `crates/edict-syntax/tests/compiler_spine.rs`\n> * `docs/topics/compiler-spine/README.md`\n> * `docs/topics/compiler-spine/test-plan.md`\n> * `docs/topics/core-ir/README.md`\n> * `docs/topics/core-ir/test-plan.md`\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=63)! 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","base_ref","head_ref","pull_request_info",[2456],{"_1025":49,"_49":2457},"@codex self-audit found one blocker before merge:\n\n| ID | Severity | Source | File | Lines | Issue | Required mitigation |\n| --- | --- | --- | --- | --- | --- | --- |\n| SELF-001 | P1 | Self | `crates/edict-syntax/src/compiler.rs` | effectful obstruction-map lowering | Duplicate failure keys in a supported `let ... else { ... }` obstruction map can make `check_obstruction_handler` return `None` without pushing a compiler error; if the effect result is unused, the source can still compile while silently dropping the effect node. | Add a RED regression for duplicate obstruction failures in the supported effectful shape, then reject duplicates with a stable `CompilerErrorKind` before Core lowering. |",[2886,2887,2888],[],{"_1030":1031,"_49":1032,"_1033":1034},{"_1004":2877},{"_341":2876},{"_341":2493},{"_308":309,"_299":310,"_311":312,"_313":62,"_314":18,"_315":18,"_316":317,"_318":319,"_320":271,"_321":131,"_322":323,"_324":325,"_326":327,"_328":-5,"_329":-5,"_330":2492,"_332":333,"_334":335,"_336":337,"_338":339},{"_45":127,"_197":198,"_199":200,"_201":18,"_202":203,"_204":205,"_206":2481,"_208":-5,"_209":210,"_211":18,"_212":2482,"_214":203,"_215":203,"_216":2483,"_218":2484,"_220":2485,"_222":-5,"_223":224,"_225":226,"_227":228,"_229":2486,"_58":-5,"_123":231,"_232":2487,"_234":2488,"_236":237,"_238":18,"_239":18},{"_137":2474},[2468,2469,2470,2471,2472,2473],{"_152":175,"_154":169,"_156":170,"_158":167,"_160":176,"_162":163,"_164":35,"_165":-5},{"_152":174,"_154":169,"_156":170,"_158":167,"_160":171,"_162":163,"_164":35,"_165":-5},{"_152":172,"_154":169,"_156":170,"_158":167,"_160":173,"_162":163,"_164":35,"_165":-5},{"_152":168,"_154":169,"_156":170,"_158":167,"_160":171,"_162":163,"_164":35,"_165":-5},{"_152":166,"_154":155,"_156":157,"_158":167,"_160":161,"_162":163,"_164":35,"_165":-5},{"_152":153,"_154":155,"_156":157,"_158":159,"_160":161,"_162":163,"_164":35,"_165":-5},[2475,2476,2477],{"_181":2480,"_183":194},{"_181":2479,"_183":190},{"_181":2478,"_183":184},{"_185":186,"_96":187,"_123":188},{"_185":191,"_96":187,"_123":192},{"_185":195,"_96":187,"_123":196},{"_301":302,"_303":-5,"_304":-5,"_305":-5,"_306":-5,"_307":-5},[261],{"_261":2489},{"_243":244,"_245":246,"_247":248,"_249":250,"_251":252,"_253":254,"_255":256,"_257":258,"_259":260},{},[],{"_242":62},{"_240":62,"_241":203},{"_45":263,"_185":264,"_265":2490,"_267":200,"_268":269,"_270":271,"_272":273,"_274":275,"_276":277,"_278":67,"_279":18,"_280":-5,"_281":-5,"_282":-5,"_283":-5,"_284":-5,"_285":-5,"_164":286,"_287":-5,"_58":2491},{"_293":294,"_45":295,"_96":296,"_297":298,"_299":300},{"_289":18,"_290":18,"_291":18,"_292":18},{"_293":294,"_185":294,"_340":-5,"_297":298,"_45":295},[2494,2495,2496,2497,2498,2499,2500,2501,2502,2503,2504,2505,2506,2507,2508,2509,2510,2511,2512,2513,2514,2515,2516,2517,2518,2519,2520,2521,2522,2523,2524,2525,2526,2527,2528,2529,2530,2531,2532,2533,2534,2535,2536,2537,2538,2539,2540,2541,2542,2543,2544,2545,2546,2547,2548,2549,2550,2551,2552,2553,2554,2555,2556,2557,2558,2559,2560,2561,2562,2563,2564,2565,2566,2567,2568,2569,2570,2571,2572,2573,2574,2575,2576,2577,2578,2579,2580,2581,2582,2583,2584,2585,2586,2587,2588,2589,2590,2591,2592],{"_158":977,"_443":2872},{"_158":458,"_443":2869},{"_158":967,"_443":2866},{"_158":462,"_443":2861},{"_158":462,"_443":2856},{"_158":462,"_443":2852},{"_158":477,"_443":2847},{"_158":477,"_443":2843},{"_158":462,"_443":2840},{"_158":462,"_443":2838},{"_158":477,"_443":2834},{"_158":462,"_443":2832},{"_158":462,"_443":2830},{"_158":477,"_443":2825},{"_158":462,"_443":2823},{"_158":462,"_443":2821},{"_158":477,"_443":2814},{"_158":462,"_443":2812},{"_158":477,"_443":2808},{"_158":462,"_443":2804},{"_158":462,"_443":2802},{"_158":477,"_443":2798},{"_158":462,"_443":2796},{"_158":462,"_443":2794},{"_158":477,"_443":2788},{"_158":462,"_443":2786},{"_158":477,"_443":2782},{"_158":462,"_443":2778},{"_158":462,"_443":2776},{"_158":462,"_443":2774},{"_158":477,"_443":2770},{"_158":477,"_443":2766},{"_158":462,"_443":2762},{"_158":462,"_443":2760},{"_158":462,"_443":2758},{"_158":462,"_443":2756},{"_158":462,"_443":2754},{"_158":462,"_443":2752},{"_158":462,"_443":2750},{"_158":462,"_443":2748},{"_158":462,"_443":2746},{"_158":462,"_443":2744},{"_158":462,"_443":2742},{"_158":477,"_443":2738},{"_158":477,"_443":2734},{"_158":462,"_443":2731},{"_158":462,"_443":2729},{"_158":462,"_443":2727},{"_158":477,"_443":2723},{"_158":477,"_443":2719},{"_158":462,"_443":2716},{"_158":462,"_443":2714},{"_158":462,"_443":2712},{"_158":462,"_443":2710},{"_158":462,"_443":2708},{"_158":477,"_443":2704},{"_158":477,"_443":2700},{"_158":462,"_443":2697},{"_158":462,"_443":2695},{"_158":462,"_443":2693},{"_158":462,"_443":2691},{"_158":462,"_443":2689},{"_158":462,"_443":2687},{"_158":462,"_443":2685},{"_158":462,"_443":2683},{"_158":462,"_443":2681},{"_158":462,"_443":2679},{"_158":462,"_443":2677},{"_158":462,"_443":2675},{"_158":462,"_443":2673},{"_158":462,"_443":2671},{"_158":462,"_443":2669},{"_158":462,"_443":2667},{"_158":462,"_443":2665},{"_158":462,"_443":2663},{"_158":462,"_443":2661},{"_158":462,"_443":2659},{"_158":462,"_443":2657},{"_158":477,"_443":2653},{"_158":477,"_443":2649},{"_158":462,"_443":2646},{"_158":462,"_443":2644},{"_158":477,"_443":2640},{"_158":462,"_443":2638},{"_158":462,"_443":2636},{"_158":477,"_443":2632},{"_158":462,"_443":2630},{"_158":462,"_443":2628},{"_158":477,"_443":2621},{"_158":462,"_443":2619},{"_158":477,"_443":2615},{"_158":462,"_443":2612},{"_158":462,"_443":2610},{"_158":477,"_443":2606},{"_158":462,"_443":2604},{"_158":477,"_443":2602},{"_158":462,"_443":2598},{"_158":458,"_443":2596},{"_158":442,"_443":2593},{"_445":446,"_91":2594},{"_448":449,"_450":451,"_107":-5,"_45":452,"_453":2595,"_455":456,"_457":117},[],{"_457":2597,"_445":446},{"_96":461},{"_464":2599,"_445":446,"_466":452},{"_467":2600,"_469":-5,"_45":-5,"_470":-5,"_471":472,"_100":97,"_96":473},[2601],{"_49":475,"_96":476},{"_464":2603,"_445":446,"_466":452},{"_45":480,"_471":472,"_49":475,"_96":481},{"_464":2605,"_445":446,"_466":452},{"_484":485,"_45":-5,"_470":-5,"_486":487,"_96":488},{"_464":2607,"_445":446,"_466":452},{"_491":492,"_493":494,"_495":2608,"_497":498,"_450":35,"_499":35,"_45":485,"_500":501,"_502":503,"_457":117,"_96":504},[2609],{"_493":506,"_96":507},{"_464":2611,"_445":446,"_466":452},{"_510":511,"_484":485,"_45":-5,"_470":-5,"_185":512,"_513":-5,"_96":514},{"_464":2613,"_445":446,"_466":452},{"_467":-5,"_517":518,"_45":-5,"_470":-5,"_519":2614,"_96":521},[],{"_464":2616,"_445":446,"_466":452},{"_467":2617,"_45":525,"_519":2618,"_96":521},[],[],{"_464":2620,"_445":446,"_466":452},{"_484":529,"_45":-5,"_470":-5,"_486":530,"_96":488},{"_464":2622,"_445":446,"_466":452},{"_533":-5,"_510":2623,"_450":535,"_107":-5,"_45":529,"_536":-5,"_537":-5,"_538":-5,"_539":2624,"_541":542,"_457":117,"_543":542,"_96":544},{"_316":549,"_318":550},{"_545":-5,"_467":2625,"_547":2626},[2627],{"_316":549,"_318":550},{"_96":49,"_49":552},{"_464":2629,"_445":446,"_466":452},{"_510":555,"_484":529,"_45":-5,"_470":-5,"_185":542,"_513":556,"_96":514},{"_464":2631,"_445":446,"_466":452},{"_484":559,"_45":-5,"_470":-5,"_486":560,"_96":488},{"_464":2633,"_445":446,"_466":452},{"_491":563,"_493":564,"_495":2634,"_497":498,"_450":35,"_499":35,"_45":559,"_500":566,"_502":503,"_457":117,"_96":504},[2635],{"_493":568,"_96":507},{"_464":2637,"_445":446,"_466":452},{"_510":571,"_484":559,"_45":-5,"_470":-5,"_185":512,"_513":-5,"_96":514},{"_464":2639,"_445":446,"_466":452},{"_484":574,"_45":-5,"_470":-5,"_486":575,"_96":488},{"_464":2641,"_445":446,"_466":452},{"_491":578,"_493":579,"_495":2642,"_497":498,"_450":35,"_499":35,"_45":574,"_500":581,"_502":503,"_457":117,"_96":504},[2643],{"_493":583,"_96":507},{"_464":2645,"_445":446,"_466":452},{"_510":586,"_484":574,"_45":-5,"_470":-5,"_185":512,"_513":-5,"_96":514},{"_464":2647,"_445":446,"_466":452},{"_467":-5,"_517":589,"_45":-5,"_470":-5,"_519":2648,"_96":521},[],{"_464":2650,"_445":446,"_466":452},{"_467":2651,"_45":594,"_519":2652,"_96":521},[],[],{"_464":2654,"_445":446,"_466":452},{"_491":598,"_493":599,"_495":2655,"_497":498,"_450":601,"_499":35,"_45":602,"_500":603,"_502":503,"_457":117,"_96":504},[2656],{"_493":605,"_96":507},{"_464":2658,"_445":446,"_466":452},{"_484":608,"_45":-5,"_470":-5,"_486":609,"_96":488},{"_464":2660,"_445":446,"_466":452},{"_510":612,"_484":608,"_45":-5,"_470":-5,"_185":613,"_513":-5,"_96":514},{"_464":2662,"_445":446,"_466":452},{"_484":616,"_45":-5,"_470":-5,"_486":617,"_96":488},{"_464":2664,"_445":446,"_466":452},{"_510":620,"_484":616,"_45":-5,"_470":-5,"_185":613,"_513":-5,"_96":514},{"_464":2666,"_445":446,"_466":452},{"_484":623,"_45":-5,"_470":-5,"_486":624,"_96":488},{"_464":2668,"_445":446,"_466":452},{"_510":620,"_484":623,"_45":-5,"_470":-5,"_185":613,"_513":-5,"_96":514},{"_464":2670,"_445":446,"_466":452},{"_484":629,"_45":-5,"_470":-5,"_486":630,"_96":488},{"_464":2672,"_445":446,"_466":452},{"_510":612,"_484":629,"_45":-5,"_470":-5,"_185":613,"_513":-5,"_96":514},{"_464":2674,"_445":446,"_466":452},{"_484":635,"_45":-5,"_470":-5,"_486":636,"_96":488},{"_464":2676,"_445":446,"_466":452},{"_510":612,"_484":635,"_45":-5,"_470":-5,"_185":613,"_513":-5,"_96":514},{"_464":2678,"_445":446,"_466":452},{"_484":641,"_45":-5,"_470":-5,"_486":642,"_96":488},{"_464":2680,"_445":446,"_466":452},{"_510":612,"_484":641,"_45":-5,"_470":-5,"_185":613,"_513":-5,"_96":514},{"_464":2682,"_445":446,"_466":452},{"_484":647,"_45":-5,"_470":-5,"_486":648,"_96":488},{"_464":2684,"_445":446,"_466":452},{"_510":612,"_484":647,"_45":-5,"_470":-5,"_185":613,"_513":-5,"_96":514},{"_464":2686,"_445":446,"_466":452},{"_484":653,"_45":-5,"_470":-5,"_486":654,"_96":488},{"_464":2688,"_445":446,"_466":452},{"_510":612,"_484":653,"_45":-5,"_470":-5,"_185":613,"_513":-5,"_96":514},{"_464":2690,"_445":446,"_466":452},{"_484":659,"_45":-5,"_470":-5,"_486":660,"_96":488},{"_464":2692,"_445":446,"_466":452},{"_510":612,"_484":659,"_45":-5,"_470":-5,"_185":613,"_513":-5,"_96":514},{"_464":2694,"_445":446,"_466":452},{"_484":602,"_45":-5,"_470":-5,"_486":665,"_96":488},{"_464":2696,"_445":446,"_466":452},{"_510":668,"_484":602,"_45":-5,"_470":-5,"_185":512,"_513":-5,"_96":514},{"_464":2698,"_445":446,"_466":452},{"_467":-5,"_517":671,"_45":-5,"_470":-5,"_519":2699,"_96":521},[],{"_464":2701,"_445":446,"_466":452},{"_467":2702,"_45":676,"_519":2703,"_96":521},[],[],{"_464":2705,"_445":446,"_466":452},{"_491":680,"_493":681,"_495":2706,"_497":498,"_450":683,"_499":35,"_45":684,"_500":685,"_502":503,"_457":117,"_96":504},[2707],{"_493":687,"_96":507},{"_464":2709,"_445":446,"_466":452},{"_484":690,"_45":-5,"_470":-5,"_486":691,"_96":488},{"_464":2711,"_445":446,"_466":452},{"_510":694,"_484":690,"_45":-5,"_470":-5,"_185":613,"_513":-5,"_96":514},{"_464":2713,"_445":446,"_466":452},{"_484":684,"_45":-5,"_470":-5,"_486":697,"_96":488},{"_464":2715,"_445":446,"_466":452},{"_510":700,"_484":684,"_45":-5,"_470":-5,"_185":512,"_513":-5,"_96":514},{"_464":2717,"_445":446,"_466":452},{"_467":-5,"_517":703,"_45":-5,"_470":-5,"_519":2718,"_96":521},[],{"_464":2720,"_445":446,"_466":452},{"_467":2721,"_45":708,"_519":2722,"_96":521},[],[],{"_464":2724,"_445":446,"_466":452},{"_491":712,"_493":713,"_495":2725,"_497":498,"_450":715,"_499":35,"_45":716,"_500":717,"_502":503,"_457":117,"_96":504},[2726],{"_493":719,"_96":507},{"_464":2728,"_445":446,"_466":452},{"_484":716,"_45":-5,"_470":-5,"_486":722,"_96":488},{"_464":2730,"_445":446,"_466":452},{"_510":725,"_484":716,"_45":-5,"_470":-5,"_185":512,"_513":-5,"_96":514},{"_464":2732,"_445":446,"_466":452},{"_467":-5,"_517":728,"_45":-5,"_470":-5,"_519":2733,"_96":521},[],{"_464":2735,"_445":446,"_466":452},{"_467":2736,"_45":733,"_519":2737,"_96":521},[],[],{"_464":2739,"_445":446,"_466":452},{"_491":737,"_493":738,"_495":2740,"_497":498,"_450":740,"_499":35,"_45":741,"_500":742,"_502":503,"_457":117,"_96":504},[2741],{"_493":744,"_96":507},{"_464":2743,"_445":446,"_466":452},{"_484":747,"_45":-5,"_470":-5,"_486":748,"_96":488},{"_464":2745,"_445":446,"_466":452},{"_510":751,"_484":747,"_45":-5,"_470":-5,"_185":613,"_513":-5,"_96":514},{"_464":2747,"_445":446,"_466":452},{"_484":754,"_45":-5,"_470":-5,"_486":755,"_96":488},{"_464":2749,"_445":446,"_466":452},{"_510":751,"_484":754,"_45":-5,"_470":-5,"_185":613,"_513":-5,"_96":514},{"_464":2751,"_445":446,"_466":452},{"_484":760,"_45":-5,"_470":-5,"_486":761,"_96":488},{"_464":2753,"_445":446,"_466":452},{"_510":751,"_484":760,"_45":-5,"_470":-5,"_185":613,"_513":-5,"_96":514},{"_464":2755,"_445":446,"_466":452},{"_484":766,"_45":-5,"_470":-5,"_486":767,"_96":488},{"_464":2757,"_445":446,"_466":452},{"_510":751,"_484":766,"_45":-5,"_470":-5,"_185":613,"_513":-5,"_96":514},{"_464":2759,"_445":446,"_466":452},{"_484":741,"_45":-5,"_470":-5,"_486":772,"_96":488},{"_464":2761,"_445":446,"_466":452},{"_510":775,"_484":741,"_45":-5,"_470":-5,"_185":512,"_513":-5,"_96":514},{"_464":2763,"_445":446,"_466":452},{"_467":-5,"_517":778,"_45":-5,"_470":-5,"_519":2764,"_96":521},[2765],{"_49":781,"_96":782},{"_464":2767,"_445":446,"_466":452},{"_467":2768,"_45":786,"_519":2769,"_96":521},[],[781],{"_464":2771,"_445":446,"_466":452},{"_491":790,"_493":791,"_495":2772,"_497":498,"_450":793,"_499":794,"_45":795,"_500":796,"_502":503,"_457":797,"_96":504},[2773],{"_493":799,"_96":507},{"_464":2775,"_445":446,"_466":452},{"_484":795,"_45":-5,"_470":-5,"_486":802,"_96":488},{"_464":2777,"_445":446,"_466":452},{"_510":805,"_484":795,"_45":-5,"_470":-5,"_185":512,"_513":-5,"_96":514},{"_464":2779,"_445":446,"_466":452},{"_467":-5,"_517":808,"_45":-5,"_470":-5,"_519":2780,"_96":521},[2781],{"_49":811,"_96":782},{"_464":2783,"_445":446,"_466":452},{"_467":2784,"_45":815,"_519":2785,"_96":521},[],[811],{"_464":2787,"_445":446,"_466":452},{"_484":819,"_45":-5,"_470":-5,"_486":820,"_96":488},{"_464":2789,"_445":446,"_466":452},{"_491":823,"_493":824,"_495":2790,"_497":498,"_450":35,"_499":35,"_45":819,"_500":826,"_502":503,"_457":117,"_96":504},[2791,2792,2793],{"_493":835,"_185":836,"_165":837,"_96":833},{"_493":834,"_185":831,"_165":832,"_96":833},{"_493":830,"_185":831,"_165":832,"_96":833},{"_464":2795,"_445":446,"_466":452},{"_510":840,"_484":819,"_45":-5,"_470":-5,"_185":512,"_513":-5,"_96":514},{"_464":2797,"_445":446,"_466":452},{"_484":843,"_45":-5,"_470":-5,"_486":844,"_96":488},{"_464":2799,"_445":446,"_466":452},{"_491":847,"_493":848,"_495":2800,"_497":498,"_450":35,"_499":35,"_45":843,"_500":850,"_502":503,"_457":117,"_96":504},[2801],{"_493":852,"_165":831,"_853":854,"_96":855},{"_464":2803,"_445":446,"_466":452},{"_510":858,"_484":843,"_45":-5,"_470":-5,"_185":512,"_513":-5,"_96":514},{"_464":2805,"_445":446,"_466":452},{"_467":-5,"_517":861,"_45":-5,"_470":-5,"_519":2806,"_96":521},[2807],{"_49":864,"_96":782},{"_464":2809,"_445":446,"_466":452},{"_467":2810,"_45":868,"_519":2811,"_96":521},[],[864],{"_464":2813,"_445":446,"_466":452},{"_484":872,"_45":-5,"_470":-5,"_486":873,"_96":488},{"_464":2815,"_445":446,"_466":452},{"_491":876,"_493":877,"_495":2816,"_497":498,"_450":35,"_499":35,"_45":872,"_500":879,"_502":503,"_457":117,"_96":504},[2817,2818,2819,2820],{"_493":891,"_185":831,"_165":832,"_96":833},{"_493":890,"_185":888,"_165":889,"_96":833},{"_493":887,"_185":888,"_165":889,"_96":833},{"_493":884,"_185":885,"_165":886,"_96":833},{"_464":2822,"_445":446,"_466":452},{"_510":894,"_484":872,"_45":-5,"_470":-5,"_185":512,"_513":-5,"_96":514},{"_464":2824,"_445":446,"_466":452},{"_484":897,"_45":-5,"_470":-5,"_486":898,"_96":488},{"_464":2826,"_445":446,"_466":452},{"_491":901,"_493":902,"_495":2827,"_497":498,"_450":35,"_499":35,"_45":897,"_500":904,"_502":503,"_457":117,"_96":504},[2828,2829],{"_493":909,"_185":831,"_165":832,"_96":833},{"_493":907,"_165":888,"_853":908,"_96":855},{"_464":2831,"_445":446,"_466":452},{"_510":912,"_484":897,"_45":-5,"_470":-5,"_185":512,"_513":-5,"_96":514},{"_464":2833,"_445":446,"_466":452},{"_484":915,"_45":-5,"_470":-5,"_486":916,"_96":488},{"_464":2835,"_445":446,"_466":452},{"_491":919,"_493":920,"_495":2836,"_497":498,"_450":35,"_499":35,"_45":915,"_500":922,"_502":503,"_457":117,"_96":504},[2837],{"_493":924,"_96":507},{"_464":2839,"_445":446,"_466":452},{"_510":927,"_484":915,"_45":-5,"_470":-5,"_185":512,"_513":-5,"_96":514},{"_464":2841,"_445":446,"_466":452},{"_467":-5,"_517":930,"_45":-5,"_470":-5,"_519":2842,"_96":521},[],{"_464":2844,"_445":446,"_466":452},{"_467":2845,"_45":935,"_519":2846,"_96":521},[],[],{"_464":2848,"_445":446,"_466":452},{"_939":-5,"_467":2849,"_45":941,"_96":942},[2850],{"_49":944,"_945":2851,"_96":49},[],{"_464":2853,"_445":446,"_466":452},{"_467":2854,"_469":-5,"_45":-5,"_470":-5,"_471":-5,"_100":330,"_96":473},[2855],{"_49":944,"_96":951},{"_464":2857,"_445":446,"_466":452},{"_467":2858,"_469":-5,"_45":-5,"_470":-5,"_471":-5,"_100":330,"_96":473},[2859,2860],{"_49":958,"_96":951},{"_49":957,"_96":951},{"_464":2862,"_445":446,"_466":452},{"_467":2863,"_469":-5,"_45":-5,"_470":-5,"_471":-5,"_100":962,"_96":473},[2864,2865],{"_49":966,"_96":951},{"_49":965,"_96":951},{"_445":446,"_91":2867},{"_107":-5,"_45":452,"_453":2868,"_455":456,"_457":971},[],{"_457":2870,"_445":446},{"_974":2871,"_96":976},[],{"_979":2873},{"_981":-5,"_982":-5,"_983":984,"_985":456,"_497":498,"_986":18,"_987":-5,"_988":-5,"_989":-5,"_990":991,"_45":446,"_992":993,"_185":-5,"_994":-5,"_165":995,"_996":203,"_997":-5,"_502":998,"_457":2874,"_1000":-5,"_81":2875,"_1002":456},{"_96":461},[],[],[2878],{"_45":1007,"_1008":2879,"_1010":1011,"_1012":1011,"_467":2880,"_457":1014,"_469":-5,"_1015":35,"_1016":2881,"_1018":1019,"_1020":-5},{"_100":330,"_185":-5,"_1016":2885},{"_1025":49,"_1026":2884},{"_1021":2882},{"_1023":2883},[],[1028],{},{"_96":473,"_100":97,"_467":2905},{"_96":1061,"_1062":2892},{"_96":1038,"_1039":549,"_1040":1041,"_1042":2889,"_1044":-5},{"_96":1042,"_1045":498,"_132":133,"_1046":-5,"_329":1047,"_1048":2890,"_1050":1051,"_1052":1053,"_1054":794,"_1055":549,"_1056":2891},{"_1058":1059,"_1060":-5},[],[2893,2894,2895],{"_165":1412,"_1068":-5,"_1069":2902,"_1071":-5},{"_165":1145,"_1068":-5,"_1069":2899,"_1071":-5},{"_165":1067,"_1068":-5,"_1069":2896,"_1071":-5},[2897],{"_1073":794,"_1074":1075,"_467":2898,"_1077":62},[1078,203,1079,203,1080,203,1081,203,1082,1083,1084,1085,1086,1087,1088,1089,203,1090,203,1091,1092,1093,1094,1095,203,1096,203,1097,1098,1099,1100,1101,1102,1103,1104,1105,1106,1107,1108,1109,1110,1111,203,1112,203,1113,1114,1115,203,1116,203,1117,1118,1119,1120,1121,1122,1123,1124,1125,1126,1127,1128,1129,1130,203,1131,203,1132,1133,1134,1135,1136,1137,1138,203,1139,203,1140,1141,1142,1143,1144],[2900],{"_1073":794,"_1074":1148,"_467":2901,"_1077":62},[1150,1151,1152,1153,203,1154,1155,203,1156,1157,1158,1159,1160,203,1161,1162,1163,1164,1165,1166,1167,1168,1169,1170,1171,1172,1173,203,1174,1163,1164,1165,1166,1167,1168,1169,1170,1175,1172,1173,1176,1163,1165,1166,1167,1168,1169,1177,1178,1179,1180,1179,1181,1182,1173,203,1183,1184,1185,1186,1187,1188,1189,1190,1191,1192,1193,1194,203,1195,1196,1197,1198,203,1199,1200,1201,1202,1203,1204,1205,1206,203,1207,1203,1208,1209,1210,1211,1212,1213,1214,1215,1206,203,1216,1217,1218,1219,1203,1220,1221,1222,1223,1215,1206,203,1224,1203,1225,1226,1206,1227,1228,203,1229,1230,1231,1232,1233,1234,1235,1236,1237,1238,1239,1240,1194,203,1195,1241,1197,1242,1243,1203,1244,1226,1206,203,1245,1203,1246,1247,1206,203,1248,1249,1194,203,1195,1250,1197,1251,1252,203,1253,1203,1254,1255,1256,1257,1258,1259,1259,1260,1206,1194,203,1195,1261,1262,1263,1264,1265,1266,1267,1268,1269,1270,1271,1272,1273,1186,1274,1188,1275,1276,1277,1192,1278,203,1279,1280,203,1281,1282,1283,1281,1282,1284,1194,203,1195,1285,1262,1263,1286,1287,1265,1266,1267,1268,1269,1270,1271,1272,1273,1186,1274,1188,1275,1276,1277,1192,1278,203,1279,1288,203,1281,1282,1283,1281,1282,1284,1194,203,1195,1289,1290,1291,1242,1292,203,1281,1282,1283,1281,1282,1293,1194,203,1195,1294,1295,1291,1242,1296,203,1281,1282,1283,1281,1282,1293,1194,203,1195,1297,1262,1263,1298,1299,1300,1301,1266,1267,1302,1303,1269,1270,1271,1272,1304,1305,1306,1186,1274,1188,1275,1276,1277,1192,1278,203,1307,1308,203,1281,1282,1283,1203,1254,1255,1256,1257,1309,1206,1194,203,1195,1310,1262,1263,1298,1299,1300,1301,1266,1267,1311,1303,1269,1270,1271,1272,1304,1305,1306,1186,1274,1188,1275,1276,1277,1192,1278,203,1307,1308,203,1281,1282,1283,1203,1254,1255,1256,1257,1309,1206,1194,203,1195,1312,1313,1314,1315,1316,1317,1206,1318,1319,1320,1321,1322,1323,1324,203,1203,1225,1325,1206,1238,203,1326,1327,1328,1208,1329,1330,1331,1332,1333,203,1334,1335,1336,1337,203,1338,1339,1333,1340,1341,203,1342,1343,1344,1345,1346,1347,1229,1348,1349,1232,1194,203,1195,1350,1351,1314,1315,1316,1317,1206,1318,1319,1320,1321,1352,1353,203,1251,1354,203,1281,1282,1283,1281,1282,1355,1194,203,1195,1356,1357,1314,1315,1316,1317,1206,1318,1319,1320,1321,1358,203,1251,1359,203,1281,1282,1283,1281,1282,1360,1361,1282,1362,1194,203,1195,1363,1197,1198,203,1364,1365,1366,1282,1367,1199,1194,203,1368,1369,1370,1371,1232,1372,1373,1374,1375,1376,1194,203,1377,1378,1379,1380,1194,203,1381,1382,1383,1384,1385,1386,1387,1388,1389,1390,1391,1392,1393,1215,1394,1395,1396,1397,1194,203,1398,1382,1383,1384,1399,1400,1401,1388,1402,1403,1390,1404,1405,1215,1394,1406,1390,1407,1408,1409,1410,1215,1411,1397,1194],[2903],{"_1073":794,"_1074":1415,"_467":2904,"_1077":62},[1417,1151,1418,1419,203,1420,203,1421,1422,1423,1424,1160,1425,1426,1427,1428,1160,1429,1430,1431,203,1432,1433,1434,1435,1436,1437,1438,1194,203,1439,1433,1440,1435,1441,1442,1443,1444,1445,1446,1447,1448,1194,203,1449,1450,1451,1452,1453,1454,1455,1194,203,1456,1457,1458,1459,1460,1461,1462,1463,1464,1465,1194,203,1466,1467,1468,1469,1374,203,1467,1470,1471,1472,1473,1474,1475,1476,1477,1374,203,1467,1478,1471,1472,1479,1480,1481,1482,1483,1484,1485,1486,1278,1477,1374,203,1467,1487,1471,1488,1489,1474,1490,1491,1477,1374,203,1467,1492,1493,1477,1374,1194,203,1494,1450,1495,1496,1497,1498,1499,1500,1194,203,1501,1450,1502,1503,1504,1194,203,1505,1450,1506,1503,1507,1508,1509,1510,1194,203,1511,1450,1512,1496,1497,1513,1514,1194,203,1515,1450,1516,1503,1517,1518,1507,1509,1519,1520,1521,1194,203,1522,1457,1523,1524,1525,1526,1527,1528,1529,1254,1530,1531,1532,1533,1534,1535,1536,1537,1538,1539,1540,1541,1194,203,1542,1457,1523,1543,1544,1545,1526,1527,1546,1547,1548,1549,1550,1551,203,1552,1553,1554,1555,1556,1557,1558,1559,1560,1561,1562,1563,1564,1565,1566,1567,1568,1215,1374,203,1569,1570,1571,1572,1573,1574,1575,1576,1577,1270,1194,203,1578,1457,1523,1579,1580,1581,1582,1194,203,1583,1457,1523,1584,1585,1586,1587,1588,1589,1282,1590,1591,1592,1593,1594,1595,1596,1597,1598,1599,1600,1601,1602,1603,1604,1605,1606,1607,1608,1609,1610,1611,1194,203,1612,1613,1614,1615,1616,1617,1618,1619,1620,1621,1622,1568,1623,1624,1625,1623,1624,1626,1627,1628,1629,1630,1192,1631,1632,1374,1633,1194,203,1634,1635,1636,1637,1638,1639,1374,1194,203,1640,1641,1527,1642,1643,1644,1645,1646,1647,1648,1649,1650,1651,1652,1653,1654,1655,1656,1657,1658,1659,1660,1567,1568,1661,1650,1662,1663,1657,1664,1659,1660,1567,1568,1665,1559,1560,1666,1667,1563,1668,1215,1374,203,1669,1670,1671,1672,1673,1674,1611,1194,203,1675,1676,1677,1678,1679,1680,1270,1194,203,1450,1681,1682,1683,1194,203,1450,1684,1685,1686,1687,1688,1194,203,1689,1690,1691,1692,1693,1694,1192,1695,1696,1697,1192,1698,1699,1700,1701,1702,1192,1215,1374,1194,203,1703,1704,1705,1706,1194,203,1707,1708,1709,1710,1711,1712,1194,203,1713,1714,1715,1716,1717,1718,1719,1194,203,1720,1721,1722,1723,1724,1725,1194,203,1726,1727,1728,1729,1730,1731,1732,1215,1374,203,1733,1734,1735,1736,1737,1738,1568,1215,1739,1740,1741,1742,1576,1624,1743,1374,203,1744,1745,1746,1747,1748,1749,1750,1215,1374,203,1751,1752,1753,1754,1755,1756,1757,1619,1758,1759,1622,1760,1568,1215,1374,203,1761,1762,1763,1764,1765,1766,1767,1768,1769,1770,1771,1772,1747,1748,1773,1774,1215,1775,1776,1777,1778,1536,1779,1780,1781,1782,1783,1784,1785,1786,1215,1374,203,1787,1762,1788,1766,1789,1767,1790,1791,1792,1793,1794,1795,1796,1797,1798,1799,1800,1801,1802,1567,1568,1803,1804,1805,1806,1807,1808,1809,1810,1756,1757,1619,1811,1812,1622,1760,1568,1215,1374,203,1813,1762,1814,1766,1789,1767,1815,1780,1781,1560,1816,1784,1785,1817,1624,1818,1819,1820,1821,1822,1823,1824,1825,1826,1192,1602,1374,203,1827,1828,1829,1780,1781,1560,1830,1831,1785,1817,1215,1832,1833,1255,1834,1390,1780,1781,1560,1835,1831,1785,1817,1215,203,1836,1837,1838,1839,1840,1841,1842,1624,1843,1844,1845,1846,203,1847,1848,1849,1850,1851,1852,1853,1854,1855,1602,1374,203,1856,1762,1857,1858,1859,1860,1861,1862,1863,1864,1865,1866,1867,1868,1869,1870,1656,1871,1567,1568,1215,1872,1374,203,1873,1762,1874,1875,1876,1877,1878,1828,1879,203,1880,1881,1215,203,1882,1883,1884,1885,1886,1536,1779,1780,1781,1782,1887,1831,1785,1786,1215,1374,203,1888,1762,1874,1875,1889,1876,1877,1890,1891,1892,1893,1894,1895,1896,1897,1784,1898,1899,1900,1901,1902,1903,1904,1905,1600,1906,1907,1908,1909,1910,1911,1912,1913,1914,1915,1795,1796,1797,1916,1917,1918,1801,1567,1568,1919,1920,1921,1567,1568,1922,1923,1924,1925,1926,1215,1374,203,1927,1762,1874,1928,1876,1877,1890,1891,1929,1930,1779,1931,1215,1374,203,1932,1762,1874,1928,1876,1877,1890,1891,1933,1934,1215,1935,1934,1624,1936,1934,1624,1937,1938,1939,1940,1632,1941,1942,1374,203,1943,1762,1944,1945,1767,1946,1947,1624,1948,1949,1950,1779,1780,1781,1782,1951,1952,1785,1786,1215,1374,203,1953,1762,1874,1928,1954,1876,1877,1890,1891,1955,1934,1215,1956,1934,1624,1957,1934,1624,1937,1941,1958,1959,1960,1961,1962,1963,1964,1934,1624,1965,1939,1966,1967,1968,1632,1942,1374,203,1969,1970,1971,1972,1624,1973,1780,1781,1974,1975,1784,1785,1972,1624,1976,1780,1781,1974,1977,1978,1979,1980,1784,1785,1972,1624,1981,1982,1779,1780,1781,1983,1977,1984,1979,1980,1784,1785,1985,1215,1374,203,1986,1987,1780,1781,1560,1988,1784,1785,1817,1624,1989,1374,203,1990,1762,1991,1858,1766,1992,1993,1994,1971,1817,1624,1995,1780,1781,1560,1996,1784,1785,1817,1624,1997,1998,1374,203,1999,1762,1954,2000,2001,1877,1766,2002,2003,1780,1781,1560,2004,1784,1785,1817,1624,2005,1768,2006,2007,2008,1756,1757,2009,2010,2011,1622,1747,1568,2012,2013,2014,2008,1747,1748,2015,2016,2017,1215,2018,2019,1779,1786,1215,1374,203,2020,1762,2000,2021,2022,2023,2024,1780,1781,1560,2025,2026,1785,1817,1215,2027,2028,2029,2030,1624,2031,2032,1374,203,2033,2034,1780,1781,1560,2035,2036,1785,1817,1215,2037,2038,2039,2040,1602,1374,203,2041,2005,2042,2043,2044,1568,1215,2045,2046,2047,2048,2049,2050,2051,2052,1568,2053,2054,2055,2056,1567,1568,2057,2058,1568,2059,2060,2061,1568,2062,2063,2064,1567,1568,2065,2066,2067,2068,2069,2070,1568,2071,2072,2073,2074,2075,2067,2076,2077,2078,1568,2079,2080,2081,1567,1568,2082,2083,2067,2084,2085,2086,1567,1568,1215,2087,1374,203,2088,1762,1874,2089,2090,2091,2092,2093,1568,2094,1215,1374,203,2095,1762,1874,2096,2090,2005,2097,2098,1215,2099,2087,1374,203,2100,1762,1874,2101,2090,2005,2097,2098,1215,2087,1374,203,2102,1762,1874,1889,2090,1892,1893,2103,2067,2104,2105,1795,2106,1567,1568,2107,2108,2109,2110,2111,2112,2073,1897,2075,2067,2113,2114,2115,2116,1567,2117,1568,2118,2119,2120,2117,1568,2121,1215,1374,203,2122,1762,1874,2123,2090,2124,2125,2126,1215,1374,203,2127,2128,2129,2130,2131,2132,2133,1374,203,2134,1762,2135,1858,2136,2045,2137,2138,2139,2140,1557,2141,2142,2143,2075,2144,2145,2146,2147,2148,2149,1795,1796,1797,2150,2151,2152,1801,1802,1567,1568,2153,1756,1757,2154,2155,2156,1622,1760,1568,1215,1374,203,2157,1762,2158,2159,2160,1858,1766,2136,2161,2162,2163,2164,2165,2166,2167,1536,1779,1780,1781,1782,2168,1784,1785,1786,1215,1374,203,2169,1762,2135,1858,2170,2045,2171,2172,2173,2174,2175,2176,2177,1600,1557,2178,2179,2180,2181,2182,2175,2183,2184,2185,2186,1600,1557,2187,2188,2189,2190,2191,1784,2192,2193,2194,2195,2196,2197,2198,2199,2200,2201,1756,1757,1619,2202,2156,1622,1760,1568,1215,1374,203,2203,1762,2204,1766,1858,2170,2205,2206,2207,2208,1600,2209,1536,1779,1780,1781,2210,2211,1784,1785,1786,1215,1374,203,2212,1762,2213,2214,1766,1858,2170,2215,2216,1780,1781,1782,2217,1784,1785,1817,1624,2218,2206,2219,2220,2221,1600,2222,1536,1779,1780,1781,2223,2224,1784,1785,1786,1215,1374,203,2225,1762,2159,2160,1858,1766,2170,2161,2162,2226,2227,2228,1780,1781,1782,2229,1784,1785,1817,1624,2230,2231,2232,2233,2234,2235,2236,1192,2237,2238,2239,1192,1602,1374,203,2240,1762,2241,1858,1766,2170,2242,2243,2244,2245,2246,2247,2248,2249,1567,2250,2251,2252,2253,2254,2255,2256,2257,2258,2259,2260,2261,2262,2263,2264,2265,2266,1567,2267,1796,1797,2268,2269,1800,1801,1567,1568,1215,2232,2270,2237,2271,2272,1192,1602,1374,1194,203,2273,2274,2275,2276,2277,2278,2279,2280,1577,1374,1194,203,2281,2282,2283,2284,2285,2286,2287,1374,1194,203,2288,2289,2290,1374,2291,2292,2293,2294,2295,1192,2293,2296,2297,1192,2298,2299,2300,2301,2302,2303,2304,2305,1215,2306,2307,1374,1194,203,2308,2309,1194,203,2310,2311,2312,2313,2314,2315,2316,2317,2318,1786,1215,1374,1194,203,2319,2320,1194,203,2321,2322,1194,203,2323,2324,2325,2326,2327,1374,1194,203,2328,2329,2330,2331,2332,2333,2334,2335,2336,2337,2338,2339,2340,2341,2342,2343,1374,1194,203,2344,2345,1194,203,2346,2329,2347,2348,2349,2350,2351,2352,2353,2354,2355,2356,2357,2358,2359,2360,1374,1194,203,2361,2362,2363,2364,1719,2365,2366,2367,2368,2369,1680,1374,1194,203,2370,2371,2372,2326,2373,1374,1194],[2906,2907,2908,2909,2910,2911,2912,2913,2914,2915,2916],{"_1025":49,"_49":2401},{"_1025":2387,"_165":1412,"_1073":2400,"_1074":2390},{"_1025":49,"_49":2399},{"_1025":2387,"_165":1412,"_1073":2397,"_1074":2398},{"_1025":49,"_49":2396},{"_1025":2387,"_165":1145,"_1073":2394,"_1074":2395},{"_1025":2387,"_165":1145,"_1073":2392,"_1074":2393},{"_1025":49,"_49":2391},{"_1025":2387,"_165":1067,"_1073":2389,"_1074":2390},{"_1025":2387,"_165":1067,"_1073":309,"_1074":2388},{"_1025":49,"_49":2386},[3345,3346,3347],[],{"_1030":1031,"_49":1032,"_1033":1034},{"_1004":3336},{"_341":3335},{"_341":2952},{"_308":309,"_299":310,"_311":312,"_313":62,"_314":18,"_315":18,"_316":317,"_318":319,"_320":271,"_321":131,"_322":323,"_324":325,"_326":327,"_328":-5,"_329":-5,"_330":2951,"_332":333,"_334":335,"_336":337,"_338":339},{"_45":127,"_197":198,"_199":200,"_201":18,"_202":203,"_204":205,"_206":2940,"_208":-5,"_209":210,"_211":18,"_212":2941,"_214":203,"_215":203,"_216":2942,"_218":2943,"_220":2944,"_222":-5,"_223":224,"_225":226,"_227":228,"_229":2945,"_58":-5,"_123":231,"_232":2946,"_234":2947,"_236":237,"_238":18,"_239":18},{"_137":2933},[2927,2928,2929,2930,2931,2932],{"_152":175,"_154":169,"_156":170,"_158":167,"_160":176,"_162":163,"_164":35,"_165":-5},{"_152":174,"_154":169,"_156":170,"_158":167,"_160":171,"_162":163,"_164":35,"_165":-5},{"_152":172,"_154":169,"_156":170,"_158":167,"_160":173,"_162":163,"_164":35,"_165":-5},{"_152":168,"_154":169,"_156":170,"_158":167,"_160":171,"_162":163,"_164":35,"_165":-5},{"_152":166,"_154":155,"_156":157,"_158":167,"_160":161,"_162":163,"_164":35,"_165":-5},{"_152":153,"_154":155,"_156":157,"_158":159,"_160":161,"_162":163,"_164":35,"_165":-5},[2934,2935,2936],{"_181":2939,"_183":194},{"_181":2938,"_183":190},{"_181":2937,"_183":184},{"_185":186,"_96":187,"_123":188},{"_185":191,"_96":187,"_123":192},{"_185":195,"_96":187,"_123":196},{"_301":302,"_303":-5,"_304":-5,"_305":-5,"_306":-5,"_307":-5},[261],{"_261":2948},{"_243":244,"_245":246,"_247":248,"_249":250,"_251":252,"_253":254,"_255":256,"_257":258,"_259":260},{},[],{"_242":62},{"_240":62,"_241":203},{"_45":263,"_185":264,"_265":2949,"_267":200,"_268":269,"_270":271,"_272":273,"_274":275,"_276":277,"_278":67,"_279":18,"_280":-5,"_281":-5,"_282":-5,"_283":-5,"_284":-5,"_285":-5,"_164":286,"_287":-5,"_58":2950},{"_293":294,"_45":295,"_96":296,"_297":298,"_299":300},{"_289":18,"_290":18,"_291":18,"_292":18},{"_293":294,"_185":294,"_340":-5,"_297":298,"_45":295},[2953,2954,2955,2956,2957,2958,2959,2960,2961,2962,2963,2964,2965,2966,2967,2968,2969,2970,2971,2972,2973,2974,2975,2976,2977,2978,2979,2980,2981,2982,2983,2984,2985,2986,2987,2988,2989,2990,2991,2992,2993,2994,2995,2996,2997,2998,2999,3000,3001,3002,3003,3004,3005,3006,3007,3008,3009,3010,3011,3012,3013,3014,3015,3016,3017,3018,3019,3020,3021,3022,3023,3024,3025,3026,3027,3028,3029,3030,3031,3032,3033,3034,3035,3036,3037,3038,3039,3040,3041,3042,3043,3044,3045,3046,3047,3048,3049,3050,3051],{"_158":977,"_443":3331},{"_158":458,"_443":3328},{"_158":967,"_443":3325},{"_158":462,"_443":3320},{"_158":462,"_443":3315},{"_158":462,"_443":3311},{"_158":477,"_443":3306},{"_158":477,"_443":3302},{"_158":462,"_443":3299},{"_158":462,"_443":3297},{"_158":477,"_443":3293},{"_158":462,"_443":3291},{"_158":462,"_443":3289},{"_158":477,"_443":3284},{"_158":462,"_443":3282},{"_158":462,"_443":3280},{"_158":477,"_443":3273},{"_158":462,"_443":3271},{"_158":477,"_443":3267},{"_158":462,"_443":3263},{"_158":462,"_443":3261},{"_158":477,"_443":3257},{"_158":462,"_443":3255},{"_158":462,"_443":3253},{"_158":477,"_443":3247},{"_158":462,"_443":3245},{"_158":477,"_443":3241},{"_158":462,"_443":3237},{"_158":462,"_443":3235},{"_158":462,"_443":3233},{"_158":477,"_443":3229},{"_158":477,"_443":3225},{"_158":462,"_443":3221},{"_158":462,"_443":3219},{"_158":462,"_443":3217},{"_158":462,"_443":3215},{"_158":462,"_443":3213},{"_158":462,"_443":3211},{"_158":462,"_443":3209},{"_158":462,"_443":3207},{"_158":462,"_443":3205},{"_158":462,"_443":3203},{"_158":462,"_443":3201},{"_158":477,"_443":3197},{"_158":477,"_443":3193},{"_158":462,"_443":3190},{"_158":462,"_443":3188},{"_158":462,"_443":3186},{"_158":477,"_443":3182},{"_158":477,"_443":3178},{"_158":462,"_443":3175},{"_158":462,"_443":3173},{"_158":462,"_443":3171},{"_158":462,"_443":3169},{"_158":462,"_443":3167},{"_158":477,"_443":3163},{"_158":477,"_443":3159},{"_158":462,"_443":3156},{"_158":462,"_443":3154},{"_158":462,"_443":3152},{"_158":462,"_443":3150},{"_158":462,"_443":3148},{"_158":462,"_443":3146},{"_158":462,"_443":3144},{"_158":462,"_443":3142},{"_158":462,"_443":3140},{"_158":462,"_443":3138},{"_158":462,"_443":3136},{"_158":462,"_443":3134},{"_158":462,"_443":3132},{"_158":462,"_443":3130},{"_158":462,"_443":3128},{"_158":462,"_443":3126},{"_158":462,"_443":3124},{"_158":462,"_443":3122},{"_158":462,"_443":3120},{"_158":462,"_443":3118},{"_158":462,"_443":3116},{"_158":477,"_443":3112},{"_158":477,"_443":3108},{"_158":462,"_443":3105},{"_158":462,"_443":3103},{"_158":477,"_443":3099},{"_158":462,"_443":3097},{"_158":462,"_443":3095},{"_158":477,"_443":3091},{"_158":462,"_443":3089},{"_158":462,"_443":3087},{"_158":477,"_443":3080},{"_158":462,"_443":3078},{"_158":477,"_443":3074},{"_158":462,"_443":3071},{"_158":462,"_443":3069},{"_158":477,"_443":3065},{"_158":462,"_443":3063},{"_158":477,"_443":3061},{"_158":462,"_443":3057},{"_158":458,"_443":3055},{"_158":442,"_443":3052},{"_445":446,"_91":3053},{"_448":449,"_450":451,"_107":-5,"_45":452,"_453":3054,"_455":456,"_457":117},[],{"_457":3056,"_445":446},{"_96":461},{"_464":3058,"_445":446,"_466":452},{"_467":3059,"_469":-5,"_45":-5,"_470":-5,"_471":472,"_100":97,"_96":473},[3060],{"_49":475,"_96":476},{"_464":3062,"_445":446,"_466":452},{"_45":480,"_471":472,"_49":475,"_96":481},{"_464":3064,"_445":446,"_466":452},{"_484":485,"_45":-5,"_470":-5,"_486":487,"_96":488},{"_464":3066,"_445":446,"_466":452},{"_491":492,"_493":494,"_495":3067,"_497":498,"_450":35,"_499":35,"_45":485,"_500":501,"_502":503,"_457":117,"_96":504},[3068],{"_493":506,"_96":507},{"_464":3070,"_445":446,"_466":452},{"_510":511,"_484":485,"_45":-5,"_470":-5,"_185":512,"_513":-5,"_96":514},{"_464":3072,"_445":446,"_466":452},{"_467":-5,"_517":518,"_45":-5,"_470":-5,"_519":3073,"_96":521},[],{"_464":3075,"_445":446,"_466":452},{"_467":3076,"_45":525,"_519":3077,"_96":521},[],[],{"_464":3079,"_445":446,"_466":452},{"_484":529,"_45":-5,"_470":-5,"_486":530,"_96":488},{"_464":3081,"_445":446,"_466":452},{"_533":-5,"_510":3082,"_450":535,"_107":-5,"_45":529,"_536":-5,"_537":-5,"_538":-5,"_539":3083,"_541":542,"_457":117,"_543":542,"_96":544},{"_316":549,"_318":550},{"_545":-5,"_467":3084,"_547":3085},[3086],{"_316":549,"_318":550},{"_96":49,"_49":552},{"_464":3088,"_445":446,"_466":452},{"_510":555,"_484":529,"_45":-5,"_470":-5,"_185":542,"_513":556,"_96":514},{"_464":3090,"_445":446,"_466":452},{"_484":559,"_45":-5,"_470":-5,"_486":560,"_96":488},{"_464":3092,"_445":446,"_466":452},{"_491":563,"_493":564,"_495":3093,"_497":498,"_450":35,"_499":35,"_45":559,"_500":566,"_502":503,"_457":117,"_96":504},[3094],{"_493":568,"_96":507},{"_464":3096,"_445":446,"_466":452},{"_510":571,"_484":559,"_45":-5,"_470":-5,"_185":512,"_513":-5,"_96":514},{"_464":3098,"_445":446,"_466":452},{"_484":574,"_45":-5,"_470":-5,"_486":575,"_96":488},{"_464":3100,"_445":446,"_466":452},{"_491":578,"_493":579,"_495":3101,"_497":498,"_450":35,"_499":35,"_45":574,"_500":581,"_502":503,"_457":117,"_96":504},[3102],{"_493":583,"_96":507},{"_464":3104,"_445":446,"_466":452},{"_510":586,"_484":574,"_45":-5,"_470":-5,"_185":512,"_513":-5,"_96":514},{"_464":3106,"_445":446,"_466":452},{"_467":-5,"_517":589,"_45":-5,"_470":-5,"_519":3107,"_96":521},[],{"_464":3109,"_445":446,"_466":452},{"_467":3110,"_45":594,"_519":3111,"_96":521},[],[],{"_464":3113,"_445":446,"_466":452},{"_491":598,"_493":599,"_495":3114,"_497":498,"_450":601,"_499":35,"_45":602,"_500":603,"_502":503,"_457":117,"_96":504},[3115],{"_493":605,"_96":507},{"_464":3117,"_445":446,"_466":452},{"_484":608,"_45":-5,"_470":-5,"_486":609,"_96":488},{"_464":3119,"_445":446,"_466":452},{"_510":612,"_484":608,"_45":-5,"_470":-5,"_185":613,"_513":-5,"_96":514},{"_464":3121,"_445":446,"_466":452},{"_484":616,"_45":-5,"_470":-5,"_486":617,"_96":488},{"_464":3123,"_445":446,"_466":452},{"_510":620,"_484":616,"_45":-5,"_470":-5,"_185":613,"_513":-5,"_96":514},{"_464":3125,"_445":446,"_466":452},{"_484":623,"_45":-5,"_470":-5,"_486":624,"_96":488},{"_464":3127,"_445":446,"_466":452},{"_510":620,"_484":623,"_45":-5,"_470":-5,"_185":613,"_513":-5,"_96":514},{"_464":3129,"_445":446,"_466":452},{"_484":629,"_45":-5,"_470":-5,"_486":630,"_96":488},{"_464":3131,"_445":446,"_466":452},{"_510":612,"_484":629,"_45":-5,"_470":-5,"_185":613,"_513":-5,"_96":514},{"_464":3133,"_445":446,"_466":452},{"_484":635,"_45":-5,"_470":-5,"_486":636,"_96":488},{"_464":3135,"_445":446,"_466":452},{"_510":612,"_484":635,"_45":-5,"_470":-5,"_185":613,"_513":-5,"_96":514},{"_464":3137,"_445":446,"_466":452},{"_484":641,"_45":-5,"_470":-5,"_486":642,"_96":488},{"_464":3139,"_445":446,"_466":452},{"_510":612,"_484":641,"_45":-5,"_470":-5,"_185":613,"_513":-5,"_96":514},{"_464":3141,"_445":446,"_466":452},{"_484":647,"_45":-5,"_470":-5,"_486":648,"_96":488},{"_464":3143,"_445":446,"_466":452},{"_510":612,"_484":647,"_45":-5,"_470":-5,"_185":613,"_513":-5,"_96":514},{"_464":3145,"_445":446,"_466":452},{"_484":653,"_45":-5,"_470":-5,"_486":654,"_96":488},{"_464":3147,"_445":446,"_466":452},{"_510":612,"_484":653,"_45":-5,"_470":-5,"_185":613,"_513":-5,"_96":514},{"_464":3149,"_445":446,"_466":452},{"_484":659,"_45":-5,"_470":-5,"_486":660,"_96":488},{"_464":3151,"_445":446,"_466":452},{"_510":612,"_484":659,"_45":-5,"_470":-5,"_185":613,"_513":-5,"_96":514},{"_464":3153,"_445":446,"_466":452},{"_484":602,"_45":-5,"_470":-5,"_486":665,"_96":488},{"_464":3155,"_445":446,"_466":452},{"_510":668,"_484":602,"_45":-5,"_470":-5,"_185":512,"_513":-5,"_96":514},{"_464":3157,"_445":446,"_466":452},{"_467":-5,"_517":671,"_45":-5,"_470":-5,"_519":3158,"_96":521},[],{"_464":3160,"_445":446,"_466":452},{"_467":3161,"_45":676,"_519":3162,"_96":521},[],[],{"_464":3164,"_445":446,"_466":452},{"_491":680,"_493":681,"_495":3165,"_497":498,"_450":683,"_499":35,"_45":684,"_500":685,"_502":503,"_457":117,"_96":504},[3166],{"_493":687,"_96":507},{"_464":3168,"_445":446,"_466":452},{"_484":690,"_45":-5,"_470":-5,"_486":691,"_96":488},{"_464":3170,"_445":446,"_466":452},{"_510":694,"_484":690,"_45":-5,"_470":-5,"_185":613,"_513":-5,"_96":514},{"_464":3172,"_445":446,"_466":452},{"_484":684,"_45":-5,"_470":-5,"_486":697,"_96":488},{"_464":3174,"_445":446,"_466":452},{"_510":700,"_484":684,"_45":-5,"_470":-5,"_185":512,"_513":-5,"_96":514},{"_464":3176,"_445":446,"_466":452},{"_467":-5,"_517":703,"_45":-5,"_470":-5,"_519":3177,"_96":521},[],{"_464":3179,"_445":446,"_466":452},{"_467":3180,"_45":708,"_519":3181,"_96":521},[],[],{"_464":3183,"_445":446,"_466":452},{"_491":712,"_493":713,"_495":3184,"_497":498,"_450":715,"_499":35,"_45":716,"_500":717,"_502":503,"_457":117,"_96":504},[3185],{"_493":719,"_96":507},{"_464":3187,"_445":446,"_466":452},{"_484":716,"_45":-5,"_470":-5,"_486":722,"_96":488},{"_464":3189,"_445":446,"_466":452},{"_510":725,"_484":716,"_45":-5,"_470":-5,"_185":512,"_513":-5,"_96":514},{"_464":3191,"_445":446,"_466":452},{"_467":-5,"_517":728,"_45":-5,"_470":-5,"_519":3192,"_96":521},[],{"_464":3194,"_445":446,"_466":452},{"_467":3195,"_45":733,"_519":3196,"_96":521},[],[],{"_464":3198,"_445":446,"_466":452},{"_491":737,"_493":738,"_495":3199,"_497":498,"_450":740,"_499":35,"_45":741,"_500":742,"_502":503,"_457":117,"_96":504},[3200],{"_493":744,"_96":507},{"_464":3202,"_445":446,"_466":452},{"_484":747,"_45":-5,"_470":-5,"_486":748,"_96":488},{"_464":3204,"_445":446,"_466":452},{"_510":751,"_484":747,"_45":-5,"_470":-5,"_185":613,"_513":-5,"_96":514},{"_464":3206,"_445":446,"_466":452},{"_484":754,"_45":-5,"_470":-5,"_486":755,"_96":488},{"_464":3208,"_445":446,"_466":452},{"_510":751,"_484":754,"_45":-5,"_470":-5,"_185":613,"_513":-5,"_96":514},{"_464":3210,"_445":446,"_466":452},{"_484":760,"_45":-5,"_470":-5,"_486":761,"_96":488},{"_464":3212,"_445":446,"_466":452},{"_510":751,"_484":760,"_45":-5,"_470":-5,"_185":613,"_513":-5,"_96":514},{"_464":3214,"_445":446,"_466":452},{"_484":766,"_45":-5,"_470":-5,"_486":767,"_96":488},{"_464":3216,"_445":446,"_466":452},{"_510":751,"_484":766,"_45":-5,"_470":-5,"_185":613,"_513":-5,"_96":514},{"_464":3218,"_445":446,"_466":452},{"_484":741,"_45":-5,"_470":-5,"_486":772,"_96":488},{"_464":3220,"_445":446,"_466":452},{"_510":775,"_484":741,"_45":-5,"_470":-5,"_185":512,"_513":-5,"_96":514},{"_464":3222,"_445":446,"_466":452},{"_467":-5,"_517":778,"_45":-5,"_470":-5,"_519":3223,"_96":521},[3224],{"_49":781,"_96":782},{"_464":3226,"_445":446,"_466":452},{"_467":3227,"_45":786,"_519":3228,"_96":521},[],[781],{"_464":3230,"_445":446,"_466":452},{"_491":790,"_493":791,"_495":3231,"_497":498,"_450":793,"_499":794,"_45":795,"_500":796,"_502":503,"_457":797,"_96":504},[3232],{"_493":799,"_96":507},{"_464":3234,"_445":446,"_466":452},{"_484":795,"_45":-5,"_470":-5,"_486":802,"_96":488},{"_464":3236,"_445":446,"_466":452},{"_510":805,"_484":795,"_45":-5,"_470":-5,"_185":512,"_513":-5,"_96":514},{"_464":3238,"_445":446,"_466":452},{"_467":-5,"_517":808,"_45":-5,"_470":-5,"_519":3239,"_96":521},[3240],{"_49":811,"_96":782},{"_464":3242,"_445":446,"_466":452},{"_467":3243,"_45":815,"_519":3244,"_96":521},[],[811],{"_464":3246,"_445":446,"_466":452},{"_484":819,"_45":-5,"_470":-5,"_486":820,"_96":488},{"_464":3248,"_445":446,"_466":452},{"_491":823,"_493":824,"_495":3249,"_497":498,"_450":35,"_499":35,"_45":819,"_500":826,"_502":503,"_457":117,"_96":504},[3250,3251,3252],{"_493":835,"_185":836,"_165":837,"_96":833},{"_493":834,"_185":831,"_165":832,"_96":833},{"_493":830,"_185":831,"_165":832,"_96":833},{"_464":3254,"_445":446,"_466":452},{"_510":840,"_484":819,"_45":-5,"_470":-5,"_185":512,"_513":-5,"_96":514},{"_464":3256,"_445":446,"_466":452},{"_484":843,"_45":-5,"_470":-5,"_486":844,"_96":488},{"_464":3258,"_445":446,"_466":452},{"_491":847,"_493":848,"_495":3259,"_497":498,"_450":35,"_499":35,"_45":843,"_500":850,"_502":503,"_457":117,"_96":504},[3260],{"_493":852,"_165":831,"_853":854,"_96":855},{"_464":3262,"_445":446,"_466":452},{"_510":858,"_484":843,"_45":-5,"_470":-5,"_185":512,"_513":-5,"_96":514},{"_464":3264,"_445":446,"_466":452},{"_467":-5,"_517":861,"_45":-5,"_470":-5,"_519":3265,"_96":521},[3266],{"_49":864,"_96":782},{"_464":3268,"_445":446,"_466":452},{"_467":3269,"_45":868,"_519":3270,"_96":521},[],[864],{"_464":3272,"_445":446,"_466":452},{"_484":872,"_45":-5,"_470":-5,"_486":873,"_96":488},{"_464":3274,"_445":446,"_466":452},{"_491":876,"_493":877,"_495":3275,"_497":498,"_450":35,"_499":35,"_45":872,"_500":879,"_502":503,"_457":117,"_96":504},[3276,3277,3278,3279],{"_493":891,"_185":831,"_165":832,"_96":833},{"_493":890,"_185":888,"_165":889,"_96":833},{"_493":887,"_185":888,"_165":889,"_96":833},{"_493":884,"_185":885,"_165":886,"_96":833},{"_464":3281,"_445":446,"_466":452},{"_510":894,"_484":872,"_45":-5,"_470":-5,"_185":512,"_513":-5,"_96":514},{"_464":3283,"_445":446,"_466":452},{"_484":897,"_45":-5,"_470":-5,"_486":898,"_96":488},{"_464":3285,"_445":446,"_466":452},{"_491":901,"_493":902,"_495":3286,"_497":498,"_450":35,"_499":35,"_45":897,"_500":904,"_502":503,"_457":117,"_96":504},[3287,3288],{"_493":909,"_185":831,"_165":832,"_96":833},{"_493":907,"_165":888,"_853":908,"_96":855},{"_464":3290,"_445":446,"_466":452},{"_510":912,"_484":897,"_45":-5,"_470":-5,"_185":512,"_513":-5,"_96":514},{"_464":3292,"_445":446,"_466":452},{"_484":915,"_45":-5,"_470":-5,"_486":916,"_96":488},{"_464":3294,"_445":446,"_466":452},{"_491":919,"_493":920,"_495":3295,"_497":498,"_450":35,"_499":35,"_45":915,"_500":922,"_502":503,"_457":117,"_96":504},[3296],{"_493":924,"_96":507},{"_464":3298,"_445":446,"_466":452},{"_510":927,"_484":915,"_45":-5,"_470":-5,"_185":512,"_513":-5,"_96":514},{"_464":3300,"_445":446,"_466":452},{"_467":-5,"_517":930,"_45":-5,"_470":-5,"_519":3301,"_96":521},[],{"_464":3303,"_445":446,"_466":452},{"_467":3304,"_45":935,"_519":3305,"_96":521},[],[],{"_464":3307,"_445":446,"_466":452},{"_939":-5,"_467":3308,"_45":941,"_96":942},[3309],{"_49":944,"_945":3310,"_96":49},[],{"_464":3312,"_445":446,"_466":452},{"_467":3313,"_469":-5,"_45":-5,"_470":-5,"_471":-5,"_100":330,"_96":473},[3314],{"_49":944,"_96":951},{"_464":3316,"_445":446,"_466":452},{"_467":3317,"_469":-5,"_45":-5,"_470":-5,"_471":-5,"_100":330,"_96":473},[3318,3319],{"_49":958,"_96":951},{"_49":957,"_96":951},{"_464":3321,"_445":446,"_466":452},{"_467":3322,"_469":-5,"_45":-5,"_470":-5,"_471":-5,"_100":962,"_96":473},[3323,3324],{"_49":966,"_96":951},{"_49":965,"_96":951},{"_445":446,"_91":3326},{"_107":-5,"_45":452,"_453":3327,"_455":456,"_457":971},[],{"_457":3329,"_445":446},{"_974":3330,"_96":976},[],{"_979":3332},{"_981":-5,"_982":-5,"_983":984,"_985":456,"_497":498,"_986":18,"_987":-5,"_988":-5,"_989":-5,"_990":991,"_45":446,"_992":993,"_185":-5,"_994":-5,"_165":995,"_996":203,"_997":-5,"_502":998,"_457":3333,"_1000":-5,"_81":3334,"_1002":456},{"_96":461},[],[],[3337],{"_45":1007,"_1008":3338,"_1010":1011,"_1012":1011,"_467":3339,"_457":1014,"_469":-5,"_1015":35,"_1016":3340,"_1018":1019,"_1020":-5},{"_100":330,"_185":-5,"_1016":3344},{"_1025":49,"_1026":3343},{"_1021":3341},{"_1023":3342},[],[1028],{},{"_96":473,"_100":97,"_467":3364},{"_96":1061,"_1062":3351},{"_96":1038,"_1039":549,"_1040":1041,"_1042":3348,"_1044":-5},{"_96":1042,"_1045":498,"_132":133,"_1046":-5,"_329":1047,"_1048":3349,"_1050":1051,"_1052":1053,"_1054":794,"_1055":549,"_1056":3350},{"_1058":1059,"_1060":-5},[],[3352,3353,3354],{"_165":1412,"_1068":-5,"_1069":3361,"_1071":-5},{"_165":1145,"_1068":-5,"_1069":3358,"_1071":-5},{"_165":1067,"_1068":-5,"_1069":3355,"_1071":-5},[3356],{"_1073":794,"_1074":1075,"_467":3357,"_1077":62},[1078,203,1079,203,1080,203,1081,203,1082,1083,1084,1085,1086,1087,1088,1089,203,1090,203,1091,1092,1093,1094,1095,203,1096,203,1097,1098,1099,1100,1101,1102,1103,1104,1105,1106,1107,1108,1109,1110,1111,203,1112,203,1113,1114,1115,203,1116,203,1117,1118,1119,1120,1121,1122,1123,1124,1125,1126,1127,1128,1129,1130,203,1131,203,1132,1133,1134,1135,1136,1137,1138,203,1139,203,1140,1141,1142,1143,1144],[3359],{"_1073":794,"_1074":1148,"_467":3360,"_1077":62},[1150,1151,1152,1153,203,1154,1155,203,1156,1157,1158,1159,1160,203,1161,1162,1163,1164,1165,1166,1167,1168,1169,1170,1171,1172,1173,203,1174,1163,1164,1165,1166,1167,1168,1169,1170,1175,1172,1173,1176,1163,1165,1166,1167,1168,1169,1177,1178,1179,1180,1179,1181,1182,1173,203,1183,1184,1185,1186,1187,1188,1189,1190,1191,1192,1193,1194,203,1195,1196,1197,1198,203,1199,1200,1201,1202,1203,1204,1205,1206,203,1207,1203,1208,1209,1210,1211,1212,1213,1214,1215,1206,203,1216,1217,1218,1219,1203,1220,1221,1222,1223,1215,1206,203,1224,1203,1225,1226,1206,1227,1228,203,1229,1230,1231,1232,1233,1234,1235,1236,1237,1238,1239,1240,1194,203,1195,1241,1197,1242,1243,1203,1244,1226,1206,203,1245,1203,1246,1247,1206,203,1248,1249,1194,203,1195,1250,1197,1251,1252,203,1253,1203,1254,1255,1256,1257,1258,1259,1259,1260,1206,1194,203,1195,1261,1262,1263,1264,1265,1266,1267,1268,1269,1270,1271,1272,1273,1186,1274,1188,1275,1276,1277,1192,1278,203,1279,1280,203,1281,1282,1283,1281,1282,1284,1194,203,1195,1285,1262,1263,1286,1287,1265,1266,1267,1268,1269,1270,1271,1272,1273,1186,1274,1188,1275,1276,1277,1192,1278,203,1279,1288,203,1281,1282,1283,1281,1282,1284,1194,203,1195,1289,1290,1291,1242,1292,203,1281,1282,1283,1281,1282,1293,1194,203,1195,1294,1295,1291,1242,1296,203,1281,1282,1283,1281,1282,1293,1194,203,1195,1297,1262,1263,1298,1299,1300,1301,1266,1267,1302,1303,1269,1270,1271,1272,1304,1305,1306,1186,1274,1188,1275,1276,1277,1192,1278,203,1307,1308,203,1281,1282,1283,1203,1254,1255,1256,1257,1309,1206,1194,203,1195,1310,1262,1263,1298,1299,1300,1301,1266,1267,1311,1303,1269,1270,1271,1272,1304,1305,1306,1186,1274,1188,1275,1276,1277,1192,1278,203,1307,1308,203,1281,1282,1283,1203,1254,1255,1256,1257,1309,1206,1194,203,1195,1312,1313,1314,1315,1316,1317,1206,1318,1319,1320,1321,1322,1323,1324,203,1203,1225,1325,1206,1238,203,1326,1327,1328,1208,1329,1330,1331,1332,1333,203,1334,1335,1336,1337,203,1338,1339,1333,1340,1341,203,1342,1343,1344,1345,1346,1347,1229,1348,1349,1232,1194,203,1195,1350,1351,1314,1315,1316,1317,1206,1318,1319,1320,1321,1352,1353,203,1251,1354,203,1281,1282,1283,1281,1282,1355,1194,203,1195,1356,1357,1314,1315,1316,1317,1206,1318,1319,1320,1321,1358,203,1251,1359,203,1281,1282,1283,1281,1282,1360,1361,1282,1362,1194,203,1195,1363,1197,1198,203,1364,1365,1366,1282,1367,1199,1194,203,1368,1369,1370,1371,1232,1372,1373,1374,1375,1376,1194,203,1377,1378,1379,1380,1194,203,1381,1382,1383,1384,1385,1386,1387,1388,1389,1390,1391,1392,1393,1215,1394,1395,1396,1397,1194,203,1398,1382,1383,1384,1399,1400,1401,1388,1402,1403,1390,1404,1405,1215,1394,1406,1390,1407,1408,1409,1410,1215,1411,1397,1194],[3362],{"_1073":794,"_1074":1415,"_467":3363,"_1077":62},[1417,1151,1418,1419,203,1420,203,1421,1422,1423,1424,1160,1425,1426,1427,1428,1160,1429,1430,1431,203,1432,1433,1434,1435,1436,1437,1438,1194,203,1439,1433,1440,1435,1441,1442,1443,1444,1445,1446,1447,1448,1194,203,1449,1450,1451,1452,1453,1454,1455,1194,203,1456,1457,1458,1459,1460,1461,1462,1463,1464,1465,1194,203,1466,1467,1468,1469,1374,203,1467,1470,1471,1472,1473,1474,1475,1476,1477,1374,203,1467,1478,1471,1472,1479,1480,1481,1482,1483,1484,1485,1486,1278,1477,1374,203,1467,1487,1471,1488,1489,1474,1490,1491,1477,1374,203,1467,1492,1493,1477,1374,1194,203,1494,1450,1495,1496,1497,1498,1499,1500,1194,203,1501,1450,1502,1503,1504,1194,203,1505,1450,1506,1503,1507,1508,1509,1510,1194,203,1511,1450,1512,1496,1497,1513,1514,1194,203,1515,1450,1516,1503,1517,1518,1507,1509,1519,1520,1521,1194,203,1522,1457,1523,1524,1525,1526,1527,1528,1529,1254,1530,1531,1532,1533,1534,1535,1536,1537,1538,1539,1540,1541,1194,203,1542,1457,1523,1543,1544,1545,1526,1527,1546,1547,1548,1549,1550,1551,203,1552,1553,1554,1555,1556,1557,1558,1559,1560,1561,1562,1563,1564,1565,1566,1567,1568,1215,1374,203,1569,1570,1571,1572,1573,1574,1575,1576,1577,1270,1194,203,1578,1457,1523,1579,1580,1581,1582,1194,203,1583,1457,1523,1584,1585,1586,1587,1588,1589,1282,1590,1591,1592,1593,1594,1595,1596,1597,1598,1599,1600,1601,1602,1603,1604,1605,1606,1607,1608,1609,1610,1611,1194,203,1612,1613,1614,1615,1616,1617,1618,1619,1620,1621,1622,1568,1623,1624,1625,1623,1624,1626,1627,1628,1629,1630,1192,1631,1632,1374,1633,1194,203,1634,1635,1636,1637,1638,1639,1374,1194,203,1640,1641,1527,1642,1643,1644,1645,1646,1647,1648,1649,1650,1651,1652,1653,1654,1655,1656,1657,1658,1659,1660,1567,1568,1661,1650,1662,1663,1657,1664,1659,1660,1567,1568,1665,1559,1560,1666,1667,1563,1668,1215,1374,203,1669,1670,1671,1672,1673,1674,1611,1194,203,1675,1676,1677,1678,1679,1680,1270,1194,203,1450,1681,1682,1683,1194,203,1450,1684,1685,1686,1687,1688,1194,203,1689,1690,1691,1692,1693,1694,1192,1695,1696,1697,1192,1698,1699,1700,1701,1702,1192,1215,1374,1194,203,1703,1704,1705,1706,1194,203,1707,1708,1709,1710,1711,1712,1194,203,1713,1714,1715,1716,1717,1718,1719,1194,203,1720,1721,1722,1723,1724,1725,1194,203,1726,1727,1728,1729,1730,1731,1732,1215,1374,203,1733,1734,1735,1736,1737,1738,1568,1215,1739,1740,1741,1742,1576,1624,1743,1374,203,1744,1745,1746,1747,1748,1749,1750,1215,1374,203,1751,1752,1753,1754,1755,1756,1757,1619,1758,1759,1622,1760,1568,1215,1374,203,1761,1762,1763,1764,1765,1766,1767,1768,1769,1770,1771,1772,1747,1748,1773,1774,1215,1775,1776,1777,1778,1536,1779,1780,1781,1782,1783,1784,1785,1786,1215,1374,203,1787,1762,1788,1766,1789,1767,1790,1791,1792,1793,1794,1795,1796,1797,1798,1799,1800,1801,1802,1567,1568,1803,1804,1805,1806,1807,1808,1809,1810,1756,1757,1619,1811,1812,1622,1760,1568,1215,1374,203,1813,1762,1814,1766,1789,1767,1815,1780,1781,1560,1816,1784,1785,1817,1624,1818,1819,1820,1821,1822,1823,1824,1825,1826,1192,1602,1374,203,1827,1828,1829,1780,1781,1560,1830,1831,1785,1817,1215,1832,1833,1255,1834,1390,1780,1781,1560,1835,1831,1785,1817,1215,203,1836,1837,1838,1839,1840,1841,1842,1624,1843,1844,1845,1846,203,1847,1848,1849,1850,1851,1852,1853,1854,1855,1602,1374,203,1856,1762,1857,1858,1859,1860,1861,1862,1863,1864,1865,1866,1867,1868,1869,1870,1656,1871,1567,1568,1215,1872,1374,203,1873,1762,1874,1875,1876,1877,1878,1828,1879,203,1880,1881,1215,203,1882,1883,1884,1885,1886,1536,1779,1780,1781,1782,1887,1831,1785,1786,1215,1374,203,1888,1762,1874,1875,1889,1876,1877,1890,1891,1892,1893,1894,1895,1896,1897,1784,1898,1899,1900,1901,1902,1903,1904,1905,1600,1906,1907,1908,1909,1910,1911,1912,1913,1914,1915,1795,1796,1797,1916,1917,1918,1801,1567,1568,1919,1920,1921,1567,1568,1922,1923,1924,1925,1926,1215,1374,203,1927,1762,1874,1928,1876,1877,1890,1891,1929,1930,1779,1931,1215,1374,203,1932,1762,1874,1928,1876,1877,1890,1891,1933,1934,1215,1935,1934,1624,1936,1934,1624,1937,1938,1939,1940,1632,1941,1942,1374,203,1943,1762,1944,1945,1767,1946,1947,1624,1948,1949,1950,1779,1780,1781,1782,1951,1952,1785,1786,1215,1374,203,1953,1762,1874,1928,1954,1876,1877,1890,1891,1955,1934,1215,1956,1934,1624,1957,1934,1624,1937,1941,1958,1959,1960,1961,1962,1963,1964,1934,1624,1965,1939,1966,1967,1968,1632,1942,1374,203,1969,1970,1971,1972,1624,1973,1780,1781,1974,1975,1784,1785,1972,1624,1976,1780,1781,1974,1977,1978,1979,1980,1784,1785,1972,1624,1981,1982,1779,1780,1781,1983,1977,1984,1979,1980,1784,1785,1985,1215,1374,203,1986,1987,1780,1781,1560,1988,1784,1785,1817,1624,1989,1374,203,1990,1762,1991,1858,1766,1992,1993,1994,1971,1817,1624,1995,1780,1781,1560,1996,1784,1785,1817,1624,1997,1998,1374,203,1999,1762,1954,2000,2001,1877,1766,2002,2003,1780,1781,1560,2004,1784,1785,1817,1624,2005,1768,2006,2007,2008,1756,1757,2009,2010,2011,1622,1747,1568,2012,2013,2014,2008,1747,1748,2015,2016,2017,1215,2018,2019,1779,1786,1215,1374,203,2020,1762,2000,2021,2022,2023,2024,1780,1781,1560,2025,2026,1785,1817,1215,2027,2028,2029,2030,1624,2031,2032,1374,203,2033,2034,1780,1781,1560,2035,2036,1785,1817,1215,2037,2038,2039,2040,1602,1374,203,2041,2005,2042,2043,2044,1568,1215,2045,2046,2047,2048,2049,2050,2051,2052,1568,2053,2054,2055,2056,1567,1568,2057,2058,1568,2059,2060,2061,1568,2062,2063,2064,1567,1568,2065,2066,2067,2068,2069,2070,1568,2071,2072,2073,2074,2075,2067,2076,2077,2078,1568,2079,2080,2081,1567,1568,2082,2083,2067,2084,2085,2086,1567,1568,1215,2087,1374,203,2088,1762,1874,2089,2090,2091,2092,2093,1568,2094,1215,1374,203,2095,1762,1874,2096,2090,2005,2097,2098,1215,2099,2087,1374,203,2100,1762,1874,2101,2090,2005,2097,2098,1215,2087,1374,203,2102,1762,1874,1889,2090,1892,1893,2103,2067,2104,2105,1795,2106,1567,1568,2107,2108,2109,2110,2111,2112,2073,1897,2075,2067,2113,2114,2115,2116,1567,2117,1568,2118,2119,2120,2117,1568,2121,1215,1374,203,2122,1762,1874,2123,2090,2124,2125,2126,1215,1374,203,2127,2128,2129,2130,2131,2132,2133,1374,203,2134,1762,2135,1858,2136,2045,2137,2138,2139,2140,1557,2141,2142,2143,2075,2144,2145,2146,2147,2148,2149,1795,1796,1797,2150,2151,2152,1801,1802,1567,1568,2153,1756,1757,2154,2155,2156,1622,1760,1568,1215,1374,203,2157,1762,2158,2159,2160,1858,1766,2136,2161,2162,2163,2164,2165,2166,2167,1536,1779,1780,1781,1782,2168,1784,1785,1786,1215,1374,203,2169,1762,2135,1858,2170,2045,2171,2172,2173,2174,2175,2176,2177,1600,1557,2178,2179,2180,2181,2182,2175,2183,2184,2185,2186,1600,1557,2187,2188,2189,2190,2191,1784,2192,2193,2194,2195,2196,2197,2198,2199,2200,2201,1756,1757,1619,2202,2156,1622,1760,1568,1215,1374,203,2203,1762,2204,1766,1858,2170,2205,2206,2207,2208,1600,2209,1536,1779,1780,1781,2210,2211,1784,1785,1786,1215,1374,203,2212,1762,2213,2214,1766,1858,2170,2215,2216,1780,1781,1782,2217,1784,1785,1817,1624,2218,2206,2219,2220,2221,1600,2222,1536,1779,1780,1781,2223,2224,1784,1785,1786,1215,1374,203,2225,1762,2159,2160,1858,1766,2170,2161,2162,2226,2227,2228,1780,1781,1782,2229,1784,1785,1817,1624,2230,2231,2232,2233,2234,2235,2236,1192,2237,2238,2239,1192,1602,1374,203,2240,1762,2241,1858,1766,2170,2242,2243,2244,2245,2246,2247,2248,2249,1567,2250,2251,2252,2253,2254,2255,2256,2257,2258,2259,2260,2261,2262,2263,2264,2265,2266,1567,2267,1796,1797,2268,2269,1800,1801,1567,1568,1215,2232,2270,2237,2271,2272,1192,1602,1374,1194,203,2273,2274,2275,2276,2277,2278,2279,2280,1577,1374,1194,203,2281,2282,2283,2284,2285,2286,2287,1374,1194,203,2288,2289,2290,1374,2291,2292,2293,2294,2295,1192,2293,2296,2297,1192,2298,2299,2300,2301,2302,2303,2304,2305,1215,2306,2307,1374,1194,203,2308,2309,1194,203,2310,2311,2312,2313,2314,2315,2316,2317,2318,1786,1215,1374,1194,203,2319,2320,1194,203,2321,2322,1194,203,2323,2324,2325,2326,2327,1374,1194,203,2328,2329,2330,2331,2332,2333,2334,2335,2336,2337,2338,2339,2340,2341,2342,2343,1374,1194,203,2344,2345,1194,203,2346,2329,2347,2348,2349,2350,2351,2352,2353,2354,2355,2356,2357,2358,2359,2360,1374,1194,203,2361,2362,2363,2364,1719,2365,2366,2367,2368,2369,1680,1374,1194,203,2370,2371,2372,2326,2373,1374,1194],[3365,3366,3367,3368,3369,3370,3371,3372,3373,3374,3375],{"_1025":49,"_49":2401},{"_1025":2387,"_165":1412,"_1073":2400,"_1074":2390},{"_1025":49,"_49":2399},{"_1025":2387,"_165":1412,"_1073":2397,"_1074":2398},{"_1025":49,"_49":2396},{"_1025":2387,"_165":1145,"_1073":2394,"_1074":2395},{"_1025":2387,"_165":1145,"_1073":2392,"_1074":2393},{"_1025":49,"_49":2391},{"_1025":2387,"_165":1067,"_1073":2389,"_1074":2390},{"_1025":2387,"_165":1067,"_1073":309,"_1074":2388},{"_1025":49,"_49":2386},[3378,3379,3380,3381,3382,3383,3384,3385,3386],{"_2411":2412,"_267":200,"_2413":309,"_278":-5,"_1045":261,"_2414":-5,"_2415":-5,"_2416":2417,"_2418":2419,"_2420":-5,"_2421":-5,"_2422":2423,"_2424":18,"_2425":62,"_2426":57,"_2427":18,"_2428":-5},{"_96":473,"_100":330,"_467":3387},{"_316":317,"_318":319,"_2452":323,"_2453":133,"_326":-5,"_96":2454},{"_96":2438,"_318":2451,"_165":-5,"_2440":-5,"_2441":-5},{"_96":2438,"_318":2450,"_165":-5,"_2440":-5,"_2441":-5},{"_96":2438,"_318":2449,"_165":1412,"_2440":2443,"_2441":2444},{"_96":2438,"_318":2447,"_165":1412,"_2440":2443,"_2441":2448},{"_96":2438,"_318":2445,"_165":1412,"_2440":2443,"_2441":2446},{"_96":2438,"_318":2442,"_165":1412,"_2440":2443,"_2441":2444},{"_96":2438,"_318":2439,"_165":-5,"_2440":-5,"_2441":-5},[3388],{"_1025":49,"_49":2457},"task_e_6a407537d800832abd0cada0b45934a7",1782609207.843964,"GitHub Mention: Add minimal effectful Core lowering","has_generated_title","has_unread_turn","denormalized_metadata",{"_3420":35,"_3421":3422,"_3423":-5,"_3424":-5,"_3414":3425,"_3426":-5,"_3427":-5,"_3428":-5,"_3429":-5},"task_status_display",{"_3408":3409,"_3410":200,"_134":131,"_3411":-5,"_3412":1038},"creator_workspace","external_pull_requests",[3401],{"_45":3402,"_3403":87,"_3404":3405,"_3406":133},"github-1272888914-63","assistant_turn_id","pull_request",{"_308":309,"_299":310,"_311":312,"_313":62,"_314":18,"_315":18,"_316":317,"_318":319,"_320":271,"_321":131,"_322":323,"_324":325,"_326":327,"_328":-5,"_329":-5,"_330":3407,"_332":333,"_334":335,"_336":337,"_338":339},"codex_updated_sha",{"_293":294,"_185":294,"_340":-5,"_297":298,"_45":295},"latest_turn_status_display",{"_3413":87,"_116":117,"_3414":3415,"_98":3416,"_3417":-5,"_3418":-5,"_3419":1038,"_118":-5},"environment_label","fix_task_id","initial_intent","turn_id","diff_stats",{"_1050":1051,"_1052":1053,"_1054":794},[],"image_asset_pointer_citations","issue_counts","intent","num_follow_ups","repo_name_map",{},"last_user_turn_created_at","last_turn_status",{"_1050":-5,"_1052":-5,"_1054":-5},"last_pushed_turn_id","start_branch_name","pushed_branch_name","cached_pull_request_data","dd",{"_3444":3445,"_3446":3447},"disablePrefetch","shouldPrefetchAccount","shouldPrefetchUser","shouldPrefetchSystemHints","manageRootRouteStylesheet","mobileWebHandoffEnabled","promoteCss","disableSSR","stripModulepreloadImports","paidCampaignAppRedirect","statsigGateEvaluationsPromise",["P",3443],"traceId","9735645851237563023","traceTime",1787472283987]