pages / program / onboard_devnet
canister coord://offchain/genie/program/onboard_devnet@v1/7baa70f1b6e27fb0 · v1 · artifact root 0x7baa70f1b6e27fb05c910d70a472c263bd8bbf0e73b27206f7ad7040f0e50108 · 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)
// generated by genie import from lang/gen/venue-onboard.json (devnet) — 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_devnet v1 about "devnet (erc8183, terms ours): its offers into Taifoon's book and Taifoon's book onto it; every case ends in a sale or a route" use venue devnet use vault vault:taifoon:ledger use product taifoon.api jev.grade agent inbound is "devnet's offers into Taifoon's book (work; protocol_adapter, rail_fallback)" onboards devnet inbound states read classify terms listed agreed metered route_protocol_adapter start read final metered route_protocol_adapter on tick 1h read GET /v1/venues as venues move read -> classify venue devnet move classify -> route_protocol_adapter when adapter.module == null venue devnet move classify -> terms move terms -> listed venue devnet 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 ours" 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" say route_protocol_adapter "the adapter is the one of the venue's protocol family (packages/resale/adapters); a family with no adapter there is a generated task under tasks/, still a route with a work item" next read classify "devnet has no market row (venue-map.cue): add it, and its steps read from the one market protocol (by task)" agent outbound is "Taifoon's book onto devnet (work; protocol_adapter, rail_fallback; 0 cells, 0 USD/7d)" onboards devnet outbound states offer_out listed_on_venue taken hired delivered graded settled legs accrued paid recorded route_protocol_adapter start offer_out final recorded route_protocol_adapter on tick 1h read GET /v1/venues as venues read GET /v1/match/offers as offers move offer_out -> route_protocol_adapter when adapter.module == null venue devnet move offer_out -> listed_on_venue venue devnet move listed_on_venue -> taken when hire.paid == true venue devnet move taken -> hired hop hired venue devnet move hired -> delivered hop delivered move delivered -> graded meter jev.grade hop graded move graded -> settled hop settled venue devnet 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 devnet (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 keyed_credit (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_protocol_adapter "the adapter is the one of the venue's protocol family (packages/resale/adapters); a family with no adapter there is a generated task under tasks/, still a route with a work item" next offer_out listed_on_venue "devnet has no market row (venue-map.cue): add it, and its steps read from the one market protocol (by task)" agreement onboard_devnet 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:ledger meter taifoon.api venue devnet term "venue → Taifoon → venue: devnet sells into the book and buys from it; the buyer pays the seller's price plus our fee 20% over it" knowledge symptom "devnet stops short of a sale" caused_by "a step of the side is not live" fixed_by "devnet has no market row (venue-map.cue): add it, and its steps read from the one market protocol (by task)" rule "an onboarding agent ends in a sale or a route, never a stop"