pages / program / protocol_taifoon_ticp_claim

program · protocol_taifoon_ticp_claim

canister coord://offchain/genie/program/protocol_taifoon_ticp_claim@v1/a208e827e6fa07e0 · v1 · artifact root 0xa208e827e6fa07e0ed714cf6fd01d151504d90aa89a784a54d6c583bfda7f5f0 · 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 · taifoon_ticp_claim
• 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 · block
• roots · order
• intents · deposit

the source

// generated by genie import from lang/gen/protocol-stages.json (taifoon_ticp_claim) — a genie protocol: the machine is the register's; edit the register, not this file.
genie protocol_taifoon_ticp_claim v1
about "taifoon ticp claim: Claimed → Open → Settled; a genie protocol whose states are the register's stages"

use protocol taifoon_ticp_claim

agent order is "one taifoon ticp claim order from Claimed to Settled"
  follows protocol taifoon_ticp_claim
  states Claimed Open Settled
  start Claimed
  final Settled
  on lane taifoon_ticp_claim
  move Claimed -> Settled when observed.stage == "Settled"
  move Claimed -> Open when observed.stage == "Open"
  move Open -> Claimed when observed.stage == "Claimed"
  move Open -> Settled when observed.stage == "Settled"
  refuse claim_open "Open reached none of Claimed, Settled within 86400s"
  refuse claimed_not_settled "Claimed reached none of Settled, Open within 600s"
  say Claimed "The order is Claimed"
  say Open "The order is Open"
  say Settled "The order is Settled"
  next Claimed Settled "Wait for the protocol: Settled is the next stage the register expects"
  next Open Claimed "Wait for the protocol: Claimed is the next stage the register expects"

knowledge
  symptom "the order stays Open" caused_by "none of Claimed, Settled was observed within 24 hours" fixed_by "read the order on its chain by its key (<chain>:<ICP ledger block hash> (0x + 64 hex): one ICP deposit claimed on one EVM chain) and move it, or escalate"
  symptom "the order stays Claimed" caused_by "none of Settled, Open was observed within 0 hours" fixed_by "read the order on its chain by its key (<chain>:<ICP ledger block hash> (0x + 64 hex): one ICP deposit claimed on one EVM chain) and move it, or escalate"
  rule "an order ends Settled; nothing stays Claimed without a next stage"

door "Follow a taifoon ticp claim order" as order
  product taifoon-ticp-claim
  locale en
  rule white-label
  step Claimed "The order is Claimed" next Settled
  step Open "The order is Open" next Claimed
  step Settled "The order is Settled"
  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-taifoon-ticp-claim