effect-agent 0.1.0-beta.164 → 0.1.0-beta.165

package/dist/FailureDiagnostic-BElLOoED.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"FailureDiagnostic-BElLOoED.mjs","names":["Context","EffectCause","Cause"],"sources":["../src/core/internal/strict-schema.ts","../src/core/FailureDiagnostic.ts"],"sourcesContent":["import { Schema, SchemaParser, SchemaTransformation } from \"effect\";\n\n/** Keep strict parsing on nested values even when an outer parser uses its defaults. */\nexport const strictSchema = <S extends Schema.Top>(schema: S) =>\n  Schema.declareConstructor<S[\"Type\"], S[\"Encoded\"]>()(\n    [schema],\n    ([codec]) =>\n      (value, _ast, options) =>\n        SchemaParser.decodeUnknownEffect(codec)(value, { ...options, onExcessProperty: \"error\" }),\n    {\n      toCodecJson: ([codec]) =>\n        Schema.link<S[\"Encoded\"]>()(codec, SchemaTransformation.passthrough()),\n    },\n  );\n","import {\n  Cause as EffectCause,\n  Exit,\n  Predicate,\n  Redacted,\n  Schema,\n  SchemaTransformation,\n} from \"effect\";\n\nimport { strictSchema } from \"./internal/strict-schema.ts\";\n\nconst Text = Schema.String.check(Schema.isMaxLength(16 * 1024));\nconst Name = Schema.String.check(Schema.isMaxLength(1_024));\nconst Scalar = Schema.Union([Text, Schema.Finite, Schema.Boolean, Schema.Null]);\n\n/** Correlation only: never include inputs, tool parameters, request bodies, or credentials. */\nexport const Context = Schema.Struct({\n  agentId: Schema.optionalKey(Name),\n  threadId: Schema.optionalKey(Name),\n  runId: Schema.optionalKey(Name),\n  submissionId: Schema.optionalKey(Name),\n  attemptId: Schema.optionalKey(Name),\n  turnId: Schema.optionalKey(Name),\n  toolCallId: Schema.optionalKey(Name),\n  toolName: Schema.optionalKey(Name),\n  callId: Schema.optionalKey(Name),\n  check: Schema.optionalKey(Name),\n  operation: Schema.optionalKey(Name),\n}).pipe(strictSchema);\n\nexport type Context = typeof Context.Type;\n\ntype CauseReason =\n  | { readonly _tag: \"Fail\"; readonly error: Diagnostic }\n  | { readonly _tag: \"Die\"; readonly defect: Diagnostic }\n  | { readonly _tag: \"Interrupt\"; readonly fiberId?: number };\n\n/** A private diagnostic projection, not a JavaScript error reconstruction or model response. */\nexport type Diagnostic =\n  | {\n      readonly _tag: \"Error\";\n      readonly errorTag?: string;\n      readonly name?: string;\n      readonly message?: string;\n      readonly stack?: string;\n      readonly reason?: Diagnostic;\n      readonly code?: string | number;\n      readonly cause?: Diagnostic;\n      readonly errors?: ReadonlyArray<Diagnostic>;\n      readonly context?: Context;\n      readonly omittedFields?: ReadonlyArray<string>;\n      readonly truncated?: true;\n    }\n  | {\n      readonly _tag: \"Cause\";\n      readonly reasons: ReadonlyArray<CauseReason>;\n      readonly truncated?: true;\n    }\n  | { readonly _tag: \"Value\"; readonly value: string | number | boolean | null }\n  | { readonly _tag: \"Omitted\"; readonly reason: \"redacted\" | \"cycle\" | \"limit\" | \"unsupported\" };\n\nconst diagnosticSchema = <Nested extends Schema.Top>(nested: Nested) =>\n  Schema.Union([\n    Schema.Struct({\n      _tag: Schema.Literal(\"Error\"),\n      errorTag: Schema.optionalKey(Name),\n      name: Schema.optionalKey(Name),\n      message: Schema.optionalKey(Text),\n      stack: Schema.optionalKey(Text),\n      reason: Schema.optionalKey(nested),\n      code: Schema.optionalKey(Schema.Union([Name, Schema.Finite])),\n      cause: Schema.optionalKey(nested),\n      errors: Schema.optionalKey(Schema.Array(nested).check(Schema.isMaxLength(128))),\n      context: Schema.optionalKey(Context),\n      omittedFields: Schema.optionalKey(Schema.Array(Name).check(Schema.isMaxLength(32))),\n      truncated: Schema.optionalKey(Schema.Literal(true)),\n    }),\n    Schema.Struct({\n      _tag: Schema.Literal(\"Cause\"),\n      reasons: Schema.Array(\n        Schema.Union([\n          Schema.Struct({ _tag: Schema.Literal(\"Fail\"), error: nested }),\n          Schema.Struct({ _tag: Schema.Literal(\"Die\"), defect: nested }),\n          Schema.Struct({\n            _tag: Schema.Literal(\"Interrupt\"),\n            fiberId: Schema.optionalKey(Schema.Finite),\n          }),\n        ]),\n      ).check(Schema.isMaxLength(128)),\n      truncated: Schema.optionalKey(Schema.Literal(true)),\n    }),\n    Schema.Struct({ _tag: Schema.Literal(\"Value\"), value: Scalar }),\n    Schema.Struct({\n      _tag: Schema.Literal(\"Omitted\"),\n      reason: Schema.Literals([\"redacted\", \"cycle\", \"limit\", \"unsupported\"]),\n    }),\n  ]);\n\n/** Structured, allowlisted Error fields and ordered Effect Fail/Die/Interrupt reasons. */\nexport const Diagnostic: Schema.Codec<Diagnostic> = Schema.suspend(() =>\n  diagnosticSchema(Diagnostic),\n).pipe(strictSchema);\n\n// Inspect one encoded node only; recursion must share capture's depth/node/text budgets.\nconst decodeDiagnosticNode = Schema.decodeUnknownExit(\n  diagnosticSchema(Schema.Unknown).pipe(strictSchema),\n);\n\n/** Remove common credential forms; hosts must keep arbitrary private payloads out of error text. */\nexport const redactText = (text: string): string =>\n  text\n    .replace(/\\b(Bearer|Basic)\\s+[A-Za-z0-9._~+/=-]+/gi, \"$1 [REDACTED]\")\n    .replace(/(https?:\\/\\/)[^\\s/@]+:[^\\s/@]+@/gi, \"$1[REDACTED]@\")\n    .replace(\n      /([?&](?:access_token|api_key|apikey|token|key|secret|password|signature)=)[^\\s&#]*/gi,\n      \"$1[REDACTED]\",\n    )\n    .replace(\n      /\\b((?:api[_-]?key|access[_-]?token|authorization|password|secret)\\s*[=:]\\s*)[^\\s,;}]+/gi,\n      \"$1[REDACTED]\",\n    );\n\n/**\n * Capture only diagnostic fields. Local values are never mutated. Cycles and exhausted limits\n * are explicit, not silently dropped; capture visits at most 1,024 nodes, with 56 JSON levels\n * and 128 KiB text. Inner causes have priority over outer stacks when the text budget is exhausted.\n * Text remains operator-private. No generic serializer can identify secrets embedded in arbitrary\n * prose: application error messages must exclude payloads, and hosts may supply stricter redaction.\n */\nexport const capture = (\n  value: unknown,\n  options?: { readonly redactText?: (text: string) => string },\n): Diagnostic => {\n  const seen = new WeakSet<object>();\n  let remainingNodes = 1_024;\n  let remainingText = 128 * 1024;\n\n  const text = (value: string, limit = 16 * 1024): string => {\n    const safe = (options?.redactText ?? redactText)(value);\n    const length = Math.max(0, Math.min(limit, remainingText));\n\n    const marker = \"[truncated]\".slice(0, length);\n\n    const result =\n      safe.length <= length ? safe : `${safe.slice(0, length - marker.length)}${marker}`;\n\n    remainingText -= result.length;\n\n    return result;\n  };\n\n  const visit = (value: unknown, depth: number): Diagnostic => {\n    if (remainingNodes <= 0 || depth >= 56) return { _tag: \"Omitted\", reason: \"limit\" };\n    remainingNodes--;\n    if (Redacted.isRedacted(value)) return { _tag: \"Omitted\", reason: \"redacted\" };\n    if (Predicate.isString(value)) return { _tag: \"Value\", value: text(value) };\n    if (\n      value === null ||\n      Predicate.isBoolean(value) ||\n      (Predicate.isNumber(value) && Number.isFinite(value))\n    )\n      return { _tag: \"Value\", value };\n    if (!Predicate.isObject(value)) return { _tag: \"Omitted\", reason: \"unsupported\" };\n    if (seen.has(value)) return { _tag: \"Omitted\", reason: \"cycle\" };\n    seen.add(value);\n    const nested = (value: unknown) => visit(value, depth + 1);\n    // Local errors retain their own tag, even when it happens to be \"Error\".\n    const decoded = value instanceof Error ? undefined : decodeDiagnosticNode(value);\n    const node = decoded !== undefined && Exit.isSuccess(decoded) ? decoded.value : undefined;\n\n    if (node?._tag === \"Omitted\" || node?._tag === \"Value\") {\n      seen.delete(value);\n\n      return node._tag === \"Value\" && typeof node.value === \"string\"\n        ? { _tag: \"Value\", value: text(node.value) }\n        : node;\n    }\n\n    const originalReasons = EffectCause.isCause(value)\n      ? value.reasons\n      : node?._tag === \"Cause\"\n        ? node.reasons\n        : undefined;\n\n    if (originalReasons !== undefined) {\n      const reasons: Array<CauseReason> = [];\n\n      for (const reason of originalReasons) {\n        if (reasons.length >= 128 || remainingNodes <= 0) break;\n        remainingNodes--;\n\n        // reasons -> array item -> error/defect contributes three JSON levels.\n        switch (reason._tag) {\n          case \"Fail\":\n            reasons.push({ _tag: \"Fail\", error: visit(reason.error, depth + 3) });\n            break;\n          case \"Die\":\n            reasons.push({ _tag: \"Die\", defect: visit(reason.defect, depth + 3) });\n            break;\n          case \"Interrupt\":\n            reasons.push({\n              _tag: \"Interrupt\",\n              ...(reason.fiberId === undefined ? {} : { fiberId: reason.fiberId }),\n            });\n            break;\n        }\n      }\n\n      const result: Diagnostic = {\n        _tag: \"Cause\",\n        ...(originalReasons.length > reasons.length || (node?._tag === \"Cause\" && node.truncated)\n          ? { truncated: true }\n          : {}),\n        reasons,\n      };\n\n      seen.delete(value);\n\n      return result;\n    }\n    const retained = node?._tag === \"Error\" ? node : undefined;\n    const omittedFields: Array<string> = [];\n\n    const read = (key: string): unknown => {\n      // A throwing accessor must not replace the original failure during diagnostic capture.\n      try {\n        return Reflect.get(value, key);\n      } catch {\n        omittedFields.push(key);\n\n        return undefined;\n      }\n    };\n\n    const tag = retained === undefined ? read(\"_tag\") : retained.errorTag;\n    const name = read(\"name\");\n    const message = read(\"message\");\n    const stack = read(\"stack\");\n    const reason = read(\"reason\");\n    const code = read(\"code\");\n    const cause = read(\"cause\");\n    const errors = read(\"errors\");\n    const capturedCause = cause === undefined ? undefined : nested(cause);\n    const capturedReason = reason === undefined ? undefined : nested(reason);\n    const capturedErrors: Array<Diagnostic> = [];\n\n    if (Array.isArray(errors))\n      for (const error of errors) {\n        if (capturedErrors.length >= 128 || remainingNodes <= 0) break;\n        capturedErrors.push(visit(error, depth + 2));\n      }\n\n    for (const field of retained?.omittedFields ?? []) omittedFields.push(text(field, 1_024));\n\n    const context: Record<string, string> = {};\n\n    for (const key of [\n      \"agentId\",\n      \"threadId\",\n      \"runId\",\n      \"submissionId\",\n      \"attemptId\",\n      \"turnId\",\n      \"toolCallId\",\n      \"toolName\",\n      \"callId\",\n      \"check\",\n      \"operation\",\n    ] as const) {\n      const field = retained === undefined ? read(key) : retained.context?.[key];\n\n      if (Predicate.isString(field)) context[key] = text(field, 1_024);\n    }\n\n    const result: Diagnostic = {\n      _tag: \"Error\",\n      ...(Predicate.isString(tag) ? { errorTag: text(tag, 1_024) } : {}),\n      ...(Predicate.isString(name) ? { name: text(name, 1_024) } : {}),\n      ...(Predicate.isString(message) ? { message: text(message) } : {}),\n      ...(Predicate.isString(stack) ? { stack: text(stack) } : {}),\n      ...(capturedReason === undefined ? {} : { reason: capturedReason }),\n      ...(Predicate.isString(code)\n        ? { code: text(code, 1_024) }\n        : Predicate.isNumber(code) && Number.isFinite(code)\n          ? { code }\n          : {}),\n      ...(capturedCause === undefined ? {} : { cause: capturedCause }),\n      ...(Array.isArray(errors) ? { errors: capturedErrors } : {}),\n      ...(Object.keys(context).length === 0 ? {} : { context }),\n      ...(omittedFields.length === 0 ? {} : { omittedFields }),\n      ...(retained?.truncated ||\n      (Array.isArray(errors) && errors.length > capturedErrors.length) ||\n      remainingText === 0\n        ? { truncated: true }\n        : {}),\n    };\n\n    seen.delete(value);\n\n    return result;\n  };\n\n  return visit(value, 0);\n};\n\n/** Bound and redact a diagnostic copy; canonical identities stay in their owning records. */\nexport const captureContext = (context: Context): Context => {\n  const diagnostic = capture(context);\n\n  return diagnostic._tag === \"Error\" ? (diagnostic.context ?? {}) : {};\n};\n\n/**\n * Preserve the original value in-process; across JSON retain its structured diagnostic projection.\n * Decoding returns Diagnostic data, never claims to reconstruct an application error class.\n */\nexport const Value = Diagnostic.pipe(\n  Schema.decodeTo(\n    Schema.Unknown,\n    SchemaTransformation.transform({\n      decode: (diagnostic): unknown => diagnostic,\n      encode: (value: unknown) => capture(value),\n    }),\n  ),\n);\n\n/** Original local Effect Cause; its JSON codec preserves ordered typed, defect and interrupt reasons. */\nexport const Cause = Schema.Cause(Value, Value).pipe(\n  Schema.decodeTo(\n    Schema.declare<EffectCause.Cause<unknown>>(EffectCause.isCause),\n    SchemaTransformation.transform({ decode: (cause) => cause, encode: (cause) => cause }),\n  ),\n);\n\n/** Safe summary plus optional operator-private causal evidence retained at a terminal boundary. */\nexport const Failure = Schema.Struct({\n  errorTag: Schema.NonEmptyString.check(Schema.isMaxLength(256)),\n  message: Text,\n  diagnostic: Schema.optionalKey(Diagnostic),\n  context: Schema.optionalKey(Context),\n}).pipe(strictSchema);\n\nexport type Failure = typeof Failure.Type;\n"],"mappings":";;;;AAGA,MAAa,gBAAsC,WACjD,OAAO,mBAA4C,CAAC,CAClD,CAAC,MAAM,IACN,CAAC,YACC,OAAO,MAAM,YACZ,aAAa,oBAAoB,KAAK,CAAC,CAAC,OAAO;CAAE,GAAG;CAAS,kBAAkB;AAAQ,CAAC,GAC5F,EACE,cAAc,CAAC,WACb,OAAO,KAAmB,CAAC,CAAC,OAAO,qBAAqB,YAAY,CAAC,EACzE,CACF;;;;;;;;;;;;;ACFF,MAAM,OAAO,OAAO,OAAO,MAAM,OAAO,YAAY,KAAS,CAAC;AAC9D,MAAM,OAAO,OAAO,OAAO,MAAM,OAAO,YAAY,IAAK,CAAC;AAC1D,MAAM,SAAS,OAAO,MAAM;CAAC;CAAM,OAAO;CAAQ,OAAO;CAAS,OAAO;AAAI,CAAC;;AAG9E,MAAaA,YAAU,OAAO,OAAO;CACnC,SAAS,OAAO,YAAY,IAAI;CAChC,UAAU,OAAO,YAAY,IAAI;CACjC,OAAO,OAAO,YAAY,IAAI;CAC9B,cAAc,OAAO,YAAY,IAAI;CACrC,WAAW,OAAO,YAAY,IAAI;CAClC,QAAQ,OAAO,YAAY,IAAI;CAC/B,YAAY,OAAO,YAAY,IAAI;CACnC,UAAU,OAAO,YAAY,IAAI;CACjC,QAAQ,OAAO,YAAY,IAAI;CAC/B,OAAO,OAAO,YAAY,IAAI;CAC9B,WAAW,OAAO,YAAY,IAAI;AACpC,CAAC,CAAC,CAAC,KAAK,YAAY;AAiCpB,MAAM,oBAA+C,WACnD,OAAO,MAAM;CACX,OAAO,OAAO;EACZ,MAAM,OAAO,QAAQ,OAAO;EAC5B,UAAU,OAAO,YAAY,IAAI;EACjC,MAAM,OAAO,YAAY,IAAI;EAC7B,SAAS,OAAO,YAAY,IAAI;EAChC,OAAO,OAAO,YAAY,IAAI;EAC9B,QAAQ,OAAO,YAAY,MAAM;EACjC,MAAM,OAAO,YAAY,OAAO,MAAM,CAAC,MAAM,OAAO,MAAM,CAAC,CAAC;EAC5D,OAAO,OAAO,YAAY,MAAM;EAChC,QAAQ,OAAO,YAAY,OAAO,MAAM,MAAM,CAAC,CAAC,MAAM,OAAO,YAAY,GAAG,CAAC,CAAC;EAC9E,SAAS,OAAO,YAAYA,SAAO;EACnC,eAAe,OAAO,YAAY,OAAO,MAAM,IAAI,CAAC,CAAC,MAAM,OAAO,YAAY,EAAE,CAAC,CAAC;EAClF,WAAW,OAAO,YAAY,OAAO,QAAQ,IAAI,CAAC;CACpD,CAAC;CACD,OAAO,OAAO;EACZ,MAAM,OAAO,QAAQ,OAAO;EAC5B,SAAS,OAAO,MACd,OAAO,MAAM;GACX,OAAO,OAAO;IAAE,MAAM,OAAO,QAAQ,MAAM;IAAG,OAAO;GAAO,CAAC;GAC7D,OAAO,OAAO;IAAE,MAAM,OAAO,QAAQ,KAAK;IAAG,QAAQ;GAAO,CAAC;GAC7D,OAAO,OAAO;IACZ,MAAM,OAAO,QAAQ,WAAW;IAChC,SAAS,OAAO,YAAY,OAAO,MAAM;GAC3C,CAAC;EACH,CAAC,CACH,CAAC,CAAC,MAAM,OAAO,YAAY,GAAG,CAAC;EAC/B,WAAW,OAAO,YAAY,OAAO,QAAQ,IAAI,CAAC;CACpD,CAAC;CACD,OAAO,OAAO;EAAE,MAAM,OAAO,QAAQ,OAAO;EAAG,OAAO;CAAO,CAAC;CAC9D,OAAO,OAAO;EACZ,MAAM,OAAO,QAAQ,SAAS;EAC9B,QAAQ,OAAO,SAAS;GAAC;GAAY;GAAS;GAAS;EAAa,CAAC;CACvE,CAAC;AACH,CAAC;;AAGH,MAAa,aAAuC,OAAO,cACzD,iBAAiB,UAAU,CAC7B,CAAC,CAAC,KAAK,YAAY;AAGnB,MAAM,uBAAuB,OAAO,kBAClC,iBAAiB,OAAO,OAAO,CAAC,CAAC,KAAK,YAAY,CACpD;;AAGA,MAAa,cAAc,SACzB,KACG,QAAQ,4CAA4C,eAAe,CAAC,CACpE,QAAQ,qCAAqC,eAAe,CAAC,CAC7D,QACC,wFACA,cACF,CAAC,CACA,QACC,2FACA,cACF;;;;;;;;AASJ,MAAa,WACX,OACA,YACe;CACf,MAAM,uBAAO,IAAI,QAAgB;CACjC,IAAI,iBAAiB;CACrB,IAAI,gBAAgB;CAEpB,MAAM,QAAQ,OAAe,QAAQ,UAAsB;EACzD,MAAM,QAAQ,SAAS,cAAc,WAAA,CAAY,KAAK;EACtD,MAAM,SAAS,KAAK,IAAI,GAAG,KAAK,IAAI,OAAO,aAAa,CAAC;EAEzD,MAAM,SAAS,cAAc,MAAM,GAAG,MAAM;EAE5C,MAAM,SACJ,KAAK,UAAU,SAAS,OAAO,GAAG,KAAK,MAAM,GAAG,SAAS,OAAO,MAAM,IAAI;EAE5E,iBAAiB,OAAO;EAExB,OAAO;CACT;CAEA,MAAM,SAAS,OAAgB,UAA8B;EAC3D,IAAI,kBAAkB,KAAK,SAAS,IAAI,OAAO;GAAE,MAAM;GAAW,QAAQ;EAAQ;EAClF;EACA,IAAI,SAAS,WAAW,KAAK,GAAG,OAAO;GAAE,MAAM;GAAW,QAAQ;EAAW;EAC7E,IAAI,UAAU,SAAS,KAAK,GAAG,OAAO;GAAE,MAAM;GAAS,OAAO,KAAK,KAAK;EAAE;EAC1E,IACE,UAAU,QACV,UAAU,UAAU,KAAK,KACxB,UAAU,SAAS,KAAK,KAAK,OAAO,SAAS,KAAK,GAEnD,OAAO;GAAE,MAAM;GAAS;EAAM;EAChC,IAAI,CAAC,UAAU,SAAS,KAAK,GAAG,OAAO;GAAE,MAAM;GAAW,QAAQ;EAAc;EAChF,IAAI,KAAK,IAAI,KAAK,GAAG,OAAO;GAAE,MAAM;GAAW,QAAQ;EAAQ;EAC/D,KAAK,IAAI,KAAK;EACd,MAAM,UAAU,UAAmB,MAAM,OAAO,QAAQ,CAAC;EAEzD,MAAM,UAAU,iBAAiB,QAAQ,KAAA,IAAY,qBAAqB,KAAK;EAC/E,MAAM,OAAO,YAAY,KAAA,KAAa,KAAK,UAAU,OAAO,IAAI,QAAQ,QAAQ,KAAA;EAEhF,IAAI,MAAM,SAAS,aAAa,MAAM,SAAS,SAAS;GACtD,KAAK,OAAO,KAAK;GAEjB,OAAO,KAAK,SAAS,WAAW,OAAO,KAAK,UAAU,WAClD;IAAE,MAAM;IAAS,OAAO,KAAK,KAAK,KAAK;GAAE,IACzC;EACN;EAEA,MAAM,kBAAkBC,MAAY,QAAQ,KAAK,IAC7C,MAAM,UACN,MAAM,SAAS,UACb,KAAK,UACL,KAAA;EAEN,IAAI,oBAAoB,KAAA,GAAW;GACjC,MAAM,UAA8B,CAAC;GAErC,KAAK,MAAM,UAAU,iBAAiB;IACpC,IAAI,QAAQ,UAAU,OAAO,kBAAkB,GAAG;IAClD;IAGA,QAAQ,OAAO,MAAf;KACE,KAAK;MACH,QAAQ,KAAK;OAAE,MAAM;OAAQ,OAAO,MAAM,OAAO,OAAO,QAAQ,CAAC;MAAE,CAAC;MACpE;KACF,KAAK;MACH,QAAQ,KAAK;OAAE,MAAM;OAAO,QAAQ,MAAM,OAAO,QAAQ,QAAQ,CAAC;MAAE,CAAC;MACrE;KACF,KAAK,aACH,QAAQ,KAAK;MACX,MAAM;MACN,GAAI,OAAO,YAAY,KAAA,IAAY,CAAC,IAAI,EAAE,SAAS,OAAO,QAAQ;KACpE,CAAC;IAEL;GACF;GAEA,MAAM,SAAqB;IACzB,MAAM;IACN,GAAI,gBAAgB,SAAS,QAAQ,UAAW,MAAM,SAAS,WAAW,KAAK,YAC3E,EAAE,WAAW,KAAK,IAClB,CAAC;IACL;GACF;GAEA,KAAK,OAAO,KAAK;GAEjB,OAAO;EACT;EACA,MAAM,WAAW,MAAM,SAAS,UAAU,OAAO,KAAA;EACjD,MAAM,gBAA+B,CAAC;EAEtC,MAAM,QAAQ,QAAyB;GAErC,IAAI;IACF,OAAO,QAAQ,IAAI,OAAO,GAAG;GAC/B,QAAQ;IACN,cAAc,KAAK,GAAG;IAEtB;GACF;EACF;EAEA,MAAM,MAAM,aAAa,KAAA,IAAY,KAAK,MAAM,IAAI,SAAS;EAC7D,MAAM,OAAO,KAAK,MAAM;EACxB,MAAM,UAAU,KAAK,SAAS;EAC9B,MAAM,QAAQ,KAAK,OAAO;EAC1B,MAAM,SAAS,KAAK,QAAQ;EAC5B,MAAM,OAAO,KAAK,MAAM;EACxB,MAAM,QAAQ,KAAK,OAAO;EAC1B,MAAM,SAAS,KAAK,QAAQ;EAC5B,MAAM,gBAAgB,UAAU,KAAA,IAAY,KAAA,IAAY,OAAO,KAAK;EACpE,MAAM,iBAAiB,WAAW,KAAA,IAAY,KAAA,IAAY,OAAO,MAAM;EACvE,MAAM,iBAAoC,CAAC;EAE3C,IAAI,MAAM,QAAQ,MAAM,GACtB,KAAK,MAAM,SAAS,QAAQ;GAC1B,IAAI,eAAe,UAAU,OAAO,kBAAkB,GAAG;GACzD,eAAe,KAAK,MAAM,OAAO,QAAQ,CAAC,CAAC;EAC7C;EAEF,KAAK,MAAM,SAAS,UAAU,iBAAiB,CAAC,GAAG,cAAc,KAAK,KAAK,OAAO,IAAK,CAAC;EAExF,MAAM,UAAkC,CAAC;EAEzC,KAAK,MAAM,OAAO;GAChB;GACA;GACA;GACA;GACA;GACA;GACA;GACA;GACA;GACA;GACA;EACF,GAAY;GACV,MAAM,QAAQ,aAAa,KAAA,IAAY,KAAK,GAAG,IAAI,SAAS,UAAU;GAEtE,IAAI,UAAU,SAAS,KAAK,GAAG,QAAQ,OAAO,KAAK,OAAO,IAAK;EACjE;EAEA,MAAM,SAAqB;GACzB,MAAM;GACN,GAAI,UAAU,SAAS,GAAG,IAAI,EAAE,UAAU,KAAK,KAAK,IAAK,EAAE,IAAI,CAAC;GAChE,GAAI,UAAU,SAAS,IAAI,IAAI,EAAE,MAAM,KAAK,MAAM,IAAK,EAAE,IAAI,CAAC;GAC9D,GAAI,UAAU,SAAS,OAAO,IAAI,EAAE,SAAS,KAAK,OAAO,EAAE,IAAI,CAAC;GAChE,GAAI,UAAU,SAAS,KAAK,IAAI,EAAE,OAAO,KAAK,KAAK,EAAE,IAAI,CAAC;GAC1D,GAAI,mBAAmB,KAAA,IAAY,CAAC,IAAI,EAAE,QAAQ,eAAe;GACjE,GAAI,UAAU,SAAS,IAAI,IACvB,EAAE,MAAM,KAAK,MAAM,IAAK,EAAE,IAC1B,UAAU,SAAS,IAAI,KAAK,OAAO,SAAS,IAAI,IAC9C,EAAE,KAAK,IACP,CAAC;GACP,GAAI,kBAAkB,KAAA,IAAY,CAAC,IAAI,EAAE,OAAO,cAAc;GAC9D,GAAI,MAAM,QAAQ,MAAM,IAAI,EAAE,QAAQ,eAAe,IAAI,CAAC;GAC1D,GAAI,OAAO,KAAK,OAAO,CAAC,CAAC,WAAW,IAAI,CAAC,IAAI,EAAE,QAAQ;GACvD,GAAI,cAAc,WAAW,IAAI,CAAC,IAAI,EAAE,cAAc;GACtD,GAAI,UAAU,aACb,MAAM,QAAQ,MAAM,KAAK,OAAO,SAAS,eAAe,UACzD,kBAAkB,IACd,EAAE,WAAW,KAAK,IAClB,CAAC;EACP;EAEA,KAAK,OAAO,KAAK;EAEjB,OAAO;CACT;CAEA,OAAO,MAAM,OAAO,CAAC;AACvB;;AAGA,MAAa,kBAAkB,YAA8B;CAC3D,MAAM,aAAa,QAAQ,OAAO;CAElC,OAAO,WAAW,SAAS,UAAW,WAAW,WAAW,CAAC,IAAK,CAAC;AACrE;;;;;AAMA,MAAa,QAAQ,WAAW,KAC9B,OAAO,SACL,OAAO,SACP,qBAAqB,UAAU;CAC7B,SAAS,eAAwB;CACjC,SAAS,UAAmB,QAAQ,KAAK;AAC3C,CAAC,CACH,CACF;;AAGA,MAAaC,UAAQ,OAAO,MAAM,OAAO,KAAK,CAAC,CAAC,KAC9C,OAAO,SACL,OAAO,QAAoCD,MAAY,OAAO,GAC9D,qBAAqB,UAAU;CAAE,SAAS,UAAU;CAAO,SAAS,UAAU;AAAM,CAAC,CACvF,CACF;;AAGA,MAAa,UAAU,OAAO,OAAO;CACnC,UAAU,OAAO,eAAe,MAAM,OAAO,YAAY,GAAG,CAAC;CAC7D,SAAS;CACT,YAAY,OAAO,YAAY,UAAU;CACzC,SAAS,OAAO,YAAYD,SAAO;AACrC,CAAC,CAAC,CAAC,KAAK,YAAY"}

package/dist/MessagingHost-DfsbMPvq.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"MessagingHost-DfsbMPvq.mjs","names":[],"sources":["../src/core/Messaging.ts","../src/engine/MessagingHost.ts"],"sourcesContent":["import { Schema } from \"effect\";\n\nimport { AgentId, ThreadId } from \"./Identifiers.ts\";\nimport { MessageRef } from \"./internal/message-status.ts\";\nimport { FrameworkMessage } from \"./Worker.ts\";\n\nexport { MessageRef, MessageStatus } from \"./internal/message-status.ts\";\n\n/** Application-chosen fixed route name; it never authorizes a destination by itself. */\nexport const PeerName = Schema.NonEmptyString.check(\n  Schema.isMaxLength(64),\n  Schema.isPattern(/^[a-zA-Z0-9_-]+$/u),\n);\n\nexport type PeerName = typeof PeerName.Type;\n\nexport const MessageAddress = Schema.Struct({ threadId: ThreadId, agentId: AgentId });\nexport type MessageAddress = typeof MessageAddress.Type;\n\n/** Host-authenticated provenance stored separately from destination-owned application input. */\nexport const MessageAdmission = Schema.Struct({\n  schemaVersion: Schema.Literal(1),\n  message: MessageRef,\n  peerName: PeerName,\n  sender: MessageAddress,\n  returnAddress: MessageAddress,\n  inReplyTo: Schema.optionalKey(MessageRef),\n}).check(\n  Schema.makeFilter(\n    (value) =>\n      value.message.ownerThreadId === value.sender.threadId &&\n      value.sender.threadId === value.returnAddress.threadId &&\n      value.sender.agentId === value.returnAddress.agentId,\n  ),\n);\n\nexport type MessageAdmission = typeof MessageAdmission.Type;\n\nexport const InboxEntry = Schema.Struct({\n  sequence: Schema.Natural.check(Schema.isGreaterThan(0)),\n  admission: MessageAdmission,\n});\n\nexport type InboxEntry = typeof InboxEntry.Type;\n\nexport const InboxPage = Schema.Struct({\n  items: Schema.Array(InboxEntry).check(Schema.isMaxLength(100)),\n  next: Schema.NullOr(Schema.Natural),\n});\n\nexport type InboxPage = typeof InboxPage.Type;\n\nexport class MessagingError extends Schema.TaggedError<MessagingError>()(\"MessagingError\", {\n  operation: Schema.Literals([\"context\", \"send\", \"reply\", \"inbox\", \"inspect\", \"retry\"]),\n  reason: Schema.Literals([\n    \"denied\",\n    \"unavailable\",\n    \"route-unavailable\",\n    \"binding-mismatch\",\n    \"invalid-input\",\n    \"invalid-reference\",\n    \"conflict\",\n    \"capacity\",\n    \"not-found\",\n    \"storage\",\n    \"corrupt\",\n  ]),\n}) {}\n\n/** Canonical input provenance: peer input or a framework-owned completion message. */\nexport const InputMessage = Schema.Union([MessageAdmission, FrameworkMessage]);\nexport type InputMessage = typeof InputMessage.Type;\n","import { Context, type Effect } from \"effect\";\n\nimport type { AnyDefinition } from \"../core/Agent.ts\";\nimport type { ThreadId } from \"../core/Identifiers.ts\";\nimport {\n  type InboxPage,\n  type MessageAddress,\n  type MessageRef,\n  type MessageStatus,\n  MessagingError,\n} from \"../core/Messaging.ts\";\nimport type { IdempotencyKey, Principal } from \"../core/Receipt.ts\";\nimport type { WorkerSource } from \"../core/Worker.ts\";\n\nexport interface PeerTarget {\n  readonly name: string;\n  readonly target: AnyDefinition;\n}\n\n/** A fixed declaration chooses the route. Caller input never selects a destination Thread. */\nexport interface SendPeerMessage extends PeerTarget {\n  readonly encodedInput: unknown;\n  readonly idempotencyKey: IdempotencyKey;\n  /** Correlation on sends; replies additionally resolve and authorize the recorded return address. */\n  readonly inReplyTo?: MessageRef;\n}\n\n/** Trusted per-invocation facet. It carries caller authority without exposing it in Tool schemas. */\nexport class MessagingHost extends Context.Service<\n  MessagingHost,\n  {\n    readonly context: Effect.Effect<WorkerSource, MessagingError>;\n    readonly send: (request: SendPeerMessage) => Effect.Effect<MessageStatus, MessagingError>;\n    readonly reply: (\n      request: SendPeerMessage & { readonly inReplyTo: MessageRef },\n    ) => Effect.Effect<MessageStatus, MessagingError>;\n    readonly inbox: (\n      request: PeerTarget & { readonly after?: number; readonly limit: number },\n    ) => Effect.Effect<InboxPage, MessagingError>;\n    readonly inspect: (\n      request: PeerTarget & { readonly message: MessageRef },\n    ) => Effect.Effect<MessageStatus, MessagingError>;\n    readonly retry: (\n      request: PeerTarget & { readonly message: MessageRef },\n    ) => Effect.Effect<MessageStatus, MessagingError>;\n  }\n>()(\"@effect-agent/engine/MessagingHost\") {\n  static readonly unavailable: MessagingHost[\"Service\"] = {\n    context: MessagingError.make({ operation: \"context\", reason: \"unavailable\" }),\n    send: () => MessagingError.make({ operation: \"send\", reason: \"unavailable\" }),\n    reply: () => MessagingError.make({ operation: \"reply\", reason: \"unavailable\" }),\n    inbox: () => MessagingError.make({ operation: \"inbox\", reason: \"unavailable\" }),\n    inspect: () => MessagingError.make({ operation: \"inspect\", reason: \"unavailable\" }),\n    retry: () => MessagingError.make({ operation: \"retry\", reason: \"unavailable\" }),\n  };\n\n  /** Runtime-owned per-call binding. Unconfigured Runs deny peer operations. */\n  static readonly forTool = Context.Reference<\n    (source: Extract<WorkerSource, { readonly _tag: \"tool\" }>) => MessagingHost[\"Service\"]\n  >(\"@effect-agent/engine/MessagingHost/forTool\", {\n    defaultValue: () => () => MessagingHost.unavailable,\n  });\n}\n\n/** Separate context, history, send and management grants; incoming messages grant none of them. */\nexport interface PeerAuthorizationRequest {\n  readonly source: MessageAddress;\n  readonly principal: Principal;\n  readonly operation: MessagingError[\"operation\"];\n  readonly access: \"context\" | \"read\" | \"send\" | \"control\";\n  readonly peerName?: string;\n  readonly destination?: MessageAddress;\n}\n\nexport const PeerAuthorizer = Context.Reference<{\n  /** Return the stable delivery principal for sends. It is retained with the frozen envelope. */\n  readonly authorize: (\n    request: PeerAuthorizationRequest,\n  ) => Effect.Effect<Principal, MessagingError>;\n}>(\"@effect-agent/thread/PeerAuthorizer\", {\n  defaultValue: () => ({\n    authorize: (request) => MessagingError.make({ operation: request.operation, reason: \"denied\" }),\n  }),\n});\n\n/** Application-owned routing; the target Agent is resolved from the existing exact registrations. */\nexport const PeerRoutes = Context.Reference<{\n  readonly resolve: (request: {\n    readonly source: MessageAddress;\n    readonly principal: Principal;\n    readonly peerName: string;\n    readonly targetAgentId: MessageAddress[\"agentId\"];\n  }) => Effect.Effect<ThreadId, MessagingError>;\n}>(\"@effect-agent/thread/PeerRoutes\", {\n  defaultValue: () => ({\n    resolve: () => MessagingError.make({ operation: \"send\", reason: \"route-unavailable\" }),\n  }),\n});\n\n/** Retry windows are finite; exhaustion parks the retained envelope for explicit authorized retry. */\nexport const PeerDeliveryLifetime = Context.Reference<number>(\n  \"@effect-agent/thread/PeerDeliveryLifetime\",\n  { defaultValue: () => 86_400_000 },\n);\n\n/** Bound canonical send intents across all peers and principals in one source Thread. */\nexport const PeerMessageCapacity = Context.Reference<number>(\n  \"@effect-agent/thread/PeerMessageCapacity\",\n  { defaultValue: () => 256 },\n);\n"],"mappings":";;;;;;AASA,MAAa,WAAW,OAAO,eAAe,MAC5C,OAAO,YAAY,EAAE,GACrB,OAAO,UAAU,mBAAmB,CACtC;AAIA,MAAa,iBAAiB,OAAO,OAAO;CAAE,UAAU;CAAU,SAAS;AAAQ,CAAC;;AAIpF,MAAa,mBAAmB,OAAO,OAAO;CAC5C,eAAe,OAAO,QAAQ,CAAC;CAC/B,SAAS;CACT,UAAU;CACV,QAAQ;CACR,eAAe;CACf,WAAW,OAAO,YAAY,UAAU;AAC1C,CAAC,CAAC,CAAC,MACD,OAAO,YACJ,UACC,MAAM,QAAQ,kBAAkB,MAAM,OAAO,YAC7C,MAAM,OAAO,aAAa,MAAM,cAAc,YAC9C,MAAM,OAAO,YAAY,MAAM,cAAc,OACjD,CACF;AAIA,MAAa,aAAa,OAAO,OAAO;CACtC,UAAU,OAAO,QAAQ,MAAM,OAAO,cAAc,CAAC,CAAC;CACtD,WAAW;AACb,CAAC;AAID,MAAa,YAAY,OAAO,OAAO;CACrC,OAAO,OAAO,MAAM,UAAU,CAAC,CAAC,MAAM,OAAO,YAAY,GAAG,CAAC;CAC7D,MAAM,OAAO,OAAO,OAAO,OAAO;AACpC,CAAC;AAID,IAAa,iBAAb,cAAoC,OAAO,YAA4B,CAAC,CAAC,kBAAkB;CACzF,WAAW,OAAO,SAAS;EAAC;EAAW;EAAQ;EAAS;EAAS;EAAW;CAAO,CAAC;CACpF,QAAQ,OAAO,SAAS;EACtB;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;CACF,CAAC;AACH,CAAC,CAAC,CAAC,CAAC;;AAGJ,MAAa,eAAe,OAAO,MAAM,CAAC,kBAAkB,gBAAgB,CAAC;;;;;;;;;;;AC1C7E,IAAa,gBAAb,MAAa,sBAAsB,QAAQ,QAkBzC,CAAC,CAAC,oCAAoC,CAAC,CAAC;CACxC,OAAgB,cAAwC;EACtD,SAAS,eAAe,KAAK;GAAE,WAAW;GAAW,QAAQ;EAAc,CAAC;EAC5E,YAAY,eAAe,KAAK;GAAE,WAAW;GAAQ,QAAQ;EAAc,CAAC;EAC5E,aAAa,eAAe,KAAK;GAAE,WAAW;GAAS,QAAQ;EAAc,CAAC;EAC9E,aAAa,eAAe,KAAK;GAAE,WAAW;GAAS,QAAQ;EAAc,CAAC;EAC9E,eAAe,eAAe,KAAK;GAAE,WAAW;GAAW,QAAQ;EAAc,CAAC;EAClF,aAAa,eAAe,KAAK;GAAE,WAAW;GAAS,QAAQ;EAAc,CAAC;CAChF;;CAGA,OAAgB,UAAU,QAAQ,UAEhC,8CAA8C,EAC9C,0BAA0B,cAAc,YAC1C,CAAC;AACH;AAYA,MAAa,iBAAiB,QAAQ,UAKnC,uCAAuC,EACxC,qBAAqB,EACnB,YAAY,YAAY,eAAe,KAAK;CAAE,WAAW,QAAQ;CAAW,QAAQ;AAAS,CAAC,EAChG,GACF,CAAC;;AAGD,MAAa,aAAa,QAAQ,UAO/B,mCAAmC,EACpC,qBAAqB,EACnB,eAAe,eAAe,KAAK;CAAE,WAAW;CAAQ,QAAQ;AAAoB,CAAC,EACvF,GACF,CAAC;;AAGD,MAAa,uBAAuB,QAAQ,UAC1C,6CACA,EAAE,oBAAoB,MAAW,CACnC;;AAGA,MAAa,sBAAsB,QAAQ,UACzC,4CACA,EAAE,oBAAoB,IAAI,CAC5B"}

package/dist/Thread-DOBQ0QUY.d.mts

@@ -1,96 +0,0 @@
-import { s as RunId, u as ThreadId } from "./Identifiers-CN2s30fF.mjs";
-import { Prompt } from "effect/unstable/ai";
-import { Context, Effect, Layer, Schema } from "effect";
-declare namespace Thread_d_exports {
-  export { Store, Thread, ThreadAppend, ThreadEncodingError, ThreadError, ThreadExport, ThreadHistoryDiverged, ThreadLimitExceeded, ThreadMessage, ThreadNotFound, ThreadText, layerMemory, toPrompt };
-}
-/** Bound applied to one text projection before it can enter a model context. */
-declare const ThreadText: Schema.String;
-declare const ThreadMessage_base: Schema.Class<ThreadMessage, Schema.Struct<{
-  readonly threadId: Schema.brand<Schema.NonEmptyString, "@effect-agent/core/ThreadId">;
-  readonly sequence: Schema.Natural;
-  readonly runId: Schema.optionalKey<Schema.brand<Schema.NonEmptyString, "@effect-agent/core/RunId">>;
-  readonly message: Schema.Codec<Prompt.Message, Prompt.MessageEncoded, never, never>;
-  readonly encodedBytes: Schema.Natural;
-  readonly timestamp: Schema.DateTimeUtcFromString;
-}>, {}>;
-/** One append-only native Effect AI message in a conversation. */
-declare class ThreadMessage extends ThreadMessage_base {}
-declare const Thread_base: Schema.Class<Thread, Schema.Struct<{
-  readonly version: Schema.Literal<1>;
-  readonly threadId: Schema.brand<Schema.NonEmptyString, "@effect-agent/core/ThreadId">;
-  readonly nextSequence: Schema.Natural;
-  readonly contentBytes: Schema.Natural;
-  readonly messages: Schema.$Array<typeof ThreadMessage>;
-}>, {}>;
-/** An identified, ordered conversation snapshot. Storage and execution recovery are separate concerns. */
-declare class Thread extends Thread_base {}
-declare const ThreadExport_base: Schema.Class<ThreadExport, Schema.Struct<{
-  readonly format: Schema.Literal<"effect-agent/ephemeral-thread@1">;
-  readonly exportedAt: Schema.DateTimeUtcFromString;
-  readonly snapshot: typeof Thread;
-}>, {}>;
-/** Portable conversation snapshot. Its format is independent of the durable execution journal. */
-declare class ThreadExport extends ThreadExport_base {}
-declare const ThreadAppend_base: Schema.Class<ThreadAppend, Schema.Struct<{
-  readonly runId: Schema.optionalKey<Schema.brand<Schema.NonEmptyString, "@effect-agent/core/RunId">>;
-  readonly message: Schema.Codec<Prompt.Message, Prompt.MessageEncoded, never, never>;
-}>, {}>;
-/** Native message accepted by the append-only thread. */
-declare class ThreadAppend extends ThreadAppend_base {}
-declare const ThreadNotFound_base: Schema.Class<ThreadNotFound, Schema.TaggedStruct<"ThreadNotFound", {
-  readonly threadId: Schema.brand<Schema.NonEmptyString, "@effect-agent/core/ThreadId">;
-}>, import("effect/Cause").YieldableError>;
-/** The requested Thread has not been created in this store. */
-declare class ThreadNotFound extends ThreadNotFound_base {}
-declare const ThreadLimitExceeded_base: Schema.Class<ThreadLimitExceeded, Schema.TaggedStruct<"ThreadLimitExceeded", {
-  readonly threadId: Schema.brand<Schema.NonEmptyString, "@effect-agent/core/ThreadId">;
-  readonly limit: Schema.Literals<readonly ["messages", "content-bytes", "threads", "store-content-bytes"]>;
-  readonly limitValue: Schema.Natural;
-  readonly observedValue: Schema.Natural;
-}>, import("effect/Cause").YieldableError>;
-/** A process-local Thread store reached an explicit count or encoded-content bound. */
-declare class ThreadLimitExceeded extends ThreadLimitExceeded_base {}
-declare const ThreadHistoryDiverged_base: Schema.Class<ThreadHistoryDiverged, Schema.TaggedStruct<"ThreadHistoryDiverged", {
-  readonly threadId: Schema.brand<Schema.NonEmptyString, "@effect-agent/core/ThreadId">;
-  readonly message: Schema.String;
-}>, import("effect/Cause").YieldableError>;
-/** Engine history was not an append-only extension of the official snapshot. */
-declare class ThreadHistoryDiverged extends ThreadHistoryDiverged_base {}
-declare const ThreadEncodingError_base: Schema.Class<ThreadEncodingError, Schema.TaggedStruct<"ThreadEncodingError", {
-  readonly threadId: Schema.brand<Schema.NonEmptyString, "@effect-agent/core/ThreadId">;
-  readonly message: Schema.String;
-}>, import("effect/Cause").YieldableError>;
-/** Native Prompt encoding failed before a bounded state mutation. */
-declare class ThreadEncodingError extends ThreadEncodingError_base {}
-type ThreadError = ThreadNotFound | ThreadLimitExceeded | ThreadHistoryDiverged | ThreadEncodingError;
-/** Reconstruct exact Effect AI Prompt history, including tools, reasoning, files, and options. */
-declare const toPrompt: (snapshot: Thread) => Prompt.Prompt;
-declare const Store_base: Context.ServiceClass<Store, "@effect-agent/capabilities/EphemeralThreads", {
-  readonly create: (threadId: ThreadId) => Effect.Effect<Thread, ThreadLimitExceeded>;
-  readonly append: (threadId: ThreadId, message: ThreadAppend) => Effect.Effect<Thread, ThreadNotFound | ThreadLimitExceeded | ThreadEncodingError>;
-  /**
-   * Record an engine-emitted full history only when it is an append-only
-   * extension of the exact official Prompt already stored. The entire
-   * suffix commits in one transaction or not at all: concurrent writers are
-   * serialized, a writer whose history no longer extends the committed
-   * official history fails with ThreadHistoryDiverged, and a limit
-   * failure inside the suffix records nothing. Earlier updates remain committed if the Run
-   * later fails or is interrupted; this transaction covers one update, not the whole Run.
-   */
-  readonly recordHistory: (threadId: ThreadId, runId: RunId, history: Prompt.Prompt) => Effect.Effect<Thread, ThreadError>;
-  readonly snapshot: (threadId: ThreadId) => Effect.Effect<Thread, ThreadNotFound>;
-  readonly export: (threadId: ThreadId) => Effect.Effect<ThreadExport, ThreadNotFound>;
-}>;
-/**
- * Process-local state for conversation history. Updates remain visible even
- * when a Run later fails; this service has no successful-Run commit boundary or durable recovery.
- * ThreadHistory.layer uses this store for ordinary Runs and interactive history.
- * Scope closure releases all in-memory state.
- */
-declare class Store extends Store_base {}
-/** In-memory storage shared for the consumer's Scope; it does not survive process loss. */
-declare const layerMemory: Layer.Layer<Store, never, never>;
-//#endregion
-export { ThreadError as a, ThreadLimitExceeded as c, ThreadText as d, Thread_d_exports as f, ThreadEncodingError as i, ThreadMessage as l, toPrompt as m, Thread as n, ThreadExport as o, layerMemory as p, ThreadAppend as r, ThreadHistoryDiverged as s, Store as t, ThreadNotFound as u };
-//# sourceMappingURL=Thread-DOBQ0QUY.d.mts.map

package/dist/ToolExposure-9uF_Yo0T.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"ToolExposure-9uF_Yo0T.mjs","names":[],"sources":["../src/engine/ToolExposure.ts"],"sourcesContent":["import { Context, type Effect } from \"effect\";\nimport type { Tool } from \"effect/unstable/ai\";\n\nimport type { RunId, ThreadId } from \"../core/Identifiers.ts\";\n\nexport type CatalogEntry =\n  | {\n      readonly kind: \"native\";\n      readonly tool: Tool.Any;\n      readonly namespace?: string | undefined;\n      readonly nativeToolName: string;\n    }\n  | {\n      readonly kind: \"code-mode\";\n      readonly tool: Tool.Any;\n      readonly namespace: string;\n      readonly method: string;\n      readonly nativeToolName: string;\n    };\n\n/** Engine-owned per-Turn snapshot. All candidates passed host visibility and inherited grants. */\nexport class CurrentToolCatalog extends Context.Service<\n  CurrentToolCatalog,\n  {\n    readonly entries: ReadonlyArray<CatalogEntry>;\n  }\n>()(\"@effect-agent/engine/ToolExposure/CurrentToolCatalog\") {}\n\n/** Host visibility is checked before a discovery Handler may inspect candidate documentation. */\nexport interface VisibilityRequest {\n  readonly threadId: ThreadId;\n  readonly runId: RunId;\n  readonly turn: number;\n  readonly input: unknown;\n  /** Includes registered native names and explicitly advertised programmatic names. */\n  readonly toolNames: ReadonlyArray<string>;\n}\n\n/** Resolve host dependencies when constructing the policy Layer. */\nexport interface VisibilityHook {\n  readonly visible: (request: VisibilityRequest) => Effect.Effect<ReadonlyArray<string>>;\n}\n\n/** Optional host policy captured by durable runtimes; action authorization remains independent. */\nexport const RunToolVisibility = Context.Reference<VisibilityHook | undefined>(\n  \"@effect-agent/engine/ToolExposure/RunToolVisibility\",\n  { defaultValue: () => undefined },\n);\n"],"mappings":";;;AAqBA,IAAa,qBAAb,cAAwC,QAAQ,QAK9C,CAAC,CAAC,sDAAsD,CAAC,CAAC,CAAC;;AAkB7D,MAAa,oBAAoB,QAAQ,UACvC,uDACA,EAAE,oBAAoB,KAAA,EAAU,CAClC"}

package/dist/ToolExposure-C93U1sPu.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"ToolExposure-C93U1sPu.mjs","names":[],"sources":["../src/core/ToolExposure.ts"],"sourcesContent":["import { Context, Schema } from \"effect\";\nimport type { Tool } from \"effect/unstable/ai\";\n\n/** Registered native names only. Empty selection deliberately clears non-pinned Tools. */\nexport const ToolNames = Schema.Array(\n  Schema.String.check(Schema.isMinLength(1), Schema.isMaxLength(256)),\n).check(\n  Schema.isMaxLength(1_024),\n  Schema.makeFilter((names) => new Set(names).size === names.length, {\n    title: \"Tool names are unique\",\n  }),\n);\n\n/** One run-scoped replacement, independent of search and of model-visible result text. */\nexport class Selection extends Schema.Class<Selection>(\"@effect-agent/core/ToolExposure/Selection\")(\n  {\n    toolNames: ToolNames,\n  },\n) {}\n\n/** Exact declarations used by one model request, with the selection that produced them. */\nexport class Snapshot extends Schema.Class<Snapshot>(\"@effect-agent/core/ToolExposure/Snapshot\")({\n  exposedToolNames: ToolNames,\n  selection: Schema.optionalKey(Selection),\n}) {}\n\nexport const Limits = Schema.Struct({\n  maxTools: Schema.Int.check(Schema.isGreaterThan(0), Schema.isLessThanOrEqualTo(1_024)),\n  maxSchemaBytes: Schema.Int.check(Schema.isGreaterThan(0), Schema.isLessThanOrEqualTo(4_194_304)),\n});\n\n/** Omission preserves eager exposure. Selection changes take effect only after a complete batch. */\nexport interface Configuration {\n  readonly initialToolNames?: ReadonlyArray<string> | undefined;\n  readonly maxTools?: number | undefined;\n  readonly maxSchemaBytes?: number | undefined;\n}\n\n/** Trusted grouping metadata; never inferred from a Tool's name. */\nexport const ToolNamespace = Context.Reference<string | undefined>(\n  \"@effect-agent/core/ToolExposure/ToolNamespace\",\n  { defaultValue: () => undefined },\n);\n\n/** An ordinary readonly Tool whose successful result has a `toolNames` field of native names. */\nexport const DiscoveryTool = Context.Reference<boolean>(\n  \"@effect-agent/core/ToolExposure/DiscoveryTool\",\n  { defaultValue: () => false },\n);\n\n/** Remains selected while eligible. Host visibility and inherited grants may hide an explicit\n * pin without failing the Run; discovery, context rollover and required completion stay mandatory.\n */\nexport const PinnedTool = Context.Reference<boolean>(\"@effect-agent/core/ToolExposure/PinnedTool\", {\n  defaultValue: () => false,\n});\n\n/** Extra documentation candidates executed through their owning native Tool, such as Code Mode. */\nexport interface AdditionalCatalogEntry {\n  readonly tool: Tool.Any;\n  readonly namespace: string;\n  readonly method: string;\n}\n\nexport const AdditionalToolCatalog = Context.Reference<ReadonlyArray<AdditionalCatalogEntry>>(\n  \"@effect-agent/core/ToolExposure/AdditionalToolCatalog\",\n  { defaultValue: () => [] },\n);\n\n/** The owning Tool description embeds its complete additional catalogue. */\nexport const IncludesCatalogDocumentation = Context.Reference<boolean>(\n  \"@effect-agent/core/ToolExposure/IncludesCatalogDocumentation\",\n  { defaultValue: () => false },\n);\n"],"mappings":";;;AAIA,MAAa,YAAY,OAAO,MAC9B,OAAO,OAAO,MAAM,OAAO,YAAY,CAAC,GAAG,OAAO,YAAY,GAAG,CAAC,CACpE,CAAC,CAAC,MACA,OAAO,YAAY,IAAK,GACxB,OAAO,YAAY,UAAU,IAAI,IAAI,KAAK,CAAC,CAAC,SAAS,MAAM,QAAQ,EACjE,OAAO,wBACT,CAAC,CACH;;AAGA,IAAa,YAAb,cAA+B,OAAO,MAAiB,2CAA2C,CAAC,CACjG,EACE,WAAW,UACb,CACF,CAAC,CAAC,CAAC;;AAGH,IAAa,WAAb,cAA8B,OAAO,MAAgB,0CAA0C,CAAC,CAAC;CAC/F,kBAAkB;CAClB,WAAW,OAAO,YAAY,SAAS;AACzC,CAAC,CAAC,CAAC,CAAC;AAEJ,MAAa,SAAS,OAAO,OAAO;CAClC,UAAU,OAAO,IAAI,MAAM,OAAO,cAAc,CAAC,GAAG,OAAO,oBAAoB,IAAK,CAAC;CACrF,gBAAgB,OAAO,IAAI,MAAM,OAAO,cAAc,CAAC,GAAG,OAAO,oBAAoB,OAAS,CAAC;AACjG,CAAC;;AAUD,MAAa,gBAAgB,QAAQ,UACnC,iDACA,EAAE,oBAAoB,KAAA,EAAU,CAClC;;AAGA,MAAa,gBAAgB,QAAQ,UACnC,iDACA,EAAE,oBAAoB,MAAM,CAC9B;;;;AAKA,MAAa,aAAa,QAAQ,UAAmB,8CAA8C,EACjG,oBAAoB,MACtB,CAAC;AASD,MAAa,wBAAwB,QAAQ,UAC3C,yDACA,EAAE,oBAAoB,CAAC,EAAE,CAC3B;;AAGA,MAAa,+BAA+B,QAAQ,UAClD,gEACA,EAAE,oBAAoB,MAAM,CAC9B"}

package/dist/Worker-CfwzMZEK.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"Worker-CfwzMZEK.mjs","names":["FailureDiagnostic.Value"],"sources":["../src/core/internal/message-status.ts","../src/core/Worker.ts"],"sourcesContent":["import { Schema } from \"effect\";\n\nimport { SettlementId, ThreadId } from \"../Identifiers.ts\";\nimport { IdempotencyKey, Receipt } from \"../Receipt.ts\";\n\n/** A retained outbound delivery identity, not a destination Receipt or access grant. */\nexport const MessageRef = Schema.Struct({ ownerThreadId: ThreadId, messageId: IdempotencyKey });\nexport type MessageRef = typeof MessageRef.Type;\n\nconst Reason = Schema.NonEmptyString.check(Schema.isMaxLength(256));\nconst identity = { message: MessageRef };\n\n/**\n * Source-owned delivery evidence. Pending confirms retention only; accepted supplies the\n * destination Receipt, and processed supplies its canonical settlement. Neither retention nor\n * acceptance proves execution. Refused is a definite rejection; parked stops automatic retry\n * while retaining the same identity and any acceptance evidence. Inspect instead of resending.\n */\nexport const MessageStatus = Schema.Union([\n  Schema.Struct({\n    ...identity,\n    status: Schema.Literal(\"pending\"),\n    receipt: Schema.Null,\n    settlement: Schema.Null,\n    reason: Schema.NullOr(Reason),\n  }),\n  Schema.Struct({\n    ...identity,\n    status: Schema.Literal(\"accepted\"),\n    receipt: Receipt,\n    settlement: Schema.Null,\n    reason: Schema.NullOr(Reason),\n  }),\n  Schema.Struct({\n    ...identity,\n    status: Schema.Literal(\"processed\"),\n    receipt: Receipt,\n    settlement: Schema.Struct({\n      settlementId: SettlementId,\n      outcome: Schema.Literals([\"completed\", \"failed\", \"aborted\"]),\n    }),\n    reason: Schema.Null,\n  }),\n  Schema.Struct({\n    ...identity,\n    status: Schema.Literal(\"refused\"),\n    receipt: Schema.Null,\n    settlement: Schema.Null,\n    reason: Reason,\n  }),\n  Schema.Struct({\n    ...identity,\n    status: Schema.Literal(\"parked\"),\n    receipt: Schema.NullOr(Receipt),\n    settlement: Schema.Null,\n    reason: Reason,\n  }),\n]);\n\nexport type MessageStatus = typeof MessageStatus.Type;\n","import { Schema } from \"effect\";\n\nimport { AgentPolicy } from \"./AgentPolicy.ts\";\nimport { Update } from \"./AgentUpdates.ts\";\nimport * as FailureDiagnostic from \"./FailureDiagnostic.ts\";\nimport { AgentId, DelegationId, RunId, SettlementId, ThreadId, ToolCallId } from \"./Identifiers.ts\";\nimport { MessageStatus } from \"./internal/message-status.ts\";\nimport { IdempotencyKey, Receipt } from \"./Receipt.ts\";\nimport { SubagentExecutionFailure, SubagentGrant } from \"./SubagentContract.ts\";\n\n/** Assignment output selected through the Definition's runDisposition declaration. */\nexport const AssignmentDisposition = Schema.Literals([\"completed\", \"waiting\"]);\nexport type AssignmentDisposition = typeof AssignmentDisposition.Type;\n\n/** A permanent destination outcome; an ordinary Run completion does not imply this. */\nexport const AssignmentTerminal = Schema.Literals([\"completed\", \"failed\", \"cancelled\"]);\nexport type AssignmentTerminal = typeof AssignmentTerminal.Type;\n\n/** A reusable child Thread, correlated with its declaration. This value grants no authority. */\nexport const WorkerRef = Schema.Struct({\n  schemaVersion: Schema.Literal(1),\n  delegationId: DelegationId,\n  targetAgentId: AgentId,\n  threadId: ThreadId,\n});\n\nexport type WorkerRef = typeof WorkerRef.Type;\n\n/** A continuing worker identity and retained first delivery, never an execution handle. */\nexport const WorkerStarted = Schema.Struct({\n  worker: WorkerRef,\n  delivery: MessageStatus,\n}).check(\n  Schema.makeFilter(\n    ({ worker, delivery }) =>\n      delivery.receipt === null || worker.threadId === delivery.receipt.threadId,\n  ),\n);\n\nexport type WorkerStarted = typeof WorkerStarted.Type;\n\n/** Stable owner command. Reusing its key for a different worker conflicts. */\nexport const WorkerStop = Schema.Struct({ worker: WorkerRef, idempotencyKey: IdempotencyKey });\nexport type WorkerStop = typeof WorkerStop.Type;\n\n/** The inbox is sealed and active execution has released ownership. External actions are not undone. */\nexport const WorkerStopped = WorkerStop;\nexport type WorkerStopped = typeof WorkerStopped.Type;\n\n/** A host-authorized Run allowance is independent of the immutable delegation lineage. */\nexport const WorkerBudgetScope = Schema.Literals([\"source-subtree\", \"worker-run\"]);\nexport type WorkerBudgetScope = typeof WorkerBudgetScope.Type;\n\n/** Host-bound caller metadata. Programmatic calls never fabricate Run or Tool Call identities. */\nexport const WorkerSource = Schema.Union([\n  Schema.Struct({\n    _tag: Schema.Literal(\"tool\"),\n    agentId: AgentId,\n    threadId: ThreadId,\n    runId: RunId,\n    toolCallId: ToolCallId,\n  }),\n  Schema.Struct({\n    _tag: Schema.Literal(\"programmatic\"),\n    agentId: AgentId,\n    threadId: ThreadId,\n  }),\n]);\n\nexport type WorkerSource = typeof WorkerSource.Type;\n\n/** The caller's effective policy and root-relative depth, resolved by its host. */\nexport const WorkerContext = Schema.Struct({\n  source: WorkerSource,\n  policy: AgentPolicy,\n  depth: Schema.Natural,\n  grant: Schema.optionalKey(SubagentGrant),\n});\n\nexport type WorkerContext = typeof WorkerContext.Type;\n\n/** Admission identity is distinct from canonical input application. */\nexport const WorkerInput = Schema.Struct({ receipt: Receipt, messageId: IdempotencyKey });\nexport type WorkerInput = typeof WorkerInput.Type;\n\nexport const WorkerAppliedInput = Schema.Struct({\n  ...WorkerInput.fields,\n  runId: RunId,\n  sequence: Schema.Natural,\n});\n\n/** A Run outcome is not assignment completion. Interpret only a Definition's disposition. */\nexport const WorkerRun = Schema.Struct({\n  runId: RunId,\n  hostReceipt: Receipt,\n  outcome: Schema.NullOr(Schema.Literals([\"completed\", \"failed\", \"aborted\"])),\n  disposition: Schema.NullOr(Schema.Json),\n});\n\n/** Bounded durable listing data; a latest Receipt never substitutes for a requested Receipt. */\nexport const WorkerSummary = Schema.Struct({\n  worker: WorkerRef,\n  latestReceipt: Schema.NullOr(Receipt),\n  /** stopping/stopped identify an owner-issued worker stop, never an ordinary Receipt abort. */\n  state: Schema.Literals([\n    \"starting\",\n    \"active\",\n    \"idle\",\n    \"stopping\",\n    \"stopped\",\n    \"completed\",\n    \"failed\",\n    \"cancelled\",\n  ]),\n  acceptedInput: Schema.NullOr(WorkerInput),\n  appliedInput: Schema.NullOr(WorkerAppliedInput),\n  run: Schema.NullOr(WorkerRun),\n  /** One retained unadmitted input, if any; its state is independent of destination execution. */\n  pendingDelivery: Schema.NullOr(MessageStatus),\n  /** Consistent destination facts; pending delivery has its own source-owned version. */\n  watermark: Schema.Struct({\n    canonicalSequence: Schema.Natural,\n    acceptedQueueSequence: Schema.Natural,\n    pendingDeliveryVersion: Schema.NullOr(Schema.Natural),\n  }),\n});\n\nexport type WorkerSummary = typeof WorkerSummary.Type;\n\nexport const WorkerPage = Schema.Struct({\n  items: Schema.Array(WorkerSummary).check(Schema.isMaxLength(100)),\n  next: Schema.NullOr(ThreadId),\n});\n\nexport type WorkerPage = typeof WorkerPage.Type;\n\n/** Authorized canonical history, encoded independently of storage-adapter representations. */\nexport const WorkerHistoryEntry = Schema.Struct({\n  sequence: Schema.Natural.check(Schema.isGreaterThan(0)),\n  recordId: Schema.NonEmptyString.check(Schema.isMaxLength(1_024)),\n  record: Schema.Json,\n});\n\nexport type WorkerHistoryEntry = typeof WorkerHistoryEntry.Type;\n\n/**\n * Closed host-boundary failures. Original causes stay private and survive diagnostic transport.\n * Retained delivery states are successful MessageStatus values, including pending and refused.\n * After a storage failure, keep the same idempotency key and parameters when reconciling.\n */\nexport class WorkerError extends Schema.TaggedError<WorkerError>()(\"WorkerError\", {\n  cause: Schema.optionalKey(FailureDiagnostic.Value),\n  stack: Schema.optionalKey(Schema.String),\n  /** Concurrency pressure may clear without changing the request. */\n  retryable: Schema.optionalKey(Schema.Literal(true)),\n  operation: Schema.Literals([\n    \"context\",\n    \"start\",\n    \"followUp\",\n    \"inspect\",\n    \"observe\",\n    \"await\",\n    \"list\",\n    \"cancel\",\n    \"stop\",\n  ]),\n  reason: Schema.Literals([\n    \"denied\",\n    \"declaration-unavailable\",\n    \"worker-mismatch\",\n    \"receipt-mismatch\",\n    \"message-mismatch\",\n    \"idempotency-conflict\",\n    \"capacity\",\n    \"not-found\",\n    // Decode earlier failures without emitting them for retained deliveries.\n    \"delivery-pending\",\n    \"storage\",\n    \"corrupt\",\n    \"unavailable\",\n  ]),\n}) {}\n\nexport { WorkerOperationTool } from \"./SubagentContract.ts\";\n\n/** One projected canonical Run outcome. Joined receipts share this identity. */\nexport const WorkerReport = <Success extends Schema.Top>(success: Success) => {\n  const identity = {\n    _tag: Schema.Literal(\"Settled\"),\n    worker: WorkerRef,\n    receipt: Receipt,\n    runId: RunId,\n    settlementId: SettlementId,\n  };\n\n  return Schema.Union([\n    // Union preserves the Success codec while making the result field required.\n    Schema.Struct({\n      ...identity,\n      outcome: Schema.Literal(\"completed\"),\n      result: Schema.Union([success]),\n    }),\n    Schema.Struct({\n      ...identity,\n      outcome: Schema.Literals([\"failed\", \"aborted\"]),\n      failure: SubagentExecutionFailure,\n    }),\n  ]);\n};\n\nexport type WorkerReport<Success extends Schema.Top> = ReturnType<\n  typeof WorkerReport<Success>\n>[\"Type\"];\n\n/** Framework message stored separately from the parent's application input. */\nexport const WorkerCompletion = Schema.Struct({\n  _tag: Schema.Literal(\"WorkerCompletion\"),\n  budgetExhausted: Schema.Boolean,\n  schemaVersion: Schema.Literal(1),\n  report: WorkerReport(Schema.Json),\n}).check(Schema.makeFilter(({ report }) => report.worker.threadId === report.receipt.threadId));\n\nexport type WorkerCompletion = typeof WorkerCompletion.Type;\n\n/** Source-worker intermediate output, kept separate from application input. */\nexport const WorkerUpdate = Schema.Struct({\n  _tag: Schema.Literal(\"WorkerUpdate\"),\n  schemaVersion: Schema.Literal(1),\n  worker: WorkerRef,\n  update: Update,\n}).check(\n  Schema.makeFilter(\n    ({ worker, update }) =>\n      worker.threadId === update.threadId && worker.targetAgentId === update.agentId,\n  ),\n);\n\nexport type WorkerUpdate = typeof WorkerUpdate.Type;\nexport const FrameworkMessage = Schema.Union([WorkerCompletion, WorkerUpdate]);\nexport type FrameworkMessage = typeof FrameworkMessage.Type;\n"],"mappings":";;;;;;;;;;AAMA,MAAa,aAAa,OAAO,OAAO;CAAE,eAAe;CAAU,WAAW;AAAe,CAAC;AAG9F,MAAM,SAAS,OAAO,eAAe,MAAM,OAAO,YAAY,GAAG,CAAC;AAClE,MAAM,WAAW,EAAE,SAAS,WAAW;;;;;;;AAQvC,MAAa,gBAAgB,OAAO,MAAM;CACxC,OAAO,OAAO;EACZ,GAAG;EACH,QAAQ,OAAO,QAAQ,SAAS;EAChC,SAAS,OAAO;EAChB,YAAY,OAAO;EACnB,QAAQ,OAAO,OAAO,MAAM;CAC9B,CAAC;CACD,OAAO,OAAO;EACZ,GAAG;EACH,QAAQ,OAAO,QAAQ,UAAU;EACjC,SAAS;EACT,YAAY,OAAO;EACnB,QAAQ,OAAO,OAAO,MAAM;CAC9B,CAAC;CACD,OAAO,OAAO;EACZ,GAAG;EACH,QAAQ,OAAO,QAAQ,WAAW;EAClC,SAAS;EACT,YAAY,OAAO,OAAO;GACxB,cAAc;GACd,SAAS,OAAO,SAAS;IAAC;IAAa;IAAU;GAAS,CAAC;EAC7D,CAAC;EACD,QAAQ,OAAO;CACjB,CAAC;CACD,OAAO,OAAO;EACZ,GAAG;EACH,QAAQ,OAAO,QAAQ,SAAS;EAChC,SAAS,OAAO;EAChB,YAAY,OAAO;EACnB,QAAQ;CACV,CAAC;CACD,OAAO,OAAO;EACZ,GAAG;EACH,QAAQ,OAAO,QAAQ,QAAQ;EAC/B,SAAS,OAAO,OAAO,OAAO;EAC9B,YAAY,OAAO;EACnB,QAAQ;CACV,CAAC;AACH,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;AC9CD,MAAa,wBAAwB,OAAO,SAAS,CAAC,aAAa,SAAS,CAAC;;AAI7E,MAAa,qBAAqB,OAAO,SAAS;CAAC;CAAa;CAAU;AAAW,CAAC;;AAItF,MAAa,YAAY,OAAO,OAAO;CACrC,eAAe,OAAO,QAAQ,CAAC;CAC/B,cAAc;CACd,eAAe;CACf,UAAU;AACZ,CAAC;;AAKD,MAAa,gBAAgB,OAAO,OAAO;CACzC,QAAQ;CACR,UAAU;AACZ,CAAC,CAAC,CAAC,MACD,OAAO,YACJ,EAAE,QAAQ,eACT,SAAS,YAAY,QAAQ,OAAO,aAAa,SAAS,QAAQ,QACtE,CACF;;AAKA,MAAa,aAAa,OAAO,OAAO;CAAE,QAAQ;CAAW,gBAAgB;AAAe,CAAC;;AAI7F,MAAa,gBAAgB;;AAI7B,MAAa,oBAAoB,OAAO,SAAS,CAAC,kBAAkB,YAAY,CAAC;;AAIjF,MAAa,eAAe,OAAO,MAAM,CACvC,OAAO,OAAO;CACZ,MAAM,OAAO,QAAQ,MAAM;CAC3B,SAAS;CACT,UAAU;CACV,OAAO;CACP,YAAY;AACd,CAAC,GACD,OAAO,OAAO;CACZ,MAAM,OAAO,QAAQ,cAAc;CACnC,SAAS;CACT,UAAU;AACZ,CAAC,CACH,CAAC;;AAKD,MAAa,gBAAgB,OAAO,OAAO;CACzC,QAAQ;CACR,QAAQ;CACR,OAAO,OAAO;CACd,OAAO,OAAO,YAAY,aAAa;AACzC,CAAC;;AAKD,MAAa,cAAc,OAAO,OAAO;CAAE,SAAS;CAAS,WAAW;AAAe,CAAC;AAGxF,MAAa,qBAAqB,OAAO,OAAO;CAC9C,GAAG,YAAY;CACf,OAAO;CACP,UAAU,OAAO;AACnB,CAAC;;AAGD,MAAa,YAAY,OAAO,OAAO;CACrC,OAAO;CACP,aAAa;CACb,SAAS,OAAO,OAAO,OAAO,SAAS;EAAC;EAAa;EAAU;CAAS,CAAC,CAAC;CAC1E,aAAa,OAAO,OAAO,OAAO,IAAI;AACxC,CAAC;;AAGD,MAAa,gBAAgB,OAAO,OAAO;CACzC,QAAQ;CACR,eAAe,OAAO,OAAO,OAAO;;CAEpC,OAAO,OAAO,SAAS;EACrB;EACA;EACA;EACA;EACA;EACA;EACA;EACA;CACF,CAAC;CACD,eAAe,OAAO,OAAO,WAAW;CACxC,cAAc,OAAO,OAAO,kBAAkB;CAC9C,KAAK,OAAO,OAAO,SAAS;;CAE5B,iBAAiB,OAAO,OAAO,aAAa;;CAE5C,WAAW,OAAO,OAAO;EACvB,mBAAmB,OAAO;EAC1B,uBAAuB,OAAO;EAC9B,wBAAwB,OAAO,OAAO,OAAO,OAAO;CACtD,CAAC;AACH,CAAC;AAID,MAAa,aAAa,OAAO,OAAO;CACtC,OAAO,OAAO,MAAM,aAAa,CAAC,CAAC,MAAM,OAAO,YAAY,GAAG,CAAC;CAChE,MAAM,OAAO,OAAO,QAAQ;AAC9B,CAAC;;AAKD,MAAa,qBAAqB,OAAO,OAAO;CAC9C,UAAU,OAAO,QAAQ,MAAM,OAAO,cAAc,CAAC,CAAC;CACtD,UAAU,OAAO,eAAe,MAAM,OAAO,YAAY,IAAK,CAAC;CAC/D,QAAQ,OAAO;AACjB,CAAC;;;;;;AASD,IAAa,cAAb,cAAiC,OAAO,YAAyB,CAAC,CAAC,eAAe;CAChF,OAAO,OAAO,YAAYA,KAAuB;CACjD,OAAO,OAAO,YAAY,OAAO,MAAM;;CAEvC,WAAW,OAAO,YAAY,OAAO,QAAQ,IAAI,CAAC;CAClD,WAAW,OAAO,SAAS;EACzB;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;CACF,CAAC;CACD,QAAQ,OAAO,SAAS;EACtB;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EAEA;EACA;EACA;EACA;CACF,CAAC;AACH,CAAC,CAAC,CAAC,CAAC;;AAKJ,MAAa,gBAA4C,YAAqB;CAC5E,MAAM,WAAW;EACf,MAAM,OAAO,QAAQ,SAAS;EAC9B,QAAQ;EACR,SAAS;EACT,OAAO;EACP,cAAc;CAChB;CAEA,OAAO,OAAO,MAAM,CAElB,OAAO,OAAO;EACZ,GAAG;EACH,SAAS,OAAO,QAAQ,WAAW;EACnC,QAAQ,OAAO,MAAM,CAAC,OAAO,CAAC;CAChC,CAAC,GACD,OAAO,OAAO;EACZ,GAAG;EACH,SAAS,OAAO,SAAS,CAAC,UAAU,SAAS,CAAC;EAC9C,SAAS;CACX,CAAC,CACH,CAAC;AACH;;AAOA,MAAa,mBAAmB,OAAO,OAAO;CAC5C,MAAM,OAAO,QAAQ,kBAAkB;CACvC,iBAAiB,OAAO;CACxB,eAAe,OAAO,QAAQ,CAAC;CAC/B,QAAQ,aAAa,OAAO,IAAI;AAClC,CAAC,CAAC,CAAC,MAAM,OAAO,YAAY,EAAE,aAAa,OAAO,OAAO,aAAa,OAAO,QAAQ,QAAQ,CAAC;;AAK9F,MAAa,eAAe,OAAO,OAAO;CACxC,MAAM,OAAO,QAAQ,cAAc;CACnC,eAAe,OAAO,QAAQ,CAAC;CAC/B,QAAQ;CACR,QAAQ;AACV,CAAC,CAAC,CAAC,MACD,OAAO,YACJ,EAAE,QAAQ,aACT,OAAO,aAAa,OAAO,YAAY,OAAO,kBAAkB,OAAO,OAC3E,CACF;AAGA,MAAa,mBAAmB,OAAO,MAAM,CAAC,kBAAkB,YAAY,CAAC"}

package/dist/compaction-BQK4MUg3.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"compaction-BQK4MUg3.mjs","names":[],"sources":["../src/engine/internal/provider-result-staging.ts","../src/engine/internal/compaction.ts"],"sourcesContent":["import type { Schema } from \"effect\";\n\nconst MAX_JSON_DEPTH = 128;\n\nexport interface BoundedJsonSnapshot {\n  readonly value: Schema.Json;\n  readonly bytes: number;\n}\n\nconst FailedSnapshot = Symbol(\"@effect-agent/engine/FailedProviderResultSnapshot\");\n\n/**\n * @internal Normalize one untrusted JSON value into an owned, frozen snapshot while counting the\n * exact UTF-8 bytes of that same snapshot. The traversal never invokes `toJSON` or accessors,\n * rejects non-plain objects and excessive nesting, and stops as soon as the byte budget is spent.\n */\nconst snapshotJson = (\n  root: unknown,\n  maxBytes: number,\n  maxDepth: number,\n  rejectNonFiniteNumbers: boolean,\n): BoundedJsonSnapshot | undefined => {\n  if (\n    !Number.isSafeInteger(maxBytes) ||\n    maxBytes < 0 ||\n    !Number.isSafeInteger(maxDepth) ||\n    maxDepth < 0\n  ) {\n    return undefined;\n  }\n  let total = 0;\n  const ancestors = new WeakSet<object>();\n\n  const add = (bytes: number): boolean => {\n    if (bytes > maxBytes - total) return false;\n    total += bytes;\n\n    return true;\n  };\n\n  const addString = (value: string): boolean => {\n    if (!add(2)) return false;\n    for (let index = 0; index < value.length; index += 1) {\n      const code = value.charCodeAt(index);\n\n      if (code === 0x22 || code === 0x5c) {\n        if (!add(2)) return false;\n      } else if (code <= 0x1f) {\n        // Backspace, tab, newline, form-feed, and carriage-return use two-byte escapes; all other\n        // control characters use a six-byte `\\\\u00xx` escape.\n        if (!add(code >= 0x08 && code <= 0x0d && code !== 0x0b ? 2 : 6)) return false;\n      } else if (code <= 0x7f) {\n        if (!add(1)) return false;\n      } else if (code <= 0x7ff) {\n        if (!add(2)) return false;\n      } else if (code >= 0xd800 && code <= 0xdbff) {\n        const low = value.charCodeAt(index + 1);\n\n        if (low >= 0xdc00 && low <= 0xdfff) {\n          if (!add(4)) return false;\n          index += 1;\n        } else if (!add(6)) {\n          return false;\n        }\n      } else if (code >= 0xdc00 && code <= 0xdfff) {\n        if (!add(6)) return false;\n      } else if (!add(3)) {\n        return false;\n      }\n    }\n\n    return true;\n  };\n\n  const visit = (value: unknown, depth: number): Schema.Json | typeof FailedSnapshot => {\n    if (depth > maxDepth) return FailedSnapshot;\n    if (value === null) return add(4) ? null : FailedSnapshot;\n    switch (typeof value) {\n      case \"string\":\n        return addString(value) ? value : FailedSnapshot;\n      case \"boolean\":\n        return add(value ? 4 : 5) ? value : FailedSnapshot;\n      case \"number\": {\n        // JSON's numeric representation is inherently bounded for one IEEE-754 value. Retain the\n        // wire-equivalent null for non-finite values so counting and later serialization agree.\n        if (!Number.isFinite(value)) {\n          return rejectNonFiniteNumbers ? FailedSnapshot : add(4) ? null : FailedSnapshot;\n        }\n        const encoded = JSON.stringify(value);\n\n        return encoded !== undefined && add(encoded.length) ? value : FailedSnapshot;\n      }\n      case \"object\": {\n        if (ancestors.has(value)) return FailedSnapshot;\n        const isArray = Array.isArray(value);\n        const prototype = Object.getPrototypeOf(value);\n\n        if (prototype !== (isArray ? Array.prototype : Object.prototype) && prototype !== null) {\n          return FailedSnapshot;\n        }\n        if (\n          Object.getOwnPropertyDescriptor(value, \"toJSON\") !== undefined ||\n          (prototype !== null && Object.getOwnPropertyDescriptor(prototype, \"toJSON\") !== undefined)\n        ) {\n          return FailedSnapshot;\n        }\n        ancestors.add(value);\n        try {\n          if (isArray) {\n            const lengthDescriptor = Object.getOwnPropertyDescriptor(value, \"length\");\n\n            if (\n              lengthDescriptor === undefined ||\n              !(\"value\" in lengthDescriptor) ||\n              typeof lengthDescriptor.value !== \"number\" ||\n              !Number.isSafeInteger(lengthDescriptor.value) ||\n              lengthDescriptor.value < 0\n            ) {\n              return FailedSnapshot;\n            }\n            if (!add(1)) return FailedSnapshot;\n            const snapshot: Array<Schema.Json> = [];\n\n            for (let index = 0; index < lengthDescriptor.value; index += 1) {\n              if (index > 0 && !add(1)) return FailedSnapshot;\n              const descriptor = Object.getOwnPropertyDescriptor(value, index);\n\n              if (descriptor === undefined) {\n                if (!add(4)) return FailedSnapshot;\n                snapshot.push(null);\n                continue;\n              }\n              if (!(\"value\" in descriptor)) return FailedSnapshot;\n              const item = visit(descriptor.value, depth + 1);\n\n              if (item === FailedSnapshot) return FailedSnapshot;\n              snapshot.push(item);\n            }\n            if (!add(1)) return FailedSnapshot;\n            Object.setPrototypeOf(snapshot, null);\n\n            return Object.freeze(snapshot);\n          }\n          if (!add(1)) return FailedSnapshot;\n          const entries: Array<readonly [string, Schema.Json]> = [];\n          let first = true;\n\n          for (const key in value) {\n            const descriptor = Object.getOwnPropertyDescriptor(value, key);\n\n            if (descriptor === undefined || !descriptor.enumerable) continue;\n            if (!(\"value\" in descriptor)) return FailedSnapshot;\n            if (!first && !add(1)) return FailedSnapshot;\n            first = false;\n            if (!addString(key) || !add(1)) return FailedSnapshot;\n            const item = visit(descriptor.value, depth + 1);\n\n            if (item === FailedSnapshot) return FailedSnapshot;\n            entries.push([key, item]);\n          }\n          if (!add(1)) return FailedSnapshot;\n          const snapshot: Record<string, Schema.Json> = Object.fromEntries(entries);\n\n          Object.setPrototypeOf(snapshot, null);\n\n          return Object.freeze(snapshot);\n        } finally {\n          ancestors.delete(value);\n        }\n      }\n      case \"bigint\":\n      case \"function\":\n      case \"symbol\":\n      case \"undefined\":\n        return FailedSnapshot;\n    }\n\n    return FailedSnapshot;\n  };\n\n  try {\n    const value = visit(root, 0);\n\n    return value === FailedSnapshot ? undefined : { value, bytes: total };\n  } catch {\n    // Revoked or adversarial proxies and reflection failures are protocol-invalid, never trusted.\n    return undefined;\n  }\n};\n\n/**\n * Normalize provider-owned JSON using JSON serialization's `NaN`/infinity to\n * `null` behavior. Provider events use this form so byte accounting matches\n * their eventual JSON representation.\n */\nexport const boundedJsonSnapshot = (\n  root: unknown,\n  maxBytes: number,\n  maxDepth = MAX_JSON_DEPTH,\n): BoundedJsonSnapshot | undefined => snapshotJson(root, maxBytes, maxDepth, false);\n\n/**\n * Validate canonical JSON without repairing non-finite numbers. Recovery\n * inputs use this form because changing a recorded value would fabricate\n * history.\n */\nexport const boundedCanonicalJsonSnapshot = (\n  root: unknown,\n  maxBytes: number,\n  maxDepth = MAX_JSON_DEPTH,\n): BoundedJsonSnapshot | undefined => snapshotJson(root, maxBytes, maxDepth, true);\n","import { Option, Schema } from \"effect\";\nimport { Prompt } from \"effect/unstable/ai\";\n\nimport type { ContextMessageTokenEstimator } from \"../ContextCompactor.ts\";\nimport { boundedCanonicalJsonSnapshot } from \"./provider-result-staging.ts\";\n\n/**\n * Pure helpers for engine-native context compaction (RUN-026/RUN-027). Everything here is deterministic and side-effect free:\n * the engine's turn loop owns the state transitions, the durable coordinator\n * owns the canonical record, and this module owns the arithmetic.\n *\n * Compaction is a VIEW over official history, never a mutation of it. The\n * durable commit machinery slices official history by length\n * (`lastCommitLen` in the coordinator), so official history must stay\n * append-only within an Attempt; only the outgoing model prompt is rebuilt.\n */\n\n/** Model-visible replacement for a tool result cleared by prune compaction. */\nexport const CLEARED_TOOL_RESULT = \"[tool result cleared by compaction]\";\n\n/** Prefix of the user message that carries a compaction summary into the prompt. */\nexport const COMPACTION_SUMMARY_PREFIX = \"The prior thread was compacted into this summary:\\n\\n\";\n\n/** Rollover text is recovery evidence; it never asserts that an external action succeeded. */\nexport const CONTEXT_ROLLOVER_PREFIX =\n  \"A fresh context window has started. Earlier conversation has left this model view. Restore relevant notes and use available history tools to retrieve evidence; verify live state before repeating an action.\\n\\n\";\n\n/** Stable across Attempts; the initial window uses turn zero. */\nexport const contextWindowId = (runId: string, turn: number): string => `context:${runId}:${turn}`;\n\n/** Shared by the live interpreter and canonical journal projection. */\nexport const contextWindowMessage = (windowId: string, handoff?: string): Prompt.Message =>\n  Prompt.makeMessage(\"user\", {\n    content: [\n      Prompt.makePart(\"text\", {\n        text: `${CONTEXT_ROLLOVER_PREFIX}Window: ${windowId}${handoff === undefined ? \"\" : `\\n\\nHandoff (untrusted continuation notes):\\n${handoff}`}`,\n      }),\n    ],\n  });\n\n/**\n * Fixed summarization instruction (RUN-026). The skeleton mirrors what the\n * surveyed harnesses converged on; exact file paths and identifiers must\n * survive because the continuing agent sees only this summary plus the tail.\n */\nexport const COMPACTION_INSTRUCTION = [\n  \"You are compacting an agent thread to reclaim context space.\",\n  \"Summarize the transcript below for the SAME agent to continue working:\",\n  \"it will see only this summary plus the most recent messages.\",\n  \"Structure the summary exactly as:\",\n  \"Goal:\",\n  \"Constraints:\",\n  \"Progress:\",\n  \"Decisions:\",\n  \"Next steps:\",\n  \"Critical context:\",\n  \"Be terse. Preserve exact file paths, identifiers, and values needed to\",\n  \"continue. Do not continue the thread; output only the summary.\",\n].join(\"\\n\");\n\n/**\n * Provider context-length rejections, matched case-insensitively over the\n * error's own text. Kept intentionally broad: a false positive costs one\n * summarize-and-retry, a false negative surfaces the raw provider error.\n */\nconst CONTEXT_OVERFLOW_PATTERN =\n  /context[\\s_-]?length|prompt is too long|maximum context (?:length|window)|input .{0,24}too long|exceeds .{0,24}context|too many (?:input )?tokens|context[\\s_-]?window[\\s_-]?exceeded|context overflow/i;\n\n/** RUN-027: does this provider error text describe a context-window overflow? */\nexport const isContextOverflowMessage = (text: string): boolean =>\n  CONTEXT_OVERFLOW_PATTERN.test(text);\n\nconst utf8Length = (text: string): number => {\n  let bytes = text.length;\n\n  for (let index = 0; index < text.length; index++) {\n    const codeUnit = text.charCodeAt(index);\n\n    if (codeUnit <= 0x7f) continue;\n    if (codeUnit <= 0x7ff) {\n      bytes++;\n      continue;\n    }\n    if (codeUnit >= 0xd800 && codeUnit <= 0xdbff && index + 1 < text.length) {\n      const next = text.charCodeAt(index + 1);\n\n      if (next >= 0xdc00 && next <= 0xdfff) {\n        // The two UTF-16 code units already contributed two of the four UTF-8 bytes.\n        bytes += 2;\n        index++;\n        continue;\n      }\n    }\n    bytes += 2;\n  }\n\n  return bytes;\n};\n\n/**\n * Deterministic UTF-8 bytes/4 token estimate over one message's structural JSON.\n * Conservative for prose, slightly generous for dense JSON — the estimate\n * only gates WHEN to compact, never what is preserved.\n */\nexport const estimateMessageTokens = (message: Prompt.Message): number => {\n  let text: string | undefined;\n\n  try {\n    text = JSON.stringify(message);\n  } catch {\n    text = undefined;\n  }\n\n  return text === undefined ? 0 : Math.ceil(utf8Length(text) / 4);\n};\n\n/** Sum of `estimateMessageTokens` over a message array. */\nexport const estimatePromptTokens = (\n  messages: ReadonlyArray<Prompt.Message>,\n  estimate: (message: Prompt.Message) => number = estimateMessageTokens,\n): number => {\n  let total = 0;\n\n  for (const message of messages) {\n    total += estimate(message);\n  }\n\n  return total;\n};\n\nconst isTokenEstimate = Schema.is(Schema.Natural);\n\n/** Validate each replacement at the Effect caller's boundary without throwing from arithmetic. */\nexport const evaluateMessageTokenEstimates = <A>(\n  override: ContextMessageTokenEstimator | undefined,\n  operation: (estimate: (message: Prompt.Message) => number) => A,\n): Option.Option<A> => {\n  let valid = true;\n\n  const value = operation((message) => {\n    const replacement = override?.(message);\n    const estimate = replacement === undefined ? estimateMessageTokens(message) : replacement;\n\n    if (!isTokenEstimate(estimate)) valid = false;\n\n    return estimate;\n  });\n\n  return valid ? Option.some(value) : Option.none();\n};\n\n/**\n * Mutable per-Run compaction state held on the engine's RunContext. Indices\n * are positions in the SOURCE prompt (the official-history basis handed to\n * each Turn). Ordinary history grows append-only. Prepared history must retain\n * content-equivalent covered prefixes or the engine rejects the next Turn.\n */\nexport interface ContextCompactionState {\n  /**\n   * Source-index bounds `[start, end)` of the protected instruction/input\n   * block, mapped to prepared indices when necessary. `-1` before mapping;\n   * an unmappable protected block fails before any compaction decision.\n   */\n  protectedStart: number;\n  protectedEnd: number;\n  /** Prepared prompts also retain application-added system instructions. */\n  protectSystemMessages?: boolean;\n  /** Tool messages at source index below this bound render as cleared. */\n  clearedThrough: number;\n  /**\n   * Source messages below this bound (outside the protected block) are\n   * replaced by a summary or a fresh-window marker. Absent before the first replacement.\n   */\n  replacement:\n    | { readonly kind: \"summarize\"; readonly through: number; readonly summary: string }\n    | {\n        readonly kind: \"rollover\";\n        readonly through: number;\n        readonly windowId: string;\n        readonly handoff?: string;\n      }\n    | undefined;\n  /** Loop guard: at most one threshold compaction per Turn. */\n  lastCompactionTurn: number;\n  /** RUN-027 guard: at most one overflow compact-and-retry per Turn. */\n  overflowRetryTurn: number;\n  /**\n   * View length at the last model call, the base of the provider-anchored\n   * estimate. `-1` invalidates it (fresh Run or just compacted), forcing a\n   * full-view estimate.\n   */\n  lastViewLength: number;\n}\n\n/** Fresh compaction state for a new Run. */\nexport const initialCompactionState = (): ContextCompactionState => ({\n  protectedStart: -1,\n  protectedEnd: -1,\n  clearedThrough: 0,\n  replacement: undefined,\n  lastCompactionTurn: 0,\n  overflowRetryTurn: 0,\n  lastViewLength: -1,\n});\n\nconst isProtected = (\n  state: ContextCompactionState,\n  source: ReadonlyArray<Prompt.Message>,\n  index: number,\n): boolean => {\n  if (state.protectSystemMessages && source[index]?.role === \"system\") return true;\n  if (state.protectedStart >= 0) {\n    return index >= state.protectedStart && index < state.protectedEnd;\n  }\n\n  return source[index]?.role === \"system\";\n};\n\nconst clearedToolMessage = (message: Prompt.Message): Prompt.Message => {\n  if (message.role !== \"tool\" || typeof message.content === \"string\") {\n    return message;\n  }\n\n  // Structural rebuild keeps the message's pairing identity (same part ids\n  // and names) while replacing only the result payloads the model would see.\n  return Prompt.makeMessage(\"tool\", {\n    content: message.content.map((part) =>\n      part.type === \"tool-result\"\n        ? Prompt.makePart(\"tool-result\", {\n            id: part.id,\n            name: part.name,\n            result: CLEARED_TOOL_RESULT,\n            isFailure: part.isFailure,\n            providerExecuted: part.providerExecuted,\n          })\n        : part,\n    ),\n  });\n};\n\nconst renderMessage = (\n  state: ContextCompactionState,\n  message: Prompt.Message,\n  index: number,\n): Prompt.Message =>\n  index < state.clearedThrough && message.role === \"tool\" ? clearedToolMessage(message) : message;\n\nconst summaryMessage = (summary: string): Prompt.Message =>\n  Prompt.makeMessage(\"user\", {\n    content: [Prompt.makePart(\"text\", { text: `${COMPACTION_SUMMARY_PREFIX}${summary}` })],\n  });\n\n/**\n * Build the model-visible view of the source prompt under the current\n * compaction state: protected block in place, covered span replaced by the\n * summary message, old tool results cleared. Identity when no compaction has\n * happened.\n */\nexport const buildCompactedView = (\n  source: ReadonlyArray<Prompt.Message>,\n  state: ContextCompactionState,\n): ReadonlyArray<Prompt.Message> => {\n  if (state.replacement === undefined && state.clearedThrough === 0) {\n    return source;\n  }\n  const view: Array<Prompt.Message> = [];\n\n  if (state.replacement !== undefined && state.replacement.through > 0) {\n    const protectedStart =\n      state.protectedStart >= 0 && !state.protectSystemMessages ? state.protectedStart : 0;\n\n    const protectedEnd =\n      state.protectedStart >= 0 && !state.protectSystemMessages\n        ? state.protectedEnd\n        : (state.replacement?.through ?? 0);\n\n    for (\n      let index = protectedStart;\n      index < Math.min(protectedEnd, state.replacement?.through ?? 0, source.length);\n      index += 1\n    ) {\n      const message = source[index];\n\n      if (message !== undefined && isProtected(state, source, index)) {\n        view.push(renderMessage(state, message, index));\n      }\n    }\n    view.push(\n      state.replacement.kind === \"summarize\"\n        ? summaryMessage(state.replacement.summary)\n        : contextWindowMessage(state.replacement.windowId, state.replacement.handoff),\n    );\n    for (let index = state.replacement?.through ?? 0; index < source.length; index += 1) {\n      const message = source[index];\n\n      if (message !== undefined) {\n        view.push(renderMessage(state, message, index));\n      }\n    }\n\n    return view;\n  }\n  for (let index = 0; index < source.length; index += 1) {\n    const message = source[index];\n\n    if (message !== undefined) {\n      view.push(renderMessage(state, message, index));\n    }\n  }\n\n  return view;\n};\n\n/**\n * Prune selection: the new `clearedThrough` bound. Walks tool messages\n * newest→oldest, always protecting the most recent tool message (the model\n * has not reacted to it yet), then protecting older ones while their\n * estimates fit inside `keepRecentTokens`. If the whole view exceeds `targetTokens`,\n * clear more older results until it fits or only the newest result remains.\n * Replaced messages consume no retention budget. Never decreases the bound.\n */\nexport const choosePruneBound = (\n  source: ReadonlyArray<Prompt.Message>,\n  state: ContextCompactionState,\n  keepRecentTokens: number,\n  targetTokens?: number,\n  estimate: (message: Prompt.Message) => number = estimateMessageTokens,\n): number => {\n  const toolIndices: Array<number> = [];\n\n  for (let index = 0; index < source.length; index += 1) {\n    if (\n      index >= (state.replacement?.through ?? 0) &&\n      source[index]?.role === \"tool\" &&\n      !isProtected(state, source, index)\n    ) {\n      toolIndices.push(index);\n    }\n  }\n  if (toolIndices.length <= 1) {\n    return state.clearedThrough;\n  }\n  let budget = keepRecentTokens;\n  let newestCleared = -1;\n\n  for (let position = toolIndices.length - 1; position >= 0; position -= 1) {\n    const index = toolIndices[position];\n\n    if (index === undefined) continue;\n    const message = source[index];\n\n    if (message === undefined) continue;\n    if (position === toolIndices.length - 1) {\n      budget -= estimate(message);\n      continue;\n    }\n    const cost = estimate(message);\n\n    if (budget - cost >= 0 && index >= state.clearedThrough) {\n      budget -= cost;\n      continue;\n    }\n    newestCleared = index;\n    break;\n  }\n\n  let through =\n    newestCleared === -1 ? state.clearedThrough : Math.max(state.clearedThrough, newestCleared + 1);\n\n  if (targetTokens === undefined) return through;\n\n  let estimated = estimatePromptTokens(\n    buildCompactedView(source, { ...state, clearedThrough: through }),\n    estimate,\n  );\n\n  for (\n    let position = 0;\n    position < toolIndices.length - 1 && estimated > targetTokens;\n    position += 1\n  ) {\n    const index = toolIndices[position];\n\n    if (index === undefined || index < through) continue;\n    const message = source[index];\n\n    if (message === undefined) continue;\n    through = index + 1;\n    estimated -= estimate(message) - estimate(clearedToolMessage(message));\n  }\n\n  return through;\n};\n\n/**\n * Summarize selection: the source cut index `C` — messages `[0, C)` outside\n * the protected block fold into the summary; `[C, …)` is the kept tail.\n * Walks newest→oldest accumulating view estimates until `keepRecentTokens`\n * is retained, then moves the cut down to keep leading user/system messages\n * with their assistant response and tool results with their declaring assistant.\n */\nexport const chooseSummarizeCut = (\n  source: ReadonlyArray<Prompt.Message>,\n  state: ContextCompactionState,\n  keepRecentTokens: number,\n  estimate: (message: Prompt.Message) => number = estimateMessageTokens,\n): number => {\n  let kept = 0;\n  let cut = 0;\n\n  for (let index = source.length - 1; index >= 0; index -= 1) {\n    const message = source[index];\n\n    if (message === undefined) continue;\n    kept += estimate(renderMessage(state, message, index));\n    if (kept >= keepRecentTokens) {\n      cut = index;\n      break;\n    }\n  }\n  // Durable responses commit pending input and the assistant reply together.\n  while (\n    cut > 0 &&\n    (source[cut]?.role === \"tool\" ||\n      source[cut - 1]?.role === \"user\" ||\n      source[cut - 1]?.role === \"system\")\n  ) {\n    cut -= 1;\n  }\n\n  return Math.max(cut, state.replacement?.through ?? 0);\n};\n\n/**\n * The messages a cut NEWLY covers — from the prior replacement boundary to the\n * cut, protected block excluded, in order. Starting at the replacement boundary\n * keeps repeated compactions incremental: the previously covered span lives\n * on only through the previous summary, never as resubmitted raw history.\n */\nexport const collectCoveredMessages = (\n  source: ReadonlyArray<Prompt.Message>,\n  state: ContextCompactionState,\n  cut: number,\n): ReadonlyArray<Prompt.Message> => {\n  const covered: Array<Prompt.Message> = [];\n\n  for (\n    let index = Math.max(0, state.replacement?.through ?? 0);\n    index < cut && index < source.length;\n    index += 1\n  ) {\n    const message = source[index];\n\n    if (message !== undefined && !isProtected(state, source, index)) {\n      covered.push(message);\n    }\n  }\n\n  return covered;\n};\n\nconst SUMMARY_TOOL_RESULT_CLIP = 2_000;\n\nconst jsonPreview = (value: unknown, limit: number): string => {\n  if (typeof value === \"string\") return JSON.stringify(value.slice(0, limit)).slice(0, limit);\n  const snapshot = boundedCanonicalJsonSnapshot(value, limit);\n\n  return snapshot === undefined\n    ? \"[omitted oversized or unsupported JSON]\"\n    : JSON.stringify(snapshot.value);\n};\n\nconst partText = (part: Prompt.Message[\"content\"][number] | string): string => {\n  if (typeof part === \"string\") return part;\n  switch (part.type) {\n    case \"text\": {\n      return part.text;\n    }\n    case \"reasoning\": {\n      return \"\";\n    }\n    case \"tool-call\": {\n      return `[tool call ${part.name.slice(0, 500)} ${jsonPreview(part.params, 500)}]`;\n    }\n    case \"tool-result\": {\n      return `[tool result ${part.name.slice(0, 500)}: ${jsonPreview(part.result, SUMMARY_TOOL_RESULT_CLIP)}]`;\n    }\n    default: {\n      return `[${part.type}]`;\n    }\n  }\n};\n\n/**\n * Character budget for the complete default summarizer request, including\n * its instruction, transcript delimiters, previous summary, and elision marker.\n */\nexport const SUMMARY_INPUT_BUDGET = 80_000;\nexport const SUMMARY_MAX_LENGTH = 65_536;\nexport const SUMMARY_REQUEST_PREFIX = `${COMPACTION_INSTRUCTION}\\n\\n<transcript>\\n`;\nexport const SUMMARY_REQUEST_SUFFIX = \"\\n</transcript>\";\n\nconst SUMMARY_MESSAGE_CLIP = 2_000;\nconst SUMMARY_ELISION_RESERVE = 128;\n\nconst summaryBlock = (message: Prompt.Message): string => {\n  let text = \"\";\n\n  if (typeof message.content === \"string\") {\n    text = message.content.slice(0, SUMMARY_MESSAGE_CLIP + 1);\n  } else {\n    for (const part of message.content) {\n      const piece = partText(part);\n\n      if (piece.length === 0) continue;\n      if (text.length > 0) text += \"\\n\";\n      text += piece.slice(0, SUMMARY_MESSAGE_CLIP + 1 - text.length);\n      if (text.length > SUMMARY_MESSAGE_CLIP) break;\n    }\n  }\n  if (text.length === 0) return \"\";\n\n  return `[${message.role}]\\n${text.length > SUMMARY_MESSAGE_CLIP ? `${text.slice(0, SUMMARY_MESSAGE_CLIP)}…` : text}`;\n};\n\n/**\n * Deterministic emergency input record, not a progress summary. Keep recent user inputs and\n * the last, as-yet-unconsumed Tool batch. Clip before rendering large payloads, identify Tool\n * calls for archive lookup, and never recursively copy earlier recovery records.\n */\nexport const buildRolloverHandoff = (\n  source: ReadonlyArray<Prompt.Message>,\n  state: ContextCompactionState,\n  targetTokens: number | undefined,\n  through = source.length,\n  estimate: (message: Prompt.Message) => number = estimateMessageTokens,\n): string | undefined => {\n  const protectedTokens = estimatePromptTokens(\n    source.filter((_, index) => index >= through || isProtected(state, source, index)),\n    estimate,\n  );\n\n  const maxChars = Math.min(\n    5_000,\n    Math.max(0, Math.floor(((targetTokens ?? 10_000) - protectedTokens - 200) * 2)),\n  );\n\n  if (maxChars < 160) return undefined;\n  const blocks: Array<string> = [];\n  let length = 0;\n  const start = state.replacement?.through ?? 0;\n\n  const lastTool = source.findLastIndex(\n    (message, index) => index < through && message.role === \"tool\",\n  );\n\n  const unconsumed =\n    lastTool >= start &&\n    !source.slice(lastTool + 1, through).some((message) => message.role === \"assistant\");\n\n  let lastAssistant = lastTool;\n\n  while (lastAssistant >= start && source[lastAssistant]?.role !== \"assistant\") lastAssistant -= 1;\n  for (let index = through - 1; index >= start; index -= 1) {\n    const message = source[index];\n\n    if (message === undefined || isProtected(state, source, index)) continue;\n    const isUnconsumedBatch = unconsumed && index >= lastAssistant && index <= lastTool;\n\n    if (message.role !== \"user\" && !isUnconsumedBatch) continue;\n    // A projected boundary from a previous Attempt is already a derived handoff.\n    if (\n      message.role === \"user\" &&\n      message.content.some(\n        (part) => part.type === \"text\" && part.text.startsWith(CONTEXT_ROLLOVER_PREFIX),\n      )\n    )\n      continue;\n    let block = summaryBlock(message);\n\n    if (isUnconsumedBatch && typeof message.content !== \"string\") {\n      const ids = message.content\n        .flatMap((part) =>\n          part.type === \"tool-call\" || part.type === \"tool-result\" ? [part.id.slice(0, 256)] : [],\n        )\n        .slice(0, 16);\n\n      block = `[Unconsumed batch; history search call IDs: ${ids.join(\", \")}]\\n${block}`;\n    }\n    const remaining = maxChars - length - 120;\n\n    if (remaining <= 0) break;\n    const selected = block.slice(0, Math.min(2_500, remaining));\n\n    blocks.unshift(selected);\n    length += selected.length + 2;\n    if (selected.length < block.length) break;\n  }\n\n  return `Recovery excerpts, not verified progress. Content may be omitted; use notes and history.\\n\\n${blocks.join(\"\\n\\n\")}`.slice(\n    0,\n    maxChars,\n  );\n};\n\n/**\n * Render the covered span as plain text for the summarizer call, bounded\n * twice: every message's rendered text is clipped to a fixed length (tool\n * results additionally clip their JSON payloads), and the whole render obeys\n * `SUMMARY_INPUT_BUDGET` with middle-out retention — oldest and newest\n * blocks survive, the middle collapses into one deterministic elision\n * marker. A previous summary is folded in first so nothing silently drops\n * out of coverage across repeated compactions. An oversized previous summary\n * returns undefined before rendering: callers must reject it, never truncate it.\n */\nexport const renderForSummary = (\n  covered: ReadonlyArray<Prompt.Message>,\n  previousSummary: string | undefined,\n): string | undefined => {\n  if (previousSummary !== undefined && previousSummary.length > SUMMARY_MAX_LENGTH)\n    return undefined;\n  const joiner = \"\\n\\n\";\n\n  const previousBlock =\n    previousSummary === undefined ? undefined : `[Previous summary]\\n${previousSummary}`;\n\n  const fixed =\n    (previousBlock === undefined ? 0 : previousBlock.length + joiner.length) +\n    SUMMARY_REQUEST_PREFIX.length +\n    SUMMARY_REQUEST_SUFFIX.length;\n\n  const budget = SUMMARY_INPUT_BUDGET - fixed - SUMMARY_ELISION_RESERVE;\n  const head: Array<string> = [];\n  const tail: Array<string> = [];\n  let length = 0;\n  let start = 0;\n  let end = covered.length - 1;\n  let boundaryBlock: string | undefined;\n\n  while (start <= end) {\n    const message = covered[start];\n    const block = message === undefined ? \"\" : summaryBlock(message);\n\n    if (block.length > 0 && length + block.length + joiner.length > Math.floor(budget / 2)) {\n      boundaryBlock = block;\n      break;\n    }\n    if (block.length > 0) {\n      head.push(block);\n      length += block.length + joiner.length;\n    }\n    start += 1;\n  }\n  while (end >= start) {\n    const message = covered[end];\n\n    const block =\n      end === start && boundaryBlock !== undefined\n        ? boundaryBlock\n        : message === undefined\n          ? \"\"\n          : summaryBlock(message);\n\n    if (block.length > 0 && length + block.length + joiner.length > budget) break;\n    if (block.length > 0) {\n      tail.push(block);\n      length += block.length + joiner.length;\n    }\n    end -= 1;\n  }\n  const omitted = end - start + 1;\n  const lines: Array<string> = [];\n\n  if (previousBlock !== undefined) {\n    lines.push(previousBlock);\n  }\n  lines.push(...head);\n  if (omitted > 0) lines.push(`[… ${omitted} messages omitted from summary input …]`);\n  lines.push(...tail.reverse());\n\n  return lines.join(joiner);\n};\n"],"mappings":";;;AAEA,MAAM,iBAAiB;AAOvB,MAAM,iBAAiB,OAAO,mDAAmD;;;;;;AAOjF,MAAM,gBACJ,MACA,UACA,UACA,2BACoC;CACpC,IACE,CAAC,OAAO,cAAc,QAAQ,KAC9B,WAAW,KACX,CAAC,OAAO,cAAc,QAAQ,KAC9B,WAAW,GAEX;CAEF,IAAI,QAAQ;CACZ,MAAM,4BAAY,IAAI,QAAgB;CAEtC,MAAM,OAAO,UAA2B;EACtC,IAAI,QAAQ,WAAW,OAAO,OAAO;EACrC,SAAS;EAET,OAAO;CACT;CAEA,MAAM,aAAa,UAA2B;EAC5C,IAAI,CAAC,IAAI,CAAC,GAAG,OAAO;EACpB,KAAK,IAAI,QAAQ,GAAG,QAAQ,MAAM,QAAQ,SAAS,GAAG;GACpD,MAAM,OAAO,MAAM,WAAW,KAAK;GAEnC,IAAI,SAAS,MAAQ,SAAS,IACxB;QAAA,CAAC,IAAI,CAAC,GAAG,OAAO;GAAA,OACf,IAAI,QAAQ,IAGb;QAAA,CAAC,IAAI,QAAQ,KAAQ,QAAQ,MAAQ,SAAS,KAAO,IAAI,CAAC,GAAG,OAAO;GAAA,OACnE,IAAI,QAAQ,KACb;QAAA,CAAC,IAAI,CAAC,GAAG,OAAO;GAAA,OACf,IAAI,QAAQ,MACb;QAAA,CAAC,IAAI,CAAC,GAAG,OAAO;GAAA,OACf,IAAI,QAAQ,SAAU,QAAQ,OAAQ;IAC3C,MAAM,MAAM,MAAM,WAAW,QAAQ,CAAC;IAEtC,IAAI,OAAO,SAAU,OAAO,OAAQ;KAClC,IAAI,CAAC,IAAI,CAAC,GAAG,OAAO;KACpB,SAAS;IACX,OAAO,IAAI,CAAC,IAAI,CAAC,GACf,OAAO;GAEX,OAAO,IAAI,QAAQ,SAAU,QAAQ,OAC/B;QAAA,CAAC,IAAI,CAAC,GAAG,OAAO;GAAA,OACf,IAAI,CAAC,IAAI,CAAC,GACf,OAAO;EAEX;EAEA,OAAO;CACT;CAEA,MAAM,SAAS,OAAgB,UAAuD;EACpF,IAAI,QAAQ,UAAU,OAAO;EAC7B,IAAI,UAAU,MAAM,OAAO,IAAI,CAAC,IAAI,OAAO;EAC3C,QAAQ,OAAO,OAAf;GACE,KAAK,UACH,OAAO,UAAU,KAAK,IAAI,QAAQ;GACpC,KAAK,WACH,OAAO,IAAI,QAAQ,IAAI,CAAC,IAAI,QAAQ;GACtC,KAAK,UAAU;IAGb,IAAI,CAAC,OAAO,SAAS,KAAK,GACxB,OAAO,yBAAyB,iBAAiB,IAAI,CAAC,IAAI,OAAO;IAEnE,MAAM,UAAU,KAAK,UAAU,KAAK;IAEpC,OAAO,YAAY,KAAA,KAAa,IAAI,QAAQ,MAAM,IAAI,QAAQ;GAChE;GACA,KAAK,UAAU;IACb,IAAI,UAAU,IAAI,KAAK,GAAG,OAAO;IACjC,MAAM,UAAU,MAAM,QAAQ,KAAK;IACnC,MAAM,YAAY,OAAO,eAAe,KAAK;IAE7C,IAAI,eAAe,UAAU,MAAM,YAAY,OAAO,cAAc,cAAc,MAChF,OAAO;IAET,IACE,OAAO,yBAAyB,OAAO,QAAQ,MAAM,KAAA,KACpD,cAAc,QAAQ,OAAO,yBAAyB,WAAW,QAAQ,MAAM,KAAA,GAEhF,OAAO;IAET,UAAU,IAAI,KAAK;IACnB,IAAI;KACF,IAAI,SAAS;MACX,MAAM,mBAAmB,OAAO,yBAAyB,OAAO,QAAQ;MAExE,IACE,qBAAqB,KAAA,KACrB,EAAE,WAAW,qBACb,OAAO,iBAAiB,UAAU,YAClC,CAAC,OAAO,cAAc,iBAAiB,KAAK,KAC5C,iBAAiB,QAAQ,GAEzB,OAAO;MAET,IAAI,CAAC,IAAI,CAAC,GAAG,OAAO;MACpB,MAAM,WAA+B,CAAC;MAEtC,KAAK,IAAI,QAAQ,GAAG,QAAQ,iBAAiB,OAAO,SAAS,GAAG;OAC9D,IAAI,QAAQ,KAAK,CAAC,IAAI,CAAC,GAAG,OAAO;OACjC,MAAM,aAAa,OAAO,yBAAyB,OAAO,KAAK;OAE/D,IAAI,eAAe,KAAA,GAAW;QAC5B,IAAI,CAAC,IAAI,CAAC,GAAG,OAAO;QACpB,SAAS,KAAK,IAAI;QAClB;OACF;OACA,IAAI,EAAE,WAAW,aAAa,OAAO;OACrC,MAAM,OAAO,MAAM,WAAW,OAAO,QAAQ,CAAC;OAE9C,IAAI,SAAS,gBAAgB,OAAO;OACpC,SAAS,KAAK,IAAI;MACpB;MACA,IAAI,CAAC,IAAI,CAAC,GAAG,OAAO;MACpB,OAAO,eAAe,UAAU,IAAI;MAEpC,OAAO,OAAO,OAAO,QAAQ;KAC/B;KACA,IAAI,CAAC,IAAI,CAAC,GAAG,OAAO;KACpB,MAAM,UAAiD,CAAC;KACxD,IAAI,QAAQ;KAEZ,KAAK,MAAM,OAAO,OAAO;MACvB,MAAM,aAAa,OAAO,yBAAyB,OAAO,GAAG;MAE7D,IAAI,eAAe,KAAA,KAAa,CAAC,WAAW,YAAY;MACxD,IAAI,EAAE,WAAW,aAAa,OAAO;MACrC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,OAAO;MAC9B,QAAQ;MACR,IAAI,CAAC,UAAU,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,OAAO;MACvC,MAAM,OAAO,MAAM,WAAW,OAAO,QAAQ,CAAC;MAE9C,IAAI,SAAS,gBAAgB,OAAO;MACpC,QAAQ,KAAK,CAAC,KAAK,IAAI,CAAC;KAC1B;KACA,IAAI,CAAC,IAAI,CAAC,GAAG,OAAO;KACpB,MAAM,WAAwC,OAAO,YAAY,OAAO;KAExE,OAAO,eAAe,UAAU,IAAI;KAEpC,OAAO,OAAO,OAAO,QAAQ;IAC/B,UAAU;KACR,UAAU,OAAO,KAAK;IACxB;GACF;GACA,KAAK;GACL,KAAK;GACL,KAAK;GACL,KAAK,aACH,OAAO;EACX;EAEA,OAAO;CACT;CAEA,IAAI;EACF,MAAM,QAAQ,MAAM,MAAM,CAAC;EAE3B,OAAO,UAAU,iBAAiB,KAAA,IAAY;GAAE;GAAO,OAAO;EAAM;CACtE,QAAQ;EAEN;CACF;AACF;;;;;;AAOA,MAAa,uBACX,MACA,UACA,WAAW,mBACyB,aAAa,MAAM,UAAU,UAAU,KAAK;;;;;;AAOlF,MAAa,gCACX,MACA,UACA,WAAW,mBACyB,aAAa,MAAM,UAAU,UAAU,IAAI;;;;;;;;;;;;;;AChMjF,MAAa,sBAAsB;;AAGnC,MAAa,4BAA4B;;AAGzC,MAAa,0BACX;;AAGF,MAAa,mBAAmB,OAAe,SAAyB,WAAW,MAAM,GAAG;;AAG5F,MAAa,wBAAwB,UAAkB,YACrD,OAAO,YAAY,QAAQ,EACzB,SAAS,CACP,OAAO,SAAS,QAAQ,EACtB,MAAM,GAAG,wBAAwB,UAAU,WAAW,YAAY,KAAA,IAAY,KAAK,gDAAgD,YACrI,CAAC,CACH,EACF,CAAC;;;;;;AAOH,MAAa,yBAAyB;CACpC;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;AACF,CAAC,CAAC,KAAK,IAAI;;;;;;AAOX,MAAM,2BACJ;;AAGF,MAAa,4BAA4B,SACvC,yBAAyB,KAAK,IAAI;AAEpC,MAAM,cAAc,SAAyB;CAC3C,IAAI,QAAQ,KAAK;CAEjB,KAAK,IAAI,QAAQ,GAAG,QAAQ,KAAK,QAAQ,SAAS;EAChD,MAAM,WAAW,KAAK,WAAW,KAAK;EAEtC,IAAI,YAAY,KAAM;EACtB,IAAI,YAAY,MAAO;GACrB;GACA;EACF;EACA,IAAI,YAAY,SAAU,YAAY,SAAU,QAAQ,IAAI,KAAK,QAAQ;GACvE,MAAM,OAAO,KAAK,WAAW,QAAQ,CAAC;GAEtC,IAAI,QAAQ,SAAU,QAAQ,OAAQ;IAEpC,SAAS;IACT;IACA;GACF;EACF;EACA,SAAS;CACX;CAEA,OAAO;AACT;;;;;;AAOA,MAAa,yBAAyB,YAAoC;CACxE,IAAI;CAEJ,IAAI;EACF,OAAO,KAAK,UAAU,OAAO;CAC/B,QAAQ;EACN,OAAO,KAAA;CACT;CAEA,OAAO,SAAS,KAAA,IAAY,IAAI,KAAK,KAAK,WAAW,IAAI,IAAI,CAAC;AAChE;;AAGA,MAAa,wBACX,UACA,WAAgD,0BACrC;CACX,IAAI,QAAQ;CAEZ,KAAK,MAAM,WAAW,UACpB,SAAS,SAAS,OAAO;CAG3B,OAAO;AACT;AAEA,MAAM,kBAAkB,OAAO,GAAG,OAAO,OAAO;;AAGhD,MAAa,iCACX,UACA,cACqB;CACrB,IAAI,QAAQ;CAEZ,MAAM,QAAQ,WAAW,YAAY;EACnC,MAAM,cAAc,WAAW,OAAO;EACtC,MAAM,WAAW,gBAAgB,KAAA,IAAY,sBAAsB,OAAO,IAAI;EAE9E,IAAI,CAAC,gBAAgB,QAAQ,GAAG,QAAQ;EAExC,OAAO;CACT,CAAC;CAED,OAAO,QAAQ,OAAO,KAAK,KAAK,IAAI,OAAO,KAAK;AAClD;;AA8CA,MAAa,gCAAwD;CACnE,gBAAgB;CAChB,cAAc;CACd,gBAAgB;CAChB,aAAa,KAAA;CACb,oBAAoB;CACpB,mBAAmB;CACnB,gBAAgB;AAClB;AAEA,MAAM,eACJ,OACA,QACA,UACY;CACZ,IAAI,MAAM,yBAAyB,OAAO,MAAM,EAAE,SAAS,UAAU,OAAO;CAC5E,IAAI,MAAM,kBAAkB,GAC1B,OAAO,SAAS,MAAM,kBAAkB,QAAQ,MAAM;CAGxD,OAAO,OAAO,MAAM,EAAE,SAAS;AACjC;AAEA,MAAM,sBAAsB,YAA4C;CACtE,IAAI,QAAQ,SAAS,UAAU,OAAO,QAAQ,YAAY,UACxD,OAAO;CAKT,OAAO,OAAO,YAAY,QAAQ,EAChC,SAAS,QAAQ,QAAQ,KAAK,SAC5B,KAAK,SAAS,gBACV,OAAO,SAAS,eAAe;EAC7B,IAAI,KAAK;EACT,MAAM,KAAK;EACX,QAAQ;EACR,WAAW,KAAK;EAChB,kBAAkB,KAAK;CACzB,CAAC,IACD,IACN,EACF,CAAC;AACH;AAEA,MAAM,iBACJ,OACA,SACA,UAEA,QAAQ,MAAM,kBAAkB,QAAQ,SAAS,SAAS,mBAAmB,OAAO,IAAI;AAE1F,MAAM,kBAAkB,YACtB,OAAO,YAAY,QAAQ,EACzB,SAAS,CAAC,OAAO,SAAS,QAAQ,EAAE,MAAM,GAAG,4BAA4B,UAAU,CAAC,CAAC,EACvF,CAAC;;;;;;;AAQH,MAAa,sBACX,QACA,UACkC;CAClC,IAAI,MAAM,gBAAgB,KAAA,KAAa,MAAM,mBAAmB,GAC9D,OAAO;CAET,MAAM,OAA8B,CAAC;CAErC,IAAI,MAAM,gBAAgB,KAAA,KAAa,MAAM,YAAY,UAAU,GAAG;EACpE,MAAM,iBACJ,MAAM,kBAAkB,KAAK,CAAC,MAAM,wBAAwB,MAAM,iBAAiB;EAErF,MAAM,eACJ,MAAM,kBAAkB,KAAK,CAAC,MAAM,wBAChC,MAAM,eACL,MAAM,aAAa,WAAW;EAErC,KACE,IAAI,QAAQ,gBACZ,QAAQ,KAAK,IAAI,cAAc,MAAM,aAAa,WAAW,GAAG,OAAO,MAAM,GAC7E,SAAS,GACT;GACA,MAAM,UAAU,OAAO;GAEvB,IAAI,YAAY,KAAA,KAAa,YAAY,OAAO,QAAQ,KAAK,GAC3D,KAAK,KAAK,cAAc,OAAO,SAAS,KAAK,CAAC;EAElD;EACA,KAAK,KACH,MAAM,YAAY,SAAS,cACvB,eAAe,MAAM,YAAY,OAAO,IACxC,qBAAqB,MAAM,YAAY,UAAU,MAAM,YAAY,OAAO,CAChF;EACA,KAAK,IAAI,QAAQ,MAAM,aAAa,WAAW,GAAG,QAAQ,OAAO,QAAQ,SAAS,GAAG;GACnF,MAAM,UAAU,OAAO;GAEvB,IAAI,YAAY,KAAA,GACd,KAAK,KAAK,cAAc,OAAO,SAAS,KAAK,CAAC;EAElD;EAEA,OAAO;CACT;CACA,KAAK,IAAI,QAAQ,GAAG,QAAQ,OAAO,QAAQ,SAAS,GAAG;EACrD,MAAM,UAAU,OAAO;EAEvB,IAAI,YAAY,KAAA,GACd,KAAK,KAAK,cAAc,OAAO,SAAS,KAAK,CAAC;CAElD;CAEA,OAAO;AACT;;;;;;;;;AAUA,MAAa,oBACX,QACA,OACA,kBACA,cACA,WAAgD,0BACrC;CACX,MAAM,cAA6B,CAAC;CAEpC,KAAK,IAAI,QAAQ,GAAG,QAAQ,OAAO,QAAQ,SAAS,GAClD,IACE,UAAU,MAAM,aAAa,WAAW,MACxC,OAAO,MAAM,EAAE,SAAS,UACxB,CAAC,YAAY,OAAO,QAAQ,KAAK,GAEjC,YAAY,KAAK,KAAK;CAG1B,IAAI,YAAY,UAAU,GACxB,OAAO,MAAM;CAEf,IAAI,SAAS;CACb,IAAI,gBAAgB;CAEpB,KAAK,IAAI,WAAW,YAAY,SAAS,GAAG,YAAY,GAAG,YAAY,GAAG;EACxE,MAAM,QAAQ,YAAY;EAE1B,IAAI,UAAU,KAAA,GAAW;EACzB,MAAM,UAAU,OAAO;EAEvB,IAAI,YAAY,KAAA,GAAW;EAC3B,IAAI,aAAa,YAAY,SAAS,GAAG;GACvC,UAAU,SAAS,OAAO;GAC1B;EACF;EACA,MAAM,OAAO,SAAS,OAAO;EAE7B,IAAI,SAAS,QAAQ,KAAK,SAAS,MAAM,gBAAgB;GACvD,UAAU;GACV;EACF;EACA,gBAAgB;EAChB;CACF;CAEA,IAAI,UACF,kBAAkB,KAAK,MAAM,iBAAiB,KAAK,IAAI,MAAM,gBAAgB,gBAAgB,CAAC;CAEhG,IAAI,iBAAiB,KAAA,GAAW,OAAO;CAEvC,IAAI,YAAY,qBACd,mBAAmB,QAAQ;EAAE,GAAG;EAAO,gBAAgB;CAAQ,CAAC,GAChE,QACF;CAEA,KACE,IAAI,WAAW,GACf,WAAW,YAAY,SAAS,KAAK,YAAY,cACjD,YAAY,GACZ;EACA,MAAM,QAAQ,YAAY;EAE1B,IAAI,UAAU,KAAA,KAAa,QAAQ,SAAS;EAC5C,MAAM,UAAU,OAAO;EAEvB,IAAI,YAAY,KAAA,GAAW;EAC3B,UAAU,QAAQ;EAClB,aAAa,SAAS,OAAO,IAAI,SAAS,mBAAmB,OAAO,CAAC;CACvE;CAEA,OAAO;AACT;;;;;;;;AASA,MAAa,sBACX,QACA,OACA,kBACA,WAAgD,0BACrC;CACX,IAAI,OAAO;CACX,IAAI,MAAM;CAEV,KAAK,IAAI,QAAQ,OAAO,SAAS,GAAG,SAAS,GAAG,SAAS,GAAG;EAC1D,MAAM,UAAU,OAAO;EAEvB,IAAI,YAAY,KAAA,GAAW;EAC3B,QAAQ,SAAS,cAAc,OAAO,SAAS,KAAK,CAAC;EACrD,IAAI,QAAQ,kBAAkB;GAC5B,MAAM;GACN;EACF;CACF;CAEA,OACE,MAAM,MACL,OAAO,IAAI,EAAE,SAAS,UACrB,OAAO,MAAM,EAAE,EAAE,SAAS,UAC1B,OAAO,MAAM,EAAE,EAAE,SAAS,WAE5B,OAAO;CAGT,OAAO,KAAK,IAAI,KAAK,MAAM,aAAa,WAAW,CAAC;AACtD;;;;;;;AAQA,MAAa,0BACX,QACA,OACA,QACkC;CAClC,MAAM,UAAiC,CAAC;CAExC,KACE,IAAI,QAAQ,KAAK,IAAI,GAAG,MAAM,aAAa,WAAW,CAAC,GACvD,QAAQ,OAAO,QAAQ,OAAO,QAC9B,SAAS,GACT;EACA,MAAM,UAAU,OAAO;EAEvB,IAAI,YAAY,KAAA,KAAa,CAAC,YAAY,OAAO,QAAQ,KAAK,GAC5D,QAAQ,KAAK,OAAO;CAExB;CAEA,OAAO;AACT;AAEA,MAAM,2BAA2B;AAEjC,MAAM,eAAe,OAAgB,UAA0B;CAC7D,IAAI,OAAO,UAAU,UAAU,OAAO,KAAK,UAAU,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,MAAM,GAAG,KAAK;CAC1F,MAAM,WAAW,6BAA6B,OAAO,KAAK;CAE1D,OAAO,aAAa,KAAA,IAChB,4CACA,KAAK,UAAU,SAAS,KAAK;AACnC;AAEA,MAAM,YAAY,SAA6D;CAC7E,IAAI,OAAO,SAAS,UAAU,OAAO;CACrC,QAAQ,KAAK,MAAb;EACE,KAAK,QACH,OAAO,KAAK;EAEd,KAAK,aACH,OAAO;EAET,KAAK,aACH,OAAO,cAAc,KAAK,KAAK,MAAM,GAAG,GAAG,EAAE,GAAG,YAAY,KAAK,QAAQ,GAAG,EAAE;EAEhF,KAAK,eACH,OAAO,gBAAgB,KAAK,KAAK,MAAM,GAAG,GAAG,EAAE,IAAI,YAAY,KAAK,QAAQ,wBAAwB,EAAE;EAExG,SACE,OAAO,IAAI,KAAK,KAAK;CAEzB;AACF;;;;;AAMA,MAAa,uBAAuB;AACpC,MAAa,qBAAqB;AAClC,MAAa,yBAAyB,GAAG,uBAAuB;AAChE,MAAa,yBAAyB;AAEtC,MAAM,uBAAuB;AAC7B,MAAM,0BAA0B;AAEhC,MAAM,gBAAgB,YAAoC;CACxD,IAAI,OAAO;CAEX,IAAI,OAAO,QAAQ,YAAY,UAC7B,OAAO,QAAQ,QAAQ,MAAM,GAAG,IAAwB;MAExD,KAAK,MAAM,QAAQ,QAAQ,SAAS;EAClC,MAAM,QAAQ,SAAS,IAAI;EAE3B,IAAI,MAAM,WAAW,GAAG;EACxB,IAAI,KAAK,SAAS,GAAG,QAAQ;EAC7B,QAAQ,MAAM,MAAM,GAAG,OAA2B,KAAK,MAAM;EAC7D,IAAI,KAAK,SAAS,sBAAsB;CAC1C;CAEF,IAAI,KAAK,WAAW,GAAG,OAAO;CAE9B,OAAO,IAAI,QAAQ,KAAK,KAAK,KAAK,SAAS,uBAAuB,GAAG,KAAK,MAAM,GAAG,oBAAoB,EAAE,KAAK;AAChH;;;;;;AAOA,MAAa,wBACX,QACA,OACA,cACA,UAAU,OAAO,QACjB,WAAgD,0BACzB;CACvB,MAAM,kBAAkB,qBACtB,OAAO,QAAQ,GAAG,UAAU,SAAS,WAAW,YAAY,OAAO,QAAQ,KAAK,CAAC,GACjF,QACF;CAEA,MAAM,WAAW,KAAK,IACpB,KACA,KAAK,IAAI,GAAG,KAAK,QAAQ,gBAAgB,OAAU,kBAAkB,OAAO,CAAC,CAAC,CAChF;CAEA,IAAI,WAAW,KAAK,OAAO,KAAA;CAC3B,MAAM,SAAwB,CAAC;CAC/B,IAAI,SAAS;CACb,MAAM,QAAQ,MAAM,aAAa,WAAW;CAE5C,MAAM,WAAW,OAAO,eACrB,SAAS,UAAU,QAAQ,WAAW,QAAQ,SAAS,MAC1D;CAEA,MAAM,aACJ,YAAY,SACZ,CAAC,OAAO,MAAM,WAAW,GAAG,OAAO,CAAC,CAAC,MAAM,YAAY,QAAQ,SAAS,WAAW;CAErF,IAAI,gBAAgB;CAEpB,OAAO,iBAAiB,SAAS,OAAO,cAAc,EAAE,SAAS,aAAa,iBAAiB;CAC/F,KAAK,IAAI,QAAQ,UAAU,GAAG,SAAS,OAAO,SAAS,GAAG;EACxD,MAAM,UAAU,OAAO;EAEvB,IAAI,YAAY,KAAA,KAAa,YAAY,OAAO,QAAQ,KAAK,GAAG;EAChE,MAAM,oBAAoB,cAAc,SAAS,iBAAiB,SAAS;EAE3E,IAAI,QAAQ,SAAS,UAAU,CAAC,mBAAmB;EAEnD,IACE,QAAQ,SAAS,UACjB,QAAQ,QAAQ,MACb,SAAS,KAAK,SAAS,UAAU,KAAK,KAAK,WAAA,mNAAkC,CAChF,GAEA;EACF,IAAI,QAAQ,aAAa,OAAO;EAEhC,IAAI,qBAAqB,OAAO,QAAQ,YAAY,UAOlD,QAAQ,+CANI,QAAQ,QACjB,SAAS,SACR,KAAK,SAAS,eAAe,KAAK,SAAS,gBAAgB,CAAC,KAAK,GAAG,MAAM,GAAG,GAAG,CAAC,IAAI,CAAC,CACxF,CAAC,CACA,MAAM,GAAG,EAE6C,CAAC,CAAC,KAAK,IAAI,EAAE,KAAK;EAE7E,MAAM,YAAY,WAAW,SAAS;EAEtC,IAAI,aAAa,GAAG;EACpB,MAAM,WAAW,MAAM,MAAM,GAAG,KAAK,IAAI,MAAO,SAAS,CAAC;EAE1D,OAAO,QAAQ,QAAQ;EACvB,UAAU,SAAS,SAAS;EAC5B,IAAI,SAAS,SAAS,MAAM,QAAQ;CACtC;CAEA,OAAO,+FAA+F,OAAO,KAAK,MAAM,IAAI,MAC1H,GACA,QACF;AACF;;;;;;;;;;;AAYA,MAAa,oBACX,SACA,oBACuB;CACvB,IAAI,oBAAoB,KAAA,KAAa,gBAAgB,SAAA,OACnD,OAAO,KAAA;CACT,MAAM,SAAS;CAEf,MAAM,gBACJ,oBAAoB,KAAA,IAAY,KAAA,IAAY,uBAAuB;CAErE,MAAM,SACH,kBAAkB,KAAA,IAAY,IAAI,cAAc,SAAS,KAC1D,uBAAuB,SACvB;CAEF,MAAM,SAAS,uBAAuB,QAAQ;CAC9C,MAAM,OAAsB,CAAC;CAC7B,MAAM,OAAsB,CAAC;CAC7B,IAAI,SAAS;CACb,IAAI,QAAQ;CACZ,IAAI,MAAM,QAAQ,SAAS;CAC3B,IAAI;CAEJ,OAAO,SAAS,KAAK;EACnB,MAAM,UAAU,QAAQ;EACxB,MAAM,QAAQ,YAAY,KAAA,IAAY,KAAK,aAAa,OAAO;EAE/D,IAAI,MAAM,SAAS,KAAK,SAAS,MAAM,SAAS,IAAgB,KAAK,MAAM,SAAS,CAAC,GAAG;GACtF,gBAAgB;GAChB;EACF;EACA,IAAI,MAAM,SAAS,GAAG;GACpB,KAAK,KAAK,KAAK;GACf,UAAU,MAAM,SAAS;EAC3B;EACA,SAAS;CACX;CACA,OAAO,OAAO,OAAO;EACnB,MAAM,UAAU,QAAQ;EAExB,MAAM,QACJ,QAAQ,SAAS,kBAAkB,KAAA,IAC/B,gBACA,YAAY,KAAA,IACV,KACA,aAAa,OAAO;EAE5B,IAAI,MAAM,SAAS,KAAK,SAAS,MAAM,SAAS,IAAgB,QAAQ;EACxE,IAAI,MAAM,SAAS,GAAG;GACpB,KAAK,KAAK,KAAK;GACf,UAAU,MAAM,SAAS;EAC3B;EACA,OAAO;CACT;CACA,MAAM,UAAU,MAAM,QAAQ;CAC9B,MAAM,QAAuB,CAAC;CAE9B,IAAI,kBAAkB,KAAA,GACpB,MAAM,KAAK,aAAa;CAE1B,MAAM,KAAK,GAAG,IAAI;CAClB,IAAI,UAAU,GAAG,MAAM,KAAK,MAAM,QAAQ,wCAAwC;CAClF,MAAM,KAAK,GAAG,KAAK,QAAQ,CAAC;CAE5B,OAAO,MAAM,KAAK,MAAM;AAC1B"}

package/dist/output-contract-DS-S8mTv.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"output-contract-DS-S8mTv.mjs","names":[],"sources":["../src/engine/internal/output-contract.ts"],"sourcesContent":["import { Schema } from \"effect\";\nimport { Prompt, Tool } from \"effect/unstable/ai\";\n\nimport type * as Agent from \"../../core/Agent.ts\";\n\nconst outputFormatAnnotation = \"@effect-agent/engine/Output/format\";\n\n/**\n * Declare ordinary assistant text as an Agent's final-output wire format. Apply this to the\n * complete output Schema after composing transformations. Its encoded type must be string;\n * decoding, checks, transformations, and service requirements remain owned by that Schema.\n * Text is preserved verbatim, including whitespace, quotes, and an empty reply when allowed.\n * Required completion Tools still take precedence. Unmarked Schemas use JSON final output.\n *\n * @example\n * ```ts\n * output: Output.text(Schema.String.check(Schema.isMaxLength(20_000)))\n * ```\n */\nexport const textOutput = <S extends Schema.Top & { readonly Encoded: string }>(\n  schema: S,\n): S[\"Rebuild\"] => schema.annotate({ [outputFormatAnnotation]: \"text\" });\n\nexport const isTextOutput = (schema: Schema.Top): boolean =>\n  Schema.resolveAnnotations(schema)?.[outputFormatAnnotation] === \"text\";\n\n/**\n * Model-visible final-output contract (RUN-028).\n *\n * For ordinary text completion, the interpreter's only output-conformance\n * point is `decodeFinalOutput`, which validates the final text after the\n * model has already finished. This module renders that Schema's wire contract\n * with the same Effect AI derivation the providers use for Tool parameters\n * and states it as one framework-owned system message on every model request.\n * A required completion Tool instead gets a native-tool directive: its Tool\n * parameter Schema is already carried by the provider request, and ordinary\n * final text is not an allowed completion path.\n *\n * The contract is a per-request projection of the immutable definition —\n * exactly like the Tool schemas the request already carries. It is inserted\n * at model-request materialization (after context preparation) and never\n * into official history, so canonical records, run events, and the committed\n * DN/DC golden are unchanged.\n *\n */\n\n/** Rendering outcome for one definition's output Schema. */\ntype OutputContract =\n  | {\n      readonly _tag: \"rendered\";\n      /** The complete system-message text: directive plus the derived JSON Schema. */\n      readonly message: string;\n      readonly part: Prompt.SystemMessage;\n    }\n  | {\n      readonly _tag: \"unrenderable\";\n      /** Why Effect AI's JSON-Schema derivation rejected the output Schema. */\n      readonly reason: string;\n    };\n\nconst contractDirective = (definition: Agent.AnyDefinition): string =>\n  definition.completion === undefined\n    ? \"Final output contract: when the task is complete, the final assistant message must be only \" +\n      \"JSON that is valid against this JSON Schema — no prose, no Markdown code fences, nothing \" +\n      \"before or after the JSON.\"\n    : `Final output contract: when the task is complete without calling the \"${definition.completion.tool}\" completion Tool, the final assistant message must be only ` +\n      \"JSON that is valid against this JSON Schema — no prose, no Markdown code fences, nothing \" +\n      `before or after the JSON. When calling the \"${definition.completion.tool}\" completion Tool, never place this private Agent output JSON in any Tool argument; follow the Tool's parameter schema instead. Call it as the sole application Tool Call, after receiving any other needed application Tool results. Completed provider Tool results may accompany it. The engine projects the successful completion Tool result into the Agent output.`;\n\nconst requiredCompletionDirective = (tool: string, hasAlternatives: boolean): string =>\n  `Final output contract: ${hasAlternatives ? \"otherwise complete\" : \"complete only\"} by calling the required completion Tool ${JSON.stringify(tool)} ` +\n  \"as the sole application Tool Call in its batch. Completed provider Tool results may accompany it. Do not emit an ordinary final assistant text answer. \" +\n  \"The Tool's canonical parameters and successful result are projected and validated as the Agent output.\";\n\n/**\n * Render the model-visible final-output contract for one definition. The\n * derivation and message identity are stable for an immutable definition.\n * An output Schema the Effect AI derivation cannot represent is reported as\n * `unrenderable`; the caller falls back to the prior behavior — the contract\n * is guidance, and a Schema that decodes but does not render must not become\n * a new failure mode.\n */\nconst rendered = (message: string): OutputContract => ({\n  _tag: \"rendered\",\n  message,\n  part: Prompt.makeMessage(\"system\", { content: message }),\n});\n\nconst renderOutputSchemaContract = (definition: Agent.AnyDefinition): OutputContract => {\n  if (definition.completion?.required === true) {\n    return rendered(\n      requiredCompletionDirective(\n        definition.completion.tool,\n        (definition.completionFromTools?.length ?? 0) > 0,\n      ),\n    );\n  }\n  if (isTextOutput(definition.output)) {\n    return rendered(\n      \"Final output contract: write the final reply as ordinary assistant text, without JSON wrapping. \" +\n        \"An empty reply is valid only when allowed by the output Schema and the task instructions.\" +\n        (definition.completion === undefined\n          ? \"\"\n          : ` When calling the \"${definition.completion.tool}\" completion Tool, follow its parameter schema instead and call it as the sole application Tool Call, after receiving any other needed application Tool results; completed provider Tool results may accompany it; the engine projects its successful result into the Agent output.`),\n    );\n  }\n  try {\n    const jsonSchema = Tool.getJsonSchemaFromSchema(definition.output);\n\n    return rendered(\n      `${contractDirective(definition)}\\n\\n${JSON.stringify(jsonSchema, undefined, 2)}`,\n    );\n  } catch (cause) {\n    return {\n      _tag: \"unrenderable\",\n      reason: cause instanceof Error ? cause.message : String(cause),\n    };\n  }\n};\n\n// Native incremental-response tracking recognizes message objects, not rendered text.\n// Weak keys retain neither discarded definitions nor their Schema graphs.\nconst outputContracts = new WeakMap<Agent.AnyDefinition, OutputContract>();\n\nexport const outputSchemaContract = (definition: Agent.AnyDefinition): OutputContract => {\n  const cached = outputContracts.get(definition);\n\n  if (cached !== undefined) return cached;\n  const base = renderOutputSchemaContract(definition);\n  const alternatives = definition.completionFromTools ?? [];\n\n  const contract =\n    base._tag === \"rendered\" && alternatives.length > 0\n      ? rendered(\n          `The following action Tools may complete the Run from their successful canonical result: ${alternatives.map((declaration) => JSON.stringify(declaration.tool)).join(\", \")}. ` +\n            \"Call such a Tool as the sole application Tool Call, following its parameter schema. Completed provider Tool results may accompany it. It may complete the Run only when it satisfies the whole request. \" +\n            \"An incomplete or pending result continues the Run. These actions are unavailable during finalization after budget exhaustion.\\n\\n\" +\n            base.message,\n        )\n      : base;\n\n  outputContracts.set(definition, contract);\n\n  return contract;\n};\n\nconst sameSystemMessage = Schema.toEquivalence(Prompt.SystemMessage);\n\n/**\n * Keep supported system instructions in conversation order so changing late guidance\n * cannot invalidate the preceding user/tool cache prefix. Omit an exact repeat\n * only when no distinct system instruction intervened; returning to an earlier\n * instruction after a different one must preserve the new directive's precedence.\n * Anchor the immutable output contract after the initial system block.\n * Restore leading static instructions for caller-supplied conversation-only history.\n *\n * This runs after preparation and compaction. Canonical messages, protected\n * instruction/input spans and compaction coverage retain their original positions.\n * Adapters without this capability retain the grouped-system projection: keep the\n * last equivalent instruction with its native options, then the contract and\n * conversation. This prevents older Anthropic adapters from discarding system groups.\n */\nexport const prepareModelPrompt = (\n  prompt: Prompt.Prompt,\n  contract: Prompt.SystemMessage | undefined,\n  systemMessagesInHistory: boolean,\n  staticInstructions: Prompt.RawInput | undefined,\n): Prompt.Prompt => {\n  if (systemMessagesInHistory) {\n    const content: Array<Prompt.Message> = [];\n    let lastSystem: Prompt.SystemMessage | undefined;\n    let ordered = prompt.content;\n\n    if (staticInstructions !== undefined) {\n      const firstConversation = prompt.content.findIndex((message) => message.role !== \"system\");\n\n      const leading = prompt.content.slice(\n        0,\n        firstConversation === -1 ? prompt.content.length : firstConversation,\n      );\n\n      const restored: Array<Prompt.Message> = [];\n\n      const instructions =\n        typeof staticInstructions === \"string\"\n          ? [Prompt.systemMessage({ content: staticInstructions })]\n          : Prompt.make(staticInstructions).content;\n\n      for (const message of instructions) {\n        if (message.role !== \"system\") break;\n        if (\n          leading.some(\n            (candidate) => candidate.role === \"system\" && sameSystemMessage(candidate, message),\n          )\n        )\n          break;\n\n        const original = prompt.content.find(\n          (candidate) => candidate.role === \"system\" && sameSystemMessage(candidate, message),\n        );\n\n        if (original === undefined) break;\n        restored.push(original);\n      }\n      if (restored.length > 0)\n        ordered = [...leading, ...restored, ...prompt.content.slice(leading.length)];\n    }\n\n    for (const message of ordered) {\n      if (message.role === \"system\") {\n        if (lastSystem !== undefined && sameSystemMessage(lastSystem, message)) continue;\n        lastSystem = message;\n      }\n      content.push(message);\n    }\n    if (contract !== undefined) {\n      const firstConversation = content.findIndex((message) => message.role !== \"system\");\n\n      content.splice(firstConversation === -1 ? content.length : firstConversation, 0, contract);\n    }\n\n    return Prompt.fromMessages(content);\n  }\n\n  const systems: Array<Prompt.SystemMessage> = [];\n  const conversation: Array<Prompt.Message> = [];\n  const seen = new Map<string, Array<Prompt.SystemMessage>>();\n\n  for (let index = prompt.content.length - 1; index >= 0; index -= 1) {\n    const message = prompt.content[index];\n\n    if (message === undefined) continue;\n    if (message.role !== \"system\") {\n      conversation.push(message);\n      continue;\n    }\n    const variants = seen.get(message.content);\n\n    if (variants?.some((previous) => sameSystemMessage(previous, message))) continue;\n    if (variants === undefined) seen.set(message.content, [message]);\n    else variants.push(message);\n    systems.push(message);\n  }\n\n  return Prompt.fromMessages([\n    ...systems.reverse(),\n    ...(contract === undefined ? [] : [contract]),\n    ...conversation.reverse(),\n  ]);\n};\n"],"mappings":";;;AAKA,MAAM,yBAAyB;;;;;;;;;;;;;AAc/B,MAAa,cACX,WACiB,OAAO,SAAS,GAAG,yBAAyB,OAAO,CAAC;AAEvE,MAAa,gBAAgB,WAC3B,OAAO,mBAAmB,MAAM,CAAC,GAAG,4BAA4B;AAoClE,MAAM,qBAAqB,eACzB,WAAW,eAAe,KAAA,IACtB,kNAGA,yEAAyE,WAAW,WAAW,KAAK,mMAErD,WAAW,WAAW,KAAK;AAEhF,MAAM,+BAA+B,MAAc,oBACjD,0BAA0B,kBAAkB,uBAAuB,gBAAgB,2CAA2C,KAAK,UAAU,IAAI,EAAE;;;;;;;;;AAYrJ,MAAM,YAAY,aAAqC;CACrD,MAAM;CACN;CACA,MAAM,OAAO,YAAY,UAAU,EAAE,SAAS,QAAQ,CAAC;AACzD;AAEA,MAAM,8BAA8B,eAAoD;CACtF,IAAI,WAAW,YAAY,aAAa,MACtC,OAAO,SACL,4BACE,WAAW,WAAW,OACrB,WAAW,qBAAqB,UAAU,KAAK,CAClD,CACF;CAEF,IAAI,aAAa,WAAW,MAAM,GAChC,OAAO,SACL,+LAEG,WAAW,eAAe,KAAA,IACvB,KACA,sBAAsB,WAAW,WAAW,KAAK,qRACzD;CAEF,IAAI;EACF,MAAM,aAAa,KAAK,wBAAwB,WAAW,MAAM;EAEjE,OAAO,SACL,GAAG,kBAAkB,UAAU,EAAE,MAAM,KAAK,UAAU,YAAY,KAAA,GAAW,CAAC,GAChF;CACF,SAAS,OAAO;EACd,OAAO;GACL,MAAM;GACN,QAAQ,iBAAiB,QAAQ,MAAM,UAAU,OAAO,KAAK;EAC/D;CACF;AACF;AAIA,MAAM,kCAAkB,IAAI,QAA6C;AAEzE,MAAa,wBAAwB,eAAoD;CACvF,MAAM,SAAS,gBAAgB,IAAI,UAAU;CAE7C,IAAI,WAAW,KAAA,GAAW,OAAO;CACjC,MAAM,OAAO,2BAA2B,UAAU;CAClD,MAAM,eAAe,WAAW,uBAAuB,CAAC;CAExD,MAAM,WACJ,KAAK,SAAS,cAAc,aAAa,SAAS,IAC9C,SACE,2FAA2F,aAAa,KAAK,gBAAgB,KAAK,UAAU,YAAY,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE;;IAGxK,KAAK,OACT,IACA;CAEN,gBAAgB,IAAI,YAAY,QAAQ;CAExC,OAAO;AACT;AAEA,MAAM,oBAAoB,OAAO,cAAc,OAAO,aAAa;;;;;;;;;;;;;;;AAgBnE,MAAa,sBACX,QACA,UACA,yBACA,uBACkB;CAClB,IAAI,yBAAyB;EAC3B,MAAM,UAAiC,CAAC;EACxC,IAAI;EACJ,IAAI,UAAU,OAAO;EAErB,IAAI,uBAAuB,KAAA,GAAW;GACpC,MAAM,oBAAoB,OAAO,QAAQ,WAAW,YAAY,QAAQ,SAAS,QAAQ;GAEzF,MAAM,UAAU,OAAO,QAAQ,MAC7B,GACA,sBAAsB,KAAK,OAAO,QAAQ,SAAS,iBACrD;GAEA,MAAM,WAAkC,CAAC;GAEzC,MAAM,eACJ,OAAO,uBAAuB,WAC1B,CAAC,OAAO,cAAc,EAAE,SAAS,mBAAmB,CAAC,CAAC,IACtD,OAAO,KAAK,kBAAkB,CAAC,CAAC;GAEtC,KAAK,MAAM,WAAW,cAAc;IAClC,IAAI,QAAQ,SAAS,UAAU;IAC/B,IACE,QAAQ,MACL,cAAc,UAAU,SAAS,YAAY,kBAAkB,WAAW,OAAO,CACpF,GAEA;IAEF,MAAM,WAAW,OAAO,QAAQ,MAC7B,cAAc,UAAU,SAAS,YAAY,kBAAkB,WAAW,OAAO,CACpF;IAEA,IAAI,aAAa,KAAA,GAAW;IAC5B,SAAS,KAAK,QAAQ;GACxB;GACA,IAAI,SAAS,SAAS,GACpB,UAAU;IAAC,GAAG;IAAS,GAAG;IAAU,GAAG,OAAO,QAAQ,MAAM,QAAQ,MAAM;GAAC;EAC/E;EAEA,KAAK,MAAM,WAAW,SAAS;GAC7B,IAAI,QAAQ,SAAS,UAAU;IAC7B,IAAI,eAAe,KAAA,KAAa,kBAAkB,YAAY,OAAO,GAAG;IACxE,aAAa;GACf;GACA,QAAQ,KAAK,OAAO;EACtB;EACA,IAAI,aAAa,KAAA,GAAW;GAC1B,MAAM,oBAAoB,QAAQ,WAAW,YAAY,QAAQ,SAAS,QAAQ;GAElF,QAAQ,OAAO,sBAAsB,KAAK,QAAQ,SAAS,mBAAmB,GAAG,QAAQ;EAC3F;EAEA,OAAO,OAAO,aAAa,OAAO;CACpC;CAEA,MAAM,UAAuC,CAAC;CAC9C,MAAM,eAAsC,CAAC;CAC7C,MAAM,uBAAO,IAAI,IAAyC;CAE1D,KAAK,IAAI,QAAQ,OAAO,QAAQ,SAAS,GAAG,SAAS,GAAG,SAAS,GAAG;EAClE,MAAM,UAAU,OAAO,QAAQ;EAE/B,IAAI,YAAY,KAAA,GAAW;EAC3B,IAAI,QAAQ,SAAS,UAAU;GAC7B,aAAa,KAAK,OAAO;GACzB;EACF;EACA,MAAM,WAAW,KAAK,IAAI,QAAQ,OAAO;EAEzC,IAAI,UAAU,MAAM,aAAa,kBAAkB,UAAU,OAAO,CAAC,GAAG;EACxE,IAAI,aAAa,KAAA,GAAW,KAAK,IAAI,QAAQ,SAAS,CAAC,OAAO,CAAC;OAC1D,SAAS,KAAK,OAAO;EAC1B,QAAQ,KAAK,OAAO;CACtB;CAEA,OAAO,OAAO,aAAa;EACzB,GAAG,QAAQ,QAAQ;EACnB,GAAI,aAAa,KAAA,IAAY,CAAC,IAAI,CAAC,QAAQ;EAC3C,GAAG,aAAa,QAAQ;CAC1B,CAAC;AACH"}