GP1: define TraceRunReceiptV0 fixture and digest domain

[flyingrobots]

Campaign

Xyph Gate Alpha

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

Goalpost 1

Define the minimum Echo trace receipt fixture vocabulary that Xyph Gate Alpha can compare and Continuum can wrap.

This can be fixture-backed. It does not need to finish WAL durability first.

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?

Echo-owned deliverables

Define fixture-level shapes for:

• TraceRunReceiptV0
• TraceRowV0
• trace receipt digest domain
• run identity and basis refs
• ordered rows with tick, operation, capabilityFootprint, reads, writes, obstruction
• starting and ending state roots
• retained evidence refs or explicit missing-retention posture

The trace must represent both:

• an unsafe head path where capture succeeds without durable receipt evidence
• a repaired head path where the receipt obligation is satisfied

Acceptance criteria

• One fixture id appears across all GP1 sibling issues: payment_receipt_required@0.
• The trace receipt can be referenced by WitnessCapsuleV0.
• Base/head trace receipts can be compared by Xyph.
• The receipt distinguishes internal deterministic transition evidence from external-world effect confirmation.
• PR feat(warp-core): add WAL evidence segment catalog #644 remains non-blocking for GP1 unless this issue deliberately promotes it.

Non-goals

• No WAL durability claim.
• No broad replay closure claim.
• No ZK proof backend.
• No application nouns in Echo core.
• No GitHub enforcement.

Sibling issues

To be filled after GP1 sibling anchors exist.

[flyingrobots]

GP1 sibling anchors

• Continuum: GP1: define Xyph Gate Alpha evidence vocabulary fixtures continuum#78
• Edict: GP1: define EchoProofPlanV0 fixture and digest domain edict#136
• Echo: GP1: define TraceRunReceiptV0 fixture and digest domain #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.

[coderabbitai]

🔗 Related PRs

#145 - AIΩN bridge doc + tick receipts (#144) [merged]
#329 - Stack Witness 0001 fixture-backed jedit walking skeleton [merged]
#339 - feat(core): add obstruction receipt skeleton [merged]
#379 - feat(core): commit runtime WAL ACK evidence [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!