pages / program / flow_agentic_commerce

program · flow_agentic_commerce

canister coord://offchain/genie/program/flow_agentic_commerce@v1/7401d320aa5d5f51 · v1 · artifact root 0x7401d320aa5d5f51dd9896bf0c8a9d26c185b7dbf57acd242eed980b828e75ed · 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

• venues · grid
• venues · rpc
• venues · jev
• chains · eip155:8453
• components · coord-rpc
• components · coord-stream
• components · grid-meter
• components · loop-signer
• components · jev
• components · onboard-spec
• components · broker-handshake
• components · onboard-gates
• components · assurance-quote
• components · exchange-edge
• components · pay-in
• components · auto-match
• hops · offer_in
• hops · classify
• hops · listed
• hops · hired
• hops · delivered
• hops · graded
• hops · settled
• hops · legs
• hops · accrued
• hops · split
• hops · paid
• hops · recorded
• kinds · read
• kinds · quote
• kinds · guard
• kinds · act
• kinds · check
• flows · flow:agentic-commerce
• parties · agent
• parties · venue
• shapes · Market
• hdkinds · symptom
• hdkinds · fix
• hdkinds · rule
• hdkinds · agent
• hdedges · caused_by
• hdedges · fixed_by
• effects · read
• effects · act
• categories · sales
• reader_kinds · rule
• script_builtins · entry
• hosts · start

the source

// generated by genie import from lang/gen/lambda-flows.json (flow:agentic-commerce) — a lambda flow as a genie machine: every node a state, every edge a move; a guard node's edge carries its pass; an act node's entry signs behind the lambda's standard arm.
genie flow_agentic_commerce v1
about "Agentic commerce, strict: discover, spec check, quote, list, pay in, then the twelve hops of the sale: _AGENTIC_COMMERCE_v1_: one walk of one sale through the layer, every node one /v1 operation. discover (where buyers find the seller, the #Market of its venue) → offer in → spec check and diagnose (vaultable · hireable · covered · metered) → classify (a …"

use chain eip155:8453

agent agentic_commerce is "Agentic commerce, strict: discover, spec check, quote, list, pay in, then the twelve hops of the sale"
  states start offer_in spec_check classify quote list listed pay_in hired delivered graded settled legs accrued split paid recorded
  start start
  final recorded
  on event discover
  move start -> offer_in hop offer_in op POST /v1/onboard/spec/check component onboard-spec
  move offer_in -> spec_check hop classify op POST /v1/onboard/diagnose component onboard-gates
  move spec_check -> classify hop classify op GET /v1/classes component onboard-gates
  move classify -> quote hop listed op POST /v1/pools/quote component assurance-quote
  move quote -> list hop listed op POST /v1/exchanges/auto component exchange-edge
  move list -> listed hop listed op GET /v1/exchanges component coord-rpc
  move listed -> pay_in hop hired op POST /v1/exchanges/:edge_id/call component pay-in
  move pay_in -> hired hop hired op POST /v1/exchanges/:edge_id/call component auto-match
  move hired -> delivered hop delivered op GET /v1/exchanges/:edge_id/meter component broker-handshake
  move delivered -> graded hop graded op GET /v1/judge/decisions component jev
  move delivered -> settled hop settled op GET /v1/resale/sales/:id component grid-meter
  move graded -> recorded hop recorded op GET /v1/vault/receipts component coord-stream
  move settled -> legs hop legs op GET /v1/exchanges/:edge_id/meter component grid-meter
  move legs -> accrued hop accrued op GET /v1/resale/sales component coord-rpc
  move accrued -> split hop split op GET /v1/resale/sales/:id component grid-meter
  move split -> paid hop paid op GET /v1/resale/sales/:id component loop-signer
  move paid -> recorded hop recorded op GET /v1/vault/receipts component coord-stream
  next offer_in spec_check "then spec check"
  next spec_check classify "then classify"
  next classify quote "then quote"
  next quote list "then list"
  next list listed "then listed"
  next listed pay_in "then pay in"
  next pay_in hired "then hired"
  next hired delivered "then delivered"
  next delivered graded "then graded"
  next graded recorded "then recorded"
  next settled legs "then legs"
  next legs accrued "then accrued"
  next accrued split "then split"
  next split paid "then paid"
  next paid recorded "then recorded"

knowledge
  symptom "Agentic commerce, strict: discover, spec check, quote, list, pay in, then the twelve hops of the sale stops …" caused_by "a guard node did not pass" fixed_by "read the guard's expect in the flow, fix the input, run again"
  rule "Agentic commerce, strict: discover, spec check, quote, list, pay in, then the twelve hops of the sale: an …"