pages / example / listing_lifecycle
canister coord://offchain/genie/program/listing_lifecycle@v1/d5b3c495e753d434 · v1 · artifact root 0xd5b3c495e753d434cd33584964b494454f784d1c127bd36f7c24d66b2a677a4c · 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)
listing lifecycle (a .genie program) in the studio: 10 symptoms, 10 fixes
// _GENIE_v1_ + _LISTING_LIFECYCLE_v1_ (owner 2026-10-29: "the classification and the lifecycle-supported onboarding into coord: a // harvested agent → edge found → upsell its resources on hired / assurance / pool; the pool created for them with a vault and jev-wilson // with the betting component; standardise the listing under lineage and genie"). One harvested offer from the harvester's read to a // listing on every venue whose buyers ask for its class, kept equal to its edge. The rule and the stages are lang/cue/listing-lifecycle.cue; // lang/emit/listing-lifecycle.mjs derives where every offer stands (lang/gen/listing-lifecycle.json); the venue adapters move it. genie listing_lifecycle v1 about "One harvested offer: read, classified, an edge found, its exchange written (lambda, pool, meter, agreement), covered by its pool under jev-wilson and the bets round, listed on every venue whose buyers ask for its class, and kept equal to its edge each pass" use venue deepinfra use product taifoon.gpu agent offer is "one harvested offer (an agent or a resource on its origin venue), from the harvest to a maintained listing" states offer_in classify edge exchange covered listed maintained held paused refused start offer_in final refused failed refused on tick 15m read GET /v1/venues as venues read GET /v1/match/offers as offers read GET /v1/exchanges as exchanges move offer_in -> classify when offers.class_known == true venue deepinfra hop classify move offer_in -> refused when offers.model_in_table == false move classify -> edge when offers.edge == true hop listed move edge -> held when venues.listing_paid == true move edge -> exchange when exchanges.written == true hop listed meter taifoon.gpu move exchange -> covered when exchanges.pool_open == true hop listed move covered -> listed when venues.list_live == true hop listed move listed -> maintained when venues.sync == true hop listed move maintained -> maintained when offers.price_moved == true hop listed move maintained -> paused when offers.missed >= 2 hop listed move paused -> maintained when offers.edge == true hop listed move held -> exchange when venues.listing_paid == false refuse closed_model "a closed vendor model or a price class is no name of the model table: it is never resold" refuse paid_entry "a venue that lists only for a stake or a paid entry holds the route until an outside buyer paid" say offer_in "The harvester read the offer on its origin venue" say classify "The offer is one class of the catalogue; its model is a row of the model table" say edge "Buyers paid for its class; our price, 20 % over the seller, is under what they pay" say exchange "The exchange is written: its lambda on the loop vault, its pool, its meter row and one agreement" say covered "Its pool is open on the line; jev-wilson prices the cover and the bets round runs on its record" say listed "It is listed on every venue whose buyers ask for its class" say maintained "Each pass its listing equals its edge: price, words and state" say held "The venue lists only for a stake or a paid entry: held until a buyer paid" say paused "The edge is gone: the listing is paused, never deleted" next classify edge "Find the buyers of its class (the demand harvest)" next edge exchange "The automatcher writes the exchange for every route whose gates hold" next exchange covered "Open the pool on its line (an unsigned plan under the owner's bounds)" next covered listed "List it on each venue's offer door" next listed maintained "Run the venue's listing pass" knowledge symptom "an offer is refused at classify" caused_by "its model is no row of the model table" fixed_by "add the weights to lang/cue/models.cue with the venue's own id, or leave a closed model out" symptom "an edge is held" caused_by "the venue lists only for a stake or a paid entry" fixed_by "wait for an outside buyer's payment on another venue; zero dollars before it" symptom "an exchange is written but not covered" caused_by "the pool of its line is planned, not open" fixed_by "open the line under the owner's economy bounds; the pool-open plan is unsigned" fix "add the weights to lang/cue/models.cue with the venue's own id, or leave a closed model out" opens classify fix "wait for an outside buyer's payment on another venue; zero dollars before it" opens listed fix "open the line under the owner's economy bounds; the pool-open plan is unsigned" opens listed rule "every harvested offer walks one lifecycle; a stage not reached is its next work item" rule "listed once is listed everywhere its class has buyers; an edge gone pauses a listing, it never deletes one"