Drillable

Invoke a domain verb discovered via `describe`: call(domain, tool, args). Identical to the namespaced tool surface — every answer drills to its source; a miss is a typed abstention (logged as demand), never a guess. Do NOT invent tool names — take them from `describe`.

A deterministic AGGREGATE over ONE corpus's COMPLETE set — the calculated-query shape ("how many X", "break X down by Y", "which is most common"). Requires `domain`; optional `filter` scopes the set (e.g. {"spirit":"gin"}); optional `by` (a record field) returns the count PER value, sorted, with the largest. Built ON `enumerate`, so it inherits the completeness contract: over an INCOMPLETE set it ABSTAINS rather than undercount. It counts on GROUND and refuses to crown a "best"/worth ranking (that has no oracle — the user's call). For the records/categories themselves use `enumerate`. Mounted corpora: acupuncture, cocktail, camera, law, copyright, trademark, music-theory, supplements, writing-style, minecraft-dungeons, spanish, medical-denials, languages, behavioral-econ, baseball, agent-practices, pokemon, mcp, readability, citations, relay, models, self-oracle, recall-traps, units, tax, physics, logic, astronomy, biology, geography, medicine, chemistry, calendar, math, eurorack, building-codes, cooking, personal-finance, stardew, coffee, electronics, physiology, diving, decibels, gearing, colorimetry, subnetting, textile-gauge, first-aid, statistics, chess-endgames, woodworking, rating-systems, tuning, check-digits, paper-sizes, wire-gauge, preferred-numbers, swe-claim-denial, psychology, roman-numerals, minecraft-mods, encodings, strength-training, hardiness-zones, terraria, unix-permissions, aspect-ratio, number-bases, resistor-color-code, cognitive-psychology, braille, semver, cron, unicode, timezones, metar, incoterms, soundex, glob, ieee754, http-status, zigbee, uuid, base-encodings, percent-encoding, dms-coordinates, gray-code, hashing, classical-ciphers, hamming-code, geohash, mac-address, poker-hands, capacitor-codes, iso-duration, dice-probability, scrabble-score, wind-chill, mach-number, saffir-simpson, dataviz, patents, chords, dtmf, shoe-size, crc, base58, bech32, base85, reed-solomon, theoretical-ecology, string-similarity, checksums, compression, pr…

Discover the fleet's deeper machinery. No args → every mounted domain with its verbs grouped by rung (lookup → composability → contested → frontier). With `domain` → that domain's full tool list with descriptions and input schemas. Invoke anything it lists via `call`. Use this whenever the spine (lookup/search/verify) is too shallow for the question — e.g. "what can I make/patch/cover with MY inventory", contested claims, open questions.

List broad CATEGORIES or the COMPLETE set within ONE corpus — the shape `search` cannot serve (search returns a ranked, capped sample, not the whole set). Requires `domain`. Returns every category axis with exact counts, and — with an optional `filter` (faceted constraints, e.g. {"spirit":"gin"}) — the COMPLETE record set scoped by it, marked `complete`. A count/aggregate is sound ONLY over a complete set; an incomplete return is flagged, never silently undercounted (the completeness contract). Use for "what kinds are there", "all the X", "how many X"; for one record use `lookup`/`search`. Discover a domain's facets via `describe`. The special domain `directory` enumerates the FLEET itself — the algorithm domains drillable holds (declared registry tags, faceted by class/grain; e.g. "what algorithms are there?"). Mounted corpora: acupuncture, cocktail, camera, law, copyright, trademark, music-theory, supplements, writing-style, minecraft-dungeons, spanish, medical-denials, languages, behavioral-econ, baseball, agent-practices, pokemon, mcp, readability, citations, relay, models, self-oracle, recall-traps, units, tax, physics, logic, astronomy, biology, geography, medicine, chemistry, calendar, math, eurorack, building-codes, cooking, personal-finance, stardew, coffee, electronics, physiology, diving, decibels, gearing, colorimetry, subnetting, textile-gauge, first-aid, statistics, chess-endgames, woodworking, rating-systems, tuning, check-digits, paper-sizes, wire-gauge, preferred-numbers, swe-claim-denial, psychology, roman-numerals, minecraft-mods, encodings, strength-training, hardiness-zones, terraria, unix-permissions, aspect-ratio, number-bases, resistor-color-code, cognitive-psychology, braille, semver, cron, unicode, timezones, metar, incoterms, soundex, glob, ieee754, http-status, zigbee, uuid, base-encodings, percent-encoding, dms-coordinates, gray-code, hashing, classical-ciphers, hamming-code, geohash, mac-address, poker-hands, capacitor-codes, iso-durat…

Define a concept/term from a domain's glossary (e.g. 'stir', 'crop-factor', 'roughness'). Routes to each domain's lookup_concept; pass `domain` to target one, omit to fan out. For entities/records use `search`. Abstains on a miss, which is logged as a gap (the demand signal) — there is no report_gap verb. For COMPUTED quantities (molar mass, date math, unit conversions) a miss will point you to the right compute verb — follow it via `describe`/`call` rather than re-searching. Mounted corpora: acupuncture, cocktail, camera, law, copyright, trademark, music-theory, supplements, writing-style, minecraft-dungeons, spanish, medical-denials, languages, behavioral-econ, baseball, agent-practices, pokemon, mcp, readability, citations, relay, models, self-oracle, recall-traps, units, tax, physics, logic, astronomy, biology, geography, medicine, chemistry, calendar, math, eurorack, building-codes, cooking, personal-finance, stardew, coffee, electronics, physiology, diving, decibels, gearing, colorimetry, subnetting, textile-gauge, first-aid, statistics, chess-endgames, woodworking, rating-systems, tuning, check-digits, paper-sizes, wire-gauge, preferred-numbers, swe-claim-denial, psychology, roman-numerals, minecraft-mods, encodings, strength-training, hardiness-zones, terraria, unix-permissions, aspect-ratio, number-bases, resistor-color-code, cognitive-psychology, braille, semver, cron, unicode, timezones, metar, incoterms, soundex, glob, ieee754, http-status, zigbee, uuid, base-encodings, percent-encoding, dms-coordinates, gray-code, hashing, classical-ciphers, hamming-code, geohash, mac-address, poker-hands, capacitor-codes, iso-duration, dice-probability, scrabble-score, wind-chill, mach-number, saffir-simpson, dataviz, patents, chords, dtmf, shoe-size, crc, base58, bech32, base85, reed-solomon, theoretical-ecology, string-similarity, checksums, compression, prng, bloom-filter, computus, hyperloglog, peppers, search-heuristics, tomatoes, solar-times, blood-alcohol, maid…

Register your user's standing interest in a question the corpus can't answer yet: when it becomes answerable, they get one email. Call this ONLY when the user themselves asked to be told — ask them first, this session, and use the email they give you now; never volunteer an address you hold from context or memory. One call per question.

Search the mounted corpora by query. Routes to each domain's search tool; pass `domain` to target one. Empty results are logged as gaps. For COMPUTED quantities (molar mass, age/date math, unit conversions) this verb will miss and surface a cross-verb hint (e.g. compute_molar_mass) — follow that hint via `describe`/`call` rather than retrying search. Mounted corpora: acupuncture, cocktail, camera, law, copyright, trademark, music-theory, supplements, writing-style, minecraft-dungeons, spanish, medical-denials, languages, behavioral-econ, baseball, agent-practices, pokemon, mcp, readability, citations, relay, models, self-oracle, recall-traps, units, tax, physics, logic, astronomy, biology, geography, medicine, chemistry, calendar, math, eurorack, building-codes, cooking, personal-finance, stardew, coffee, electronics, physiology, diving, decibels, gearing, colorimetry, subnetting, textile-gauge, first-aid, statistics, chess-endgames, woodworking, rating-systems, tuning, check-digits, paper-sizes, wire-gauge, preferred-numbers, swe-claim-denial, psychology, roman-numerals, minecraft-mods, encodings, strength-training, hardiness-zones, terraria, unix-permissions, aspect-ratio, number-bases, resistor-color-code, cognitive-psychology, braille, semver, cron, unicode, timezones, metar, incoterms, soundex, glob, ieee754, http-status, zigbee, uuid, base-encodings, percent-encoding, dms-coordinates, gray-code, hashing, classical-ciphers, hamming-code, geohash, mac-address, poker-hands, capacitor-codes, iso-duration, dice-probability, scrabble-score, wind-chill, mach-number, saffir-simpson, dataviz, patents, chords, dtmf, shoe-size, crc, base58, bech32, base85, reed-solomon, theoretical-ecology, string-similarity, checksums, compression, prng, bloom-filter, computus, hyperloglog, peppers, search-heuristics, tomatoes, solar-times, blood-alcohol, maidenhead-locator, brewing, celestial-navigation, electrochemistry, fluid-mechanics, information-theory, structural-mechanics, rege…

Check claims against the corpora. SINGLE: verify({claim}) grounds one claim (core/verify truth-referee verdict where a domain surfaces it, else a corpus-grounding badge). RECEIPT: verify({claims:[…]}) claim-CHECKS each assertion and returns a TYPED per-claim verdict (verified / corrected / abstained) + drilled value + source, as a structured receipt (rides the response → portable to any client). Each claim is graded one of two ways: RECOGNITION-FREE — give `op` + `params` + `asserted` (STATE the computation you ran; it is RE-EXECUTED with no catalog match, so it grades NOVEL inputs too — the strongest form), or CATALOG-MATCH — give `claim` + `asserted` (matched to a covered record). Pass `asserted` (your own answer) to have it GRADED, not just grounded — the receipt corrects a confidently-wrong claim the model can't catch itself. A claim with no receipt line is unverified.