GP1: define EchoProofPlanV0 fixture and digest domain

Aperta
  • Qualcosa non va?
#136 2 commenti 1 reazione 0 assegnatari Vedi su GitHub

Nessuno ha ancora preso questa issue.

Valutazione

Difficoltà
4/5
Tempo stimato
3-5 giorni
Idoneità per principianti
48/100
Tipo di issue
Funzionalità
Chiarezza
Abbastanza chiara
Stato di attività
Tranquilla
Stack tecnologico
rust
Ambito
backend

Direzione di ricerca

Start with the local proof_plan.rs skeleton and compare it against the fixture requirements in this issue; the payload does not name a test or fixture path. Define the fixture-level EchoProofPlanV0 shape and deterministic digest domain for payment_receipt_required@0, including its expected TraceRunReceiptV0 trace shape. Keep general proof planning and the listed non-goals out of scope; done means the required fields and base/head comparison support are specified, with unsupported behavior explicitly rejected or deferred.

Scritto dal modello di indicizzazione a partire dal testo della issue.

Descrizione

campaign:xyph-gate-alpha

Campaign

Xyph Gate Alpha

GP0 anchor: https://github.com/flyingrobots/edict/issues/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 #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.

Lingua principale
Rust
Stelle
0
Fork
0
Nessuna PR unita negli ultimi 30g

Preparare l'ambiente

Come iniziare

  1. Leggi tutta la issue e poi la guida ai contributi del progetto.
  2. Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
  3. Fai un fork del repository e lavora su un branch.
  4. Apri una pull request che faccia riferimento al numero della issue.

Altre issue di flyingrobots/edict

Tutte le issue di flyingrobots/edict

Issue simili

Altre issue su Rust

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.