agentfootprint 9.118.0 → 9.119.0

package/AGENTS.md

@@ -210,35 +210,57 @@ the model — the framework stamps `toolCallId` / `toolName` / `iteration`, you
 `payload`. `agent.on('agentfootprint.stream.*')` and `toSSE(agent)` carry it with
 no extra wiring.
 
-### When a tool finds nothing, and what a clean result does not cover
+### What a tool returns: rows, a verdict with limits, or nothing
+
+| helper | use it when | the model reads | the record keeps |
+|---|---|---|---|
+| `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` |
+| `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` |
+| `absent({ … })` | nothing matched | what was looked for, the coverage, "a retry returns the same" | `tools.absent`, `coverageDeclared`, status `'absent'` |
+
+The rule: rows from a system of record → `describedResult()`; any other value with limits →
+`coverage()`; nothing matched → `absent()`. Never wrap one in another. All three are the tool's
+RESPONSE — nothing goes into the system prompt or the tool schema.
 
 ```typescript
-import { absent, coverage, defineTool } from 'agentfootprint';
-
-// "I looked and there is nothing" — never readable as "I could not look".
-execute: ({ port }) => rows.length ? rows : absent({
-  what: `FLOGI entries on ${port}`,
-  checked: ['shq-fab-a: the live fcns database', 'window: the last 24h'],
-  notChecked: [{ what: 'the archived history', why: 'older than the 24h window' }],
-  cannotCover: [{ what: 'the peer fabric', why: 'this collector is scoped to one fabric' }],
-  tryInstead: 'Ask for a different interface, or query the peer fabric by name.',
-}),
-
-// A verdict WITH its boundary — what "fine" does and does not rule out.
-execute: async () => coverage(await checkReplication(), {
-  checked: ['SRDF pair state on all 4 arrays'],
-  cannotCover: [{ what: 'host-side multipathing', why: 'no collector on the ESX hosts' }],
-}),
+import { absent, coverage, defineTool, describedResult } from 'agentfootprint';
+
+execute: ({ vm, summary }) => {
+  const { exportedAt, source, runs: all } = backupExport;   // the system of record
+  const runs = all.filter((r) => r.vm === vm);
+  const ground = {
+    checked: [`every backup job in the export of ${exportedAt}`],
+    cannotCover: [{ what: 'PPDM', why: 'not collected on this install' }],
+  };
+  // "I looked and there is nothing" — never readable as "I could not look".
+  if (runs.length === 0) return absent({ what: `backup runs for ${vm}`, ...ground });
+  // A verdict WITH its boundary — what "fine" does and does not rule out.
+  if (summary) return coverage(`${vm}: ${runs.length} backup runs`, ground);
+  // Rows WITH their caveats. measuredAt comes from the data (the export's time,
+  // the moment of a live read, the newest sample) — never a typed-in date.
+  return describedResult({
+    facts: runs.map((r) => ({ entity: vm, day: r.day, ok: r.ok === 1 })),
+    provenance: { measuredAt: exportedAt, source },
+    coverage: ground,
+  });
+},
 ```
 
-An absence gets the delivered status `'absent'` (route it with
-`onToolStatus: 'absent'`), files `agentfootprint.tools.absent`, and grounds only
-its COVERAGE in the evidence gate — so an id the model invented does not become
-grounded by one lookup that found nothing. It is never an error: nothing retries
-it, nothing refuses it, no `error: true`. A ledger files
-`agentfootprint.tools.coverage_declared`; add `.limitsTravelWithTheAnswer()` on
-the agent and the framework APPENDS the run's limits to the final answer, so the
-model cannot drop what it never wrote.
+`describedResult()` is camelCase throughout (`measuredAt`, `ageSeconds`, `isCounter`,
+`filterNote`); the envelope the model reads stays snake_case. Series need `grain`
+(`{ interval, aggregation, isCounter }` — state `isCounter` for `sum`/`count`-like
+aggregations); series or facts without `provenance` are a compile error and a run-time
+refusal. `semantic()` is the deprecated name for the same envelope with a snake_case
+declaration — do not use it in new code.
+
+A helper that cannot honor its declaration throws inside `execute`: the model reads text
+starting `refused: ` in place of the data, and the run continues. An absence gets the
+delivered status `'absent'` (route it with `onToolStatus: 'absent'`) and grounds only its
+COVERAGE in the evidence gate — so an id the model invented does not become grounded by one
+lookup that found nothing. It is never an error: nothing retries it, nothing refuses it, no
+`error: true`. Add `.limitsTravelWithTheAnswer()` on the agent and the framework APPENDS the
+run's declared coverage to the final answer string (not to streamed tokens; it breaks
+`runTyped()`'s JSON), so the model cannot drop what it never wrote.
 
 ## Observing a run
 

package/CAPABILITIES.md

@@ -25,7 +25,8 @@ not in this table, search `src/index.ts` for the nearest noun before writing cod
 | 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 |
 | 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 |
 | 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 |
-| 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 |
+| 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 |
+| 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 |
 | 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 |
 | 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 |
 | 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

@@ -107,6 +107,37 @@ For production, import a real provider from `agentfootprint/providers` and swap
 
 **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).
 
+## What a tool returns — three helpers, one rule
+
+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:
+
+| helper | use it when | the model reads | the record keeps |
+|---|---|---|---|
+| `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`) |
+| `coverage(value, { … })` | any other value that has limits | your value, with what was and was not checked | `tools.coverage_declared` |
+| `absent({ … })` | nothing matched | what was looked for, where, and that a retry returns the same | `tools.absent` |
+
+Never wrap one in another. Add `.limitsTravelWithTheAnswer()` and the declared coverage is appended to the final answer — provenance and grain never are.
+
+```typescript
+import { absent, coverage, describedResult } from 'agentfootprint';
+
+execute: ({ vm, summary }) => {
+  const { exportedAt, source, runs: all } = backupExport;   // your system of record
+  const runs = all.filter((r) => r.vm === vm);
+  const ground = { checked: [`every backup job in the export of ${exportedAt}`] };
+  if (runs.length === 0) return absent({ what: `backup runs for ${vm}`, ...ground });  // nothing matched
+  if (summary) return coverage(`${vm}: ${runs.length} backup runs`, ground);           // a verdict with limits
+  return describedResult({                                                             // rows from the record
+    facts: runs.map((r) => ({ entity: vm, day: r.day, ok: r.ok === 1 })),
+    provenance: { measuredAt: exportedAt, source },   // the time comes from the data
+    coverage: ground,
+  });
+},
+```
+
+What the model reads from each, exactly: [Tools → what `execute` returns](https://agentfootprint.dev/docs/build/tools/#what-execute-returns--three-helpers-one-rule).
+
 ## How — we abstract context engineering
 
 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.

package/ai-instructions/claude-code/SKILL.md

@@ -210,35 +210,57 @@ the model — the framework stamps `toolCallId` / `toolName` / `iteration`, you
 `payload`. `agent.on('agentfootprint.stream.*')` and `toSSE(agent)` carry it with
 no extra wiring.
 
-### When a tool finds nothing, and what a clean result does not cover
+### What a tool returns: rows, a verdict with limits, or nothing
+
+| helper | use it when | the model reads | the record keeps |
+|---|---|---|---|
+| `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` |
+| `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` |
+| `absent({ … })` | nothing matched | what was looked for, the coverage, "a retry returns the same" | `tools.absent`, `coverageDeclared`, status `'absent'` |
+
+The rule: rows from a system of record → `describedResult()`; any other value with limits →
+`coverage()`; nothing matched → `absent()`. Never wrap one in another. All three are the tool's
+RESPONSE — nothing goes into the system prompt or the tool schema.
 
 ```typescript
-import { absent, coverage, defineTool } from 'agentfootprint';
-
-// "I looked and there is nothing" — never readable as "I could not look".
-execute: ({ port }) => rows.length ? rows : absent({
-  what: `FLOGI entries on ${port}`,
-  checked: ['shq-fab-a: the live fcns database', 'window: the last 24h'],
-  notChecked: [{ what: 'the archived history', why: 'older than the 24h window' }],
-  cannotCover: [{ what: 'the peer fabric', why: 'this collector is scoped to one fabric' }],
-  tryInstead: 'Ask for a different interface, or query the peer fabric by name.',
-}),
-
-// A verdict WITH its boundary — what "fine" does and does not rule out.
-execute: async () => coverage(await checkReplication(), {
-  checked: ['SRDF pair state on all 4 arrays'],
-  cannotCover: [{ what: 'host-side multipathing', why: 'no collector on the ESX hosts' }],
-}),
+import { absent, coverage, defineTool, describedResult } from 'agentfootprint';
+
+execute: ({ vm, summary }) => {
+  const { exportedAt, source, runs: all } = backupExport;   // the system of record
+  const runs = all.filter((r) => r.vm === vm);
+  const ground = {
+    checked: [`every backup job in the export of ${exportedAt}`],
+    cannotCover: [{ what: 'PPDM', why: 'not collected on this install' }],
+  };
+  // "I looked and there is nothing" — never readable as "I could not look".
+  if (runs.length === 0) return absent({ what: `backup runs for ${vm}`, ...ground });
+  // A verdict WITH its boundary — what "fine" does and does not rule out.
+  if (summary) return coverage(`${vm}: ${runs.length} backup runs`, ground);
+  // Rows WITH their caveats. measuredAt comes from the data (the export's time,
+  // the moment of a live read, the newest sample) — never a typed-in date.
+  return describedResult({
+    facts: runs.map((r) => ({ entity: vm, day: r.day, ok: r.ok === 1 })),
+    provenance: { measuredAt: exportedAt, source },
+    coverage: ground,
+  });
+},
 ```
 
-An absence gets the delivered status `'absent'` (route it with
-`onToolStatus: 'absent'`), files `agentfootprint.tools.absent`, and grounds only
-its COVERAGE in the evidence gate — so an id the model invented does not become
-grounded by one lookup that found nothing. It is never an error: nothing retries
-it, nothing refuses it, no `error: true`. A ledger files
-`agentfootprint.tools.coverage_declared`; add `.limitsTravelWithTheAnswer()` on
-the agent and the framework APPENDS the run's limits to the final answer, so the
-model cannot drop what it never wrote.
+`describedResult()` is camelCase throughout (`measuredAt`, `ageSeconds`, `isCounter`,
+`filterNote`); the envelope the model reads stays snake_case. Series need `grain`
+(`{ interval, aggregation, isCounter }` — state `isCounter` for `sum`/`count`-like
+aggregations); series or facts without `provenance` are a compile error and a run-time
+refusal. `semantic()` is the deprecated name for the same envelope with a snake_case
+declaration — do not use it in new code.
+
+A helper that cannot honor its declaration throws inside `execute`: the model reads text
+starting `refused: ` in place of the data, and the run continues. An absence gets the
+delivered status `'absent'` (route it with `onToolStatus: 'absent'`) and grounds only its
+COVERAGE in the evidence gate — so an id the model invented does not become grounded by one
+lookup that found nothing. It is never an error: nothing retries it, nothing refuses it, no
+`error: true`. Add `.limitsTravelWithTheAnswer()` on the agent and the framework APPENDS the
+run's declared coverage to the final answer string (not to streamed tokens; it breaks
+`runTyped()`'s JSON), so the model cannot drop what it never wrote.
 
 ## Observing a run
 

package/dist/core/agent/AgentBuilder.js

@@ -1244,7 +1244,7 @@ class AgentBuilder {
      *
      * @example
      *   const agent = Agent.create({ provider, model })
-     *     .tool(screenTool)                       // returns semantic({ facts: [...] })
+     *     .tool(screenTool)                       // returns describedResult({ facts: [...], provenance })
      *     .outputSchema(AnswerSchema)
      *     .claims({ nav_count: { entity: 'screen2', field: 'nav' } })
      *     .build();

package/dist/core/agent/coverage/absent.js

@@ -65,6 +65,7 @@ Object.defineProperty(exports, "__esModule", { value: true });
 exports.tryInsteadToolOfAbsence = exports.tryInsteadOfAbsence = exports.coverageOfAbsence = exports.absent = exports.ABSENCE_NOTE = exports.readAbsence = exports.ABSENCE_MARKER = void 0;
 const tools_js_1 = require("../../tools.js");
 const items_js_1 = require("./items.js");
+const refusal_js_1 = require("./refusal.js");
 // The recognizer lives in the leaf `recognize.ts` (a post-hoc reader asks it
 // without loading this mint); re-exported here so every import keeps working.
 const recognize_js_1 = require("./recognize.js");
@@ -91,6 +92,21 @@ const TOOL_SUGGESTION_KEYS = Object.keys({
     tool: true,
     why: true,
 });
+/**
+ * The declaration's keys, tied to {@link AbsenceDeclaration} in BOTH
+ * directions, the {@link TOOL_SUGGESTION_KEYS} way. Any other key is refused,
+ * naming the spelling meant when it is a slip of one of these: a declaration
+ * fed from plain JavaScript or JSON with `not_checked` used to mint without
+ * that list, and the limit it declared vanished without a word.
+ */
+const ABSENCE_DECLARATION_KEYS = Object.keys({
+    what: true,
+    checked: true,
+    notChecked: true,
+    cannotCover: true,
+    tryInstead: true,
+    tryInsteadTool: true,
+});
 /**
  * `undefined` and `null` both mean "not given" for the typed tool and its
  * `why`. A JSON producer writes a missing optional value as `null`, and
@@ -199,6 +215,13 @@ function readToolSuggestion(raw) {
  * `'absent'` (routable by `onToolStatus`), a `tools.absent` event, and an
  * evidence-corpus rule of its own.
  *
+ * Refuses (throws, where it is called) a declaration it cannot honor — and
+ * any key the declaration does not have, naming the spelling meant when the
+ * key is a casing slip (`not_checked` → `notChecked`), so a list declared
+ * from plain JavaScript or JSON cannot vanish without a word. Every refusal
+ * starts `refused: `: inside `execute` it becomes the call's error result,
+ * which the model reads.
+ *
  * @example a port-lookup tool that found no matching FLOGI
  *   defineTool({
  *     name: 'flogi_for_port',
@@ -225,31 +248,32 @@ function readToolSuggestion(raw) {
 function absent(decl) {
     const fn = 'absent';
     if (typeof decl !== 'object' || decl === null) {
-        throw new Error(`${fn}: takes a declaration — { what, checked, notChecked?, cannotCover?, tryInstead?, ` +
+        throw (0, refusal_js_1.refusal)(`${fn}() takes a declaration — { what, checked, notChecked?, cannotCover?, tryInstead?, ` +
             `tryInsteadTool? }.`);
     }
+    (0, refusal_js_1.refuseUnknownKeys)(decl, ABSENCE_DECLARATION_KEYS);
     const what = typeof decl.what === 'string' ? decl.what.trim() : '';
     if (what === '') {
-        throw new Error(`${fn}: \`what\` must say what was looked for (e.g. 'FLOGI entries on fc1/3'). An ` +
+        throw (0, refusal_js_1.refusal)(`\`what\` must say what was looked for (e.g. 'FLOGI entries on fc1/3'). An ` +
             `absence that cannot name what it did not find is indistinguishable from a tool that ` +
             `returned nothing by accident.`);
     }
-    const checked = (0, items_js_1.normalizeCoverageList)(fn, 'checked', decl.checked, false);
+    const checked = (0, items_js_1.normalizeCoverageList)('checked', decl.checked, false);
     if (checked.length === 0) {
-        throw new Error(`${fn}: '${what}' — \`checked\` must name at least one source, window or population ` +
+        throw (0, refusal_js_1.refusal)(`'${what}' — \`checked\` must name at least one source, window or population ` +
             `that WAS searched. An absence with no coverage is a null with extra steps: the reader ` +
             `still cannot tell "I looked and there is nothing" from "I could not look", which is ` +
             `the confusion this function exists to remove. If you genuinely could not look, that ` +
             `is an error — throw, or return a failure the model can retry.`);
     }
-    const notChecked = (0, items_js_1.normalizeCoverageList)(fn, 'notChecked', decl.notChecked, false);
-    const cannotCover = (0, items_js_1.normalizeCoverageList)(fn, 'cannotCover', decl.cannotCover, true);
+    const notChecked = (0, items_js_1.normalizeCoverageList)('notChecked', decl.notChecked, false);
+    const cannotCover = (0, items_js_1.normalizeCoverageList)('cannotCover', decl.cannotCover, true);
     const sentence = readSentence(decl.tryInstead);
     if (sentence.problem !== undefined)
-        throw new Error(`${fn}: '${what}' — ${sentence.problem}`);
+        throw (0, refusal_js_1.refusal)(`'${what}' — ${sentence.problem}`);
     const tool = readToolSuggestion(decl.tryInsteadTool);
     if (tool.problem !== undefined)
-        throw new Error(`${fn}: '${what}' — ${tool.problem}`);
+        throw (0, refusal_js_1.refusal)(`'${what}' — ${tool.problem}`);
     const tryInstead = sentence.value;
     const tryInsteadTool = tool.value;
     // The name's charset is the tool registry's question: the owner warns in

package/dist/core/agent/coverage/absent.js.map

@@ -1 +1 @@
-{"version":3,"file":"absent.js","sourceRoot":"","sources":["../../../../src/core/agent/coverage/absent.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6DG;;;AAEH,6CAAuD;AACvD,yCAAmD;AAGnD,6EAA6E;AAC7E,8EAA8E;AAC9E,iDAA6D;AACpD,+FADA,6BAAc,OACA;AAAE,4FADA,0BAAW,OACA;AAEpC;;;;;GAKG;AACU,QAAA,YAAY,GACvB,uFAAuF;IACvF,wFAAwF;IACxF,2FAA2F;IAC3F,uFAAuF;IACvF,0CAA0C,CAAC;AAE7C;;;;;GAKG;AACH,MAAM,oBAAoB,GAAsB,MAAM,CAAC,IAAI,CAAC;IAC1D,IAAI,EAAE,IAAI;IACV,GAAG,EAAE,IAAI;CACmC,CAAC,CAAC;AAYhD;;;;;;GAMG;AACH,MAAM,QAAQ,GAAG,CAAC,GAAY,EAAW,EAAE,CAAC,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,IAAI,CAAC;AAE9E;iEACiE;AACjE,MAAM,aAAa,GAAG,CAAC,GAAY,EAAW,EAAE;IAC9C,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IAChF,MAAM,SAAS,GAAY,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC;IACtD,OAAO,SAAS,KAAK,MAAM,CAAC,SAAS,IAAI,SAAS,KAAK,IAAI,CAAC;AAC9D,CAAC,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,SAAS,YAAY,CAAC,GAAY;IAChC,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QAC5B,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;QAC5B,OAAO,EAAE,KAAK,EAAE,QAAQ,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC3D,CAAC;IACD,IAAI,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC;QACvB,OAAO;YACL,OAAO,EACL,iFAAiF;gBACjF,6EAA6E;SAChF,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;AAC9B,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,SAAS,kBAAkB,CAAC,GAAY;IACtC,IAAI,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;IAC/C,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QACvB,OAAO;YACL,OAAO,EACL,sFAAsF;gBACtF,sCAAsC;SACzC,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QAC5B,OAAO;YACL,OAAO,EACL,mDAAmD,OAAO,GAAG,wBAAwB;gBACrF,mDAAmD;SACtD,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAG,GAA0D,CAAC;IACzE,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,oBAAoB,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;IACzF,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC7B,OAAO;YACL,OAAO,EACL,0CAA0C,UAAU,kCAAkC;gBACtF,6DAA6D;SAChE,CAAC;IACJ,CAAC;IACD,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC;IAC5B,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QACnD,OAAO;YACL,OAAO,EACL,8EAA8E;gBAC9E,kFAAkF;gBAClF,qEAAqE;SACxE,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IACzB,IAAI,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC;IACpD,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QACjD,OAAO;YACL,OAAO,EACL,gCAAgC,IAAI,gDAAgD;gBACpF,iBAAiB;SACpB,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC;AACpD,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,SAAgB,MAAM,CAAC,IAAwB;IAC7C,MAAM,EAAE,GAAG,QAAQ,CAAC;IACpB,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAC9C,MAAM,IAAI,KAAK,CACb,GAAG,EAAE,mFAAmF;YACtF,oBAAoB,CACvB,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACnE,IAAI,IAAI,KAAK,EAAE,EAAE,CAAC;QAChB,MAAM,IAAI,KAAK,CACb,GAAG,EAAE,8EAA8E;YACjF,sFAAsF;YACtF,+BAA+B,CAClC,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,IAAA,gCAAqB,EAAC,EAAE,EAAE,SAAS,EAAE,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IAC1E,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,KAAK,CACb,GAAG,EAAE,MAAM,IAAI,sEAAsE;YACnF,wFAAwF;YACxF,sFAAsF;YACtF,sFAAsF;YACtF,+DAA+D,CAClE,CAAC;IACJ,CAAC;IACD,MAAM,UAAU,GAAG,IAAA,gCAAqB,EAAC,EAAE,EAAE,YAAY,EAAE,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IACnF,MAAM,WAAW,GAAG,IAAA,gCAAqB,EAAC,EAAE,EAAE,aAAa,EAAE,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;IACrF,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC/C,IAAI,QAAQ,CAAC,OAAO,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,EAAE,MAAM,IAAI,OAAO,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;IAC9F,MAAM,IAAI,GAAG,kBAAkB,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IACrD,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,EAAE,MAAM,IAAI,OAAO,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;IACtF,MAAM,UAAU,GAAG,QAAQ,CAAC,KAAK,CAAC;IAClC,MAAM,cAAc,GAAG,IAAI,CAAC,KAAK,CAAC;IAClC,yEAAyE;IACzE,0EAA0E;IAC1E,IAAI,cAAc,KAAK,SAAS;QAAE,IAAA,gCAAqB,EAAC,cAAc,CAAC,IAAI,CAAC,CAAC;IAE7E,OAAO;QACL,SAAS,EAAE,IAAI;QACf,OAAO,EAAE,eAAe;QACxB,UAAU,EAAE,IAAI;QAChB,OAAO;QACP,GAAG,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC;QACzD,GAAG,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,YAAY,EAAE,WAAW,EAAE,CAAC;QAC5D,sBAAsB,EAAE,IAAI;QAC5B,GAAG,CAAC,UAAU,KAAK,SAAS,IAAI,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC;QAC5D,GAAG,CAAC,cAAc,KAAK,SAAS,IAAI,EAAE,gBAAgB,EAAE,cAAc,EAAE,CAAC;QACzE,IAAI,EAAE,oBAAY;KACnB,CAAC;AACJ,CAAC;AAlDD,wBAkDC;AAED;sDACsD;AACtD,SAAgB,iBAAiB,CAAC,OAAoB;IACpD,OAAO;QACL,OAAO,EAAE,OAAO,CAAC,OAAO,IAAI,EAAE;QAC9B,UAAU,EAAE,OAAO,CAAC,WAAW,IAAI,EAAE;QACrC,WAAW,EAAE,OAAO,CAAC,YAAY,IAAI,EAAE;KACxC,CAAC;AACJ,CAAC;AAND,8CAMC;AAED;;;;;GAKG;AACH,SAAgB,mBAAmB,CAAC,OAAoB;IACtD,OAAO,YAAY,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,KAAK,CAAC;AACjD,CAAC;AAFD,kDAEC;AAED;;;;GAIG;AACH,SAAgB,uBAAuB,CAAC,OAAoB;IAC1D,OAAO,kBAAkB,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC,KAAK,CAAC;AAC5D,CAAC;AAFD,0DAEC"}
+{"version":3,"file":"absent.js","sourceRoot":"","sources":["../../../../src/core/agent/coverage/absent.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6DG;;;AAEH,6CAAuD;AACvD,yCAAmD;AACnD,6CAA0D;AAG1D,6EAA6E;AAC7E,8EAA8E;AAC9E,iDAA6D;AACpD,+FADA,6BAAc,OACA;AAAE,4FADA,0BAAW,OACA;AAEpC;;;;;GAKG;AACU,QAAA,YAAY,GACvB,uFAAuF;IACvF,wFAAwF;IACxF,2FAA2F;IAC3F,uFAAuF;IACvF,0CAA0C,CAAC;AAE7C;;;;;GAKG;AACH,MAAM,oBAAoB,GAAsB,MAAM,CAAC,IAAI,CAAC;IAC1D,IAAI,EAAE,IAAI;IACV,GAAG,EAAE,IAAI;CACmC,CAAC,CAAC;AAEhD;;;;;;GAMG;AACH,MAAM,wBAAwB,GAAsB,MAAM,CAAC,IAAI,CAAC;IAC9D,IAAI,EAAE,IAAI;IACV,OAAO,EAAE,IAAI;IACb,UAAU,EAAE,IAAI;IAChB,WAAW,EAAE,IAAI;IACjB,UAAU,EAAE,IAAI;IAChB,cAAc,EAAE,IAAI;CAC4B,CAAC,CAAC;AAYpD;;;;;;GAMG;AACH,MAAM,QAAQ,GAAG,CAAC,GAAY,EAAW,EAAE,CAAC,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,IAAI,CAAC;AAE9E;iEACiE;AACjE,MAAM,aAAa,GAAG,CAAC,GAAY,EAAW,EAAE;IAC9C,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IAChF,MAAM,SAAS,GAAY,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC;IACtD,OAAO,SAAS,KAAK,MAAM,CAAC,SAAS,IAAI,SAAS,KAAK,IAAI,CAAC;AAC9D,CAAC,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,SAAS,YAAY,CAAC,GAAY;IAChC,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QAC5B,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;QAC5B,OAAO,EAAE,KAAK,EAAE,QAAQ,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC3D,CAAC;IACD,IAAI,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC;QACvB,OAAO;YACL,OAAO,EACL,iFAAiF;gBACjF,6EAA6E;SAChF,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;AAC9B,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,SAAS,kBAAkB,CAAC,GAAY;IACtC,IAAI,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;IAC/C,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QACvB,OAAO;YACL,OAAO,EACL,sFAAsF;gBACtF,sCAAsC;SACzC,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QAC5B,OAAO;YACL,OAAO,EACL,mDAAmD,OAAO,GAAG,wBAAwB;gBACrF,mDAAmD;SACtD,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAG,GAA0D,CAAC;IACzE,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,oBAAoB,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;IACzF,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC7B,OAAO;YACL,OAAO,EACL,0CAA0C,UAAU,kCAAkC;gBACtF,6DAA6D;SAChE,CAAC;IACJ,CAAC;IACD,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC;IAC5B,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QACnD,OAAO;YACL,OAAO,EACL,8EAA8E;gBAC9E,kFAAkF;gBAClF,qEAAqE;SACxE,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IACzB,IAAI,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC;IACpD,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QACjD,OAAO;YACL,OAAO,EACL,gCAAgC,IAAI,gDAAgD;gBACpF,iBAAiB;SACpB,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC;AACpD,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AACH,SAAgB,MAAM,CAAC,IAAwB;IAC7C,MAAM,EAAE,GAAG,QAAQ,CAAC;IACpB,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAC9C,MAAM,IAAA,oBAAO,EACX,GAAG,EAAE,oFAAoF;YACvF,oBAAoB,CACvB,CAAC;IACJ,CAAC;IACD,IAAA,8BAAiB,EAAC,IAAI,EAAE,wBAAwB,CAAC,CAAC;IAClD,MAAM,IAAI,GAAG,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACnE,IAAI,IAAI,KAAK,EAAE,EAAE,CAAC;QAChB,MAAM,IAAA,oBAAO,EACX,4EAA4E;YAC1E,sFAAsF;YACtF,+BAA+B,CAClC,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,IAAA,gCAAqB,EAAC,SAAS,EAAE,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACtE,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,MAAM,IAAA,oBAAO,EACX,IAAI,IAAI,sEAAsE;YAC5E,wFAAwF;YACxF,sFAAsF;YACtF,sFAAsF;YACtF,+DAA+D,CAClE,CAAC;IACJ,CAAC;IACD,MAAM,UAAU,GAAG,IAAA,gCAAqB,EAAC,YAAY,EAAE,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IAC/E,MAAM,WAAW,GAAG,IAAA,gCAAqB,EAAC,aAAa,EAAE,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;IACjF,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC/C,IAAI,QAAQ,CAAC,OAAO,KAAK,SAAS;QAAE,MAAM,IAAA,oBAAO,EAAC,IAAI,IAAI,OAAO,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;IACrF,MAAM,IAAI,GAAG,kBAAkB,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IACrD,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS;QAAE,MAAM,IAAA,oBAAO,EAAC,IAAI,IAAI,OAAO,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;IAC7E,MAAM,UAAU,GAAG,QAAQ,CAAC,KAAK,CAAC;IAClC,MAAM,cAAc,GAAG,IAAI,CAAC,KAAK,CAAC;IAClC,yEAAyE;IACzE,0EAA0E;IAC1E,IAAI,cAAc,KAAK,SAAS;QAAE,IAAA,gCAAqB,EAAC,cAAc,CAAC,IAAI,CAAC,CAAC;IAE7E,OAAO;QACL,SAAS,EAAE,IAAI;QACf,OAAO,EAAE,eAAe;QACxB,UAAU,EAAE,IAAI;QAChB,OAAO;QACP,GAAG,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC;QACzD,GAAG,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,YAAY,EAAE,WAAW,EAAE,CAAC;QAC5D,sBAAsB,EAAE,IAAI;QAC5B,GAAG,CAAC,UAAU,KAAK,SAAS,IAAI,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC;QAC5D,GAAG,CAAC,cAAc,KAAK,SAAS,IAAI,EAAE,gBAAgB,EAAE,cAAc,EAAE,CAAC;QACzE,IAAI,EAAE,oBAAY;KACnB,CAAC;AACJ,CAAC;AAnDD,wBAmDC;AAED;sDACsD;AACtD,SAAgB,iBAAiB,CAAC,OAAoB;IACpD,OAAO;QACL,OAAO,EAAE,OAAO,CAAC,OAAO,IAAI,EAAE;QAC9B,UAAU,EAAE,OAAO,CAAC,WAAW,IAAI,EAAE;QACrC,WAAW,EAAE,OAAO,CAAC,YAAY,IAAI,EAAE;KACxC,CAAC;AACJ,CAAC;AAND,8CAMC;AAED;;;;;GAKG;AACH,SAAgB,mBAAmB,CAAC,OAAoB;IACtD,OAAO,YAAY,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,KAAK,CAAC;AACjD,CAAC;AAFD,kDAEC;AAED;;;;GAIG;AACH,SAAgB,uBAAuB,CAAC,OAAoB;IAC1D,OAAO,kBAAkB,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC,KAAK,CAAC;AAC5D,CAAC;AAFD,0DAEC"}

package/dist/core/agent/coverage/items.js

@@ -12,9 +12,10 @@
  * Emits:   N/A.
  */
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.listsWithoutRecordOnly = exports.mergeItems = exports.sameItem = exports.normalizeCoverageList = exports.listWithoutRecordOnly = exports.readItemExtras = exports.RECORD_ONLY_ITEM_KEYS = exports.MAX_SHORT_CHARS = void 0;
+exports.listsWithoutRecordOnly = exports.mergeItems = exports.sameItem = exports.normalizeCoverageList = exports.COVERAGE_DECLARATION_KEYS = exports.listWithoutRecordOnly = exports.readItemExtras = exports.RECORD_ONLY_ITEM_KEYS = exports.MAX_SHORT_CHARS = void 0;
 const footprintjs_1 = require("footprintjs");
 const plainLine_js_1 = require("../../../lib/plainLine.js");
+const refusal_js_1 = require("./refusal.js");
 const isPlainString = (v) => typeof v === 'string' && v.trim().length > 0;
 /** The longest `short` a report prints on one line. */
 exports.MAX_SHORT_CHARS = 80;
@@ -138,9 +139,24 @@ function listWithoutRecordOnly(list) {
         : i);
 }
 exports.listWithoutRecordOnly = listWithoutRecordOnly;
+/**
+ * The keys a {@link CoverageDeclaration} has — the three lists, as the author
+ * spells them — tied to the type in BOTH directions: a key the interface
+ * gains, or one listed here that it does not have, fails to compile.
+ * `coverage()` and a `describedResult()` / `semantic()` declaration's
+ * `coverage` refuse any other
+ * key (`refusal.ts` · `refuseUnknownKeys`), so `not_checked` is refused,
+ * naming `notChecked`, instead of vanishing.
+ */
+exports.COVERAGE_DECLARATION_KEYS = Object.keys({
+    checked: true,
+    notChecked: true,
+    cannotCover: true,
+});
 /**
  * Normalize one author list into {@link CoverageItem}s, refusing anything a
- * reader could not act on.
+ * reader could not act on. Every refusal starts with `refusal.ts` ·
+ * `REFUSED_PREFIX` and names the list and index, never the helper.
  *
  * `requireWhy` is true only for `cannotCover`. The asymmetry is deliberate:
  * "we checked the fcns database" and "we did not check the archive" are
@@ -150,11 +166,11 @@ exports.listWithoutRecordOnly = listWithoutRecordOnly;
  * the one an operator is most likely to want to fix, so the reason is the
  * useful half.
  */
-function normalizeCoverageList(fn, section, list, requireWhy) {
+function normalizeCoverageList(section, list, requireWhy) {
     if (list === undefined)
         return [];
     if (!Array.isArray(list)) {
-        throw new Error(`${fn}: \`${section}\` must be an array of strings or { what, why } entries — to say ` +
+        throw (0, refusal_js_1.refusal)(`\`${section}\` must be an array of strings or { what, why } entries — to say ` +
             `nothing about it, omit the field (absent means "not declared", never "nothing there").`);
     }
     const items = [];
@@ -162,7 +178,7 @@ function normalizeCoverageList(fn, section, list, requireWhy) {
         const at = `${section}[${i}]`;
         if (isPlainString(raw)) {
             if (requireWhy) {
-                throw new Error(`${fn}: ${at} is '${raw.trim()}' with no reason. Every \`cannotCover\` entry needs a ` +
+                throw (0, refusal_js_1.refusal)(`${at} is '${raw.trim()}' with no reason. Every \`cannotCover\` entry needs a ` +
                     `\`why\` — a blind spot this tool can NEVER see is a claim about what it is, and a ` +
                     `reader cannot act on, escalate or disprove a claim with no reason. Write ` +
                     `{ what: '${raw.trim()}', why: '…' }, or move it to \`notChecked\` if a wider ` +
@@ -172,18 +188,18 @@ function normalizeCoverageList(fn, section, list, requireWhy) {
             return;
         }
         if (typeof raw !== 'object' || raw === null || !isPlainString(raw.what)) {
-            throw new Error(`${fn}: ${at} names no ground. Each entry is either a non-empty string or ` +
+            throw (0, refusal_js_1.refusal)(`${at} names no ground. Each entry is either a non-empty string or ` +
                 `{ what, why } — what a reader has to know is WHICH source, window or population ` +
                 `this is about.`);
         }
         const item = raw;
         const why = item.why;
         if (why !== undefined && !isPlainString(why)) {
-            throw new Error(`${fn}: ${at} ('${item.what.trim()}') has a \`why\` that says nothing. Give it a ` +
+            throw (0, refusal_js_1.refusal)(`${at} ('${item.what.trim()}') has a \`why\` that says nothing. Give it a ` +
                 `reason or omit the field.`);
         }
         if (requireWhy && why === undefined) {
-            throw new Error(`${fn}: ${at} ('${item.what.trim()}') has no \`why\`. Every \`cannotCover\` entry ` +
+            throw (0, refusal_js_1.refusal)(`${at} ('${item.what.trim()}') has no \`why\`. Every \`cannotCover\` entry ` +
                 `needs one — see the entry above this line in the docs for why a permanent blind ` +
                 `spot must say what makes it permanent.`);
         }
@@ -194,10 +210,10 @@ function normalizeCoverageList(fn, section, list, requireWhy) {
         const kind = item.kind == null ? undefined : item.kind;
         const shortFault = short === undefined ? undefined : shortProblem(short, what);
         if (shortFault !== undefined)
-            throw new Error(`${fn}: ${at} ('${what}') — ${shortFault}`);
+            throw (0, refusal_js_1.refusal)(`${at} ('${what}') — ${shortFault}`);
         const kindFault = kind === undefined ? undefined : kindProblem(kind, section);
         if (kindFault !== undefined)
-            throw new Error(`${fn}: ${at} ('${what}') — ${kindFault}`);
+            throw (0, refusal_js_1.refusal)(`${at} ('${what}') — ${kindFault}`);
         items.push({
             what,
             ...(why !== undefined && { why: why.trim() }),

package/dist/core/agent/coverage/items.js.map

@@ -1 +1 @@
-{"version":3,"file":"items.js","sourceRoot":"","sources":["../../../../src/core/agent/coverage/items.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;GAWG;;;AAEH,6CAAwC;AAExC,4DAA6D;AAO7D,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;;;;;;;;;;;GAWG;AACH,SAAgB,qBAAqB,CACnC,EAAU,EACV,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,IAAI,KAAK,CACb,GAAG,EAAE,OAAO,OAAO,mEAAmE;YACpF,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,IAAI,KAAK,CACb,GAAG,EAAE,KAAK,EAAE,QAAQ,GAAG,CAAC,IAAI,EAAE,wDAAwD;oBACpF,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,IAAI,KAAK,CACb,GAAG,EAAE,KAAK,EAAE,+DAA+D;gBACzE,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,IAAI,KAAK,CACb,GAAG,EAAE,KAAK,EAAE,MAAM,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,gDAAgD;gBAChF,2BAA2B,CAC9B,CAAC;QACJ,CAAC;QACD,IAAI,UAAU,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACpC,MAAM,IAAI,KAAK,CACb,GAAG,EAAE,KAAK,EAAE,MAAM,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,iDAAiD;gBACjF,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,IAAI,KAAK,CAAC,GAAG,EAAE,KAAK,EAAE,MAAM,IAAI,QAAQ,UAAU,EAAE,CAAC,CAAC;QAC1F,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,IAAI,KAAK,CAAC,GAAG,EAAE,KAAK,EAAE,MAAM,IAAI,QAAQ,SAAS,EAAE,CAAC,CAAC;QACxF,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;AApED,sDAoEC;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"}
+{"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"}

package/dist/core/agent/coverage/ledger.js

@@ -35,6 +35,7 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.coverageOfLedger = exports.readCoverageLedger = exports.coverage = exports.COVERAGE_NOTE = exports.COVERAGE_MARKER = void 0;
 const items_js_1 = require("./items.js");
+const refusal_js_1 = require("./refusal.js");
 /** The reserved key that makes a ledger recognizable. */
 exports.COVERAGE_MARKER = 'af_coverage';
 /**
@@ -62,6 +63,13 @@ exports.COVERAGE_NOTE = 'This result covers only what `checked` lists. `not_chec
  * `.limitsTravelWithTheAnswer()` configured, appends it to the run's final
  * answer where the model cannot drop it.
  *
+ * Refuses (throws, where it is called) a boundary that declares nothing, a
+ * malformed item, and any key the boundary does not have — naming the
+ * spelling meant when the key is a casing slip (`not_checked` →
+ * `notChecked`), so a list declared from plain JavaScript or JSON cannot
+ * vanish without a word. Every refusal starts `refused: `: inside `execute`
+ * it becomes the call's error result, which the model reads.
+ *
  * @example the highest-stakes tool in a triage agent
  *   defineTool({
  *     name: 'replication_health',
@@ -84,14 +92,15 @@ exports.COVERAGE_NOTE = 'This result covers only what `checked` lists. `not_chec
 function coverage(content, decl) {
     const fn = 'coverage';
     if (typeof decl !== 'object' || decl === null) {
-        throw new Error(`${fn}: takes the result and its boundary — coverage(result, { checked?, notChecked?, ` +
+        throw (0, refusal_js_1.refusal)(`${fn}() takes the result and its boundary — coverage(result, { checked?, notChecked?, ` +
             `cannotCover? }). To return a result with no declared boundary, return it bare.`);
     }
-    const checked = (0, items_js_1.normalizeCoverageList)(fn, 'checked', decl.checked, false);
-    const notChecked = (0, items_js_1.normalizeCoverageList)(fn, 'notChecked', decl.notChecked, false);
-    const cannotCover = (0, items_js_1.normalizeCoverageList)(fn, 'cannotCover', decl.cannotCover, true);
+    (0, refusal_js_1.refuseUnknownKeys)(decl, items_js_1.COVERAGE_DECLARATION_KEYS);
+    const checked = (0, items_js_1.normalizeCoverageList)('checked', decl.checked, false);
+    const notChecked = (0, items_js_1.normalizeCoverageList)('notChecked', decl.notChecked, false);
+    const cannotCover = (0, items_js_1.normalizeCoverageList)('cannotCover', decl.cannotCover, true);
     if (checked.length === 0 && notChecked.length === 0 && cannotCover.length === 0) {
-        throw new Error(`${fn}: all three lists are empty, so this ledger declares no boundary at all — it ` +
+        throw (0, refusal_js_1.refusal)(`all three lists are empty, so this ledger declares no boundary at all — it ` +
             `would tell a reader nothing while looking like it did, which is worse than saying ` +
             `nothing. Name what you checked, what you skipped, or what you can never see; or ` +
             `return the result bare.`);

package/dist/core/agent/coverage/ledger.js.map

@@ -1 +1 @@
-{"version":3,"file":"ledger.js","sourceRoot":"","sources":["../../../../src/core/agent/coverage/ledger.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;;;AAEH,yCAAmD;AAGnD,yDAAyD;AAC5C,QAAA,eAAe,GAAG,aAAa,CAAC;AAE7C;;;;;;;;;;GAUG;AACU,QAAA,aAAa,GACxB,6FAA6F;IAC7F,0FAA0F;IAC1F,iBAAiB;IACjB,0FAA0F;IAC1F,sCAAsC,CAAC;AAEzC;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,SAAgB,QAAQ,CAAI,OAAU,EAAE,IAAyB;IAC/D,MAAM,EAAE,GAAG,UAAU,CAAC;IACtB,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAC9C,MAAM,IAAI,KAAK,CACb,GAAG,EAAE,kFAAkF;YACrF,gFAAgF,CACnF,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,IAAA,gCAAqB,EAAC,EAAE,EAAE,SAAS,EAAE,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IAC1E,MAAM,UAAU,GAAG,IAAA,gCAAqB,EAAC,EAAE,EAAE,YAAY,EAAE,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IACnF,MAAM,WAAW,GAAG,IAAA,gCAAqB,EAAC,EAAE,EAAE,aAAa,EAAE,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;IACrF,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChF,MAAM,IAAI,KAAK,CACb,GAAG,EAAE,+EAA+E;YAClF,oFAAoF;YACpF,kFAAkF;YAClF,yBAAyB,CAC5B,CAAC;IACJ,CAAC;IACD,OAAO;QACL,WAAW,EAAE;YACX,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC;YACtC,GAAG,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC;YACzD,GAAG,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,YAAY,EAAE,WAAW,EAAE,CAAC;YAC5D,IAAI,EAAE,qBAAa;SACpB;QACD,MAAM,EAAE,OAAO;KAChB,CAAC;AACJ,CAAC;AA5BD,4BA4BC;AAED;;;;GAIG;AACH,SAAgB,kBAAkB,CAAC,KAAc;IAC/C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC1F,MAAM,GAAG,GAAG,KAAgC,CAAC;IAC7C,MAAM,MAAM,GAAG,GAAG,CAAC,uBAAe,CAAC,CAAC;IACpC,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;QAAE,OAAO,SAAS,CAAC;IAC7F,IAAI,CAAC,CAAC,QAAQ,IAAI,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IACzC,OAAO,KAAsB,CAAC;AAChC,CAAC;AAPD,gDAOC;AAED,iEAAiE;AACjE,SAAgB,gBAAgB,CAAC,OAAsB;IACrD,MAAM,CAAC,GAAG,OAAO,CAAC,WAAW,CAAC;IAC9B,OAAO;QACL,OAAO,EAAE,CAAC,CAAC,OAAO,IAAI,EAAE;QACxB,UAAU,EAAE,CAAC,CAAC,WAAW,IAAI,EAAE;QAC/B,WAAW,EAAE,CAAC,CAAC,YAAY,IAAI,EAAE;KAClC,CAAC;AACJ,CAAC;AAPD,4CAOC"}
+{"version":3,"file":"ledger.js","sourceRoot":"","sources":["../../../../src/core/agent/coverage/ledger.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;;;AAEH,yCAA8E;AAC9E,6CAA0D;AAG1D,yDAAyD;AAC5C,QAAA,eAAe,GAAG,aAAa,CAAC;AAE7C;;;;;;;;;;GAUG;AACU,QAAA,aAAa,GACxB,6FAA6F;IAC7F,0FAA0F;IAC1F,iBAAiB;IACjB,0FAA0F;IAC1F,sCAAsC,CAAC;AAEzC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AACH,SAAgB,QAAQ,CAAI,OAAU,EAAE,IAAyB;IAC/D,MAAM,EAAE,GAAG,UAAU,CAAC;IACtB,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAC9C,MAAM,IAAA,oBAAO,EACX,GAAG,EAAE,mFAAmF;YACtF,gFAAgF,CACnF,CAAC;IACJ,CAAC;IACD,IAAA,8BAAiB,EAAC,IAAI,EAAE,oCAAyB,CAAC,CAAC;IACnD,MAAM,OAAO,GAAG,IAAA,gCAAqB,EAAC,SAAS,EAAE,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACtE,MAAM,UAAU,GAAG,IAAA,gCAAqB,EAAC,YAAY,EAAE,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IAC/E,MAAM,WAAW,GAAG,IAAA,gCAAqB,EAAC,aAAa,EAAE,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;IACjF,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChF,MAAM,IAAA,oBAAO,EACX,6EAA6E;YAC3E,oFAAoF;YACpF,kFAAkF;YAClF,yBAAyB,CAC5B,CAAC;IACJ,CAAC;IACD,OAAO;QACL,WAAW,EAAE;YACX,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC;YACtC,GAAG,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC;YACzD,GAAG,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,YAAY,EAAE,WAAW,EAAE,CAAC;YAC5D,IAAI,EAAE,qBAAa;SACpB;QACD,MAAM,EAAE,OAAO;KAChB,CAAC;AACJ,CAAC;AA7BD,4BA6BC;AAED;;;;GAIG;AACH,SAAgB,kBAAkB,CAAC,KAAc;IAC/C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC1F,MAAM,GAAG,GAAG,KAAgC,CAAC;IAC7C,MAAM,MAAM,GAAG,GAAG,CAAC,uBAAe,CAAC,CAAC;IACpC,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;QAAE,OAAO,SAAS,CAAC;IAC7F,IAAI,CAAC,CAAC,QAAQ,IAAI,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IACzC,OAAO,KAAsB,CAAC;AAChC,CAAC;AAPD,gDAOC;AAED,iEAAiE;AACjE,SAAgB,gBAAgB,CAAC,OAAsB;IACrD,MAAM,CAAC,GAAG,OAAO,CAAC,WAAW,CAAC;IAC9B,OAAO;QACL,OAAO,EAAE,CAAC,CAAC,OAAO,IAAI,EAAE;QACxB,UAAU,EAAE,CAAC,CAAC,WAAW,IAAI,EAAE;QAC/B,WAAW,EAAE,CAAC,CAAC,YAAY,IAAI,EAAE;KAClC,CAAC;AACJ,CAAC;AAPD,4CAOC"}