agentfootprint 9.82.0 → 9.83.0

package/dist/esm/core/agent/evidence/evidenceIndex.js

@@ -18,8 +18,18 @@
  *
  * ## What counts as evidence, and what deliberately does not
  *
- *   • **Tool results** — the `role: 'tool'` turns in the conversation. This is
- *     the whole corpus. A value the model read from a tool is grounded.
+ *   • **Tool results** — the `role: 'tool'` turns in `scope.history` AS IT
+ *     STANDS AT JUDGEMENT. A value the model read from a tool is grounded.
+ *
+ *     Say that precisely, because "the whole conversation" is only true for an
+ *     agent with no window strategy. `.window()` / `.compaction()` /
+ *     `tokenBudget` REWRITE `scope.history` in place (window.ts, `scope.history
+ *     = result.window`), so on those agents this corpus is the LIVE WINDOW and
+ *     a result the window has dropped is not in it — the same value then reads
+ *     as ungrounded. `keepLastToolResults` (default 2) is what keeps the most
+ *     recent observations pinned; nothing pins the rest. Anything computed from
+ *     this index therefore describes what the run can still SEE, never
+ *     everything it ever read.
  *   • **Object KEYS count.** A map keyed by WWN puts real identifiers in key
  *     position, and the model saw them exactly as it saw the values.
  *   • **Tool call ARGUMENTS do not count.** The model typed those. Grounding a
@@ -40,6 +50,42 @@
  * system-prompt content this turn was built from. A value the user supplied is
  * not a fabrication — the user gave it — and neither is one the app's own
  * prompt or skill body put in front of the model.
+ *
+ * ## WHEN a value was read, and why the corpus is still conversation-wide
+ *
+ * The corpus above answers "did the run read this?" and says nothing about
+ * WHEN. That gap has a measured cost: an agent answered a fresh question with
+ * ZERO tool calls, and the gate approved it because all seven values appeared
+ * in an inventory result fetched four turns earlier for a different question.
+ * Grounded, and four turns out of date.
+ *
+ * The fix is NOT to narrow the corpus to this turn. "And what about that
+ * disk?" legitimately leans on the previous turn's rows, and flagging those
+ * would make the gate cry wolf until somebody switched it off. So the corpus
+ * stays whole and every indexed form carries the TURN it was last served in
+ * — one number, stamped during the walk that was happening anyway.
+ *
+ * A TURN starts at each `role: 'user'` message the library did NOT author.
+ * `isLibraryAuthoredTurn` (frames.ts) is a statement about AUTHORSHIP, not
+ * about time — it exists to keep the exempt corpus from swallowing the gate's
+ * own corrections — and it is reused here for a different reason that happens
+ * to need the same predicate: a frame the library wrote is not a person asking
+ * something new. Excluding them is load-bearing rather than tidy. The evidence
+ * recheck appends a `role: 'user'` turn MID-RUN, so counting it as a boundary
+ * would push this turn's own tool results into the "earlier" bucket and file a
+ * notice against every revised answer.
+ *
+ * Turn 1 is the first user message still in the window; anything indexed
+ * before one (a history with no user turn at all) is turn 0, which is also
+ * `currentTurn`, so nothing can read as earlier and no notice can be filed
+ * from a conversation with no boundary in it.
+ *
+ * **The ordinals are WINDOW-RELATIVE**, and that is the honest bound: they
+ * count the user turns the run can still see, so under a window strategy
+ * "turn 2 of 4" may be the conversation's turn 9 of 13. The BOUNDARY is
+ * exact regardless — the current request is un-droppable by every window
+ * strategy (`'current-request'`, window/currentRequest.ts) — so "this turn
+ * versus earlier" holds; only the DISTANCE is a floor.
  */
 import { absenceEvidenceProjection } from '../coverage/index.js';
 import { isLibraryAuthoredTurn } from './frames.js';
@@ -55,11 +101,16 @@ function add(sink, raw) {
     if (norm === '')
         return;
     for (const form of lookupForms(norm)) {
+        // Re-stamping a form the index already holds costs no entry, so it is
+        // done before the budget is consulted: a truncated index should still
+        // hold the freshest turn for everything it did manage to index.
+        if (sink.values.has(form)) {
+            sink.values.set(form, sink.turn);
+            continue;
+        }
         if (sink.budget <= 0)
             return;
-        if (sink.values.has(form))
-            continue;
-        sink.values.add(form);
+        sink.values.set(form, sink.turn);
         sink.budget -= 1;
     }
 }
@@ -124,21 +175,38 @@ function indexResult(content, sink) {
     addText(sink, content);
 }
 /**
- * Build the evidence corpus from a conversation: every `role: 'tool'` turn.
+ * Build the evidence corpus from the history AS IT STANDS: every `role: 'tool'`
+ * turn still in it, each indexed form stamped with the turn that served it.
  *
  * In a single-turn run these are exactly this turn's tool results. In a
  * continued conversation the earlier turns' results are in here too, and that
  * is deliberate: the model really did read them, and calling a value from turn
- * one a fabrication in turn two would be false.
+ * one a fabrication in turn two would be false. Which earlier turns are still
+ * here is the WINDOW's decision, not this function's — see the header.
  */
 export function evidenceFromHistory(history) {
-    const sink = { values: new Set(), budget: MAX_INDEX_TOKENS };
+    const sink = { values: new Map(), budget: MAX_INDEX_TOKENS, turn: 0 };
+    let toolResultsThisTurn = 0;
     for (const msg of history) {
+        // A turn boundary — the person asked something new. The library's own
+        // corrections are `role: 'user'` too and are NOT boundaries; see the
+        // header for the bug that distinction prevents.
+        if (msg.role === 'user' && !isLibraryAuthoredTurn(msg.content)) {
+            sink.turn += 1;
+            toolResultsThisTurn = 0;
+            continue;
+        }
         if (msg.role !== 'tool')
             continue;
+        toolResultsThisTurn += 1;
         indexResult(msg.content, sink);
     }
-    return { values: sink.values, truncated: sink.budget <= 0 };
+    return {
+        values: sink.values,
+        truncated: sink.budget <= 0,
+        currentTurn: sink.turn,
+        toolResultsThisTurn,
+    };
 }
 /**
  * Build the exempt corpus: everything the RUN put in front of the model that
@@ -150,9 +218,26 @@ export function evidenceFromHistory(history) {
  * summarised or redacted contributes what it has. That direction is the safe
  * one: a missing exemption can only cost a false flag on a value the app
  * supplied, and the caller can name it in `exempt`.
+ *
+ * STATED REACH, because `systemPromptInjections` is broader than "the app's
+ * own prompt": it also carries `.memory()` recall and RAG passages. A value
+ * that reached the model through memory or retrieval is therefore EXEMPT from
+ * grounding — never flagged, and never counted as tool evidence of any turn,
+ * so it is invisible to the recency read too. That is the correct call for the
+ * fabrication question (the run really did put those words in front of the
+ * model) and a real blind spot for the recency one, and it is deliberately NOT
+ * fixed here: recall is its own seam, with its own record
+ * (`retrievalEvidence_<id>`, `agentfootprint.memory.attached`), and giving a
+ * recalled passage a turn stamp means deciding whose turn it belongs to — the
+ * one it was written in or the one it was recalled in — which is a question
+ * this file has no standing to answer.
  */
 export function exemptFromRun(args) {
-    const sink = { values: new Set(), budget: MAX_INDEX_TOKENS };
+    // The same accumulator, walked with no turn boundaries: an exemption is a
+    // fact about WHO supplied a value, and the turn it arrived in changes
+    // nothing about that. The keys are lifted into a Set at the end so the
+    // grounding decision keeps the exact membership type it always took.
+    const sink = { values: new Map(), budget: MAX_INDEX_TOKENS, turn: 0 };
     if (args.userMessage)
         addText(sink, args.userMessage);
     for (const msg of args.history) {
@@ -175,6 +260,6 @@ export function exemptFromRun(args) {
         else if (rec.contentSummary)
             addText(sink, rec.contentSummary);
     }
-    return sink.values;
+    return new Set(sink.values.keys());
 }
 //# sourceMappingURL=evidenceIndex.js.map

package/dist/esm/core/agent/evidence/evidenceIndex.js.map

@@ -1 +1 @@
-{"version":3,"file":"evidenceIndex.js","sourceRoot":"","sources":["../../../../../src/core/agent/evidence/evidenceIndex.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0CG;AAIH,OAAO,EAAE,yBAAyB,EAAE,MAAM,sBAAsB,CAAC;AACjE,OAAO,EAAE,qBAAqB,EAAE,MAAM,aAAa,CAAC;AACpD,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAEvE;;;;GAIG;AACH,MAAM,gBAAgB,GAAG,OAAO,CAAC;AAoBjC,SAAS,GAAG,CAAC,IAAU,EAAE,GAAW;IAClC,MAAM,IAAI,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;IACjC,IAAI,IAAI,KAAK,EAAE;QAAE,OAAO;IACxB,KAAK,MAAM,IAAI,IAAI,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;QACrC,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC;YAAE,OAAO;QAC7B,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QACpC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACtB,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC;IACnB,CAAC;AACH,CAAC;AAED,SAAS,OAAO,CAAC,IAAU,EAAE,IAAY;IACvC,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC;YAAE,OAAO;QAC7B,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACnB,CAAC;AACH,CAAC;AAED,0DAA0D;AAC1D,SAAS,IAAI,CAAC,IAAa,EAAE,IAAU;IACrC,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO;IACpE,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7B,wEAAwE;QACxE,uDAAuD;QACvD,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAChB,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACpB,OAAO;IACT,CAAC;IACD,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,OAAO,IAAI,KAAK,SAAS,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;QACtF,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;QACxB,OAAO;IACT,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACxB,KAAK,MAAM,EAAE,IAAI,IAAI;YAAE,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QACtC,OAAO;IACT,CAAC;IACD,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7B,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAA+B,CAAC,EAAE,CAAC;YAC3E,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACf,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACpB,CAAC;IACH,CAAC;AACH,CAAC;AAED,mFAAmF;AACnF,SAAS,WAAW,CAAC,OAAe,EAAE,IAAU;IAC9C,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC;IAC/B,IAAI,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QACvD,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YACnC,sEAAsE;YACtE,uEAAuE;YACvE,sEAAsE;YACtE,oDAAoD;YACpD,uEAAuE;YACvE,iEAAiE;YACjE,0CAA0C;YAC1C,MAAM,UAAU,GAAG,yBAAyB,CAAC,MAAM,CAAC,CAAC;YACrD,IAAI,CAAC,UAAU,IAAI,MAAM,EAAE,IAAI,CAAC,CAAC;YACjC,OAAO;QACT,CAAC;QAAC,MAAM,CAAC;YACP,qEAAqE;YACrE,sEAAsE;YACtE,uEAAuE;YACvE,4BAA4B;QAC9B,CAAC;IACH,CAAC;IACD,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;AACzB,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,mBAAmB,CAAC,OAA8B;IAChE,MAAM,IAAI,GAAS,EAAE,MAAM,EAAE,IAAI,GAAG,EAAU,EAAE,MAAM,EAAE,gBAAgB,EAAE,CAAC;IAC3E,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM;YAAE,SAAS;QAClC,WAAW,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACjC,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;AAC9D,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,aAAa,CAAC,IAI7B;IACC,MAAM,IAAI,GAAS,EAAE,MAAM,EAAE,IAAI,GAAG,EAAU,EAAE,MAAM,EAAE,gBAAgB,EAAE,CAAC;IAC3E,IAAI,IAAI,CAAC,WAAW;QAAE,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;IACtD,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAC/B,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ;YAAE,SAAS;QAC3D,sEAAsE;QACtE,yEAAyE;QACzE,wEAAwE;QACxE,6BAA6B;QAC7B,IAAI,qBAAqB,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,SAAS;QACjD,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;IAC7B,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,sBAAsB,IAAI,EAAE,EAAE,CAAC;QACpD,IAAI,GAAG,CAAC,UAAU;YAAE,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;QAClD,wEAAwE;QACxE,wEAAwE;QACxE,iCAAiC;aAC5B,IAAI,GAAG,CAAC,cAAc;YAAE,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,cAAc,CAAC,CAAC;IACjE,CAAC;IACD,OAAO,IAAI,CAAC,MAAM,CAAC;AACrB,CAAC"}
+{"version":3,"file":"evidenceIndex.js","sourceRoot":"","sources":["../../../../../src/core/agent/evidence/evidenceIndex.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwFG;AAIH,OAAO,EAAE,yBAAyB,EAAE,MAAM,sBAAsB,CAAC;AACjE,OAAO,EAAE,qBAAqB,EAAE,MAAM,aAAa,CAAC;AACpD,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAEvE;;;;GAIG;AACH,MAAM,gBAAgB,GAAG,OAAO,CAAC;AAgDjC,SAAS,GAAG,CAAC,IAAU,EAAE,GAAW;IAClC,MAAM,IAAI,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;IACjC,IAAI,IAAI,KAAK,EAAE;QAAE,OAAO;IACxB,KAAK,MAAM,IAAI,IAAI,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;QACrC,sEAAsE;QACtE,sEAAsE;QACtE,gEAAgE;QAChE,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1B,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;YACjC,SAAS;QACX,CAAC;QACD,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC;YAAE,OAAO;QAC7B,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC;IACnB,CAAC;AACH,CAAC;AAED,SAAS,OAAO,CAAC,IAAU,EAAE,IAAY;IACvC,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC;YAAE,OAAO;QAC7B,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACnB,CAAC;AACH,CAAC;AAED,0DAA0D;AAC1D,SAAS,IAAI,CAAC,IAAa,EAAE,IAAU;IACrC,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO;IACpE,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7B,wEAAwE;QACxE,uDAAuD;QACvD,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAChB,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACpB,OAAO;IACT,CAAC;IACD,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,OAAO,IAAI,KAAK,SAAS,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;QACtF,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;QACxB,OAAO;IACT,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACxB,KAAK,MAAM,EAAE,IAAI,IAAI;YAAE,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QACtC,OAAO;IACT,CAAC;IACD,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7B,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAA+B,CAAC,EAAE,CAAC;YAC3E,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACf,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACpB,CAAC;IACH,CAAC;AACH,CAAC;AAED,mFAAmF;AACnF,SAAS,WAAW,CAAC,OAAe,EAAE,IAAU;IAC9C,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC;IAC/B,IAAI,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QACvD,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YACnC,sEAAsE;YACtE,uEAAuE;YACvE,sEAAsE;YACtE,oDAAoD;YACpD,uEAAuE;YACvE,iEAAiE;YACjE,0CAA0C;YAC1C,MAAM,UAAU,GAAG,yBAAyB,CAAC,MAAM,CAAC,CAAC;YACrD,IAAI,CAAC,UAAU,IAAI,MAAM,EAAE,IAAI,CAAC,CAAC;YACjC,OAAO;QACT,CAAC;QAAC,MAAM,CAAC;YACP,qEAAqE;YACrE,sEAAsE;YACtE,uEAAuE;YACvE,4BAA4B;QAC9B,CAAC;IACH,CAAC;IACD,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;AACzB,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,mBAAmB,CAAC,OAA8B;IAChE,MAAM,IAAI,GAAS,EAAE,MAAM,EAAE,IAAI,GAAG,EAAkB,EAAE,MAAM,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;IAC5F,IAAI,mBAAmB,GAAG,CAAC,CAAC;IAC5B,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,sEAAsE;QACtE,qEAAqE;QACrE,gDAAgD;QAChD,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YAC/D,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC;YACf,mBAAmB,GAAG,CAAC,CAAC;YACxB,SAAS;QACX,CAAC;QACD,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM;YAAE,SAAS;QAClC,mBAAmB,IAAI,CAAC,CAAC;QACzB,WAAW,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACjC,CAAC;IACD,OAAO;QACL,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,SAAS,EAAE,IAAI,CAAC,MAAM,IAAI,CAAC;QAC3B,WAAW,EAAE,IAAI,CAAC,IAAI;QACtB,mBAAmB;KACpB,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,MAAM,UAAU,aAAa,CAAC,IAI7B;IACC,0EAA0E;IAC1E,sEAAsE;IACtE,uEAAuE;IACvE,qEAAqE;IACrE,MAAM,IAAI,GAAS,EAAE,MAAM,EAAE,IAAI,GAAG,EAAkB,EAAE,MAAM,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;IAC5F,IAAI,IAAI,CAAC,WAAW;QAAE,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;IACtD,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAC/B,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ;YAAE,SAAS;QAC3D,sEAAsE;QACtE,yEAAyE;QACzE,wEAAwE;QACxE,6BAA6B;QAC7B,IAAI,qBAAqB,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,SAAS;QACjD,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;IAC7B,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,sBAAsB,IAAI,EAAE,EAAE,CAAC;QACpD,IAAI,GAAG,CAAC,UAAU;YAAE,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;QAClD,wEAAwE;QACxE,wEAAwE;QACxE,iCAAiC;aAC5B,IAAI,GAAG,CAAC,cAAc;YAAE,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,cAAc,CAAC,CAAC;IACjE,CAAC;IACD,OAAO,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;AACrC,CAAC"}

package/dist/esm/core/agent/evidence/gate.d.ts

@@ -42,6 +42,13 @@
  * unexamined. A missed fabrication is a miss; a false accusation costs a real
  * turn and can refuse a good answer, so the bias points the way it does.
  *
+ * **And it does not ask WHEN.** A value read four turns ago for a different
+ * question is as grounded here as one read a second ago — which is a measured
+ * failure, not a hypothetical (see `../../../integrity/prior-turn-evidence`).
+ * That fact is reported beside this check, never folded into it: the gate's
+ * job is "was this read at all", and answering a second question through the
+ * same verdict would make one dial control two decisions.
+ *
  * ## Why the check is DETERMINISTIC
  *
  * No model call, no embedding, no judge. The library's thesis is that
@@ -69,6 +76,13 @@ export declare function resolveEvidenceGate(opts?: NamesAndNumbersOptions): Reso
  *
  * `exempt` is checked BEFORE the evidence: a value the user supplied is not a
  * fabrication whether or not a tool ever echoed it back.
+ *
+ * The same pass reports WHEN each grounded value was read (`grounding`) — the
+ * time axis the corpus gained in 9.83.0. Three buckets, and an exempt value is
+ * in none of them: exemption is a statement about who SUPPLIED a value, and a
+ * value the app or the person put in front of the model was never something
+ * the run had to go and look up. Counting one as tool evidence — of any turn —
+ * would answer a question nobody asked.
  */
 export declare function checkAnswer(answer: string, args: {
     readonly gate: ResolvedEvidenceGate;
@@ -92,6 +106,19 @@ export declare function describeValues(values: readonly UnsupportedValue[]): str
  * compaction frame and the schema frame follow, and a rule with an exception
  * is not a rule.
  *
+ * ## The scope this sentence used to claim, and no longer does (9.83.0)
+ *
+ * Both this frame and {@link evidenceRefusalSentence} said the flagged values
+ * "appear in NO tool result FROM THIS TURN". The index they are written from
+ * has never been turn-scoped — it walks every `role: 'tool'` turn in
+ * `scope.history` — so the sentence named a boundary the check did not honour,
+ * in the two places the claim is read by a model and by an operator. It was
+ * also needlessly weak: a flagged value appears in no tool result the run can
+ * point at AT ALL, which is a stronger and true thing to say. So the words
+ * changed to the check's real reach. The recency fact the old wording gestured
+ * at is now reported where it can be measured — `prior-turn-evidence`, off by
+ * default — instead of asserted here where it could not be.
+ *
  * `stagedRefs` (optional) is the staged-refs join computed by the recheck
  * stage: when this turn holds placed artifact tickets a served `wants` tool
  * can spend, the frame names the refs and the spender by their declared names

package/dist/esm/core/agent/evidence/gate.js

@@ -42,6 +42,13 @@
  * unexamined. A missed fabrication is a miss; a false accusation costs a real
  * turn and can refuse a good answer, so the bias points the way it does.
  *
+ * **And it does not ask WHEN.** A value read four turns ago for a different
+ * question is as grounded here as one read a second ago — which is a measured
+ * failure, not a hypothetical (see `../../../integrity/prior-turn-evidence`).
+ * That fact is reported beside this check, never folded into it: the gate's
+ * job is "was this read at all", and answering a second question through the
+ * same verdict would make one dial control two decisions.
+ *
  * ## Why the check is DETERMINISTIC
  *
  * No model call, no embedding, no judge. The library's thesis is that
@@ -148,20 +155,58 @@ function anchor(re) {
  *
  * `exempt` is checked BEFORE the evidence: a value the user supplied is not a
  * fabrication whether or not a tool ever echoed it back.
+ *
+ * The same pass reports WHEN each grounded value was read (`grounding`) — the
+ * time axis the corpus gained in 9.83.0. Three buckets, and an exempt value is
+ * in none of them: exemption is a statement about who SUPPLIED a value, and a
+ * value the app or the person put in front of the model was never something
+ * the run had to go and look up. Counting one as tool evidence — of any turn —
+ * would answer a question nobody asked.
  */
 export function checkAnswer(answer, args) {
     const candidates = extractCandidates(answer, args.gate);
     const unsupported = [];
+    let fromThisTurn = 0;
+    let fromPriorTurns = 0;
+    let latestPriorTurn;
     for (const candidate of candidates) {
         const forms = lookupForms(candidate.value);
-        const known = forms.some((f) => args.exempt.has(f) || args.evidence.values.has(f));
-        if (!known)
+        if (forms.some((f) => args.exempt.has(f)))
+            continue;
+        // The NEWEST turn any spelling of this value was served in. Newest,
+        // because the question is whether this turn could have supplied it — an
+        // identifier echoed back by a lookup this turn is this turn's, whatever
+        // else served it three turns ago.
+        let turn;
+        for (const form of forms) {
+            const seen = args.evidence.values.get(form);
+            if (seen !== undefined && (turn === undefined || seen > turn))
+                turn = seen;
+        }
+        if (turn === undefined) {
             unsupported.push({ value: clip(candidate.value), shape: candidate.shape });
+            continue;
+        }
+        if (turn >= args.evidence.currentTurn) {
+            fromThisTurn += 1;
+            continue;
+        }
+        fromPriorTurns += 1;
+        if (latestPriorTurn === undefined || turn > latestPriorTurn)
+            latestPriorTurn = turn;
     }
     return {
         unsupported,
         candidates: candidates.length,
         evidenceTruncated: args.evidence.truncated,
+        grounding: {
+            fromThisTurn,
+            fromPriorTurns,
+            ...(latestPriorTurn !== undefined && { latestPriorTurn }),
+            currentTurn: args.evidence.currentTurn,
+            toolResultsThisTurn: args.evidence.toolResultsThisTurn,
+            indexTruncated: args.evidence.truncated,
+        },
     };
 }
 /** Render the flagged values for a human or a model: `` `x` (shape) ``. */
@@ -186,6 +231,19 @@ export function describeValues(values) {
  * compaction frame and the schema frame follow, and a rule with an exception
  * is not a rule.
  *
+ * ## The scope this sentence used to claim, and no longer does (9.83.0)
+ *
+ * Both this frame and {@link evidenceRefusalSentence} said the flagged values
+ * "appear in NO tool result FROM THIS TURN". The index they are written from
+ * has never been turn-scoped — it walks every `role: 'tool'` turn in
+ * `scope.history` — so the sentence named a boundary the check did not honour,
+ * in the two places the claim is read by a model and by an operator. It was
+ * also needlessly weak: a flagged value appears in no tool result the run can
+ * point at AT ALL, which is a stronger and true thing to say. So the words
+ * changed to the check's real reach. The recency fact the old wording gestured
+ * at is now reported where it can be measured — `prior-turn-evidence`, off by
+ * default — instead of asserted here where it could not be.
+ *
  * `stagedRefs` (optional) is the staged-refs join computed by the recheck
  * stage: when this turn holds placed artifact tickets a served `wants` tool
  * can spend, the frame names the refs and the spender by their declared names
@@ -197,7 +255,7 @@ export function describeValues(values) {
  */
 export function buildEvidenceCorrection(failedAnswer, values, stagedRefs) {
     const frame = `${EVIDENCE_CHECK_FRAME_PREFIX} — the answer above states values that appear in NO tool ` +
-        `result from this turn, so they were not read from the data. Reply again using only names ` +
+        `result this run read, so they were not read from the data. Reply again using only names ` +
         `and numbers a tool actually returned. If you need one of these values, call the tool that ` +
         `provides it.` +
         (stagedRefs === undefined ? '' : stagedRefsTeachingClause(stagedRefs)) +
@@ -220,14 +278,16 @@ export function buildEvidenceCorrection(failedAnswer, values, stagedRefs) {
  */
 export function evidenceRefusalSentence(values, posture, revised) {
     const head = posture === 'rails'
-        ? `[agentfootprint] this answer was NOT returned: ${values.length} value(s) in it appear in no tool result from this turn`
-        : `[agentfootprint] this answer states ${values.length} value(s) that appear in no tool result from this turn`;
+        ? `[agentfootprint] this answer was NOT returned: ${values.length} value(s) in it appear in no tool result this run read`
+        : `[agentfootprint] this answer states ${values.length} value(s) that appear in no tool result this run read`;
     return (`${head} — ${describeValues(values)}. ` +
         (revised ? 'The model was asked once to correct them and they survived the revision. ' : '') +
         'What would satisfy the check: every name and number in the answer appears in a tool ' +
         'result (or in the message you sent). Call a tool that returns these values, declare their ' +
         'shape via `shapes` if they are legitimate and the extractor mis-read them, or accept the ' +
         "answer with `posture: 'assist'`. This check catches INVENTED values only — it cannot " +
-        'tell you whether a claim built from real values is true.');
+        'tell you whether a claim built from real values is true, and it does not ask WHEN a value ' +
+        'was read (`noticePriorTurnEvidence` reports that). What it reads is the live window: a ' +
+        'result a window strategy has already dropped is not in it.');
 }
 //# sourceMappingURL=gate.js.map

package/dist/esm/core/agent/evidence/gate.js.map

@@ -1 +1 @@
-{"version":3,"file":"gate.js","sourceRoot":"","sources":["../../../../../src/core/agent/evidence/gate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoDG;AAGH,OAAO,EAAE,wBAAwB,EAAE,MAAM,kBAAkB,CAAC;AAE5D,OAAO,EAAE,2BAA2B,EAAE,MAAM,aAAa,CAAC;AAC1D,OAAO,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AACjD,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAU7D,MAAM,QAAQ,GAA+B,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;AAE1E,4EAA4E;AAC5E,8EAA8E;AAC9E,oEAAoE;AACpE,OAAO,EAAE,2BAA2B,EAAE,CAAC;AAEvC,wEAAwE;AACxE,MAAM,CAAC,MAAM,mBAAmB,GAAG,EAAE,CAAC;AAEtC,2CAA2C;AAC3C,MAAM,eAAe,GAAG,EAAE,CAAC;AAE3B,0EAA0E;AAC1E,SAAS,IAAI,CAAC,CAAS;IACrB,OAAO,CAAC,CAAC,MAAM,IAAI,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,eAAe,GAAG,CAAC,CAAC,GAAG,CAAC;AACjF,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,mBAAmB,CAAC,OAA+B,EAAE;IACnE,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,IAAI,QAAQ,CAAC;IACzC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QAChC,MAAM,IAAI,KAAK,CACb,sDAAsD,MAAM,CAAC,OAAO,CAAC,qBAAqB;YACxF,oFAAoF;YACpF,oFAAoF;YACpF,kCAAkC,CACrC,CAAC;IACJ,CAAC;IACD,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,IAAI,CAAC,CAAC;IACtC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,SAAS,CAAC,IAAI,SAAS,GAAG,CAAC,EAAE,CAAC;QAClD,MAAM,IAAI,KAAK,CACb,yFAAyF;YACvF,WAAW,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,uDAAuD;YACxF,0FAA0F,CAC7F,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC;IAClC,IAAI,OAAO,KAAK,KAAK,SAAS,EAAE,CAAC;QAC/B,MAAM,IAAI,KAAK,CACb,0EAA0E;YACxE,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,+DAA+D;YACpF,sFAAsF;YACtF,0BAA0B,CAC7B,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAoB,EAAE,CAAC;IACnC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;QACjC,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,MAAM,IAAI,KAAK,CACb,wFAAwF;gBACtF,kFAAkF;gBAClF,4EAA4E,CAC/E,CAAC;QACJ,CAAC;QACD,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACpB,MAAM,IAAI,KAAK,CACb,wEAAwE,IAAI,WAAW;gBACrF,6EAA6E,CAChF,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,CAAC,KAAK,CAAC,KAAK,YAAY,MAAM,CAAC,EAAE,CAAC;YACrC,MAAM,IAAI,KAAK,CACb,oDAAoD,IAAI,6BAA6B,CACtF,CAAC;QACJ,CAAC;QACD,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAChB,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACpD,CAAC;IAED,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IACvC,MAAM,cAAc,GAAa,EAAE,CAAC;IACpC,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;QACnC,IAAI,EAAE,YAAY,MAAM;YAAE,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;aACrD,IAAI,OAAO,EAAE,KAAK,QAAQ,EAAE,CAAC;YAChC,MAAM,IAAI,GAAG,cAAc,CAAC,EAAE,CAAC,CAAC;YAChC,sEAAsE;YACtE,gDAAgD;YAChD,KAAK,MAAM,IAAI,IAAI,WAAW,CAAC,IAAI,CAAC;gBAAE,IAAI,IAAI,KAAK,EAAE;oBAAE,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAChF,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,KAAK,CACb,oFAAoF,CACrF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,cAAc,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;AAC7E,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,MAAM,CAAC,EAAU;IACxB,OAAO,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC;AACzE,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,WAAW,CACzB,MAAc,EACd,IAIC;IAED,MAAM,UAAU,GAAG,iBAAiB,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IACxD,MAAM,WAAW,GAAuB,EAAE,CAAC;IAC3C,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,MAAM,KAAK,GAAG,WAAW,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAC3C,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACnF,IAAI,CAAC,KAAK;YAAE,WAAW,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC;IACzF,CAAC;IACD,OAAO;QACL,WAAW;QACX,UAAU,EAAE,UAAU,CAAC,MAAM;QAC7B,iBAAiB,EAAE,IAAI,CAAC,QAAQ,CAAC,SAAS;KAC3C,CAAC;AACJ,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,cAAc,CAAC,MAAmC;IAChE,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,mBAAmB,CAAC,CAAC;IACnD,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,KAAK,OAAO,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5E,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;IAC1C,OAAO,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,QAAQ,SAAS,IAAI,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC;AAC/D,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,MAAM,UAAU,uBAAuB,CACrC,YAAoB,EACpB,MAAmC,EACnC,UAA4B;IAE5B,MAAM,KAAK,GACT,GAAG,2BAA2B,2DAA2D;QACzF,2FAA2F;QAC3F,4FAA4F;QAC5F,cAAc;QACd,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,wBAAwB,CAAC,UAAU,CAAC,CAAC;QACtE,6EAA6E;QAC7E,4FAA4F;QAC5F,2FAA2F;QAC3F,oBAAoB,CAAC;IACvB,OAAO;QACL,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,YAAY,EAAE;QAC5C,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,KAAK,OAAO,cAAc,CAAC,MAAM,CAAC,EAAE,EAAE;KACnE,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,uBAAuB,CACrC,MAAmC,EACnC,OAAwB,EACxB,OAAgB;IAEhB,MAAM,IAAI,GACR,OAAO,KAAK,OAAO;QACjB,CAAC,CAAC,kDAAkD,MAAM,CAAC,MAAM,yDAAyD;QAC1H,CAAC,CAAC,uCAAuC,MAAM,CAAC,MAAM,wDAAwD,CAAC;IACnH,OAAO,CACL,GAAG,IAAI,MAAM,cAAc,CAAC,MAAM,CAAC,IAAI;QACvC,CAAC,OAAO,CAAC,CAAC,CAAC,2EAA2E,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5F,sFAAsF;QACtF,4FAA4F;QAC5F,2FAA2F;QAC3F,uFAAuF;QACvF,0DAA0D,CAC3D,CAAC;AACJ,CAAC"}
+{"version":3,"file":"gate.js","sourceRoot":"","sources":["../../../../../src/core/agent/evidence/gate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2DG;AAGH,OAAO,EAAE,wBAAwB,EAAE,MAAM,kBAAkB,CAAC;AAE5D,OAAO,EAAE,2BAA2B,EAAE,MAAM,aAAa,CAAC;AAC1D,OAAO,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AACjD,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAU7D,MAAM,QAAQ,GAA+B,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;AAE1E,4EAA4E;AAC5E,8EAA8E;AAC9E,oEAAoE;AACpE,OAAO,EAAE,2BAA2B,EAAE,CAAC;AAEvC,wEAAwE;AACxE,MAAM,CAAC,MAAM,mBAAmB,GAAG,EAAE,CAAC;AAEtC,2CAA2C;AAC3C,MAAM,eAAe,GAAG,EAAE,CAAC;AAE3B,0EAA0E;AAC1E,SAAS,IAAI,CAAC,CAAS;IACrB,OAAO,CAAC,CAAC,MAAM,IAAI,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,eAAe,GAAG,CAAC,CAAC,GAAG,CAAC;AACjF,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,mBAAmB,CAAC,OAA+B,EAAE;IACnE,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,IAAI,QAAQ,CAAC;IACzC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QAChC,MAAM,IAAI,KAAK,CACb,sDAAsD,MAAM,CAAC,OAAO,CAAC,qBAAqB;YACxF,oFAAoF;YACpF,oFAAoF;YACpF,kCAAkC,CACrC,CAAC;IACJ,CAAC;IACD,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,IAAI,CAAC,CAAC;IACtC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,SAAS,CAAC,IAAI,SAAS,GAAG,CAAC,EAAE,CAAC;QAClD,MAAM,IAAI,KAAK,CACb,yFAAyF;YACvF,WAAW,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,uDAAuD;YACxF,0FAA0F,CAC7F,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC;IAClC,IAAI,OAAO,KAAK,KAAK,SAAS,EAAE,CAAC;QAC/B,MAAM,IAAI,KAAK,CACb,0EAA0E;YACxE,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,+DAA+D;YACpF,sFAAsF;YACtF,0BAA0B,CAC7B,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAoB,EAAE,CAAC;IACnC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;QACjC,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,MAAM,IAAI,KAAK,CACb,wFAAwF;gBACtF,kFAAkF;gBAClF,4EAA4E,CAC/E,CAAC;QACJ,CAAC;QACD,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACpB,MAAM,IAAI,KAAK,CACb,wEAAwE,IAAI,WAAW;gBACrF,6EAA6E,CAChF,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,CAAC,KAAK,CAAC,KAAK,YAAY,MAAM,CAAC,EAAE,CAAC;YACrC,MAAM,IAAI,KAAK,CACb,oDAAoD,IAAI,6BAA6B,CACtF,CAAC;QACJ,CAAC;QACD,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAChB,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACpD,CAAC;IAED,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IACvC,MAAM,cAAc,GAAa,EAAE,CAAC;IACpC,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;QACnC,IAAI,EAAE,YAAY,MAAM;YAAE,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;aACrD,IAAI,OAAO,EAAE,KAAK,QAAQ,EAAE,CAAC;YAChC,MAAM,IAAI,GAAG,cAAc,CAAC,EAAE,CAAC,CAAC;YAChC,sEAAsE;YACtE,gDAAgD;YAChD,KAAK,MAAM,IAAI,IAAI,WAAW,CAAC,IAAI,CAAC;gBAAE,IAAI,IAAI,KAAK,EAAE;oBAAE,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAChF,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,KAAK,CACb,oFAAoF,CACrF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,cAAc,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;AAC7E,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,MAAM,CAAC,EAAU;IACxB,OAAO,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC;AACzE,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,WAAW,CACzB,MAAc,EACd,IAIC;IAED,MAAM,UAAU,GAAG,iBAAiB,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IACxD,MAAM,WAAW,GAAuB,EAAE,CAAC;IAC3C,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,IAAI,cAAc,GAAG,CAAC,CAAC;IACvB,IAAI,eAAmC,CAAC;IACxC,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,MAAM,KAAK,GAAG,WAAW,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAC3C,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAAE,SAAS;QACpD,oEAAoE;QACpE,wEAAwE;QACxE,wEAAwE;QACxE,kCAAkC;QAClC,IAAI,IAAwB,CAAC;QAC7B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC5C,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,GAAG,IAAI,CAAC;gBAAE,IAAI,GAAG,IAAI,CAAC;QAC7E,CAAC;QACD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,WAAW,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC;YAC3E,SAAS;QACX,CAAC;QACD,IAAI,IAAI,IAAI,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC;YACtC,YAAY,IAAI,CAAC,CAAC;YAClB,SAAS;QACX,CAAC;QACD,cAAc,IAAI,CAAC,CAAC;QACpB,IAAI,eAAe,KAAK,SAAS,IAAI,IAAI,GAAG,eAAe;YAAE,eAAe,GAAG,IAAI,CAAC;IACtF,CAAC;IACD,OAAO;QACL,WAAW;QACX,UAAU,EAAE,UAAU,CAAC,MAAM;QAC7B,iBAAiB,EAAE,IAAI,CAAC,QAAQ,CAAC,SAAS;QAC1C,SAAS,EAAE;YACT,YAAY;YACZ,cAAc;YACd,GAAG,CAAC,eAAe,KAAK,SAAS,IAAI,EAAE,eAAe,EAAE,CAAC;YACzD,WAAW,EAAE,IAAI,CAAC,QAAQ,CAAC,WAAW;YACtC,mBAAmB,EAAE,IAAI,CAAC,QAAQ,CAAC,mBAAmB;YACtD,cAAc,EAAE,IAAI,CAAC,QAAQ,CAAC,SAAS;SACxC;KACF,CAAC;AACJ,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,cAAc,CAAC,MAAmC;IAChE,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,mBAAmB,CAAC,CAAC;IACnD,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,KAAK,OAAO,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5E,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;IAC1C,OAAO,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,QAAQ,SAAS,IAAI,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC;AAC/D,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCG;AACH,MAAM,UAAU,uBAAuB,CACrC,YAAoB,EACpB,MAAmC,EACnC,UAA4B;IAE5B,MAAM,KAAK,GACT,GAAG,2BAA2B,2DAA2D;QACzF,0FAA0F;QAC1F,4FAA4F;QAC5F,cAAc;QACd,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,wBAAwB,CAAC,UAAU,CAAC,CAAC;QACtE,6EAA6E;QAC7E,4FAA4F;QAC5F,2FAA2F;QAC3F,oBAAoB,CAAC;IACvB,OAAO;QACL,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,YAAY,EAAE;QAC5C,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,KAAK,OAAO,cAAc,CAAC,MAAM,CAAC,EAAE,EAAE;KACnE,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,uBAAuB,CACrC,MAAmC,EACnC,OAAwB,EACxB,OAAgB;IAEhB,MAAM,IAAI,GACR,OAAO,KAAK,OAAO;QACjB,CAAC,CAAC,kDAAkD,MAAM,CAAC,MAAM,wDAAwD;QACzH,CAAC,CAAC,uCAAuC,MAAM,CAAC,MAAM,uDAAuD,CAAC;IAClH,OAAO,CACL,GAAG,IAAI,MAAM,cAAc,CAAC,MAAM,CAAC,IAAI;QACvC,CAAC,OAAO,CAAC,CAAC,CAAC,2EAA2E,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5F,sFAAsF;QACtF,4FAA4F;QAC5F,2FAA2F;QAC3F,uFAAuF;QACvF,4FAA4F;QAC5F,yFAAyF;QACzF,4DAA4D,CAC7D,CAAC;AACJ,CAAC"}

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

@@ -6,6 +6,7 @@
  * Role:    core/ layer. Nothing here runs; it is the contract.
  * Emits:   N/A.
  */
+import type { AnswerGroundingReading } from '../../../integrity/prior-turn-evidence/check.js';
 /**
  * How hard the check pushes back. **Same three words as the skill-graph
  * routing dial, deliberately** — one posture vocabulary across the library —
@@ -138,4 +139,15 @@ export interface EvidenceVerdict {
      * accusation.
      */
     readonly evidenceTruncated: boolean;
+    /**
+     * WHEN the answer's grounded values were read (9.83.0) — the same pass,
+     * one time axis.
+     *
+     * Always computed, because it is three counters over a loop that was
+     * already running. It is only READ when the operator armed
+     * `AgentOptions.noticePriorTurnEvidence`, which is what turns it into a
+     * `prior-turn-evidence` finding; nothing else in the gate consults it and
+     * no posture changes because of it.
+     */
+    readonly grounding: AnswerGroundingReading;
 }

package/dist/esm/core/agent/stages/route.d.ts

@@ -75,4 +75,9 @@ hasWrapUp?: boolean,
  *  Both absent → the claim seam never runs and not one line changes. */
 claims?: readonly DeclaredClaim[], integrityLedger?: {
     current: DispositionLedger | undefined;
-}): (scope: TypedScope<AgentState>) => RouteBranch | Promise<RouteBranch>;
+}, 
+/** `AgentOptions.noticePriorTurnEvidence` (9.83.0) — the claim seam's
+ *  recency read. Needs the evidence gate to be armed too (it owns the
+ *  extractor), so absent OR gate-less → not one row, not one event, and
+ *  the decider a pre-9.83.0 chart was handed. */
+noticePriorTurnEvidence?: boolean): (scope: TypedScope<AgentState>) => RouteBranch | Promise<RouteBranch>;

package/dist/esm/core/agent/stages/route.js

@@ -19,6 +19,8 @@ import { judgeAnswer, recordOutputAttempt, } from '../outputEnforcement.js';
 import { pointerOf, remainingStepsOf, stepInProgress, } from '../../../lib/injection-engine/skillSteps.js';
 import { checkAnswer, evidenceRefusalSentence, MAX_REPORTED_VALUES } from '../evidence/gate.js';
 import { evidenceFromHistory, exemptFromRun } from '../evidence/evidenceIndex.js';
+import { priorTurnEvidenceOf } from '../../../integrity/prior-turn-evidence/check.js';
+import { fileIntegrityFindings } from '../integrityFindings.js';
 import { unsupportedClaimsOf } from '../../../integrity/unsupported-claim/check.js';
 import { contextErrorIdentity } from '../../../integrity/finding/types.js';
 /** The base decision, with the sentence that explains it. Split out so the
@@ -299,7 +301,10 @@ function judgeUnfinishedSteps(scope, stepPlanFor, earlyStop) {
  *   • otherwise → `'flagged'`: the answer ships unchanged with the fact on the
  *     record and one warning naming the values.
  */
-function judgeEvidence(scope, gate, earlyStop) {
+function judgeEvidence(scope, gate, earlyStop, 
+/** `AgentOptions.noticePriorTurnEvidence` (9.83.0). Absent → the recency
+ *  read is computed and never looked at, and no row is ever filed. */
+noticePriorTurnEvidence, integrityLedger) {
     if (gate === undefined)
         return undefined;
     const answer = scope.llmLatestContent ?? '';
@@ -307,8 +312,12 @@ function judgeEvidence(scope, gate, earlyStop) {
     const afterRevision = scope.evidenceRevisionSpent === true;
     // An empty answer states nothing. `stoppedEarly` already reports why it is
     // empty; adding "and it cited nothing" would be noise about a non-answer.
-    if (answer === '')
+    if (answer === '') {
+        // …but the recency row still has to say it could not run. An armed check
+        // that files nothing is indistinguishable from an unhooked one.
+        noteRecency(noticePriorTurnEvidence, integrityLedger, 'unreachable');
         return undefined;
+    }
     const history = scope.history;
     const verdict = checkAnswer(answer, {
         gate,
@@ -319,6 +328,19 @@ function judgeEvidence(scope, gate, earlyStop) {
             systemPromptInjections: scope.systemPromptInjections,
         }),
     });
+    // ── THE CLAIM SEAM'S RECENCY READ (9.83.0) — `prior-turn-evidence` ──
+    // Judged on EVERY outcome, clean or flagged, and before the branch below
+    // returns: "grounded" and "grounded, but every value is four turns old"
+    // are different facts about the same answer, and an answer that is about
+    // to be revised for a fabrication can still be resting on stale evidence
+    // for everything else it says. Detection only — it never chooses a branch,
+    // so the revise/refuse/flag decision below is byte-for-byte the one every
+    // release since 9.35.0 made.
+    if (noticePriorTurnEvidence === true) {
+        const recency = priorTurnEvidenceOf(verdict.grounding, iteration);
+        integrityLedger?.current?.note('prior-turn-evidence', 'claim', recency.disposition, recency.disposition === 'checked-fail' ? Date.now() : undefined);
+        fileIntegrityFindings(scope, recency.findings, iteration);
+    }
     if (verdict.unsupported.length === 0) {
         typedEmit(scope, 'agentfootprint.agent.evidence_checked', {
             iteration,
@@ -377,6 +399,25 @@ function judgeEvidence(scope, gate, earlyStop) {
     }
     return undefined;
 }
+/**
+ * File the recency check's disposition WITHOUT reading anything (9.83.0) —
+ * `noteClaims`' precedent, one judge over, and for the identical reason.
+ *
+ * An armed check that leaves its row UNTOUCHED is what `assertAlive` reads as
+ * wiring rot, and in `integrityPosture: 'dev'` that is a `CheckerDeadError` on
+ * a perfectly healthy run. Three terminal exits reach a caller without the
+ * evidence gate ever producing a grounding reading — an empty answer, a
+ * middleware denial, and an answer the output schema rejected — so each says
+ * so in the ledger rather than going quiet.
+ *
+ * Value-conditional on the dial: an unarmed check already carries its
+ * `not-applicable` row from registration and must not be noted twice.
+ */
+function noteRecency(armed, ledger, disposition) {
+    if (armed !== true)
+        return;
+    ledger?.current?.note('prior-turn-evidence', 'claim', disposition);
+}
 /** The `route_decided` rationale for an evidence recheck. */
 function evidenceRecheckRationale(scope) {
     const pending = scope.evidenceUnsupported;
@@ -467,7 +508,12 @@ export function buildRouteDeciderStage(messageMiddleware, enforcement, stepPlanF
 hasWrapUp = false, 
 /** The declared claim contract (9.61.0) and the run's disposition ledger.
  *  Both absent → the claim seam never runs and not one line changes. */
-claims, integrityLedger) {
+claims, integrityLedger, 
+/** `AgentOptions.noticePriorTurnEvidence` (9.83.0) — the claim seam's
+ *  recency read. Needs the evidence gate to be armed too (it owns the
+ *  extractor), so absent OR gate-less → not one row, not one event, and
+ *  the decider a pre-9.83.0 chart was handed. */
+noticePriorTurnEvidence) {
     const chain = messageMiddleware ?? [];
     if (chain.length === 0 &&
         enforcement === undefined &&
@@ -476,9 +522,9 @@ claims, integrityLedger) {
         return hasWrapUp ? buildSimpleDecider(true) : routeDeciderStage;
     }
     if (enforcement !== undefined)
-        return buildEnforcingDecider(chain, enforcement, stepPlanFor, evidence, hasWrapUp, claims, integrityLedger);
+        return buildEnforcingDecider(chain, enforcement, stepPlanFor, evidence, hasWrapUp, claims, integrityLedger, noticePriorTurnEvidence);
     if (stepPlanFor !== undefined || evidence !== undefined)
-        return buildJudgingDecider(chain, stepPlanFor, evidence, hasWrapUp);
+        return buildJudgingDecider(chain, stepPlanFor, evidence, hasWrapUp, noticePriorTurnEvidence, integrityLedger);
     return async (scope) => {
         const { chosen, rationale, earlyStop } = decideBranch(scope);
         // ── The out-of-budget wrap-up (9.56.0) ─────────────────────────────
@@ -622,7 +668,7 @@ function readValidatedAnswer(scope) {
         return undefined;
     }
 }
-function buildJudgingDecider(chain, stepPlanFor, evidence, hasWrapUp) {
+function buildJudgingDecider(chain, stepPlanFor, evidence, hasWrapUp, noticePriorTurnEvidence, integrityLedger) {
     return async (scope) => {
         const { chosen, rationale, earlyStop } = decideBranch(scope);
         if (chosen !== 'final') {
@@ -657,13 +703,19 @@ function buildJudgingDecider(chain, stepPlanFor, evidence, hasWrapUp) {
             }
             scope.llmLatestContent = verdict.content;
         }
+        // A withheld answer is judged by nothing below, so the recency row says so
+        // here rather than sitting untouched (see `noteRecency`).
+        if (denied)
+            noteRecency(noticePriorTurnEvidence, integrityLedger, 'not-applicable');
         if (!denied && judgeUnfinishedSteps(scope, stepPlanFor, earlyStop) === 'step-nudge') {
             emitRouteDecided(scope, 'step-nudge', stepNudgeRationale(scope));
             return 'step-nudge';
         }
         // AFTER the step judge: an answer about to be nudged is not the final
         // answer, and grounding it would pay for a turn that is being replaced.
-        if (!denied && judgeEvidence(scope, evidence, earlyStop) === 'evidence-recheck') {
+        if (!denied &&
+            judgeEvidence(scope, evidence, earlyStop, noticePriorTurnEvidence, integrityLedger) ===
+                'evidence-recheck') {
             emitRouteDecided(scope, 'evidence-recheck', evidenceRecheckRationale(scope));
             return 'evidence-recheck';
         }
@@ -678,7 +730,7 @@ function buildJudgingDecider(chain, stepPlanFor, evidence, hasWrapUp) {
  * announce the branch — so `route_decided` names the branch the run actually
  * took rather than the one it was heading for.
  */
-function buildEnforcingDecider(chain, enforcement, stepPlanFor, evidence, hasWrapUp, claims, integrityLedger) {
+function buildEnforcingDecider(chain, enforcement, stepPlanFor, evidence, hasWrapUp, claims, integrityLedger, noticePriorTurnEvidence) {
     return async (scope) => {
         const base = decideBranch(scope);
         if (base.chosen !== 'final') {
@@ -730,6 +782,10 @@ function buildEnforcingDecider(chain, enforcement, stepPlanFor, evidence, hasWra
             // The claim seam never runs on a denied answer — nobody receives it —
             // but the run must still SAY that, per declared claim.
             noteClaims(claims, integrityLedger, 'not-applicable');
+            // Same exit, same reasoning, for the recency read: an answer nobody
+            // receives has no provenance worth reporting, and that is a rule rather
+            // than a failure to reach one.
+            noteRecency(noticePriorTurnEvidence, integrityLedger, 'not-applicable');
             emitRouteDecided(scope, 'final', base.rationale);
             settleWrapUp(scope, base.earlyStop, false);
             return 'final';
@@ -751,7 +807,8 @@ function buildEnforcingDecider(chain, enforcement, stepPlanFor, evidence, hasWra
             // The evidence gate is last of the three judges: it grounds the answer
             // the schema accepted and the procedure finished — the one that is
             // really about to be handed back.
-            if (judgeEvidence(scope, evidence, base.earlyStop) === 'evidence-recheck') {
+            if (judgeEvidence(scope, evidence, base.earlyStop, noticePriorTurnEvidence, integrityLedger) ===
+                'evidence-recheck') {
                 emitRouteDecided(scope, 'evidence-recheck', evidenceRecheckRationale(scope));
                 return 'evidence-recheck';
             }
@@ -822,7 +879,9 @@ function buildEnforcingDecider(chain, enforcement, stepPlanFor, evidence, hasWra
         // failed its own contract and the caller is being told so; grounding the
         // values inside a shape the app has declared invalid would file a second
         // verdict about a string nobody is going to use, and under `guard` it
-        // would buy a revision for an answer that cannot pass anyway.
+        // would buy a revision for an answer that cannot pass anyway. The recency
+        // row says exactly that — out of scope by rule, never silence.
+        noteRecency(noticePriorTurnEvidence, integrityLedger, 'not-applicable');
         emitRouteDecided(scope, 'final', brokenByChain !== undefined
             ? `final answer satisfied the output schema until the output rule '${brokenByChain}' ` +
                 `rewrote it (${failure.stage}) — not re-asked, because the model's answer was fine`