@a-dray/aglib 0.2.0 → 0.3.0

package/dist/session/messages.js.map

@@ -1 +1 @@
-{"version":3,"file":"messages.js","sourceRoot":"","sources":["../../src/session/messages.ts"],"names":[],"mappings":"AAUA;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CAAC,OAA0B;IACtD,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;AACxG,CAAC;AAED,8EAA8E;AAC9E,SAAS,QAAQ,CAAC,KAAc,EAAE,IAAsB;IACtD,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACxB,MAAM,KAAK,GAAG,SAAS,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,EAAE,GAAG,CAAC;IAC/C,OAAO,OAAO,KAAK,KAAK,QAAQ;QAC9B,CAAC,CAAC,GAAG,KAAK,KAAK,KAAK,EAAE;QACtB,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAe,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,GAAG,KAAK,CAAC,CAAC;AACzD,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,UAAU,CAAC,KAa1B;IACC,MAAM,QAAQ,GAAc,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC;IAE9E,yEAAyE;IACzE,wEAAwE;IACxE,IAAI,KAAK,CAAC,OAAO,EAAE,GAAG;QAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;IAEtF,8EAA8E;IAC9E,qEAAqE;IACrE,MAAM,GAAG,GAAG,aAAa,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAEzC,0EAA0E;IAC1E,0EAA0E;IAC1E,uEAAuE;IACvE,8EAA8E;IAC9E,6EAA6E;IAC7E,iEAAiE;IACjE,MAAM,QAAQ,GAAG,IAAI,GAAG,CACtB,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAC7F,CAAC;IAEF,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QAClC,yEAAyE;QACzE,wEAAwE;QACxE,qEAAqE;QACrE,uDAAuD;QACvD,IAAI,KAAK,CAAC,GAAG,IAAI,GAAG;YAAE,SAAS;QAC/B,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;YACnB,KAAK,aAAa;gBAChB,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,MAAM;oBACZ,OAAO,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK;iBAC7E,CAAC,CAAC;gBACH,MAAM;YACR,KAAK,WAAW,CAAC,CAAC,CAAC;gBACjB,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,WAAW;oBACjB,OAAO,EAAE,KAAK,CAAC,OAAO;oBACtB,GAAG,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;iBACvD,CAAC,CAAC;gBACH,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC;oBACrC,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC;wBAAE,SAAS;oBACxC,QAAQ,CAAC,IAAI,CAAC;wBACZ,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI;wBAChD,OAAO,EAAE,sFAAsF;qBAChG,CAAC,CAAC;gBACL,CAAC;gBACD,MAAM;YACR,CAAC;YACD,KAAK,eAAe;gBAClB,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,MAAM;oBACZ,MAAM,EAAE,KAAK,CAAC,MAAM;oBACpB,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,OAAO;oBAC7B,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;iBACnD,CAAC,CAAC;gBACH,MAAM;YACR,KAAK,SAAS;gBACZ,sEAAsE;gBACtE,0EAA0E;gBAC1E,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,cAAc,KAAK,CAAC,OAAO,cAAc,EAAE,CAAC,CAAC;gBACpF,MAAM;YACR,uEAAuE;YACvE,YAAY;YACZ,KAAK,cAAc,CAAC;YACpB,KAAK,cAAc;gBACjB,MAAM;QACV,CAAC;IACH,CAAC;IAED,6EAA6E;IAC7E,oEAAoE;IACpE,IAAI,KAAK,CAAC,OAAO,EAAE,IAAI;QAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;IACxF,OAAO,QAAQ,CAAC;AAClB,CAAC","sourcesContent":["import type { Content } from \"../content.js\";\nimport type { From, Stored, ToolCall } from \"./entry.js\";\n\n/** A message as a provider takes it: built per turn from the log, never held. */\nexport type Message =\n  | { role: \"system\"; content: Content }\n  | { role: \"user\"; content: Content }\n  | { role: \"assistant\"; content: Content; calls?: readonly ToolCall[] }\n  | { role: \"tool\"; callId: string; content: Content; isError?: boolean };\n\n/**\n * The position everything up to has been folded into a summary.\n *\n * One answer, because two callers need it: the projection skips what is folded,\n * and the loop refuses to cut at or behind it. They were the same reduce written\n * out twice.\n */\nexport function foldedThrough(entries: readonly Stored[]): number {\n  return entries.reduce((at, entry) => entry.type === \"summary\" ? Math.max(at, entry.replaces) : at, 0);\n}\n\n/** Names the sender in the turn itself, since only text reaches the model. */\nfunction labelled(input: Content, from: From | undefined): Content {\n  if (!from) return input;\n  const label = `[from ${from.kind} ${from.id}]`;\n  return typeof input === \"string\"\n    ? `${label}\\n${input}`\n    : [{ type: \"text\" as const, text: label }, ...input];\n}\n\n/**\n * The log projected into what a provider takes.\n *\n * Built fresh for every request and never held. That is the whole reason there\n * is no second transcript to drift from the log, and why nothing needs a test\n * proving two representations agree.\n */\nexport function toMessages(input: {\n  instructions: Content;\n  entries: readonly Stored[];\n  context?: { run?: string; turn?: string };\n  /**\n   * Name each arrival's sender in the turn text, as `[from kind id]`.\n   *\n   * Off by default. `from` is provenance the log keeps whatever this says; an\n   * application that renders its own attribution into the input it delivers\n   * would otherwise hand the model two names for one sender, one of them a\n   * session id that means nothing to it.\n   */\n  attribution?: boolean;\n}): readonly Message[] {\n  const messages: Message[] = [{ role: \"system\", content: input.instructions }];\n\n  // Run-scoped context sits immediately after the instructions, inside the\n  // cacheable prefix, because it does not change for the life of the run.\n  if (input.context?.run) messages.push({ role: \"system\", content: input.context.run });\n\n  // A summary folds everything up to `replaces`. The source entries stay in the\n  // log — compaction changes what the model sees, never what happened.\n  const cut = foldedThrough(input.entries);\n\n  // A call whose result never committed. It happens when an activation ends\n  // between asking and answering — cancelled, interrupted, or beaten to the\n  // commit by another worker. The projection has to close it: a provider\n  // rejects an assistant turn holding a call with no result, so leaving the gap\n  // would make the session permanently unusable. What is said is what is known\n  // — the call did not report back — and never an invented result.\n  const answered = new Set(\n    input.entries.filter((entry) => entry.type === \"tool.finished\").map((entry) => entry.callId),\n  );\n\n  for (const entry of input.entries) {\n    // A summary folds like anything else it covers. Exempting the whole type\n    // kept every summary ever written, so a long session carried a chain of\n    // them whose content was already inside the newest — duplicated, and\n    // rewriting the cached prefix each time one was added.\n    if (entry.seq <= cut) continue;\n    switch (entry.type) {\n      case \"run.started\":\n        messages.push({\n          role: \"user\",\n          content: input.attribution ? labelled(entry.input, entry.from) : entry.input,\n        });\n        break;\n      case \"assistant\": {\n        messages.push({\n          role: \"assistant\",\n          content: entry.content,\n          ...(entry.calls?.length ? { calls: entry.calls } : {}),\n        });\n        for (const call of entry.calls ?? []) {\n          if (answered.has(call.callId)) continue;\n          messages.push({\n            role: \"tool\", callId: call.callId, isError: true,\n            content: \"This call did not report back: the activation ended before its result was committed.\",\n          });\n        }\n        break;\n      }\n      case \"tool.finished\":\n        messages.push({\n          role: \"tool\",\n          callId: entry.callId,\n          content: entry.result.content,\n          ...(entry.result.isError ? { isError: true } : {}),\n        });\n        break;\n      case \"summary\":\n        // Delimited user context rather than an assistant turn: attributing a\n        // summary to the assistant puts words in the model's mouth it never said.\n        messages.push({ role: \"user\", content: `<summary>\\n${entry.content}\\n</summary>` });\n        break;\n      // Not model-visible: tool.started is bookkeeping and run.finished is a\n      // boundary.\n      case \"tool.started\":\n      case \"run.finished\":\n        break;\n    }\n  }\n\n  // Turn-scoped context sits last, after the cache boundary, because it is for\n  // this request only and must not be written into the cached prefix.\n  if (input.context?.turn) messages.push({ role: \"system\", content: input.context.turn });\n  return messages;\n}\n\n"]}
+{"version":3,"file":"messages.js","sourceRoot":"","sources":["../../src/session/messages.ts"],"names":[],"mappings":"AAUA;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CAAC,OAA0B;IACtD,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;AACxG,CAAC;AAED,8EAA8E;AAC9E,SAAS,QAAQ,CAAC,KAAc,EAAE,IAAsB;IACtD,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACxB,MAAM,KAAK,GAAG,SAAS,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,EAAE,GAAG,CAAC;IAC/C,OAAO,OAAO,KAAK,KAAK,QAAQ;QAC9B,CAAC,CAAC,GAAG,KAAK,KAAK,KAAK,EAAE;QACtB,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAe,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,GAAG,KAAK,CAAC,CAAC;AACzD,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,UAAU,CAAC,KAa1B;IACC,MAAM,QAAQ,GAAc,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC;IAE9E,yEAAyE;IACzE,wEAAwE;IACxE,IAAI,KAAK,CAAC,OAAO,EAAE,GAAG;QAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;IAEtF,8EAA8E;IAC9E,qEAAqE;IACrE,MAAM,GAAG,GAAG,aAAa,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAEzC,0EAA0E;IAC1E,0EAA0E;IAC1E,uEAAuE;IACvE,8EAA8E;IAC9E,6EAA6E;IAC7E,iEAAiE;IACjE,MAAM,QAAQ,GAAG,IAAI,GAAG,CACtB,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAC7F,CAAC;IAEF,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QAClC,yEAAyE;QACzE,wEAAwE;QACxE,qEAAqE;QACrE,uDAAuD;QACvD,IAAI,KAAK,CAAC,GAAG,IAAI,GAAG;YAAE,SAAS;QAC/B,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;YACnB,KAAK,YAAY;gBACf,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;gBACtD,MAAM;YACR,KAAK,aAAa;gBAChB,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,MAAM;oBACZ,OAAO,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK;iBAC7E,CAAC,CAAC;gBACH,MAAM;YACR,KAAK,WAAW,CAAC,CAAC,CAAC;gBACjB,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,WAAW;oBACjB,OAAO,EAAE,KAAK,CAAC,OAAO;oBACtB,GAAG,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;iBACvD,CAAC,CAAC;gBACH,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC;oBACrC,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC;wBAAE,SAAS;oBACxC,QAAQ,CAAC,IAAI,CAAC;wBACZ,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI;wBAChD,OAAO,EAAE,sFAAsF;qBAChG,CAAC,CAAC;gBACL,CAAC;gBACD,MAAM;YACR,CAAC;YACD,KAAK,eAAe;gBAClB,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,MAAM;oBACZ,MAAM,EAAE,KAAK,CAAC,MAAM;oBACpB,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,OAAO;oBAC7B,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;iBACnD,CAAC,CAAC;gBACH,MAAM;YACR,KAAK,SAAS;gBACZ,sEAAsE;gBACtE,0EAA0E;gBAC1E,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,cAAc,KAAK,CAAC,OAAO,cAAc,EAAE,CAAC,CAAC;gBACpF,MAAM;YACR,uEAAuE;YACvE,YAAY;YACZ,KAAK,cAAc,CAAC;YACpB,KAAK,cAAc;gBACjB,MAAM;QACV,CAAC;IACH,CAAC;IAED,6EAA6E;IAC7E,oEAAoE;IACpE,IAAI,KAAK,CAAC,OAAO,EAAE,IAAI;QAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;IACxF,OAAO,QAAQ,CAAC;AAClB,CAAC","sourcesContent":["import type { Content } from \"../content.js\";\nimport type { From, Stored, ToolCall } from \"./entry.js\";\n\n/** A message as a provider takes it: built per turn from the log, never held. */\nexport type Message =\n  | { role: \"system\"; content: Content }\n  | { role: \"user\"; content: Content }\n  | { role: \"assistant\"; content: Content; calls?: readonly ToolCall[] }\n  | { role: \"tool\"; callId: string; content: Content; isError?: boolean };\n\n/**\n * The position everything up to has been folded into a summary.\n *\n * One answer, because two callers need it: the projection skips what is folded,\n * and the loop refuses to cut at or behind it. They were the same reduce written\n * out twice.\n */\nexport function foldedThrough(entries: readonly Stored[]): number {\n  return entries.reduce((at, entry) => entry.type === \"summary\" ? Math.max(at, entry.replaces) : at, 0);\n}\n\n/** Names the sender in the turn itself, since only text reaches the model. */\nfunction labelled(input: Content, from: From | undefined): Content {\n  if (!from) return input;\n  const label = `[from ${from.kind} ${from.id}]`;\n  return typeof input === \"string\"\n    ? `${label}\\n${input}`\n    : [{ type: \"text\" as const, text: label }, ...input];\n}\n\n/**\n * The log projected into what a provider takes.\n *\n * Built fresh for every request and never held. That is the whole reason there\n * is no second transcript to drift from the log, and why nothing needs a test\n * proving two representations agree.\n */\nexport function toMessages(input: {\n  instructions: Content;\n  entries: readonly Stored[];\n  context?: { run?: string; turn?: string };\n  /**\n   * Name each arrival's sender in the turn text, as `[from kind id]`.\n   *\n   * Off by default. `from` is provenance the log keeps whatever this says; an\n   * application that renders its own attribution into the input it delivers\n   * would otherwise hand the model two names for one sender, one of them a\n   * session id that means nothing to it.\n   */\n  attribution?: boolean;\n}): readonly Message[] {\n  const messages: Message[] = [{ role: \"system\", content: input.instructions }];\n\n  // Run-scoped context sits immediately after the instructions, inside the\n  // cacheable prefix, because it does not change for the life of the run.\n  if (input.context?.run) messages.push({ role: \"system\", content: input.context.run });\n\n  // A summary folds everything up to `replaces`. The source entries stay in the\n  // log — compaction changes what the model sees, never what happened.\n  const cut = foldedThrough(input.entries);\n\n  // A call whose result never committed. It happens when an activation ends\n  // between asking and answering — cancelled, interrupted, or beaten to the\n  // commit by another worker. The projection has to close it: a provider\n  // rejects an assistant turn holding a call with no result, so leaving the gap\n  // would make the session permanently unusable. What is said is what is known\n  // — the call did not report back — and never an invented result.\n  const answered = new Set(\n    input.entries.filter((entry) => entry.type === \"tool.finished\").map((entry) => entry.callId),\n  );\n\n  for (const entry of input.entries) {\n    // A summary folds like anything else it covers. Exempting the whole type\n    // kept every summary ever written, so a long session carried a chain of\n    // them whose content was already inside the newest — duplicated, and\n    // rewriting the cached prefix each time one was added.\n    if (entry.seq <= cut) continue;\n    switch (entry.type) {\n      case \"hook.input\":\n        messages.push({ role: \"user\", content: entry.input });\n        break;\n      case \"run.started\":\n        messages.push({\n          role: \"user\",\n          content: input.attribution ? labelled(entry.input, entry.from) : entry.input,\n        });\n        break;\n      case \"assistant\": {\n        messages.push({\n          role: \"assistant\",\n          content: entry.content,\n          ...(entry.calls?.length ? { calls: entry.calls } : {}),\n        });\n        for (const call of entry.calls ?? []) {\n          if (answered.has(call.callId)) continue;\n          messages.push({\n            role: \"tool\", callId: call.callId, isError: true,\n            content: \"This call did not report back: the activation ended before its result was committed.\",\n          });\n        }\n        break;\n      }\n      case \"tool.finished\":\n        messages.push({\n          role: \"tool\",\n          callId: entry.callId,\n          content: entry.result.content,\n          ...(entry.result.isError ? { isError: true } : {}),\n        });\n        break;\n      case \"summary\":\n        // Delimited user context rather than an assistant turn: attributing a\n        // summary to the assistant puts words in the model's mouth it never said.\n        messages.push({ role: \"user\", content: `<summary>\\n${entry.content}\\n</summary>` });\n        break;\n      // Not model-visible: tool.started is bookkeeping and run.finished is a\n      // boundary.\n      case \"tool.started\":\n      case \"run.finished\":\n        break;\n    }\n  }\n\n  // Turn-scoped context sits last, after the cache boundary, because it is for\n  // this request only and must not be written into the cached prefix.\n  if (input.context?.turn) messages.push({ role: \"system\", content: input.context.turn });\n  return messages;\n}\n"]}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@a-dray/aglib",
-  "version": "0.2.0",
+  "version": "0.3.0",
   "type": "module",
   "description": "A small TypeScript toolkit for building your own agent harness.",
   "license": "MIT",