agentfootprint 11.2.0 → 11.4.0

package/dist/esm/core/agent/assessment/reasons.js

@@ -14,6 +14,15 @@
  * the model's reply with a question), so an absence renders "not sure — what
  * was searched", never "ask".
  *
+ * THE SOURCE. What each reason rests on is declared here too, once: `calls`
+ * when its rows are about specific tool calls (a result, a coverage row, an
+ * argument or period row, a conflict between readings); `answer` when its row
+ * is a verdict on the answer itself (a value no result carried, a claim in it,
+ * the app's checks on its bytes); `run` when it is about how the run went (a
+ * pause still waiting, a limit, unfinished steps, a check that could not reach
+ * a verdict). The fold never decides it per run, so "the run" is never an
+ * empty list of calls in disguise.
+ *
  * WHAT IS NOT HERE, AND WHY. A reason is read from a COMMITTED row, never from
  * an event, so the running agent and a later reader fold the same bytes. Two
  * verdicts the honesty design names are events only in this version and so
@@ -32,150 +41,175 @@ export const REASONS = Object.freeze([
     {
         reason: 'asked',
         class: 'ask',
+        source: 'run',
         reads: 'pausedToolCallId: the call a pause is still waiting on (requestInput, askHuman / pauseHere, a checkIn, a middleware ask, a credential consent)',
     },
     {
         reason: 'argument-asked',
         layer: 2,
         class: 'ask',
+        source: 'run',
         reads: "argumentAsk: the inputs layer's batch ask with a question still out (`waiting`) — nothing in that batch has run; the findingsLedger's current `asked` rows of this turn name the values",
     },
     {
         reason: 'argument-assumed',
         layer: 2,
         class: 'not-sure',
+        source: 'calls',
         reads: "findingsLedger: an argument row of this turn with source 'default' (the tool's rule assumed the value); or middlewareDecisions: a before-tool rewrite of a ruled argument (changedKeys) with no declared origin",
     },
     {
         reason: 'argument-unverified',
         layer: 2,
         class: 'not-sure',
+        source: 'calls',
         reads: "findingsLedger: an argument row of this turn with source 'model' on a ruled or period argument, or with a failed declared-source check (on any argument)",
     },
     {
         reason: 'argument-read',
         layer: 2,
         class: 'not-sure',
+        source: 'calls',
         reads: "findingsLedger: an argument row of this turn with source 'said' and reading — the person's words were found, the value is the model's reading of them (under an ask rule it asked instead)",
     },
     {
         reason: 'value-contingent',
         layer: 2,
         class: 'not-sure',
+        source: 'calls',
         reads: "findingsLedger: an argument row of this turn with source 'result' and setAside (the model named a result it had set aside); or a contingent row of this turn",
     },
     {
         reason: 'coverage-gap',
         layer: 3,
         class: 'not-sure',
+        source: 'calls',
         reads: "coverageDeclared: a notChecked or cannotCover item on a call of this turn; or history: the result's own envelope lists one, when its call has no coverage row",
     },
     {
         reason: 'declared-absent',
         layer: 3,
         class: 'not-sure',
+        source: 'calls',
         reads: "coverageDeclared: an absence on a call of this turn; or history: an empty rowset inside a declared coverage() boundary, or an absence in the result's own envelope when its call has no coverage row (the one emptiness reader)",
     },
     {
         reason: 'empty-undeclared',
         layer: 3,
         class: 'not-sure',
+        source: 'calls',
         reads: 'history: an empty rowset (a top-level array, the app’s rowsAt key, or the dataset ticket left where those rows were, counting 0) whose call has no coverage row',
     },
     {
         reason: 'period-not-held',
         layer: 3,
         class: 'not-sure',
+        source: 'calls',
         reads: "findingsLedger: a period row of this turn with verdict 'not-held' — the store holds none of what the read asked for (and, when the tool declares a ToolPeriod, the inputs layer's argument row for the same call: who chose the period)",
     },
     {
         reason: 'period-partly-held',
         layer: 3,
         class: 'not-sure',
+        source: 'calls',
         reads: "findingsLedger: a period row of this turn with verdict 'partly-held'",
     },
     {
         reason: 'period-unknown',
         layer: 3,
         class: 'not-sure',
+        source: 'calls',
         reads: "findingsLedger: a period row of this turn with verdict 'unknown' — the tool declared held: 'unknown'",
     },
     {
         reason: 'period-undeclared',
         layer: 3,
         class: 'not-sure',
+        source: 'calls',
         reads: "findingsLedger: a period row of this turn with verdict 'undeclared' — the tool declares a ToolPeriod and the result declared no period",
     },
     {
         reason: 'period-differs-from-asked',
         layer: 3,
         class: 'not-sure',
+        source: 'calls',
         reads: "findingsLedger: a period row of this turn with differs (the time layer, step T8) — what the call read is not the range it asked for (missing: asked, not read; extra: read, not asked — TQ8: extra alone is 'not sure' too), or, for a window the model chose, not the person's window",
     },
     {
         reason: 'period-beyond-retention',
         layer: 3,
         class: 'not-sure',
+        source: 'calls',
         reads: 'findingsLedger: a period row of this turn with beyondRetention (the time layer, step T8) — the window was wholly older than the tool declares its source keeps: refused before dispatch, or read that way',
     },
     {
         reason: 'sources-conflict',
         layer: 3,
         class: 'not-sure',
+        source: 'calls',
         reads: 'findingsLedger: a conflict row whose witnesses name a call of this turn',
     },
     {
         reason: 'value-unsupported',
         layer: 4,
         class: 'not-sure',
+        source: 'answer',
         reads: 'unsupportedValues (revised: false)',
     },
     {
         reason: 'value-survived-revision',
         layer: 4,
         class: 'not-sure',
+        source: 'answer',
         reads: 'unsupportedValues (revised: true)',
     },
     {
         reason: 'derived-from-reading',
         layer: 4,
         class: 'not-sure',
+        source: 'answer',
         reads: "findingsLedger: a time-derived row of this turn — the answer states a time value no tool result carried that the library itself spelled from a reading of the person's words (an implied year, an offset, the end-of-grain minute, the served time line)",
     },
-    { reason: 'stopped-early', layer: 4, class: 'not-sure', reads: 'stoppedEarly' },
+    { reason: 'stopped-early', layer: 4, class: 'not-sure', source: 'run', reads: 'stoppedEarly' },
     {
         reason: 'steps-unfinished',
         layer: 4,
         class: 'not-sure',
+        source: 'run',
         reads: "findingsLedger: a steps-unfinished witness row of this turn (the answer came before the active skill's declared steps finished — filed while the answer layer is armed)",
     },
     {
         reason: 'negative-prose-unverified',
         layer: 4,
         class: 'not-sure',
+        source: 'answer',
         reads: 'findingsLedger: a negative-claim or negative-claim-note row of this turn; model prose never establishes a negative claim',
     },
     {
         reason: 'claim-exceeds-search',
         layer: 4,
         class: 'not-sure',
+        source: 'answer',
         reads: 'answerValidation.checks: a typed negative exceeded the admitted search',
     },
     {
         reason: 'declaration-overclaimed',
         layer: 3,
         class: 'not-sure',
+        source: 'calls',
         reads: 'answerValidation.checks: a tool refusal overstated the read',
     },
     {
         reason: 'answer-check-failed',
         layer: 4,
         class: 'not-sure',
+        source: 'answer',
         reads: "answerValidation: status 'failed'",
     },
     {
         reason: 'check-unreachable',
         class: 'not-sure',
+        source: 'run',
         reads: "answerValidation: status 'unverified' (an armed check that could not reach a verdict), or a failed report that also counts unreachable checks or names a reason (a validator that did not finish)",
     },
 ]);

package/dist/esm/core/agent/assessment/reasons.js.map

@@ -1 +1 @@
-{"version":3,"file":"reasons.js","sourceRoot":"","sources":["../../../../../src/core/agent/assessment/reasons.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAaH,sFAAsF;AACtF,MAAM,CAAC,MAAM,OAAO,GAA2B,MAAM,CAAC,MAAM,CAAC;IAC3D;QACE,MAAM,EAAE,OAAO;QACf,KAAK,EAAE,KAAK;QACZ,KAAK,EACH,gJAAgJ;KACnJ;IACD;QACE,MAAM,EAAE,gBAAgB;QACxB,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,KAAK;QACZ,KAAK,EACH,yLAAyL;KAC5L;IACD;QACE,MAAM,EAAE,kBAAkB;QAC1B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,iNAAiN;KACpN;IACD;QACE,MAAM,EAAE,qBAAqB;QAC7B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,0JAA0J;KAC7J;IACD;QACE,MAAM,EAAE,eAAe;QACvB,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,4LAA4L;KAC/L;IACD;QACE,MAAM,EAAE,kBAAkB;QAC1B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,8JAA8J;KACjK;IACD;QACE,MAAM,EAAE,cAAc;QACtB,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,+JAA+J;KAClK;IACD;QACE,MAAM,EAAE,iBAAiB;QACzB,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,iOAAiO;KACpO;IACD;QACE,MAAM,EAAE,kBAAkB;QAC1B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,iKAAiK;KACpK;IACD;QACE,MAAM,EAAE,iBAAiB;QACzB,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,yOAAyO;KAC5O;IACD;QACE,MAAM,EAAE,oBAAoB;QAC5B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EAAE,sEAAsE;KAC9E;IACD;QACE,MAAM,EAAE,gBAAgB;QACxB,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,sGAAsG;KACzG;IACD;QACE,MAAM,EAAE,mBAAmB;QAC3B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,wIAAwI;KAC3I;IACD;QACE,MAAM,EAAE,2BAA2B;QACnC,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,wRAAwR;KAC3R;IACD;QACE,MAAM,EAAE,yBAAyB;QACjC,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,2MAA2M;KAC9M;IACD;QACE,MAAM,EAAE,kBAAkB;QAC1B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EAAE,yEAAyE;KACjF;IACD;QACE,MAAM,EAAE,mBAAmB;QAC3B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EAAE,oCAAoC;KAC5C;IACD;QACE,MAAM,EAAE,yBAAyB;QACjC,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EAAE,mCAAmC;KAC3C;IACD;QACE,MAAM,EAAE,sBAAsB;QAC9B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,0PAA0P;KAC7P;IACD,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,cAAc,EAAE;IAC/E;QACE,MAAM,EAAE,kBAAkB;QAC1B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,yKAAyK;KAC5K;IACD;QACE,MAAM,EAAE,2BAA2B;QACnC,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,0HAA0H;KAC7H;IACD;QACE,MAAM,EAAE,sBAAsB;QAC9B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EAAE,wEAAwE;KAChF;IACD;QACE,MAAM,EAAE,yBAAyB;QACjC,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EAAE,6DAA6D;KACrE;IACD;QACE,MAAM,EAAE,qBAAqB;QAC7B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EAAE,mCAAmC;KAC3C;IACD;QACE,MAAM,EAAE,mBAAmB;QAC3B,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,mMAAmM;KACtM;CACF,CAAC,CAAC;AAEH,sCAAsC;AACtC,MAAM,UAAU,WAAW,CAAC,MAAwB;IAClD,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;IACvD,yFAAyF;IACzF,IAAI,KAAK,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,0CAA0C,MAAM,GAAG,CAAC,CAAC;IAC9F,OAAO,KAAK,CAAC;AACf,CAAC"}
+{"version":3,"file":"reasons.js","sourceRoot":"","sources":["../../../../../src/core/agent/assessment/reasons.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AAoBH,sFAAsF;AACtF,MAAM,CAAC,MAAM,OAAO,GAA2B,MAAM,CAAC,MAAM,CAAC;IAC3D;QACE,MAAM,EAAE,OAAO;QACf,KAAK,EAAE,KAAK;QACZ,MAAM,EAAE,KAAK;QACb,KAAK,EACH,gJAAgJ;KACnJ;IACD;QACE,MAAM,EAAE,gBAAgB;QACxB,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,KAAK;QACZ,MAAM,EAAE,KAAK;QACb,KAAK,EACH,yLAAyL;KAC5L;IACD;QACE,MAAM,EAAE,kBAAkB;QAC1B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,MAAM,EAAE,OAAO;QACf,KAAK,EACH,iNAAiN;KACpN;IACD;QACE,MAAM,EAAE,qBAAqB;QAC7B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,MAAM,EAAE,OAAO;QACf,KAAK,EACH,0JAA0J;KAC7J;IACD;QACE,MAAM,EAAE,eAAe;QACvB,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,MAAM,EAAE,OAAO;QACf,KAAK,EACH,4LAA4L;KAC/L;IACD;QACE,MAAM,EAAE,kBAAkB;QAC1B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,MAAM,EAAE,OAAO;QACf,KAAK,EACH,8JAA8J;KACjK;IACD;QACE,MAAM,EAAE,cAAc;QACtB,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,MAAM,EAAE,OAAO;QACf,KAAK,EACH,+JAA+J;KAClK;IACD;QACE,MAAM,EAAE,iBAAiB;QACzB,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,MAAM,EAAE,OAAO;QACf,KAAK,EACH,iOAAiO;KACpO;IACD;QACE,MAAM,EAAE,kBAAkB;QAC1B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,MAAM,EAAE,OAAO;QACf,KAAK,EACH,iKAAiK;KACpK;IACD;QACE,MAAM,EAAE,iBAAiB;QACzB,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,MAAM,EAAE,OAAO;QACf,KAAK,EACH,yOAAyO;KAC5O;IACD;QACE,MAAM,EAAE,oBAAoB;QAC5B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,MAAM,EAAE,OAAO;QACf,KAAK,EAAE,sEAAsE;KAC9E;IACD;QACE,MAAM,EAAE,gBAAgB;QACxB,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,MAAM,EAAE,OAAO;QACf,KAAK,EACH,sGAAsG;KACzG;IACD;QACE,MAAM,EAAE,mBAAmB;QAC3B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,MAAM,EAAE,OAAO;QACf,KAAK,EACH,wIAAwI;KAC3I;IACD;QACE,MAAM,EAAE,2BAA2B;QACnC,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,MAAM,EAAE,OAAO;QACf,KAAK,EACH,wRAAwR;KAC3R;IACD;QACE,MAAM,EAAE,yBAAyB;QACjC,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,MAAM,EAAE,OAAO;QACf,KAAK,EACH,2MAA2M;KAC9M;IACD;QACE,MAAM,EAAE,kBAAkB;QAC1B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,MAAM,EAAE,OAAO;QACf,KAAK,EAAE,yEAAyE;KACjF;IACD;QACE,MAAM,EAAE,mBAAmB;QAC3B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,MAAM,EAAE,QAAQ;QAChB,KAAK,EAAE,oCAAoC;KAC5C;IACD;QACE,MAAM,EAAE,yBAAyB;QACjC,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,MAAM,EAAE,QAAQ;QAChB,KAAK,EAAE,mCAAmC;KAC3C;IACD;QACE,MAAM,EAAE,sBAAsB;QAC9B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,MAAM,EAAE,QAAQ;QAChB,KAAK,EACH,0PAA0P;KAC7P;IACD,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,cAAc,EAAE;IAC9F;QACE,MAAM,EAAE,kBAAkB;QAC1B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,MAAM,EAAE,KAAK;QACb,KAAK,EACH,yKAAyK;KAC5K;IACD;QACE,MAAM,EAAE,2BAA2B;QACnC,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,MAAM,EAAE,QAAQ;QAChB,KAAK,EACH,0HAA0H;KAC7H;IACD;QACE,MAAM,EAAE,sBAAsB;QAC9B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,MAAM,EAAE,QAAQ;QAChB,KAAK,EAAE,wEAAwE;KAChF;IACD;QACE,MAAM,EAAE,yBAAyB;QACjC,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,MAAM,EAAE,OAAO;QACf,KAAK,EAAE,6DAA6D;KACrE;IACD;QACE,MAAM,EAAE,qBAAqB;QAC7B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,MAAM,EAAE,QAAQ;QAChB,KAAK,EAAE,mCAAmC;KAC3C;IACD;QACE,MAAM,EAAE,mBAAmB;QAC3B,KAAK,EAAE,UAAU;QACjB,MAAM,EAAE,KAAK;QACb,KAAK,EACH,mMAAmM;KACtM;CACF,CAAC,CAAC;AAEH,sCAAsC;AACtC,MAAM,UAAU,WAAW,CAAC,MAAwB;IAClD,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;IACvD,yFAAyF;IACzF,IAAI,KAAK,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,0CAA0C,MAAM,GAAG,CAAC,CAAC;IAC9F,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/esm/core/agent/assessment/sources.d.ts

@@ -0,0 +1,66 @@
+/**
+ * assessment/sources — what each reason rests on
+ * (`AnswerAssessment.reasons[].source`): specific calls, the answer itself, or
+ * the run as a whole.
+ *
+ * Pattern: a projection inside the one Fold (`assess.ts` · `assessAnswer`).
+ *          The KIND is declared per reason (`reasons.ts` · `REASONS`); for a
+ *          `calls` reason this module reads the calls off the very rows the
+ *          reason's witnesses point at — a history result carries its call id,
+ *          a committed row names its call — and the call's tool name off the
+ *          same row, or off the run's `history` for a row that names only an id.
+ *          It reads the committed record only, and adds nothing to it.
+ * Role:    core/ layer, pure. Asked once per fired reason by the fold; every
+ *          reader takes the source from the fold — the answer layer's line
+ *          (`compose.ts` · `standingLineOf`) and the answer account's "How
+ *          sure" counts (`answer-account/facts/howSure.ts`) — and never
+ *          re-derives it.
+ * Emits:   N/A.
+ *
+ * ## Names and ids only
+ *
+ * A source holds call ids and registered tool names, never a value, an
+ * argument or a result: the rows it reads hold more, and it copies two strings
+ * out of each.
+ *
+ * ## Which calls a row names
+ *
+ * - a tool result in `history` — its own call;
+ * - a coverage, argument, period or middleware row — its own call (the row's
+ *   `toolCallId`, with the row's `toolName`);
+ * - a conflict row — the calls of the readings that disagree (`witnesses`);
+ * - a contingent row — the results the value came from (`carriers`), and an
+ *   argument row behind `value-contingent` — the result it names (`result`):
+ *   the reason is that a value came from results the model itself set aside;
+ * - an answer check that names its tool and not its call
+ *   (`declaration-overclaimed`) — every call of that tool this turn: it may
+ *   over-report, it never hides (the fold's rule for "rests on").
+ *
+ * A row that names no call, a call whose tool's name the record does not
+ * hold, and every entry of a list (a conflict's readings, a contingent value's
+ * carriers, an answer check's tools) that names no call — beside the entries
+ * that do — is COUNTED in `unnamed`, never dropped and never guessed. Only a
+ * known call id is said once.
+ */
+import type { AssessmentPointer, AssessmentReason, AssessmentReasonSource } from './types.js';
+/** What the projection reads: the committed state, and this turn's results (for a tool-name join). */
+export interface SourceRead {
+    readonly state: Readonly<Record<string, unknown>>;
+    readonly turnResults: readonly {
+        readonly toolCallId?: string;
+        readonly toolName?: string;
+    }[];
+}
+/**
+ * What one fired reason rests on — its declared `kind`, and for `calls` the
+ * calls its witnesses' rows name, each once, in witness order.
+ *
+ * @example
+ * ```ts
+ * reasonSourceOf('declared-absent', 'calls', [historyPointer], read);
+ * // { kind: 'calls', calls: [{ toolCallId: 'c1', toolName: 'load_attachment' }] }
+ * reasonSourceOf('stopped-early', 'run', [statePointer('stoppedEarly')], read);
+ * // { kind: 'run' }
+ * ```
+ */
+export declare function reasonSourceOf(reason: AssessmentReason, kind: AssessmentReasonSource['kind'], witness: readonly AssessmentPointer[], read: SourceRead): AssessmentReasonSource;

package/dist/esm/core/agent/assessment/sources.js

@@ -0,0 +1,201 @@
+/**
+ * assessment/sources — what each reason rests on
+ * (`AnswerAssessment.reasons[].source`): specific calls, the answer itself, or
+ * the run as a whole.
+ *
+ * Pattern: a projection inside the one Fold (`assess.ts` · `assessAnswer`).
+ *          The KIND is declared per reason (`reasons.ts` · `REASONS`); for a
+ *          `calls` reason this module reads the calls off the very rows the
+ *          reason's witnesses point at — a history result carries its call id,
+ *          a committed row names its call — and the call's tool name off the
+ *          same row, or off the run's `history` for a row that names only an id.
+ *          It reads the committed record only, and adds nothing to it.
+ * Role:    core/ layer, pure. Asked once per fired reason by the fold; every
+ *          reader takes the source from the fold — the answer layer's line
+ *          (`compose.ts` · `standingLineOf`) and the answer account's "How
+ *          sure" counts (`answer-account/facts/howSure.ts`) — and never
+ *          re-derives it.
+ * Emits:   N/A.
+ *
+ * ## Names and ids only
+ *
+ * A source holds call ids and registered tool names, never a value, an
+ * argument or a result: the rows it reads hold more, and it copies two strings
+ * out of each.
+ *
+ * ## Which calls a row names
+ *
+ * - a tool result in `history` — its own call;
+ * - a coverage, argument, period or middleware row — its own call (the row's
+ *   `toolCallId`, with the row's `toolName`);
+ * - a conflict row — the calls of the readings that disagree (`witnesses`);
+ * - a contingent row — the results the value came from (`carriers`), and an
+ *   argument row behind `value-contingent` — the result it names (`result`):
+ *   the reason is that a value came from results the model itself set aside;
+ * - an answer check that names its tool and not its call
+ *   (`declaration-overclaimed`) — every call of that tool this turn: it may
+ *   over-report, it never hides (the fold's rule for "rests on").
+ *
+ * A row that names no call, a call whose tool's name the record does not
+ * hold, and every entry of a list (a conflict's readings, a contingent value's
+ * carriers, an answer check's tools) that names no call — beside the entries
+ * that do — is COUNTED in `unnamed`, never dropped and never guessed. Only a
+ * known call id is said once.
+ */
+const isRecord = (value) => typeof value === 'object' && value !== null && !Array.isArray(value);
+const str = (value) => typeof value === 'string' && value.length > 0 ? value : undefined;
+/** The row an RFC 6901 pointer's first segment indexes, in an array-valued key. */
+function rowAt(state, key, path) {
+    const rows = state[key];
+    const index = Number(path.split('/')[1]);
+    return Array.isArray(rows) && Number.isInteger(index) ? rows[index] : undefined;
+}
+/**
+ * One reference per entry of a list of `{ toolCallId }` entries, in order. An
+ * entry that names no call is an ANONYMOUS reference — counted in `unnamed`,
+ * never dropped: a conflict whose one reading names its call and whose other
+ * does not still rests on both.
+ */
+function refsIn(list) {
+    if (!Array.isArray(list))
+        return [];
+    return list.map((entry) => {
+        const id = isRecord(entry) ? str(entry.toolCallId) : undefined;
+        return id === undefined ? {} : { id };
+    });
+}
+/** The calls one committed row names, read for `reason`. */
+function callsOfRow(reason, row) {
+    if (!isRecord(row))
+        return [];
+    if (row.kind === 'conflict')
+        return refsIn(row.witnesses);
+    if (row.kind === 'contingent')
+        return refsIn(row.carriers);
+    if (reason === 'value-contingent' && row.kind === 'argument') {
+        const result = str(row.result);
+        return result === undefined ? [] : [{ id: result }];
+    }
+    const id = str(row.toolCallId);
+    const name = str(row.toolName);
+    return id === undefined && name === undefined
+        ? []
+        : [{ ...(id !== undefined && { id }), ...(name !== undefined && { name }) }];
+}
+/**
+ * An answer check that names the TOOLS it is about (`tools`) and no call —
+ * every call of each named tool among this turn's results. A tool no call of
+ * this turn ran, and an entry that is not a tool name, is an ANONYMOUS
+ * reference each: counted, never dropped beside the tools that matched.
+ */
+function callsOfCheck(check, read) {
+    if (!isRecord(check) || !Array.isArray(check.tools))
+        return [];
+    const names = [
+        ...new Set(check.tools.flatMap((t) => (str(t) === undefined ? [] : [t]))),
+    ];
+    const malformed = check.tools
+        .filter((t) => str(t) === undefined)
+        .map(() => ({}));
+    const matched = names.flatMap((name) => {
+        const calls = read.turnResults.filter((r) => r.toolName === name);
+        return calls.length === 0
+            ? [{ name }]
+            : calls.map((r) => ({ ...(r.toolCallId !== undefined && { id: r.toolCallId }), name }));
+    });
+    return [...matched, ...malformed];
+}
+/** The calls one witness names. */
+function callsOfWitness(reason, w, read) {
+    if (w.kind === 'history') {
+        const message = Array.isArray(read.state.history) ? read.state.history[w.index] : undefined;
+        const name = isRecord(message) ? str(message.toolName) : undefined;
+        return w.toolCallId === undefined && name === undefined
+            ? []
+            : [
+                {
+                    ...(w.toolCallId !== undefined && { id: w.toolCallId }),
+                    ...(name !== undefined && { name }),
+                },
+            ];
+    }
+    if (w.key === 'answerValidation') {
+        // `/checks/<index>` — the check row the reason fired on.
+        const [, list, at] = w.path.split('/');
+        const report = read.state.answerValidation;
+        const checks = isRecord(report) && list === 'checks' ? report.checks : undefined;
+        return Array.isArray(checks) ? callsOfCheck(checks[Number(at)], read) : [];
+    }
+    return callsOfRow(reason, rowAt(read.state, w.key, w.path));
+}
+/** Every call id → its tool's registered name, as `history` holds it (a result, else the call). */
+function toolNamesOf(state) {
+    const names = new Map();
+    const history = Array.isArray(state.history) ? state.history : [];
+    for (const m of history) {
+        if (!isRecord(m))
+            continue;
+        const id = str(m.toolCallId);
+        const name = str(m.toolName);
+        if (m.role === 'tool' && id !== undefined && name !== undefined)
+            names.set(id, name);
+        if (!Array.isArray(m.toolCalls))
+            continue;
+        for (const call of m.toolCalls) {
+            const callId = isRecord(call) ? str(call.id) : undefined;
+            const callName = isRecord(call) ? str(call.name) : undefined;
+            if (callId !== undefined && callName !== undefined && !names.has(callId)) {
+                names.set(callId, callName);
+            }
+        }
+    }
+    return names;
+}
+/**
+ * What one fired reason rests on — its declared `kind`, and for `calls` the
+ * calls its witnesses' rows name, each once, in witness order.
+ *
+ * @example
+ * ```ts
+ * reasonSourceOf('declared-absent', 'calls', [historyPointer], read);
+ * // { kind: 'calls', calls: [{ toolCallId: 'c1', toolName: 'load_attachment' }] }
+ * reasonSourceOf('stopped-early', 'run', [statePointer('stoppedEarly')], read);
+ * // { kind: 'run' }
+ * ```
+ */
+export function reasonSourceOf(reason, kind, witness, read) {
+    if (kind !== 'calls')
+        return { kind };
+    let names;
+    const nameOf = (id) => (names ??= toolNamesOf(read.state)).get(id);
+    const calls = [];
+    const listed = new Set();
+    // A call the record names by id but not by tool — counted once per id.
+    const nameless = new Set();
+    // A reference that names no call — a row that names none, or a list entry with no
+    // call id beside entries that have one — counted once each, never merged.
+    let anonymous = 0;
+    for (const w of witness) {
+        const refs = callsOfWitness(reason, w, read);
+        if (refs.length === 0)
+            anonymous += 1;
+        for (const ref of refs) {
+            if (ref.id === undefined) {
+                anonymous += 1;
+                continue;
+            }
+            if (listed.has(ref.id) || nameless.has(ref.id))
+                continue;
+            const toolName = ref.name ?? nameOf(ref.id);
+            if (toolName === undefined) {
+                nameless.add(ref.id);
+                continue;
+            }
+            listed.add(ref.id);
+            calls.push({ toolCallId: ref.id, toolName });
+        }
+    }
+    const unnamed = nameless.size + anonymous;
+    return { kind: 'calls', calls, ...(unnamed > 0 && { unnamed }) };
+}
+//# sourceMappingURL=sources.js.map

package/dist/esm/core/agent/assessment/sources.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sources.js","sourceRoot":"","sources":["../../../../../src/core/agent/assessment/sources.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;AAIH,MAAM,QAAQ,GAAG,CAAC,KAAc,EAA8C,EAAE,CAC9E,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAEvE,MAAM,GAAG,GAAG,CAAC,KAAc,EAAsB,EAAE,CACjD,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;AAcpE,mFAAmF;AACnF,SAAS,KAAK,CAAC,KAAwC,EAAE,GAAW,EAAE,IAAY;IAChF,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;IACxB,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACzC,OAAO,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AAClF,CAAC;AAED;;;;;GAKG;AACH,SAAS,MAAM,CAAC,IAAa;IAC3B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IACpC,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,KAAc,EAAE,EAAE;QACjC,MAAM,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC/D,OAAO,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC;IACxC,CAAC,CAAC,CAAC;AACL,CAAC;AAED,4DAA4D;AAC5D,SAAS,UAAU,CAAC,MAAwB,EAAE,GAAY;IACxD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,CAAC;IAC9B,IAAI,GAAG,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAC1D,IAAI,GAAG,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC3D,IAAI,MAAM,KAAK,kBAAkB,IAAI,GAAG,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC7D,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC/B,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;IACtD,CAAC;IACD,MAAM,EAAE,GAAG,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAC/B,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC/B,OAAO,EAAE,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS;QAC3C,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,KAAK,SAAS,IAAI,EAAE,EAAE,EAAE,CAAC,EAAE,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;AACjF,CAAC;AAED;;;;;GAKG;AACH,SAAS,YAAY,CAAC,KAAc,EAAE,IAAgB;IACpD,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAC/D,MAAM,KAAK,GAAG;QACZ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAU,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAW,CAAC,CAAC,CAAC,CAAC;KAC7F,CAAC;IACF,MAAM,SAAS,GAAc,KAAK,CAAC,KAAK;SACrC,MAAM,CAAC,CAAC,CAAU,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC;SAC5C,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACnB,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAa,EAAE;QAChD,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC;QAClE,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC;YACvB,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;YACZ,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,UAAU,KAAK,SAAS,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IAC5F,CAAC,CAAC,CAAC;IACH,OAAO,CAAC,GAAG,OAAO,EAAE,GAAG,SAAS,CAAC,CAAC;AACpC,CAAC;AAED,mCAAmC;AACnC,SAAS,cAAc,CACrB,MAAwB,EACxB,CAAoB,EACpB,IAAgB;IAEhB,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACzB,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC5F,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACnE,OAAO,CAAC,CAAC,UAAU,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS;YACrD,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC;gBACE;oBACE,GAAG,CAAC,CAAC,CAAC,UAAU,KAAK,SAAS,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,UAAU,EAAE,CAAC;oBACvD,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,EAAE,IAAI,EAAE,CAAC;iBACpC;aACF,CAAC;IACR,CAAC;IACD,IAAI,CAAC,CAAC,GAAG,KAAK,kBAAkB,EAAE,CAAC;QACjC,yDAAyD;QACzD,MAAM,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACvC,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC;QAC3C,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;QACjF,OAAO,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC7E,CAAC;IACD,OAAO,UAAU,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;AAC9D,CAAC;AAED,mGAAmG;AACnG,SAAS,WAAW,CAAC,KAAwC;IAC3D,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;IAClE,KAAK,MAAM,CAAC,IAAI,OAA6B,EAAE,CAAC;QAC9C,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;YAAE,SAAS;QAC3B,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;QAC7B,MAAM,IAAI,GAAG,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QAC7B,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,EAAE,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS;YAAE,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QACrF,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;YAAE,SAAS;QAC1C,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,SAA+B,EAAE,CAAC;YACrD,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YACzD,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YAC7D,IAAI,MAAM,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;gBACzE,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;YAC9B,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,cAAc,CAC5B,MAAwB,EACxB,IAAoC,EACpC,OAAqC,EACrC,IAAgB;IAEhB,IAAI,IAAI,KAAK,OAAO;QAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IACtC,IAAI,KAA8C,CAAC;IACnD,MAAM,MAAM,GAAG,CAAC,EAAU,EAAsB,EAAE,CAAC,CAAC,KAAK,KAAK,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC/F,MAAM,KAAK,GAA+C,EAAE,CAAC;IAC7D,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,uEAAuE;IACvE,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,kFAAkF;IAClF,0EAA0E;IAC1E,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,cAAc,CAAC,MAAM,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;QAC7C,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS,IAAI,CAAC,CAAC;QACtC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,IAAI,GAAG,CAAC,EAAE,KAAK,SAAS,EAAE,CAAC;gBACzB,SAAS,IAAI,CAAC,CAAC;gBACf,SAAS;YACX,CAAC;YACD,IAAI,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,SAAS;YACzD,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,IAAI,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAC5C,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC3B,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBACrB,SAAS;YACX,CAAC;YACD,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACnB,KAAK,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,GAAG,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC;QAC/C,CAAC;IACH,CAAC;IACD,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,GAAG,SAAS,CAAC;IAC1C,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,OAAO,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;AACnE,CAAC"}

package/dist/esm/core/agent/assessment/stage.d.ts

@@ -8,8 +8,9 @@
  *          at build from the agent's arms) — runs `assessAnswer` over them,
  *          and serves the result three ways: `answerAssessment` for
  *          PrepareFinal's `turn_end.answerAssessment`, one
- *          `agentfootprint.answer.assessed` event, and — under its own arm —
- *          one line for the person (`compose.ts` · `standingLineOf`).
+ *          `agentfootprint.answer.assessed` event, and — under its own arm,
+ *          for the standings its mode says it for — one line for the person
+ *          (`compose.ts` · `standingLineOf`, `standingLineSaid`).
  * Role:    core/ layer. Loaded through `import()` by the mount
  *          (`honesty/mounts.ts` · `startFinalBranch`) on the first armed
  *          answer — the optional-family law — so a plain agent's graph never
@@ -43,14 +44,26 @@
  */
 import type { TypedScope } from 'footprintjs';
 import type { AgentState } from '../types.js';
+import { type StandingLineWhen } from './compose.js';
 /** What the mount hands the stage — build-time facts, never scope. */
 export interface AnswerStageDeps {
     /** The committed keys the fold reads — only those this agent's arms can write. */
     readonly reads: readonly string[];
-    /** `.answerLayer({ standingLine: true })` — compose the line for the person. */
-    readonly standingLine?: true;
+    /**
+     * `.answerLayer({ standingLine })` — compose the line for the person, in
+     * the answers its mode says it for (`compose.ts` · `standingLineSaid`;
+     * `standingLine: true` is `'always'`). Absent → no line.
+     */
+    readonly standingLine?: StandingLineWhen;
     /** `.answerValidation()` is armed: an answer its report withholds is never assessed. */
     readonly validated?: true;
+    /**
+     * The app's words for a call of a tool — its `displayName`, read through the
+     * agent's own tools (`lib/displayName.ts` · `readDisplayName`). Present only
+     * on an agent where a tool can declare one; the line then names a reason's
+     * calls in those words. Absent → the line is the bytes it always was.
+     */
+    readonly displayNameOf?: (toolName: string) => string | undefined;
 }
 /**
  * The answer layer's stage: fold, file, announce — and, under its own arm,

package/dist/esm/core/agent/assessment/stage.js

@@ -8,8 +8,9 @@
  *          at build from the agent's arms) — runs `assessAnswer` over them,
  *          and serves the result three ways: `answerAssessment` for
  *          PrepareFinal's `turn_end.answerAssessment`, one
- *          `agentfootprint.answer.assessed` event, and — under its own arm —
- *          one line for the person (`compose.ts` · `standingLineOf`).
+ *          `agentfootprint.answer.assessed` event, and — under its own arm,
+ *          for the standings its mode says it for — one line for the person
+ *          (`compose.ts` · `standingLineOf`, `standingLineSaid`).
  * Role:    core/ layer. Loaded through `import()` by the mount
  *          (`honesty/mounts.ts` · `startFinalBranch`) on the first armed
  *          answer — the optional-family law — so a plain agent's graph never
@@ -44,7 +45,7 @@
 import { typedEmit } from '../../../recorders/core/typedEmit.js';
 import { validatedAnswerMayDeliver } from '../stages/prepareFinal.js';
 import { assessAnswer } from './assess.js';
-import { assessmentDataOf, assumedValuesSourceOf, rewrittenBehind, standingLineOf, } from './compose.js';
+import { assessmentDataOf, assumedValuesSourceOf, rewrittenBehind, sourcesByReason, standingDisplayNames, standingLineOf, standingLineSaid, } from './compose.js';
 /**
  * The fold's record, read off the final branch's scope: each key in `reads`
  * that holds a value, as the committed object itself (`$getValue` — never a
@@ -97,10 +98,20 @@ export async function assessAnswerStage(scope, deps) {
         iteration: scope.iteration,
         ...assessmentDataOf(assessed),
     });
-    if (deps.standingLine !== true)
+    // The line's mode decides whether THIS answer gets one — the data above went out either way.
+    if (deps.standingLine === undefined || !standingLineSaid(deps.standingLine, assessed.standing)) {
         return;
+    }
     const data = assessmentDataOf(assessed);
     const assumed = await assumedValuesOf(data, record);
-    scope.answerStandingLine = standingLineOf(data, assumed, rewrittenBehind(assessed));
+    // The app's words for the calls the reasons rest on — only tools that declare them.
+    const displayNames = deps.displayNameOf === undefined
+        ? new Map()
+        : standingDisplayNames(assessed, assumed, deps.displayNameOf);
+    scope.answerStandingLine = standingLineOf(data, assumed, rewrittenBehind(assessed), displayNames.size > 0 ? { sources: sourcesByReason(assessed), displayNames } : undefined);
+    // Filed for PrepareFinal (`turn_end.standingLineNames`): the words the record keeps, so a
+    // reader rebuilds the very line (`answer-account/account.ts` · `appendedStandingLine`).
+    if (displayNames.size > 0)
+        scope.answerStandingNames = Object.fromEntries(displayNames);
 }
 //# sourceMappingURL=stage.js.map

package/dist/esm/core/agent/assessment/stage.js.map

@@ -1 +1 @@
-{"version":3,"file":"stage.js","sourceRoot":"","sources":["../../../../../src/core/agent/assessment/stage.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0CG;AAIH,OAAO,EAAE,SAAS,EAAE,MAAM,sCAAsC,CAAC;AAEjE,OAAO,EAAE,yBAAyB,EAAE,MAAM,2BAA2B,CAAC;AACtE,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EACL,gBAAgB,EAChB,qBAAqB,EACrB,eAAe,EACf,cAAc,GAGf,MAAM,cAAc,CAAC;AAYtB;;;;;GAKG;AACH,SAAS,iBAAiB,CACxB,KAA6B,EAC7B,KAAwB;IAExB,MAAM,MAAM,GAA4B,EAAE,CAAC;IAC3C,KAAK,MAAM,GAAG,IAAI,KAAK,EAAE,CAAC;QACxB,MAAM,KAAK,GAAG,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;QACnC,IAAI,KAAK,KAAK,SAAS;YAAE,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;IAC/C,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;GAMG;AACH,KAAK,UAAU,eAAe,CAC5B,IAA0B,EAC1B,MAAyC;IAEzC,MAAM,MAAM,GAAG,qBAAqB,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAC3D,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACpC,MAAM,EAAE,eAAe,EAAE,GAAG,MAAM,MAAM,CAAC,uBAAuB,CAAC,CAAC;IAClE,OAAO,eAAe,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,aAAa,CAAC,CAAC;AAC3E,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,KAA6B,EAC7B,IAAqB;IAErB,MAAM,MAAM,GAAG,iBAAiB,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;IACpD,2EAA2E;IAC3E,4EAA4E;IAC5E,8CAA8C;IAC9C,IACE,IAAI,CAAC,SAAS,KAAK,IAAI;QACvB,CAAC,yBAAyB,CAAC,MAAM,CAAC,gBAAkD,CAAC,EACrF,CAAC;QACD,OAAO;IACT,CAAC;IACD,MAAM,QAAQ,GAAG,YAAY,CAAC,EAAE,QAAQ,EAAE,EAAE,WAAW,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;IACrE,yEAAyE;IACzE,KAAK,CAAC,gBAAgB,GAAG,gBAAgB,CAAC,QAAQ,CAAC,CAAC;IACpD,wEAAwE;IACxE,0EAA0E;IAC1E,SAAS,CAAC,KAAK,EAAE,gCAAgC,EAAE;QACjD,IAAI,EAAE,KAAK,CAAC,UAAoB;QAChC,SAAS,EAAE,KAAK,CAAC,SAAmB;QACpC,GAAG,gBAAgB,CAAC,QAAQ,CAAC;KAC9B,CAAC,CAAC;IACH,IAAI,IAAI,CAAC,YAAY,KAAK,IAAI;QAAE,OAAO;IACvC,MAAM,IAAI,GAAG,gBAAgB,CAAC,QAAQ,CAAC,CAAC;IACxC,MAAM,OAAO,GAAG,MAAM,eAAe,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACpD,KAAK,CAAC,kBAAkB,GAAG,cAAc,CAAC,IAAI,EAAE,OAAO,EAAE,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC;AACtF,CAAC"}
+{"version":3,"file":"stage.js","sourceRoot":"","sources":["../../../../../src/core/agent/assessment/stage.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;AAIH,OAAO,EAAE,SAAS,EAAE,MAAM,sCAAsC,CAAC;AAEjE,OAAO,EAAE,yBAAyB,EAAE,MAAM,2BAA2B,CAAC;AACtE,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EACL,gBAAgB,EAChB,qBAAqB,EACrB,eAAe,EACf,eAAe,EACf,oBAAoB,EACpB,cAAc,EACd,gBAAgB,GAIjB,MAAM,cAAc,CAAC;AAuBtB;;;;;GAKG;AACH,SAAS,iBAAiB,CACxB,KAA6B,EAC7B,KAAwB;IAExB,MAAM,MAAM,GAA4B,EAAE,CAAC;IAC3C,KAAK,MAAM,GAAG,IAAI,KAAK,EAAE,CAAC;QACxB,MAAM,KAAK,GAAG,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;QACnC,IAAI,KAAK,KAAK,SAAS;YAAE,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;IAC/C,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;GAMG;AACH,KAAK,UAAU,eAAe,CAC5B,IAA0B,EAC1B,MAAyC;IAEzC,MAAM,MAAM,GAAG,qBAAqB,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAC3D,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACpC,MAAM,EAAE,eAAe,EAAE,GAAG,MAAM,MAAM,CAAC,uBAAuB,CAAC,CAAC;IAClE,OAAO,eAAe,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,aAAa,CAAC,CAAC;AAC3E,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,KAA6B,EAC7B,IAAqB;IAErB,MAAM,MAAM,GAAG,iBAAiB,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;IACpD,2EAA2E;IAC3E,4EAA4E;IAC5E,8CAA8C;IAC9C,IACE,IAAI,CAAC,SAAS,KAAK,IAAI;QACvB,CAAC,yBAAyB,CAAC,MAAM,CAAC,gBAAkD,CAAC,EACrF,CAAC;QACD,OAAO;IACT,CAAC;IACD,MAAM,QAAQ,GAAG,YAAY,CAAC,EAAE,QAAQ,EAAE,EAAE,WAAW,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;IACrE,yEAAyE;IACzE,KAAK,CAAC,gBAAgB,GAAG,gBAAgB,CAAC,QAAQ,CAAC,CAAC;IACpD,wEAAwE;IACxE,0EAA0E;IAC1E,SAAS,CAAC,KAAK,EAAE,gCAAgC,EAAE;QACjD,IAAI,EAAE,KAAK,CAAC,UAAoB;QAChC,SAAS,EAAE,KAAK,CAAC,SAAmB;QACpC,GAAG,gBAAgB,CAAC,QAAQ,CAAC;KAC9B,CAAC,CAAC;IACH,6FAA6F;IAC7F,IAAI,IAAI,CAAC,YAAY,KAAK,SAAS,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,YAAY,EAAE,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC/F,OAAO;IACT,CAAC;IACD,MAAM,IAAI,GAAG,gBAAgB,CAAC,QAAQ,CAAC,CAAC;IACxC,MAAM,OAAO,GAAG,MAAM,eAAe,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACpD,oFAAoF;IACpF,MAAM,YAAY,GAChB,IAAI,CAAC,aAAa,KAAK,SAAS;QAC9B,CAAC,CAAC,IAAI,GAAG,EAAkB;QAC3B,CAAC,CAAC,oBAAoB,CAAC,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC;IAClE,KAAK,CAAC,kBAAkB,GAAG,cAAc,CACvC,IAAI,EACJ,OAAO,EACP,eAAe,CAAC,QAAQ,CAAC,EACzB,YAAY,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,eAAe,CAAC,QAAQ,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,SAAS,CACzF,CAAC;IACF,0FAA0F;IAC1F,wFAAwF;IACxF,IAAI,YAAY,CAAC,IAAI,GAAG,CAAC;QAAE,KAAK,CAAC,mBAAmB,GAAG,MAAM,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC;AAC1F,CAAC"}

package/dist/esm/core/agent/assessment/types.d.ts

@@ -156,6 +156,41 @@ export type AssessmentReason = 'asked' | 'argument-asked' | 'argument-assumed' |
 export type AssessmentCheck = 'argument-rules' | 'argument-sources' | 'result-period' | 'tool-coverage' | 'result-shape' | 'names-and-numbers' | 'answer-checks';
 /** The honesty layer a reason or a check belongs to: 1 choose · 2 inputs · 3 results · 4 answer. */
 export type HonestyLayer = 1 | 2 | 3 | 4;
+/**
+ * What a reason rests on — names and ids only, never a value or an argument.
+ * The KIND is declared once per reason (`reasons.ts` · `REASONS`), never
+ * inferred per run; the calls are read off the rows the reason's witnesses
+ * point at (`sources.ts` · `reasonSourceOf`) — a projection of what is
+ * recorded, never a guess at which claim leans on which call:
+ *
+ * - `calls` — specific tool calls: the calls those rows name, each once, in
+ *   witness order (`{ toolCallId, toolName }` — the record's own ids and the
+ *   tool's registered name). `unnamed` counts the calls the rows rest on that
+ *   the record does not name in full (no call id, or no tool name for it),
+ *   present only when there is one — so a `calls` reason with an empty list
+ *   still says it rests on calls, and an empty list never stands for "the
+ *   run";
+ * - `answer` — the answer itself: a value in it no evidence carried, a claim
+ *   in it, a check on its bytes;
+ * - `run` — the run as a whole: it paused for a person, a limit stopped it,
+ *   it skipped declared steps, a check could not reach a verdict.
+ *
+ * Naming a source never changes the standing, and never says the rest of the
+ * answer is unaffected: which claim depends on which call is not on the
+ * record.
+ */
+export type AssessmentReasonSource = {
+    readonly kind: 'calls';
+    readonly calls: readonly {
+        readonly toolCallId: string;
+        readonly toolName: string;
+    }[];
+    readonly unnamed?: number;
+} | {
+    readonly kind: 'answer';
+} | {
+    readonly kind: 'run';
+};
 /**
  * One answer's assessment, folded from its committed record.
  *
@@ -181,6 +216,8 @@ export interface AnswerAssessment {
         /** The honesty layer; absent for a reason that belongs to every layer (`asked`, `check-unreachable`). */
         readonly layer?: HonestyLayer;
         readonly witness: readonly AssessmentPointer[];
+        /** What it rests on — specific calls, the answer, or the run (see {@link AssessmentReasonSource}). */
+        readonly source: AssessmentReasonSource;
     }[];
     /** The row `known` stands on — present only when one does. */
     readonly support?: {