agentfootprint 10.2.0 → 10.3.1

package/dist/esm/core/tools.js

@@ -1,354 +0,0 @@
-/**
- * Tool types — Agent's tool-call contract.
- *
- * Pattern: Strategy (GoF) — each Tool is a strategy for "how to execute
- *          this named operation given these args".
- * Role:    Consumer-facing shape. Agent.tool(...) accepts these.
- * Emits:   N/A (types only).
- */
-import { isDevMode } from 'footprintjs';
-import { assertToolWants } from '../artifacts/wants.js';
-import { RESULT_CLASSES } from '../lib/semantics/types.js';
-import { assertResultColumns, COLUMN_TYPES, } from '../integrity/column-types/types.js';
-import { assertAskComponent } from './askComponent.js';
-import { assertAskOrAssume } from './agent/arguments/declare.js';
-/**
- * Refuse a `resultCeiling` this library cannot honor, at definition time —
- * naming the tool and the fix, never failing at the first oversized result of
- * the first run. Exported beside {@link assertValidToolName} for consumers
- * assembling `Tool` objects by hand.
- */
-export function assertResultCeiling(toolName, ceiling) {
-    if (ceiling === undefined)
-        return;
-    // Destructured through a fallback because this rule is also asked about
-    // values NO COMPILER vetted — a `_meta` bag from a foreign MCP server
-    // (`readToolExtras`). A `null` or a number must reach the teaching refusal
-    // below, not blow up on the destructuring on the way to it.
-    const { maxChars, narrowBy } = (ceiling ?? {});
-    if (!Number.isFinite(maxChars) || !Number.isInteger(maxChars) || maxChars <= 0) {
-        throw new Error(`defineTool: tool '${toolName}' declares resultCeiling.maxChars = ${String(maxChars)}, ` +
-            `which is not a positive whole number of characters. The ceiling is the size over ` +
-            `which the model reads a refusal instead of the result — to have no ceiling, omit ` +
-            `\`resultCeiling\` (absent means results are never measured, exactly as before).`);
-    }
-    if (narrowBy !== undefined) {
-        const usable = Array.isArray(narrowBy) &&
-            narrowBy.length > 0 &&
-            narrowBy.every((n) => typeof n === 'string' && n.trim().length > 0);
-        if (!usable) {
-            throw new Error(`defineTool: tool '${toolName}' declares resultCeiling.narrowBy = ` +
-                `${JSON.stringify(narrowBy)}, which names nothing the refusal could suggest. ` +
-                `List at least one parameter name (non-empty strings, e.g. ['limit', 'fields']), ` +
-                `or drop the field — omitting it is how "no suggestions" is said.`);
-        }
-    }
-}
-/**
- * Refuse a `resultClass` outside the closed set, at definition time — naming
- * the tool, the value and the whole vocabulary (the `assertResultCeiling`
- * law: a declaration this library cannot honor fails HERE, never at the
- * first gate run of the first CI pipeline). Exported beside it for consumers
- * assembling `Tool` objects by hand.
- */
-export function assertResultClass(toolName, resultClass) {
-    if (resultClass === undefined)
-        return;
-    if (!RESULT_CLASSES.includes(resultClass)) {
-        throw new Error(`defineTool: tool '${toolName}' declares resultClass '${String(resultClass)}', which is ` +
-            `not a class this library has. The classes are: ${RESULT_CLASSES.join(', ')} — each ` +
-            `carries a rule \`check:semantics\` can prove ('triage'/'inventory' results must ` +
-            `declare coverage). To declare no class, omit the field (the semantic-envelope rules ` +
-            `still apply to any result carrying the af_semantics marker).`);
-    }
-}
-/**
- * The COLUMN-TYPE CONTRACT's rule and vocabulary, re-exported HERE.
- *
- * They are DEFINED in `src/integrity/column-types/types.ts`, because
- * `src/integrity/` is a strict leaf that imports nothing outside itself and
- * the check has to be able to read the words. They are re-exported here
- * because `defineTool` and the MCP ingest both reach for their rules through
- * `core/tools.ts` — one door for every declaration's rule, and no second copy
- * of any of them anywhere.
- */
-export { assertResultColumns, COLUMN_TYPES, };
-/**
- * Refuse a `resultKind` that could never be redeemed, at definition time —
- * naming the tool and the fix (the `assertResultCeiling` / `assertResultClass`
- * law: a declaration this library cannot honor fails HERE, never at the first
- * oversized result of the first run). Exported beside them for consumers
- * assembling `Tool` objects by hand.
- *
- * The one rule is non-blankness, and it is not a formality: the kind is what a
- * `wants` argument is matched against by exact string equality, so a blank or
- * whitespace-only kind mints a ticket no declaration can ever name — the same
- * refusal `assertToolWants` raises on the consuming end, raised on the
- * producing end too. There is deliberately NO charset or shape rule: the kind
- * is the consumer's vocabulary, and the library does not own it.
- */
-export function assertResultKind(toolName, resultKind) {
-    if (resultKind === undefined)
-        return;
-    if (typeof resultKind !== 'string' || resultKind.trim().length === 0) {
-        throw new Error(`defineTool: tool '${toolName}' declares resultKind ${JSON.stringify(resultKind)}, which ` +
-            `is not a kind anything could want. It is the artifact kind a PLACED result is minted ` +
-            `under, matched by exact string equality against a consuming tool's ` +
-            `\`wants\` (e.g. 'dataset/rows'), so a blank kind is a ticket no argument can redeem. ` +
-            `Name the kind your consumers declare, or omit the field — omitting it mints ` +
-            `\`tool-result/${toolName}\`, exactly as before.`);
-    }
-}
-/**
- * Refuse an `owner` stamp with a blank half, at definition time — naming the
- * tool and what a blank half would do.
- *
- * An identity edge with a blank half is worse than none: the Context Integrity
- * checks JOIN on it, so a blank `kind` or `id` joins the wrong subjects rather
- * than no subjects. Extracted from `defineTool` (9.71.0) so the MCP ingest
- * boundary can hold the SAME line on a declaration that arrived over the wire —
- * one rule, one message, two doors.
- *
- * Deliberately NOT a closed-set check on `kind`: the union is enforced by the
- * compiler for anyone calling `defineTool`, and the value is only ever read
- * into a prose reason (`owned by <kind> '<id>'`), never switched on.
- */
-export function assertToolOwner(toolName, owner) {
-    if (owner === undefined)
-        return;
-    // Same reason as `assertResultCeiling`: this is also asked about untyped
-    // values from a foreign MCP server, so a scalar or a `null` must land on the
-    // message rather than on a TypeError from the destructuring.
-    const { kind, id } = (owner ?? {});
-    if (typeof owner !== 'object' ||
-        typeof kind !== 'string' ||
-        kind.length === 0 ||
-        typeof id !== 'string' ||
-        id.length === 0) {
-        throw new Error(`defineTool('${toolName}'): \`owner\` must carry a non-empty kind and id — it is ` +
-            `the identity edge integrity checks join on, and a blank half joins the wrong ` +
-            `subjects. Got ${JSON.stringify(owner)}.`);
-    }
-}
-/**
- * Refuse an `argumentsFrom` edge that could never join, at definition time.
- *
- * The dangling-reference and unsupported-argument checks join on these names,
- * so a blank one — or a tool grounded by itself — would join the wrong subjects
- * or none at all. Extracted from `defineTool` (9.71.0) for the same reason as
- * {@link assertToolOwner}: the MCP ingest boundary enforces the identical rule
- * on a declaration a remote server sent.
- */
-export function assertArgumentsFrom(toolName, argumentsFrom) {
-    if (argumentsFrom === undefined)
-        return;
-    // The array check is part of the rule, not a formality: a foreign server can
-    // put a bare string here, and `for…of` over one would walk its CHARACTERS
-    // and refuse them one letter at a time.
-    if (!Array.isArray(argumentsFrom) || argumentsFrom.length === 0) {
-        throw new Error(`defineTool('${toolName}'): \`argumentsFrom\` must name at least one tool — ` +
-            `omitting the field is how "no grounds" is said.`);
-    }
-    for (const ground of argumentsFrom) {
-        if (typeof ground !== 'string' || ground.length === 0) {
-            throw new Error(`defineTool('${toolName}'): \`argumentsFrom\` entries must be non-empty tool ` +
-                `names. Got ${JSON.stringify(ground)}.`);
-        }
-        if (ground === toolName) {
-            throw new Error(`defineTool('${toolName}'): \`argumentsFrom\` names the tool itself — a tool ` +
-                `cannot be its own argument ground.`);
-        }
-    }
-}
-/**
- * Refuse a `composedOf` list that could never be drift-checked, at definition
- * time — the {@link assertArgumentsFrom} law applied to composition: the
- * agent-build gate joins on these names, and a blank one — or a tool composed
- * of itself — would join the wrong subjects or none. The REGISTRATION check
- * (is every named ingredient actually registered?) deliberately does NOT
- * happen here: the ingredients need not exist before this tool is defined,
- * and only the agent build sees the complete catalog.
- */
-export function assertComposedOf(toolName, composedOf) {
-    if (composedOf === undefined)
-        return;
-    // Same reason as `assertArgumentsFrom`: this rule is also asked about
-    // untyped values from a foreign MCP server, and `for…of` over a bare string
-    // would walk its CHARACTERS.
-    if (!Array.isArray(composedOf) || composedOf.length === 0) {
-        throw new Error(`defineTool('${toolName}'): \`composedOf\` must name at least one ingredient tool — ` +
-            `omitting the field is how "not composed" is said.`);
-    }
-    for (const ingredient of composedOf) {
-        if (typeof ingredient !== 'string' || ingredient.length === 0) {
-            throw new Error(`defineTool('${toolName}'): \`composedOf\` entries must be non-empty tool names. ` +
-                `Got ${JSON.stringify(ingredient)}.`);
-        }
-        if (ingredient === toolName) {
-            throw new Error(`defineTool('${toolName}'): \`composedOf\` names the tool itself — a tool cannot ` +
-                `be its own ingredient.`);
-        }
-    }
-}
-/**
- * Refuse a `gates` declaration that is not a boolean, at definition time.
- * Trivial for anyone the compiler vets; load-bearing at the MCP ingest
- * boundary, where a foreign server can put anything under the key and a
- * truthy string would silently declare a gate nobody wrote.
- */
-export function assertGates(toolName, gates) {
-    if (gates === undefined)
-        return;
-    if (typeof gates !== 'boolean') {
-        throw new Error(`defineTool('${toolName}'): \`gates\` must be a boolean — \`true\` (this tool's ` +
-            `procedure can raise an approval gate), \`false\` (declared gate-free), or omitted ` +
-            `(nothing declared). Got ${JSON.stringify(gates)}.`);
-    }
-}
-/**
- * Ergonomic builder for `Tool`. Equivalent to constructing an object
- * literal with `schema` + `execute`, but flatter and safer — the name
- * + description live alongside the executor so they can't drift.
- *
- * @example
- *   const weather = defineTool<{ city: string }, string>({
- *     name: 'weather',
- *     description: 'Get current weather for a city',
- *     inputSchema: {
- *       type: 'object',
- *       properties: { city: { type: 'string' } },
- *       required: ['city'],
- *     },
- *     execute: async ({ city }) => `${city}: 72°F sunny`,
- *   });
- *
- *   const agent = Agent.create({ provider }).tool(weather).build();
- */
-/**
- * The tool-name charset every major LLM provider enforces (OpenAI, Azure OpenAI,
- * and Anthropic all require `^[a-zA-Z0-9_-]{1,64}$`). A name with a dot, space,
- * slash, colon, or >64 chars makes the provider 400-REJECT the WHOLE request — so
- * EVERY tool vanishes, not just the bad one, and it looks like "my tool isn't
- * visible." We validate at `defineTool` so a bad name fails LOUD here, naming the
- * offending tool, instead of as an opaque provider 400 at run time.
- */
-const LLM_TOOL_NAME_RE = /^[a-zA-Z0-9_-]{1,64}$/;
-/**
- * STRICT validation — throws a clear, actionable error if a tool name can't be
- * sent to an LLM. Exposed for consumers who want to fail hard (e.g. in a build
- * step or a test). The library itself only WARNS (see `warnIfInvalidToolName`),
- * because a name is provider-specific: a mock or a name-sanitizing custom provider
- * may accept dotted/namespaced names that OpenAI/Anthropic reject.
- */
-export function assertValidToolName(name) {
-    if (typeof name !== 'string' || name.length === 0) {
-        throw new Error(`defineTool: tool name must be a non-empty string (got ${JSON.stringify(name)}).`);
-    }
-    if (!LLM_TOOL_NAME_RE.test(name)) {
-        const reason = name.length > 64
-            ? `it is ${name.length} chars (max 64)`
-            : `it contains characters outside [a-zA-Z0-9_-] (e.g. a dot, space, slash, or colon)`;
-        throw new Error(`tool name ${JSON.stringify(name)} — ${reason}. ` +
-            `LLM tool names must match /^[a-zA-Z0-9_-]{1,64}$/ (OpenAI, Azure, and Anthropic all ` +
-            `400-reject the whole request otherwise, making every tool disappear). ` +
-            `Rename it — e.g. replace '.', ':', '/', or ' ' with '_'.`);
-    }
-}
-/**
- * DEV-MODE heads-up (never throws): warns once-per-call if a tool name will be
- * rejected by OpenAI/Anthropic. Production and non-dev runs pay nothing. This is
- * the library's default guard (Convention: dev diagnostics warn, they don't throw)
- * — keeping mock/custom-provider + namespaced-name setups working. Reach for
- * `assertValidToolName` when you want a hard failure.
- */
-export function warnIfInvalidToolName(name) {
-    if (!isDevMode())
-        return;
-    try {
-        assertValidToolName(name);
-    }
-    catch (e) {
-        // eslint-disable-next-line no-console
-        console.warn(`[agentfootprint] invalid ${e.message}`);
-    }
-}
-export function defineTool(options) {
-    warnIfInvalidToolName(options.name);
-    // A ceiling that cannot cap fails HERE, naming the tool — not at the first
-    // oversized result of the first run.
-    assertResultCeiling(options.name, options.resultCeiling);
-    // A class outside the closed set fails HERE too — not at the first
-    // `check:semantics` run of the first CI pipeline.
-    assertResultClass(options.name, options.resultClass);
-    // A placed-result kind nothing could want fails HERE too — not at the first
-    // oversized result of the first run with placement configured.
-    assertResultKind(options.name, options.resultKind);
-    // A column type this library has no rule for fails HERE too — not at the
-    // first rowset of the first armed run, where the symptom would be a check
-    // that quietly judges nothing.
-    assertResultColumns(options.name, options.resultColumns);
-    // A decision component for a gate that never fires is configuration that
-    // lies — configured-and-inert looks exactly like configured-and-working
-    // (the `.checkIn({ scorer })`-with-minimal-evidence precedent). And a
-    // malformed one fails HERE, naming the tool, not at the first tripped gate
-    // of the first consequential call.
-    if (options.checkInComponent !== undefined) {
-        if (options.checkIn === undefined) {
-            throw new Error(`defineTool('${options.name}'): \`checkInComponent\` has no effect without \`checkIn\`. ` +
-                `The component rides the check-in ask — which screen collects the decision — and ` +
-                `this tool declares no check-in, so it would never be shown to anyone. Declare ` +
-                `\`checkIn: 'always'\` (or a predicate), or drop the component.`);
-        }
-        assertAskComponent(options.checkInComponent, `defineTool('${options.name}') checkInComponent`);
-    }
-    // A wants-arg the schema never offers (or offers as a non-string) fails
-    // HERE too, naming the argument — not as a ref that never arrives. Judged
-    // against the RESOLVED schema: an omitted inputSchema defaults to empty
-    // properties, which offers no argument for any ref to arrive through.
-    assertToolWants(options.name, options.wants, options.inputSchema ?? { type: 'object', properties: {} });
-    // An identity edge with a blank half is worse than none: a checker would
-    // join on it and compare the wrong subjects. Refused HERE, naming the tool.
-    assertToolOwner(options.name, options.owner);
-    // The grounds edge is judged at the same door and for the same reason: the
-    // dangling-reference check joins on these names, and a blank one — or a
-    // tool grounded by itself — would join the wrong subjects or none.
-    assertArgumentsFrom(options.name, options.argumentsFrom);
-    // Composition edges get the same shape discipline; the REGISTRATION check
-    // (does every ingredient exist?) waits for the agent build, where the
-    // catalog is complete.
-    assertComposedOf(options.name, options.composedOf);
-    assertGates(options.name, options.gates);
-    // The inputs layer's rules (honesty layer 2) — judged against the RESOLVED
-    // schema, each property by its OWN schema (never the root `required`), and
-    // refused here naming the tool and the argument, not at the first call.
-    assertAskOrAssume(options.name, options.askOrAssume, options.period, options.inputSchema ?? { type: 'object', properties: {} }, options.wants);
-    return {
-        schema: {
-            name: options.name,
-            description: options.description,
-            inputSchema: options.inputSchema ?? { type: 'object', properties: {} },
-        },
-        ...(options.needs && { needs: options.needs }),
-        ...(options.wants !== undefined && { wants: options.wants }),
-        // The call-site predicate is typed to TArgs; the stored Tool keeps the
-        // non-generic shape so it widens into `Tool[]` registries.
-        ...(options.checkIn !== undefined && { checkIn: options.checkIn }),
-        ...(options.checkInComponent !== undefined && { checkInComponent: options.checkInComponent }),
-        // Copied verbatim, never inferred — an empty array is a tool that declared
-        // it touches nothing, which is a different statement from saying nothing.
-        ...(options.capabilities !== undefined && { capabilities: options.capabilities }),
-        ...(options.resultCeiling !== undefined && { resultCeiling: options.resultCeiling }),
-        ...(options.resultClass !== undefined && { resultClass: options.resultClass }),
-        ...(options.resultKind !== undefined && { resultKind: options.resultKind }),
-        ...(options.resultColumns !== undefined && { resultColumns: options.resultColumns }),
-        ...(options.owner !== undefined && { owner: options.owner }),
-        ...(options.argumentsFrom !== undefined && { argumentsFrom: options.argumentsFrom }),
-        ...(options.composedOf !== undefined && { composedOf: options.composedOf }),
-        ...(options.gates !== undefined && { gates: options.gates }),
-        ...(options.repeatedWhen !== undefined && { repeatedWhen: options.repeatedWhen }),
-        ...(options.askOrAssume !== undefined && { askOrAssume: options.askOrAssume }),
-        ...(options.period !== undefined && { period: options.period }),
-        execute: options.execute,
-    };
-}
-//# sourceMappingURL=tools.js.map

package/dist/esm/core/tools.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"tools.js","sourceRoot":"","sources":["../../../src/core/tools.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,SAAS,EAAwB,MAAM,aAAa,CAAC;AAK9D,OAAO,EAAE,eAAe,EAAkB,MAAM,uBAAuB,CAAC;AAGxE,OAAO,EAAE,cAAc,EAAwB,MAAM,2BAA2B,CAAC;AACjF,OAAO,EACL,mBAAmB,EACnB,YAAY,GAIb,MAAM,oCAAoC,CAAC;AAC5C,OAAO,EAAE,kBAAkB,EAAqB,MAAM,mBAAmB,CAAC;AAC1E,OAAO,EAAE,iBAAiB,EAAqC,MAAM,8BAA8B,CAAC;AA4ZpG;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CACjC,QAAgB,EAChB,OAAsC;IAEtC,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO;IAClC,wEAAwE;IACxE,sEAAsE;IACtE,2EAA2E;IAC3E,4DAA4D;IAC5D,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,CAAC,OAAO,IAAI,EAAE,CAA+B,CAAC;IAC7E,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAK,QAAmB,IAAI,CAAC,EAAE,CAAC;QAC3F,MAAM,IAAI,KAAK,CACb,qBAAqB,QAAQ,uCAAuC,MAAM,CAAC,QAAQ,CAAC,IAAI;YACtF,mFAAmF;YACnF,mFAAmF;YACnF,iFAAiF,CACpF,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,MAAM,GACV,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC;YACvB,QAAQ,CAAC,MAAM,GAAG,CAAC;YACnB,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACtE,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,MAAM,IAAI,KAAK,CACb,qBAAqB,QAAQ,sCAAsC;gBACjE,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,mDAAmD;gBAC9E,kFAAkF;gBAClF,kEAAkE,CACrE,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAC/B,QAAgB,EAChB,WAAwC;IAExC,IAAI,WAAW,KAAK,SAAS;QAAE,OAAO;IACtC,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;QAC1C,MAAM,IAAI,KAAK,CACb,qBAAqB,QAAQ,2BAA2B,MAAM,CAAC,WAAW,CAAC,cAAc;YACvF,kDAAkD,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU;YACrF,kFAAkF;YAClF,sFAAsF;YACtF,8DAA8D,CACjE,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;;;;;;;;GASG;AACH,OAAO,EACL,mBAAmB,EACnB,YAAY,GAIb,CAAC;AAEF;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,gBAAgB,CAAC,QAAgB,EAAE,UAA8B;IAC/E,IAAI,UAAU,KAAK,SAAS;QAAE,OAAO;IACrC,IAAI,OAAO,UAAU,KAAK,QAAQ,IAAI,UAAU,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACrE,MAAM,IAAI,KAAK,CACb,qBAAqB,QAAQ,yBAAyB,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,UAAU;YACxF,uFAAuF;YACvF,qEAAqE;YACrE,uFAAuF;YACvF,8EAA8E;YAC9E,iBAAiB,QAAQ,wBAAwB,CACpD,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,eAAe,CAAC,QAAgB,EAAE,KAA4B;IAC5E,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO;IAChC,yEAAyE;IACzE,6EAA6E;IAC7E,6DAA6D;IAC7D,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,KAAK,IAAI,EAAE,CAAuB,CAAC;IACzD,IACE,OAAO,KAAK,KAAK,QAAQ;QACzB,OAAO,IAAI,KAAK,QAAQ;QACxB,IAAI,CAAC,MAAM,KAAK,CAAC;QACjB,OAAO,EAAE,KAAK,QAAQ;QACtB,EAAE,CAAC,MAAM,KAAK,CAAC,EACf,CAAC;QACD,MAAM,IAAI,KAAK,CACb,eAAe,QAAQ,2DAA2D;YAChF,+EAA+E;YAC/E,iBAAiB,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAC5C,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,mBAAmB,CACjC,QAAgB,EAChB,aAA4C;IAE5C,IAAI,aAAa,KAAK,SAAS;QAAE,OAAO;IACxC,6EAA6E;IAC7E,0EAA0E;IAC1E,wCAAwC;IACxC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,aAAa,CAAC,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChE,MAAM,IAAI,KAAK,CACb,eAAe,QAAQ,sDAAsD;YAC3E,iDAAiD,CACpD,CAAC;IACJ,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,aAAa,EAAE,CAAC;QACnC,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACtD,MAAM,IAAI,KAAK,CACb,eAAe,QAAQ,uDAAuD;gBAC5E,cAAc,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAC1C,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,KAAK,QAAQ,EAAE,CAAC;YACxB,MAAM,IAAI,KAAK,CACb,eAAe,QAAQ,uDAAuD;gBAC5E,oCAAoC,CACvC,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,gBAAgB,CAC9B,QAAgB,EAChB,UAAyC;IAEzC,IAAI,UAAU,KAAK,SAAS;QAAE,OAAO;IACrC,sEAAsE;IACtE,4EAA4E;IAC5E,6BAA6B;IAC7B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1D,MAAM,IAAI,KAAK,CACb,eAAe,QAAQ,8DAA8D;YACnF,mDAAmD,CACtD,CAAC;IACJ,CAAC;IACD,KAAK,MAAM,UAAU,IAAI,UAAU,EAAE,CAAC;QACpC,IAAI,OAAO,UAAU,KAAK,QAAQ,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC9D,MAAM,IAAI,KAAK,CACb,eAAe,QAAQ,2DAA2D;gBAChF,OAAO,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,CACvC,CAAC;QACJ,CAAC;QACD,IAAI,UAAU,KAAK,QAAQ,EAAE,CAAC;YAC5B,MAAM,IAAI,KAAK,CACb,eAAe,QAAQ,2DAA2D;gBAChF,wBAAwB,CAC3B,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,WAAW,CAAC,QAAgB,EAAE,KAA0B;IACtE,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO;IAChC,IAAI,OAAO,KAAK,KAAK,SAAS,EAAE,CAAC;QAC/B,MAAM,IAAI,KAAK,CACb,eAAe,QAAQ,0DAA0D;YAC/E,oFAAoF;YACpF,2BAA2B,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CACtD,CAAC;IACJ,CAAC;AACH,CAAC;AAqWD;;;;;;;;;;;;;;;;;;GAkBG;AACH;;;;;;;GAOG;AACH,MAAM,gBAAgB,GAAG,uBAAuB,CAAC;AAEjD;;;;;;GAMG;AACH,MAAM,UAAU,mBAAmB,CAAC,IAAa;IAC/C,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClD,MAAM,IAAI,KAAK,CACb,yDAAyD,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAClF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,MAAM,MAAM,GACV,IAAI,CAAC,MAAM,GAAG,EAAE;YACd,CAAC,CAAC,SAAS,IAAI,CAAC,MAAM,iBAAiB;YACvC,CAAC,CAAC,mFAAmF,CAAC;QAC1F,MAAM,IAAI,KAAK,CACb,aAAa,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,MAAM,IAAI;YAC/C,sFAAsF;YACtF,wEAAwE;YACxE,0DAA0D,CAC7D,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,qBAAqB,CAAC,IAAa;IACjD,IAAI,CAAC,SAAS,EAAE;QAAE,OAAO;IACzB,IAAI,CAAC;QACH,mBAAmB,CAAC,IAAI,CAAC,CAAC;IAC5B,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,sCAAsC;QACtC,OAAO,CAAC,IAAI,CAAC,4BAA6B,CAAW,CAAC,OAAO,EAAE,CAAC,CAAC;IACnE,CAAC;AACH,CAAC;AAED,MAAM,UAAU,UAAU,CACxB,OAA0C;IAE1C,qBAAqB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACpC,2EAA2E;IAC3E,qCAAqC;IACrC,mBAAmB,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC;IACzD,mEAAmE;IACnE,kDAAkD;IAClD,iBAAiB,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,WAAW,CAAC,CAAC;IACrD,4EAA4E;IAC5E,+DAA+D;IAC/D,gBAAgB,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;IACnD,yEAAyE;IACzE,0EAA0E;IAC1E,+BAA+B;IAC/B,mBAAmB,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC;IACzD,yEAAyE;IACzE,wEAAwE;IACxE,sEAAsE;IACtE,2EAA2E;IAC3E,mCAAmC;IACnC,IAAI,OAAO,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;QAC3C,IAAI,OAAO,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YAClC,MAAM,IAAI,KAAK,CACb,eAAe,OAAO,CAAC,IAAI,8DAA8D;gBACvF,kFAAkF;gBAClF,gFAAgF;gBAChF,gEAAgE,CACnE,CAAC;QACJ,CAAC;QACD,kBAAkB,CAAC,OAAO,CAAC,gBAAgB,EAAE,eAAe,OAAO,CAAC,IAAI,qBAAqB,CAAC,CAAC;IACjG,CAAC;IACD,wEAAwE;IACxE,0EAA0E;IAC1E,wEAAwE;IACxE,sEAAsE;IACtE,eAAe,CACb,OAAO,CAAC,IAAI,EACZ,OAAO,CAAC,KAAK,EACb,OAAO,CAAC,WAAW,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,EAAE,EAAE,CAC1D,CAAC;IACF,yEAAyE;IACzE,4EAA4E;IAC5E,eAAe,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IAC7C,2EAA2E;IAC3E,wEAAwE;IACxE,mEAAmE;IACnE,mBAAmB,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC;IACzD,0EAA0E;IAC1E,sEAAsE;IACtE,uBAAuB;IACvB,gBAAgB,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;IACnD,WAAW,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IACzC,2EAA2E;IAC3E,2EAA2E;IAC3E,wEAAwE;IACxE,iBAAiB,CACf,OAAO,CAAC,IAAI,EACZ,OAAO,CAAC,WAAW,EACnB,OAAO,CAAC,MAAM,EACd,OAAO,CAAC,WAAW,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,EAAE,EAAE,EACzD,OAAO,CAAC,KAAK,CACd,CAAC;IACF,OAAO;QACL,MAAM,EAAE;YACN,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,WAAW,EAAE,OAAO,CAAC,WAAW;YAChC,WAAW,EAAE,OAAO,CAAC,WAAW,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,EAAE,EAAE;SACvE;QACD,GAAG,CAAC,OAAO,CAAC,KAAK,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC;QAC9C,GAAG,CAAC,OAAO,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC;QAC5D,uEAAuE;QACvE,2DAA2D;QAC3D,GAAG,CAAC,OAAO,CAAC,OAAO,KAAK,SAAS,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,OAAwB,EAAE,CAAC;QACnF,GAAG,CAAC,OAAO,CAAC,gBAAgB,KAAK,SAAS,IAAI,EAAE,gBAAgB,EAAE,OAAO,CAAC,gBAAgB,EAAE,CAAC;QAC7F,2EAA2E;QAC3E,0EAA0E;QAC1E,GAAG,CAAC,OAAO,CAAC,YAAY,KAAK,SAAS,IAAI,EAAE,YAAY,EAAE,OAAO,CAAC,YAAY,EAAE,CAAC;QACjF,GAAG,CAAC,OAAO,CAAC,aAAa,KAAK,SAAS,IAAI,EAAE,aAAa,EAAE,OAAO,CAAC,aAAa,EAAE,CAAC;QACpF,GAAG,CAAC,OAAO,CAAC,WAAW,KAAK,SAAS,IAAI,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,EAAE,CAAC;QAC9E,GAAG,CAAC,OAAO,CAAC,UAAU,KAAK,SAAS,IAAI,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE,CAAC;QAC3E,GAAG,CAAC,OAAO,CAAC,aAAa,KAAK,SAAS,IAAI,EAAE,aAAa,EAAE,OAAO,CAAC,aAAa,EAAE,CAAC;QACpF,GAAG,CAAC,OAAO,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC;QAC5D,GAAG,CAAC,OAAO,CAAC,aAAa,KAAK,SAAS,IAAI,EAAE,aAAa,EAAE,OAAO,CAAC,aAAa,EAAE,CAAC;QACpF,GAAG,CAAC,OAAO,CAAC,UAAU,KAAK,SAAS,IAAI,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE,CAAC;QAC3E,GAAG,CAAC,OAAO,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC;QAC5D,GAAG,CAAC,OAAO,CAAC,YAAY,KAAK,SAAS,IAAI,EAAE,YAAY,EAAE,OAAO,CAAC,YAAY,EAAE,CAAC;QACjF,GAAG,CAAC,OAAO,CAAC,WAAW,KAAK,SAAS,IAAI,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,EAAE,CAAC;QAC9E,GAAG,CAAC,OAAO,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;QAC/D,OAAO,EAAE,OAAO,CAAC,OAAO;KACzB,CAAC;AACJ,CAAC"}

package/dist/esm/lib/answer-account/account.d.ts

@@ -1,40 +0,0 @@
-/**
- * `accountForAnswer` — one answer's recording (+ what the app declared) in, a
- * typed account out. A pure read-time Fold over the Trace: no clock, network,
- * model or randomness; the same inputs give the same bytes. It never writes
- * back into the run.
- *
- * It throws ONLY on a caller error (a recording that is not an object,
- * declarations that break their rules). Content it cannot read is passed over
- * and counted (`unread`); a line whose fill fails becomes `unreadable.line@1`.
- */
-import type { Recording } from '../../recorders/observability/recordRun.js';
-import type { AnswerAccount, AnswerAccountDeclarations } from './types.js';
-import { type AccountInternals } from './facts/common.js';
-export interface AccountOptions {
-    /** The stored artifact's `meta.origin.runId`, when the caller has it — preferred over the recording's own. */
-    readonly runId?: string;
-}
-/** The answer text the account carries (the PDF folds at 1,200); the rest is in the record. */
-export declare const MAX_ANSWER_CHARS = 4000;
-/** @internal — the account with test hooks (`failTemplate`). The public door is `accountForAnswer`. */
-export declare function buildAccount(recording: unknown, declarations: AnswerAccountDeclarations | undefined, options: AccountOptions | undefined, internals?: AccountInternals): AnswerAccount;
-/**
- * Explain one answer from its recording.
- *
- * @param recording     the answer's recording — `{ snapshot, events, structure }` (`recordRun`).
- * @param declarations  what the APP declares when the report is made (skill labels, `rowsAt`);
- *                      everything filled from it is vouched `app`.
- * @param options       `runId` — the stored artifact's `meta.origin.runId`, when known.
- *
- * @example
- * ```ts
- * import { accountForAnswer } from 'agentfootprint/observe';
- *
- * const account = accountForAnswer(recording, { tools: { lookup_volumes: { rowsAt: 'volumes' } } });
- * account.summary.sentence.text; // "Nothing this report looks for turned up in the record."
- * ```
- */
-export declare function accountForAnswer(recording: Recording, declarations?: AnswerAccountDeclarations, options?: {
-    readonly runId?: string;
-}): AnswerAccount;