Prove Edict and external Echo provider conformance and semantic parity

[flyingrobots]

Purpose

Close the cross-repo handoff with one reviewed end-to-end fixture proving the external Echo provider changes ownership and release identity without changing meaning.

Required path

reviewed .edict source
  -> generated Echo lawpack/profile/facts/schemas
  -> canonical Core
  -> external Echo lowerer
  -> canonical echo.span-ir/v1
  -> Echo verifier
  -> contract bundle

Acceptance criteria

• Compilation uses only generated Echo semantic artifacts from Generate Echo Edict lawpack, target profile, authority facts, and provenance #652.
• Edict's capability-denied host invokes the packaged lowerer and verifier from Assemble the digest-locked Echo Edict provider package #655.
• External and built-in compatibility paths produce identical Target IR canonical bytes and digest.
• External and built-in paths produce the same semantic bundle digest; release identity names the external components and may differ.
• Generated helpers from Generate Target-IR-bound Echo registration and invocation helpers #656 bind the exact Target IR and bundle identities.
• Two independent processes reproduce the same completed observation.
• The negative corpus covers source/artifact/schema/component tampering, unsupported semantics, wrong intrinsic, dropped obstruction, overclaim, noncanonical output, helper identity mismatch, and ambient-capability denial.
• The fixture pins exact Echo, Edict, and Wesley commits and records reproducible generation commands.
• Results and fixture links are posted back to Feature: Create Echo-owned provider implementation issues edict#142.

Boundaries

This proves provider generation, lowering, verification, and bundle identity. It does not claim Echo admission, runtime execution, browser execution, or a runtime receipt; those remain under #583, #589, and #516.

Blocked by #653, #654, #655, and #656.
Parent: #650

[coderabbitai]

🔗 Related PRs

#323 - Witnessed suffix admission evaluator [merged]
#329 - Stack Witness 0001 fixture-backed jedit walking skeleton [merged]
#344 - feat(wesley): consume canonical requirements artifacts [merged]
#365 - feat(wesley): emit query observer host helpers [merged]
#582 - docs: define the Echo 1.0 release contract and move live planning to GitHub [merged]

---

📝 Issue Planner

_{Check the box below or use the @coderabbitai plan command 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!