pages / program / onboard_phala

program · onboard_phala

canister coord://offchain/genie/program/onboard_phala@v1/2fed262b756df0b2 · v1 · artifact root 0x2fed262b756df0b22058ef9281a387b0ca2ba17d880a506f0d32a09ace28c800 · 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 (phala) — 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_phala v1
about "phala (openai-compatible, terms agreement): its offers into Taifoon's book and Taifoon's book onto it; every case ends in a sale or a route"

use venue phala
use vault vault:taifoon:kms
use product taifoon.gpu jev.grade

agent inbound is "phala's offers into Taifoon's book (work; rail_fallback)"
  onboards phala 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 phala
  move classify -> terms
  move terms -> listed venue phala
  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 agreement"
  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.gpu"
  next read classify "hire on the venue's openai-compatible lane (job.out missing: taifoon-agents packages/resale/adapters/inference.mjs jobOut) (by owner, owner step phala-route-to-us)"

agent outbound is "Taifoon's book onto phala (held; entry_after_sale, rail_fallback; 16 cells, 0 USD/7d)"
  onboards phala 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 phala
  move listed_on_venue -> route_entry_after_sale when entry.paid_from_sale == false venue phala
  move listed_on_venue -> taken when hire.paid == true venue phala
  move taken -> hired hop hired venue phala
  move hired -> delivered hop delivered
  move delivered -> graded meter jev.grade hop graded
  move graded -> settled hop settled venue phala
  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 phala (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"
  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 stake (vPHA collateral per GPU (1,250 for an H100) and a TDX + CC GPU server): paid only from a sale a buyer paid (zero-dollar rule) (by owner)"

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

knowledge
  symptom "phala stops short of a sale" caused_by "a step of the side is not live" fixed_by "entry costs stake (vPHA collateral per GPU (1,250 for an H100) and a TDX + CC GPU server): 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"