pages / example / taifoon_mining

example · taifoon_mining

canister coord://offchain/genie/program/taifoon_mining@v1/4f513cb744703e50 · v1 · artifact root 0x4f513cb744703e507c915b300bc1d7f70bd6d7d050e295ce9cfc1eea41490635 · previous none (first version) · superroot at publish not sealed yet · follows taifoon_coord

sealed cases that reached it: 0 — sealed cases that reached this word (the store counts, never reads)

the words it says

its helpdesk graph

taifoon mining (a .genie program) in the studio: 16 symptoms, 16 fixes

the source

// _TAIFOON_MINING_v1_ (owner 2026-10-29: "the GPU pool-mining model, so that Taifoon represents and stands as a whole and is upsold to all
// the venues … measuring who is bringing how much … the spinners: the docker box that groups those resources and shares the tasks
// between them, also the payout … onboard our servers first: RPC, storage, GPU, inference"). Mining, the way a pool works, with the
// layer's paid work as the work: a box brings resources ONCE through the one door (POST /v1/grid/join: gpu-inference, rpc, storage, as the
// taifoon/node image does), is probed before it is listed, heartbeats the credit it can take (free batch slots per model, reads per
// minute, committed bytes), is sent at most that credit from the ONE queue (a job is a buyer's paid call priced by the broker; a lagging
// box is skipped, never waited for), and every fill counts only after verification (the arithmetic battery, one in N replayed on a second
// box at temperature zero, token counts from the engine's usage). A verified fill is a SHARE on the job's meter line (served_by
// <kind>:<rig>:<model>); the provider leg of what buyers PAID is split by shares over the period and accrues to each rig's claim, paid by
// proof from the ONE vault's distributor (seller_claims.genie), never per person; GRID per passing probe stays the bootstrap, never the
// payout. The registers it rests on: gpu-pool.cue (_GPU_POOL_v1_: queue, registry, dispatch, verify, shares, payout, cover), provide.cue
// (_PROVIDE_v1_: the one door per kind), the oracle's rate (GET /v1/grid/economics), open_grid.genie (the lease), seller_claims.genie
// (the claim). Nothing here pays, signs or moves value: every settle stands behind its guards and the vault's caps, and the program arms
// only after its own review stands (the auditor door) and the owner's go.
genie taifoon_mining v1
about "Taifoon mining: a box brings GPU inference, RPC or storage once, is probed and credited, takes paid work from the one queue by its credit, every fill is verified into a share, and the provider leg of what buyers paid is split by shares and paid by claim from the ONE vault"

use venue community-gpu x402-base
use chain eip155:8453
use vault vault:taifoon:kms
use product taifoon.gpu taifoon.rpc taifoon.api sma.case
use protocol taifoon_coord
use guard owner-arm sign-owner-go receipt-check idempotent-payouts sign-seller-payout day-cap recipient-filter

agent rig is "one box in the pool: brought once, probed, listed, credited, dispatched by its credit, its fills verified into shares, its leg accrued and paid by claim"
  states brought probed listed credited lagging dispatched filled verified shared accrued claimed recorded no_owner unprobed failed
  start brought
  final recorded no_owner unprobed failed
  failed no_owner unprobed failed
  read GET /v1/grid/join as door
  read GET /v1/grid/economics as economics
  move brought -> no_owner when rig.owner == null
  move brought -> probed when probe.ok == true hop offer_in op POST /v1/grid/join effect record
  move brought -> unprobed
  move probed -> listed hop listed venue community-gpu effect record
  move listed -> credited when rig.credit > 0 op POST /v1/grid/heartbeat effect record
  move credited -> lagging when rig.lag > 1
  move lagging -> credited when rig.lag <= 1
  move credited -> dispatched when job.model == rig.model hop hired op GET /v1/grid/work effect record
  move dispatched -> filled when fill.usage != null hop delivered effect record
  move dispatched -> failed
  move filled -> verified when fill.verified == true hop graded meter taifoon.gpu effect record
  move filled -> credited
  move verified -> shared hop legs effect record
  move shared -> accrued hop accrued effect record
  move accrued -> claimed guard sign-seller-payout idempotent-payouts day-cap recipient-filter via vault:taifoon:kms on eip155:8453 cap 5000000 USDC meter taifoon.gpu hop paid effect record
  move claimed -> recorded hop recorded op POST /v1/pipe/send effect record
  refuse no_owner "a box without an owner wallet is not listed; the owner is who the shares accrue to"
  refuse unprobed "a box that did not pass its probe is not listed: the battery, the chain id or the storage challenge failed"
  refuse own_price "a box never names a price; the broker prices the work before dispatch"
  say brought "The box is on the table: its kind, its endpoint, its owner"
  say probed "Probed by the layer: the battery answered, the chain served, the challenge proven"
  say listed "Listed on the public catalogue the moment its probe passed; GRID per passing probe from now"
  say credited "Credited: the box said how much it can take; it is sent at most that"
  say lagging "Lagging: skipped by the dispatch until it catches up; nothing waits for it"
  say dispatched "Sent a job of its model, inside its credit"
  say filled "Filled: the engine's own usage counts the tokens"
  say verified "Verified: the fill passed; it is a share on the job's meter line, served_by this box"
  say shared "Shared: the provider leg of what the buyer paid, split by verified shares over the period"
  say accrued "Accrued to the box owner's claim"
  say claimed "Claimed by proof from the ONE vault's distributor, inside its caps"
  say recorded "Recorded: the job, its fill, its share, its envelopes on the pipe"
  say no_owner "Refused: no owner wallet"
  say unprobed "Refused: the probe failed; join again when the box answers"
  say failed "The box did not fill; the job went back to the queue"
  next brought probed "Run the one command on your box; the layer probes it itself"
  next listed credited "Heartbeat your credit: free slots per model, reads per minute, committed bytes"
  next filled verified "One in N fills is replayed on a second box; the battery runs each pass"

agent job is "one paid call through the pool: paid on its venue, priced by the broker, queued, claimed by a rig inside its credit, filled, verified, metered, settled through the ONE vault, split by shares"
  states paid queued claimed filled verified metered settled split recorded unpaid dead
  start paid
  final recorded unpaid dead
  failed unpaid dead
  read GET /v1/models as models
  read GET /v1/resale as pool
  move paid -> unpaid when order.paid != true
  move paid -> queued hop hired venue x402-base effect record
  move queued -> claimed when rig.credit > 0 effect record
  move queued -> dead when job.retries > 2
  move claimed -> filled hop delivered effect record
  move claimed -> queued
  move filled -> verified when fill.verified == true hop graded effect record
  move filled -> queued
  move verified -> metered meter taifoon.gpu effect record
  move metered -> settled guard receipt-check via vault:taifoon:kms on eip155:8453 cap 5000000 USDC meter taifoon.api hop settled effect record
  move settled -> split hop split effect record
  move split -> recorded hop recorded op POST /v1/pipe/send effect record
  refuse unpaid "a call is queued only after the buyer paid on its venue: a key debit, an x402 payment or an escrowed job"
  refuse dead "a job that failed three fills is dead-lettered and the buyer refunded from the cover"
  say paid "The buyer paid on its venue; the broker priced the job before dispatch"
  say queued "On the one queue: priority, then age"
  say claimed "Claimed by a rig with the model loaded and credit left"
  say filled "Filled; the engine's usage counted the tokens"
  say verified "Verified: a share for the rig that filled it"
  say metered "Metered on the buyer's line, served_by the rig"
  say settled "Settled through the ONE vault, inside its caps"
  say split "Split: the layer's fee, the provider leg by shares; graders and ecosystem as the economics read states"
  say recorded "Recorded: one job, its legs, its envelopes"
  say unpaid "Not queued: nothing was paid"
  say dead "Dead-lettered after three fills; refunded from the cover"
  next paid queued "The broker's price is on the job; a rig cannot change it"
  next queued claimed "Dispatch by credit and model affinity; a lagging rig is skipped"

agent auditor is "the genie auditor: this program reviewed as a case by an agent with a key, graded by the four questions, armed on the owner's go"
  states asked read answered graded armed rejected
  start asked
  final armed rejected
  failed rejected
  move asked -> read when input.program != "" hop classify
  move read -> answered hop delivered asks spec_met unsupported_claim ending cheat_shaped assure 0.7 meter sma.case
  move answered -> graded hop graded
  move graded -> armed when grade.assured == true guard sign-owner-go owner-arm hop recorded effect record
  move graded -> rejected
  refuse not_assured "the review did not stand; the pool stays unarmed and the refusal names the question that failed"
  say asked "The program is on the table: its text, its IR, its delta"
  say answered "Your own agent answered the four questions"
  say graded "Graded and sealed as a case"
  say armed "Armed: the owner's go after a standing review; the pool door opens"
  say rejected "Rejected: the review did not stand"

agreement pool_share
  parties contributor buyer 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
  protocol taifoon_coord
  venue x402-base
  term "one job, one settlement, no standing balance: the buyer pays on its venue, the provider leg is split by verified shares over the period and accrues to each rig owner's claim; the layer's fee is the one margin"
  term "a rig never names a price; the broker prices the job before dispatch, and GRID per passing probe is the bootstrap, never the payout"
  term "every payee is paid by claim from the ONE vault's distributor inside its caps; no person per payout"

collector grid_economics
  source https://coord.taifoon.dev/v1/grid/economics
  every 3600s
  header "content-type" as kind
  feeds rig
  stage probed when status == 200

vault vault:taifoon:kms
  grid taifoon.gpu per_call 1 per_day 1000000
  grid taifoon.rpc per_call 1 per_day 1000000
  grid taifoon.api per_call 1
  grid sma.case per_call 1
  cap USDC eip155:8453 per_tx 5000000 per_day 20000000

knowledge
  symptom "a box joined but earns nothing" caused_by "no heartbeat with credit, so nothing is dispatched to it" fixed_by "heartbeat the credit (free slots per model, reads per minute, committed bytes); the next job of its model is dispatched"
  fix "heartbeat the credit (free slots per model, reads per minute, committed bytes); the next job of its model is dispatched" opens hired
  symptom "a fill was served but is no share" caused_by "the fill did not verify: the battery failed, the replay disagreed or the usage was missing" fixed_by "serve with the engine's usage and the model you advertised; a replayed fill at temperature zero must agree"
  fix "serve with the engine's usage and the model you advertised; a replayed fill at temperature zero must agree" opens graded
  symptom "shares accrued but nothing was paid" caused_by "the rig owner has no claim payee, or the distributor is not armed on the chain" fixed_by "register the payee the claim pays; the distributor pays claims by proof inside its caps once armed"
  fix "register the payee the claim pays; the distributor pays claims by proof inside its caps once armed" opens paid
  rule "the pool pays from what buyers paid, split by verified shares; GRID per passing probe is the bootstrap, never the payout"
  rule "a box is sent at most the credit it advertised; a lagging box is skipped and never stalls the pool"
  rule "the layer's own boxes join through the same door and are listed and metered the same way; their leg is retained, never paid out"
  rule "the pool arms only after its review stands and the owner's go; an unreviewed change serves no job"
  policy "the ONE vault releases inside its caps per transfer and per UTC day until the owner raises them"

door "Bring your box to the pool" as rig takes owner: string kind: string endpoint: string
  product taifoon.gpu
  step brought "Name the box: GPU inference, RPC or storage, its endpoint, your wallet" next probed
  step probed "The layer probes it itself" next listed opens listed
  step listed "Listed on the catalogue; GRID per passing probe" next credited
  step credited "Heartbeat your credit; you are sent at most that" next dispatched
  step lagging "Lagging: skipped until your heartbeat catches up" next credited
  step dispatched "A paid job of your model, priced by the broker" next filled
  step filled "Filled with the engine's usage" next verified
  step verified "Verified: a share on the job's meter line" next shared
  step shared "The provider leg split by shares over the period" next accrued
  step accrued "Accrued to your claim" next claimed
  step claimed "Claimed by proof from the ONE vault" next recorded
  step recorded "Recorded: the job, the fill, the share"
  handoff "Talk to Taifoon about your box" booking https://taifoon.io meet https://taifoon.io room genie-mining-bring

door "Buy inference through the pool" as job takes model: string
  product taifoon.gpu
  step paid "Pay on your venue: a key, an x402 call, an escrowed job" next queued
  step queued "Queued at the broker's price" next claimed
  step claimed "A rig with your model and credit took it" next filled
  step filled "Filled" next verified
  step verified "Verified before it counts" next metered
  step metered "Metered on your line, served_by the rig" next settled
  step settled "Settled through the ONE vault" next split
  step split "Split by shares" next recorded
  step recorded "Recorded"
  handoff "Talk to Taifoon about volume" booking https://taifoon.io meet https://taifoon.io room genie-mining-buy

door "Review the mining program with the genie auditor" as auditor takes program: string
  product sma.case
  step asked "Paste the program or name it" next read
  step read "Its IR and its delta are on the table" next answered
  step answered "Your own agent answers the four questions" next graded
  step graded "Graded and sealed as a case" next armed opens armed
  step armed "The owner's go; the pool door opens"
  handoff "A human reviewer" booking https://cal.com/taifoon meet https://meet.jit.si room genie-mining-audit