agentfootprint-lens 0.66.2 → 0.67.1

package/README.md

@@ -78,7 +78,7 @@ changes.
 |---|---|
 | `agentfootprint-lens/why` | Replay a recording as the agent's own milestones. `<WhyLens recording={...} />` takes the recording straight (`recordRun()`'s `{ snapshot, events, structure }`, or the `persistRecording` envelope), validates it at mount, and mounts the shipped `<Lens>` shell on the milestone axis — plus the axis helpers (`scrubAxisFor`, `stepForCommitIdx`, `stepForRuntimeStageId`, `resolveNavigation`) for hosts holding one cursor across views. |
 | `agentfootprint-lens/skillgraph` | Debug how a run routed through its skills. `<SkillGraphDebugger recorder={...} />` plus its headless selectors (`selectSkillRoute`, `selectSkillBeats`, `selectSkillTopology`, `selectSkillFrameContext`, `stepForRuntimeStageId`, `resolveNavigation`). |
-| `agentfootprint-lens/context` | What the model HAD at a stop — the served document of that epoch on top (the Served tab itself: pieces, messages, tools, verdicts, delta since the previous call) — and what it was BUILT from beneath: the record key by key, who wrote each, what moved; a long value opens in place (0.54.0). `<ContextView runner={...} />` walks the milestone axis on its own; hand it `cursor` and it follows the ONE cursor (0.53.1). Under the record, the **Findings** band (0.61.0): on an armed run (`.findings()`, agentfootprint 9.101) the model's own ledger at the stop, folded for reading — facts, conflicts as first seen (each witness with its current standing, no verdict), open, ruled out, noise, undeclared — every string off the record, absent on an unarmed run. Beside it, the **Reasoning** lens (0.62.0): `<ReasoningLens runner={...} shared={shared} />` — the same ledger read BY CALL, one card per tool call at the cursor (basis before, result, current standing after, the model's words quoted) and an answer card; absent on an unarmed run. Its `exchange` view (0.63.0) lays the same beats out as the transcript between model and tools — the call with its `_findings` JSON, the result, the ticket served instead, the findings piece, the answer — only what crossed the wire. Beside both, the **Ontology** view (0.64.0): `<OntologyView runner={...} shared={shared} />` — the map an agent declared (`.ontology(...)`, agentfootprint 9.106.0) drawn from the run constant on the record: sources, the terms they hold and via which tool, the terms no source holds under `known, not held here`, relations in the author's words — a chart and the same data as a list; absent on an agent that declared no map. Under the Reasoning lens's cards, the **Coverage** band (0.65.0): what the tools DECLARED they checked, did not check and can never cover (`coverage(...)` / `absent(...)`, agentfootprint 9.109) — the merged boundary the library used to append to the answer, each item with the tool that declared it, and every declaration by call; drawn alone when the record has declarations and no ledger; `<CoverageBand runner={...} shared={shared} />` standalone; absent when no tool declared. Beside them all, the **Proof map** (0.66.0): `<ProofMap runner={...} shared={shared} />` — what the answer rests on as ONE graph off the record (agentfootprint 9.110.0): the answer, the calls with their declared standings (undeclared dashed), the tools, the sources the declared map joins them to; `stands on`, `calls` and `reads` edges, and the `contingent` overlay (a value the model used from a result it had itself set aside) and the `conflict` overlay — a chart and the same data as a list; absent on an unarmed run. |
+| `agentfootprint-lens/context` | What the model HAD at a stop — the served document of that epoch on top (the Served tab itself: pieces, messages, tools, verdicts, delta since the previous call) — and what it was BUILT from beneath: the record key by key, who wrote each, what moved; a long value opens in place (0.54.0). `<ContextView runner={...} />` walks the milestone axis on its own; hand it `cursor` and it follows the ONE cursor (0.53.1). Under the record, the **Findings** band (0.61.0): on an armed run (`.findings()`, agentfootprint 9.101) the model's own ledger at the stop, folded for reading — facts, conflicts as first seen (each witness with its current standing, no verdict), open, ruled out, noise, undeclared — every string off the record, absent on an unarmed run. Beside it, the **Reasoning** lens (0.62.0): `<ReasoningLens runner={...} shared={shared} />` — the same ledger read BY CALL, one card per tool call at the cursor (basis before, result, current standing after, the model's words quoted) and an answer card; absent on an unarmed run. Its `exchange` view (0.63.0) lays the same beats out as the transcript between model and tools — the call with its `_findings` JSON, the result, the ticket served instead, the findings piece, the answer — only what crossed the wire. Beside both, the **Ontology** view (0.64.0): `<OntologyView runner={...} shared={shared} />` — the map an agent declared (`.ontology(...)`, agentfootprint 9.106.0) drawn from the run constant on the record: sources, the terms they hold and via which tool, the terms no source holds under `known, not held here`, relations in the author's words — a chart and the same data as a list; absent on an agent that declared no map. Under the Reasoning lens's cards, the **Coverage** band (0.65.0): what the tools DECLARED they checked, did not check and can never cover (`coverage(...)` / `absent(...)`, agentfootprint 9.109) — the merged boundary the library used to append to the answer, each item with the tool that declared it, and every declaration by call; drawn alone when the record has declarations and no ledger; `<CoverageBand runner={...} shared={shared} />` standalone; absent when no tool declared. Beside them all, the **Proof map** (0.66.0): `<ProofMap runner={...} shared={shared} />` — what the answer rests on as ONE graph off the record (agentfootprint 9.110.0): the answer, the calls with their declared standings (undeclared dashed), the tools, the sources the declared map joins them to; `stands on`, `calls` and `reads` edges, and the `contingent` overlay (a value the model used from a result it had itself set aside) and the `conflict` overlay — a chart and the same data as a list; absent on an unarmed run. And for the Story Lens, `storyMarks(trace, record)` (0.67.0): a pure fold that joins the AgentThinkingUI player's beats (by the `toolCallId` agentfootprint 9.111.0 stamps on ask and return) to the ledger at a stop and returns the chips for the player's `marks` prop — the basis and the model's proposition before a call, the current standing after it (`undeclared` when none), the answer's counts — nothing on an unarmed run; the player stays generic. |
 
 The axis model in three sentences: one run leaves one causal trace, and each
 lens replays one AXIS of it — the Why reading scrubs the milestones, the Flow

package/dist/{chunk-JPJKTMN6.js → chunk-3HSMB6JF.js}

@@ -2754,6 +2754,131 @@ var chip4 = {
   whiteSpace: "nowrap"
 };
 
+// src/react/components/storyMarks.ts
+var LABELS7 = Object.freeze({
+  /** The basis word `direct`, printed as the record spells it. */
+  direct: "direct",
+  /** The basis word `exploratory`, printed under the story's word for it. */
+  hypothesis: "hypothesis",
+  expect: "expect",
+  /** The prefix of the `predicts` chip; the model's words follow. */
+  predicts: "predicts:",
+  fact: "fact",
+  open: "open",
+  noise: "noise",
+  ruledOut: "ruled-out",
+  undeclared: "undeclared",
+  sought: "sought",
+  judged: "judged",
+  /** The answer chip's first bucket: results standing as `fact`. */
+  stoodOn: "stood on",
+  contingent: "contingent",
+  unsupported: "unsupported"
+});
+var isRecord6 = (v) => typeof v === "object" && v !== null && !Array.isArray(v);
+function keysOf(record) {
+  if (!isRecord6(record) && !Array.isArray(record)) return { rows: [], unsupportedValues: void 0 };
+  if (Array.isArray(record)) {
+    let ledger;
+    let unsupported;
+    for (const k of record) {
+      if (!isRecord6(k) || typeof k.path !== "string") continue;
+      if (k.path === "findingsLedger") ledger = k.value;
+      else if (k.path === "unsupportedValues") unsupported = k.value;
+    }
+    return { rows: Array.isArray(ledger) ? ledger : [], unsupportedValues: unsupported };
+  }
+  const r = record;
+  return { rows: Array.isArray(r.findingsLedger) ? r.findingsLedger : [], unsupportedValues: r.unsupportedValues };
+}
+var CLIP3 = 40;
+function clip3(text) {
+  return text.length <= CLIP3 ? text : `${text.slice(0, CLIP3 - 1)}\u2026`;
+}
+var mark = (label, tone, title6) => Object.freeze(title6 !== void 0 ? { label, tone, title: title6 } : { label, tone });
+function basisMark(basis) {
+  if (basis === "exploratory") return mark(LABELS7.hypothesis, "muted", basis);
+  return mark(basis, "neutral");
+}
+function expectTone(expect) {
+  if (expect === "high") return "good";
+  if (expect === "low") return "muted";
+  return "neutral";
+}
+function askMarks(before) {
+  const out = [basisMark(before.basis)];
+  if (before.expect !== void 0) out.push(mark(`${LABELS7.expect} ${before.expect}`, expectTone(before.expect)));
+  if (before.proposition !== void 0) out.push(mark(clip3(before.proposition), "neutral", before.proposition));
+  if (before.predicts !== void 0) out.push(mark(`${LABELS7.predicts} ${clip3(before.predicts)}`, "neutral", before.predicts));
+  return Object.freeze(out);
+}
+function standingTone(standing) {
+  if (standing === "fact") return "good";
+  if (standing === "open") return "neutral";
+  if (standing === "noise") return "warn";
+  if (standing === "ruled-out") return "bad";
+  return "neutral";
+}
+function returnMarks(standing, judged) {
+  const out = [];
+  if (standing === void 0) out.push(mark(LABELS7.undeclared, "muted"));
+  else {
+    out.push(mark(standing.standing, standingTone(standing.standing)));
+    if (standing.sought === true) out.push(mark(LABELS7.sought, "muted"));
+  }
+  if (judged !== void 0) out.push(mark(`${LABELS7.judged} ${judged}`, "muted"));
+  return Object.freeze(out);
+}
+function countOf(standings, word) {
+  let n = 0;
+  for (const s of standings.values()) if (s.standing === word) n += 1;
+  return n;
+}
+function answerMarks(proof) {
+  const answer = proof.answer;
+  if (answer === void 0) return void 0;
+  const standings = proof.findings.standings;
+  const buckets = [];
+  const stoodOn = countOf(standings, "fact");
+  const open = countOf(standings, "open");
+  const noise = countOf(standings, "noise");
+  const ruledOut = countOf(standings, "ruled-out");
+  if (stoodOn > 0) buckets.push(`${LABELS7.stoodOn} ${stoodOn}`);
+  if (open > 0) buckets.push(`${LABELS7.open} ${open}`);
+  if (noise > 0) buckets.push(`${LABELS7.noise} ${noise}`);
+  if (ruledOut > 0) buckets.push(`${LABELS7.ruledOut} ${ruledOut}`);
+  const out = [];
+  if (buckets.length > 0) out.push(mark(buckets.join(" \xB7 "), stoodOn > 0 ? "good" : "neutral"));
+  if (answer.contingent.length > 0) out.push(mark(`${LABELS7.contingent} ${answer.contingent.length}`, "warn"));
+  if (answer.unsupported.length > 0) out.push(mark(`${LABELS7.unsupported} ${answer.unsupported.length}`, "bad"));
+  return out.length > 0 ? Object.freeze(out) : void 0;
+}
+function storyMarks(trace, record) {
+  const keys = keysOf(record);
+  const steps = trace.steps;
+  if (keys.rows.length === 0) return Object.freeze(steps.map(() => void 0));
+  const reasoning = foldReasoning({ rows: keys.rows });
+  const proof = foldProofMap({ rows: keys.rows, unsupportedValues: keys.unsupportedValues });
+  const basisById = /* @__PURE__ */ new Map();
+  for (const card of reasoning.cards) basisById.set(card.toolCallId, card.before);
+  const judgedById = /* @__PURE__ */ new Map();
+  for (const call of proof.calls) if (call.judged !== void 0) judgedById.set(call.toolCallId, call.judged);
+  const standings = proof.findings.standings;
+  const answer = answerMarks(proof);
+  return Object.freeze(
+    steps.map((step) => {
+      if (step.kind === "answer") return answer;
+      if (typeof step.toolCallId !== "string") return void 0;
+      if (step.kind === "ask") {
+        const before = basisById.get(step.toolCallId);
+        return before === void 0 ? void 0 : askMarks(before);
+      }
+      if (step.kind === "return") return returnMarks(standings.get(step.toolCallId), judgedById.get(step.toolCallId));
+      return void 0;
+    })
+  );
+}
+
 export {
   LABELS2 as LABELS,
   MILESTONE_AXIS,
@@ -2776,6 +2901,9 @@ export {
   foldProofMap,
   GEOMETRY2,
   layoutProofMap,
-  ProofMap
+  ProofMap,
+  LABELS7 as LABELS6,
+  CLIP3 as CLIP,
+  storyMarks
 };
-//# sourceMappingURL=chunk-JPJKTMN6.js.map
+//# sourceMappingURL=chunk-3HSMB6JF.js.map