pages / program / onboard_x402_solana

program · onboard_x402_solana

canister coord://offchain/genie/program/onboard_x402_solana@v1/84ed877ea45575af · v1 · artifact root 0x84ed877ea45575afd0026e54122a956be56cd775b5767bad5e5c9df4c2428713 · 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-solana) — 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_solana v1
about "x402-solana (x402, terms per_seller): its offers into Taifoon's book and Taifoon's book onto it; every case ends in a sale or a route"

use venue x402-solana
use vault vault:taifoon:kms
use product taifoon.gpu jev.grade

agent inbound is "x402-solana's offers into Taifoon's book (work; rail_fallback)"
  onboards x402-solana 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-solana
  move classify -> terms
  move terms -> listed venue x402-solana
  move listed -> agreed
  move agreed -> metered meter taifoon.gpu
  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 per_seller"
  say listed "The offer is listed in Taifoon’s book under the layer’s name"
  say agreed "The seller is paid by seller_claim (planned)"
  say metered "Every call is metered under taifoon.gpu"
  next read classify "pay the seller on its own venue by seller_claim (planned) (by owner, owner step seller-claims-distributor)"

agent outbound is "Taifoon's book onto x402-solana (held; entry_after_sale, rail_fallback; 21 cells, 8.35 USD/7d)"
  onboards x402-solana outbound
  states offer_out listed_on_venue taken hired delivered graded settled legs accrued paid recorded route_entry_after_sale
  start offer_out
  final recorded route_entry_after_sale
  on tick 1h
  read GET /v1/venues as venues
  read GET /v1/match/offers as offers
  move offer_out -> listed_on_venue venue x402-solana
  move listed_on_venue -> route_entry_after_sale when entry.paid_from_sale == false venue x402-solana
  move listed_on_venue -> taken when hire.paid == true venue x402-solana
  move taken -> hired hop hired venue x402-solana
  move hired -> delivered hop delivered
  move delivered -> graded meter jev.grade hop graded
  move graded -> settled hop settled venue x402-solana
  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-solana (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 x402_base (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"
  say route_entry_after_sale "_ZERO_DOLLAR_HELD_v1_: a stake, bond, listing fee or top-up is paid only from a sale a buyer paid; the route is held at list until then and names the cost"
  next offer_out listed_on_venue "entry costs self_payment (one 0.003 USDC ours → ours payment so a facilitator indexes the wall): paid only from a sale a buyer paid (zero-dollar rule) (by owner)"

agreement onboard_x402_solana
  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 taifoon.gpu
  venue x402-solana
  term "venue → Taifoon → venue: x402-solana sells into the book and buys from it; the buyer pays the seller's price plus our fee 20% over it"
  term "21 cells of the matrix touch x402-solana; the top route reads akash → taifoon → x402-solana"

knowledge
  symptom "x402-solana stops short of a sale" caused_by "a step of the side is not live" fixed_by "entry costs self_payment (one 0.003 USDC ours → ours payment so a facilitator indexes the wall): paid only from a sale a buyer paid (zero-dollar rule) (by owner)"
  rule "an onboarding agent ends in a sale or a route, never a stop"