pages / program / onboard_x402_robinhood

program · onboard_x402_robinhood

canister coord://offchain/genie/program/onboard_x402_robinhood@v1/4de69d6949452760 · v1 · artifact root 0x4de69d694945276029a9bd535932de8d4e68cd8593712b9ab937b0360b58bfcc · 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-robinhood) — 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_robinhood v1
about "x402-robinhood (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-robinhood
use vault vault:taifoon:loop
use product taifoon.api jev.grade

agent inbound is "x402-robinhood's offers into Taifoon's book (work; rail_fallback)"
  onboards x402-robinhood 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-robinhood
  move classify -> terms
  move terms -> listed venue x402-robinhood
  move listed -> agreed
  move agreed -> metered meter taifoon.api
  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.api"
  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-robinhood (open; direct; 5 cells, 0 USD/7d)"
  onboards x402-robinhood 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-robinhood
  move listed_on_venue -> taken when hire.paid == true venue x402-robinhood
  move taken -> hired hop hired venue x402-robinhood
  move hired -> delivered hop delivered
  move delivered -> graded meter jev.grade hop graded
  move graded -> settled hop settled venue x402-robinhood
  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-robinhood (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_robinhood
  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:loop meter taifoon.api
  venue x402-robinhood
  term "venue → Taifoon → venue: x402-robinhood sells into the book and buys from it; the buyer pays the seller's price plus our fee 20% over it"
  term "5 cells of the matrix touch x402-robinhood; the top route reads x402-base → taifoon → x402-robinhood"

knowledge
  symptom "x402-robinhood 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 seller_claim (planned) (by owner, owner step seller-claims-distributor)"
  rule "an onboarding agent ends in a sale or a route, never a stop"