pages / program / onboard_x402_base

program · onboard_x402_base

canister coord://offchain/genie/program/onboard_x402_base@v1/44af9a6cc2a1b812 · v1 · artifact root 0x44af9a6cc2a1b8127b7d4dde237116b29679c657e9ee4508e89067f8deefff24 · 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

the source

// generated by genie import from lang/gen/venue-onboard.json (x402-base) — the venue's two agents under the hub rule venue → Taifoon → venue; edit lang/cue/venue-onboard.cue or the registers, not this file.
genie onboard_x402_base v1
about "x402-base (x402, terms ours): its offers into Taifoon's book and Taifoon's book onto it; every case ends in a sale or a route"

use venue x402-base
use vault vault:taifoon:kms
use product market.price jev.grade

agent inbound is "x402-base's offers into Taifoon's book (work; rail_fallback)"
  onboards x402-base inbound
  states read classify terms listed agreed metered
  start read
  final metered
  on tick 1h
  read GET /v1/venues as venues
  move read -> classify venue x402-base
  move classify -> terms
  move terms -> listed venue x402-base
  move listed -> agreed
  move agreed -> metered meter market.price
  refuse no_route "the case has no resolution in lang/cue/venue-onboard.cue: a work item, never a stop"
  say read "The venue's offers are read (live)"
  say classify "Each offer became one class of the class language"
  say terms "The venue's terms read ours"
  say listed "The offer is listed in Taifoon’s book under the layer’s name"
  say agreed "The seller is paid by x402_base (shadow)"
  say metered "Every call is metered under market.price"
  next read classify "pay the seller on its own venue by x402_base (shadow) (by task)"

agent outbound is "Taifoon's book onto x402-base (open; direct; 21 cells, 530.61 USD/7d)"
  onboards x402-base outbound
  states offer_out listed_on_venue taken hired delivered graded settled legs accrued paid recorded
  start offer_out
  final recorded
  on tick 1h
  read GET /v1/venues as venues
  read GET /v1/match/offers as offers
  move offer_out -> listed_on_venue venue x402-base
  move listed_on_venue -> taken when hire.paid == true venue x402-base
  move taken -> hired hop hired venue x402-base
  move hired -> delivered hop delivered
  move delivered -> graded meter jev.grade hop graded
  move graded -> settled hop settled venue x402-base
  move settled -> legs hop legs
  move legs -> accrued hop accrued
  move accrued -> paid hop paid
  move paid -> recorded hop recorded
  refuse no_route "the case has no resolution in lang/cue/venue-onboard.cue: a work item, never a stop"
  say offer_out "An offer of Taifoon’s book is ready for the venue"
  say listed_on_venue "The offer is listed on x402-base (list live)"
  say taken "A buyer on the venue took the offer"
  say hired "The layer hired the seller behind the offer"
  say delivered "The delivery is in and content-checked"
  say graded "System One graded the delivery"
  say settled "The buyer paid in by venue_rail (live)"
  say legs "The legs are written: the seller's price, our fee 20% over it"
  say accrued "Each leg sits on its owner’s account"
  say paid "The seller is paid on its own venue, by claim where no rail pays it"
  say recorded "The sale is recorded"
  next offer_out listed_on_venue "open: nothing blocks this side"

agreement onboard_x402_base
  parties buyer seller layer
  hops offer_in classify listed hired delivered graded settled legs accrued split paid recorded
  leg our_fee 20% over
  leg seller_share rest
  settle via vault:taifoon:kms meter market.price
  venue x402-base
  term "venue → Taifoon → venue: x402-base sells into the book and buys from it; the buyer pays the seller's price plus our fee 20% over it"
  term "46 cells of the matrix touch x402-base; the top route reads x402-base → taifoon → x402-base"

knowledge
  symptom "x402-base stops short of a sale" caused_by "a step of the side is not live" fixed_by "pay the seller on its own venue by x402_base (shadow) (by task)"
  rule "an onboarding agent ends in a sale or a route, never a stop"