the positioning line extends the language: an agent that already exists on an outside source (an agent market, an inference venue, a TEE cloud, the layer's own listing wizard) is positioned on the layer — its class said and held to the sets, its journey on its source a door of steps, its knowledge one self-contained canister that is re-shared by address and grows by graded cases — and every claim made about it is a measure the compiler counts over the program, never a number typed into copy
{
"sources": {
"near-agent-market": {
"venue": "near-agent-market",
"register": "the owner registers the agent once on market.near.ai (the market's register call); the market returns the agent's own token once",
"credential": "the agent's own market token, sealed by its owner (a secret store, never a file or a log); no NEAR wallet key",
"list": "a per_call plan at the derived price and a tested webhook; live, then adopted by the owner signed in",
"hire": "one x402 exact payment in USDC on NEAR per call; the market's escrow pays the agent on its venue",
"found_by": "the market category and the agent's own words; the layer derives the class from both",
"rail": "USDC on NEAR to the market treasury",
"journey": [
"unlisted",
"registered",
"sealed",
"onboarded",
"live",
"adopted",
"serving"
],
"program": "examples/near_hire.genie (agents hire, sell, worker)"
},
"agentverse": {
"venue": "agentverse",
"register": "the owner connects a running uAgent in Agentverse (Launch an Agent → Connect Agent → Chat Protocol): a name, a reachable endpoint, discovery keywords, the registration script",
"credential": "an Agentverse API key and the agent's seed, held by the owner alone",
"list": "the manifest published with the chat protocol; ASI:One finds it by keywords and semantic relevance",
"hire": "a signed uAgents envelope over the chat protocol (POST /v1/handshake kind uagents); our receiver uAgent holds the reply",
"found_by": "keywords, the description and the readme head; the layer derives the class from the agent's own words",
"rail": "the AgentPaymentProtocol's RequestPayment names the price, the recipient and the rail (FET, Skyfire USDC, Stripe); a chat agent without it charges nothing",
"journey": [
"unconnected",
"connected",
"published",
"found",
"hired",
"paid"
],
"program": "examples/agentverse_market.genie (agents inbound, outbound)"
},
"deepinfra": {
"venue": "deepinfra",
"register": "a DeepInfra account and API key; a custom model on dedicated GPUs by request",
"credential": "the venue key in the layer's secret store: the layer buys under one key and resells under its own",
"list": "an inference card in the inference register (the model, its price per 1M tokens against the same model elsewhere); resold under product:gpu",
"hire": "an OpenAI-compatible completion through the layer's chat lane, metered on the buyer's key",
"found_by": "the model id, the quantisation and the price against the same model on other venues",
"rail": "the venue bills the layer; the buyer pays the layer",
"journey": [
"carded",
"priced",
"listed",
"served",
"metered"
],
"program": "examples/resale_edge.genie (the DeepInfra → x402-base edge)"
},
"phala": {
"venue": "phala",
"register": "a Phala Cloud account; the agent or model deployed as a confidential VM from a docker compose; the attestation quote from the guest agent",
"credential": "the owner's Phala account; the attestation is public and verifiable by anyone",
"list": "an inference card with proof tee and the attestation, or a hosted cell of the layer",
"hire": "an OpenAI-compatible completion in a GPU TEE through the layer's chat lane, metered on the buyer's key",
"found_by": "the model, the attestation and the price",
"rail": "the venue bills the layer; the buyer pays the layer",
"journey": [
"composed",
"deployed",
"attested",
"listed",
"served"
],
"program": "examples/hosted_agent.genie (the hosting pack)"
},
"near-ai": {
"venue": "near-ai",
"register": "a NEAR AI Cloud account and key; private TEE routes and attested third-party routes",
"credential": "the venue key in the layer's secret store",
"list": "an inference card in the inference register; resold under product:gpu",
"hire": "an OpenAI-compatible completion through the layer's chat lane, metered on the buyer's key",
"found_by": "the model and whether its route is attested",
"rail": "the venue bills the layer; the buyer pays the layer",
"journey": [
"carded",
"priced",
"listed",
"served",
"metered"
],
"program": "examples/model_delivery.genie"
},
"agent-listing": {
"venue": "taifoon",
"register": "POST /v1/agent-listings: one definition (identity, hosting, pricing, needs, status); it lands as a draft",
"credential": "the builder's own key; a secret for the door is set with POST /v1/agent-listings/:id/secret",
"list": "POST /v1/agent-listings/:id/publish: a seller price, a class of the catalogue, a door the layer can call, an address to pay; then the verify probe",
"hire": "the class wall under the layer's name; the buyer pays the layer once (x402, a venue job, a key's balance)",
"found_by": "the class and the listing's own words; the card at GET /v1/agent-listings/:id/card",
"rail": "the layer pays the seller's address on the seller's venue",
"journey": [
"drafted",
"priced",
"classed",
"doored",
"payable",
"probed",
"published"
],
"program": "lang/cue/agent-listing.cue (_AGENT_LISTING_v1_)"
}
},
"measures": {
"context": {
"counts": "bytes of the knowledge block as the chat sends it, over bytes of the source row the position was generated from",
"says": "<knowledge bytes> of <source bytes> (a ratio), per position",
"never": "a percentage typed into copy: the ratio is counted at compile time for each position and printed with both numbers"
},
"action": {
"counts": "for each door, the steps from its first step to the first step that opens a hop; the least over the doors",
"says": "<n> steps to a hop, per door",
"never": "a multiplier against another product: the count is the program's own"
},
"grade": {
"counts": "every move with assure (its threshold and meter) and the class's grade path from the source row (exact by code, or rubric: System One's four questions)",
"says": "graded at <threshold> on <path>; live grades are read from the cockpit, never from the program",
"never": "an accuracy percentage: the program carries the gate, the record carries the grades"
},
"trace": {
"counts": "moves whose hop is carried as an envelope on the pipe, over all moves (a ledger-only hop is named, not hidden); nodes whose every name resolves to a set, over all nodes (genie nodes)",
"says": "<n> of <m> moves on the pipe; <n> of <m> nodes held to the sets",
"never": "blind spots eliminated: what is not carried is listed by name"
}
}
}release 9: a leaf · the inclusion proof · head 0x7d5f5b77e922019f…