\\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**: `e8694fce-592d-4f5c-9c31-a8f89c0ad0ee`\\n> \\n>

\\n> \\n>

\\n>

📥 Commits

\\n> \\n> Reviewing files that changed from the base of the PR and between 7dd48028b7a5bc24faefa8ec14ea51f38c2fa2ad and 8b7731821e1f3169f2460e054a3885cfc2ec90b9.\\n> \\n>

\\n> \\n>

\\n>

📒 Files selected for processing (10)

\\n> \\n> * `CHANGELOG.md`\\n> * `README.md`\\n> * `crates/edict-syntax/Cargo.toml`\\n> * `crates/edict-syntax/src/canonical.rs`\\n> * `crates/edict-syntax/src/lib.rs`\\n> * `crates/edict-syntax/tests/canonical_encoding.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=33)! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.\\n\\n

\\n

❤️ Share

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

\\n\\n\\n_{Comment `@coderabbitai help` to get the list of available commands.}\\n\\n\",\"path\":null,\"side\":null,\"line\":null}{\"type\":\"pull_request_comment\",\"body\":\"**_{_{![P1 Badge](https://img.shields.io/badge/P1-orange?style=flat)}} Reject imports without resolved digests**\\n\\nWhen a `CoreImport` has `resource.digest == None`, this path simply omits the `digest` field and still produces canonical bytes. I checked `docs/abi/edict-common.cddl`, where `resource-ref` requires `{ id, digest }`, and `docs/SPEC_edict-language-v1.md` says Core canonicalization must fail if an imported digest is unresolved; otherwise callers can hash a Core module with a floating lawpack/target import and later resolve it to different semantics without this encoder reporting the invalid preimage.\\n\\nUseful? React with 👍 / 👎.\",\"path\":\"crates/edict-syntax/src/canonical.rs\",\"side\":\"RIGHT\",\"line\":196}{\"type\":\"pull_request_comment\",\"body\":\"\\n### 💡 Codex Review\\n\\nHere are some automated review suggestions for this pull request.\\n\\n**Reviewed commit:** `8b7731821e`\\n \\n\\n

ℹ️ About Codex in GitHub

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

\",\"path\":null,\"side\":null,\"line\":null}{\"type\":\"pull_request_comment\",\"body\":\"**_{_{![P2 Badge](https://img.shields.io/badge/P2-yellow?style=flat)}} Omit import aliases from canonical bytes**\\n\\nIncluding `alias` here makes canonical bytes depend on source-local import spelling. I checked `docs/SPEC_edict-language-v1.md` I-009/I-010, which state that Core IR hashes use canonical coordinates and exclude import alias spelling; with this encoding, changing `use lawpack hello.optics@1 ... as hello` to another alias while updating references changes the Core preimage even though the resolved import coordinate and digest are identical.\\n\\nUseful? React with 👍 / 👎.\",\"path\":\"crates/edict-syntax/src/canonical.rs\",\"side\":\"RIGHT\",\"line\":188}{\"type\":\"pull_request_comment\",\"body\":\"**_{_{![P2 Badge](https://img.shields.io/badge/P2-yellow?style=flat)}} Sort imports before canonical encoding**\\n\\nThis preserves the `CoreModule.imports` vector order, so two modules with the same resolved imports in a different source order encode differently. I checked the canonicalization rules in `docs/SPEC_edict-language-v1.md`, which require declarations whose order is not semantic to be sorted by canonical coordinate; import declaration order is not part of Core semantics, so this should canonicalize the import list before building the array.\\n\\nUseful? React with 👍 / 👎.\",\"path\":\"crates/edict-syntax/src/canonical.rs\",\"side\":\"RIGHT\",\"line\":149}{\"type\":\"pull_request_comment\",\"body\":\"**_{_{![P2 Badge](https://img.shields.io/badge/P2-yellow?style=flat)}} Normalize source parameter locals before encoding**\\n\\nSerializing `local.id` makes canonical bytes depend on source binder spelling for intent parameters: the current compiler path sets the parameter local id from the source name while `alphaName` is `$arg0`, so renaming `input` to `person` and updating all uses changes the encoded Core bytes. I checked `docs/SPEC_edict-language-v1.md`, which requires local binder spelling to be alpha-normalized/excluded from Core hash input; this breaks that invariant for compiled modules, not just malformed hand-built Core.\\n\\nUseful? React with 👍 / 👎.\",\"path\":\"crates/edict-syntax/src/canonical.rs\",\"side\":\"RIGHT\",\"line\":462}{\"type\":\"pull_request_comment\",\"body\":\"**_{_{![P2 Badge](https://img.shields.io/badge/P2-yellow?style=flat)}} Canonicalize requiredCoreCapabilities as a set**\\n\\nThis encodes `required_core_capabilities` in the caller-provided vector order, so the same capability set reordered by a different producer gets different canonical bytes. I checked `docs/SPEC_edict-language-v1.md`, which describes `requiredCoreCapabilities` as the hash-significant set of Core capability flags; the encoder should sort and reject duplicates (or otherwise canonicalize the set) before emitting the array.\\n\\nUseful? React with 👍 / 👎.\",\"path\":\"crates/edict-syntax/src/canonical.rs\",\"side\":\"RIGHT\",\"line\":176}{\"type\":\"pull_request_comment\",\"body\":\"**_{_{![P2 Badge](https://img.shields.io/badge/P2-yellow?style=flat)}} Guard array lengths before allocating**\\n\\nFor an untrusted byte stream with a huge definite array length and little or no payload, `length()` can succeed and this `Vec::with_capacity(len)` attempts an enormous allocation or panics before the decoder has a chance to return `UnexpectedEof`. Since `decode_canonical_cbor` is the public validation path for malformed bytes, it should bound the declared length against the remaining input or otherwise return `CanonicalError` instead of letting crafted input crash the caller.\\n\\nUseful? React with 👍 / 👎.\",\"path\":\"crates/edict-syntax/src/canonical.rs\",\"side\":\"RIGHT\",\"line\":674}{\"type\":\"pull_request_comment\",\"body\":\"**_{_{![P2 Badge](https://img.shields.io/badge/P2-yellow?style=flat)}} Normalize uppercase digest hex before encoding**\\n\\nWhen source contains uppercase hex in a `sha256:` digest, the parser accepts it via `is_ascii_hexdigit`, but this branch rejects it instead of normalizing to the same digest bytes as lowercase. I checked `docs/SPEC_edict-language-v1.md`, which says uppercase digest hex may parse only if normalized before semantic comparison; this makes canonical encoding fail for a parsed module that should have an equivalent digest.\\n\\nUseful? React with 👍 / 👎.\",\"path\":\"crates/edict-syntax/src/canonical.rs\",\"side\":\"RIGHT\",\"line\":229}","text_elements",[],{"_470":1038,"_451":452,"_472":458},{"_473":1039,"_475":-5,"_42":-5,"_476":-5,"_477":-5,"_97":326,"_93":479},[1040],{"_46":1034,"_93":1041},"input_text",{"_470":1043,"_451":452,"_472":458},{"_473":1044,"_475":-5,"_42":-5,"_476":-5,"_477":-5,"_97":326,"_93":479},[1045,1046],{"_46":1048,"_93":1041},{"_46":1047,"_93":1041},"\n /workspace/edict\n bash\n 2026-06-24\n Etc/UTC\n","# AGENTS.md instructions for /workspace/edict\n\n\n# AGENTS\n\n## Git Rules\n\nNEVER amend git commits. Make a new commit instead.\n\nNEVER use `git rebase` unless the user explicitly approves a rare exception.\nUse regular merge commits.\n\nNEVER force any git operation. If a force operation appears necessary, stop and\nexplain what happened and what options remain.\n\nNEVER create draft pull requests.\n\nNEVER use a `codex` prefix in branch names, PR titles, or commit messages.\n\nPull request bodies for issue work MUST include GitHub auto-close text such as\n`Closes #123` for every issue the PR is intended to close.\n\n## Think\n\nThink is durable memory for cross-session coordination.\n\n- Use `codex-think --remember --json` when starting a new session, changing into\n this repository, or regaining context after a context shift.\n- Use `codex-think \"...\" --json` when a cycle closes or a significant event\n should survive across turns.\n- Treat Think as memory, not repo truth. Anchor strong claims back to files,\n commits, commands, issues, or pull requests.\n- Claude memories are read-only. Use `claude-think --remember --json` only for\n additional context.\n\n## Topic Shelves\n\n`docs/topics/` contains the living contract graph for landed behavior. Topic\nshelves are not proposals, retrospectives, or design archaeology.\n\nEach shelf may contain:\n\n- `README.md`: what is true in HEAD.\n- `test-plan.md`: how those truths are verified, including requirements, cases,\n fixtures, oracles, implemented evidence, planned cases, and known gaps.\n- `architecture.md`: optional structure or dataflow notes when the machinery\n earns a separate page.\n- `rationale.md`: optional still-relevant tradeoffs and rejected approaches.\n\n### When To Update Topic Shelves\n\nFor every nontrivial behavior, contract, workflow, release, schema, validation,\nor public-surface change:\n\n1. Identify the owning topic shelf before editing code.\n2. If no shelf owns durable behavior, create one.\n3. Update `test-plan.md` before or alongside tests with requirement IDs, case\n IDs, fixtures, and oracles.\n4. Write executable evidence: deterministic tests, fixtures, doctests, or\n contract checks as appropriate.\n5. Update the topic `README.md` only after behavior exists in the branch. The\n README describes current branch truth, not intended future behavior.\n6. Mark planned cases as implemented only when executable evidence exists.\n7. Run `cargo xtask verify` before claiming the shelf is current.\n\n### When Not To Update Topic Shelves\n\nDo not churn topic shelves for purely mechanical edits that do not change a\ncontract, such as formatting, typo fixes, dependency pin updates with no\nobservable behavior change, or internal refactors whose existing tests and topic\nclaims remain accurate.\n\nWhen a change intentionally does not update a topic shelf, state why in the pull\nrequest body or final report.\n\n### Topic Shelf Discipline\n\n- Topic `README.md` files must not describe intended behavior before it lands.\n- `test-plan.md` may include planned cases and known gaps.\n- `policy` rows are for human-review workflow contracts. They must not be used\n to avoid writing behavior tests for software behavior.\n- Tests assert code behavior and stable contract artifacts, not prose.\n- Negative tests should assert stable error kinds or structured artifacts, not\n merely `is_err()` or diagnostic text.\n- Release, CI, and publication workflows count as behavior when they define a\n project contract.\n- Avoid ceremonial documentation. Update shelves because the contract changed,\n not because a path changed.\n\n## RED/GREEN Testing Discipline\n\nEdict uses RED/GREEN test-driven development for nontrivial changes. The shared\ncontract lives in [docs/topics/tests/](docs/topics/tests/README.md).\n\nFor behavior, contract, workflow, release, schema, validation, or public-surface\nchanges:\n\n1. Update the owning topic `test-plan.md` with planned requirement and case rows\n before or alongside the first test.\n2. Write the deterministic test, fixture, doctest, or contract check before the\n implementation that makes it pass.\n3. Run the narrowest relevant command and observe the RED failure.\n4. Implement the smallest coherent change that turns that test GREEN.\n5. Mark planned rows as implemented only after executable evidence exists.\n6. Report the RED command and GREEN command in the final report or pull request\n body.\n\nTests must assert software behavior. Do not write tests that assert\nimplementation detail, documentation detail, or repository structure. Tests may\nexercise documentation tooling behavior, such as a validator rejecting invalid\ninput, but they must not pass merely because prose contains a phrase or a file\nappears at a particular path.\n\nDo not use after-the-fact tests as a substitute for RED/GREEN. If a change is a\npurely mechanical edit with no contract impact, state that no RED/GREEN cycle\nwas required.\n\n## Documentation Standards\n\nDocumentation is a product interface, not a Markdown inventory. The shared\ndocumentation policy lives in\n[docs/topics/documentation/](docs/topics/documentation/README.md).\n\nWhen creating or changing documentation:\n\n- Give each page one primary reader job: tutorial, how-to, reference,\n explanation, troubleshooting, or contributor guidance.\n- Keep user-facing task help separate from contributor architecture and evidence\n maps.\n- Use concrete, valid examples and show expected results when the result matters.\n- Put exact public facts in reference material and validate or generate them\n from authoritative sources when practical.\n- Update affected documentation in the same change as behavior, schema, release,\n workflow, or public-surface changes, or state `docs-impact: none` with a\n concise rationale.\n\n## Local Verification\n\nUse the local gate before claiming a branch is ready:\n\n```text\ncargo xtask verify\n```\n\n",{"_470":1050,"_451":452,"_472":458},{"_473":1051,"_475":-5,"_42":-5,"_476":-5,"_477":-5,"_97":1052,"_93":479},[1053,1054],"developer",{"_46":1056,"_93":1041},{"_46":1055,"_93":1041},"\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",{"_451":452,"_88":1059},{"_104":-5,"_42":458,"_459":1060,"_461":462,"_463":1061},[],"inProgress",{"_463":1063,"_451":452},{"_1064":1065,"_93":1066},"activeFlags",[],"active","thread/started",{"_1069":1070},"thread",{"_1071":-5,"_1072":-5,"_1073":1074,"_1075":462,"_515":516,"_1076":15,"_1077":-5,"_1078":-5,"_1079":-5,"_1080":1081,"_42":452,"_1082":1083,"_182":-5,"_1084":-5,"_162":1085,"_1086":200,"_1087":-5,"_520":1088,"_463":1089,"_1090":-5,"_78":1091,"_1092":462},"agentNickname","agentRole","cliVersion","0.128.0","createdAt","ephemeral","extra","forkedFromId","gitInfo","historyMode","legacy","modelProvider","openai","parentThreadId","/opt/codex/sessions/2026/06/24/rollout-2026-06-24T18-46-40-019efaf4-b085-7751-a2db-3916c18ab337.jsonl","preview","recencyAt","vscode",{"_93":467},"threadSource",[],"updatedAt",[],"messages",[1096],{"_42":1097,"_1098":1099,"_1100":1101,"_1102":1101,"_473":1103,"_463":1104,"_475":-5,"_1105":32,"_1106":1107,"_1108":1109,"_1110":-5},"ce70fbca-4417-42be-92fe-fc890d9e4e1b","author",{"_97":326,"_182":-5,"_1106":1119},"create_time",1782326799.655282,"update_time",{"_1115":46,"_1116":1117},"finished_successfully","weight","metadata",{"_1111":1112},"recipient","all","channel","l1239dk1",{"_1113":1114},"inline_comments",[],"content_type","parts",[1118],"| ID | Severity | Source | File | Lines | Issue |\n| --- | --- | --- | --- | --- | --- |\n| SELF-001 | P2 | Self | `crates/edict-syntax/src/canonical.rs` | L295-L296 | `inputConstraints` preserves caller vector order, so equivalent Core intents with the same coordinate-keyed constraints in a different order can encode to different canonical bytes. Cc: @codex |\nfeat: add core canonical encoder\n\n## Summary\n\n- Add the first reference `edict.canonical-cbor/v1` encoder for in-memory Core modules.\n- Add canonical CBOR decode/re-encode validation, including stable error kinds for non-canonical bytes and duplicate map keys.\n- Add behavior tests for map-order independence, mutation sensitivity, decode/re-encode stability, integer width stability, and source alpha-renaming invariance.\n- Update Core IR and compiler-spine topic shelves, README status, crate docs, package metadata, and CHANGELOG while keeping reviewed golden bytes and exact digest fixtures deferred to #22.\n\nCloses #21\n\n## RED/GREEN Evidence\n\nRED: `cargo test -p edict-syntax --test canonical_encoding -- --nocapture` failed before implementation because the public canonical encoder API did not exist.\n\nGREEN/VERIFY:\n\n- `cargo test -p edict-syntax --test canonical_encoding -- --nocapture`\n- `cargo fmt --all --check`\n- `cargo clippy -p edict-syntax --all-targets --all-features -- -D warnings`\n- `markdownlint-cli2 README.md CHANGELOG.md docs/topics/core-ir/README.md docs/topics/core-ir/test-plan.md docs/topics/compiler-spine/README.md docs/topics/compiler-spine/test-plan.md`\n- `git diff --check`\n- `cargo xtask verify`\n\n\n\n\n> [!WARNING]\n> ## Review limit reached\n> \n> `@flyingrobots`, we couldn't start this review because you've reached your PR review rate limit.\n> \n> More reviews will be available in 52 minutes and 40 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**: `e8694fce-592d-4f5c-9c31-a8f89c0ad0ee`\n> \n>

\n> \n>

\n>

📥 Commits

\n> \n> Reviewing files that changed from the base of the PR and between 7dd48028b7a5bc24faefa8ec14ea51f38c2fa2ad and 8b7731821e1f3169f2460e054a3885cfc2ec90b9.\n> \n>

\n> \n>

\n>

📒 Files selected for processing (10)

\n> \n> * `CHANGELOG.md`\n> * `README.md`\n> * `crates/edict-syntax/Cargo.toml`\n> * `crates/edict-syntax/src/canonical.rs`\n> * `crates/edict-syntax/src/lib.rs`\n> * `crates/edict-syntax/tests/canonical_encoding.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=33)! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.\n\n

❤️ Share

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

\n\n\n_{Comment `@coderabbitai help` to get the list of available commands.}\n\n\n**_{_{![P1 Badge](https://img.shields.io/badge/P1-orange?style=flat)}} Reject imports without resolved digests**\n\nWhen a `CoreImport` has `resource.digest == None`, this path simply omits the `digest` field and still produces canonical bytes. I checked `docs/abi/edict-common.cddl`, where `resource-ref` requires `{ id, digest }`, and `docs/SPEC_edict-language-v1.md` says Core canonicalization must fail if an imported digest is unresolved; otherwise callers can hash a Core module with a floating lawpack/target import and later resolve it to different semantics without this encoder reporting the invalid preimage.\n\nUseful? React with 👍 / 👎.\n\n### 💡 Codex Review\n\nHere are some automated review suggestions for this pull request.\n\n**Reviewed commit:** `8b7731821e`\n \n\n

ℹ️ About Codex in GitHub

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

\n**_{_{![P2 Badge](https://img.shields.io/badge/P2-yellow?style=flat)}} Omit import aliases from canonical bytes**\n\nIncluding `alias` here makes canonical bytes depend on source-local import spelling. I checked `docs/SPEC_edict-language-v1.md` I-009/I-010, which state that Core IR hashes use canonical coordinates and exclude import alias spelling; with this encoding, changing `use lawpack hello.optics@1 ... as hello` to another alias while updating references changes the Core preimage even though the resolved import coordinate and digest are identical.\n\nUseful? React with 👍 / 👎.\n**_{_{![P2 Badge](https://img.shields.io/badge/P2-yellow?style=flat)}} Sort imports before canonical encoding**\n\nThis preserves the `CoreModule.imports` vector order, so two modules with the same resolved imports in a different source order encode differently. I checked the canonicalization rules in `docs/SPEC_edict-language-v1.md`, which require declarations whose order is not semantic to be sorted by canonical coordinate; import declaration order is not part of Core semantics, so this should canonicalize the import list before building the array.\n\nUseful? React with 👍 / 👎.\n**_{_{![P2 Badge](https://img.shields.io/badge/P2-yellow?style=flat)}} Normalize source parameter locals before encoding**\n\nSerializing `local.id` makes canonical bytes depend on source binder spelling for intent parameters: the current compiler path sets the parameter local id from the source name while `alphaName` is `$arg0`, so renaming `input` to `person` and updating all uses changes the encoded Core bytes. I checked `docs/SPEC_edict-language-v1.md`, which requires local binder spelling to be alpha-normalized/excluded from Core hash input; this breaks that invariant for compiled modules, not just malformed hand-built Core.\n\nUseful? React with 👍 / 👎.\n**_{_{![P2 Badge](https://img.shields.io/badge/P2-yellow?style=flat)}} Canonicalize requiredCoreCapabilities as a set**\n\nThis encodes `required_core_capabilities` in the caller-provided vector order, so the same capability set reordered by a different producer gets different canonical bytes. I checked `docs/SPEC_edict-language-v1.md`, which describes `requiredCoreCapabilities` as the hash-significant set of Core capability flags; the encoder should sort and reject duplicates (or otherwise canonicalize the set) before emitting the array.\n\nUseful? React with 👍 / 👎.\n**_{_{![P2 Badge](https://img.shields.io/badge/P2-yellow?style=flat)}} Guard array lengths before allocating**\n\nFor an untrusted byte stream with a huge definite array length and little or no payload, `length()` can succeed and this `Vec::with_capacity(len)` attempts an enormous allocation or panics before the decoder has a chance to return `UnexpectedEof`. Since `decode_canonical_cbor` is the public validation path for malformed bytes, it should bound the declared length against the remaining input or otherwise return `CanonicalError` instead of letting crafted input crash the caller.\n\nUseful? React with 👍 / 👎.\n**_{_{![P2 Badge](https://img.shields.io/badge/P2-yellow?style=flat)}} Normalize uppercase digest hex before encoding**\n\nWhen source contains uppercase hex in a `sha256:` digest, the parser accepts it via `is_ascii_hexdigit`, but this branch rejects it instead of normalizing to the same digest bytes as lowercase. I checked `docs/SPEC_edict-language-v1.md`, which says uppercase digest hex may parse only if normalized before semantic comparison; this makes canonical encoding fail for a parsed module that should have an equivalent digest.\n\nUseful? React with 👍 / 👎.",{},"created",1782326950.9255047,"Completing the task","event_type","info",{"_93":479,"_97":94,"_473":1869},{"_93":1152,"_1153":1154},{"_93":1128,"_1129":1130,"_1131":1132,"_1133":1134,"_1135":-5},"pr","pr_title","Sort inputConstraints during canonical encoding to ensure order-independence","pr_message","### Motivation\n\n- Canonical encoder previously preserved the caller-provided `CoreIntent.input_constraints` vector order, which made semantically equivalent coordinate-keyed constraint sets encode to different bytes.\n- The intent is to make `edict.canonical-cbor/v1` bytes stable for Core modules regardless of input-constraint ordering so identical semantics yield identical canonical bytes. \n\n### Description\n\n- Replace direct iteration over `intent.input_constraints` with `input_constraints_value(...)` which maps constraints to canonical values and sorts them before emitting an array. \n- Add `fn input_constraints_value(...)` to `crates/edict-syntax/src/canonical.rs` and call it from `core_intent_value`. \n- Add a regression test `canonical_core_bytes_are_independent_of_input_constraint_order` in `crates/edict-syntax/tests/canonical_encoding.rs` that reverses input-constraint order and asserts identical canonical bytes. \n- Update `docs/topics/core-ir/test-plan.md` to record input-constraint order independence in the canonical encoder coverage. \n\n### Testing\n\n- RED: `cargo test -p edict-syntax --test canonical_encoding canonical_core_bytes_are_independent_of_input_constraint_order -- --nocapture` failed before the change because input constraints preserved vector order. \n- GREEN: ran `cargo test -p edict-syntax --test canonical_encoding canonical_core_bytes_are_independent_of_input_constraint_order -- --nocapture` and the test passed. \n- Verified with `cargo fmt --all --check` and a full `cargo test` run for the workspace and `cargo xtask verify`, all of which completed successfully.","output_diff",{"_93":1133,"_1136":516,"_129":130,"_1137":-5,"_325":1138,"_1139":1140,"_1141":1142,"_1143":1144,"_1145":1142,"_1146":574,"_1147":1148},"pre_apply_patch","repo_id","preapply_patch_base_commit_sha","diff --git a/crates/edict-syntax/src/canonical.rs b/crates/edict-syntax/src/canonical.rs\nindex 430f4f9ec6374458fa6b8c762f67f04003ceb21f..d6bf4e7a04d0ef71c5faf26b0114ec86e9a8f1de 100644\n--- a/crates/edict-syntax/src/canonical.rs\n+++ b/crates/edict-syntax/src/canonical.rs\n@@ -271,60 +271,71 @@ fn core_type_value(ty: &CoreType) -> CanonicalValue {\n (\"item\", text(item)),\n (\"max\", uint(*max)),\n ]),\n CoreType::Map { key, value, max } => map([\n (\"kind\", text(\"Map\")),\n (\"key\", text(key)),\n (\"value\", text(value)),\n (\"max\", uint(*max)),\n ]),\n CoreType::CapabilityRef { item } => {\n map([(\"kind\", text(\"CapabilityRef\")), (\"item\", text(item))])\n }\n }\n }\n \n fn core_intent_value(intent: &CoreIntent) -> Result {\n Ok(map([\n (\"input\", text(&intent.input)),\n (\"output\", text(&intent.output)),\n (\n \"requiredOperationProfile\",\n text(&intent.required_operation_profile),\n ),\n (\n \"inputConstraints\",\n- array_results(intent.input_constraints.iter().map(input_constraint_value))?,\n+ input_constraints_value(&intent.input_constraints)?,\n ),\n (\n \"coreEvaluationBudget\",\n core_budget_value(&intent.core_evaluation_budget),\n ),\n (\"body\", core_block_value(&intent.body)?),\n ]))\n }\n \n+fn input_constraints_value(\n+ constraints: &[InputConstraint],\n+) -> Result {\n+ let mut values = constraints\n+ .iter()\n+ .map(input_constraint_value)\n+ .collect::, _>>()?;\n+ values.sort();\n+ Ok(array(values))\n+}\n+\n fn input_constraint_value(constraint: &InputConstraint) -> Result {\n Ok(map([\n (\"coordinate\", text(&constraint.coordinate)),\n (\n \"source\",\n text(input_constraint_source_str(constraint.source)),\n ),\n (\"predicate\", core_predicate_value(&constraint.predicate)?),\n ]))\n }\n \n const fn input_constraint_source_str(source: InputConstraintSource) -> &'static str {\n match source {\n InputConstraintSource::Where => \"where\",\n InputConstraintSource::Compiler => \"compiler\",\n }\n }\n \n fn core_budget_value(budget: &CoreBudget) -> CanonicalValue {\n map([\n (\"maxSteps\", uint(budget.max_steps)),\n (\"maxAllocatedBytes\", uint(budget.max_allocated_bytes)),\n (\"maxOutputBytes\", uint(budget.max_output_bytes)),\n ])\n }\ndiff --git a/crates/edict-syntax/tests/canonical_encoding.rs b/crates/edict-syntax/tests/canonical_encoding.rs\nindex 5ed39e072aadb748b0e517bbc7b52a1603fb225d..ea15112e951caffc5695e3d8ffb9fd36e8b30289 100644\n--- a/crates/edict-syntax/tests/canonical_encoding.rs\n+++ b/crates/edict-syntax/tests/canonical_encoding.rs\n@@ -28,50 +28,75 @@ fn hello_context() -> CompilerContext {\n #[test]\n fn canonical_core_bytes_are_independent_of_map_construction_order() {\n let module = parse_module(BOUNDED_HELLO).expect(\"fixture parses\");\n let core = compile_to_core(&module, &hello_context()).expect(\"fixture compiles to Core\");\n \n let mut reordered = core.clone();\n reordered.types = core\n .types\n .iter()\n .rev()\n .map(|(name, ty)| (name.clone(), ty.clone()))\n .collect();\n reordered.intents = core\n .intents\n .iter()\n .rev()\n .map(|(name, intent)| (name.clone(), intent.clone()))\n .collect();\n \n assert_eq!(\n encode_core_module(&core).expect(\"canonical encoding succeeds\"),\n encode_core_module(&reordered).expect(\"canonical encoding succeeds\")\n );\n }\n \n+#[test]\n+fn canonical_core_bytes_are_independent_of_input_constraint_order() {\n+ let module = parse_module(BOUNDED_HELLO).expect(\"fixture parses\");\n+ let core = compile_to_core(&module, &hello_context()).expect(\"fixture compiles to Core\");\n+\n+ let mut forward = core.clone();\n+ let intent = forward.intents.get_mut(\"sayHello\").expect(\"intent exists\");\n+ let mut second_constraint = intent.input_constraints[0].clone();\n+ second_constraint.coordinate = \"hello.constraints/secondary\".to_owned();\n+ intent.input_constraints.push(second_constraint);\n+\n+ let mut reversed = forward.clone();\n+ reversed\n+ .intents\n+ .get_mut(\"sayHello\")\n+ .expect(\"intent exists\")\n+ .input_constraints\n+ .reverse();\n+\n+ assert_eq!(\n+ encode_core_module(&forward).expect(\"canonical encoding succeeds\"),\n+ encode_core_module(&reversed).expect(\"canonical encoding succeeds\")\n+ );\n+}\n+\n #[test]\n fn canonical_core_bytes_change_when_core_meaning_changes() {\n let module = parse_module(BOUNDED_HELLO).expect(\"fixture parses\");\n let core = compile_to_core(&module, &hello_context()).expect(\"fixture compiles to Core\");\n let mut changed = core.clone();\n changed\n .intents\n .get_mut(\"sayHello\")\n .expect(\"intent exists\")\n .core_evaluation_budget\n .max_steps += 1;\n \n assert_ne!(\n encode_core_module(&core).expect(\"canonical encoding succeeds\"),\n encode_core_module(&changed).expect(\"canonical encoding succeeds\")\n );\n }\n \n #[test]\n fn canonical_core_bytes_decode_and_reencode_stably() {\n let module = parse_module(BOUNDED_HELLO).expect(\"fixture parses\");\n let core = compile_to_core(&module, &hello_context()).expect(\"fixture compiles to Core\");\n let bytes = encode_core_module(&core).expect(\"canonical encoding succeeds\");\n \n let decoded = decode_canonical_cbor(&bytes).expect(\"canonical bytes decode\");\ndiff --git a/docs/topics/core-ir/test-plan.md b/docs/topics/core-ir/test-plan.md\nindex 0079d15cff52e05b45306337010e61db031f5d8c..1c71f3ec8b831e75e8c15af481d100fd3e29011c 100644\n--- a/docs/topics/core-ir/test-plan.md\n+++ b/docs/topics/core-ir/test-plan.md\n@@ -18,76 +18,76 @@ In scope:\n - deterministic contract metadata linking this shelf to executable tests.\n \n Out of scope:\n \n - full source-to-Core language coverage;\n - reviewed golden Core bytes;\n - exact Core digests;\n - target-profile lowering;\n - bundle/admission validation.\n \n ## Requirements\n \n | ID | Status | Requirement | Source |\n | --- | --- | --- | --- |\n | COREIR-REQ-001 | implemented | Core modules are semantic artifacts with `apiVersion: \"edict.core/v1\"`, imports, types, intents, and required Core capabilities. | docs/abi/edict-core.cddl, issue #3 |\n | COREIR-REQ-002 | implemented | Core type schema covers bounded scalars, records, variants, options, lists, maps, and capability references. | docs/abi/edict-core.cddl, issue #3 |\n | COREIR-REQ-003 | implemented | Core expressions and predicates are separate schema families. | docs/abi/edict-core.cddl, issue #3 |\n | COREIR-REQ-004 | implemented | Core blocks/nodes represent ordered semantic execution with locals, effects, guards, branches, bounded loops, match blocks, proof obligations, and a result expression. | docs/abi/edict-core.cddl, issue #3 |\n | COREIR-REQ-005 | implemented | Local references carry alpha-stable identity through `local-ref` with `alphaName`; source binder spelling is not identity. | docs/abi/edict-core.cddl, issue #3 |\n | COREIR-REQ-006 | implemented | Input constraints carry predicate trees, not validator coordinate strings. | docs/abi/edict-core.cddl, EDICT-CORE-WHERE-HASH-001 |\n | COREIR-REQ-007 | implemented | The Core module schema does not freeze a self-hash, reviewed golden bytes, exact Core digests, target IR, or admission bundles. | ROADMAP.md, docs/abi/edict-core.cddl |\n | COREIR-REQ-008 | implemented | `docs/abi/edict-core.cddl` is the normative machine-readable schema for `edict.core/v1`. | docs/abi/edict-core.cddl, issue #19 |\n | COREIR-REQ-009 | implemented | Core states the required operation profile; verified operation mode is external verifier/admission evidence, not a Core field. | docs/abi/edict-core.cddl, EDICT-CORE-VERIFIED-EXTERNAL-001 |\n | COREIR-REQ-010 | implemented | Accepted and rejected Core schema-shape fixtures are checked against the CDDL declarations. | docs/abi/edict-core.cddl, issue #19 |\n | COREIR-REQ-011 | implemented | Edict-authored lawpack pure helper bodies use a pure `core-fn-body` shape, not the effect-capable `core-block` node algebra. | docs/abi/edict-core.cddl, docs/abi/edict-lawpack.cddl |\n-| COREIR-REQ-012 | implemented | Core modules have a reference `edict.canonical-cbor/v1` encoder that emits deterministic bytes from semantic Core values. | issue #21, crates/edict-syntax/src/canonical.rs |\n+| COREIR-REQ-012 | implemented | Core modules have a reference `edict.canonical-cbor/v1` encoder that emits deterministic bytes from semantic Core values, including order-independent coordinate-keyed input constraints. | issue #21, crates/edict-syntax/src/canonical.rs |\n | COREIR-REQ-013 | implemented | Canonical Core bytes can be decoded to a canonical value and re-encoded without byte changes; non-canonical encodings reject. | issue #21, crates/edict-syntax/src/canonical.rs |\n | COREIR-REQ-014 | planned | The canonical encoder does not freeze reviewed golden byte fixtures or exact digest fixtures. | issue #21, issue #22 |\n \n ## Fixtures\n \n | Fixture | Purpose | Oracle |\n | --- | --- | --- |\n | docs/abi/edict-core.cddl | Normative Core semantic schema. | Required semantic declarations exist and forbidden byte/hash freeze fields are absent. |\n | fixtures/lang/bounds/bounded-hello.edict | Initial pure local-record source-to-Core fixture. | Compiled Core module canonicalizes deterministically without reviewed golden bytes or digest fixtures. |\n | fixtures/core/schema/accepted/core-module-minimal.fields | Accepted Core module field-shape fixture. | Required `core-module` fields are present and no unknown fields appear. |\n | fixtures/core/schema/accepted/core-intent-minimal.fields | Accepted Core intent field-shape fixture. | Required `core-intent` fields are present and no unknown fields appear. |\n | fixtures/core/schema/accepted/core-fn-body-minimal.fields | Accepted pure Core function body field-shape fixture. | Required `core-fn-body` fields are present and no unknown fields appear. |\n | fixtures/core/schema/rejected/core-module-missing-intents.fields | Rejected Core module field-shape fixture. | Missing required `intents` rejects. |\n | fixtures/core/schema/rejected/local-ref-missing-alpha-name.fields | Rejected local reference field-shape fixture. | Missing required `alphaName` rejects. |\n | fixtures/core/schema/rejected/core-intent-unknown-verified-mode.fields | Rejected Core intent field-shape fixture. | External verifier evidence field rejects as non-Core. |\n | fixtures/core/schema/rejected/core-fn-body-effect-node-field.fields | Rejected pure Core function body field-shape fixture. | Effect-capable `nodes` field rejects as non-Core helper body shape. |\n \n ## Test Cases\n \n | ID | Status | Category | Requirement | Oracle | Evidence | Fixtures | Notes |\n | --- | --- | --- | --- | --- | --- | --- | --- |\n | COREIR-TP-001 | implemented | Golden path | COREIR-REQ-001, COREIR-REQ-002, COREIR-REQ-003, COREIR-REQ-004, COREIR-REQ-005, COREIR-REQ-006, COREIR-REQ-008, COREIR-REQ-009, COREIR-REQ-011 | `edict-core.cddl` contains the required module, type, intent, block, node, expression, predicate, function-body, input-constraint, local-ref, alpha-name, and operation-profile declarations. | core_cddl_declares_v1_semantic_model | docs/abi/edict-core.cddl | Static schema contract regression. |\n | COREIR-TP-002 | implemented | Boundary guard | COREIR-REQ-007 | `edict-core.cddl` contains no fields that freeze self-hash, byte, digest, target, or admission artifacts. | core_cddl_has_no_digest_freeze_fields | docs/abi/edict-core.cddl | Golden byte and digest work is owned by #22. |\n | COREIR-TP-003 | implemented | Contract graph | COREIR-REQ-001, COREIR-REQ-002, COREIR-REQ-003, COREIR-REQ-004, COREIR-REQ-005, COREIR-REQ-006, COREIR-REQ-007, COREIR-REQ-008, COREIR-REQ-009, COREIR-REQ-010, COREIR-REQ-011 | The topic shelf resolves requirement IDs, case IDs, sources, evidence test names, fixtures, and local links. | contract_graph_is_valid | docs/abi/edict-core.cddl | Executed by `cargo xtask contract-check` and `cargo xtask verify`. |\n | COREIR-TP-004 | implemented | Schema validation | COREIR-REQ-008, COREIR-REQ-010, COREIR-REQ-011 | Accepted and rejected Core field-shape fixtures validate against the required and allowed fields extracted from `edict-core.cddl`. | core_schema_shape_fixtures_match_cddl | fixtures/core/schema/accepted/core-module-minimal.fields, fixtures/core/schema/accepted/core-intent-minimal.fields, fixtures/core/schema/accepted/core-fn-body-minimal.fields, fixtures/core/schema/rejected/core-module-missing-intents.fields, fixtures/core/schema/rejected/local-ref-missing-alpha-name.fields, fixtures/core/schema/rejected/core-intent-unknown-verified-mode.fields, fixtures/core/schema/rejected/core-fn-body-effect-node-field.fields | Lightweight schema-shape validation, not full CDDL instance validation. |\n | COREIR-TP-005 | planned | Schema validation | COREIR-REQ-008 | Accepted and rejected Core instance fixtures validate against the CDDL through a complete CDDL validator. | - | - | Deferred until the validator harness exists. |\n | COREIR-TP-006 | planned | Golden artifact | COREIR-REQ-014 | Reviewed golden bytes and exact digest fixtures are produced from the executable encoder. | - | - | Owned by #22 after #21 lands. |\n-| COREIR-TP-007 | implemented | Canonical encoding | COREIR-REQ-012 | Equivalent Core modules with maps constructed in different orders encode to the same bytes. | canonical_core_bytes_are_independent_of_map_construction_order | fixtures/lang/bounds/bounded-hello.edict | Tests map-order independence without freezing reviewed golden bytes. |\n+| COREIR-TP-007 | implemented | Canonical encoding | COREIR-REQ-012 | Equivalent Core modules with maps and coordinate-keyed input constraints constructed in different orders encode to the same bytes. | canonical_core_bytes_are_independent_of_map_construction_order, canonical_core_bytes_are_independent_of_input_constraint_order | fixtures/lang/bounds/bounded-hello.edict | Tests map-order and input-constraint-order independence without freezing reviewed golden bytes. |\n | COREIR-TP-008 | implemented | Canonical encoding | COREIR-REQ-012 | Mutating a semantic Core field changes canonical bytes. | canonical_core_bytes_change_when_core_meaning_changes | fixtures/lang/bounds/bounded-hello.edict | Tests mutation sensitivity without computing a digest. |\n | COREIR-TP-009 | implemented | Canonical validation | COREIR-REQ-013 | Decoding canonical bytes and re-encoding them returns identical bytes; non-canonical bytes and duplicate map keys reject. | canonical_core_bytes_decode_and_reencode_stably, noncanonical_cbor_bytes_reject_with_stable_error_kind, canonical_cbor_rejects_duplicate_map_keys_on_encode | fixtures/lang/bounds/bounded-hello.edict | Encode and decode paths validate canonical byte shape. |\n | COREIR-TP-010 | implemented | Alpha stability | COREIR-REQ-005, COREIR-REQ-012 | Source binder renaming that preserves Core local identity does not change canonical bytes. | canonical_core_bytes_are_source_alpha_rename_invariant | fixtures/lang/bounds/bounded-hello.edict | Tests source names do not enter Core identity. |\n | COREIR-TP-011 | implemented | Platform independence | COREIR-REQ-012 | Canonical integer encodings use fixed CBOR width thresholds and big-endian multi-byte payloads. | canonical_cbor_integer_widths_are_platform_independent | - | Tests primitive encoder behavior, not a Core golden fixture. |\n \n ## Determinism Obligations\n \n - Static schema tests read checked-in files only.\n - Tests assert structured schema declarations and forbidden field names, not\n rendered prose.\n - The contract graph checker verifies requirement/case/evidence/fixture links.\n - Schema-shape fixtures are checked by extracting required and allowed fields\n from the checked-in CDDL, not by duplicating a prose field list.\n - Canonical encoder tests compare behavior-derived bytes only; they do not\n record reviewed golden fixtures or exact digest values in this milestone.\n \n ## Open Gaps\n \n - Full CDDL instance validation fixtures still require a validation harness.\n - Initial source-to-in-memory-Core lowering exists in the compiler-spine shelf;\n full source language coverage is still open.\n - Reviewed golden bytes and exact digest fixtures remain open for #22.\n","external_storage_diff",{"_1149":1150,"_1151":-5},"files_modified",3,"lines_added",39,"lines_removed","commit_message","additional_parent_commit_shas",[],"file_id","file_00000000a848722fb2ae0f36d0592a24","ttl","partial_repo_snapshot","files",[1155,1156,1157],{"_162":1351,"_1159":-5,"_1160":1352,"_1162":-5},{"_162":1246,"_1159":-5,"_1160":1247,"_1162":-5},{"_162":1158,"_1159":-5,"_1160":1161,"_1162":-5},"docs/topics/core-ir/test-plan.md","contents","line_range_contents",[1163],"missing_reason",{"_1164":329,"_1165":1166,"_473":1167,"_1168":59},"line_range_start","line_range_end",93,[1169,200,1170,200,1171,200,1172,200,1173,1174,1175,1176,1177,1178,1179,1180,1181,1182,200,1183,200,1184,1185,1186,1187,1188,200,1189,200,1190,1191,1192,1193,1194,1195,1196,1197,1198,1199,1200,1201,1202,1203,1204,1205,200,1206,200,1207,1208,1209,1210,1211,1212,1213,1214,1215,1216,1217,200,1218,200,1219,1220,1221,1222,1223,1224,1225,1226,1227,1228,1229,1230,1231,200,1232,200,1233,1234,1235,1236,1237,1238,1239,1240,200,1241,200,1242,1243,1244,1245],"contains_end_of_file","# Core IR Test Plan","Status: current verification design for the Core semantic model and CDDL schema.","## Scope","In scope:","- `edict.core/v1` semantic model boundaries;","- normative CDDL declarations in `docs/abi/edict-core.cddl`;","- local-reference normalization shape;","- input-constraint and predicate-tree shape;","- reference canonical encoder behavior for the current in-memory Core module"," model;","- canonical byte validation through decode and re-encode stability;","- explicit non-claim that the Core module schema freezes no self-hash, reviewed"," golden bytes, exact Core digests, target IR, or admission bundles;","- deterministic contract metadata linking this shelf to executable tests.","Out of scope:","- full source-to-Core language coverage;","- reviewed golden Core bytes;","- exact Core digests;","- target-profile lowering;","- bundle/admission validation.","## Requirements","| ID | Status | Requirement | Source |","| --- | --- | --- | --- |","| COREIR-REQ-001 | implemented | Core modules are semantic artifacts with `apiVersion: \"edict.core/v1\"`, imports, types, intents, and required Core capabilities. | docs/abi/edict-core.cddl, issue #3 |","| COREIR-REQ-002 | implemented | Core type schema covers bounded scalars, records, variants, options, lists, maps, and capability references. | docs/abi/edict-core.cddl, issue #3 |","| COREIR-REQ-003 | implemented | Core expressions and predicates are separate schema families. | docs/abi/edict-core.cddl, issue #3 |","| COREIR-REQ-004 | implemented | Core blocks/nodes represent ordered semantic execution with locals, effects, guards, branches, bounded loops, match blocks, proof obligations, and a result expression. | docs/abi/edict-core.cddl, issue #3 |","| COREIR-REQ-005 | implemented | Local references carry alpha-stable identity through `local-ref` with `alphaName`; source binder spelling is not identity. | docs/abi/edict-core.cddl, issue #3 |","| COREIR-REQ-006 | implemented | Input constraints carry predicate trees, not validator coordinate strings. | docs/abi/edict-core.cddl, EDICT-CORE-WHERE-HASH-001 |","| COREIR-REQ-007 | implemented | The Core module schema does not freeze a self-hash, reviewed golden bytes, exact Core digests, target IR, or admission bundles. | ROADMAP.md, docs/abi/edict-core.cddl |","| COREIR-REQ-008 | implemented | `docs/abi/edict-core.cddl` is the normative machine-readable schema for `edict.core/v1`. | docs/abi/edict-core.cddl, issue #19 |","| COREIR-REQ-009 | implemented | Core states the required operation profile; verified operation mode is external verifier/admission evidence, not a Core field. | docs/abi/edict-core.cddl, EDICT-CORE-VERIFIED-EXTERNAL-001 |","| COREIR-REQ-010 | implemented | Accepted and rejected Core schema-shape fixtures are checked against the CDDL declarations. | docs/abi/edict-core.cddl, issue #19 |","| COREIR-REQ-011 | implemented | Edict-authored lawpack pure helper bodies use a pure `core-fn-body` shape, not the effect-capable `core-block` node algebra. | docs/abi/edict-core.cddl, docs/abi/edict-lawpack.cddl |","| COREIR-REQ-012 | implemented | Core modules have a reference `edict.canonical-cbor/v1` encoder that emits deterministic bytes from semantic Core values, including order-independent coordinate-keyed input constraints. | issue #21, crates/edict-syntax/src/canonical.rs |","| COREIR-REQ-013 | implemented | Canonical Core bytes can be decoded to a canonical value and re-encoded without byte changes; non-canonical encodings reject. | issue #21, crates/edict-syntax/src/canonical.rs |","| COREIR-REQ-014 | planned | The canonical encoder does not freeze reviewed golden byte fixtures or exact digest fixtures. | issue #21, issue #22 |","## Fixtures","| Fixture | Purpose | Oracle |","| --- | --- | --- |","| docs/abi/edict-core.cddl | Normative Core semantic schema. | Required semantic declarations exist and forbidden byte/hash freeze fields are absent. |","| fixtures/lang/bounds/bounded-hello.edict | Initial pure local-record source-to-Core fixture. | Compiled Core module canonicalizes deterministically without reviewed golden bytes or digest fixtures. |","| fixtures/core/schema/accepted/core-module-minimal.fields | Accepted Core module field-shape fixture. | Required `core-module` fields are present and no unknown fields appear. |","| fixtures/core/schema/accepted/core-intent-minimal.fields | Accepted Core intent field-shape fixture. | Required `core-intent` fields are present and no unknown fields appear. |","| fixtures/core/schema/accepted/core-fn-body-minimal.fields | Accepted pure Core function body field-shape fixture. | Required `core-fn-body` fields are present and no unknown fields appear. |","| fixtures/core/schema/rejected/core-module-missing-intents.fields | Rejected Core module field-shape fixture. | Missing required `intents` rejects. |","| fixtures/core/schema/rejected/local-ref-missing-alpha-name.fields | Rejected local reference field-shape fixture. | Missing required `alphaName` rejects. |","| fixtures/core/schema/rejected/core-intent-unknown-verified-mode.fields | Rejected Core intent field-shape fixture. | External verifier evidence field rejects as non-Core. |","| fixtures/core/schema/rejected/core-fn-body-effect-node-field.fields | Rejected pure Core function body field-shape fixture. | Effect-capable `nodes` field rejects as non-Core helper body shape. |","## Test Cases","| ID | Status | Category | Requirement | Oracle | Evidence | Fixtures | Notes |","| --- | --- | --- | --- | --- | --- | --- | --- |","| COREIR-TP-001 | implemented | Golden path | COREIR-REQ-001, COREIR-REQ-002, COREIR-REQ-003, COREIR-REQ-004, COREIR-REQ-005, COREIR-REQ-006, COREIR-REQ-008, COREIR-REQ-009, COREIR-REQ-011 | `edict-core.cddl` contains the required module, type, intent, block, node, expression, predicate, function-body, input-constraint, local-ref, alpha-name, and operation-profile declarations. | core_cddl_declares_v1_semantic_model | docs/abi/edict-core.cddl | Static schema contract regression. |","| COREIR-TP-002 | implemented | Boundary guard | COREIR-REQ-007 | `edict-core.cddl` contains no fields that freeze self-hash, byte, digest, target, or admission artifacts. | core_cddl_has_no_digest_freeze_fields | docs/abi/edict-core.cddl | Golden byte and digest work is owned by #22. |","| COREIR-TP-003 | implemented | Contract graph | COREIR-REQ-001, COREIR-REQ-002, COREIR-REQ-003, COREIR-REQ-004, COREIR-REQ-005, COREIR-REQ-006, COREIR-REQ-007, COREIR-REQ-008, COREIR-REQ-009, COREIR-REQ-010, COREIR-REQ-011 | The topic shelf resolves requirement IDs, case IDs, sources, evidence test names, fixtures, and local links. | contract_graph_is_valid | docs/abi/edict-core.cddl | Executed by `cargo xtask contract-check` and `cargo xtask verify`. |","| COREIR-TP-004 | implemented | Schema validation | COREIR-REQ-008, COREIR-REQ-010, COREIR-REQ-011 | Accepted and rejected Core field-shape fixtures validate against the required and allowed fields extracted from `edict-core.cddl`. | core_schema_shape_fixtures_match_cddl | fixtures/core/schema/accepted/core-module-minimal.fields, fixtures/core/schema/accepted/core-intent-minimal.fields, fixtures/core/schema/accepted/core-fn-body-minimal.fields, fixtures/core/schema/rejected/core-module-missing-intents.fields, fixtures/core/schema/rejected/local-ref-missing-alpha-name.fields, fixtures/core/schema/rejected/core-intent-unknown-verified-mode.fields, fixtures/core/schema/rejected/core-fn-body-effect-node-field.fields | Lightweight schema-shape validation, not full CDDL instance validation. |","| COREIR-TP-005 | planned | Schema validation | COREIR-REQ-008 | Accepted and rejected Core instance fixtures validate against the CDDL through a complete CDDL validator. | - | - | Deferred until the validator harness exists. |","| COREIR-TP-006 | planned | Golden artifact | COREIR-REQ-014 | Reviewed golden bytes and exact digest fixtures are produced from the executable encoder. | - | - | Owned by #22 after #21 lands. |","| COREIR-TP-007 | implemented | Canonical encoding | COREIR-REQ-012 | Equivalent Core modules with maps and coordinate-keyed input constraints constructed in different orders encode to the same bytes. | canonical_core_bytes_are_independent_of_map_construction_order, canonical_core_bytes_are_independent_of_input_constraint_order | fixtures/lang/bounds/bounded-hello.edict | Tests map-order and input-constraint-order independence without freezing reviewed golden bytes. |","| COREIR-TP-008 | implemented | Canonical encoding | COREIR-REQ-012 | Mutating a semantic Core field changes canonical bytes. | canonical_core_bytes_change_when_core_meaning_changes | fixtures/lang/bounds/bounded-hello.edict | Tests mutation sensitivity without computing a digest. |","| COREIR-TP-009 | implemented | Canonical validation | COREIR-REQ-013 | Decoding canonical bytes and re-encoding them returns identical bytes; non-canonical bytes and duplicate map keys reject. | canonical_core_bytes_decode_and_reencode_stably, noncanonical_cbor_bytes_reject_with_stable_error_kind, canonical_cbor_rejects_duplicate_map_keys_on_encode | fixtures/lang/bounds/bounded-hello.edict | Encode and decode paths validate canonical byte shape. |","| COREIR-TP-010 | implemented | Alpha stability | COREIR-REQ-005, COREIR-REQ-012 | Source binder renaming that preserves Core local identity does not change canonical bytes. | canonical_core_bytes_are_source_alpha_rename_invariant | fixtures/lang/bounds/bounded-hello.edict | Tests source names do not enter Core identity. |","| COREIR-TP-011 | implemented | Platform independence | COREIR-REQ-012 | Canonical integer encodings use fixed CBOR width thresholds and big-endian multi-byte payloads. | canonical_cbor_integer_widths_are_platform_independent | - | Tests primitive encoder behavior, not a Core golden fixture. |","## Determinism Obligations","- Static schema tests read checked-in files only.","- Tests assert structured schema declarations and forbidden field names, not"," rendered prose.","- The contract graph checker verifies requirement/case/evidence/fixture links.","- Schema-shape fixtures are checked by extracting required and allowed fields"," from the checked-in CDDL, not by duplicating a prose field list.","- Canonical encoder tests compare behavior-derived bytes only; they do not"," record reviewed golden fixtures or exact digest values in this milestone.","## Open Gaps","- Full CDDL instance validation fixtures still require a validation harness.","- Initial source-to-in-memory-Core lowering exists in the compiler-spine shelf;"," full source language coverage is still open.","- Reviewed golden bytes and exact digest fixtures remain open for #22.","crates/edict-syntax/tests/canonical_encoding.rs",[1248],{"_1164":329,"_1165":1249,"_473":1250,"_1168":59},170,[1251,1252,1253,1254,1255,1256,200,1257,1258,1259,1260,200,1261,200,1262,1263,1264,1265,1266,1267,1268,1269,1270,1271,1272,1273,200,1274,1275,1276,1277,200,1278,1279,1280,1281,1282,1283,1284,1285,1286,1281,1282,1287,1284,200,1288,1289,1290,1291,1273,200,1274,1292,1276,1277,200,1293,1294,1295,1296,1297,200,1298,1299,1286,1300,1301,1302,1303,200,1288,1304,1305,1291,1273,200,1274,1306,1276,1277,1307,1308,1286,1300,1301,1309,1310,200,1311,1289,1312,1291,1273,200,1274,1313,1276,1277,1314,200,1315,200,1288,1316,1317,1291,1273,200,1274,1318,1319,200,1320,1273,200,1274,1321,1322,1323,1324,1325,1326,1323,1324,1327,1326,1328,1329,200,1330,1273,200,1274,1331,1288,1332,1333,1291,1288,1334,1335,1291,1288,1336,1337,1291,1288,1338,1339,1291,1273,200,1274,1340,1341,1342,1343,200,1344,1345,1346,1347,1348,200,1288,1349,1350,1291,1273],"//! Canonical Core encoding behavior for the v0.3 encoder slice.","//!","//! These tests assert public behavior: deterministic canonical bytes,","//! canonical-CBOR validation, mutation sensitivity, and alpha-stable source","//! lowering. They intentionally do not freeze reviewed Core golden fixtures or","//! exact digest values; that belongs to issue #22.","use edict_syntax::{"," compile_to_core, decode_canonical_cbor, encode_canonical_cbor, encode_core_module,"," parse_module, CanonicalErrorKind, CanonicalValue, CompilerContext, CoreBudget,","};","const BOUNDED_HELLO: &str = include_str!(\"../../../fixtures/lang/bounds/bounded-hello.edict\");","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 canonical_core_bytes_are_independent_of_map_construction_order() {"," let module = parse_module(BOUNDED_HELLO).expect(\"fixture parses\");"," let core = compile_to_core(&module, &hello_context()).expect(\"fixture compiles to Core\");"," let mut reordered = core.clone();"," reordered.types = core"," .types"," .iter()"," .rev()"," .map(|(name, ty)| (name.clone(), ty.clone()))"," .collect();"," reordered.intents = core"," .intents"," .map(|(name, intent)| (name.clone(), intent.clone()))"," assert_eq!("," encode_core_module(&core).expect(\"canonical encoding succeeds\"),"," encode_core_module(&reordered).expect(\"canonical encoding succeeds\")"," );","fn canonical_core_bytes_are_independent_of_input_constraint_order() {"," let mut forward = core.clone();"," let intent = forward.intents.get_mut(\"sayHello\").expect(\"intent exists\");"," let mut second_constraint = intent.input_constraints[0].clone();"," second_constraint.coordinate = \"hello.constraints/secondary\".to_owned();"," intent.input_constraints.push(second_constraint);"," let mut reversed = forward.clone();"," reversed"," .get_mut(\"sayHello\")"," .expect(\"intent exists\")"," .input_constraints"," .reverse();"," encode_core_module(&forward).expect(\"canonical encoding succeeds\"),"," encode_core_module(&reversed).expect(\"canonical encoding succeeds\")","fn canonical_core_bytes_change_when_core_meaning_changes() {"," let mut changed = core.clone();"," changed"," .core_evaluation_budget"," .max_steps += 1;"," assert_ne!("," encode_core_module(&changed).expect(\"canonical encoding succeeds\")","fn canonical_core_bytes_decode_and_reencode_stably() {"," let bytes = encode_core_module(&core).expect(\"canonical encoding succeeds\");"," let decoded = decode_canonical_cbor(&bytes).expect(\"canonical bytes decode\");"," encode_canonical_cbor(&decoded).expect(\"canonical value re-encodes\"),"," bytes","fn noncanonical_cbor_bytes_reject_with_stable_error_kind() {"," let err = decode_canonical_cbor(&[0x18, 0x00]).expect_err(\"non-minimal zero rejects\");"," assert_eq!(err.kind(), CanonicalErrorKind::NonCanonical);","fn canonical_cbor_rejects_duplicate_map_keys_on_encode() {"," let err = encode_canonical_cbor(&CanonicalValue::Map(vec!["," ("," CanonicalValue::Text(\"key\".to_owned()),"," CanonicalValue::Integer(1),"," ),"," CanonicalValue::Integer(2),"," ]))"," .expect_err(\"duplicate map keys reject\");"," assert_eq!(err.kind(), CanonicalErrorKind::DuplicateMapKey);","fn canonical_cbor_integer_widths_are_platform_independent() {"," encode_canonical_cbor(&CanonicalValue::Integer(23)).expect(\"integer encodes\"),"," vec![0x17]"," encode_canonical_cbor(&CanonicalValue::Integer(24)).expect(\"integer encodes\"),"," vec![0x18, 0x18]"," encode_canonical_cbor(&CanonicalValue::Integer(256)).expect(\"integer encodes\"),"," vec![0x19, 0x01, 0x00]"," encode_canonical_cbor(&CanonicalValue::Integer(-1)).expect(\"integer encodes\"),"," vec![0x20]","fn canonical_core_bytes_are_source_alpha_rename_invariant() {"," let renamed = BOUNDED_HELLO"," .replace(\"let message = \", \"let greeting = \")"," .replace(\"return { message };\", \"return { message: greeting };\");"," let original = parse_module(BOUNDED_HELLO).expect(\"fixture parses\");"," let renamed = parse_module(&renamed).expect(\"renamed source parses\");"," let original_core ="," compile_to_core(&original, &hello_context()).expect(\"original compiles to Core\");"," let renamed_core = compile_to_core(&renamed, &hello_context()).expect(\"renamed compiles\");"," encode_core_module(&original_core).expect(\"canonical encoding succeeds\"),"," encode_core_module(&renamed_core).expect(\"canonical encoding succeeds\")","crates/edict-syntax/src/canonical.rs",[1353],{"_1164":329,"_1165":1354,"_473":1355,"_1168":59},787,[1356,1252,1357,1358,1359,1360,200,1361,1362,1363,200,1364,1365,1366,1367,1260,200,1368,1369,200,1370,1371,1372,1373,1374,1375,1376,1377,1378,1379,1380,1381,1382,1383,1384,1385,1386,1387,1388,1389,1390,1273,200,1391,1392,1393,1394,1395,1273,200,1396,1397,1398,1399,1400,1401,1402,200,1403,1404,1405,1406,1402,1273,200,1407,1408,1409,1402,1273,200,1410,200,1411,1412,1413,1414,1415,1416,1417,1418,1419,1420,1421,1422,1423,1424,1425,1426,1427,1273,200,1428,1429,1430,1429,1431,1432,1433,1434,1273,200,1435,1429,1430,1429,1436,1437,1438,1439,1440,1273,200,1441,1429,1442,1443,1444,1429,1430,1429,1445,1446,1447,1448,1449,1450,1451,1452,1453,1454,1402,1455,1456,1451,1457,1458,1454,1402,1459,1273,200,1460,1461,1462,1463,1323,1464,1465,1326,1323,1466,1467,1468,1469,1470,1471,1472,1326,1323,1473,1467,1468,1474,1470,1475,1472,1326,1323,1476,1477,1468,1478,1470,1479,1480,1481,1326,1328,1273,200,1482,1483,1484,1485,1486,1487,1488,1402,1489,1273,200,1490,1491,1492,1493,1402,1489,1273,200,1494,1495,1451,1496,1497,1454,1498,1499,1451,1496,1500,1454,1402,1501,1502,1503,1504,1505,1402,1506,1507,1508,1328,1273,200,1509,1510,1511,1512,1513,1496,1514,1515,1402,1273,200,1516,1517,1518,1519,1520,1521,1522,1523,1524,1525,1526,1527,1528,1529,1530,1481,1524,1531,1532,1528,1533,1534,1535,1536,1537,1538,1539,1540,1541,1481,1524,1542,1543,1544,1545,1522,1524,1546,1547,1548,1549,1522,1524,1550,1551,1401,1402,1273,200,1552,1461,1553,1554,1323,1555,1556,1326,1323,1557,1558,1326,1323,1559,1560,1326,1561,1328,1273,200,1562,1563,1564,1565,1281,1566,1567,1568,1569,1273,200,1570,1461,1571,1323,1572,1573,1326,1574,1328,1273,200,1575,1576,1577,1578,1402,1273,200,1579,1580,1581,1582,1583,1584,1273,200,1585,1461,1586,1323,1587,1588,1326,1589,1328,1273,200,1590,1591,1592,1593,1594,1595,1596,1402,1273,200,1597,1598,1599,1600,1401,1601,1602,1603,1528,1529,1604,1605,1606,1607,1608,1481,1524,1609,1610,1611,1612,1524,1613,1614,1615,1616,1617,1618,1619,1528,1620,1621,1481,1622,1524,1623,1273,200,1624,1625,1626,1627,1628,1629,1630,1631,1524,1632,1633,1634,1635,1524,1623,1273,200,1636,1637,1638,1639,1640,1272,1641,1642,1273,200,1643,1644,1645,1646,1647,1648,1649,1524,1650,1651,1528,1652,1653,1481,1524,1654,1655,1528,1652,1653,1481,1524,1656,1657,1658,1659,1660,1524,1623,1273,200,1661,1662,1663,1664,1665,1666,1667,1668,1402,1273,200,1669,1580,1670,1671,1672,1584,1273,200,1673,1674,1675,1676,1677,1678,1679,1273,200,1680,1674,1675,1676,1677,1678,1679,1273,200,1681,1682,1564,1683,1684,1685,1686,1687,1273,200,1688,1689,1273,200,1690,1691,1564,1683,1684,1686,1692,1273,200,1693,1694,1273,200,1695,1696,1273,200,1697,1698,1273,200,1699,1700,1701,1702,1703,1704,1705,1706,1707,1401,1708,1709,1710,1401,1711,1712,1713,1714,1715,1401,1716,1717,1718,1719,1720,1721,1722,1723,1724,1725,1726,1727,1715,1728,1729,1730,1731,1714,1715,1401,1402,1732,1273,200,1733,1734,1735,1736,1737,1738,1739,1740,1741,1742,1743,1736,1737,1744,1739,1740,1745,1736,1737,1746,1739,1740,1747,1402,1732,1273,200,1748,1749,1700,1750,1751,1752,1753,1401,1754,1755,1756,1757,1758,1759,1760,1401,1761,1762,1756,1763,1764,1759,1760,1401,1765,1766,1767,1401,1402,1273,200,1768,1769,1638,1770,1771,1272,1623,1273,200,1772,1773,1774,1273,200,1775,1776,1777,1402,200,1778,1779,1402,200,1780,1781,1782,1783,1784,1785,1786,1787,1788,1789,1790,1791,1792,1793,1715,1794,1792,1795,1796,1797,1798,1799,1800,1801,1802,1715,1803,1792,1804,1805,1806,1726,1807,1715,1808,1792,1809,1810,1805,1811,1812,1813,1814,1815,1816,1817,1818,1819,1820,1726,1821,1715,1822,1823,1824,1825,1826,1827,1828,1829,1271,1830,1831,1832,1790,1401,1402,200,1833,1834,1835,1836,1837,1838,1839,1715,1840,1841,1842,1715,1843,1830,1831,1844,1790,1401,1402,200,1845,1846,1736,1831,1847,1739,1848,1402,200,1849,1850,1851,1852,1853,1854,1855,1856,1857,1402,200,1858,1859,1736,1852,1860,1739,1740,1861,1851,1852,1862,1854,1855,1863,1864,1402,200,1865,1866,1867,1868,1402,1273],"//! Canonical CBOR encoding for Edict Core IR.","//! This module implements the `edict.canonical-cbor/v1` subset needed by the","//! current in-memory Core model. It emits deterministic bytes and can validate","//! those bytes by decoding to a canonical value and re-encoding. It deliberately","//! does not compute Core digests or provide reviewed golden fixtures.","use std::collections::BTreeSet;","use std::fmt;","use std::str;","use crate::core_ir::{"," CompareOp, CoreBlock, CoreBudget, CoreExpr, CoreImport, CoreIntent, CoreModule, CoreNode,"," CorePredicate, CoreType, CoreValue, InputConstraint, InputConstraintSource, LocalRef,"," ResourceRef,","/// Canonical encoding profile for Core artifacts.","pub const CORE_CANONICAL_ENCODING: &str = \"edict.canonical-cbor/v1\";","/// Stable canonical encoding error categories.","#[derive(Debug, Clone, Copy, PartialEq, Eq)]","pub enum CanonicalErrorKind {"," /// A Core value cannot be represented in the supported canonical CBOR subset."," UnsupportedValue,"," /// A numeric Core value is outside the supported integer range or malformed."," InvalidInteger,"," /// A digest string is not the expected review rendering."," InvalidDigest,"," /// The byte stream ended before a complete value was decoded."," UnexpectedEof,"," /// The byte stream contained extra data after one complete value."," TrailingData,"," /// The byte stream uses a CBOR major type or additional-info form we reject."," UnsupportedCbor,"," /// The byte stream decodes but is not in canonical form."," NonCanonical,"," /// A decoded CBOR map contains duplicate keys."," DuplicateMapKey,"," /// A decoded text string is not valid UTF-8."," InvalidUtf8,","/// Canonical encoding failure with stable kind plus detail for diagnostics.","#[derive(Debug, Clone, PartialEq, Eq)]","pub struct CanonicalError {"," kind: CanonicalErrorKind,"," message: String,","impl CanonicalError {"," fn new(kind: CanonicalErrorKind, message: impl Into) -> Self {"," Self {"," kind,"," message: message.into(),"," }"," }"," /// Return the stable error category."," #[must_use]"," pub const fn kind(&self) -> CanonicalErrorKind {"," self.kind","impl fmt::Display for CanonicalError {"," fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {"," write!(f, \"{:?}: {}\", self.kind, self.message)","impl std::error::Error for CanonicalError {}","/// Decoded canonical CBOR value tree.","#[derive(Debug, Clone, PartialEq, Eq, PartialOrd, Ord)]","pub enum CanonicalValue {"," /// CBOR null."," Null,"," /// CBOR boolean."," Bool(bool),"," /// CBOR integer, represented across positive and negative major types."," Integer(i128),"," /// CBOR byte string."," Bytes(Vec),"," /// CBOR UTF-8 text string."," Text(String),"," /// CBOR array."," Array(Vec),"," /// CBOR map. Encoding sorts keys by their canonical encoded bytes."," Map(Vec<(CanonicalValue, CanonicalValue)>),","/// Encode a Core module as `edict.canonical-cbor/v1`.","///","/// # Errors","/// Returns an error if a Core integer or digest cannot be represented in the","/// supported canonical form.","pub fn encode_core_module(module: &CoreModule) -> Result, CanonicalError> {"," encode_canonical_cbor(&core_module_value(module)?)","/// Encode a decoded canonical value to canonical CBOR bytes.","/// Returns an error if an integer is outside the supported CBOR range.","pub fn encode_canonical_cbor(value: &CanonicalValue) -> Result, CanonicalError> {"," let mut out = Vec::new();"," encode_value(value, &mut out)?;"," Ok(out)","/// Decode and validate canonical CBOR bytes.","/// The decoder accepts only the definite-length subset used by Edict Core. After","/// decoding, it re-encodes the value and requires an exact byte match, rejecting","/// non-minimal integers, unsorted maps, and other non-canonical encodings.","/// Returns a stable [`CanonicalErrorKind`] for malformed, unsupported, or","/// non-canonical bytes.","pub fn decode_canonical_cbor(bytes: &[u8]) -> Result {"," let mut decoder = Decoder::new(bytes);"," let value = decoder.value()?;"," if decoder.remaining() != 0 {"," return Err(CanonicalError::new("," CanonicalErrorKind::TrailingData,"," \"canonical CBOR stream has trailing bytes\","," ));"," let reencoded = encode_canonical_cbor(&value)?;"," if reencoded != bytes {"," CanonicalErrorKind::NonCanonical,"," \"decoded value does not re-encode to identical canonical bytes\","," Ok(value)","fn core_module_value(module: &CoreModule) -> Result {"," Ok(map(["," (\"apiVersion\", text(&module.api_version)),"," (\"coordinate\", text(&module.coordinate)),"," \"imports\","," array_results(module.imports.iter().map(core_import_value))?,"," \"types\","," string_map_results("," module"," .types"," .iter()"," .map(|(name, ty)| Ok((name.as_str(), core_type_value(ty)))),"," )?,"," \"intents\","," .intents"," .map(|(name, intent)| Ok((name.as_str(), core_intent_value(intent)?))),"," \"requiredCoreCapabilities\","," array("," .required_core_capabilities"," .map(String::as_str)"," .map(text),"," ),","fn core_import_value(import: &CoreImport) -> Result {"," let mut entries = vec!["," (\"kind\", text(import.kind.as_str())),"," (\"ref\", resource_ref_value(&import.resource)?),"," ];"," if let Some(alias) = &import.alias {"," entries.push((\"alias\", text(alias)));"," Ok(map(entries))","fn resource_ref_value(resource: &ResourceRef) -> Result {"," let mut entries = vec![(\"id\", text(&resource.coordinate))];"," if let Some(digest) = &resource.digest {"," entries.push((\"digest\", digest_value(digest)?));","fn digest_value(digest: &str) -> Result {"," let Some(hex) = digest.strip_prefix(\"sha256:\") else {"," CanonicalErrorKind::InvalidDigest,"," \"digest must use sha256 review rendering\","," };"," if hex.len() != 64 {"," \"sha256 digest must contain 64 hex characters\","," let mut bytes = Vec::with_capacity(32);"," for chunk in hex.as_bytes().chunks_exact(2) {"," let hi = hex_value(chunk[0])?;"," let lo = hex_value(chunk[1])?;"," bytes.push((hi << 4) | lo);"," Ok(CanonicalValue::Array(vec!["," text(\"sha256\"),"," CanonicalValue::Bytes(bytes),","fn hex_value(byte: u8) -> Result {"," match byte {"," b'0'..=b'9' => Ok(byte - b'0'),"," b'a'..=b'f' => Ok(byte - b'a' + 10),"," _ => Err(CanonicalError::new("," \"sha256 digest must be lowercase hex\","," )),","fn core_type_value(ty: &CoreType) -> CanonicalValue {"," match ty {"," CoreType::Bool => map([(\"kind\", text(\"Bool\"))]),"," CoreType::Int { width } => map([(\"kind\", text(width))]),"," CoreType::String { max, canonical } => map(["," (\"kind\", text(\"String\")),"," (\"max\", uint(*max)),"," (\"canonical\", text(canonical)),"," ]),"," CoreType::Bytes { max } => map([(\"kind\", text(\"Bytes\")), (\"max\", uint(*max))]),"," CoreType::Record { fields } => map(["," (\"kind\", text(\"Record\")),"," ("," \"fields\","," string_map(fields.iter().map(|(name, ty)| (name.as_str(), text(ty)))),"," CoreType::Variant { cases } => map(["," (\"kind\", text(\"Variant\")),"," \"cases\","," string_map(cases.iter().map(|(name, payload)| {"," let body = if let Some(payload) = payload {"," map([(\"payload\", text(payload))])"," } else {"," CanonicalValue::Map(Vec::new())"," };"," (name.as_str(), body)"," })),"," CoreType::Option { item } => map([(\"kind\", text(\"Option\")), (\"item\", text(item))]),"," CoreType::List { item, max } => map(["," (\"kind\", text(\"List\")),"," (\"item\", text(item)),"," CoreType::Map { key, value, max } => map(["," (\"kind\", text(\"Map\")),"," (\"key\", text(key)),"," (\"value\", text(value)),"," CoreType::CapabilityRef { item } => {"," map([(\"kind\", text(\"CapabilityRef\")), (\"item\", text(item))])","fn core_intent_value(intent: &CoreIntent) -> Result {"," (\"input\", text(&intent.input)),"," (\"output\", text(&intent.output)),"," \"requiredOperationProfile\","," text(&intent.required_operation_profile),"," \"inputConstraints\","," input_constraints_value(&intent.input_constraints)?,"," \"coreEvaluationBudget\","," core_budget_value(&intent.core_evaluation_budget),"," (\"body\", core_block_value(&intent.body)?),","fn input_constraints_value("," constraints: &[InputConstraint],",") -> Result {"," let mut values = constraints"," .map(input_constraint_value)"," .collect::, _>>()?;"," values.sort();"," Ok(array(values))","fn input_constraint_value(constraint: &InputConstraint) -> Result {"," (\"coordinate\", text(&constraint.coordinate)),"," \"source\","," text(input_constraint_source_str(constraint.source)),"," (\"predicate\", core_predicate_value(&constraint.predicate)?),","const fn input_constraint_source_str(source: InputConstraintSource) -> &'static str {"," match source {"," InputConstraintSource::Where => \"where\","," InputConstraintSource::Compiler => \"compiler\",","fn core_budget_value(budget: &CoreBudget) -> CanonicalValue {"," map(["," (\"maxSteps\", uint(budget.max_steps)),"," (\"maxAllocatedBytes\", uint(budget.max_allocated_bytes)),"," (\"maxOutputBytes\", uint(budget.max_output_bytes)),"," ])","fn core_block_value(block: &CoreBlock) -> Result {"," (\"locals\", array(block.locals.iter().map(local_ref_value))),"," \"nodes\","," array_results(block.nodes.iter().map(core_node_value))?,"," (\"result\", core_expr_value(&block.result)?),","fn core_node_value(node: &CoreNode) -> Result {"," match node {"," CoreNode::Let { binding, value } => Ok(map(["," (\"kind\", text(\"let\")),"," (\"binding\", local_ref_value(binding)),"," (\"value\", core_expr_value(value)?),"," ])),","fn core_expr_value(expr: &CoreExpr) -> Result {"," Ok(match expr {"," CoreExpr::Local { reference } => {"," map([(\"kind\", text(\"local\")), (\"ref\", local_ref_value(reference))])"," CoreExpr::Const(value) => map([(\"kind\", text(\"const\")), (\"value\", core_value(value)?)]),"," CoreExpr::Record { fields } => map(["," (\"kind\", text(\"record\")),"," string_map_results("," fields"," .iter()"," .map(|(name, expr)| Ok((name.as_str(), core_expr_value(expr)?))),"," )?,"," CoreExpr::Field { base, field } => map(["," (\"kind\", text(\"field\")),"," (\"base\", core_expr_value(base)?),"," (\"field\", text(field)),"," CoreExpr::Call {"," callee,"," type_args,"," args,"," } => map(["," (\"kind\", text(\"call\")),"," (\"callee\", text(callee)),"," \"typeArgs\","," array(type_args.iter().map(String::as_str).map(text)),"," (\"args\", array_results(args.iter().map(core_expr_value))?),"," })","fn core_value(value: &CoreValue) -> Result {"," Ok(match value {"," CoreValue::Null => map([(\"kind\", text(\"null\"))]),"," CoreValue::Bool(value) => map([(\"kind\", text(\"bool\")), (\"value\", bool_value(*value))]),"," CoreValue::Int { width, value } => map(["," (\"kind\", text(\"int\")),"," (\"width\", text(width)),"," (\"value\", int_text_value(value)?),"," CoreValue::String(value) => map([(\"kind\", text(\"string\")), (\"value\", text(value))]),"," CoreValue::Bytes(value) => map(["," (\"kind\", text(\"bytes\")),"," (\"value\", CanonicalValue::Bytes(value.clone())),","fn int_text_value(value: &str) -> Result {"," let value = value.parse::().map_err(|_| {"," CanonicalError::new("," CanonicalErrorKind::InvalidInteger,"," \"Core integer value is not a base-10 integer\","," })?;"," Ok(CanonicalValue::Integer(value))","fn core_predicate_value(predicate: &CorePredicate) -> Result {"," Ok(match predicate {"," CorePredicate::True => map([(\"kind\", text(\"true\"))]),"," CorePredicate::False => map([(\"kind\", text(\"false\"))]),"," CorePredicate::Not(value) => map(["," (\"kind\", text(\"not\")),"," (\"value\", core_predicate_value(value)?),"," CorePredicate::All(values) => map(["," (\"kind\", text(\"all\")),"," \"values\","," array_results(values.iter().map(core_predicate_value))?,"," CorePredicate::Any(values) => map(["," (\"kind\", text(\"any\")),"," CorePredicate::Compare { op, left, right } => map(["," (\"kind\", text(\"compare\")),"," (\"op\", text(compare_op_str(*op))),"," (\"left\", core_expr_value(left)?),"," (\"right\", core_expr_value(right)?),","const fn compare_op_str(op: CompareOp) -> &'static str {"," match op {"," CompareOp::Eq => \"==\","," CompareOp::Ne => \"!=\","," CompareOp::Lt => \"<\","," CompareOp::Le => \"<=\","," CompareOp::Gt => \">\","," CompareOp::Ge => \">=\",","fn local_ref_value(local: &LocalRef) -> CanonicalValue {"," (\"id\", text(&local.id)),"," (\"alphaName\", text(&local.alpha_name)),"," (\"type\", text(&local.ty)),","fn map<'a>(entries: impl IntoIterator) -> CanonicalValue {"," CanonicalValue::Map("," entries"," .into_iter()"," .map(|(key, value)| (text(key), value))"," .collect(),"," )","fn string_map<'a>(entries: impl IntoIterator) -> CanonicalValue {","fn string_map_results<'a>("," entries: impl IntoIterator>,"," entries"," .into_iter()"," .map(|entry| entry.map(|(key, value)| (text(key), value)))"," .collect::, _>>()"," .map(CanonicalValue::Map)","fn array(entries: impl IntoIterator) -> CanonicalValue {"," CanonicalValue::Array(entries.into_iter().collect())","fn array_results("," entries: impl IntoIterator>,"," .map(CanonicalValue::Array)","fn text(value: &str) -> CanonicalValue {"," CanonicalValue::Text(value.to_owned())","const fn uint(value: u64) -> CanonicalValue {"," CanonicalValue::Integer(value as i128)","const fn bool_value(value: bool) -> CanonicalValue {"," CanonicalValue::Bool(value)","fn encode_value(value: &CanonicalValue, out: &mut Vec) -> Result<(), CanonicalError> {"," match value {"," CanonicalValue::Null => out.push(0xf6),"," CanonicalValue::Bool(false) => out.push(0xf4),"," CanonicalValue::Bool(true) => out.push(0xf5),"," CanonicalValue::Integer(value) => encode_integer(*value, out)?,"," CanonicalValue::Bytes(value) => {"," encode_type_value(2, usize_to_u64(value.len())?, out);"," out.extend(value);"," CanonicalValue::Text(value) => {"," encode_type_value(3, usize_to_u64(value.len())?, out);"," out.extend(value.as_bytes());"," CanonicalValue::Array(values) => {"," encode_type_value(4, usize_to_u64(values.len())?, out);"," for value in values {"," encode_value(value, out)?;"," }"," CanonicalValue::Map(entries) => {"," let mut encoded = Vec::with_capacity(entries.len());"," let mut keys = BTreeSet::new();"," for (key, value) in entries {"," let key_bytes = encode_canonical_cbor(key)?;"," if !keys.insert(key_bytes.clone()) {"," return Err(CanonicalError::new("," CanonicalErrorKind::DuplicateMapKey,"," \"CBOR map contains duplicate keys\","," ));"," }"," encoded.push((key_bytes, value));"," encoded.sort_by(|(left, _), (right, _)| left.cmp(right));"," encode_type_value(5, usize_to_u64(encoded.len())?, out);"," for (key_bytes, value) in encoded {"," out.extend(key_bytes);"," Ok(())","fn encode_integer(value: i128, out: &mut Vec) -> Result<(), CanonicalError> {"," if value >= 0 {"," let value = u64::try_from(value).map_err(|_| {"," CanonicalError::new("," CanonicalErrorKind::InvalidInteger,"," \"positive integer exceeds CBOR uint range\","," )"," })?;"," encode_type_value(0, value, out);"," } else {"," let magnitude = (-1i128).checked_sub(value).ok_or_else(|| {"," \"negative integer cannot be converted to CBOR range\","," let magnitude = u64::try_from(magnitude).map_err(|_| {"," \"negative integer exceeds CBOR negative range\","," encode_type_value(1, magnitude, out);","fn encode_type_value(major: u8, value: u64, out: &mut Vec) {"," let prefix = major << 5;"," 0..=23 => out.push(prefix | u8::try_from(value).expect(\"value <= 23\")),"," 24..=0xff => {"," out.push(prefix | 0x18);"," out.push(u8::try_from(value).expect(\"value <= u8::MAX\"));"," 0x100..=0xffff => {"," out.push(prefix | 0x19);"," out.extend("," u16::try_from(value)"," .expect(\"value <= u16::MAX\")"," .to_be_bytes(),"," );"," 0x1_0000..=0xffff_ffff => {"," out.push(prefix | 0x1a);"," u32::try_from(value)"," .expect(\"value <= u32::MAX\")"," _ => {"," out.push(prefix | 0x1b);"," out.extend(value.to_be_bytes());","fn usize_to_u64(value: usize) -> Result {"," u64::try_from(value).map_err(|_| {"," CanonicalErrorKind::UnsupportedValue,"," \"collection length cannot fit in CBOR uint range\",","struct Decoder<'a> {"," bytes: &'a [u8],"," pos: usize,","impl<'a> Decoder<'a> {"," const fn new(bytes: &'a [u8]) -> Self {"," Self { bytes, pos: 0 }"," const fn remaining(&self) -> usize {"," self.bytes.len() - self.pos"," fn value(&mut self) -> Result {"," let initial = self.byte()?;"," let major = initial >> 5;"," let additional = initial & 0x1f;"," match major {"," 0 => Ok(CanonicalValue::Integer(i128::from("," self.argument(additional)?,"," ))),"," 1 => Ok(CanonicalValue::Integer("," -1 - i128::from(self.argument(additional)?),"," )),"," 2 => {"," let len = self.length(additional)?;"," Ok(CanonicalValue::Bytes(self.take(len)?.to_vec()))"," 3 => {"," let bytes = self.take(len)?;"," let value = str::from_utf8(bytes).map_err(|_| {"," CanonicalError::new("," CanonicalErrorKind::InvalidUtf8,"," \"CBOR text string is not valid UTF-8\","," )"," })?;"," Ok(CanonicalValue::Text(value.to_owned()))"," 4 => {"," let mut values = Vec::with_capacity(len);"," for _ in 0..len {"," values.push(self.value()?);"," Ok(CanonicalValue::Array(values))"," 5 => {"," let mut entries = Vec::with_capacity(len);"," let mut keys = BTreeSet::new();"," let key = self.value()?;"," let encoded_key = encode_canonical_cbor(&key)?;"," if !keys.insert(encoded_key) {"," return Err(CanonicalError::new("," CanonicalErrorKind::DuplicateMapKey,"," \"CBOR map contains duplicate keys\","," ));"," }"," let value = self.value()?;"," entries.push((key, value));"," Ok(CanonicalValue::Map(entries))"," 7 => match additional {"," 20 => Ok(CanonicalValue::Bool(false)),"," 21 => Ok(CanonicalValue::Bool(true)),"," 22 => Ok(CanonicalValue::Null),"," _ => Err(CanonicalError::new("," CanonicalErrorKind::UnsupportedCbor,"," \"unsupported CBOR simple value\","," )),"," _ => Err(CanonicalError::new("," CanonicalErrorKind::UnsupportedCbor,"," \"unsupported CBOR major type\","," fn argument(&mut self, additional: u8) -> Result {"," match additional {"," 0..=23 => Ok(u64::from(additional)),"," 24 => Ok(u64::from(self.byte()?)),"," 25 => {"," let bytes = self.take_array::<2>()?;"," Ok(u64::from(u16::from_be_bytes(bytes)))"," 26 => {"," let bytes = self.take_array::<4>()?;"," Ok(u64::from(u32::from_be_bytes(bytes)))"," 27 => Ok(u64::from_be_bytes(self.take_array::<8>()?)),"," \"indefinite or reserved CBOR length is unsupported\","," fn length(&mut self, additional: u8) -> Result {"," usize::try_from(self.argument(additional)?).map_err(|_| {"," \"CBOR collection length does not fit usize\","," })"," fn byte(&mut self) -> Result {"," let Some(value) = self.bytes.get(self.pos).copied() else {"," return Err(CanonicalError::new("," CanonicalErrorKind::UnexpectedEof,"," \"expected another CBOR byte\","," ));"," };"," self.pos += 1;"," Ok(value)"," fn take(&mut self, len: usize) -> Result<&'a [u8], CanonicalError> {"," let end = self.pos.checked_add(len).ok_or_else(|| {"," \"CBOR length overflowed input position\","," let Some(slice) = self.bytes.get(self.pos..end) else {"," \"CBOR value extends past end of input\","," self.pos = end;"," Ok(slice)"," fn take_array(&mut self) -> Result<[u8; N], CanonicalError> {"," let mut out = [0u8; N];"," out.copy_from_slice(self.take(N)?);"," Ok(out)",[1870,1871,1872,1873,1874,1875,1876,1877],{"_1115":46,"_46":1888},{"_1115":1879,"_162":1351,"_1164":1886,"_1165":1887},{"_1115":46,"_46":1885},{"_1115":1879,"_162":1246,"_1164":1883,"_1165":1884},{"_1115":46,"_46":1882},{"_1115":1879,"_162":1158,"_1164":1881,"_1165":1881},{"_1115":1879,"_162":1158,"_1164":1880,"_1165":1880},{"_1115":46,"_46":1878},"\n\n**Commit / PR**\n* Committed changes on the current branch: `28c1f66 fix canonical input constraint ordering`.\n* Created PR: `fix canonical input constraint ordering`.\n\n**Testing**\n* ❌ `cargo test -p edict-syntax --test canonical_encoding canonical_core_bytes_are_independent_of_input_constraint_order -- --nocapture` — expected RED before implementation; failed because input constraints preserved vector order.\n* ✅ `cargo test -p edict-syntax --test canonical_encoding canonical_core_bytes_are_independent_of_input_constraint_order -- --nocapture`\n* ✅ `cargo fmt --all --check`\n* ✅ `cargo test -p edict-syntax --test canonical_encoding -- --nocapture`\n* ✅ `cargo xtask verify`\n* ✅ `git diff --check`","repo_file_citation",71,43,"\n* Updated the Core IR topic test plan to include order-independent coordinate-keyed input constraints in the canonical encoder contract and evidence map. ",53,75,"\n* Added a regression test that builds two equivalent Core modules with reversed input-constraint order and asserts identical canonical bytes. ",294,314,"**Summary**\n* Fixed Core intent canonicalization so `inputConstraints` are converted to canonical values and sorted before encoding, preventing caller vector order from changing canonical bytes. ",{"_93":326,"_42":85,"_97":326,"_1891":1892,"_1893":1894,"_1895":1896,"_133":-5,"_120":1897},[84],"input_items",[1915,1916,1917,1918,1919,1920,1921,1922,1923,1924,1925],"external_post_config",{"_1898":1899,"_264":197,"_1900":306,"_275":-5,"_1136":258,"_1901":-5,"_1902":-5,"_1903":1904,"_1905":1906,"_1907":-5,"_1908":-5,"_1909":1910,"_1911":15,"_1912":59,"_1913":54,"_1914":15},"user_model_slug","slug",1782326790.486559,"installation_id",89912914,"pr_number","gitlab_service_account_project_id","review_trigger","comment_id",4792566288,"comment_type","issue","pr_write_guard_token","pending_pr_reaction_id","pending_comment_reaction_id",374313677,"comment_if_no_findings","comment_on_error","share_url","is_parallel_review",{"_93":479,"_97":326,"_473":1949},{"_313":314,"_315":316,"_1946":320,"_1947":130,"_322":-5,"_93":1948},{"_93":1926,"_315":1945,"_162":-5,"_1928":-5,"_1930":-5},{"_93":1926,"_315":1943,"_162":1351,"_1928":1929,"_1930":1944},{"_93":1926,"_315":1942,"_162":-5,"_1928":-5,"_1930":-5},{"_93":1926,"_315":1940,"_162":1351,"_1928":1929,"_1930":1941},{"_93":1926,"_315":1938,"_162":1351,"_1928":1929,"_1930":1939},{"_93":1926,"_315":1936,"_162":1351,"_1928":1929,"_1930":1937},{"_93":1926,"_315":1934,"_162":1351,"_1928":1929,"_1930":1935},{"_93":1926,"_315":1932,"_162":1351,"_1928":1929,"_1930":1933},{"_93":1926,"_315":1927,"_162":1351,"_1928":1929,"_1930":1931},"pull_request_comment","**_{_{![P2 Badge](https://img.shields.io/badge/P2-yellow?style=flat)}} Normalize uppercase digest hex before encoding**\n\nWhen source contains uppercase hex in a `sha256:` digest, the parser accepts it via `is_ascii_hexdigit`, but this branch rejects it instead of normalizing to the same digest bytes as lowercase. I checked `docs/SPEC_edict-language-v1.md`, which says uppercase digest hex may parse only if normalized before semantic comparison; this makes canonical encoding fail for a parsed module that should have an equivalent digest.\n\nUseful? React with 👍 / 👎.","side","RIGHT","line",229,"**_{_{![P2 Badge](https://img.shields.io/badge/P2-yellow?style=flat)}} Guard array lengths before allocating**\n\nFor an untrusted byte stream with a huge definite array length and little or no payload, `length()` can succeed and this `Vec::with_capacity(len)` attempts an enormous allocation or panics before the decoder has a chance to return `UnexpectedEof`. Since `decode_canonical_cbor` is the public validation path for malformed bytes, it should bound the declared length against the remaining input or otherwise return `CanonicalError` instead of letting crafted input crash the caller.\n\nUseful? React with 👍 / 👎.",674,"**_{_{![P2 Badge](https://img.shields.io/badge/P2-yellow?style=flat)}} Canonicalize requiredCoreCapabilities as a set**\n\nThis encodes `required_core_capabilities` in the caller-provided vector order, so the same capability set reordered by a different producer gets different canonical bytes. I checked `docs/SPEC_edict-language-v1.md`, which describes `requiredCoreCapabilities` as the hash-significant set of Core capability flags; the encoder should sort and reject duplicates (or otherwise canonicalize the set) before emitting the array.\n\nUseful? React with 👍 / 👎.",176,"**_{_{![P2 Badge](https://img.shields.io/badge/P2-yellow?style=flat)}} Normalize source parameter locals before encoding**\n\nSerializing `local.id` makes canonical bytes depend on source binder spelling for intent parameters: the current compiler path sets the parameter local id from the source name while `alphaName` is `$arg0`, so renaming `input` to `person` and updating all uses changes the encoded Core bytes. I checked `docs/SPEC_edict-language-v1.md`, which requires local binder spelling to be alpha-normalized/excluded from Core hash input; this breaks that invariant for compiled modules, not just malformed hand-built Core.\n\nUseful? React with 👍 / 👎.",462,"**_{_{![P2 Badge](https://img.shields.io/badge/P2-yellow?style=flat)}} Sort imports before canonical encoding**\n\nThis preserves the `CoreModule.imports` vector order, so two modules with the same resolved imports in a different source order encode differently. I checked the canonicalization rules in `docs/SPEC_edict-language-v1.md`, which require declarations whose order is not semantic to be sorted by canonical coordinate; import declaration order is not part of Core semantics, so this should canonicalize the import list before building the array.\n\nUseful? React with 👍 / 👎.",149,"**_{_{![P2 Badge](https://img.shields.io/badge/P2-yellow?style=flat)}} Omit import aliases from canonical bytes**\n\nIncluding `alias` here makes canonical bytes depend on source-local import spelling. I checked `docs/SPEC_edict-language-v1.md` I-009/I-010, which state that Core IR hashes use canonical coordinates and exclude import alias spelling; with this encoding, changing `use lawpack hello.optics@1 ... as hello` to another alias while updating references changes the Core preimage even though the resolved import coordinate and digest are identical.\n\nUseful? React with 👍 / 👎.",188,"\n### 💡 Codex Review\n\nHere are some automated review suggestions for this pull request.\n\n**Reviewed commit:** `8b7731821e`\n \n\n

ℹ️ About Codex in GitHub

","**_{_{![P1 Badge](https://img.shields.io/badge/P1-orange?style=flat)}} Reject imports without resolved digests**\n\nWhen a `CoreImport` has `resource.digest == None`, this path simply omits the `digest` field and still produces canonical bytes. I checked `docs/abi/edict-common.cddl`, where `resource-ref` requires `{ id, digest }`, and `docs/SPEC_edict-language-v1.md` says Core canonicalization must fail if an imported digest is unresolved; otherwise callers can hash a Core module with a floating lawpack/target import and later resolve it to different semantics without this encoder reporting the invalid preimage.\n\nUseful? React with 👍 / 👎.",196,"\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 52 minutes and 40 seconds. [Learn how PR review limits work](https://docs.coderabbit.ai/management/plans#fair-usage-limits-policy).\n> \n> Your organization has run out of usage credits. Purchase more credits in the [billing tab](https://app.coderabbit.ai/settings/billing?tab=usage&orgId=4252c417-78a1-49cd-a607-68d1e6bdacc4) to continue.\n> \n>

\n>

⌛ How to resolve this issue?

\n> \n> \n>

\n>

🚦 How do rate limits work?

\n> \n>

\n>

ℹ️ Review info

\n> \n>

\n>

⚙️ Run configuration

\n> \n> **Configuration used**: Organization UI\n> \n> **Review profile**: ASSERTIVE\n> \n> **Plan**: Pro\n> \n> **Run ID**: `e8694fce-592d-4f5c-9c31-a8f89c0ad0ee`\n> \n>

\n> \n>

\n>

📥 Commits

\n> \n> Reviewing files that changed from the base of the PR and between 7dd48028b7a5bc24faefa8ec14ea51f38c2fa2ad and 8b7731821e1f3169f2460e054a3885cfc2ec90b9.\n> \n>

\n> \n>

\n>

📒 Files selected for processing (10)

\n> \n>

❤️ Share

\n\n\n_{Comment `@coderabbitai help` to get the list of available commands.}\n\n","base_ref","head_ref","pull_request_info",[1950],{"_1115":46,"_46":1951},"| ID | Severity | Source | File | Lines | Issue |\n| --- | --- | --- | --- | --- | --- |\n| SELF-001 | P2 | Self | `crates/edict-syntax/src/canonical.rs` | L295-L296 | `inputConstraints` preserves caller vector order, so equivalent Core intents with the same coordinate-keyed constraints in a different order can encode to different canonical bytes. Cc: @codex |",[2436,2437,2438],[],{"_1120":1121,"_46":1122,"_1123":1124},{"_1094":2427},{"_337":2426},{"_337":1987},{"_305":306,"_296":307,"_308":309,"_310":15,"_311":59,"_312":15,"_313":314,"_315":316,"_317":268,"_318":128,"_319":320,"_321":130,"_322":323,"_324":-5,"_325":-5,"_326":1986,"_328":329,"_330":331,"_332":333,"_334":335},{"_42":124,"_194":195,"_196":197,"_198":15,"_199":200,"_201":202,"_203":1975,"_205":-5,"_206":207,"_208":15,"_209":1976,"_211":200,"_212":200,"_213":1977,"_215":1978,"_217":1979,"_219":-5,"_220":221,"_222":223,"_224":225,"_226":1980,"_55":-5,"_120":228,"_229":1981,"_231":1982,"_233":234,"_235":15,"_236":15},{"_134":1968},[1962,1963,1964,1965,1966,1967],{"_149":172,"_151":166,"_153":167,"_155":164,"_157":173,"_159":160,"_161":32,"_162":-5},{"_149":171,"_151":166,"_153":167,"_155":164,"_157":168,"_159":160,"_161":32,"_162":-5},{"_149":169,"_151":166,"_153":167,"_155":164,"_157":170,"_159":160,"_161":32,"_162":-5},{"_149":165,"_151":166,"_153":167,"_155":164,"_157":168,"_159":160,"_161":32,"_162":-5},{"_149":163,"_151":152,"_153":154,"_155":164,"_157":158,"_159":160,"_161":32,"_162":-5},{"_149":150,"_151":152,"_153":154,"_155":156,"_157":158,"_159":160,"_161":32,"_162":-5},[1969,1970,1971],{"_178":1974,"_180":191},{"_178":1973,"_180":187},{"_178":1972,"_180":181},{"_182":183,"_93":184,"_120":185},{"_182":188,"_93":184,"_120":189},{"_182":192,"_93":184,"_120":193},{"_298":299,"_300":-5,"_301":-5,"_302":-5,"_303":-5,"_304":-5},[258],{"_258":1983},{"_240":241,"_242":243,"_244":245,"_246":247,"_248":249,"_250":251,"_252":253,"_254":255,"_256":257},{},[],{"_239":59},{"_237":59,"_238":200},{"_42":260,"_182":261,"_262":1984,"_264":197,"_265":266,"_267":268,"_269":270,"_271":272,"_273":274,"_275":64,"_276":15,"_277":-5,"_278":-5,"_279":-5,"_280":-5,"_281":-5,"_282":-5,"_161":283,"_284":-5,"_55":1985},{"_290":291,"_42":292,"_93":293,"_294":295,"_296":297},{"_286":15,"_287":15,"_288":15,"_289":15},{"_290":291,"_182":291,"_336":-5,"_294":295,"_42":292},[1988,1989,1990,1991,1992,1993,1994,1995,1996,1997,1998,1999,2000,2001,2002,2003,2004,2005,2006,2007,2008,2009,2010,2011,2012,2013,2014,2015,2016,2017,2018,2019,2020,2021,2022,2023,2024,2025,2026,2027,2028,2029,2030,2031,2032,2033,2034,2035,2036,2037,2038,2039,2040,2041,2042,2043,2044,2045,2046,2047,2048,2049,2050,2051,2052,2053,2054,2055,2056,2057,2058,2059,2060,2061,2062,2063,2064,2065,2066,2067,2068,2069,2070,2071,2072,2073,2074,2075,2076,2077,2078,2079,2080,2081,2082,2083,2084,2085,2086,2087,2088,2089,2090,2091,2092,2093,2094,2095,2096],{"_155":1067,"_449":2422},{"_155":464,"_449":2419},{"_155":1057,"_449":2416},{"_155":468,"_449":2411},{"_155":468,"_449":2406},{"_155":468,"_449":2402},{"_155":483,"_449":2397},{"_155":483,"_449":2393},{"_155":468,"_449":2390},{"_155":468,"_449":2388},{"_155":483,"_449":2384},{"_155":468,"_449":2382},{"_155":483,"_449":2378},{"_155":468,"_449":2375},{"_155":468,"_449":2373},{"_155":483,"_449":2369},{"_155":468,"_449":2367},{"_155":468,"_449":2365},{"_155":468,"_449":2363},{"_155":483,"_449":2358},{"_155":483,"_449":2354},{"_155":468,"_449":2350},{"_155":468,"_449":2348},{"_155":483,"_449":2343},{"_155":468,"_449":2341},{"_155":483,"_449":2337},{"_155":468,"_449":2333},{"_155":468,"_449":2331},{"_155":483,"_449":2326},{"_155":468,"_449":2324},{"_155":468,"_449":2322},{"_155":483,"_449":2317},{"_155":468,"_449":2315},{"_155":483,"_449":2311},{"_155":468,"_449":2307},{"_155":468,"_449":2305},{"_155":483,"_449":2301},{"_155":468,"_449":2299},{"_155":468,"_449":2297},{"_155":483,"_449":2293},{"_155":468,"_449":2291},{"_155":468,"_449":2289},{"_155":468,"_449":2287},{"_155":468,"_449":2285},{"_155":468,"_449":2283},{"_155":468,"_449":2281},{"_155":468,"_449":2279},{"_155":483,"_449":2275},{"_155":483,"_449":2271},{"_155":468,"_449":2268},{"_155":468,"_449":2266},{"_155":483,"_449":2261},{"_155":468,"_449":2259},{"_155":468,"_449":2257},{"_155":468,"_449":2255},{"_155":468,"_449":2253},{"_155":468,"_449":2251},{"_155":483,"_449":2247},{"_155":483,"_449":2243},{"_155":468,"_449":2240},{"_155":468,"_449":2238},{"_155":468,"_449":2236},{"_155":483,"_449":2232},{"_155":483,"_449":2228},{"_155":468,"_449":2225},{"_155":468,"_449":2223},{"_155":468,"_449":2221},{"_155":468,"_449":2219},{"_155":468,"_449":2217},{"_155":468,"_449":2215},{"_155":468,"_449":2213},{"_155":468,"_449":2211},{"_155":468,"_449":2209},{"_155":468,"_449":2207},{"_155":468,"_449":2205},{"_155":483,"_449":2201},{"_155":483,"_449":2197},{"_155":468,"_449":2193},{"_155":468,"_449":2191},{"_155":468,"_449":2189},{"_155":483,"_449":2185},{"_155":468,"_449":2181},{"_155":468,"_449":2179},{"_155":483,"_449":2175},{"_155":468,"_449":2173},{"_155":483,"_449":2169},{"_155":468,"_449":2166},{"_155":468,"_449":2164},{"_155":483,"_449":2160},{"_155":468,"_449":2158},{"_155":483,"_449":2154},{"_155":468,"_449":2151},{"_155":468,"_449":2149},{"_155":483,"_449":2145},{"_155":468,"_449":2143},{"_155":468,"_449":2141},{"_155":483,"_449":2134},{"_155":468,"_449":2132},{"_155":483,"_449":2128},{"_155":468,"_449":2125},{"_155":468,"_449":2123},{"_155":483,"_449":2117},{"_155":468,"_449":2115},{"_155":483,"_449":2111},{"_155":468,"_449":2108},{"_155":483,"_449":2106},{"_155":468,"_449":2102},{"_155":464,"_449":2100},{"_155":448,"_449":2097},{"_451":452,"_88":2098},{"_454":455,"_456":457,"_104":-5,"_42":458,"_459":2099,"_461":462,"_463":114},[],{"_463":2101,"_451":452},{"_93":467},{"_470":2103,"_451":452,"_472":458},{"_473":2104,"_475":-5,"_42":-5,"_476":-5,"_477":478,"_97":94,"_93":479},[2105],{"_46":481,"_93":482},{"_470":2107,"_451":452,"_472":458},{"_42":486,"_477":478,"_46":481,"_93":487},{"_470":2109,"_451":452,"_472":458},{"_473":-5,"_490":491,"_42":-5,"_476":-5,"_492":2110,"_93":494},[],{"_470":2112,"_451":452,"_472":458},{"_473":2113,"_42":498,"_492":2114,"_93":494},[],[],{"_470":2116,"_451":452,"_472":458},{"_502":503,"_42":-5,"_476":-5,"_504":505,"_93":506},{"_470":2118,"_451":452,"_472":458},{"_509":510,"_511":512,"_513":2119,"_515":516,"_456":32,"_517":32,"_42":503,"_518":519,"_520":521,"_463":114,"_93":522},[2120,2121,2122],{"_511":533,"_182":534,"_162":535,"_93":529},{"_511":530,"_182":531,"_162":532,"_93":529},{"_511":526,"_182":527,"_162":528,"_93":529},{"_470":2124,"_451":452,"_472":458},{"_538":539,"_502":503,"_42":-5,"_476":-5,"_182":540,"_541":-5,"_93":542},{"_470":2126,"_451":452,"_472":458},{"_473":-5,"_490":545,"_42":-5,"_476":-5,"_492":2127,"_93":494},[],{"_470":2129,"_451":452,"_472":458},{"_473":2130,"_42":550,"_492":2131,"_93":494},[],[],{"_470":2133,"_451":452,"_472":458},{"_502":554,"_42":-5,"_476":-5,"_504":555,"_93":506},{"_470":2135,"_451":452,"_472":458},{"_558":-5,"_538":2136,"_456":560,"_104":-5,"_42":554,"_561":-5,"_562":-5,"_563":-5,"_564":2137,"_566":567,"_463":114,"_568":567,"_93":569},{"_313":574,"_315":575},{"_570":-5,"_473":2138,"_572":2139},[2140],{"_313":574,"_315":575},{"_93":46,"_46":577},{"_470":2142,"_451":452,"_472":458},{"_538":580,"_502":554,"_42":-5,"_476":-5,"_182":567,"_541":581,"_93":542},{"_470":2144,"_451":452,"_472":458},{"_502":584,"_42":-5,"_476":-5,"_504":585,"_93":506},{"_470":2146,"_451":452,"_472":458},{"_509":588,"_511":589,"_513":2147,"_515":516,"_456":32,"_517":32,"_42":584,"_518":591,"_520":521,"_463":114,"_93":522},[2148],{"_511":593,"_93":594},{"_470":2150,"_451":452,"_472":458},{"_538":597,"_502":584,"_42":-5,"_476":-5,"_182":540,"_541":-5,"_93":542},{"_470":2152,"_451":452,"_472":458},{"_473":-5,"_490":600,"_42":-5,"_476":-5,"_492":2153,"_93":494},[],{"_470":2155,"_451":452,"_472":458},{"_473":2156,"_42":605,"_492":2157,"_93":494},[],[],{"_470":2159,"_451":452,"_472":458},{"_502":609,"_42":-5,"_476":-5,"_504":610,"_93":506},{"_470":2161,"_451":452,"_472":458},{"_509":613,"_511":614,"_513":2162,"_515":516,"_456":32,"_517":32,"_42":609,"_518":616,"_520":521,"_463":114,"_93":522},[2163],{"_511":618,"_93":594},{"_470":2165,"_451":452,"_472":458},{"_538":621,"_502":609,"_42":-5,"_476":-5,"_182":540,"_541":-5,"_93":542},{"_470":2167,"_451":452,"_472":458},{"_473":-5,"_490":624,"_42":-5,"_476":-5,"_492":2168,"_93":494},[],{"_470":2170,"_451":452,"_472":458},{"_473":2171,"_42":629,"_492":2172,"_93":494},[],[],{"_470":2174,"_451":452,"_472":458},{"_502":633,"_42":-5,"_476":-5,"_504":634,"_93":506},{"_470":2176,"_451":452,"_472":458},{"_509":637,"_511":638,"_513":2177,"_515":516,"_456":32,"_517":32,"_42":633,"_518":640,"_520":521,"_463":114,"_93":522},[2178],{"_511":642,"_93":594},{"_470":2180,"_451":452,"_472":458},{"_538":645,"_502":633,"_42":-5,"_476":-5,"_182":540,"_541":-5,"_93":542},{"_470":2182,"_451":452,"_472":458},{"_473":-5,"_490":648,"_42":-5,"_476":-5,"_492":2183,"_93":494},[2184],{"_46":651,"_93":652},{"_470":2186,"_451":452,"_472":458},{"_473":2187,"_42":656,"_492":2188,"_93":494},[],[651],{"_470":2190,"_451":452,"_472":458},{"_502":660,"_42":-5,"_476":-5,"_504":661,"_93":506},{"_470":2192,"_451":452,"_472":458},{"_538":664,"_502":660,"_42":-5,"_476":-5,"_182":665,"_541":-5,"_93":542},{"_470":2194,"_451":452,"_472":458},{"_473":-5,"_490":668,"_42":-5,"_476":-5,"_492":2195,"_93":494},[2196],{"_46":671,"_93":652},{"_470":2198,"_451":452,"_472":458},{"_473":2199,"_42":675,"_492":2200,"_93":494},[],[671],{"_470":2202,"_451":452,"_472":458},{"_509":679,"_511":680,"_513":2203,"_515":516,"_456":682,"_517":32,"_42":683,"_518":684,"_520":521,"_463":114,"_93":522},[2204],{"_511":686,"_93":594},{"_470":2206,"_451":452,"_472":458},{"_502":689,"_42":-5,"_476":-5,"_504":690,"_93":506},{"_470":2208,"_451":452,"_472":458},{"_538":693,"_502":689,"_42":-5,"_476":-5,"_182":665,"_541":-5,"_93":542},{"_470":2210,"_451":452,"_472":458},{"_502":696,"_42":-5,"_476":-5,"_504":697,"_93":506},{"_470":2212,"_451":452,"_472":458},{"_538":700,"_502":696,"_42":-5,"_476":-5,"_182":665,"_541":-5,"_93":542},{"_470":2214,"_451":452,"_472":458},{"_502":703,"_42":-5,"_476":-5,"_504":704,"_93":506},{"_470":2216,"_451":452,"_472":458},{"_538":700,"_502":703,"_42":-5,"_476":-5,"_182":665,"_541":-5,"_93":542},{"_470":2218,"_451":452,"_472":458},{"_502":709,"_42":-5,"_476":-5,"_504":710,"_93":506},{"_470":2220,"_451":452,"_472":458},{"_538":700,"_502":709,"_42":-5,"_476":-5,"_182":665,"_541":-5,"_93":542},{"_470":2222,"_451":452,"_472":458},{"_502":683,"_42":-5,"_476":-5,"_504":715,"_93":506},{"_470":2224,"_451":452,"_472":458},{"_538":718,"_502":683,"_42":-5,"_476":-5,"_182":540,"_541":-5,"_93":542},{"_470":2226,"_451":452,"_472":458},{"_473":-5,"_490":721,"_42":-5,"_476":-5,"_492":2227,"_93":494},[],{"_470":2229,"_451":452,"_472":458},{"_473":2230,"_42":726,"_492":2231,"_93":494},[],[],{"_470":2233,"_451":452,"_472":458},{"_509":730,"_511":731,"_513":2234,"_515":516,"_456":733,"_517":329,"_42":734,"_518":735,"_520":521,"_463":736,"_93":522},[2235],{"_511":738,"_93":594},{"_470":2237,"_451":452,"_472":458},{"_502":734,"_42":-5,"_476":-5,"_504":741,"_93":506},{"_470":2239,"_451":452,"_472":458},{"_538":744,"_502":734,"_42":-5,"_476":-5,"_182":540,"_541":-5,"_93":542},{"_470":2241,"_451":452,"_472":458},{"_473":-5,"_490":747,"_42":-5,"_476":-5,"_492":2242,"_93":494},[],{"_470":2244,"_451":452,"_472":458},{"_473":2245,"_42":752,"_492":2246,"_93":494},[],[],{"_470":2248,"_451":452,"_472":458},{"_509":756,"_511":757,"_513":2249,"_515":516,"_456":759,"_517":32,"_42":760,"_518":761,"_520":521,"_463":114,"_93":522},[2250],{"_511":763,"_93":594},{"_470":2252,"_451":452,"_472":458},{"_502":766,"_42":-5,"_476":-5,"_504":767,"_93":506},{"_470":2254,"_451":452,"_472":458},{"_538":770,"_502":766,"_42":-5,"_476":-5,"_182":665,"_541":-5,"_93":542},{"_470":2256,"_451":452,"_472":458},{"_502":760,"_42":-5,"_476":-5,"_504":773,"_93":506},{"_470":2258,"_451":452,"_472":458},{"_538":776,"_502":760,"_42":-5,"_476":-5,"_182":540,"_541":-5,"_93":542},{"_470":2260,"_451":452,"_472":458},{"_502":779,"_42":-5,"_476":-5,"_182":-5,"_504":780,"_93":781},{"_470":2262,"_451":452,"_472":458},{"_784":2263,"_42":779,"_463":114,"_93":786},[2264],{"_325":788,"_9":2265,"_162":535},{"_790":-5,"_93":791},{"_470":2267,"_451":452,"_472":458},{"_502":779,"_42":-5,"_794":795,"_476":-5,"_182":796,"_541":-5,"_463":114,"_93":797},{"_470":2269,"_451":452,"_472":458},{"_473":-5,"_490":800,"_42":-5,"_476":-5,"_492":2270,"_93":494},[],{"_470":2272,"_451":452,"_472":458},{"_473":2273,"_42":805,"_492":2274,"_93":494},[],[],{"_470":2276,"_451":452,"_472":458},{"_509":809,"_511":810,"_513":2277,"_515":516,"_456":812,"_517":813,"_42":814,"_518":815,"_520":521,"_463":736,"_93":522},[2278],{"_511":817,"_93":594},{"_470":2280,"_451":452,"_472":458},{"_502":820,"_42":-5,"_476":-5,"_504":821,"_93":506},{"_470":2282,"_451":452,"_472":458},{"_538":824,"_502":820,"_42":-5,"_476":-5,"_182":665,"_541":-5,"_93":542},{"_470":2284,"_451":452,"_472":458},{"_502":827,"_42":-5,"_476":-5,"_504":828,"_93":506},{"_470":2286,"_451":452,"_472":458},{"_538":824,"_502":827,"_42":-5,"_476":-5,"_182":665,"_541":-5,"_93":542},{"_470":2288,"_451":452,"_472":458},{"_502":814,"_42":-5,"_476":-5,"_504":833,"_93":506},{"_470":2290,"_451":452,"_472":458},{"_538":836,"_502":814,"_42":-5,"_476":-5,"_182":540,"_541":-5,"_93":542},{"_470":2292,"_451":452,"_472":458},{"_502":839,"_42":-5,"_476":-5,"_504":840,"_93":506},{"_470":2294,"_451":452,"_472":458},{"_509":843,"_511":844,"_513":2295,"_515":516,"_456":32,"_517":32,"_42":839,"_518":846,"_520":521,"_463":114,"_93":522},[2296],{"_511":848,"_182":534,"_162":535,"_93":529},{"_470":2298,"_451":452,"_472":458},{"_538":851,"_502":839,"_42":-5,"_476":-5,"_182":540,"_541":-5,"_93":542},{"_470":2300,"_451":452,"_472":458},{"_502":854,"_42":-5,"_476":-5,"_504":855,"_93":506},{"_470":2302,"_451":452,"_472":458},{"_509":858,"_511":859,"_513":2303,"_515":516,"_456":32,"_517":32,"_42":854,"_518":861,"_520":521,"_463":114,"_93":522},[2304],{"_511":863,"_162":534,"_864":865,"_93":866},{"_470":2306,"_451":452,"_472":458},{"_538":869,"_502":854,"_42":-5,"_476":-5,"_182":540,"_541":-5,"_93":542},{"_470":2308,"_451":452,"_472":458},{"_473":-5,"_490":872,"_42":-5,"_476":-5,"_492":2309,"_93":494},[2310],{"_46":875,"_93":652},{"_470":2312,"_451":452,"_472":458},{"_473":2313,"_42":879,"_492":2314,"_93":494},[],[875],{"_470":2316,"_451":452,"_472":458},{"_502":883,"_42":-5,"_476":-5,"_504":884,"_93":506},{"_470":2318,"_451":452,"_472":458},{"_509":887,"_511":888,"_513":2319,"_515":516,"_456":32,"_517":32,"_42":883,"_518":890,"_520":521,"_463":114,"_93":522},[2320,2321],{"_511":894,"_182":895,"_162":896,"_93":529},{"_511":893,"_182":534,"_162":535,"_93":529},{"_470":2323,"_451":452,"_472":458},{"_538":899,"_502":883,"_42":-5,"_476":-5,"_182":540,"_541":-5,"_93":542},{"_470":2325,"_451":452,"_472":458},{"_502":902,"_42":-5,"_476":-5,"_504":903,"_93":506},{"_470":2327,"_451":452,"_472":458},{"_509":906,"_511":907,"_513":2328,"_515":516,"_456":32,"_517":32,"_42":902,"_518":909,"_520":521,"_463":114,"_93":522},[2329,2330],{"_511":913,"_162":914,"_864":915,"_93":866},{"_511":912,"_182":534,"_162":535,"_93":529},{"_470":2332,"_451":452,"_472":458},{"_538":918,"_502":902,"_42":-5,"_476":-5,"_182":540,"_541":-5,"_93":542},{"_470":2334,"_451":452,"_472":458},{"_473":-5,"_490":921,"_42":-5,"_476":-5,"_492":2335,"_93":494},[2336],{"_46":924,"_93":652},{"_470":2338,"_451":452,"_472":458},{"_473":2339,"_42":928,"_492":2340,"_93":494},[],[924],{"_470":2342,"_451":452,"_472":458},{"_502":932,"_42":-5,"_476":-5,"_504":933,"_93":506},{"_470":2344,"_451":452,"_472":458},{"_509":936,"_511":937,"_513":2345,"_515":516,"_456":32,"_517":32,"_42":932,"_518":939,"_520":521,"_463":114,"_93":522},[2346,2347],{"_511":943,"_182":531,"_162":532,"_93":529},{"_511":942,"_182":527,"_162":528,"_93":529},{"_470":2349,"_451":452,"_472":458},{"_538":946,"_502":932,"_42":-5,"_476":-5,"_182":540,"_541":-5,"_93":542},{"_470":2351,"_451":452,"_472":458},{"_473":-5,"_490":949,"_42":-5,"_476":-5,"_492":2352,"_93":494},[2353],{"_46":952,"_93":652},{"_470":2355,"_451":452,"_472":458},{"_473":2356,"_42":956,"_492":2357,"_93":494},[],[952],{"_470":2359,"_451":452,"_472":458},{"_509":960,"_511":961,"_513":2360,"_515":516,"_456":963,"_517":32,"_42":964,"_518":965,"_520":521,"_463":114,"_93":522},[2361,2362],{"_511":971,"_182":534,"_162":535,"_93":529},{"_511":968,"_162":969,"_864":970,"_93":866},{"_470":2364,"_451":452,"_472":458},{"_502":964,"_42":-5,"_476":-5,"_504":974,"_93":506},{"_470":2366,"_451":452,"_472":458},{"_538":977,"_502":964,"_42":-5,"_476":-5,"_182":540,"_541":-5,"_93":542},{"_470":2368,"_451":452,"_472":458},{"_502":980,"_42":-5,"_476":-5,"_504":981,"_93":506},{"_470":2370,"_451":452,"_472":458},{"_509":984,"_511":985,"_513":2371,"_515":516,"_456":32,"_517":32,"_42":980,"_518":987,"_520":521,"_463":114,"_93":522},[2372],{"_511":989,"_93":594},{"_470":2374,"_451":452,"_472":458},{"_538":992,"_502":980,"_42":-5,"_476":-5,"_182":540,"_541":-5,"_93":542},{"_470":2376,"_451":452,"_472":458},{"_473":-5,"_490":995,"_42":-5,"_476":-5,"_492":2377,"_93":494},[],{"_470":2379,"_451":452,"_472":458},{"_473":2380,"_42":1000,"_492":2381,"_93":494},[],[],{"_470":2383,"_451":452,"_472":458},{"_502":1004,"_42":-5,"_476":-5,"_504":1005,"_93":506},{"_470":2385,"_451":452,"_472":458},{"_509":1008,"_511":1009,"_513":2386,"_515":516,"_456":32,"_517":1011,"_42":1004,"_518":1012,"_520":521,"_463":736,"_93":522},[2387],{"_511":1014,"_93":594},{"_470":2389,"_451":452,"_472":458},{"_538":1017,"_502":1004,"_42":-5,"_476":-5,"_182":540,"_541":-5,"_93":542},{"_470":2391,"_451":452,"_472":458},{"_473":-5,"_490":1020,"_42":-5,"_476":-5,"_492":2392,"_93":494},[],{"_470":2394,"_451":452,"_472":458},{"_473":2395,"_42":1025,"_492":2396,"_93":494},[],[],{"_470":2398,"_451":452,"_472":458},{"_1029":-5,"_473":2399,"_42":1031,"_93":1032},[2400],{"_46":1034,"_1035":2401,"_93":46},[],{"_470":2403,"_451":452,"_472":458},{"_473":2404,"_475":-5,"_42":-5,"_476":-5,"_477":-5,"_97":326,"_93":479},[2405],{"_46":1034,"_93":1041},{"_470":2407,"_451":452,"_472":458},{"_473":2408,"_475":-5,"_42":-5,"_476":-5,"_477":-5,"_97":326,"_93":479},[2409,2410],{"_46":1048,"_93":1041},{"_46":1047,"_93":1041},{"_470":2412,"_451":452,"_472":458},{"_473":2413,"_475":-5,"_42":-5,"_476":-5,"_477":-5,"_97":1052,"_93":479},[2414,2415],{"_46":1056,"_93":1041},{"_46":1055,"_93":1041},{"_451":452,"_88":2417},{"_104":-5,"_42":458,"_459":2418,"_461":462,"_463":1061},[],{"_463":2420,"_451":452},{"_1064":2421,"_93":1066},[],{"_1069":2423},{"_1071":-5,"_1072":-5,"_1073":1074,"_1075":462,"_515":516,"_1076":15,"_1077":-5,"_1078":-5,"_1079":-5,"_1080":1081,"_42":452,"_1082":1083,"_182":-5,"_1084":-5,"_162":1085,"_1086":200,"_1087":-5,"_520":1088,"_463":2424,"_1090":-5,"_78":2425,"_1092":462},{"_93":467},[],[],[2428],{"_42":1097,"_1098":2429,"_1100":1101,"_1102":1101,"_473":2430,"_463":1104,"_475":-5,"_1105":32,"_1106":2431,"_1108":1109,"_1110":-5},{"_97":326,"_182":-5,"_1106":2435},{"_1115":46,"_1116":2434},{"_1111":2432},{"_1113":2433},[],[1118],{},{"_93":479,"_97":94,"_473":2455},{"_93":1152,"_1153":2442},{"_93":1128,"_1129":1130,"_1131":1132,"_1133":2439,"_1135":-5},{"_93":1133,"_1136":516,"_129":130,"_1137":-5,"_325":1138,"_1139":2440,"_1141":1142,"_1143":1144,"_1145":1142,"_1146":574,"_1147":2441},{"_1149":1150,"_1151":-5},[],[2443,2444,2445],{"_162":1351,"_1159":-5,"_1160":2452,"_1162":-5},{"_162":1246,"_1159":-5,"_1160":2449,"_1162":-5},{"_162":1158,"_1159":-5,"_1160":2446,"_1162":-5},[2447],{"_1164":329,"_1165":1166,"_473":2448,"_1168":59},[1169,200,1170,200,1171,200,1172,200,1173,1174,1175,1176,1177,1178,1179,1180,1181,1182,200,1183,200,1184,1185,1186,1187,1188,200,1189,200,1190,1191,1192,1193,1194,1195,1196,1197,1198,1199,1200,1201,1202,1203,1204,1205,200,1206,200,1207,1208,1209,1210,1211,1212,1213,1214,1215,1216,1217,200,1218,200,1219,1220,1221,1222,1223,1224,1225,1226,1227,1228,1229,1230,1231,200,1232,200,1233,1234,1235,1236,1237,1238,1239,1240,200,1241,200,1242,1243,1244,1245],[2450],{"_1164":329,"_1165":1249,"_473":2451,"_1168":59},[1251,1252,1253,1254,1255,1256,200,1257,1258,1259,1260,200,1261,200,1262,1263,1264,1265,1266,1267,1268,1269,1270,1271,1272,1273,200,1274,1275,1276,1277,200,1278,1279,1280,1281,1282,1283,1284,1285,1286,1281,1282,1287,1284,200,1288,1289,1290,1291,1273,200,1274,1292,1276,1277,200,1293,1294,1295,1296,1297,200,1298,1299,1286,1300,1301,1302,1303,200,1288,1304,1305,1291,1273,200,1274,1306,1276,1277,1307,1308,1286,1300,1301,1309,1310,200,1311,1289,1312,1291,1273,200,1274,1313,1276,1277,1314,200,1315,200,1288,1316,1317,1291,1273,200,1274,1318,1319,200,1320,1273,200,1274,1321,1322,1323,1324,1325,1326,1323,1324,1327,1326,1328,1329,200,1330,1273,200,1274,1331,1288,1332,1333,1291,1288,1334,1335,1291,1288,1336,1337,1291,1288,1338,1339,1291,1273,200,1274,1340,1341,1342,1343,200,1344,1345,1346,1347,1348,200,1288,1349,1350,1291,1273],[2453],{"_1164":329,"_1165":1354,"_473":2454,"_1168":59},[1356,1252,1357,1358,1359,1360,200,1361,1362,1363,200,1364,1365,1366,1367,1260,200,1368,1369,200,1370,1371,1372,1373,1374,1375,1376,1377,1378,1379,1380,1381,1382,1383,1384,1385,1386,1387,1388,1389,1390,1273,200,1391,1392,1393,1394,1395,1273,200,1396,1397,1398,1399,1400,1401,1402,200,1403,1404,1405,1406,1402,1273,200,1407,1408,1409,1402,1273,200,1410,200,1411,1412,1413,1414,1415,1416,1417,1418,1419,1420,1421,1422,1423,1424,1425,1426,1427,1273,200,1428,1429,1430,1429,1431,1432,1433,1434,1273,200,1435,1429,1430,1429,1436,1437,1438,1439,1440,1273,200,1441,1429,1442,1443,1444,1429,1430,1429,1445,1446,1447,1448,1449,1450,1451,1452,1453,1454,1402,1455,1456,1451,1457,1458,1454,1402,1459,1273,200,1460,1461,1462,1463,1323,1464,1465,1326,1323,1466,1467,1468,1469,1470,1471,1472,1326,1323,1473,1467,1468,1474,1470,1475,1472,1326,1323,1476,1477,1468,1478,1470,1479,1480,1481,1326,1328,1273,200,1482,1483,1484,1485,1486,1487,1488,1402,1489,1273,200,1490,1491,1492,1493,1402,1489,1273,200,1494,1495,1451,1496,1497,1454,1498,1499,1451,1496,1500,1454,1402,1501,1502,1503,1504,1505,1402,1506,1507,1508,1328,1273,200,1509,1510,1511,1512,1513,1496,1514,1515,1402,1273,200,1516,1517,1518,1519,1520,1521,1522,1523,1524,1525,1526,1527,1528,1529,1530,1481,1524,1531,1532,1528,1533,1534,1535,1536,1537,1538,1539,1540,1541,1481,1524,1542,1543,1544,1545,1522,1524,1546,1547,1548,1549,1522,1524,1550,1551,1401,1402,1273,200,1552,1461,1553,1554,1323,1555,1556,1326,1323,1557,1558,1326,1323,1559,1560,1326,1561,1328,1273,200,1562,1563,1564,1565,1281,1566,1567,1568,1569,1273,200,1570,1461,1571,1323,1572,1573,1326,1574,1328,1273,200,1575,1576,1577,1578,1402,1273,200,1579,1580,1581,1582,1583,1584,1273,200,1585,1461,1586,1323,1587,1588,1326,1589,1328,1273,200,1590,1591,1592,1593,1594,1595,1596,1402,1273,200,1597,1598,1599,1600,1401,1601,1602,1603,1528,1529,1604,1605,1606,1607,1608,1481,1524,1609,1610,1611,1612,1524,1613,1614,1615,1616,1617,1618,1619,1528,1620,1621,1481,1622,1524,1623,1273,200,1624,1625,1626,1627,1628,1629,1630,1631,1524,1632,1633,1634,1635,1524,1623,1273,200,1636,1637,1638,1639,1640,1272,1641,1642,1273,200,1643,1644,1645,1646,1647,1648,1649,1524,1650,1651,1528,1652,1653,1481,1524,1654,1655,1528,1652,1653,1481,1524,1656,1657,1658,1659,1660,1524,1623,1273,200,1661,1662,1663,1664,1665,1666,1667,1668,1402,1273,200,1669,1580,1670,1671,1672,1584,1273,200,1673,1674,1675,1676,1677,1678,1679,1273,200,1680,1674,1675,1676,1677,1678,1679,1273,200,1681,1682,1564,1683,1684,1685,1686,1687,1273,200,1688,1689,1273,200,1690,1691,1564,1683,1684,1686,1692,1273,200,1693,1694,1273,200,1695,1696,1273,200,1697,1698,1273,200,1699,1700,1701,1702,1703,1704,1705,1706,1707,1401,1708,1709,1710,1401,1711,1712,1713,1714,1715,1401,1716,1717,1718,1719,1720,1721,1722,1723,1724,1725,1726,1727,1715,1728,1729,1730,1731,1714,1715,1401,1402,1732,1273,200,1733,1734,1735,1736,1737,1738,1739,1740,1741,1742,1743,1736,1737,1744,1739,1740,1745,1736,1737,1746,1739,1740,1747,1402,1732,1273,200,1748,1749,1700,1750,1751,1752,1753,1401,1754,1755,1756,1757,1758,1759,1760,1401,1761,1762,1756,1763,1764,1759,1760,1401,1765,1766,1767,1401,1402,1273,200,1768,1769,1638,1770,1771,1272,1623,1273,200,1772,1773,1774,1273,200,1775,1776,1777,1402,200,1778,1779,1402,200,1780,1781,1782,1783,1784,1785,1786,1787,1788,1789,1790,1791,1792,1793,1715,1794,1792,1795,1796,1797,1798,1799,1800,1801,1802,1715,1803,1792,1804,1805,1806,1726,1807,1715,1808,1792,1809,1810,1805,1811,1812,1813,1814,1815,1816,1817,1818,1819,1820,1726,1821,1715,1822,1823,1824,1825,1826,1827,1828,1829,1271,1830,1831,1832,1790,1401,1402,200,1833,1834,1835,1836,1837,1838,1839,1715,1840,1841,1842,1715,1843,1830,1831,1844,1790,1401,1402,200,1845,1846,1736,1831,1847,1739,1848,1402,200,1849,1850,1851,1852,1853,1854,1855,1856,1857,1402,200,1858,1859,1736,1852,1860,1739,1740,1861,1851,1852,1862,1854,1855,1863,1864,1402,200,1865,1866,1867,1868,1402,1273],[2456,2457,2458,2459,2460,2461,2462,2463],{"_1115":46,"_46":1888},{"_1115":1879,"_162":1351,"_1164":1886,"_1165":1887},{"_1115":46,"_46":1885},{"_1115":1879,"_162":1246,"_1164":1883,"_1165":1884},{"_1115":46,"_46":1882},{"_1115":1879,"_162":1158,"_1164":1881,"_1165":1881},{"_1115":1879,"_162":1158,"_1164":1880,"_1165":1880},{"_1115":46,"_46":1878},[2948,2949,2950],[],{"_1120":1121,"_46":1122,"_1123":1124},{"_1094":2939},{"_337":2938},{"_337":2499},{"_305":306,"_296":307,"_308":309,"_310":15,"_311":59,"_312":15,"_313":314,"_315":316,"_317":268,"_318":128,"_319":320,"_321":130,"_322":323,"_324":-5,"_325":-5,"_326":2498,"_328":329,"_330":331,"_332":333,"_334":335},{"_42":124,"_194":195,"_196":197,"_198":15,"_199":200,"_201":202,"_203":2487,"_205":-5,"_206":207,"_208":15,"_209":2488,"_211":200,"_212":200,"_213":2489,"_215":2490,"_217":2491,"_219":-5,"_220":221,"_222":223,"_224":225,"_226":2492,"_55":-5,"_120":228,"_229":2493,"_231":2494,"_233":234,"_235":15,"_236":15},{"_134":2480},[2474,2475,2476,2477,2478,2479],{"_149":172,"_151":166,"_153":167,"_155":164,"_157":173,"_159":160,"_161":32,"_162":-5},{"_149":171,"_151":166,"_153":167,"_155":164,"_157":168,"_159":160,"_161":32,"_162":-5},{"_149":169,"_151":166,"_153":167,"_155":164,"_157":170,"_159":160,"_161":32,"_162":-5},{"_149":165,"_151":166,"_153":167,"_155":164,"_157":168,"_159":160,"_161":32,"_162":-5},{"_149":163,"_151":152,"_153":154,"_155":164,"_157":158,"_159":160,"_161":32,"_162":-5},{"_149":150,"_151":152,"_153":154,"_155":156,"_157":158,"_159":160,"_161":32,"_162":-5},[2481,2482,2483],{"_178":2486,"_180":191},{"_178":2485,"_180":187},{"_178":2484,"_180":181},{"_182":183,"_93":184,"_120":185},{"_182":188,"_93":184,"_120":189},{"_182":192,"_93":184,"_120":193},{"_298":299,"_300":-5,"_301":-5,"_302":-5,"_303":-5,"_304":-5},[258],{"_258":2495},{"_240":241,"_242":243,"_244":245,"_246":247,"_248":249,"_250":251,"_252":253,"_254":255,"_256":257},{},[],{"_239":59},{"_237":59,"_238":200},{"_42":260,"_182":261,"_262":2496,"_264":197,"_265":266,"_267":268,"_269":270,"_271":272,"_273":274,"_275":64,"_276":15,"_277":-5,"_278":-5,"_279":-5,"_280":-5,"_281":-5,"_282":-5,"_161":283,"_284":-5,"_55":2497},{"_290":291,"_42":292,"_93":293,"_294":295,"_296":297},{"_286":15,"_287":15,"_288":15,"_289":15},{"_290":291,"_182":291,"_336":-5,"_294":295,"_42":292},[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,2593,2594,2595,2596,2597,2598,2599,2600,2601,2602,2603,2604,2605,2606,2607,2608],{"_155":1067,"_449":2934},{"_155":464,"_449":2931},{"_155":1057,"_449":2928},{"_155":468,"_449":2923},{"_155":468,"_449":2918},{"_155":468,"_449":2914},{"_155":483,"_449":2909},{"_155":483,"_449":2905},{"_155":468,"_449":2902},{"_155":468,"_449":2900},{"_155":483,"_449":2896},{"_155":468,"_449":2894},{"_155":483,"_449":2890},{"_155":468,"_449":2887},{"_155":468,"_449":2885},{"_155":483,"_449":2881},{"_155":468,"_449":2879},{"_155":468,"_449":2877},{"_155":468,"_449":2875},{"_155":483,"_449":2870},{"_155":483,"_449":2866},{"_155":468,"_449":2862},{"_155":468,"_449":2860},{"_155":483,"_449":2855},{"_155":468,"_449":2853},{"_155":483,"_449":2849},{"_155":468,"_449":2845},{"_155":468,"_449":2843},{"_155":483,"_449":2838},{"_155":468,"_449":2836},{"_155":468,"_449":2834},{"_155":483,"_449":2829},{"_155":468,"_449":2827},{"_155":483,"_449":2823},{"_155":468,"_449":2819},{"_155":468,"_449":2817},{"_155":483,"_449":2813},{"_155":468,"_449":2811},{"_155":468,"_449":2809},{"_155":483,"_449":2805},{"_155":468,"_449":2803},{"_155":468,"_449":2801},{"_155":468,"_449":2799},{"_155":468,"_449":2797},{"_155":468,"_449":2795},{"_155":468,"_449":2793},{"_155":468,"_449":2791},{"_155":483,"_449":2787},{"_155":483,"_449":2783},{"_155":468,"_449":2780},{"_155":468,"_449":2778},{"_155":483,"_449":2773},{"_155":468,"_449":2771},{"_155":468,"_449":2769},{"_155":468,"_449":2767},{"_155":468,"_449":2765},{"_155":468,"_449":2763},{"_155":483,"_449":2759},{"_155":483,"_449":2755},{"_155":468,"_449":2752},{"_155":468,"_449":2750},{"_155":468,"_449":2748},{"_155":483,"_449":2744},{"_155":483,"_449":2740},{"_155":468,"_449":2737},{"_155":468,"_449":2735},{"_155":468,"_449":2733},{"_155":468,"_449":2731},{"_155":468,"_449":2729},{"_155":468,"_449":2727},{"_155":468,"_449":2725},{"_155":468,"_449":2723},{"_155":468,"_449":2721},{"_155":468,"_449":2719},{"_155":468,"_449":2717},{"_155":483,"_449":2713},{"_155":483,"_449":2709},{"_155":468,"_449":2705},{"_155":468,"_449":2703},{"_155":468,"_449":2701},{"_155":483,"_449":2697},{"_155":468,"_449":2693},{"_155":468,"_449":2691},{"_155":483,"_449":2687},{"_155":468,"_449":2685},{"_155":483,"_449":2681},{"_155":468,"_449":2678},{"_155":468,"_449":2676},{"_155":483,"_449":2672},{"_155":468,"_449":2670},{"_155":483,"_449":2666},{"_155":468,"_449":2663},{"_155":468,"_449":2661},{"_155":483,"_449":2657},{"_155":468,"_449":2655},{"_155":468,"_449":2653},{"_155":483,"_449":2646},{"_155":468,"_449":2644},{"_155":483,"_449":2640},{"_155":468,"_449":2637},{"_155":468,"_449":2635},{"_155":483,"_449":2629},{"_155":468,"_449":2627},{"_155":483,"_449":2623},{"_155":468,"_449":2620},{"_155":483,"_449":2618},{"_155":468,"_449":2614},{"_155":464,"_449":2612},{"_155":448,"_449":2609},{"_451":452,"_88":2610},{"_454":455,"_456":457,"_104":-5,"_42":458,"_459":2611,"_461":462,"_463":114},[],{"_463":2613,"_451":452},{"_93":467},{"_470":2615,"_451":452,"_472":458},{"_473":2616,"_475":-5,"_42":-5,"_476":-5,"_477":478,"_97":94,"_93":479},[2617],{"_46":481,"_93":482},{"_470":2619,"_451":452,"_472":458},{"_42":486,"_477":478,"_46":481,"_93":487},{"_470":2621,"_451":452,"_472":458},{"_473":-5,"_490":491,"_42":-5,"_476":-5,"_492":2622,"_93":494},[],{"_470":2624,"_451":452,"_472":458},{"_473":2625,"_42":498,"_492":2626,"_93":494},[],[],{"_470":2628,"_451":452,"_472":458},{"_502":503,"_42":-5,"_476":-5,"_504":505,"_93":506},{"_470":2630,"_451":452,"_472":458},{"_509":510,"_511":512,"_513":2631,"_515":516,"_456":32,"_517":32,"_42":503,"_518":519,"_520":521,"_463":114,"_93":522},[2632,2633,2634],{"_511":533,"_182":534,"_162":535,"_93":529},{"_511":530,"_182":531,"_162":532,"_93":529},{"_511":526,"_182":527,"_162":528,"_93":529},{"_470":2636,"_451":452,"_472":458},{"_538":539,"_502":503,"_42":-5,"_476":-5,"_182":540,"_541":-5,"_93":542},{"_470":2638,"_451":452,"_472":458},{"_473":-5,"_490":545,"_42":-5,"_476":-5,"_492":2639,"_93":494},[],{"_470":2641,"_451":452,"_472":458},{"_473":2642,"_42":550,"_492":2643,"_93":494},[],[],{"_470":2645,"_451":452,"_472":458},{"_502":554,"_42":-5,"_476":-5,"_504":555,"_93":506},{"_470":2647,"_451":452,"_472":458},{"_558":-5,"_538":2648,"_456":560,"_104":-5,"_42":554,"_561":-5,"_562":-5,"_563":-5,"_564":2649,"_566":567,"_463":114,"_568":567,"_93":569},{"_313":574,"_315":575},{"_570":-5,"_473":2650,"_572":2651},[2652],{"_313":574,"_315":575},{"_93":46,"_46":577},{"_470":2654,"_451":452,"_472":458},{"_538":580,"_502":554,"_42":-5,"_476":-5,"_182":567,"_541":581,"_93":542},{"_470":2656,"_451":452,"_472":458},{"_502":584,"_42":-5,"_476":-5,"_504":585,"_93":506},{"_470":2658,"_451":452,"_472":458},{"_509":588,"_511":589,"_513":2659,"_515":516,"_456":32,"_517":32,"_42":584,"_518":591,"_520":521,"_463":114,"_93":522},[2660],{"_511":593,"_93":594},{"_470":2662,"_451":452,"_472":458},{"_538":597,"_502":584,"_42":-5,"_476":-5,"_182":540,"_541":-5,"_93":542},{"_470":2664,"_451":452,"_472":458},{"_473":-5,"_490":600,"_42":-5,"_476":-5,"_492":2665,"_93":494},[],{"_470":2667,"_451":452,"_472":458},{"_473":2668,"_42":605,"_492":2669,"_93":494},[],[],{"_470":2671,"_451":452,"_472":458},{"_502":609,"_42":-5,"_476":-5,"_504":610,"_93":506},{"_470":2673,"_451":452,"_472":458},{"_509":613,"_511":614,"_513":2674,"_515":516,"_456":32,"_517":32,"_42":609,"_518":616,"_520":521,"_463":114,"_93":522},[2675],{"_511":618,"_93":594},{"_470":2677,"_451":452,"_472":458},{"_538":621,"_502":609,"_42":-5,"_476":-5,"_182":540,"_541":-5,"_93":542},{"_470":2679,"_451":452,"_472":458},{"_473":-5,"_490":624,"_42":-5,"_476":-5,"_492":2680,"_93":494},[],{"_470":2682,"_451":452,"_472":458},{"_473":2683,"_42":629,"_492":2684,"_93":494},[],[],{"_470":2686,"_451":452,"_472":458},{"_502":633,"_42":-5,"_476":-5,"_504":634,"_93":506},{"_470":2688,"_451":452,"_472":458},{"_509":637,"_511":638,"_513":2689,"_515":516,"_456":32,"_517":32,"_42":633,"_518":640,"_520":521,"_463":114,"_93":522},[2690],{"_511":642,"_93":594},{"_470":2692,"_451":452,"_472":458},{"_538":645,"_502":633,"_42":-5,"_476":-5,"_182":540,"_541":-5,"_93":542},{"_470":2694,"_451":452,"_472":458},{"_473":-5,"_490":648,"_42":-5,"_476":-5,"_492":2695,"_93":494},[2696],{"_46":651,"_93":652},{"_470":2698,"_451":452,"_472":458},{"_473":2699,"_42":656,"_492":2700,"_93":494},[],[651],{"_470":2702,"_451":452,"_472":458},{"_502":660,"_42":-5,"_476":-5,"_504":661,"_93":506},{"_470":2704,"_451":452,"_472":458},{"_538":664,"_502":660,"_42":-5,"_476":-5,"_182":665,"_541":-5,"_93":542},{"_470":2706,"_451":452,"_472":458},{"_473":-5,"_490":668,"_42":-5,"_476":-5,"_492":2707,"_93":494},[2708],{"_46":671,"_93":652},{"_470":2710,"_451":452,"_472":458},{"_473":2711,"_42":675,"_492":2712,"_93":494},[],[671],{"_470":2714,"_451":452,"_472":458},{"_509":679,"_511":680,"_513":2715,"_515":516,"_456":682,"_517":32,"_42":683,"_518":684,"_520":521,"_463":114,"_93":522},[2716],{"_511":686,"_93":594},{"_470":2718,"_451":452,"_472":458},{"_502":689,"_42":-5,"_476":-5,"_504":690,"_93":506},{"_470":2720,"_451":452,"_472":458},{"_538":693,"_502":689,"_42":-5,"_476":-5,"_182":665,"_541":-5,"_93":542},{"_470":2722,"_451":452,"_472":458},{"_502":696,"_42":-5,"_476":-5,"_504":697,"_93":506},{"_470":2724,"_451":452,"_472":458},{"_538":700,"_502":696,"_42":-5,"_476":-5,"_182":665,"_541":-5,"_93":542},{"_470":2726,"_451":452,"_472":458},{"_502":703,"_42":-5,"_476":-5,"_504":704,"_93":506},{"_470":2728,"_451":452,"_472":458},{"_538":700,"_502":703,"_42":-5,"_476":-5,"_182":665,"_541":-5,"_93":542},{"_470":2730,"_451":452,"_472":458},{"_502":709,"_42":-5,"_476":-5,"_504":710,"_93":506},{"_470":2732,"_451":452,"_472":458},{"_538":700,"_502":709,"_42":-5,"_476":-5,"_182":665,"_541":-5,"_93":542},{"_470":2734,"_451":452,"_472":458},{"_502":683,"_42":-5,"_476":-5,"_504":715,"_93":506},{"_470":2736,"_451":452,"_472":458},{"_538":718,"_502":683,"_42":-5,"_476":-5,"_182":540,"_541":-5,"_93":542},{"_470":2738,"_451":452,"_472":458},{"_473":-5,"_490":721,"_42":-5,"_476":-5,"_492":2739,"_93":494},[],{"_470":2741,"_451":452,"_472":458},{"_473":2742,"_42":726,"_492":2743,"_93":494},[],[],{"_470":2745,"_451":452,"_472":458},{"_509":730,"_511":731,"_513":2746,"_515":516,"_456":733,"_517":329,"_42":734,"_518":735,"_520":521,"_463":736,"_93":522},[2747],{"_511":738,"_93":594},{"_470":2749,"_451":452,"_472":458},{"_502":734,"_42":-5,"_476":-5,"_504":741,"_93":506},{"_470":2751,"_451":452,"_472":458},{"_538":744,"_502":734,"_42":-5,"_476":-5,"_182":540,"_541":-5,"_93":542},{"_470":2753,"_451":452,"_472":458},{"_473":-5,"_490":747,"_42":-5,"_476":-5,"_492":2754,"_93":494},[],{"_470":2756,"_451":452,"_472":458},{"_473":2757,"_42":752,"_492":2758,"_93":494},[],[],{"_470":2760,"_451":452,"_472":458},{"_509":756,"_511":757,"_513":2761,"_515":516,"_456":759,"_517":32,"_42":760,"_518":761,"_520":521,"_463":114,"_93":522},[2762],{"_511":763,"_93":594},{"_470":2764,"_451":452,"_472":458},{"_502":766,"_42":-5,"_476":-5,"_504":767,"_93":506},{"_470":2766,"_451":452,"_472":458},{"_538":770,"_502":766,"_42":-5,"_476":-5,"_182":665,"_541":-5,"_93":542},{"_470":2768,"_451":452,"_472":458},{"_502":760,"_42":-5,"_476":-5,"_504":773,"_93":506},{"_470":2770,"_451":452,"_472":458},{"_538":776,"_502":760,"_42":-5,"_476":-5,"_182":540,"_541":-5,"_93":542},{"_470":2772,"_451":452,"_472":458},{"_502":779,"_42":-5,"_476":-5,"_182":-5,"_504":780,"_93":781},{"_470":2774,"_451":452,"_472":458},{"_784":2775,"_42":779,"_463":114,"_93":786},[2776],{"_325":788,"_9":2777,"_162":535},{"_790":-5,"_93":791},{"_470":2779,"_451":452,"_472":458},{"_502":779,"_42":-5,"_794":795,"_476":-5,"_182":796,"_541":-5,"_463":114,"_93":797},{"_470":2781,"_451":452,"_472":458},{"_473":-5,"_490":800,"_42":-5,"_476":-5,"_492":2782,"_93":494},[],{"_470":2784,"_451":452,"_472":458},{"_473":2785,"_42":805,"_492":2786,"_93":494},[],[],{"_470":2788,"_451":452,"_472":458},{"_509":809,"_511":810,"_513":2789,"_515":516,"_456":812,"_517":813,"_42":814,"_518":815,"_520":521,"_463":736,"_93":522},[2790],{"_511":817,"_93":594},{"_470":2792,"_451":452,"_472":458},{"_502":820,"_42":-5,"_476":-5,"_504":821,"_93":506},{"_470":2794,"_451":452,"_472":458},{"_538":824,"_502":820,"_42":-5,"_476":-5,"_182":665,"_541":-5,"_93":542},{"_470":2796,"_451":452,"_472":458},{"_502":827,"_42":-5,"_476":-5,"_504":828,"_93":506},{"_470":2798,"_451":452,"_472":458},{"_538":824,"_502":827,"_42":-5,"_476":-5,"_182":665,"_541":-5,"_93":542},{"_470":2800,"_451":452,"_472":458},{"_502":814,"_42":-5,"_476":-5,"_504":833,"_93":506},{"_470":2802,"_451":452,"_472":458},{"_538":836,"_502":814,"_42":-5,"_476":-5,"_182":540,"_541":-5,"_93":542},{"_470":2804,"_451":452,"_472":458},{"_502":839,"_42":-5,"_476":-5,"_504":840,"_93":506},{"_470":2806,"_451":452,"_472":458},{"_509":843,"_511":844,"_513":2807,"_515":516,"_456":32,"_517":32,"_42":839,"_518":846,"_520":521,"_463":114,"_93":522},[2808],{"_511":848,"_182":534,"_162":535,"_93":529},{"_470":2810,"_451":452,"_472":458},{"_538":851,"_502":839,"_42":-5,"_476":-5,"_182":540,"_541":-5,"_93":542},{"_470":2812,"_451":452,"_472":458},{"_502":854,"_42":-5,"_476":-5,"_504":855,"_93":506},{"_470":2814,"_451":452,"_472":458},{"_509":858,"_511":859,"_513":2815,"_515":516,"_456":32,"_517":32,"_42":854,"_518":861,"_520":521,"_463":114,"_93":522},[2816],{"_511":863,"_162":534,"_864":865,"_93":866},{"_470":2818,"_451":452,"_472":458},{"_538":869,"_502":854,"_42":-5,"_476":-5,"_182":540,"_541":-5,"_93":542},{"_470":2820,"_451":452,"_472":458},{"_473":-5,"_490":872,"_42":-5,"_476":-5,"_492":2821,"_93":494},[2822],{"_46":875,"_93":652},{"_470":2824,"_451":452,"_472":458},{"_473":2825,"_42":879,"_492":2826,"_93":494},[],[875],{"_470":2828,"_451":452,"_472":458},{"_502":883,"_42":-5,"_476":-5,"_504":884,"_93":506},{"_470":2830,"_451":452,"_472":458},{"_509":887,"_511":888,"_513":2831,"_515":516,"_456":32,"_517":32,"_42":883,"_518":890,"_520":521,"_463":114,"_93":522},[2832,2833],{"_511":894,"_182":895,"_162":896,"_93":529},{"_511":893,"_182":534,"_162":535,"_93":529},{"_470":2835,"_451":452,"_472":458},{"_538":899,"_502":883,"_42":-5,"_476":-5,"_182":540,"_541":-5,"_93":542},{"_470":2837,"_451":452,"_472":458},{"_502":902,"_42":-5,"_476":-5,"_504":903,"_93":506},{"_470":2839,"_451":452,"_472":458},{"_509":906,"_511":907,"_513":2840,"_515":516,"_456":32,"_517":32,"_42":902,"_518":909,"_520":521,"_463":114,"_93":522},[2841,2842],{"_511":913,"_162":914,"_864":915,"_93":866},{"_511":912,"_182":534,"_162":535,"_93":529},{"_470":2844,"_451":452,"_472":458},{"_538":918,"_502":902,"_42":-5,"_476":-5,"_182":540,"_541":-5,"_93":542},{"_470":2846,"_451":452,"_472":458},{"_473":-5,"_490":921,"_42":-5,"_476":-5,"_492":2847,"_93":494},[2848],{"_46":924,"_93":652},{"_470":2850,"_451":452,"_472":458},{"_473":2851,"_42":928,"_492":2852,"_93":494},[],[924],{"_470":2854,"_451":452,"_472":458},{"_502":932,"_42":-5,"_476":-5,"_504":933,"_93":506},{"_470":2856,"_451":452,"_472":458},{"_509":936,"_511":937,"_513":2857,"_515":516,"_456":32,"_517":32,"_42":932,"_518":939,"_520":521,"_463":114,"_93":522},[2858,2859],{"_511":943,"_182":531,"_162":532,"_93":529},{"_511":942,"_182":527,"_162":528,"_93":529},{"_470":2861,"_451":452,"_472":458},{"_538":946,"_502":932,"_42":-5,"_476":-5,"_182":540,"_541":-5,"_93":542},{"_470":2863,"_451":452,"_472":458},{"_473":-5,"_490":949,"_42":-5,"_476":-5,"_492":2864,"_93":494},[2865],{"_46":952,"_93":652},{"_470":2867,"_451":452,"_472":458},{"_473":2868,"_42":956,"_492":2869,"_93":494},[],[952],{"_470":2871,"_451":452,"_472":458},{"_509":960,"_511":961,"_513":2872,"_515":516,"_456":963,"_517":32,"_42":964,"_518":965,"_520":521,"_463":114,"_93":522},[2873,2874],{"_511":971,"_182":534,"_162":535,"_93":529},{"_511":968,"_162":969,"_864":970,"_93":866},{"_470":2876,"_451":452,"_472":458},{"_502":964,"_42":-5,"_476":-5,"_504":974,"_93":506},{"_470":2878,"_451":452,"_472":458},{"_538":977,"_502":964,"_42":-5,"_476":-5,"_182":540,"_541":-5,"_93":542},{"_470":2880,"_451":452,"_472":458},{"_502":980,"_42":-5,"_476":-5,"_504":981,"_93":506},{"_470":2882,"_451":452,"_472":458},{"_509":984,"_511":985,"_513":2883,"_515":516,"_456":32,"_517":32,"_42":980,"_518":987,"_520":521,"_463":114,"_93":522},[2884],{"_511":989,"_93":594},{"_470":2886,"_451":452,"_472":458},{"_538":992,"_502":980,"_42":-5,"_476":-5,"_182":540,"_541":-5,"_93":542},{"_470":2888,"_451":452,"_472":458},{"_473":-5,"_490":995,"_42":-5,"_476":-5,"_492":2889,"_93":494},[],{"_470":2891,"_451":452,"_472":458},{"_473":2892,"_42":1000,"_492":2893,"_93":494},[],[],{"_470":2895,"_451":452,"_472":458},{"_502":1004,"_42":-5,"_476":-5,"_504":1005,"_93":506},{"_470":2897,"_451":452,"_472":458},{"_509":1008,"_511":1009,"_513":2898,"_515":516,"_456":32,"_517":1011,"_42":1004,"_518":1012,"_520":521,"_463":736,"_93":522},[2899],{"_511":1014,"_93":594},{"_470":2901,"_451":452,"_472":458},{"_538":1017,"_502":1004,"_42":-5,"_476":-5,"_182":540,"_541":-5,"_93":542},{"_470":2903,"_451":452,"_472":458},{"_473":-5,"_490":1020,"_42":-5,"_476":-5,"_492":2904,"_93":494},[],{"_470":2906,"_451":452,"_472":458},{"_473":2907,"_42":1025,"_492":2908,"_93":494},[],[],{"_470":2910,"_451":452,"_472":458},{"_1029":-5,"_473":2911,"_42":1031,"_93":1032},[2912],{"_46":1034,"_1035":2913,"_93":46},[],{"_470":2915,"_451":452,"_472":458},{"_473":2916,"_475":-5,"_42":-5,"_476":-5,"_477":-5,"_97":326,"_93":479},[2917],{"_46":1034,"_93":1041},{"_470":2919,"_451":452,"_472":458},{"_473":2920,"_475":-5,"_42":-5,"_476":-5,"_477":-5,"_97":326,"_93":479},[2921,2922],{"_46":1048,"_93":1041},{"_46":1047,"_93":1041},{"_470":2924,"_451":452,"_472":458},{"_473":2925,"_475":-5,"_42":-5,"_476":-5,"_477":-5,"_97":1052,"_93":479},[2926,2927],{"_46":1056,"_93":1041},{"_46":1055,"_93":1041},{"_451":452,"_88":2929},{"_104":-5,"_42":458,"_459":2930,"_461":462,"_463":1061},[],{"_463":2932,"_451":452},{"_1064":2933,"_93":1066},[],{"_1069":2935},{"_1071":-5,"_1072":-5,"_1073":1074,"_1075":462,"_515":516,"_1076":15,"_1077":-5,"_1078":-5,"_1079":-5,"_1080":1081,"_42":452,"_1082":1083,"_182":-5,"_1084":-5,"_162":1085,"_1086":200,"_1087":-5,"_520":1088,"_463":2936,"_1090":-5,"_78":2937,"_1092":462},{"_93":467},[],[],[2940],{"_42":1097,"_1098":2941,"_1100":1101,"_1102":1101,"_473":2942,"_463":1104,"_475":-5,"_1105":32,"_1106":2943,"_1108":1109,"_1110":-5},{"_97":326,"_182":-5,"_1106":2947},{"_1115":46,"_1116":2946},{"_1111":2944},{"_1113":2945},[],[1118],{},{"_93":479,"_97":94,"_473":2967},{"_93":1152,"_1153":2954},{"_93":1128,"_1129":1130,"_1131":1132,"_1133":2951,"_1135":-5},{"_93":1133,"_1136":516,"_129":130,"_1137":-5,"_325":1138,"_1139":2952,"_1141":1142,"_1143":1144,"_1145":1142,"_1146":574,"_1147":2953},{"_1149":1150,"_1151":-5},[],[2955,2956,2957],{"_162":1351,"_1159":-5,"_1160":2964,"_1162":-5},{"_162":1246,"_1159":-5,"_1160":2961,"_1162":-5},{"_162":1158,"_1159":-5,"_1160":2958,"_1162":-5},[2959],{"_1164":329,"_1165":1166,"_473":2960,"_1168":59},[1169,200,1170,200,1171,200,1172,200,1173,1174,1175,1176,1177,1178,1179,1180,1181,1182,200,1183,200,1184,1185,1186,1187,1188,200,1189,200,1190,1191,1192,1193,1194,1195,1196,1197,1198,1199,1200,1201,1202,1203,1204,1205,200,1206,200,1207,1208,1209,1210,1211,1212,1213,1214,1215,1216,1217,200,1218,200,1219,1220,1221,1222,1223,1224,1225,1226,1227,1228,1229,1230,1231,200,1232,200,1233,1234,1235,1236,1237,1238,1239,1240,200,1241,200,1242,1243,1244,1245],[2962],{"_1164":329,"_1165":1249,"_473":2963,"_1168":59},[1251,1252,1253,1254,1255,1256,200,1257,1258,1259,1260,200,1261,200,1262,1263,1264,1265,1266,1267,1268,1269,1270,1271,1272,1273,200,1274,1275,1276,1277,200,1278,1279,1280,1281,1282,1283,1284,1285,1286,1281,1282,1287,1284,200,1288,1289,1290,1291,1273,200,1274,1292,1276,1277,200,1293,1294,1295,1296,1297,200,1298,1299,1286,1300,1301,1302,1303,200,1288,1304,1305,1291,1273,200,1274,1306,1276,1277,1307,1308,1286,1300,1301,1309,1310,200,1311,1289,1312,1291,1273,200,1274,1313,1276,1277,1314,200,1315,200,1288,1316,1317,1291,1273,200,1274,1318,1319,200,1320,1273,200,1274,1321,1322,1323,1324,1325,1326,1323,1324,1327,1326,1328,1329,200,1330,1273,200,1274,1331,1288,1332,1333,1291,1288,1334,1335,1291,1288,1336,1337,1291,1288,1338,1339,1291,1273,200,1274,1340,1341,1342,1343,200,1344,1345,1346,1347,1348,200,1288,1349,1350,1291,1273],[2965],{"_1164":329,"_1165":1354,"_473":2966,"_1168":59},[1356,1252,1357,1358,1359,1360,200,1361,1362,1363,200,1364,1365,1366,1367,1260,200,1368,1369,200,1370,1371,1372,1373,1374,1375,1376,1377,1378,1379,1380,1381,1382,1383,1384,1385,1386,1387,1388,1389,1390,1273,200,1391,1392,1393,1394,1395,1273,200,1396,1397,1398,1399,1400,1401,1402,200,1403,1404,1405,1406,1402,1273,200,1407,1408,1409,1402,1273,200,1410,200,1411,1412,1413,1414,1415,1416,1417,1418,1419,1420,1421,1422,1423,1424,1425,1426,1427,1273,200,1428,1429,1430,1429,1431,1432,1433,1434,1273,200,1435,1429,1430,1429,1436,1437,1438,1439,1440,1273,200,1441,1429,1442,1443,1444,1429,1430,1429,1445,1446,1447,1448,1449,1450,1451,1452,1453,1454,1402,1455,1456,1451,1457,1458,1454,1402,1459,1273,200,1460,1461,1462,1463,1323,1464,1465,1326,1323,1466,1467,1468,1469,1470,1471,1472,1326,1323,1473,1467,1468,1474,1470,1475,1472,1326,1323,1476,1477,1468,1478,1470,1479,1480,1481,1326,1328,1273,200,1482,1483,1484,1485,1486,1487,1488,1402,1489,1273,200,1490,1491,1492,1493,1402,1489,1273,200,1494,1495,1451,1496,1497,1454,1498,1499,1451,1496,1500,1454,1402,1501,1502,1503,1504,1505,1402,1506,1507,1508,1328,1273,200,1509,1510,1511,1512,1513,1496,1514,1515,1402,1273,200,1516,1517,1518,1519,1520,1521,1522,1523,1524,1525,1526,1527,1528,1529,1530,1481,1524,1531,1532,1528,1533,1534,1535,1536,1537,1538,1539,1540,1541,1481,1524,1542,1543,1544,1545,1522,1524,1546,1547,1548,1549,1522,1524,1550,1551,1401,1402,1273,200,1552,1461,1553,1554,1323,1555,1556,1326,1323,1557,1558,1326,1323,1559,1560,1326,1561,1328,1273,200,1562,1563,1564,1565,1281,1566,1567,1568,1569,1273,200,1570,1461,1571,1323,1572,1573,1326,1574,1328,1273,200,1575,1576,1577,1578,1402,1273,200,1579,1580,1581,1582,1583,1584,1273,200,1585,1461,1586,1323,1587,1588,1326,1589,1328,1273,200,1590,1591,1592,1593,1594,1595,1596,1402,1273,200,1597,1598,1599,1600,1401,1601,1602,1603,1528,1529,1604,1605,1606,1607,1608,1481,1524,1609,1610,1611,1612,1524,1613,1614,1615,1616,1617,1618,1619,1528,1620,1621,1481,1622,1524,1623,1273,200,1624,1625,1626,1627,1628,1629,1630,1631,1524,1632,1633,1634,1635,1524,1623,1273,200,1636,1637,1638,1639,1640,1272,1641,1642,1273,200,1643,1644,1645,1646,1647,1648,1649,1524,1650,1651,1528,1652,1653,1481,1524,1654,1655,1528,1652,1653,1481,1524,1656,1657,1658,1659,1660,1524,1623,1273,200,1661,1662,1663,1664,1665,1666,1667,1668,1402,1273,200,1669,1580,1670,1671,1672,1584,1273,200,1673,1674,1675,1676,1677,1678,1679,1273,200,1680,1674,1675,1676,1677,1678,1679,1273,200,1681,1682,1564,1683,1684,1685,1686,1687,1273,200,1688,1689,1273,200,1690,1691,1564,1683,1684,1686,1692,1273,200,1693,1694,1273,200,1695,1696,1273,200,1697,1698,1273,200,1699,1700,1701,1702,1703,1704,1705,1706,1707,1401,1708,1709,1710,1401,1711,1712,1713,1714,1715,1401,1716,1717,1718,1719,1720,1721,1722,1723,1724,1725,1726,1727,1715,1728,1729,1730,1731,1714,1715,1401,1402,1732,1273,200,1733,1734,1735,1736,1737,1738,1739,1740,1741,1742,1743,1736,1737,1744,1739,1740,1745,1736,1737,1746,1739,1740,1747,1402,1732,1273,200,1748,1749,1700,1750,1751,1752,1753,1401,1754,1755,1756,1757,1758,1759,1760,1401,1761,1762,1756,1763,1764,1759,1760,1401,1765,1766,1767,1401,1402,1273,200,1768,1769,1638,1770,1771,1272,1623,1273,200,1772,1773,1774,1273,200,1775,1776,1777,1402,200,1778,1779,1402,200,1780,1781,1782,1783,1784,1785,1786,1787,1788,1789,1790,1791,1792,1793,1715,1794,1792,1795,1796,1797,1798,1799,1800,1801,1802,1715,1803,1792,1804,1805,1806,1726,1807,1715,1808,1792,1809,1810,1805,1811,1812,1813,1814,1815,1816,1817,1818,1819,1820,1726,1821,1715,1822,1823,1824,1825,1826,1827,1828,1829,1271,1830,1831,1832,1790,1401,1402,200,1833,1834,1835,1836,1837,1838,1839,1715,1840,1841,1842,1715,1843,1830,1831,1844,1790,1401,1402,200,1845,1846,1736,1831,1847,1739,1848,1402,200,1849,1850,1851,1852,1853,1854,1855,1856,1857,1402,200,1858,1859,1736,1852,1860,1739,1740,1861,1851,1852,1862,1854,1855,1863,1864,1402,200,1865,1866,1867,1868,1402,1273],[2968,2969,2970,2971,2972,2973,2974,2975],{"_1115":46,"_46":1888},{"_1115":1879,"_162":1351,"_1164":1886,"_1165":1887},{"_1115":46,"_46":1885},{"_1115":1879,"_162":1246,"_1164":1883,"_1165":1884},{"_1115":46,"_46":1882},{"_1115":1879,"_162":1158,"_1164":1881,"_1165":1881},{"_1115":1879,"_162":1158,"_1164":1880,"_1165":1880},{"_1115":46,"_46":1878},[2978,2979,2980,2981,2982,2983,2984,2985,2986,2987,2988],{"_1898":1899,"_264":197,"_1900":306,"_275":-5,"_1136":258,"_1901":-5,"_1902":-5,"_1903":1904,"_1905":1906,"_1907":-5,"_1908":-5,"_1909":1910,"_1911":15,"_1912":59,"_1913":54,"_1914":15},{"_93":479,"_97":326,"_473":2989},{"_313":314,"_315":316,"_1946":320,"_1947":130,"_322":-5,"_93":1948},{"_93":1926,"_315":1945,"_162":-5,"_1928":-5,"_1930":-5},{"_93":1926,"_315":1943,"_162":1351,"_1928":1929,"_1930":1944},{"_93":1926,"_315":1942,"_162":-5,"_1928":-5,"_1930":-5},{"_93":1926,"_315":1940,"_162":1351,"_1928":1929,"_1930":1941},{"_93":1926,"_315":1938,"_162":1351,"_1928":1929,"_1930":1939},{"_93":1926,"_315":1936,"_162":1351,"_1928":1929,"_1930":1937},{"_93":1926,"_315":1934,"_162":1351,"_1928":1929,"_1930":1935},{"_93":1926,"_315":1932,"_162":1351,"_1928":1929,"_1930":1933},{"_93":1926,"_315":1927,"_162":1351,"_1928":1929,"_1930":1931},[2990],{"_1115":46,"_46":1951},"task_e_6a3c26053100832a844b6f8b242c4002",1782326789.191516,"GitHub Mention: feat: add core canonical encoder","has_generated_title","has_unread_turn","denormalized_metadata",{"_3022":32,"_3023":3024,"_3025":-5,"_3026":-5,"_3016":3027,"_3028":-5,"_3029":-5,"_3030":-5,"_3031":-5},"task_status_display",{"_3010":3011,"_3012":197,"_131":128,"_3013":-5,"_3014":1128},"creator_workspace","external_pull_requests",[3003],{"_42":3004,"_3005":84,"_3006":3007,"_3008":130},"github-1272888914-33","assistant_turn_id","pull_request",{"_305":306,"_296":307,"_308":309,"_310":15,"_311":59,"_312":15,"_313":314,"_315":316,"_317":268,"_318":128,"_319":320,"_321":130,"_322":323,"_324":-5,"_325":-5,"_326":3009,"_328":329,"_330":331,"_332":333,"_334":335},"codex_updated_sha",{"_290":291,"_182":291,"_336":-5,"_294":295,"_42":292},"latest_turn_status_display",{"_3015":84,"_113":114,"_3016":3017,"_95":3018,"_3019":-5,"_3020":-5,"_3021":1128,"_115":-5},"environment_label","fix_task_id","initial_intent","turn_id","diff_stats",{"_1141":1142,"_1143":1144,"_1145":1142},[],"image_asset_pointer_citations","issue_counts","intent","num_follow_ups","repo_name_map",{},"last_user_turn_created_at","last_turn_status",{"_1141":-5,"_1143":-5,"_1145":-5},"last_pushed_turn_id","start_branch_name","pushed_branch_name","cached_pull_request_data","dd",{"_3044":3045,"_3046":3047},"disablePrefetch","shouldPrefetchAccount","shouldPrefetchUser","shouldPrefetchSystemHints","promoteCss","disableSSR","stripModulepreloadImports","paidCampaignAppRedirect","statsigGateEvaluationsPromise",["P",3043],"traceId","12545821213993430075","traceTime",1785867968579]