GP1: define EchoProofPlanV0 fixture and digest domain

[flyingrobots]

Campaign

Xyph Gate Alpha

GP0 anchor: #135
Workspace plan: /Users/james/git/profunctoroptics/DEMO.md

Goalpost 1

Define the minimum Edict proof-plan fixture vocabulary for the first Xyph Gate Alpha workflow.

This issue should account for the existing local proof_plan.rs skeleton without treating it as complete.

Fixed campaign facts

• Protected workflow: payment_receipt_required@0
• Aperture: payment_reliability@0
• Proof-plan shape: EchoProofPlanV0
• Trace shape: TraceRunReceiptV0
• Evidence envelope: WitnessCapsuleV0
• Diff shape: HorizonDiffV0
• Obligation shape: ObligationV0
• First policy question: can capture:success happen without durable receipt obligation satisfaction?

Edict-owned deliverables

Define fixture-level shape for EchoProofPlanV0 with at least:

• targetIrDigest
• contractBundleDigest or reviewed bundle subject digest
• tickBound
• structuralBound
• capabilityFootprint
• obstructionTaxonomyVersion
• traceShapeVersion = TraceRunReceiptV0
• proof-plan digest domain

The proof plan should support base/head comparison for the protected workflow fixture.

Acceptance criteria

• One fixture id appears across all GP1 sibling issues: payment_receipt_required@0.
• The proof-plan digest is deterministic for the fixture.
• The plan names the Echo trace shape it expects.
• Unsupported or general proof-planning behavior is explicitly rejected or deferred.
• Edict PR Define obstruction and counterfactual taxonomy #134 remains non-blocking for GP1 unless this issue deliberately promotes it.

Non-goals

• No general proof planner.
• No ZK constraints.
• No Echo execution.
• No Continuum participant policy.
• No Xyph UI.

Sibling issues

To be filled after GP1 sibling anchors exist.

[coderabbitai]

🔗 Related PRs

#41 - Add Gate C admission boundary checks [merged]
#67 - Add Echo Target IR lowering [merged]
#110 - Prepare v0.11.0-alpha.1 release [merged]
#128 - Parse obstruction strand continuations [merged]
#132 - Lower obstruction requirements to Echo Target IR [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!

[flyingrobots]

GP1 sibling anchors

• Continuum: GP1: define Xyph Gate Alpha evidence vocabulary fixtures continuum#78
• Edict: GP1: define EchoProofPlanV0 fixture and digest domain #136
• Echo: GP1: define TraceRunReceiptV0 fixture and digest domain echo#646
• Xyph: GP1: define shadow Gate aperture and policy fixtures xyph#79

GP1 closes when these four fixtures agree on the same payment_receipt_required@0 evidence vocabulary and digest/ref story.