pages / program / protocol_across_v3

program · protocol_across_v3

canister coord://offchain/genie/program/protocol_across_v3@v1/37b548bc52bfde78 · v1 · artifact root 0x37b548bc52bfde782d85357f16db29f40358db07915a76f74d36571aae20e271 · 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

• components · across
• protocols · across_v3
• kinds · read
• kinds · handoff
• parties · agent
• hdkinds · product
• hdkinds · symptom
• hdkinds · rule
• hdkinds · person
• hdkinds · agent
• hdedges · has
• hdedges · caused_by
• hdedges · fixed_by
• effects · read
• holds · none
• reader_kinds · lane
• reader_kinds · rule
• draw_styles · none
• tiers · case
• hosts · start
• roots · order
• intents · deposit

the source

// generated by genie import from lang/gen/protocol-stages.json (across_v3) — a genie protocol: the machine is the register's; edit the register, not this file.
genie protocol_across_v3 v1
about "across v3: Placed → Filled; a genie protocol whose states are the register's stages"

use protocol across_v3

agent order is "one across v3 order from Placed to Filled"
  follows protocol across_v3
  states Placed Filled
  start Placed
  final Filled
  on lane across_v3
  move Placed -> Filled when observed.stage == "Filled"
  refuse not_filled "Placed reached none of Filled within 21600s"
  say Placed "The order is Placed"
  say Filled "The order is Filled"
  next Placed Filled "Wait for the protocol: Filled is the next stage the register expects"

knowledge
  symptom "the order stays Placed" caused_by "none of Filled was observed within 6 hours" fixed_by "read the order on its chain by its key (<origin chain>:<deposit id>) and move it, or escalate"
  rule "an order ends Filled; nothing stays Placed without a next stage"

door "Follow a across v3 order" as order
  product across-v3
  locale en
  rule white-label
  step Placed "The order is Placed" next Filled
  step Filled "The order is Filled"
  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-across-v3