pages / program / onboard_agentverse

program · onboard_agentverse

canister coord://offchain/genie/program/onboard_agentverse@v1/5f1807d03cfbb0f7 · v1 · artifact root 0x5f1807d03cfbb0f728af73b69e8e236ad2e576b815a5324e6fa34d6f11c3213a · 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 (agentverse) — 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_agentverse v1
about "agentverse (a2a, 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 agentverse
use vault vault:taifoon:kms
use product taifoon.api jev.grade

agent inbound is "agentverse's offers into Taifoon's book (work; rail_fallback)"
  onboards agentverse 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 agentverse
  move classify -> terms
  move terms -> listed venue agentverse
  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 (missing)"
  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 keyed_credit (live)"
  say metered "Every call is metered under taifoon.api"
  next read classify "read the venue's offers on its a2a lane (offer.in missing) (by task)"

agent outbound is "Taifoon's book onto agentverse (work; rail_fallback; 0 cells, 0 USD/7d)"
  onboards agentverse 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 agentverse
  move listed_on_venue -> taken when hire.paid == true venue agentverse
  move taken -> hired hop hired venue agentverse
  move hired -> delivered hop delivered
  move delivered -> graded meter jev.grade hop graded
  move graded -> settled hop settled venue agentverse
  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 agentverse (list missing)"
  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"
  next offer_out listed_on_venue "list our offers on the venue's a2a lane (list missing) (by task)"

agreement onboard_agentverse
  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.api
  venue agentverse
  term "venue → Taifoon → venue: agentverse sells into the book and buys from it; the buyer pays the seller's price plus our fee 20% over it"

knowledge
  symptom "agentverse stops short of a sale" caused_by "a step of the side is not live" fixed_by "list our offers on the venue's a2a lane (list missing) (by task)"
  rule "an onboarding agent ends in a sale or a route, never a stop"