pages / example / bridge_enroll

example · bridge_enroll

canister coord://offchain/genie/program/bridge_enroll@v1/6881c85a2afb8fcd · v1 · artifact root 0x6881c85a2afb8fcddcd227c077feac69ff697d4cb74fa1f42f9188a3ca99806b · previous none (first version) · superroot at publish not sealed yet

sealed cases that reached it: 0 — sealed cases that reached this word (the store counts, never reads)

the words it says

• chains · eip155:8453
• chains · eip155:42161
• products · bridge.cross
• components · relay
• components · across
• protocols · layerzero_v2
• kinds · read
• kinds · quote
• kinds · check
• kinds · handoff
• parties · agent
• hdkinds · product
• hdkinds · symptom
• hdkinds · rule
• hdkinds · person
• hdkinds · agent
• hdedges · has
• hdedges · caused_by
• hdedges · fixed_by
• effects · read
• proofs · fill
• reader_kinds · lane
• reader_kinds · rule
• script_builtins · fill
• tiers · case
• hosts · start

its helpdesk graph

bridge enroll (a .genie program) in the studio: 4 symptoms, 4 fixes

• stuck at Placed, Verified not reached
• stuck at Committed, Filled not reached
• refused: the message passed its deadline before a fill
• the message is verified but nothing commits

the source

// _GENIE_v1_ — a bridge crossing enrolled under the layer: the LayerZero v2 machine as the register states it, the collector
// that reads the scan, the door a protocol team walks through. The agent follows the protocol: its states ARE the register's stages.
genie bridge_enroll v1
about "Enroll a bridge crossing under the layer: the LayerZero v2 machine, the scan collector that feeds it, the door a protocol team walks through"

use protocol layerzero_v2
use chain eip155:8453 eip155:42161
use component relay across

agent crossing is "one message from the source chain to its fill on the destination"
  follows protocol layerzero_v2
  states Placed Verified Committed Filled Failed
  start Placed
  final Filled Failed
  failed Failed
  on lane bridge.cross
  read GET /v1/protocol/:protocol/quote as quote
  move Placed -> Verified when message.verified == true component relay
  move Verified -> Committed when message.committed == true component relay
  move Committed -> Filled when fill.receipt != null component across
  move * -> Failed when message.expired == true
  refuse expired "the message passed its deadline before a fill"
  say Placed "Your message is placed on the source chain"
  say Filled "The crossing filled on the destination chain"
  next Placed Verified "Wait for the verifiers: the message is verified before anything commits"
  next Committed Filled "Wait for the executor's fill; the receipt is the proof"

knowledge
  symptom "the message is verified but nothing commits" caused_by "the executor has no gas on the destination" fixed_by "fund the executor on the destination chain and watch the commit"
  rule "a crossing ends Filled or Failed; nothing stays Placed past its deadline"

door "Cross with assurance" as crossing
  product bridge-cross
  locale en
  api https://coord.taifoon.dev
  rule white-label
  step Placed "Your message is placed on the source chain" next Verified
  check GET /v1/protocol/:protocol/quote at quote exists
  step Verified "The verifiers confirmed the message" next Committed
  step Committed "The executor committed it on the destination" next Filled
  step Filled "The crossing filled; the receipt is the proof"
  step Failed "The crossing failed; the reason is named"
  handoff "a crossing stuck past its deadline is a person's case" booking https://cal.com/taifoon meet https://meet.jit.si room genie-bridge

collector lz_scan
  source https://scan.layerzero-api.com/v1/messages
  every 120s
  header "x-ratelimit-remaining" as remaining
  feeds crossing
  stage Placed when status == 200
  protocol layerzero_v2