agentfootprint 9.118.1 → 9.119.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/AGENTS.md +47 -25
- package/CAPABILITIES.md +2 -1
- package/README.md +31 -0
- package/ai-instructions/claude-code/SKILL.md +47 -25
- package/dist/core/agent/AgentBuilder.js +1 -1
- package/dist/core/agent/coverage/items.js +2 -1
- package/dist/core/agent/coverage/items.js.map +1 -1
- package/dist/core/agent/coverage/refusal.js +9 -6
- package/dist/core/agent/coverage/refusal.js.map +1 -1
- package/dist/debug.js +1 -1
- package/dist/debug.js.map +1 -1
- package/dist/esm/core/agent/AgentBuilder.d.ts +1 -1
- package/dist/esm/core/agent/AgentBuilder.js +1 -1
- package/dist/esm/core/agent/coverage/items.d.ts +2 -1
- package/dist/esm/core/agent/coverage/items.js +2 -1
- package/dist/esm/core/agent/coverage/items.js.map +1 -1
- package/dist/esm/core/agent/coverage/refusal.d.ts +9 -6
- package/dist/esm/core/agent/coverage/refusal.js +9 -6
- package/dist/esm/core/agent/coverage/refusal.js.map +1 -1
- package/dist/esm/debug.js +1 -1
- package/dist/esm/debug.js.map +1 -1
- package/dist/esm/events/payloads.d.ts +2 -1
- package/dist/esm/index.d.ts +1 -1
- package/dist/esm/index.js +3 -1
- package/dist/esm/index.js.map +1 -1
- package/dist/esm/lib/semantics/check.js +1 -1
- package/dist/esm/lib/semantics/check.js.map +1 -1
- package/dist/esm/lib/semantics/described.d.ts +86 -0
- package/dist/esm/lib/semantics/described.js +183 -0
- package/dist/esm/lib/semantics/described.js.map +1 -0
- package/dist/esm/lib/semantics/envelope.d.ts +79 -3
- package/dist/esm/lib/semantics/envelope.js +180 -88
- package/dist/esm/lib/semantics/envelope.js.map +1 -1
- package/dist/esm/lib/semantics/index.d.ts +5 -3
- package/dist/esm/lib/semantics/index.js +4 -2
- package/dist/esm/lib/semantics/index.js.map +1 -1
- package/dist/esm/lib/semantics/types.d.ts +107 -3
- package/dist/esm/lib/semantics/types.js +2 -2
- package/dist/esm/lib/semantics/types.js.map +1 -1
- package/dist/index.js +5 -2
- package/dist/index.js.map +1 -1
- package/dist/lib/semantics/check.js +1 -1
- package/dist/lib/semantics/check.js.map +1 -1
- package/dist/lib/semantics/described.js +187 -0
- package/dist/lib/semantics/described.js.map +1 -0
- package/dist/lib/semantics/envelope.js +183 -90
- package/dist/lib/semantics/envelope.js.map +1 -1
- package/dist/lib/semantics/index.js +6 -3
- package/dist/lib/semantics/index.js.map +1 -1
- package/dist/lib/semantics/types.js +2 -2
- package/dist/lib/semantics/types.js.map +1 -1
- package/dist/types/core/agent/AgentBuilder.d.ts +1 -1
- package/dist/types/core/agent/coverage/items.d.ts +2 -1
- package/dist/types/core/agent/coverage/items.d.ts.map +1 -1
- package/dist/types/core/agent/coverage/refusal.d.ts +9 -6
- package/dist/types/core/agent/coverage/refusal.d.ts.map +1 -1
- package/dist/types/events/payloads.d.ts +2 -1
- package/dist/types/events/payloads.d.ts.map +1 -1
- package/dist/types/index.d.ts +1 -1
- package/dist/types/index.d.ts.map +1 -1
- package/dist/types/lib/semantics/described.d.ts +87 -0
- package/dist/types/lib/semantics/described.d.ts.map +1 -0
- package/dist/types/lib/semantics/envelope.d.ts +79 -3
- package/dist/types/lib/semantics/envelope.d.ts.map +1 -1
- package/dist/types/lib/semantics/index.d.ts +5 -3
- package/dist/types/lib/semantics/index.d.ts.map +1 -1
- package/dist/types/lib/semantics/types.d.ts +107 -3
- package/dist/types/lib/semantics/types.d.ts.map +1 -1
- package/package.json +1 -1
package/AGENTS.md
CHANGED
|
@@ -210,35 +210,57 @@ the model — the framework stamps `toolCallId` / `toolName` / `iteration`, you
|
|
|
210
210
|
`payload`. `agent.on('agentfootprint.stream.*')` and `toSSE(agent)` carry it with
|
|
211
211
|
no extra wiring.
|
|
212
212
|
|
|
213
|
-
###
|
|
213
|
+
### What a tool returns: rows, a verdict with limits, or nothing
|
|
214
|
+
|
|
215
|
+
| helper | use it when | the model reads | the record keeps |
|
|
216
|
+
|---|---|---|---|
|
|
217
|
+
| `describedResult({ … })` | rows, a series or relationships from a system of record — or a question back (`clarify`) | data + `grain` + `provenance` + one `not_covered` line per gap + a static note — NOT the `checked` list | the whole envelope on `tools.semantics_declared`, coverage in `coverageDeclared` |
|
|
218
|
+
| `coverage(value, { … })` | any other value that has limits (a verdict, a sentence) | your value under `result`, the coverage lists under `af_coverage` | `tools.coverage_declared`, `coverageDeclared` |
|
|
219
|
+
| `absent({ … })` | nothing matched | what was looked for, the coverage, "a retry returns the same" | `tools.absent`, `coverageDeclared`, status `'absent'` |
|
|
220
|
+
|
|
221
|
+
The rule: rows from a system of record → `describedResult()`; any other value with limits →
|
|
222
|
+
`coverage()`; nothing matched → `absent()`. Never wrap one in another. All three are the tool's
|
|
223
|
+
RESPONSE — nothing goes into the system prompt or the tool schema.
|
|
214
224
|
|
|
215
225
|
```typescript
|
|
216
|
-
import { absent, coverage, defineTool } from 'agentfootprint';
|
|
217
|
-
|
|
218
|
-
|
|
219
|
-
|
|
220
|
-
|
|
221
|
-
|
|
222
|
-
|
|
223
|
-
|
|
224
|
-
|
|
225
|
-
|
|
226
|
-
|
|
227
|
-
// A verdict WITH its boundary — what "fine" does and does not rule out.
|
|
228
|
-
|
|
229
|
-
|
|
230
|
-
|
|
231
|
-
|
|
226
|
+
import { absent, coverage, defineTool, describedResult } from 'agentfootprint';
|
|
227
|
+
|
|
228
|
+
execute: ({ vm, summary }) => {
|
|
229
|
+
const { exportedAt, source, runs: all } = backupExport; // the system of record
|
|
230
|
+
const runs = all.filter((r) => r.vm === vm);
|
|
231
|
+
const ground = {
|
|
232
|
+
checked: [`every backup job in the export of ${exportedAt}`],
|
|
233
|
+
cannotCover: [{ what: 'PPDM', why: 'not collected on this install' }],
|
|
234
|
+
};
|
|
235
|
+
// "I looked and there is nothing" — never readable as "I could not look".
|
|
236
|
+
if (runs.length === 0) return absent({ what: `backup runs for ${vm}`, ...ground });
|
|
237
|
+
// A verdict WITH its boundary — what "fine" does and does not rule out.
|
|
238
|
+
if (summary) return coverage(`${vm}: ${runs.length} backup runs`, ground);
|
|
239
|
+
// Rows WITH their caveats. measuredAt comes from the data (the export's time,
|
|
240
|
+
// the moment of a live read, the newest sample) — never a typed-in date.
|
|
241
|
+
return describedResult({
|
|
242
|
+
facts: runs.map((r) => ({ entity: vm, day: r.day, ok: r.ok === 1 })),
|
|
243
|
+
provenance: { measuredAt: exportedAt, source },
|
|
244
|
+
coverage: ground,
|
|
245
|
+
});
|
|
246
|
+
},
|
|
232
247
|
```
|
|
233
248
|
|
|
234
|
-
|
|
235
|
-
`
|
|
236
|
-
|
|
237
|
-
|
|
238
|
-
|
|
239
|
-
|
|
240
|
-
|
|
241
|
-
|
|
249
|
+
`describedResult()` is camelCase throughout (`measuredAt`, `ageSeconds`, `isCounter`,
|
|
250
|
+
`filterNote`); the envelope the model reads stays snake_case. Series need `grain`
|
|
251
|
+
(`{ interval, aggregation, isCounter }` — state `isCounter` for `sum`/`count`-like
|
|
252
|
+
aggregations); series or facts without `provenance` are a compile error and a run-time
|
|
253
|
+
refusal. `semantic()` is the deprecated name for the same envelope with a snake_case
|
|
254
|
+
declaration — do not use it in new code.
|
|
255
|
+
|
|
256
|
+
A helper that cannot honor its declaration throws inside `execute`: the model reads text
|
|
257
|
+
starting `refused: ` in place of the data, and the run continues. An absence gets the
|
|
258
|
+
delivered status `'absent'` (route it with `onToolStatus: 'absent'`) and grounds only its
|
|
259
|
+
COVERAGE in the evidence gate — so an id the model invented does not become grounded by one
|
|
260
|
+
lookup that found nothing. It is never an error: nothing retries it, nothing refuses it, no
|
|
261
|
+
`error: true`. Add `.limitsTravelWithTheAnswer()` on the agent and the framework APPENDS the
|
|
262
|
+
run's declared coverage to the final answer string (not to streamed tokens; it breaks
|
|
263
|
+
`runTyped()`'s JSON), so the model cannot drop what it never wrote.
|
|
242
264
|
|
|
243
265
|
## Observing a run
|
|
244
266
|
|
package/CAPABILITIES.md
CHANGED
|
@@ -25,7 +25,8 @@ not in this table, search `src/index.ts` for the nearest noun before writing cod
|
|
|
25
25
|
| turning a written operational procedure (a runbook, a triage playbook) into ONE agent tool whose every answer is EVIDENCE — coverage folded up from the inner tools it calls, rule name+version, verdict rows with GENERATED meanings, and the recorded walk as an artifact ticket, never bytes | `runbookAsTool` — dials: `procedure` (factory, invoked per call with `ctx.tools`) + `resultKind` (`'verdict/*'` arms the rowset projection; anything else ships spine + the chart's `report`) + `rules {name, version}` (default absent ⇒ `rule_version: 'undeclared'`) + `verdicts {decider, maxRows}` (default 50; `verdict_meanings` = statically declared branches + this run's rule labels + the DEFAULT branch's label, which reaches evidence only when the chart calls `decide(s, rules, {branch, label})` — fp ≥9.16.1, the default is chosen by NO rule so nothing else can name it, and inside a generated fan-out branch the static walk is blind too; an undeclared or blank label stays ABSENT from the map, never invented from a branch id, and there is deliberately NO caller-supplied meanings map) + `presentation` (`'prose'` default = ship `table` + `VERDICT_RENDER_NOTE` "output it VERBATIM"; `'panel'` = the HOST renders the rowset, so NO `table` key at all + `PANEL_RENDER_NOTE` "the rows are already on the reader's screen — do not reproduce them"; the rowset half is byte-identical across modes, `table` stays RESERVED in both, an unknown value THROWS at definition) + `walk {cap, recording}` (cap default 500; over-cap ⇒ control-flow projection, declared · `recording: true` or `{label, maxBytes}`, default OFF — ALSO files the inner chart's own `{snapshot, events, structure}` under `recording/run` and puts its ref on the spine as `walk.recording_ref`, because the ROW projection cannot be drawn; snapshot read from the REDACTED mirror so one `redact` means the same for both; over `maxBytes` (`DEFAULT_RECORDING_MAX_BYTES` = 5,000,000) it is REFUSED not truncated; every absence — no store / over size / unserializable / store threw — is STATED in `walk.recording_note`, and the four `recording_*` fields are absent entirely when the dial is off) + `composedOf` (drift-checked at agent BUILD) + kept `recorders`/`keepRecord`/`keepRecordLimit`/`redact`; reserved state keys `verdicts`/`coverage`/`report` (the `report` bag lands BESIDE the spine, never over it — a report field spelling `af_coverage`/`af_provenance`/`rule_version`/`walk`/`report_note` or a live projection key is discarded and NAMED in `result.report_note`; precedence is explicit in `report.ts`, never spread order); inner `absent()` passes through VERBATIM unless the call said `allowAbsent`; walk kind `recording/chart-walk` + `walk_segment` discriminant | `src/core/runbook/` | 9.76.0, recording 9.79.0 |
|
|
26
26
|
| speaking MCP from a BROWSER — the SDK is browser-clean (its client + streamableHttp bundle at `platform:'browser'` with zero `node:` edges and never pull in `client/stdio.js`); the one barrier was that `lazyRequire` gets CALLED there, so the fix is to let the caller supply what the loader would have found | `mcpClient({ sdk })` (`McpSdk` = the two SDK modules you imported statically; the library STILL builds the transport, so headers/fetch/gateway vending/`retryOnThrottle`/`_meta` all keep working) · `mcpClient({ connection })` (`McpConnection` = listTools/callTool/close, deliberately NO `connect` — you already did; the only arm that reaches the SDK's `jsonSchemaValidator`, i.e. CSP) + `McpConnectionOptions`; `refuseConflictingOptions` REFUSES at construction every option a transport would have consumed, naming where it moved (a knob naming a behaviour that no longer happens is the defect class); `transportUrl` resolves a relative `url` against `globalThis.location.href` (absolute takes the identical branch, Node refuses by name); `sdkLoadFailure` classifies the seven load sites so a browser is never told to install a package it has (resolution failure ⇒ byte-identical historical message); `retryingFetch` + `ThrottleFetch` promoted out of `@internal` so the connection arm keeps its 429 handling. stdio keeps `lazyRequire` FOREVER — it spawns a subprocess. ZERO packaging change: no subpath, no `browser` condition (TypeScript is blind to it), peer stays optional (no literal dynamic `import()`). Fenced by `test/lib/mcp/browserGraph.test.ts` | `src/lib/mcp/` | 9.81.0 |
|
|
27
27
|
| calling ANOTHER registered tool from inside a tool's `execute` — composition over the agent's own dispatch map instead of importing the module and building a second query stack | `agentToolDispatch` + `ctx.tools` (ToolDispatch has/call) — sees static and skill-carried tools, NEVER ToolProvider-delivered ones (no build-time list, the 9.72.0 caveat); inner calls get the outer facts with hasArtifacts false and a derived toolCallId, `needs` resolved fail-closed non-interactively, `checkIn` and `wants` tools refused by name, no nested dispatch; declare ingredients via `composedOf` (and `gates` for a pausing procedure) — both travel MCP `_meta` | `src/core/agent/toolDispatch.ts` | 9.76.0 |
|
|
28
|
-
| a tool returning numbers WITH the caveats that make them honest — interval/aggregation grain, is-it-a-counter, when the world was measured, which ground was NOT covered — as typed data the model reads compactly and the record keeps whole | `semantic()` + `tools.semantics_declared` (model sees `semanticsForModel` projection; `coverage` field absorbed by the coverage()/absent() channel) | `src/lib/semantics/` | 9.53.0 |
|
|
28
|
+
| a tool returning numbers WITH the caveats that make them honest — interval/aggregation grain, is-it-a-counter, when the world was measured, which ground was NOT covered — as typed data the model reads compactly and the record keeps whole | `semantic()` + `tools.semantics_declared` (model sees `semanticsForModel` projection; `coverage` field absorbed by the coverage()/absent() channel; `semantic()` is the deprecated name — use `describedResult()`, next row) | `src/lib/semantics/` | 9.53.0 |
|
|
29
|
+
| the same typed tool result declared in ONE spelling — camelCase `measuredAt`/`isCounter`/`filterNote`, respelled to the unchanged snake_case wire — with a missing source a COMPILE error; which result helper to return (rows → describedResult, a value with limits → coverage, nothing → absent) | `describedResult()` + `DescribedResultDeclaration` (`provenance` required whenever `series`/`facts` is present; the snake_case spelling refused, naming the camelCase one) | `src/lib/semantics/described.ts` | 9.119.0 |
|
|
29
30
|
| a build gate that refuses a triage/inventory tool that forgot its caveats, by tool name and field name | `checkSemantics` + `defineTool({ resultClass })` (`'triage'`/`'inventory'`, the closed set) + bin `agentfootprint-check-semantics` | `src/lib/semantics/check.ts` | 9.53.0 |
|
|
30
31
|
| an agent that runs out of `maxIterations` mid-task handing back a HALF-SENTENCE as its answer — and nothing saying the budget ran out | `wrapUpAtMaxIterations` (default ON) + `WRAP_UP_INSTRUCTION` + `agent.budget_exhausted` + `stoppedEarly.wrappedUp` | `src/core/agent/stages/wrapUp.ts` | 9.56.0 |
|
|
31
32
|
| the conversation outgrowing the context window — dropping, summarizing or token-budgeting old turns, every removal on the record (the three refusal rows below all guard this window) | `.window()` + `slidingWindow` / `summarizeOldest` (= `.compaction()`) / `tokenBudget` + `keepRecentTurns` (default 6) + `thresholdTokens` (required, deliberately no default) + `retain: 'conversation'` (default) / `'discard'` | `src/core/agent/window/` | 7.17.0 |
|
package/README.md
CHANGED
|
@@ -107,6 +107,37 @@ For production, import a real provider from `agentfootprint/providers` and swap
|
|
|
107
107
|
|
|
108
108
|
**No cloud account?** `ollama('llama3.2')` from `agentfootprint/providers` runs the same agent against a local model for $0 — the free rung between the mock and the bill. Full recipes: [Ollama](https://agentfootprint.dev/docs/build/ollama/) · [OpenAI-compatible endpoints](https://agentfootprint.dev/docs/build/openai/#openai-compatible-endpoints-ollama-llamacpp-vllm-together-groq-lm-studio).
|
|
109
109
|
|
|
110
|
+
## What a tool returns — three helpers, one rule
|
|
111
|
+
|
|
112
|
+
Whatever a tool returns is what the model reads next. When that value has limits the model must not lose, return it through one of three helpers — each is the tool's response; nothing is added to the system prompt or the tool's schema:
|
|
113
|
+
|
|
114
|
+
| helper | use it when | the model reads | the record keeps |
|
|
115
|
+
|---|---|---|---|
|
|
116
|
+
| `describedResult({ … })` | rows, a series or relationships from a system of record | the data, with `grain`, `provenance` and one `not_covered` line per gap | the whole envelope (`tools.semantics_declared`) |
|
|
117
|
+
| `coverage(value, { … })` | any other value that has limits | your value, with what was and was not checked | `tools.coverage_declared` |
|
|
118
|
+
| `absent({ … })` | nothing matched | what was looked for, where, and that a retry returns the same | `tools.absent` |
|
|
119
|
+
|
|
120
|
+
Never wrap one in another. Add `.limitsTravelWithTheAnswer()` and the declared coverage is appended to the final answer — provenance and grain never are.
|
|
121
|
+
|
|
122
|
+
```typescript
|
|
123
|
+
import { absent, coverage, describedResult } from 'agentfootprint';
|
|
124
|
+
|
|
125
|
+
execute: ({ vm, summary }) => {
|
|
126
|
+
const { exportedAt, source, runs: all } = backupExport; // your system of record
|
|
127
|
+
const runs = all.filter((r) => r.vm === vm);
|
|
128
|
+
const ground = { checked: [`every backup job in the export of ${exportedAt}`] };
|
|
129
|
+
if (runs.length === 0) return absent({ what: `backup runs for ${vm}`, ...ground }); // nothing matched
|
|
130
|
+
if (summary) return coverage(`${vm}: ${runs.length} backup runs`, ground); // a verdict with limits
|
|
131
|
+
return describedResult({ // rows from the record
|
|
132
|
+
facts: runs.map((r) => ({ entity: vm, day: r.day, ok: r.ok === 1 })),
|
|
133
|
+
provenance: { measuredAt: exportedAt, source }, // the time comes from the data
|
|
134
|
+
coverage: ground,
|
|
135
|
+
});
|
|
136
|
+
},
|
|
137
|
+
```
|
|
138
|
+
|
|
139
|
+
What the model reads from each, exactly: [Tools → what `execute` returns](https://agentfootprint.dev/docs/build/tools/#what-execute-returns--three-helpers-one-rule).
|
|
140
|
+
|
|
110
141
|
## How — we abstract context engineering
|
|
111
142
|
|
|
112
143
|
Skills, steering, RAG, facts, memory, guardrails — every name for context does one thing: it injects into one of three LLM slots. So we abstracted the injection itself.
|
|
@@ -210,35 +210,57 @@ the model — the framework stamps `toolCallId` / `toolName` / `iteration`, you
|
|
|
210
210
|
`payload`. `agent.on('agentfootprint.stream.*')` and `toSSE(agent)` carry it with
|
|
211
211
|
no extra wiring.
|
|
212
212
|
|
|
213
|
-
###
|
|
213
|
+
### What a tool returns: rows, a verdict with limits, or nothing
|
|
214
|
+
|
|
215
|
+
| helper | use it when | the model reads | the record keeps |
|
|
216
|
+
|---|---|---|---|
|
|
217
|
+
| `describedResult({ … })` | rows, a series or relationships from a system of record — or a question back (`clarify`) | data + `grain` + `provenance` + one `not_covered` line per gap + a static note — NOT the `checked` list | the whole envelope on `tools.semantics_declared`, coverage in `coverageDeclared` |
|
|
218
|
+
| `coverage(value, { … })` | any other value that has limits (a verdict, a sentence) | your value under `result`, the coverage lists under `af_coverage` | `tools.coverage_declared`, `coverageDeclared` |
|
|
219
|
+
| `absent({ … })` | nothing matched | what was looked for, the coverage, "a retry returns the same" | `tools.absent`, `coverageDeclared`, status `'absent'` |
|
|
220
|
+
|
|
221
|
+
The rule: rows from a system of record → `describedResult()`; any other value with limits →
|
|
222
|
+
`coverage()`; nothing matched → `absent()`. Never wrap one in another. All three are the tool's
|
|
223
|
+
RESPONSE — nothing goes into the system prompt or the tool schema.
|
|
214
224
|
|
|
215
225
|
```typescript
|
|
216
|
-
import { absent, coverage, defineTool } from 'agentfootprint';
|
|
217
|
-
|
|
218
|
-
|
|
219
|
-
|
|
220
|
-
|
|
221
|
-
|
|
222
|
-
|
|
223
|
-
|
|
224
|
-
|
|
225
|
-
|
|
226
|
-
|
|
227
|
-
// A verdict WITH its boundary — what "fine" does and does not rule out.
|
|
228
|
-
|
|
229
|
-
|
|
230
|
-
|
|
231
|
-
|
|
226
|
+
import { absent, coverage, defineTool, describedResult } from 'agentfootprint';
|
|
227
|
+
|
|
228
|
+
execute: ({ vm, summary }) => {
|
|
229
|
+
const { exportedAt, source, runs: all } = backupExport; // the system of record
|
|
230
|
+
const runs = all.filter((r) => r.vm === vm);
|
|
231
|
+
const ground = {
|
|
232
|
+
checked: [`every backup job in the export of ${exportedAt}`],
|
|
233
|
+
cannotCover: [{ what: 'PPDM', why: 'not collected on this install' }],
|
|
234
|
+
};
|
|
235
|
+
// "I looked and there is nothing" — never readable as "I could not look".
|
|
236
|
+
if (runs.length === 0) return absent({ what: `backup runs for ${vm}`, ...ground });
|
|
237
|
+
// A verdict WITH its boundary — what "fine" does and does not rule out.
|
|
238
|
+
if (summary) return coverage(`${vm}: ${runs.length} backup runs`, ground);
|
|
239
|
+
// Rows WITH their caveats. measuredAt comes from the data (the export's time,
|
|
240
|
+
// the moment of a live read, the newest sample) — never a typed-in date.
|
|
241
|
+
return describedResult({
|
|
242
|
+
facts: runs.map((r) => ({ entity: vm, day: r.day, ok: r.ok === 1 })),
|
|
243
|
+
provenance: { measuredAt: exportedAt, source },
|
|
244
|
+
coverage: ground,
|
|
245
|
+
});
|
|
246
|
+
},
|
|
232
247
|
```
|
|
233
248
|
|
|
234
|
-
|
|
235
|
-
`
|
|
236
|
-
|
|
237
|
-
|
|
238
|
-
|
|
239
|
-
|
|
240
|
-
|
|
241
|
-
|
|
249
|
+
`describedResult()` is camelCase throughout (`measuredAt`, `ageSeconds`, `isCounter`,
|
|
250
|
+
`filterNote`); the envelope the model reads stays snake_case. Series need `grain`
|
|
251
|
+
(`{ interval, aggregation, isCounter }` — state `isCounter` for `sum`/`count`-like
|
|
252
|
+
aggregations); series or facts without `provenance` are a compile error and a run-time
|
|
253
|
+
refusal. `semantic()` is the deprecated name for the same envelope with a snake_case
|
|
254
|
+
declaration — do not use it in new code.
|
|
255
|
+
|
|
256
|
+
A helper that cannot honor its declaration throws inside `execute`: the model reads text
|
|
257
|
+
starting `refused: ` in place of the data, and the run continues. An absence gets the
|
|
258
|
+
delivered status `'absent'` (route it with `onToolStatus: 'absent'`) and grounds only its
|
|
259
|
+
COVERAGE in the evidence gate — so an id the model invented does not become grounded by one
|
|
260
|
+
lookup that found nothing. It is never an error: nothing retries it, nothing refuses it, no
|
|
261
|
+
`error: true`. Add `.limitsTravelWithTheAnswer()` on the agent and the framework APPENDS the
|
|
262
|
+
run's declared coverage to the final answer string (not to streamed tokens; it breaks
|
|
263
|
+
`runTyped()`'s JSON), so the model cannot drop what it never wrote.
|
|
242
264
|
|
|
243
265
|
## Observing a run
|
|
244
266
|
|
|
@@ -1244,7 +1244,7 @@ class AgentBuilder {
|
|
|
1244
1244
|
*
|
|
1245
1245
|
* @example
|
|
1246
1246
|
* const agent = Agent.create({ provider, model })
|
|
1247
|
-
* .tool(screenTool) // returns
|
|
1247
|
+
* .tool(screenTool) // returns describedResult({ facts: [...], provenance })
|
|
1248
1248
|
* .outputSchema(AnswerSchema)
|
|
1249
1249
|
* .claims({ nav_count: { entity: 'screen2', field: 'nav' } })
|
|
1250
1250
|
* .build();
|
|
@@ -143,7 +143,8 @@ exports.listWithoutRecordOnly = listWithoutRecordOnly;
|
|
|
143
143
|
* The keys a {@link CoverageDeclaration} has — the three lists, as the author
|
|
144
144
|
* spells them — tied to the type in BOTH directions: a key the interface
|
|
145
145
|
* gains, or one listed here that it does not have, fails to compile.
|
|
146
|
-
* `coverage()` and a `semantic()` declaration's
|
|
146
|
+
* `coverage()` and a `describedResult()` / `semantic()` declaration's
|
|
147
|
+
* `coverage` refuse any other
|
|
147
148
|
* key (`refusal.ts` · `refuseUnknownKeys`), so `not_checked` is refused,
|
|
148
149
|
* naming `notChecked`, instead of vanishing.
|
|
149
150
|
*/
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"items.js","sourceRoot":"","sources":["../../../../src/core/agent/coverage/items.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;GAWG;;;AAEH,6CAAwC;AAExC,4DAA6D;AAE7D,6CAAuC;AAMvC,MAAM,aAAa,GAAG,CAAC,CAAU,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC;AAchG,uDAAuD;AAC1C,QAAA,eAAe,GAAG,EAAE,CAAC;AAElC;0EAC0E;AAC1E,MAAM,cAAc,GAAsB,MAAM,CAAC,IAAI,CAAC;IACpD,SAAS,EAAE,IAAI;IACf,KAAK,EAAE,IAAI;CACyB,CAAC,CAAC;AAExC;4EAC4E;AAC/D,QAAA,qBAAqB,GAAsB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;AAE1E;mCACmC;AACnC,SAAS,YAAY,CAAC,KAAc,EAAE,IAAY;IAChD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QACrD,OAAO,iFAAiF,CAAC;IAC3F,CAAC;IACD,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;IACvB,MAAM,QAAQ,GAAG,IAAA,+BAAgB,EAAC,SAAS,EAAE,CAAC,CAAC,CAAC;IAChD,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,QAAQ,CAAC;IAC5C,IAAI,CAAC,CAAC,MAAM,GAAG,uBAAe,EAAE,CAAC;QAC/B,OAAO,gBAAgB,CAAC,CAAC,MAAM,6BAA6B,uBAAe,GAAG,CAAC;IACjF,CAAC;IACD,IAAI,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QAC3B,OAAO,8EAA8E,CAAC;IACxF,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,gFAAgF;AAChF,SAAS,WAAW,CAAC,IAAa,EAAE,OAAwB;IAC1D,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,OAAO,CACL,+EAA+E;YAC/E,2EAA2E,CAC5E,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/D,OAAO,2BAA2B,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IACtF,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAQD;4EAC4E;AAC5E,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,GAAW,EAAW,EAAE,CACjD,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,IAAK,IAAgC,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC;AAEpG;;kDAEkD;AAClD,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;AAEtC;;;;;;;;;GASG;AACH,SAAgB,cAAc,CAC5B,IAAa,EACb,OAAwB,EACxB,QAAiB;IAEjB,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,EAAE,CAAC;IACzD,MAAM,GAAG,GAAG,IAA+B,CAAC;IAC5C,MAAM,UAAU,GAAG,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IACrC,MAAM,SAAS,GAAG,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IACnC,IAAI,CAAC,UAAU,IAAI,CAAC,SAAS;QAAE,OAAO,EAAE,CAAC;IACzC,MAAM,IAAI,GAAG,OAAO,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACjE,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,IAAI,KAAyB,CAAC;IAC9B,IAAI,IAA8B,CAAC;IACnC,IAAI,UAAU,EAAE,CAAC;QACf,MAAM,OAAO,GAAG,YAAY,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAC9C,IAAI,OAAO,KAAK,SAAS;YAAE,KAAK,GAAI,GAAG,CAAC,KAAgB,CAAC,IAAI,EAAE,CAAC;;YAC3D,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC9B,CAAC;IACD,IAAI,SAAS,EAAE,CAAC;QACd,MAAM,OAAO,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC/C,IAAI,OAAO,KAAK,SAAS;YAAE,IAAI,GAAG,GAAG,CAAC,IAAoB,CAAC;;YACtD,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC9B,CAAC;IACD,MAAM,CAAC,YAAY,CAAC,GAAG,QAAQ,CAAC;IAChC,IAAI,YAAY,KAAK,SAAS;QAAE,gBAAgB,CAAC,QAAQ,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;IAClF,OAAO,EAAE,GAAG,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;AACxF,CAAC;AA3BD,wCA2BC;AAED,SAAS,gBAAgB,CAAC,QAA4B,EAAE,OAAe,EAAE,OAAe;IACtF,MAAM,GAAG,GAAG,QAAQ,IAAI,EAAE,CAAC;IAC3B,IAAI,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAA,uBAAS,GAAE;QAAE,OAAO;IACjD,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACrB,sCAAsC;IACtC,OAAO,CAAC,IAAI,CACV,kCAAkC,QAAQ,IAAI,WAAW,gBAAgB,OAAO,QAAQ;QACtF,gFAAgF;QAChF,GAAG,OAAO,gDAAgD,CAC7D,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,SAAgB,qBAAqB,CAAC,IAAa;IACjD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACtC,+DAA+D;IAC/D,yEAAyE;IACzE,qEAAqE;IACrE,yEAAyE;IACzE,+DAA+D;IAC/D,MAAM,OAAO,GAAG,CAAC,CAAU,EAAW,EAAE,CACtC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,6BAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACtF,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IACrC,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAU,EAAE,EAAE,CAC7B,OAAO,CAAC,CAAC,CAAC;QACR,CAAC,CAAC,MAAM,CAAC,WAAW,CAChB,MAAM,CAAC,OAAO,CAAC,CAA4B,CAAC,CAAC,MAAM,CACjD,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,6BAAqB,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,CAClE,CACF;QACH,CAAC,CAAC,CAAC,CACN,CAAC;AACJ,CAAC;AAnBD,sDAmBC;AAED
|
|
1
|
+
{"version":3,"file":"items.js","sourceRoot":"","sources":["../../../../src/core/agent/coverage/items.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;GAWG;;;AAEH,6CAAwC;AAExC,4DAA6D;AAE7D,6CAAuC;AAMvC,MAAM,aAAa,GAAG,CAAC,CAAU,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC;AAchG,uDAAuD;AAC1C,QAAA,eAAe,GAAG,EAAE,CAAC;AAElC;0EAC0E;AAC1E,MAAM,cAAc,GAAsB,MAAM,CAAC,IAAI,CAAC;IACpD,SAAS,EAAE,IAAI;IACf,KAAK,EAAE,IAAI;CACyB,CAAC,CAAC;AAExC;4EAC4E;AAC/D,QAAA,qBAAqB,GAAsB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;AAE1E;mCACmC;AACnC,SAAS,YAAY,CAAC,KAAc,EAAE,IAAY;IAChD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QACrD,OAAO,iFAAiF,CAAC;IAC3F,CAAC;IACD,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;IACvB,MAAM,QAAQ,GAAG,IAAA,+BAAgB,EAAC,SAAS,EAAE,CAAC,CAAC,CAAC;IAChD,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,QAAQ,CAAC;IAC5C,IAAI,CAAC,CAAC,MAAM,GAAG,uBAAe,EAAE,CAAC;QAC/B,OAAO,gBAAgB,CAAC,CAAC,MAAM,6BAA6B,uBAAe,GAAG,CAAC;IACjF,CAAC;IACD,IAAI,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QAC3B,OAAO,8EAA8E,CAAC;IACxF,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,gFAAgF;AAChF,SAAS,WAAW,CAAC,IAAa,EAAE,OAAwB;IAC1D,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,OAAO,CACL,+EAA+E;YAC/E,2EAA2E,CAC5E,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/D,OAAO,2BAA2B,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IACtF,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAQD;4EAC4E;AAC5E,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,GAAW,EAAW,EAAE,CACjD,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,IAAK,IAAgC,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC;AAEpG;;kDAEkD;AAClD,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;AAEtC;;;;;;;;;GASG;AACH,SAAgB,cAAc,CAC5B,IAAa,EACb,OAAwB,EACxB,QAAiB;IAEjB,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,EAAE,CAAC;IACzD,MAAM,GAAG,GAAG,IAA+B,CAAC;IAC5C,MAAM,UAAU,GAAG,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IACrC,MAAM,SAAS,GAAG,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IACnC,IAAI,CAAC,UAAU,IAAI,CAAC,SAAS;QAAE,OAAO,EAAE,CAAC;IACzC,MAAM,IAAI,GAAG,OAAO,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACjE,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,IAAI,KAAyB,CAAC;IAC9B,IAAI,IAA8B,CAAC;IACnC,IAAI,UAAU,EAAE,CAAC;QACf,MAAM,OAAO,GAAG,YAAY,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAC9C,IAAI,OAAO,KAAK,SAAS;YAAE,KAAK,GAAI,GAAG,CAAC,KAAgB,CAAC,IAAI,EAAE,CAAC;;YAC3D,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC9B,CAAC;IACD,IAAI,SAAS,EAAE,CAAC;QACd,MAAM,OAAO,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC/C,IAAI,OAAO,KAAK,SAAS;YAAE,IAAI,GAAG,GAAG,CAAC,IAAoB,CAAC;;YACtD,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC9B,CAAC;IACD,MAAM,CAAC,YAAY,CAAC,GAAG,QAAQ,CAAC;IAChC,IAAI,YAAY,KAAK,SAAS;QAAE,gBAAgB,CAAC,QAAQ,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;IAClF,OAAO,EAAE,GAAG,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;AACxF,CAAC;AA3BD,wCA2BC;AAED,SAAS,gBAAgB,CAAC,QAA4B,EAAE,OAAe,EAAE,OAAe;IACtF,MAAM,GAAG,GAAG,QAAQ,IAAI,EAAE,CAAC;IAC3B,IAAI,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAA,uBAAS,GAAE;QAAE,OAAO;IACjD,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACrB,sCAAsC;IACtC,OAAO,CAAC,IAAI,CACV,kCAAkC,QAAQ,IAAI,WAAW,gBAAgB,OAAO,QAAQ;QACtF,gFAAgF;QAChF,GAAG,OAAO,gDAAgD,CAC7D,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,SAAgB,qBAAqB,CAAC,IAAa;IACjD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACtC,+DAA+D;IAC/D,yEAAyE;IACzE,qEAAqE;IACrE,yEAAyE;IACzE,+DAA+D;IAC/D,MAAM,OAAO,GAAG,CAAC,CAAU,EAAW,EAAE,CACtC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,6BAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACtF,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IACrC,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAU,EAAE,EAAE,CAC7B,OAAO,CAAC,CAAC,CAAC;QACR,CAAC,CAAC,MAAM,CAAC,WAAW,CAChB,MAAM,CAAC,OAAO,CAAC,CAA4B,CAAC,CAAC,MAAM,CACjD,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,6BAAqB,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,CAClE,CACF;QACH,CAAC,CAAC,CAAC,CACN,CAAC;AACJ,CAAC;AAnBD,sDAmBC;AAED;;;;;;;;GAQG;AACU,QAAA,yBAAyB,GAAsB,MAAM,CAAC,IAAI,CAAC;IACtE,OAAO,EAAE,IAAI;IACb,UAAU,EAAE,IAAI;IAChB,WAAW,EAAE,IAAI;CACgC,CAAC,CAAC;AAErD;;;;;;;;;;;;GAYG;AACH,SAAgB,qBAAqB,CACnC,OAAwB,EACxB,IAA0C,EAC1C,UAAmB;IAEnB,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IAClC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACzB,MAAM,IAAA,oBAAO,EACX,KAAK,OAAO,mEAAmE;YAC7E,wFAAwF,CAC3F,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAmB,EAAE,CAAC;IACjC,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;QACtB,MAAM,EAAE,GAAG,GAAG,OAAO,IAAI,CAAC,GAAG,CAAC;QAC9B,IAAI,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC;YACvB,IAAI,UAAU,EAAE,CAAC;gBACf,MAAM,IAAA,oBAAO,EACX,GAAG,EAAE,QAAQ,GAAG,CAAC,IAAI,EAAE,wDAAwD;oBAC7E,oFAAoF;oBACpF,2EAA2E;oBAC3E,YAAY,GAAG,CAAC,IAAI,EAAE,yDAAyD;oBAC/E,sBAAsB,CACzB,CAAC;YACJ,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YACjC,OAAO;QACT,CAAC;QACD,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,IAAI,CAAC,aAAa,CAAE,GAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1F,MAAM,IAAA,oBAAO,EACX,GAAG,EAAE,+DAA+D;gBAClE,kFAAkF;gBAClF,gBAAgB,CACnB,CAAC;QACJ,CAAC;QACD,MAAM,IAAI,GAAG,GAAmB,CAAC;QACjC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;QACrB,IAAI,GAAG,KAAK,SAAS,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC;YAC7C,MAAM,IAAA,oBAAO,EACX,GAAG,EAAE,MAAM,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,gDAAgD;gBACzE,2BAA2B,CAC9B,CAAC;QACJ,CAAC;QACD,IAAI,UAAU,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACpC,MAAM,IAAA,oBAAO,EACX,GAAG,EAAE,MAAM,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,iDAAiD;gBAC1E,kFAAkF;gBAClF,wCAAwC,CAC3C,CAAC;QACJ,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QAC9B,sEAAsE;QACtE,uEAAuE;QACvE,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC;QAC1D,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QACvD,MAAM,UAAU,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAC/E,IAAI,UAAU,KAAK,SAAS;YAAE,MAAM,IAAA,oBAAO,EAAC,GAAG,EAAE,MAAM,IAAI,QAAQ,UAAU,EAAE,CAAC,CAAC;QACjF,MAAM,SAAS,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC9E,IAAI,SAAS,KAAK,SAAS;YAAE,MAAM,IAAA,oBAAO,EAAC,GAAG,EAAE,MAAM,IAAI,QAAQ,SAAS,EAAE,CAAC,CAAC;QAC/E,KAAK,CAAC,IAAI,CAAC;YACT,IAAI;YACJ,GAAG,CAAC,GAAG,KAAK,SAAS,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC;YAC7C,GAAG,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC;YACnD,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,EAAE,IAAI,EAAE,CAAC;SACpC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AAnED,sDAmEC;AAED;;8DAE8D;AAC9D,SAAgB,QAAQ,CAAC,CAAe,EAAE,CAAe;IACvD,OAAO,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC;AAC9D,CAAC;AAFD,4BAEC;AAED;2EAC2E;AAC3E,SAAgB,UAAU,CAAC,KAA6C;IACtE,MAAM,GAAG,GAAmB,EAAE,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;YACxB,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;gBAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChE,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AARD,gCAQC;AAED;mEACmE;AACnE,MAAM,UAAU,GAAG,CAAC,SAAS,EAAE,aAAa,EAAE,cAAc,CAAU,CAAC;AAEvE;;;;;;GAMG;AACH,SAAgB,sBAAsB,CAAmB,MAAS;IAChE,IAAI,GAAwC,CAAC;IAC7C,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAI,MAAkC,CAAC,GAAG,CAAC,CAAC;QACtD,MAAM,IAAI,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;QACzC,IAAI,IAAI,KAAK,IAAI;YAAE,SAAS;QAC5B,GAAG,GAAG,GAAG,IAAI,EAAE,GAAI,MAAkC,EAAE,CAAC;QACxD,GAAG,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC;IAClB,CAAC;IACD,OAAQ,GAAqB,IAAI,MAAM,CAAC;AAC1C,CAAC;AAVD,wDAUC"}
|
|
@@ -3,9 +3,10 @@
|
|
|
3
3
|
* coverage/refusal — how a result helper refuses: the words every refusal
|
|
4
4
|
* starts with, and the one unknown-key check its declaration passes.
|
|
5
5
|
*
|
|
6
|
-
* Pattern: one voice,
|
|
7
|
-
* `
|
|
8
|
-
* looks like or which keys a
|
|
6
|
+
* Pattern: one voice, every door (`absent()`, `coverage()`,
|
|
7
|
+
* `describedResult()` and the deprecated `semantic()`), so they
|
|
8
|
+
* cannot disagree about what a refusal looks like or which keys a
|
|
9
|
+
* declaration may carry.
|
|
9
10
|
* Role: core/ layer, pure, a leaf — no imports.
|
|
10
11
|
* Emits: N/A.
|
|
11
12
|
*
|
|
@@ -30,13 +31,15 @@
|
|
|
30
31
|
* none. So every key a declaration carries is either one the helper reads or
|
|
31
32
|
* a refusal, and a refusal names the spelling meant when the key is that
|
|
32
33
|
* spelling with its case or separators changed (`not_checked` →
|
|
33
|
-
* `notChecked
|
|
34
|
+
* `notChecked`; `measured_at` → `measuredAt` at `describedResult()`, the
|
|
35
|
+
* reverse at `semantic()`).
|
|
34
36
|
*/
|
|
35
37
|
Object.defineProperty(exports, "__esModule", { value: true });
|
|
36
38
|
exports.refuseUnknownKeys = exports.spellingMeant = exports.refusal = exports.REFUSED_PREFIX = void 0;
|
|
37
39
|
/**
|
|
38
|
-
* The first words of every refusal `absent()`, `coverage()
|
|
39
|
-
* throw — and so of the error result a
|
|
40
|
+
* The first words of every refusal `absent()`, `coverage()`,
|
|
41
|
+
* `describedResult()` and `semantic()` throw — and so of the error result a
|
|
42
|
+
* model reads when one of them refuses
|
|
40
43
|
* inside a tool's `execute`. Neutral on purpose: it says what the text is and
|
|
41
44
|
* never depends on which helper refused.
|
|
42
45
|
*/
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"refusal.js","sourceRoot":"","sources":["../../../../src/core/agent/coverage/refusal.ts"],"names":[],"mappings":";AAAA
|
|
1
|
+
{"version":3,"file":"refusal.js","sourceRoot":"","sources":["../../../../src/core/agent/coverage/refusal.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;;;AAEH;;;;;;GAMG;AACU,QAAA,cAAc,GAAG,WAAW,CAAC;AAE1C,2EAA2E;AAC3E,SAAgB,OAAO,CAAC,OAAe;IACrC,OAAO,IAAI,KAAK,CAAC,GAAG,sBAAc,GAAG,OAAO,EAAE,CAAC,CAAC;AAClD,CAAC;AAFD,0BAEC;AAED;6DAC6D;AAC7D,MAAM,MAAM,GAAG,CAAC,GAAW,EAAU,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;AAE/E;;;;;GAKG;AACH,SAAgB,aAAa,CAAC,GAAW,EAAE,KAAwB;IACjE,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IACzB,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,KAAK,GAAG,IAAI,MAAM,CAAC,SAAS,CAAC,KAAK,IAAI,CAAC,CAAC;AACpF,CAAC;AAHD,sCAGC;AAED;;;;;;;;;;GAUG;AACH,SAAgB,iBAAiB,CAAC,KAAa,EAAE,KAAwB,EAAE,EAAW;IACpF,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACrC,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC;YAAE,SAAS;QAClC,MAAM,KAAK,GAAG,aAAa,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QACxC,MAAM,IAAI,GAAG,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,GAAG,EAAE,CAAC;QACrD,MAAM,OAAO,CACX,IAAI,IAAI,sCAAsC;YAC5C,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,qBAAqB,KAAK,KAAK,CAAC;YAC7D,cAAc,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,EAAE,IAAI,SAAS,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CACpF,CAAC;IACJ,CAAC;AACH,CAAC;AAXD,8CAWC"}
|
package/dist/debug.js
CHANGED
|
@@ -196,7 +196,7 @@ Object.defineProperty(exports, "saysWhatNotWhenRule", { enumerable: true, get: f
|
|
|
196
196
|
// the semantic-envelope vocabulary and the per-class rules declared on
|
|
197
197
|
// defineTool({ resultClass }). A triage tool whose sample declares no
|
|
198
198
|
// coverage fails the build NAMING the tool and the field. The authoring
|
|
199
|
-
// half (
|
|
199
|
+
// half (describedResult(), readSemantics, the types) ships on the main barrel.
|
|
200
200
|
var index_js_10 = require("./lib/semantics/index.js");
|
|
201
201
|
Object.defineProperty(exports, "checkSemantics", { enumerable: true, get: function () { return index_js_10.checkSemantics; } });
|
|
202
202
|
Object.defineProperty(exports, "coerceSemanticsCatalog", { enumerable: true, get: function () { return index_js_10.coerceSemanticsCatalog; } });
|
package/dist/debug.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"debug.js","sourceRoot":"","sources":["../src/debug.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;;;;;AAEH,uEAAuE;AACvE,uEAAuE;AACvE,wEAAwE;AACxE,wEAAwE;AACxE,4BAA4B;AAC5B,0DA8DuC;AA7DrC,wGAAA,YAAY,OAAA;AACZ,4GAAA,gBAAgB,OAAA;AAChB,0GAAA,cAAc,OAAA;AACd,uGAAA,WAAW,OAAA;AACX,uHAAA,2BAA2B,OAAA;AAC3B,sHAAA,0BAA0B,OAAA;AAC1B,qHAAA,yBAAyB,OAAA;AACzB,oHAAA,wBAAwB,OAAA;AACxB,yHAAA,6BAA6B,OAAA;AAC7B,kHAAA,sBAAsB,OAAA;AACtB,0GAAA,cAAc,OAAA;AACd,0GAAA,cAAc,OAAA;AACd,iHAAA,qBAAqB,OAAA;AACrB,2GAAA,eAAe,OAAA;AACf,yGAAA,aAAa,OAAA;AACb,kHAAA,sBAAsB,OAAA;AACtB,mHAAA,uBAAuB,OAAA;AACvB,0GAAA,cAAc,OAAA;AACd,8GAAA,kBAAkB,OAAA;AAClB,uGAAA,WAAW,OAAA;AACX,6GAAA,iBAAiB,OAAA;AACjB,yGAAA,aAAa,OAAA;AACb,qHAAA,yBAAyB,OAAA;AACzB,0GAAA,cAAc,OAAA;AACd,iHAAA,qBAAqB,OAAA;AACrB,uGAAA,WAAW,OAAA;AACX,qHAAA,yBAAyB,OAAA;AACzB,wGAAA,YAAY,OAAA;AACZ,+GAAA,mBAAmB,OAAA;AAkCrB,uEAAuE;AACvE,2EAA2E;AAC3E,mEAAmE;AACnE,0DASuC;AARrC,yGAAA,aAAa,OAAA;AACb,6GAAA,iBAAiB,OAAA;AACjB,oHAAA,wBAAwB,OAAA;AACxB,8GAAA,kBAAkB,OAAA;AAClB,4GAAA,gBAAgB,OAAA;AAChB,yGAAA,aAAa,OAAA;AAIf,yEAAyE;AACzE,yEAAyE;AACzE,wEAAwE;AACxE,uEAAuE;AACvE,0EAA0E;AAC1E,0DAAsF;AAA7E,yGAAA,aAAa,OAAA;AACtB,0EAA0E;AAC1E,sEAAsE;AACtE,wEAAwE;AACxE,uEAAuE;AACvE,0DAYuC;AAXrC,mHAAA,uBAAuB,OAAA;AACvB,6GAAA,iBAAiB,OAAA;AACjB,yGAAA,aAAa,OAAA;AACb,uGAAA,WAAW,OAAA;AACX,0GAAA,cAAc,OAAA;AAQhB,uEAAuE;AACvE,yEAAyE;AACzE,0EAA0E;AAC1E,kEAAkE;AAClE,0DAWuC;AAVrC,iHAAA,qBAAqB,OAAA;AACrB,wHAAA,4BAA4B,OAAA;AAC5B,mHAAA,uBAAuB,OAAA;AACvB,8GAAA,kBAAkB,OAAA;AAClB,2GAAA,eAAe,OAAA;AAOjB,qEAAqE;AACrE,sEAAsE;AACtE,sEAAsE;AACtE,+DAA+D;AAC/D,oEAAoE;AACpE,mEAAmE;AACnE,0DAmGuC;AAlGrC,8GAAA,kBAAkB,OAAA;AAClB,0GAAA,cAAc,OAAA;AACd,8GAAA,kBAAkB,OAAA;AAClB,8GAAA,kBAAkB,OAAA;AAClB,0GAAA,cAAc,OAAA;AACd,2GAAA,eAAe,OAAA;AACf,kHAAA,sBAAsB,OAAA;AACtB,sGAAA,UAAU,OAAA;AACV,0GAAA,cAAc,OAAA;AACd,iHAAA,qBAAqB,OAAA;AACrB,6GAAA,iBAAiB,OAAA;AACjB,yGAAA,aAAa,OAAA;AACb,iHAAA,qBAAqB,OAAA;AACrB,2GAAA,eAAe,OAAA;AACf,yGAAA,aAAa,OAAA;AACb,mHAAA,uBAAuB,OAAA;AACvB,oHAAA,wBAAwB,OAAA;AACxB,oHAAA,wBAAwB,OAAA;AACxB,8GAAA,kBAAkB,OAAA;AAClB,kHAAA,sBAAsB,OAAA;AACtB,gHAAA,oBAAoB,OAAA;AACpB,0GAAA,cAAc,OAAA;AACd,8GAAA,kBAAkB,OAAA;AAClB,wGAAA,YAAY,OAAA;AACZ,4GAAA,gBAAgB,OAAA;AAChB,+GAAA,mBAAmB,OAAA;AACnB,4GAAA,gBAAgB,OAAA;AAChB,+GAAA,mBAAmB,OAAA;AACnB,0GAAA,cAAc,OAAA;AACd,wGAAA,YAAY,OAAA;AACZ,sGAAA,UAAU,OAAA;AAqEZ,qEAAqE;AACrE,6EAA6E;AAC7E,yEAAyE;AACzE,6EAA6E;AAC7E,gFAAgF;AAChF,mFAAmF;AACnF,0DAgCuC;AA/BrC,oGAAA,QAAQ,OAAA;AACR,wGAAA,YAAY,OAAA;AACZ,iHAAA,qBAAqB,OAAA;AACrB,oGAAA,QAAQ,OAAA;AACR,+GAAA,mBAAmB,OAAA;AACnB,2GAAA,eAAe,OAAA;AACf,0GAAA,cAAc,OAAA;AACd,+GAAA,mBAAmB,OAAA;AACnB,8GAAA,kBAAkB,OAAA;AAClB,8GAAA,kBAAkB,OAAA;AAClB,oGAAA,QAAQ,OAAA;AACR,wGAAA,YAAY,OAAA;AACZ,gHAAA,oBAAoB,OAAA;AACpB,wGAAA,YAAY,OAAA;AACZ,gHAAA,oBAAoB,OAAA;AACpB,yGAAA,aAAa,OAAA;AAiBf,sEAAsE;AACtE,uEAAuE;AACvE,mEAAmE;AACnE,0DAYuC;AAXrC,iHAAA,qBAAqB,OAAA;AACrB,4GAAA,gBAAgB,OAAA;AAChB,oHAAA,wBAAwB,OAAA;AAU1B,wEAAwE;AACxE,8EAA8E;AAC9E,qEAAqE;AACrE,wEAAwE;AACxE,uEAAuE;AACvE,gEAAgE;AAChE,uEAAuE;AACvE,qDAgCkC;AA/BhC,8GAAA,kBAAkB,OAAA;AAClB,4GAAA,gBAAgB,OAAA;AAChB,yGAAA,aAAa,OAAA;AACb,6GAAA,iBAAiB,OAAA;AACjB,2HAAA,+BAA+B,OAAA;AAC/B,iHAAA,qBAAqB,OAAA;AACrB,8GAAA,kBAAkB,OAAA;AAClB,6GAAA,iBAAiB,OAAA;AACjB,kHAAA,sBAAsB,OAAA;AACtB,2GAAA,eAAe,OAAA;AACf,+GAAA,mBAAmB,OAAA;AACnB,2GAAA,eAAe,OAAA;AACf,mHAAA,uBAAuB,OAAA;AACvB,qHAAA,yBAAyB,OAAA;AACzB,6GAAA,iBAAiB,OAAA;AACjB,0GAAA,cAAc,OAAA;AACd,+GAAA,mBAAmB,OAAA;AAgBrB,6EAA6E;AAC7E,0EAA0E;AAC1E,uEAAuE;AACvE,sEAAsE;AACtE,wEAAwE;AACxE
|
|
1
|
+
{"version":3,"file":"debug.js","sourceRoot":"","sources":["../src/debug.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;;;;;AAEH,uEAAuE;AACvE,uEAAuE;AACvE,wEAAwE;AACxE,wEAAwE;AACxE,4BAA4B;AAC5B,0DA8DuC;AA7DrC,wGAAA,YAAY,OAAA;AACZ,4GAAA,gBAAgB,OAAA;AAChB,0GAAA,cAAc,OAAA;AACd,uGAAA,WAAW,OAAA;AACX,uHAAA,2BAA2B,OAAA;AAC3B,sHAAA,0BAA0B,OAAA;AAC1B,qHAAA,yBAAyB,OAAA;AACzB,oHAAA,wBAAwB,OAAA;AACxB,yHAAA,6BAA6B,OAAA;AAC7B,kHAAA,sBAAsB,OAAA;AACtB,0GAAA,cAAc,OAAA;AACd,0GAAA,cAAc,OAAA;AACd,iHAAA,qBAAqB,OAAA;AACrB,2GAAA,eAAe,OAAA;AACf,yGAAA,aAAa,OAAA;AACb,kHAAA,sBAAsB,OAAA;AACtB,mHAAA,uBAAuB,OAAA;AACvB,0GAAA,cAAc,OAAA;AACd,8GAAA,kBAAkB,OAAA;AAClB,uGAAA,WAAW,OAAA;AACX,6GAAA,iBAAiB,OAAA;AACjB,yGAAA,aAAa,OAAA;AACb,qHAAA,yBAAyB,OAAA;AACzB,0GAAA,cAAc,OAAA;AACd,iHAAA,qBAAqB,OAAA;AACrB,uGAAA,WAAW,OAAA;AACX,qHAAA,yBAAyB,OAAA;AACzB,wGAAA,YAAY,OAAA;AACZ,+GAAA,mBAAmB,OAAA;AAkCrB,uEAAuE;AACvE,2EAA2E;AAC3E,mEAAmE;AACnE,0DASuC;AARrC,yGAAA,aAAa,OAAA;AACb,6GAAA,iBAAiB,OAAA;AACjB,oHAAA,wBAAwB,OAAA;AACxB,8GAAA,kBAAkB,OAAA;AAClB,4GAAA,gBAAgB,OAAA;AAChB,yGAAA,aAAa,OAAA;AAIf,yEAAyE;AACzE,yEAAyE;AACzE,wEAAwE;AACxE,uEAAuE;AACvE,0EAA0E;AAC1E,0DAAsF;AAA7E,yGAAA,aAAa,OAAA;AACtB,0EAA0E;AAC1E,sEAAsE;AACtE,wEAAwE;AACxE,uEAAuE;AACvE,0DAYuC;AAXrC,mHAAA,uBAAuB,OAAA;AACvB,6GAAA,iBAAiB,OAAA;AACjB,yGAAA,aAAa,OAAA;AACb,uGAAA,WAAW,OAAA;AACX,0GAAA,cAAc,OAAA;AAQhB,uEAAuE;AACvE,yEAAyE;AACzE,0EAA0E;AAC1E,kEAAkE;AAClE,0DAWuC;AAVrC,iHAAA,qBAAqB,OAAA;AACrB,wHAAA,4BAA4B,OAAA;AAC5B,mHAAA,uBAAuB,OAAA;AACvB,8GAAA,kBAAkB,OAAA;AAClB,2GAAA,eAAe,OAAA;AAOjB,qEAAqE;AACrE,sEAAsE;AACtE,sEAAsE;AACtE,+DAA+D;AAC/D,oEAAoE;AACpE,mEAAmE;AACnE,0DAmGuC;AAlGrC,8GAAA,kBAAkB,OAAA;AAClB,0GAAA,cAAc,OAAA;AACd,8GAAA,kBAAkB,OAAA;AAClB,8GAAA,kBAAkB,OAAA;AAClB,0GAAA,cAAc,OAAA;AACd,2GAAA,eAAe,OAAA;AACf,kHAAA,sBAAsB,OAAA;AACtB,sGAAA,UAAU,OAAA;AACV,0GAAA,cAAc,OAAA;AACd,iHAAA,qBAAqB,OAAA;AACrB,6GAAA,iBAAiB,OAAA;AACjB,yGAAA,aAAa,OAAA;AACb,iHAAA,qBAAqB,OAAA;AACrB,2GAAA,eAAe,OAAA;AACf,yGAAA,aAAa,OAAA;AACb,mHAAA,uBAAuB,OAAA;AACvB,oHAAA,wBAAwB,OAAA;AACxB,oHAAA,wBAAwB,OAAA;AACxB,8GAAA,kBAAkB,OAAA;AAClB,kHAAA,sBAAsB,OAAA;AACtB,gHAAA,oBAAoB,OAAA;AACpB,0GAAA,cAAc,OAAA;AACd,8GAAA,kBAAkB,OAAA;AAClB,wGAAA,YAAY,OAAA;AACZ,4GAAA,gBAAgB,OAAA;AAChB,+GAAA,mBAAmB,OAAA;AACnB,4GAAA,gBAAgB,OAAA;AAChB,+GAAA,mBAAmB,OAAA;AACnB,0GAAA,cAAc,OAAA;AACd,wGAAA,YAAY,OAAA;AACZ,sGAAA,UAAU,OAAA;AAqEZ,qEAAqE;AACrE,6EAA6E;AAC7E,yEAAyE;AACzE,6EAA6E;AAC7E,gFAAgF;AAChF,mFAAmF;AACnF,0DAgCuC;AA/BrC,oGAAA,QAAQ,OAAA;AACR,wGAAA,YAAY,OAAA;AACZ,iHAAA,qBAAqB,OAAA;AACrB,oGAAA,QAAQ,OAAA;AACR,+GAAA,mBAAmB,OAAA;AACnB,2GAAA,eAAe,OAAA;AACf,0GAAA,cAAc,OAAA;AACd,+GAAA,mBAAmB,OAAA;AACnB,8GAAA,kBAAkB,OAAA;AAClB,8GAAA,kBAAkB,OAAA;AAClB,oGAAA,QAAQ,OAAA;AACR,wGAAA,YAAY,OAAA;AACZ,gHAAA,oBAAoB,OAAA;AACpB,wGAAA,YAAY,OAAA;AACZ,gHAAA,oBAAoB,OAAA;AACpB,yGAAA,aAAa,OAAA;AAiBf,sEAAsE;AACtE,uEAAuE;AACvE,mEAAmE;AACnE,0DAYuC;AAXrC,iHAAA,qBAAqB,OAAA;AACrB,4GAAA,gBAAgB,OAAA;AAChB,oHAAA,wBAAwB,OAAA;AAU1B,wEAAwE;AACxE,8EAA8E;AAC9E,qEAAqE;AACrE,wEAAwE;AACxE,uEAAuE;AACvE,gEAAgE;AAChE,uEAAuE;AACvE,qDAgCkC;AA/BhC,8GAAA,kBAAkB,OAAA;AAClB,4GAAA,gBAAgB,OAAA;AAChB,yGAAA,aAAa,OAAA;AACb,6GAAA,iBAAiB,OAAA;AACjB,2HAAA,+BAA+B,OAAA;AAC/B,iHAAA,qBAAqB,OAAA;AACrB,8GAAA,kBAAkB,OAAA;AAClB,6GAAA,iBAAiB,OAAA;AACjB,kHAAA,sBAAsB,OAAA;AACtB,2GAAA,eAAe,OAAA;AACf,+GAAA,mBAAmB,OAAA;AACnB,2GAAA,eAAe,OAAA;AACf,mHAAA,uBAAuB,OAAA;AACvB,qHAAA,yBAAyB,OAAA;AACzB,6GAAA,iBAAiB,OAAA;AACjB,0GAAA,cAAc,OAAA;AACd,+GAAA,mBAAmB,OAAA;AAgBrB,6EAA6E;AAC7E,0EAA0E;AAC1E,uEAAuE;AACvE,sEAAsE;AACtE,wEAAwE;AACxE,+EAA+E;AAC/E,sDAUkC;AAThC,2GAAA,cAAc,OAAA;AACd,mHAAA,sBAAsB,OAAA;AACtB,kHAAA,qBAAqB,OAAA;AACrB,iHAAA,oBAAoB,OAAA;AAOtB,2EAA2E;AAC3E,6EAA6E;AAC7E,6EAA6E;AAC7E,uEAAuE;AACvE,2EAA2E;AAC3E,8EAA8E;AAC9E,yCAAyC;AACzC,0DAasC;AAZpC,yGAAA,YAAY,OAAA"}
|
|
@@ -938,7 +938,7 @@ export declare class AgentBuilder {
|
|
|
938
938
|
*
|
|
939
939
|
* @example
|
|
940
940
|
* const agent = Agent.create({ provider, model })
|
|
941
|
-
* .tool(screenTool) // returns
|
|
941
|
+
* .tool(screenTool) // returns describedResult({ facts: [...], provenance })
|
|
942
942
|
* .outputSchema(AnswerSchema)
|
|
943
943
|
* .claims({ nav_count: { entity: 'screen2', field: 'nav' } })
|
|
944
944
|
* .build();
|
|
@@ -1241,7 +1241,7 @@ export class AgentBuilder {
|
|
|
1241
1241
|
*
|
|
1242
1242
|
* @example
|
|
1243
1243
|
* const agent = Agent.create({ provider, model })
|
|
1244
|
-
* .tool(screenTool) // returns
|
|
1244
|
+
* .tool(screenTool) // returns describedResult({ facts: [...], provenance })
|
|
1245
1245
|
* .outputSchema(AnswerSchema)
|
|
1246
1246
|
* .claims({ nav_count: { entity: 'screen2', field: 'nav' } })
|
|
1247
1247
|
* .build();
|
|
@@ -48,7 +48,8 @@ export declare function listWithoutRecordOnly(list: unknown): unknown;
|
|
|
48
48
|
* The keys a {@link CoverageDeclaration} has — the three lists, as the author
|
|
49
49
|
* spells them — tied to the type in BOTH directions: a key the interface
|
|
50
50
|
* gains, or one listed here that it does not have, fails to compile.
|
|
51
|
-
* `coverage()` and a `semantic()` declaration's
|
|
51
|
+
* `coverage()` and a `describedResult()` / `semantic()` declaration's
|
|
52
|
+
* `coverage` refuse any other
|
|
52
53
|
* key (`refusal.ts` · `refuseUnknownKeys`), so `not_checked` is refused,
|
|
53
54
|
* naming `notChecked`, instead of vanishing.
|
|
54
55
|
*/
|
|
@@ -138,7 +138,8 @@ export function listWithoutRecordOnly(list) {
|
|
|
138
138
|
* The keys a {@link CoverageDeclaration} has — the three lists, as the author
|
|
139
139
|
* spells them — tied to the type in BOTH directions: a key the interface
|
|
140
140
|
* gains, or one listed here that it does not have, fails to compile.
|
|
141
|
-
* `coverage()` and a `semantic()` declaration's
|
|
141
|
+
* `coverage()` and a `describedResult()` / `semantic()` declaration's
|
|
142
|
+
* `coverage` refuse any other
|
|
142
143
|
* key (`refusal.ts` · `refuseUnknownKeys`), so `not_checked` is refused,
|
|
143
144
|
* naming `notChecked`, instead of vanishing.
|
|
144
145
|
*/
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"items.js","sourceRoot":"","sources":["../../../../../src/core/agent/coverage/items.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAExC,OAAO,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAE7D,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAMvC,MAAM,aAAa,GAAG,CAAC,CAAU,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC;AAchG,uDAAuD;AACvD,MAAM,CAAC,MAAM,eAAe,GAAG,EAAE,CAAC;AAElC;0EAC0E;AAC1E,MAAM,cAAc,GAAsB,MAAM,CAAC,IAAI,CAAC;IACpD,SAAS,EAAE,IAAI;IACf,KAAK,EAAE,IAAI;CACyB,CAAC,CAAC;AAExC;4EAC4E;AAC5E,MAAM,CAAC,MAAM,qBAAqB,GAAsB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;AAE1E;mCACmC;AACnC,SAAS,YAAY,CAAC,KAAc,EAAE,IAAY;IAChD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QACrD,OAAO,iFAAiF,CAAC;IAC3F,CAAC;IACD,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;IACvB,MAAM,QAAQ,GAAG,gBAAgB,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC;IAChD,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,QAAQ,CAAC;IAC5C,IAAI,CAAC,CAAC,MAAM,GAAG,eAAe,EAAE,CAAC;QAC/B,OAAO,gBAAgB,CAAC,CAAC,MAAM,6BAA6B,eAAe,GAAG,CAAC;IACjF,CAAC;IACD,IAAI,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QAC3B,OAAO,8EAA8E,CAAC;IACxF,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,gFAAgF;AAChF,SAAS,WAAW,CAAC,IAAa,EAAE,OAAwB;IAC1D,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,OAAO,CACL,+EAA+E;YAC/E,2EAA2E,CAC5E,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/D,OAAO,2BAA2B,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IACtF,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAQD;4EAC4E;AAC5E,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,GAAW,EAAW,EAAE,CACjD,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,IAAK,IAAgC,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC;AAEpG;;kDAEkD;AAClD,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;AAEtC;;;;;;;;;GASG;AACH,MAAM,UAAU,cAAc,CAC5B,IAAa,EACb,OAAwB,EACxB,QAAiB;IAEjB,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,EAAE,CAAC;IACzD,MAAM,GAAG,GAAG,IAA+B,CAAC;IAC5C,MAAM,UAAU,GAAG,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IACrC,MAAM,SAAS,GAAG,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IACnC,IAAI,CAAC,UAAU,IAAI,CAAC,SAAS;QAAE,OAAO,EAAE,CAAC;IACzC,MAAM,IAAI,GAAG,OAAO,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACjE,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,IAAI,KAAyB,CAAC;IAC9B,IAAI,IAA8B,CAAC;IACnC,IAAI,UAAU,EAAE,CAAC;QACf,MAAM,OAAO,GAAG,YAAY,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAC9C,IAAI,OAAO,KAAK,SAAS;YAAE,KAAK,GAAI,GAAG,CAAC,KAAgB,CAAC,IAAI,EAAE,CAAC;;YAC3D,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC9B,CAAC;IACD,IAAI,SAAS,EAAE,CAAC;QACd,MAAM,OAAO,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC/C,IAAI,OAAO,KAAK,SAAS;YAAE,IAAI,GAAG,GAAG,CAAC,IAAoB,CAAC;;YACtD,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC9B,CAAC;IACD,MAAM,CAAC,YAAY,CAAC,GAAG,QAAQ,CAAC;IAChC,IAAI,YAAY,KAAK,SAAS;QAAE,gBAAgB,CAAC,QAAQ,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;IAClF,OAAO,EAAE,GAAG,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;AACxF,CAAC;AAED,SAAS,gBAAgB,CAAC,QAA4B,EAAE,OAAe,EAAE,OAAe;IACtF,MAAM,GAAG,GAAG,QAAQ,IAAI,EAAE,CAAC;IAC3B,IAAI,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,EAAE;QAAE,OAAO;IACjD,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACrB,sCAAsC;IACtC,OAAO,CAAC,IAAI,CACV,kCAAkC,QAAQ,IAAI,WAAW,gBAAgB,OAAO,QAAQ;QACtF,gFAAgF;QAChF,GAAG,OAAO,gDAAgD,CAC7D,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,qBAAqB,CAAC,IAAa;IACjD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACtC,+DAA+D;IAC/D,yEAAyE;IACzE,qEAAqE;IACrE,yEAAyE;IACzE,+DAA+D;IAC/D,MAAM,OAAO,GAAG,CAAC,CAAU,EAAW,EAAE,CACtC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACtF,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IACrC,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAU,EAAE,EAAE,CAC7B,OAAO,CAAC,CAAC,CAAC;QACR,CAAC,CAAC,MAAM,CAAC,WAAW,CAChB,MAAM,CAAC,OAAO,CAAC,CAA4B,CAAC,CAAC,MAAM,CACjD,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,qBAAqB,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,CAClE,CACF;QACH,CAAC,CAAC,CAAC,CACN,CAAC;AACJ,CAAC;AAED
|
|
1
|
+
{"version":3,"file":"items.js","sourceRoot":"","sources":["../../../../../src/core/agent/coverage/items.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAExC,OAAO,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAE7D,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAMvC,MAAM,aAAa,GAAG,CAAC,CAAU,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC;AAchG,uDAAuD;AACvD,MAAM,CAAC,MAAM,eAAe,GAAG,EAAE,CAAC;AAElC;0EAC0E;AAC1E,MAAM,cAAc,GAAsB,MAAM,CAAC,IAAI,CAAC;IACpD,SAAS,EAAE,IAAI;IACf,KAAK,EAAE,IAAI;CACyB,CAAC,CAAC;AAExC;4EAC4E;AAC5E,MAAM,CAAC,MAAM,qBAAqB,GAAsB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;AAE1E;mCACmC;AACnC,SAAS,YAAY,CAAC,KAAc,EAAE,IAAY;IAChD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QACrD,OAAO,iFAAiF,CAAC;IAC3F,CAAC;IACD,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;IACvB,MAAM,QAAQ,GAAG,gBAAgB,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC;IAChD,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,QAAQ,CAAC;IAC5C,IAAI,CAAC,CAAC,MAAM,GAAG,eAAe,EAAE,CAAC;QAC/B,OAAO,gBAAgB,CAAC,CAAC,MAAM,6BAA6B,eAAe,GAAG,CAAC;IACjF,CAAC;IACD,IAAI,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QAC3B,OAAO,8EAA8E,CAAC;IACxF,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,gFAAgF;AAChF,SAAS,WAAW,CAAC,IAAa,EAAE,OAAwB;IAC1D,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,OAAO,CACL,+EAA+E;YAC/E,2EAA2E,CAC5E,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/D,OAAO,2BAA2B,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IACtF,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAQD;4EAC4E;AAC5E,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,GAAW,EAAW,EAAE,CACjD,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,IAAK,IAAgC,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC;AAEpG;;kDAEkD;AAClD,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;AAEtC;;;;;;;;;GASG;AACH,MAAM,UAAU,cAAc,CAC5B,IAAa,EACb,OAAwB,EACxB,QAAiB;IAEjB,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,EAAE,CAAC;IACzD,MAAM,GAAG,GAAG,IAA+B,CAAC;IAC5C,MAAM,UAAU,GAAG,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IACrC,MAAM,SAAS,GAAG,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IACnC,IAAI,CAAC,UAAU,IAAI,CAAC,SAAS;QAAE,OAAO,EAAE,CAAC;IACzC,MAAM,IAAI,GAAG,OAAO,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACjE,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,IAAI,KAAyB,CAAC;IAC9B,IAAI,IAA8B,CAAC;IACnC,IAAI,UAAU,EAAE,CAAC;QACf,MAAM,OAAO,GAAG,YAAY,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAC9C,IAAI,OAAO,KAAK,SAAS;YAAE,KAAK,GAAI,GAAG,CAAC,KAAgB,CAAC,IAAI,EAAE,CAAC;;YAC3D,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC9B,CAAC;IACD,IAAI,SAAS,EAAE,CAAC;QACd,MAAM,OAAO,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC/C,IAAI,OAAO,KAAK,SAAS;YAAE,IAAI,GAAG,GAAG,CAAC,IAAoB,CAAC;;YACtD,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC9B,CAAC;IACD,MAAM,CAAC,YAAY,CAAC,GAAG,QAAQ,CAAC;IAChC,IAAI,YAAY,KAAK,SAAS;QAAE,gBAAgB,CAAC,QAAQ,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;IAClF,OAAO,EAAE,GAAG,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;AACxF,CAAC;AAED,SAAS,gBAAgB,CAAC,QAA4B,EAAE,OAAe,EAAE,OAAe;IACtF,MAAM,GAAG,GAAG,QAAQ,IAAI,EAAE,CAAC;IAC3B,IAAI,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,EAAE;QAAE,OAAO;IACjD,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACrB,sCAAsC;IACtC,OAAO,CAAC,IAAI,CACV,kCAAkC,QAAQ,IAAI,WAAW,gBAAgB,OAAO,QAAQ;QACtF,gFAAgF;QAChF,GAAG,OAAO,gDAAgD,CAC7D,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,qBAAqB,CAAC,IAAa;IACjD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACtC,+DAA+D;IAC/D,yEAAyE;IACzE,qEAAqE;IACrE,yEAAyE;IACzE,+DAA+D;IAC/D,MAAM,OAAO,GAAG,CAAC,CAAU,EAAW,EAAE,CACtC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACtF,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IACrC,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAU,EAAE,EAAE,CAC7B,OAAO,CAAC,CAAC,CAAC;QACR,CAAC,CAAC,MAAM,CAAC,WAAW,CAChB,MAAM,CAAC,OAAO,CAAC,CAA4B,CAAC,CAAC,MAAM,CACjD,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,qBAAqB,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,CAClE,CACF;QACH,CAAC,CAAC,CAAC,CACN,CAAC;AACJ,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAsB,MAAM,CAAC,IAAI,CAAC;IACtE,OAAO,EAAE,IAAI;IACb,UAAU,EAAE,IAAI;IAChB,WAAW,EAAE,IAAI;CACgC,CAAC,CAAC;AAErD;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,qBAAqB,CACnC,OAAwB,EACxB,IAA0C,EAC1C,UAAmB;IAEnB,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IAClC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACzB,MAAM,OAAO,CACX,KAAK,OAAO,mEAAmE;YAC7E,wFAAwF,CAC3F,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAmB,EAAE,CAAC;IACjC,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;QACtB,MAAM,EAAE,GAAG,GAAG,OAAO,IAAI,CAAC,GAAG,CAAC;QAC9B,IAAI,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC;YACvB,IAAI,UAAU,EAAE,CAAC;gBACf,MAAM,OAAO,CACX,GAAG,EAAE,QAAQ,GAAG,CAAC,IAAI,EAAE,wDAAwD;oBAC7E,oFAAoF;oBACpF,2EAA2E;oBAC3E,YAAY,GAAG,CAAC,IAAI,EAAE,yDAAyD;oBAC/E,sBAAsB,CACzB,CAAC;YACJ,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YACjC,OAAO;QACT,CAAC;QACD,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,IAAI,CAAC,aAAa,CAAE,GAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1F,MAAM,OAAO,CACX,GAAG,EAAE,+DAA+D;gBAClE,kFAAkF;gBAClF,gBAAgB,CACnB,CAAC;QACJ,CAAC;QACD,MAAM,IAAI,GAAG,GAAmB,CAAC;QACjC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;QACrB,IAAI,GAAG,KAAK,SAAS,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC;YAC7C,MAAM,OAAO,CACX,GAAG,EAAE,MAAM,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,gDAAgD;gBACzE,2BAA2B,CAC9B,CAAC;QACJ,CAAC;QACD,IAAI,UAAU,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACpC,MAAM,OAAO,CACX,GAAG,EAAE,MAAM,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,iDAAiD;gBAC1E,kFAAkF;gBAClF,wCAAwC,CAC3C,CAAC;QACJ,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QAC9B,sEAAsE;QACtE,uEAAuE;QACvE,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC;QAC1D,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QACvD,MAAM,UAAU,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAC/E,IAAI,UAAU,KAAK,SAAS;YAAE,MAAM,OAAO,CAAC,GAAG,EAAE,MAAM,IAAI,QAAQ,UAAU,EAAE,CAAC,CAAC;QACjF,MAAM,SAAS,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC9E,IAAI,SAAS,KAAK,SAAS;YAAE,MAAM,OAAO,CAAC,GAAG,EAAE,MAAM,IAAI,QAAQ,SAAS,EAAE,CAAC,CAAC;QAC/E,KAAK,CAAC,IAAI,CAAC;YACT,IAAI;YACJ,GAAG,CAAC,GAAG,KAAK,SAAS,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC;YAC7C,GAAG,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC;YACnD,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,EAAE,IAAI,EAAE,CAAC;SACpC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;8DAE8D;AAC9D,MAAM,UAAU,QAAQ,CAAC,CAAe,EAAE,CAAe;IACvD,OAAO,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC;AAC9D,CAAC;AAED;2EAC2E;AAC3E,MAAM,UAAU,UAAU,CAAC,KAA6C;IACtE,MAAM,GAAG,GAAmB,EAAE,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;YACxB,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;gBAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChE,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;mEACmE;AACnE,MAAM,UAAU,GAAG,CAAC,SAAS,EAAE,aAAa,EAAE,cAAc,CAAU,CAAC;AAEvE;;;;;;GAMG;AACH,MAAM,UAAU,sBAAsB,CAAmB,MAAS;IAChE,IAAI,GAAwC,CAAC;IAC7C,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAI,MAAkC,CAAC,GAAG,CAAC,CAAC;QACtD,MAAM,IAAI,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;QACzC,IAAI,IAAI,KAAK,IAAI;YAAE,SAAS;QAC5B,GAAG,GAAG,GAAG,IAAI,EAAE,GAAI,MAAkC,EAAE,CAAC;QACxD,GAAG,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC;IAClB,CAAC;IACD,OAAQ,GAAqB,IAAI,MAAM,CAAC;AAC1C,CAAC"}
|
|
@@ -2,9 +2,10 @@
|
|
|
2
2
|
* coverage/refusal — how a result helper refuses: the words every refusal
|
|
3
3
|
* starts with, and the one unknown-key check its declaration passes.
|
|
4
4
|
*
|
|
5
|
-
* Pattern: one voice,
|
|
6
|
-
* `
|
|
7
|
-
* looks like or which keys a
|
|
5
|
+
* Pattern: one voice, every door (`absent()`, `coverage()`,
|
|
6
|
+
* `describedResult()` and the deprecated `semantic()`), so they
|
|
7
|
+
* cannot disagree about what a refusal looks like or which keys a
|
|
8
|
+
* declaration may carry.
|
|
8
9
|
* Role: core/ layer, pure, a leaf — no imports.
|
|
9
10
|
* Emits: N/A.
|
|
10
11
|
*
|
|
@@ -29,11 +30,13 @@
|
|
|
29
30
|
* none. So every key a declaration carries is either one the helper reads or
|
|
30
31
|
* a refusal, and a refusal names the spelling meant when the key is that
|
|
31
32
|
* spelling with its case or separators changed (`not_checked` →
|
|
32
|
-
* `notChecked
|
|
33
|
+
* `notChecked`; `measured_at` → `measuredAt` at `describedResult()`, the
|
|
34
|
+
* reverse at `semantic()`).
|
|
33
35
|
*/
|
|
34
36
|
/**
|
|
35
|
-
* The first words of every refusal `absent()`, `coverage()
|
|
36
|
-
* throw — and so of the error result a
|
|
37
|
+
* The first words of every refusal `absent()`, `coverage()`,
|
|
38
|
+
* `describedResult()` and `semantic()` throw — and so of the error result a
|
|
39
|
+
* model reads when one of them refuses
|
|
37
40
|
* inside a tool's `execute`. Neutral on purpose: it says what the text is and
|
|
38
41
|
* never depends on which helper refused.
|
|
39
42
|
*/
|
|
@@ -2,9 +2,10 @@
|
|
|
2
2
|
* coverage/refusal — how a result helper refuses: the words every refusal
|
|
3
3
|
* starts with, and the one unknown-key check its declaration passes.
|
|
4
4
|
*
|
|
5
|
-
* Pattern: one voice,
|
|
6
|
-
* `
|
|
7
|
-
* looks like or which keys a
|
|
5
|
+
* Pattern: one voice, every door (`absent()`, `coverage()`,
|
|
6
|
+
* `describedResult()` and the deprecated `semantic()`), so they
|
|
7
|
+
* cannot disagree about what a refusal looks like or which keys a
|
|
8
|
+
* declaration may carry.
|
|
8
9
|
* Role: core/ layer, pure, a leaf — no imports.
|
|
9
10
|
* Emits: N/A.
|
|
10
11
|
*
|
|
@@ -29,11 +30,13 @@
|
|
|
29
30
|
* none. So every key a declaration carries is either one the helper reads or
|
|
30
31
|
* a refusal, and a refusal names the spelling meant when the key is that
|
|
31
32
|
* spelling with its case or separators changed (`not_checked` →
|
|
32
|
-
* `notChecked
|
|
33
|
+
* `notChecked`; `measured_at` → `measuredAt` at `describedResult()`, the
|
|
34
|
+
* reverse at `semantic()`).
|
|
33
35
|
*/
|
|
34
36
|
/**
|
|
35
|
-
* The first words of every refusal `absent()`, `coverage()
|
|
36
|
-
* throw — and so of the error result a
|
|
37
|
+
* The first words of every refusal `absent()`, `coverage()`,
|
|
38
|
+
* `describedResult()` and `semantic()` throw — and so of the error result a
|
|
39
|
+
* model reads when one of them refuses
|
|
37
40
|
* inside a tool's `execute`. Neutral on purpose: it says what the text is and
|
|
38
41
|
* never depends on which helper refused.
|
|
39
42
|
*/
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"refusal.js","sourceRoot":"","sources":["../../../../../src/core/agent/coverage/refusal.ts"],"names":[],"mappings":"AAAA
|
|
1
|
+
{"version":3,"file":"refusal.js","sourceRoot":"","sources":["../../../../../src/core/agent/coverage/refusal.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AAEH;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,WAAW,CAAC;AAE1C,2EAA2E;AAC3E,MAAM,UAAU,OAAO,CAAC,OAAe;IACrC,OAAO,IAAI,KAAK,CAAC,GAAG,cAAc,GAAG,OAAO,EAAE,CAAC,CAAC;AAClD,CAAC;AAED;6DAC6D;AAC7D,MAAM,MAAM,GAAG,CAAC,GAAW,EAAU,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;AAE/E;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAAC,GAAW,EAAE,KAAwB;IACjE,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IACzB,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,KAAK,GAAG,IAAI,MAAM,CAAC,SAAS,CAAC,KAAK,IAAI,CAAC,CAAC;AACpF,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAa,EAAE,KAAwB,EAAE,EAAW;IACpF,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACrC,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC;YAAE,SAAS;QAClC,MAAM,KAAK,GAAG,aAAa,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QACxC,MAAM,IAAI,GAAG,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,GAAG,EAAE,CAAC;QACrD,MAAM,OAAO,CACX,IAAI,IAAI,sCAAsC;YAC5C,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,qBAAqB,KAAK,KAAK,CAAC;YAC7D,cAAc,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,EAAE,IAAI,SAAS,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CACpF,CAAC;IACJ,CAAC;AACH,CAAC"}
|
package/dist/esm/debug.js
CHANGED
|
@@ -78,7 +78,7 @@ export { analyzeToolCatalog, catalogFromTools, coerceCatalog, confusabilityText,
|
|
|
78
78
|
// the semantic-envelope vocabulary and the per-class rules declared on
|
|
79
79
|
// defineTool({ resultClass }). A triage tool whose sample declares no
|
|
80
80
|
// coverage fails the build NAMING the tool and the field. The authoring
|
|
81
|
-
// half (
|
|
81
|
+
// half (describedResult(), readSemantics, the types) ships on the main barrel.
|
|
82
82
|
export { checkSemantics, coerceSemanticsCatalog, formatSemanticsReport, runCheckSemanticsCli, } from './lib/semantics/index.js';
|
|
83
83
|
// recorded-chat — the session-scoped turn recorder. Wraps a consumer agent
|
|
84
84
|
// factory into a recorded conversation: send() freezes each turn's evidence,
|
package/dist/esm/debug.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"debug.js","sourceRoot":"","sources":["../../src/debug.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAEH,uEAAuE;AACvE,uEAAuE;AACvE,wEAAwE;AACxE,wEAAwE;AACxE,4BAA4B;AAC5B,OAAO,EACL,YAAY,EACZ,gBAAgB,EAChB,cAAc,EACd,WAAW,EACX,2BAA2B,EAC3B,0BAA0B,EAC1B,yBAAyB,EACzB,wBAAwB,EACxB,6BAA6B,EAC7B,sBAAsB,EACtB,cAAc,EACd,cAAc,EACd,qBAAqB,EACrB,eAAe,EACf,aAAa,EACb,sBAAsB,EACtB,uBAAuB,EACvB,cAAc,EACd,kBAAkB,EAClB,WAAW,EACX,iBAAiB,EACjB,aAAa,EACb,yBAAyB,EACzB,cAAc,EACd,qBAAqB,EACrB,WAAW,EACX,yBAAyB,EACzB,YAAY,EACZ,mBAAmB,GAiCpB,MAAM,+BAA+B,CAAC;AACvC,uEAAuE;AACvE,2EAA2E;AAC3E,mEAAmE;AACnE,OAAO,EACL,aAAa,EACb,iBAAiB,EACjB,wBAAwB,EACxB,kBAAkB,EAClB,gBAAgB,EAChB,aAAa,GAGd,MAAM,+BAA+B,CAAC;AACvC,yEAAyE;AACzE,yEAAyE;AACzE,wEAAwE;AACxE,uEAAuE;AACvE,0EAA0E;AAC1E,OAAO,EAAE,aAAa,EAA0B,MAAM,+BAA+B,CAAC;AACtF,0EAA0E;AAC1E,sEAAsE;AACtE,wEAAwE;AACxE,uEAAuE;AACvE,OAAO,EACL,uBAAuB,EACvB,iBAAiB,EACjB,aAAa,EACb,WAAW,EACX,cAAc,GAOf,MAAM,+BAA+B,CAAC;AACvC,uEAAuE;AACvE,yEAAyE;AACzE,0EAA0E;AAC1E,kEAAkE;AAClE,OAAO,EACL,qBAAqB,EACrB,4BAA4B,EAC5B,uBAAuB,EACvB,kBAAkB,EAClB,eAAe,GAMhB,MAAM,+BAA+B,CAAC;AACvC,qEAAqE;AACrE,sEAAsE;AACtE,sEAAsE;AACtE,+DAA+D;AAC/D,oEAAoE;AACpE,mEAAmE;AACnE,OAAO,EACL,kBAAkB,EAClB,cAAc,EACd,kBAAkB,EAClB,kBAAkB,EAClB,cAAc,EACd,eAAe,EACf,sBAAsB,EACtB,UAAU,EACV,cAAc,EACd,qBAAqB,EACrB,iBAAiB,EACjB,aAAa,EACb,qBAAqB,EACrB,eAAe,EACf,aAAa,EACb,uBAAuB,EACvB,wBAAwB,EACxB,wBAAwB,EACxB,kBAAkB,EAClB,sBAAsB,EACtB,oBAAoB,EACpB,cAAc,EACd,kBAAkB,EAClB,YAAY,EACZ,gBAAgB,EAChB,mBAAmB,EACnB,gBAAgB,EAChB,mBAAmB,EACnB,cAAc,EACd,YAAY,EACZ,UAAU,GAoEX,MAAM,+BAA+B,CAAC;AACvC,qEAAqE;AACrE,6EAA6E;AAC7E,yEAAyE;AACzE,6EAA6E;AAC7E,gFAAgF;AAChF,mFAAmF;AACnF,OAAO,EACL,QAAQ,EACR,YAAY,EACZ,qBAAqB,EACrB,QAAQ,EACR,mBAAmB,EACnB,eAAe,EACf,cAAc,EACd,mBAAmB,EACnB,kBAAkB,EAClB,kBAAkB,EAClB,QAAQ,EACR,YAAY,EACZ,oBAAoB,EACpB,YAAY,EACZ,oBAAoB,EACpB,aAAa,GAgBd,MAAM,+BAA+B,CAAC;AACvC,sEAAsE;AACtE,uEAAuE;AACvE,mEAAmE;AACnE,OAAO,EACL,qBAAqB,EACrB,gBAAgB,EAChB,wBAAwB,GASzB,MAAM,+BAA+B,CAAC;AACvC,wEAAwE;AACxE,8EAA8E;AAC9E,qEAAqE;AACrE,wEAAwE;AACxE,uEAAuE;AACvE,gEAAgE;AAChE,uEAAuE;AACvE,OAAO,EACL,kBAAkB,EAClB,gBAAgB,EAChB,aAAa,EACb,iBAAiB,EACjB,+BAA+B,EAC/B,qBAAqB,EACrB,kBAAkB,EAClB,iBAAiB,EACjB,sBAAsB,EACtB,eAAe,EACf,mBAAmB,EACnB,eAAe,EACf,uBAAuB,EACvB,yBAAyB,EACzB,iBAAiB,EACjB,cAAc,EACd,mBAAmB,GAepB,MAAM,0BAA0B,CAAC;AAClC,6EAA6E;AAC7E,0EAA0E;AAC1E,uEAAuE;AACvE,sEAAsE;AACtE,wEAAwE;AACxE
|
|
1
|
+
{"version":3,"file":"debug.js","sourceRoot":"","sources":["../../src/debug.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAEH,uEAAuE;AACvE,uEAAuE;AACvE,wEAAwE;AACxE,wEAAwE;AACxE,4BAA4B;AAC5B,OAAO,EACL,YAAY,EACZ,gBAAgB,EAChB,cAAc,EACd,WAAW,EACX,2BAA2B,EAC3B,0BAA0B,EAC1B,yBAAyB,EACzB,wBAAwB,EACxB,6BAA6B,EAC7B,sBAAsB,EACtB,cAAc,EACd,cAAc,EACd,qBAAqB,EACrB,eAAe,EACf,aAAa,EACb,sBAAsB,EACtB,uBAAuB,EACvB,cAAc,EACd,kBAAkB,EAClB,WAAW,EACX,iBAAiB,EACjB,aAAa,EACb,yBAAyB,EACzB,cAAc,EACd,qBAAqB,EACrB,WAAW,EACX,yBAAyB,EACzB,YAAY,EACZ,mBAAmB,GAiCpB,MAAM,+BAA+B,CAAC;AACvC,uEAAuE;AACvE,2EAA2E;AAC3E,mEAAmE;AACnE,OAAO,EACL,aAAa,EACb,iBAAiB,EACjB,wBAAwB,EACxB,kBAAkB,EAClB,gBAAgB,EAChB,aAAa,GAGd,MAAM,+BAA+B,CAAC;AACvC,yEAAyE;AACzE,yEAAyE;AACzE,wEAAwE;AACxE,uEAAuE;AACvE,0EAA0E;AAC1E,OAAO,EAAE,aAAa,EAA0B,MAAM,+BAA+B,CAAC;AACtF,0EAA0E;AAC1E,sEAAsE;AACtE,wEAAwE;AACxE,uEAAuE;AACvE,OAAO,EACL,uBAAuB,EACvB,iBAAiB,EACjB,aAAa,EACb,WAAW,EACX,cAAc,GAOf,MAAM,+BAA+B,CAAC;AACvC,uEAAuE;AACvE,yEAAyE;AACzE,0EAA0E;AAC1E,kEAAkE;AAClE,OAAO,EACL,qBAAqB,EACrB,4BAA4B,EAC5B,uBAAuB,EACvB,kBAAkB,EAClB,eAAe,GAMhB,MAAM,+BAA+B,CAAC;AACvC,qEAAqE;AACrE,sEAAsE;AACtE,sEAAsE;AACtE,+DAA+D;AAC/D,oEAAoE;AACpE,mEAAmE;AACnE,OAAO,EACL,kBAAkB,EAClB,cAAc,EACd,kBAAkB,EAClB,kBAAkB,EAClB,cAAc,EACd,eAAe,EACf,sBAAsB,EACtB,UAAU,EACV,cAAc,EACd,qBAAqB,EACrB,iBAAiB,EACjB,aAAa,EACb,qBAAqB,EACrB,eAAe,EACf,aAAa,EACb,uBAAuB,EACvB,wBAAwB,EACxB,wBAAwB,EACxB,kBAAkB,EAClB,sBAAsB,EACtB,oBAAoB,EACpB,cAAc,EACd,kBAAkB,EAClB,YAAY,EACZ,gBAAgB,EAChB,mBAAmB,EACnB,gBAAgB,EAChB,mBAAmB,EACnB,cAAc,EACd,YAAY,EACZ,UAAU,GAoEX,MAAM,+BAA+B,CAAC;AACvC,qEAAqE;AACrE,6EAA6E;AAC7E,yEAAyE;AACzE,6EAA6E;AAC7E,gFAAgF;AAChF,mFAAmF;AACnF,OAAO,EACL,QAAQ,EACR,YAAY,EACZ,qBAAqB,EACrB,QAAQ,EACR,mBAAmB,EACnB,eAAe,EACf,cAAc,EACd,mBAAmB,EACnB,kBAAkB,EAClB,kBAAkB,EAClB,QAAQ,EACR,YAAY,EACZ,oBAAoB,EACpB,YAAY,EACZ,oBAAoB,EACpB,aAAa,GAgBd,MAAM,+BAA+B,CAAC;AACvC,sEAAsE;AACtE,uEAAuE;AACvE,mEAAmE;AACnE,OAAO,EACL,qBAAqB,EACrB,gBAAgB,EAChB,wBAAwB,GASzB,MAAM,+BAA+B,CAAC;AACvC,wEAAwE;AACxE,8EAA8E;AAC9E,qEAAqE;AACrE,wEAAwE;AACxE,uEAAuE;AACvE,gEAAgE;AAChE,uEAAuE;AACvE,OAAO,EACL,kBAAkB,EAClB,gBAAgB,EAChB,aAAa,EACb,iBAAiB,EACjB,+BAA+B,EAC/B,qBAAqB,EACrB,kBAAkB,EAClB,iBAAiB,EACjB,sBAAsB,EACtB,eAAe,EACf,mBAAmB,EACnB,eAAe,EACf,uBAAuB,EACvB,yBAAyB,EACzB,iBAAiB,EACjB,cAAc,EACd,mBAAmB,GAepB,MAAM,0BAA0B,CAAC;AAClC,6EAA6E;AAC7E,0EAA0E;AAC1E,uEAAuE;AACvE,sEAAsE;AACtE,wEAAwE;AACxE,+EAA+E;AAC/E,OAAO,EACL,cAAc,EACd,sBAAsB,EACtB,qBAAqB,EACrB,oBAAoB,GAMrB,MAAM,0BAA0B,CAAC;AAClC,2EAA2E;AAC3E,6EAA6E;AAC7E,6EAA6E;AAC7E,uEAAuE;AACvE,2EAA2E;AAC3E,8EAA8E;AAC9E,yCAAyC;AACzC,OAAO,EACL,YAAY,GAYb,MAAM,8BAA8B,CAAC"}
|
|
@@ -1938,7 +1938,8 @@ export interface CoverageItemPayload {
|
|
|
1938
1938
|
readonly kind?: 'existence' | 'scope';
|
|
1939
1939
|
}
|
|
1940
1940
|
/**
|
|
1941
|
-
* A tool returned a semantic envelope (`
|
|
1941
|
+
* A tool returned a semantic envelope (`describedResult(…)`, or the
|
|
1942
|
+
* deprecated `semantic(…)`; 9.53.0) — typed
|
|
1942
1943
|
* series/facts/edges with the caveats that make them honest (grain,
|
|
1943
1944
|
* provenance, coverage) as data.
|
|
1944
1945
|
*
|
package/dist/esm/index.d.ts
CHANGED
|
@@ -69,7 +69,7 @@ export type { Tool, ToolExecutionContext, ToolRegistryEntry, DefineToolOptions,
|
|
|
69
69
|
export { defineTool, assertValidToolName, assertResultCeiling, assertResultClass, assertResultKind, assertComposedOf, assertGates, warnIfInvalidToolName, } from './core/tools.js';
|
|
70
70
|
export { explainStatusOnlyNearMiss, readToolResultEnvelope, TOOL_RESULT_STATUSES, type InstructionDeliveryLease, type InstructionLease, type PendingToolTransition, type ProposedEffect, type ProposeTransitionEffect, type ReadToolResultEnvelope, type RequireInstructionEffect, type ToolResultEnvelope, type ToolResultStatus, } from './core/agent/toolEffects.js';
|
|
71
71
|
export { ABSENCE_MARKER, ABSENCE_NOTE, absent, coverage, COVERAGE_BLOCK_HEADING, COVERAGE_MARKER, COVERAGE_NOTE, readAbsence, readCoverageLedger, readCoverageResult, type AbsenceDeclaration, type Coverage, type CoverageDeclaration, type CoverageInput, type CoverageItem, type CoverageReading, type CoveredResult, type DeclaredCoverage, type ToolAbsence, type TryInsteadTool, } from './core/agent/coverage/index.js';
|
|
72
|
-
export { composeNotCovered, COUNTER_AGGREGATION_WORDS, explainSemantics, isCounterLookingAggregation, readSemantics, RESULT_CLASSES, semantic, SEMANTICS_MARKER, SEMANTICS_NOTE, semanticsForModel, type SemanticClarify, type SemanticCoverage, type SemanticDeclaration, type SemanticEdge, type SemanticFact, type SemanticGrain, type SemanticIssue, type SemanticIssueCode, type SemanticProvenance, type SemanticRender, type SemanticSeriesPoint, type ToolResultClass, type ToolSemantics, } from './lib/semantics/index.js';
|
|
72
|
+
export { composeNotCovered, COUNTER_AGGREGATION_WORDS, describedResult, explainSemantics, isCounterLookingAggregation, readSemantics, RESULT_CLASSES, semantic, SEMANTICS_MARKER, SEMANTICS_NOTE, semanticsForModel, type DescribedResultDeclaration, type SemanticClarify, type SemanticCoverage, type SemanticDeclaration, type SemanticEdge, type SemanticFact, type SemanticGrain, type SemanticIssue, type SemanticIssueCode, type SemanticProvenance, type SemanticRender, type SemanticSeriesPoint, type ToolResultClass, type ToolSemantics, } from './lib/semantics/index.js';
|
|
73
73
|
export { toolSessionKey, hashSessionKey, ToolTeardownTimeoutError, TOOL_TEARDOWN_TIMEOUT_MS, type TeardownScope, type TeardownReason, type TeardownOptions, } from './core/toolSessions.js';
|
|
74
74
|
export { codeRunnerTool, codeShape, codeRunsOf, toolSessionsOf, TOOL_SESSIONS, type CodeRunnerToolOptions, type CodeRunnerToolScope, type HoldsToolSessions, type CodeRunFacts, } from './core/codeRunnerTool.js';
|
|
75
75
|
export { toolContractCheckup, formatToolContractCheckup, type ToolContractCheckup, type ToolContractProblem, type ToolContractCode, type ServerToolEntry, } from './core/toolContract.js';
|
package/dist/esm/index.js
CHANGED
|
@@ -323,7 +323,9 @@ export { ABSENCE_MARKER, ABSENCE_NOTE, absent, coverage, COVERAGE_BLOCK_HEADING,
|
|
|
323
323
|
// `tools.semantics_declared` event; a declared `coverage` flows through the
|
|
324
324
|
// same channel `coverage()` uses. The gate half (`checkSemantics`, the
|
|
325
325
|
// `agentfootprint-check-semantics` bin) ships through `/observe`.
|
|
326
|
-
|
|
326
|
+
// `describedResult()` mints it from a camelCase declaration; `semantic()`,
|
|
327
|
+
// the deprecated name, from the snake_case one — one core, the same wire.
|
|
328
|
+
export { composeNotCovered, COUNTER_AGGREGATION_WORDS, describedResult, explainSemantics, isCounterLookingAggregation, readSemantics, RESULT_CLASSES, semantic, SEMANTICS_MARKER, SEMANTICS_NOTE, semanticsForModel, } from './lib/semantics/index.js';
|
|
327
329
|
// Tool sessions (9.7.0) — the identity a tool holds a session under, and the
|
|
328
330
|
// end-signal that releases it. The KEY DERIVATION is exported because it is the
|
|
329
331
|
// isolation boundary: one implementation, or two that disagree.
|