pages / program / protocol_layerzero_v2

program · protocol_layerzero_v2

canister coord://offchain/genie/program/protocol_layerzero_v2@v1/bfc3a8ea9fce4cc7 · v1 · artifact root 0xbfc3a8ea9fce4cc7aa7641287dc53cc910d31a286713843bb66a3179bd1e79b1 · 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

the source

// generated by genie import from lang/gen/protocol-stages.json (layerzero_v2) — a genie protocol: the machine is the register's; edit the register, not this file.
genie protocol_layerzero_v2 v1
about "layerzero v2: Placed → Verified → Committed → Filled → Failed; a genie protocol whose states are the register's stages"

use protocol layerzero_v2

agent order is "one layerzero v2 order from Placed to Filled or Failed"
  follows protocol layerzero_v2
  states Placed Verified Committed Filled Failed
  start Placed
  final Filled Failed
  failed Failed
  on lane layerzero_v2
  move Placed -> Verified when observed.stage == "Verified"
  move Placed -> Committed when observed.stage == "Committed"
  move Placed -> Filled when observed.stage == "Filled"
  move Placed -> Failed when observed.stage == "Failed"
  move Verified -> Committed when observed.stage == "Committed"
  move Verified -> Filled when observed.stage == "Filled"
  move Committed -> Filled when observed.stage == "Filled"
  refuse not_verified "Placed reached none of Verified, Committed, Filled, Failed within 3600s"
  refuse verified_not_committed "Verified reached none of Committed, Filled within 1800s"
  refuse committed_not_executed "Committed reached none of Filled within 900s"
  refuse execution_failed "Failed reached none of Filled within 0s"
  say Placed "The order is Placed"
  say Verified "The order is Verified"
  say Committed "The order is Committed"
  say Filled "The order is Filled"
  say Failed "The order is Failed"
  next Placed Verified "Wait for the protocol: Verified is the next stage the register expects"
  next Verified Committed "Wait for the protocol: Committed is the next stage the register expects"
  next Committed Filled "Wait for the protocol: Filled is the next stage the register expects"

knowledge
  symptom "the order stays Placed" caused_by "none of Verified, Committed, Filled, Failed was observed within 1 hours" fixed_by "read the order on its chain by its key (the packet guid (0x + 64 hex), global across chains) and move it, or escalate"
  symptom "the order stays Verified" caused_by "none of Committed, Filled was observed within 1 hours" fixed_by "read the order on its chain by its key (the packet guid (0x + 64 hex), global across chains) and move it, or escalate"
  symptom "the order stays Committed" caused_by "none of Filled was observed within 0 hours" fixed_by "read the order on its chain by its key (the packet guid (0x + 64 hex), global across chains) and move it, or escalate"
  symptom "the order stays Failed" caused_by "none of Filled was observed within 0 hours" fixed_by "read the order on its chain by its key (the packet guid (0x + 64 hex), global across chains) and move it, or escalate"
  rule "an order ends Filled or Failed; nothing stays Placed without a next stage"

door "Follow a layerzero v2 order" as order
  product layerzero-v2
  locale en
  rule white-label
  step Placed "The order is Placed" next Verified
  step Verified "The order is Verified" next Committed
  step Committed "The order is Committed" next Filled
  step Filled "The order is Filled"
  step Failed "The order is Failed"
  handoff "the graph has no next step for this case; a person picks up" booking https://cal.com/taifoon meet https://meet.jit.si room genie-layerzero-v2