feat: add core canonical encoder

[flyingrobots]

Summary

• Add the first reference edict.canonical-cbor/v1 encoder for in-memory Core modules.
• Add canonical CBOR decode/re-encode validation, including stable error kinds for non-canonical bytes and duplicate map keys.
• Add behavior tests for map-order independence, mutation sensitivity, decode/re-encode stability, integer width stability, and source alpha-renaming invariance.
• 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 Core IR: golden bytes and exact digest fixtures #22.

Closes #21

RED/GREEN Evidence

RED: cargo test -p edict-syntax --test canonical_encoding -- --nocapture failed before implementation because the public canonical encoder API did not exist.

GREEN/VERIFY:

• cargo test -p edict-syntax --test canonical_encoding -- --nocapture
• cargo fmt --all --check
• cargo clippy -p edict-syntax --all-targets --all-features -- -D warnings
• 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
• git diff --check
• cargo xtask verify

[coderabbitai]

Warning

Review limit reached

@flyingrobots, we couldn't start this review because you've reached your PR review rate limit.

More reviews will be available in 51 minutes and 5 seconds. Learn how PR review limits work.

Your organization has run out of usage credits. Purchase more credits in the billing tab to continue.

⌛ How to resolve this issue?

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.

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.

🚦 How do rate limits work?

CodeRabbit enforces per-developer PR review limits for each organization. Most developers receive the normal plan review availability.

For paid Pro and Pro+ PR reviews, CodeRabbit uses adaptive limits for sustained high-volume activity. When a developer's recent PR review activity reaches the 95th percentile or higher among CodeRabbit users, additional reviews become available more gradually as earlier reviews age out of the rolling window.

Please see our Fair Usage Limits Policy for further information.

ℹ️ Review info

⚙️ Run configuration

Configuration used: Organization UI

Review profile: ASSERTIVE

Plan: Pro

Run ID: 48c05c98-4d76-4631-83c1-34ac5d74b191

📥 Commits

Reviewing files that changed from the base of the PR and between 7dd4802 and f9ce2ed.

📒 Files selected for processing (10)

• CHANGELOG.md
• README.md
• crates/edict-syntax/Cargo.toml
• crates/edict-syntax/src/canonical.rs
• crates/edict-syntax/src/lib.rs
• crates/edict-syntax/tests/canonical_encoding.rs
• docs/topics/compiler-spine/README.md
• docs/topics/compiler-spine/test-plan.md
• docs/topics/core-ir/README.md
• docs/topics/core-ir/test-plan.md

---

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

_{Comment @coderabbitai help to get the list of available commands.}

[chatgpt-codex-connector]

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 8b7731821e

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

• Open a pull request for review
• Mark a draft as ready
• Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

[flyingrobots]

ID	Severity	Source	File	Lines	Issue
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

[chatgpt-codex-connector]

Summary

• Fixed Core intent canonicalization so inputConstraints are converted to canonical values and sorted before encoding, preventing caller vector order from changing canonical bytes. crates/edict-syntax/src/canonical.rsL294-L314
• Added a regression test that builds two equivalent Core modules with reversed input-constraint order and asserts identical canonical bytes. crates/edict-syntax/tests/canonical_encoding.rsL53-L75
• Updated the Core IR topic test plan to include order-independent coordinate-keyed input constraints in the canonical encoder contract and evidence map. docs/topics/core-ir/test-plan.mdL43-L43 docs/topics/core-ir/test-plan.mdL71-L71

Commit / PR

• Committed changes on the current branch: 28c1f66 fix canonical input constraint ordering.
• Created PR: fix canonical input constraint ordering.

Testing

• ❌ 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.
• ✅ cargo test -p edict-syntax --test canonical_encoding canonical_core_bytes_are_independent_of_input_constraint_order -- --nocapture
• ✅ cargo fmt --all --check
• ✅ cargo test -p edict-syntax --test canonical_encoding -- --nocapture
• ✅ cargo xtask verify
• ✅ git diff --check

View task →

[flyingrobots]

Code Lawyer Activity Summary

#	Severity	Source	File	Commit	Outcome
1	P1	PR	crates/edict-syntax/src/canonical.rs	1d8909f	Rejected unresolved Core import digests before canonical encoding.
2	P2	PR	crates/edict-syntax/src/canonical.rs	2a9dd46	Omitted source-local import aliases from canonical bytes.
3	P2	PR	crates/edict-syntax/src/canonical.rs	bdbdb9a	Sorted resolved Core imports before canonical encoding.
4	P2	PR	crates/edict-syntax/src/canonical.rs	29a25df	Excluded local source spelling from canonical local references.
5	P2	PR	crates/edict-syntax/src/canonical.rs	411f6b7	Canonicalized requiredCoreCapabilities as a sorted set.
6	P2	PR	crates/edict-syntax/src/canonical.rs	d22b387	Guarded declared CBOR lengths before allocation.
7	P2	PR	crates/edict-syntax/src/canonical.rs	c282da7	Normalized uppercase SHA-256 hex review forms to digest bytes.
8	P2	Self	crates/edict-syntax/src/canonical.rs	f9ce2ed	Sorted Core input constraints before canonical encoding.

Verification:

• cargo xtask verify
• 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
• gh pr checks 33 shows Rust stable and Rust MSRV passing; CodeRabbit fails only with insufficient usage credits.
• GraphQL review-thread check shows all PR-originated threads resolved and no unresolved review threads.