pages / program / venue_olas_polygon

program · venue_olas_polygon

canister coord://offchain/genie/program/venue_olas_polygon@v1/706e2185a69ded05 · v1 · artifact root 0x706e2185a69ded0561537c0b53a2d6721a79b3a2e5659f98cba2f2ea79928b2e · 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/venues-registry.json (olas-polygon) — a programmable venue: one sale of the twelve hops through it, settled through the vault that pays on its chain, on every chain that vault caps.
genie venue_olas_polygon v1
about "a sale through olas-polygon (Olas Mech Marketplace on Polygon · onchain_market · agentic · eip155:137 · programmable (adapter lane olas-mech)): twelve hops, the legs of the payment, the seller paid on the venue"

use venue olas-polygon
// no vault of the register caps this venue’s chain: the sale records, the layer cannot settle here yet (a register gap genie coverage lists)
use chain every
use product taifoon.api jev.grade
use guard owner-arm receipt-check

agent sale is "one sale through olas-polygon"
  states offer_in classify listed hired delivered graded settled legs accrued split paid recorded refused
  start offer_in
  final recorded refused
  failed refused
  on tick 60s
  read GET /v1/venues/:id as venue
  read GET /v1/match/offers as offers
  move offer_in -> classify when offer.price > 0 hop classify venue olas-polygon
  move classify -> listed hop listed op POST /v1/listings/discover venue olas-polygon
  move listed -> hired when hire.paid == true hop hired op GET /v1/listings/:id venue olas-polygon
  move hired -> delivered hop delivered op POST /v1/jobs/:jobId/complete
  move delivered -> graded assure 0.7 meter jev.grade hop graded
  move graded -> settled guard receipt-check hop settled venue olas-polygon
  move settled -> legs hop legs
  move legs -> accrued hop accrued
  move accrued -> split hop split
  move split -> paid guard owner-arm hop paid
  move paid -> recorded hop recorded op POST /v1/jobs/:jobId/record
  move * -> refused when venue.known == false
  refuse open_venue "the venue is not one of the sets"
  refuse cap_over "the settle is over the vault's per_tx cap"
  say offer_in "Your offer was read from the venue into the layer"
  say classify "The offer became one class of the class language"
  say listed "The offer is listed under the layer’s name"
  say hired "A requester posted a request on chain naming the mech and a tool, the fee paid up front"
  say delivered "The mech delivered on chain within the response timeout; an undelivered paid request is the venue’s failure"
  say graded "System One graded the delivery"
  say settled "The marketplace’s balance tracker credited the mech; it withdraws under the marketplace’s fee"
  say legs "The payment left as named legs that sum to it"
  say accrued "Each leg sits on its owner’s account"
  say split "The redirect mode released the share into one batch"
  say paid "The batch was paid, one signature through the vault"
  say recorded "The sale is recorded; its proof sits under the superroot"
  next listed hired "Wait for a buyer: the wall is public, the first paid hire moves the sale"
  next delivered graded "System One grades the delivery; a reject withholds the share"

agreement sale_on_olas_polygon
  parties buyer seller layer
  hops offer_in classify listed hired delivered graded settled legs accrued split paid recorded
  leg our_fee 5%
  leg venue_fee 2.5%
  leg seller_share rest
  settle via vault:taifoon:ledger meter taifoon.api
  venue olas-polygon
  term "the seller is paid on its own venue"
  term "one payment here is a mech request: posted on chain naming a mech and a tool, the fee paid up front, delivered on chain within the response timeout"

knowledge
  symptom "the payment did not arrive on the seller venue" caused_by "the settle move stayed behind its guard" fixed_by "arm the vault owner and retry the settle"
  term "olas-polygon" is "Olas Mech Marketplace on Polygon · onchain_market · agentic · eip155:137 · programmable (adapter lane olas-mech)"
  term "a payment on olas-polygon" is "a mech request: posted on chain naming a mech and a tool, the fee paid up front, delivered on chain within the response timeout"

door "Sell on olas-polygon" as sale
  product olas-polygon
  locale en
  rule white-label
  step offer_in "Your offer was read from the venue into the layer" next classify
  step classify "The offer became one class of the class language" next listed
  step listed "The offer is listed under the layer’s name" next hired
  step hired "A requester posted a request on chain naming the mech and a tool, the fee paid up front" next delivered
  step delivered "The mech delivered on chain within the response timeout; an undelivered paid request is the venue’s failure" next graded
  step graded "System One graded the delivery" next settled
  step settled "The marketplace’s balance tracker credited the mech; it withdraws under the marketplace’s fee" next legs
  step legs "The payment left as named legs that sum to it" next accrued
  step accrued "Each leg sits on its owner’s account" next split
  step split "The redirect mode released the share into one batch" next paid
  step paid "The batch was paid, one signature through the vault" next recorded
  step recorded "The sale is recorded; its proof sits under the superroot"
  step refused "The sale was refused; the reason is named"
  handoff "the graph has no next step for this case; a person picks up" booking https://cal.com/taifoon meet https://meet.jit.si room genie-olas-polygon