pages / program / protocol_erc8183

program · protocol_erc8183

canister coord://offchain/genie/program/protocol_erc8183@v1/5226af292b5d9551 · v1 · artifact root 0x5226af292b5d9551b275b8dcde5e68f27a904201542cdb8a064c7538e6cb4101 · 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

• protocols · erc8183
• 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

the source

// generated by genie import from lang/gen/protocol-stages.json (erc8183) — a genie protocol: the machine is the register's; edit the register, not this file.
genie protocol_erc8183 v1
about "erc8183: Created → Funded → Submitted → Settled → Rejected → Expired; a genie protocol whose states are the register's stages"

use protocol erc8183

agent order is "one erc8183 order from Created to Settled or Rejected or Expired"
  follows protocol erc8183
  states Created Funded Submitted Settled Rejected Expired
  start Created
  final Settled Rejected Expired
  failed Rejected Expired
  on lane erc8183
  move Created -> Funded when observed.stage == "Funded"
  move Created -> Rejected when observed.stage == "Rejected"
  move Created -> Expired when observed.stage == "Expired"
  move Funded -> Submitted when observed.stage == "Submitted"
  move Funded -> Settled when observed.stage == "Settled"
  move Funded -> Rejected when observed.stage == "Rejected"
  move Funded -> Expired when observed.stage == "Expired"
  move Submitted -> Settled when observed.stage == "Settled"
  move Submitted -> Rejected when observed.stage == "Rejected"
  move Submitted -> Expired when observed.stage == "Expired"
  refuse funded_not_submitted "Funded reached none of Submitted, Settled, Rejected, Expired within 604800s"
  refuse submitted_not_evaluated "Submitted reached none of Settled, Rejected, Expired within 259200s"
  say Created "The order is Created"
  say Funded "The order is Funded"
  say Submitted "The order is Submitted"
  say Settled "The order is Settled"
  say Rejected "The order is Rejected"
  say Expired "The order is Expired"
  next Created Funded "Wait for the protocol: Funded is the next stage the register expects"
  next Funded Submitted "Wait for the protocol: Submitted is the next stage the register expects"
  next Submitted Settled "Wait for the protocol: Settled is the next stage the register expects"

knowledge
  symptom "the order stays Funded" caused_by "none of Submitted, Settled, Rejected, Expired was observed within 168 hours" fixed_by "read the order on its chain by its key (<chain>:<job id>) and move it, or escalate"
  symptom "the order stays Submitted" caused_by "none of Settled, Rejected, Expired was observed within 72 hours" fixed_by "read the order on its chain by its key (<chain>:<job id>) and move it, or escalate"
  rule "an order ends Settled or Rejected or Expired; nothing stays Created without a next stage"

door "Follow a erc8183 order" as order
  product erc8183
  locale en
  rule white-label
  step Created "The order is Created" next Funded
  step Funded "The order is Funded" next Submitted
  step Submitted "The order is Submitted" next Settled
  step Settled "The order is Settled"
  step Rejected "The order is Rejected"
  step Expired "The order is Expired"
  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-erc8183