pages / program / protocol_mayan_swift

program · protocol_mayan_swift

canister coord://offchain/genie/program/protocol_mayan_swift@v1/e92d4d71b63f6ba8 · v1 · artifact root 0xe92d4d71b63f6ba8290b741e262e979581704b150d5cabb6f83750960df99077 · 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 · mayan
• protocols · mayan_swift
• 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
• reader_kinds · lane
• reader_kinds · rule
• draw_styles · none
• tiers · case
• hosts · start
• roots · order

the source

// generated by genie import from lang/gen/protocol-stages.json (mayan_swift) — a genie protocol: the machine is the register's; edit the register, not this file.
genie protocol_mayan_swift v1
about "mayan swift: Placed → Filled → Unlocked → Canceled; a genie protocol whose states are the register's stages"

use protocol mayan_swift

agent order is "one mayan swift order from Placed to Unlocked or Canceled"
  follows protocol mayan_swift
  states Placed Filled Unlocked Canceled
  start Placed
  final Unlocked Canceled
  failed Canceled
  on lane mayan_swift
  move Placed -> Filled when observed.stage == "Filled"
  move Placed -> Canceled when observed.stage == "Canceled"
  move Placed -> Unlocked when observed.stage == "Unlocked"
  move Filled -> Unlocked when observed.stage == "Unlocked"
  refuse not_filled "Placed reached none of Filled, Canceled, Unlocked within 21600s"
  refuse filled_not_unlocked "Filled reached none of Unlocked within 172800s"
  say Placed "The order is Placed"
  say Filled "The order is Filled"
  say Unlocked "The order is Unlocked"
  say Canceled "The order is Canceled"
  next Placed Filled "Wait for the protocol: Filled is the next stage the register expects"
  next Filled Unlocked "Wait for the protocol: Unlocked is the next stage the register expects"

knowledge
  symptom "the order stays Placed" caused_by "none of Filled, Canceled, Unlocked was observed within 6 hours" fixed_by "read the order on its chain by its key (the order hash (0x + 64 hex)) and move it, or escalate"
  symptom "the order stays Filled" caused_by "none of Unlocked was observed within 48 hours" fixed_by "read the order on its chain by its key (the order hash (0x + 64 hex)) and move it, or escalate"
  rule "an order ends Unlocked or Canceled; nothing stays Placed without a next stage"

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