Repository navigation
Write a canonical encoder + Core digest explainer #100
Description
Activity
🔗 Related PRs
#14 - Update README implementation status [merged]
#32 - docs: add workflow standards [merged]
#37 - Add v1 lowerability and target-profile conformance checks [merged]
#41 - Add Gate C admission boundary checks [merged]
#67 - Add Echo Target IR lowering [merged]
📝 Issue Planner
Check the box below or use the
@coderabbitai plancommand to generate an implementation plan and prompts that you can use with your favorite coding assistant.- Create Plan
🧪 Issue enrichment is currently in open beta.
You can configure auto-planning by selecting labels in the issue_enrichment configuration.
To disable automatic issue enrichment, add the following to your
.coderabbit.yaml:issue_enrichment: auto_enrich: enabled: false
💬 Have feedback or questions? Drop into our discord!
Audit refs: AUD-2026-06-28-V02 §2.3
crates/edict-syntax/src/canonical.rs(905 LOC:encode_canonical_cbor,digest_core_module, theedict.canonical-cbor/v1framing andedict.core.module/v1domain-separated SHA-256) is the byte/hash foundation everything will be admitted against, but has no prose walkthrough of the encoding rules, domain-separation rationale, or the "meaning freezes before bytes; bytes freeze before hashes" discipline.Scope
docs/or thecore-irtopic shelf) covering the encoding rules, domain separation, and change discipline, cross-linked to the golden fixtures.Acceptance criteria
canonical.rsand the core-ir shelf; markdownlint +cargo xtask verifygreen.docs/audit/2026-06-28_documentation-quality.md§2.3: add✅ Addressed (YYYY-MM-DD, #PR).