@vercel/factory 0.0.14 → 0.0.16

package/dist/budget.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"budget.mjs","names":[],"sources":["../src/budget.ts"],"sourcesContent":["import { createHash } from \"node:crypto\";\nimport type { DateClock } from \"./schema/common\";\nimport { factoryIdSchema, type FactoryId, type TaskId } from \"./schema/id\";\nimport { budgetMonthSchema, type BudgetLimits, type BudgetMonth } from \"./schema/budget\";\nimport type { Task } from \"./schema/task\";\nimport type { FactoryStores } from \"./store/engine\";\n\n/**\n * Stable factory identity for budget rows. Nothing mints factory ids yet, so\n * the app derives one from a deployment-stable seed such as the Vercel\n * project id.\n */\nexport function deriveFactoryId(seed: string): FactoryId {\n  return factoryIdSchema.parse(\n    `fac_${createHash(\"sha256\").update(seed).digest(\"hex\").slice(0, 32)}`,\n  );\n}\n\n/** The budget month (\"YYYY-MM\", UTC) a timestamp falls into. */\nexport function budgetMonthOf(isoDateTime: string): BudgetMonth {\n  return budgetMonthSchema.parse(isoDateTime.slice(0, 7));\n}\n\n// Currency math runs in integer micro-dollars so decimal limits compare\n// exactly; 0.1 + 0.2 must never refuse an exact-fit reservation.\nfunction microsOf(usd: number): number {\n  return Math.round(usd * 1_000_000);\n}\n\n/**\n * Monthly spend is derived from task rows, never stored: each task counts its\n * settled cost once that exists, otherwise its held reservation. A task\n * settles once, so a settled row never also counts its reservation.\n * Attribution uses the reservation time so tasks that wait across a month\n * boundary charge the month they actually ran in.\n */\nexport function computeMonthSpendUsd(tasks: readonly Task[], month: BudgetMonth): number {\n  let spendMicros = 0;\n  for (const task of tasks) {\n    if (budgetMonthOf(task.reservedAt ?? task.createdAt) !== month) {\n      continue;\n    }\n    spendMicros += microsOf(task.settledUsd ?? task.reservedUsd ?? 0);\n  }\n  return spendMicros / 1_000_000;\n}\n\n/** Derived monthly capacity state before another per-Task reservation. */\nexport type BudgetStatus = \"ok\" | \"warning\" | \"exhausted\";\n\n/**\n * True when one more per-task slice fits under the monthly total. Dispatch\n * refuses on this exact predicate and budgetStatus reports \"exhausted\" on its\n * negation, so refusing and reporting can never disagree.\n */\nexport function canReserve(\n  spendUsd: number,\n  limits: Pick<BudgetLimits, \"totalUsd\" | \"perTaskReservationUsd\">,\n): boolean {\n  return microsOf(spendUsd) + microsOf(limits.perTaskReservationUsd) <= microsOf(limits.totalUsd);\n}\n\n/** Classify monthly spend using the same exact-fit predicate enforced by dispatch. */\nexport function budgetStatus(\n  spendUsd: number,\n  limits: Pick<BudgetLimits, \"totalUsd\" | \"perTaskReservationUsd\" | \"warningPercent\">,\n): BudgetStatus {\n  if (!canReserve(spendUsd, limits)) {\n    return \"exhausted\";\n  }\n  // Integer comparison: spend/total * 100 >= warningPercent without float\n  // drift on decimal limits.\n  if (microsOf(spendUsd) * 100 >= microsOf(limits.totalUsd) * limits.warningPercent) {\n    return \"warning\";\n  }\n  return \"ok\";\n}\n\nconst TERMINAL_TASK_STATES = new Set<Task[\"state\"]>([\"succeeded\", \"failed\", \"cancelled\"]);\n\n/** Grace period, clock, and optional snapshot for terminal usage settlement. */\nexport interface SweepSettlementsOptions {\n  /** How long a terminal task waits for late usage before the sweep settles it. */\n  graceMinutes?: number;\n  now?: DateClock;\n  /** A dispatcher-wide snapshot avoids another complete task read. */\n  tasks?: readonly Task[];\n}\n\n/** Task-local charges newly settled by one reconciliation pass. */\nexport interface SweepSettlementsResult {\n  readonly settled: readonly { readonly taskId: TaskId; readonly totalUsd: number }[];\n}\n\n/** Task capability required to settle terminal reservations. */\nexport type SettlementSweepStores = Pick<FactoryStores, \"tasks\">;\n\n/**\n * Settle reserved terminal tasks the session hook did not: a task that ended\n * after its session (a change verified later) or whose session died. Settles\n * at the recorded usage, or at zero with a warning reason when none was\n * recorded within the grace window.\n */\nexport async function sweepSettlements(\n  stores: SettlementSweepStores,\n  options: SweepSettlementsOptions = {},\n): Promise<SweepSettlementsResult> {\n  const graceMs = (options.graceMinutes ?? 10) * 60_000;\n  const nowMs = (options.now ?? (() => new Date()))().getTime();\n  const settled: { taskId: TaskId; totalUsd: number }[] = [];\n  for (const task of options.tasks ?? (await stores.tasks.list())) {\n    if (task.reservedUsd === undefined || task.settledUsd !== undefined) {\n      continue;\n    }\n    if (!TERMINAL_TASK_STATES.has(task.state)) {\n      continue;\n    }\n    if (nowMs - Date.parse(task.updatedAt) < graceMs) {\n      continue;\n    }\n    // A concurrent writer (operator retry, another sweep) may move the task\n    // between the list and the settle; skip it rather than aborting the pass.\n    const totalUsd = task.usage?.costUsd ?? 0;\n    try {\n      const result = await stores.tasks.settle(task.id, {\n        cost: { totalUsd },\n        ...{\n          reason:\n            task.usage === undefined\n              ? \"usage missing after ten minutes; settled at zero\"\n              : \"measured usage settled by sweep\",\n        },\n      });\n      // Report this settlement's amount, not the task's accumulated total.\n      settled.push({ taskId: result.id, totalUsd });\n    } catch {\n      continue;\n    }\n  }\n  return { settled };\n}\n\n/** Owner-only notification emitted when monthly spend crosses a budget threshold. */\nexport interface BudgetNotice {\n  outcome: \"budget_warning\" | \"budget_exhausted\";\n  month: BudgetMonth;\n  spendUsd: number;\n  limits: BudgetLimits;\n}\n\n/** Monthly limits, delivery hook, and optional snapshot used for budget reconciliation. */\nexport interface BudgetSweepOptions {\n  factoryId: FactoryId;\n  limits: BudgetLimits;\n  /** Defaults to true. False reports spending without threshold checks or budget notices. */\n  enforce?: boolean;\n  /** Defaults to the current UTC month. */\n  month?: BudgetMonth;\n  now?: DateClock;\n  /** Owner-only delivery; invoked at most once per month per outcome. */\n  notify?: (notice: BudgetNotice) => Promise<void>;\n  /** A dispatcher-wide snapshot avoids another complete task read. */\n  tasks?: readonly Task[];\n}\n\n/**\n * Derived monthly spend and exact notice outcome produced by budget reconciliation.\n * `stamped` means this sweep recorded the threshold, `already_stamped` means no\n * new stamp was needed, and `delivery_failed` remains eligible for retry.\n */\nexport type BudgetSweepResult =\n  | {\n      readonly month: BudgetMonth;\n      readonly spendUsd: number;\n      readonly status: \"disabled\";\n      readonly noticeState: \"not_applicable\";\n    }\n  | {\n      readonly month: BudgetMonth;\n      readonly spendUsd: number;\n      readonly status: \"ok\";\n      readonly noticeState: \"not_applicable\";\n    }\n  | {\n      readonly month: BudgetMonth;\n      readonly spendUsd: number;\n      readonly status: \"warning\";\n      readonly noticeState: \"stamped\" | \"already_stamped\" | \"delivery_failed\";\n    }\n  | {\n      readonly month: BudgetMonth;\n      readonly spendUsd: number;\n      readonly status: \"exhausted\";\n      readonly noticeState: \"stamped\" | \"already_stamped\" | \"delivery_failed\";\n    };\n\n/** Budget and Task capabilities required to reconcile monthly budget thresholds. */\nexport type BudgetSweepStores = Pick<FactoryStores, \"budgets\" | \"tasks\">;\n\n/**\n * Ensure the month's budget row, derive spend, and record threshold crossings\n * write-once. Delivery comes first and the stamp only lands after it, so a\n * failed notification retries on the next sweep instead of being lost; the\n * write-once stamp still keeps each threshold to one message per month.\n */\nexport async function sweepBudget(\n  stores: BudgetSweepStores,\n  options: BudgetSweepOptions,\n): Promise<BudgetSweepResult> {\n  const now = options.now ?? (() => new Date());\n  const month = options.month ?? budgetMonthOf(now().toISOString());\n  const budget = await stores.budgets.ensure({\n    factoryId: options.factoryId,\n    month,\n    limits: options.limits,\n  });\n  const spendUsd = computeMonthSpendUsd(options.tasks ?? (await stores.tasks.list()), month);\n  if (options.enforce === false)\n    return { month, spendUsd, status: \"disabled\", noticeState: \"not_applicable\" };\n  const status = budgetStatus(spendUsd, options.limits);\n\n  async function crossThreshold(\n    notice: \"warning\" | \"exhausted\",\n    outcome: BudgetNotice[\"outcome\"],\n  ): Promise<\"stamped\" | \"already_stamped\" | \"delivery_failed\"> {\n    const field = notice === \"warning\" ? \"warningAt\" : \"exhaustedAt\";\n    if (budget.notices[field] !== undefined) {\n      return \"already_stamped\";\n    }\n    if (options.notify !== undefined) {\n      try {\n        await options.notify({ outcome, month, spendUsd, limits: options.limits });\n      } catch {\n        // Leave the notice unstamped so the next sweep retries delivery.\n        return \"delivery_failed\";\n      }\n    }\n    return (await stores.budgets.stampNotice(month, notice)).stamped\n      ? \"stamped\"\n      : \"already_stamped\";\n  }\n\n  if (status === \"exhausted\") {\n    const noticeState = await crossThreshold(\"exhausted\", \"budget_exhausted\");\n    // The warning threshold was necessarily crossed too; stamp it silently so\n    // a later settle-down cannot deliver \"warning\" after \"exhausted\".\n    if (budget.notices.warningAt === undefined) {\n      await stores.budgets.stampNotice(month, \"warning\");\n    }\n    return { month, spendUsd, status, noticeState };\n  }\n  if (status === \"warning\") {\n    const noticeState = await crossThreshold(\"warning\", \"budget_warning\");\n    return { month, spendUsd, status, noticeState };\n  }\n  return { month, spendUsd, status, noticeState: \"not_applicable\" };\n}\n"],"mappings":";;;;;;;;;AAYA,SAAgB,gBAAgB,MAAyB;CACvD,OAAO,gBAAgB,MACrB,OAAO,WAAW,QAAQ,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,MAAM,GAAG,EAAE,GACpE;AACF;;AAGA,SAAgB,cAAc,aAAkC;CAC9D,OAAO,kBAAkB,MAAM,YAAY,MAAM,GAAG,CAAC,CAAC;AACxD;AAIA,SAAS,SAAS,KAAqB;CACrC,OAAO,KAAK,MAAM,MAAM,GAAS;AACnC;;;;;;;;AASA,SAAgB,qBAAqB,OAAwB,OAA4B;CACvF,IAAI,cAAc;CAClB,KAAK,MAAM,QAAQ,OAAO;EACxB,IAAI,cAAc,KAAK,cAAc,KAAK,SAAS,MAAM,OACvD;EAEF,eAAe,SAAS,KAAK,cAAc,KAAK,eAAe,CAAC;CAClE;CACA,OAAO,cAAc;AACvB;;;;;;AAUA,SAAgB,WACd,UACA,QACS;CACT,OAAO,SAAS,QAAQ,IAAI,SAAS,OAAO,qBAAqB,KAAK,SAAS,OAAO,QAAQ;AAChG;;AAGA,SAAgB,aACd,UACA,QACc;CACd,IAAI,CAAC,WAAW,UAAU,MAAM,GAC9B,OAAO;CAIT,IAAI,SAAS,QAAQ,IAAI,OAAO,SAAS,OAAO,QAAQ,IAAI,OAAO,gBACjE,OAAO;CAET,OAAO;AACT;AAEA,MAAM,uCAAuB,IAAI,IAAmB;CAAC;CAAa;CAAU;AAAW,CAAC;;;;;;;AAyBxF,eAAsB,iBACpB,QACA,UAAmC,CAAC,GACH;CACjC,MAAM,WAAW,QAAQ,gBAAgB,MAAM;CAC/C,MAAM,SAAS,QAAQ,8BAAc,IAAI,KAAK,GAAA,CAAI,CAAC,CAAC,QAAQ;CAC5D,MAAM,UAAkD,CAAC;CACzD,KAAK,MAAM,QAAQ,QAAQ,SAAU,MAAM,OAAO,MAAM,KAAK,GAAI;EAC/D,IAAI,KAAK,gBAAgB,KAAA,KAAa,KAAK,eAAe,KAAA,GACxD;EAEF,IAAI,CAAC,qBAAqB,IAAI,KAAK,KAAK,GACtC;EAEF,IAAI,QAAQ,KAAK,MAAM,KAAK,SAAS,IAAI,SACvC;EAIF,MAAM,WAAW,KAAK,OAAO,WAAW;EACxC,IAAI;GACF,MAAM,SAAS,MAAM,OAAO,MAAM,OAAO,KAAK,IAAI;IAChD,MAAM,EAAE,SAAS;IAEf,QACE,KAAK,UAAU,KAAA,IACX,qDACA;GAEV,CAAC;GAED,QAAQ,KAAK;IAAE,QAAQ,OAAO;IAAI;GAAS,CAAC;EAC9C,QAAQ;GACN;EACF;CACF;CACA,OAAO,EAAE,QAAQ;AACnB;;;;;;;AAiEA,eAAsB,YACpB,QACA,SAC4B;CAC5B,MAAM,MAAM,QAAQ,8BAAc,IAAI,KAAK;CAC3C,MAAM,QAAQ,QAAQ,SAAS,cAAc,IAAI,CAAC,CAAC,YAAY,CAAC;CAChE,MAAM,SAAS,MAAM,OAAO,QAAQ,OAAO;EACzC,WAAW,QAAQ;EACnB;EACA,QAAQ,QAAQ;CAClB,CAAC;CACD,MAAM,WAAW,qBAAqB,QAAQ,SAAU,MAAM,OAAO,MAAM,KAAK,GAAI,KAAK;CACzF,IAAI,QAAQ,YAAY,OACtB,OAAO;EAAE;EAAO;EAAU,QAAQ;EAAY,aAAa;CAAiB;CAC9E,MAAM,SAAS,aAAa,UAAU,QAAQ,MAAM;CAEpD,eAAe,eACb,QACA,SAC4D;EAC5D,MAAM,QAAQ,WAAW,YAAY,cAAc;EACnD,IAAI,OAAO,QAAQ,WAAW,KAAA,GAC5B,OAAO;EAET,IAAI,QAAQ,WAAW,KAAA,GACrB,IAAI;GACF,MAAM,QAAQ,OAAO;IAAE;IAAS;IAAO;IAAU,QAAQ,QAAQ;GAAO,CAAC;EAC3E,QAAQ;GAEN,OAAO;EACT;EAEF,QAAQ,MAAM,OAAO,QAAQ,YAAY,OAAO,MAAM,EAAA,CAAG,UACrD,YACA;CACN;CAEA,IAAI,WAAW,aAAa;EAC1B,MAAM,cAAc,MAAM,eAAe,aAAa,kBAAkB;EAGxE,IAAI,OAAO,QAAQ,cAAc,KAAA,GAC/B,MAAM,OAAO,QAAQ,YAAY,OAAO,SAAS;EAEnD,OAAO;GAAE;GAAO;GAAU;GAAQ;EAAY;CAChD;CACA,IAAI,WAAW,WAEb,OAAO;EAAE;EAAO;EAAU;EAAQ,aAAA,MADR,eAAe,WAAW,gBAAgB;CACtB;CAEhD,OAAO;EAAE;EAAO;EAAU;EAAQ,aAAa;CAAiB;AAClE"}

package/dist/budgets.d.mts

@@ -0,0 +1,4 @@
+import { Budget, BudgetLimits, BudgetMonth, budgetLimitsSchema, budgetMonthSchema, budgetSchema } from "./schema/budget.mjs";
+import { BudgetNoticeStampResult, EnsureBudgetInput, SettleTaskInput, SettlementError } from "./store/engine.mjs";
+import { BudgetNotice, BudgetStatus, BudgetSweepOptions, BudgetSweepResult, BudgetSweepStores, SettlementSweepStores, SweepSettlementsOptions, SweepSettlementsResult, budgetMonthOf, budgetStatus, canReserve, computeMonthSpendUsd, sweepBudget, sweepSettlements } from "./budget.mjs";
+export { type Budget, type BudgetLimits, type BudgetMonth, type BudgetNotice, type BudgetNoticeStampResult, type BudgetStatus, type BudgetSweepOptions, type BudgetSweepResult, type BudgetSweepStores, type EnsureBudgetInput, type SettleTaskInput, SettlementError, type SettlementSweepStores, type SweepSettlementsOptions, type SweepSettlementsResult, budgetLimitsSchema, budgetMonthOf, budgetMonthSchema, budgetSchema, budgetStatus, canReserve, computeMonthSpendUsd, sweepBudget, sweepSettlements };

package/dist/budgets.mjs

@@ -0,0 +1,4 @@
+import { budgetLimitsSchema, budgetMonthSchema, budgetSchema } from "./schema/budget.mjs";
+import { budgetMonthOf, budgetStatus, canReserve, computeMonthSpendUsd, sweepBudget, sweepSettlements } from "./budget.mjs";
+import { SettlementError } from "./store/engine.mjs";
+export { SettlementError, budgetLimitsSchema, budgetMonthOf, budgetMonthSchema, budgetSchema, budgetStatus, canReserve, computeMonthSpendUsd, sweepBudget, sweepSettlements };

package/dist/build-factory.d.mts

@@ -1,12 +1,15 @@
-import { r as FactoryConfigInput } from "./factory-config-D2yU3G0c.mjs";
+/// <reference types="node" />
+import { FactoryConfigInput } from "./schema/factory-config.mjs";
 import { EveNextConfig, EveNextConfigFunction, EveNextConfigInput } from "eve/next";
 //#region src/build-factory.d.ts
-interface FactoryArgs<TConfig extends EveNextConfig = EveNextConfig> {
+/** Inputs for validating a Factory configuration and discovering its Eve agents at build time. */
+interface BuildFactoryOptions<TConfig extends EveNextConfig = EveNextConfig> {
   factoryConfig: FactoryConfigInput;
   nextConfig: EveNextConfigInput<TConfig>;
   root?: string;
 }
-declare function buildFactory<TConfig extends EveNextConfig>({ factoryConfig, nextConfig, root }: FactoryArgs<TConfig>): EveNextConfigFunction<TConfig>;
+/** Create an Eve Next.js configuration wrapper for the agents beneath a Factory project root. */
+declare function buildFactory<TConfig extends EveNextConfig>({ factoryConfig, nextConfig, root }: BuildFactoryOptions<TConfig>): EveNextConfigFunction<TConfig>;
 //#endregion
-export { FactoryArgs, buildFactory };
+export { BuildFactoryOptions, buildFactory };
 //# sourceMappingURL=build-factory.d.mts.map

package/dist/build-factory.mjs

@@ -1,7 +1,8 @@
-import { n as defineFactory } from "./factory-config-BoRXOw43.mjs";
+import { defineFactory } from "./schema/factory-config.mjs";
 import { readdirSync } from "node:fs";
 import path from "node:path";
 //#region src/build-factory.ts
+/** Create an Eve Next.js configuration wrapper for the agents beneath a Factory project root. */
 function buildFactory({ factoryConfig, nextConfig, root = process.cwd() }) {
 	defineFactory(factoryConfig);
 	const agentDefinitions = Object.fromEntries(readdirSync(path.join(root, "agents"), { withFileTypes: true }).filter((entry) => entry.isDirectory()).map((entry) => [entry.name, path.join(root, "agents", entry.name)]));

package/dist/build-factory.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"build-factory.mjs","names":[],"sources":["../src/build-factory.ts"],"sourcesContent":["import { readdirSync } from \"node:fs\";\nimport path from \"node:path\";\nimport {\n  type EveNextConfig,\n  type EveNextConfigFunction,\n  type EveNextConfigInput,\n  type WithEveAgentsConfig,\n} from \"eve/next\";\nimport { defineFactory, type FactoryConfigInput } from \"./schema/factory-config\";\n\nexport interface FactoryArgs<TConfig extends EveNextConfig = EveNextConfig> {\n  factoryConfig: FactoryConfigInput;\n  nextConfig: EveNextConfigInput<TConfig>;\n  root?: string;\n}\n\nexport function buildFactory<TConfig extends EveNextConfig>({\n  factoryConfig,\n  nextConfig,\n  root = process.cwd(),\n}: FactoryArgs<TConfig>): EveNextConfigFunction<TConfig> {\n  defineFactory(factoryConfig);\n  const agentDefinitions: WithEveAgentsConfig = Object.fromEntries(\n    readdirSync(path.join(root, \"agents\"), { withFileTypes: true })\n      .filter((entry) => entry.isDirectory())\n      .map((entry) => [entry.name, path.join(root, \"agents\", entry.name)]),\n  );\n  return async (phase, context) => {\n    const { withEve } = await import(\"eve/next\");\n    return withEve(nextConfig, { agents: agentDefinitions })(phase, context);\n  };\n}\n"],"mappings":";;;;AAgBA,SAAgB,aAA4C,EAC1D,eACA,YACA,OAAO,QAAQ,IAAI,KACoC;CACvD,cAAc,aAAa;CAC3B,MAAM,mBAAwC,OAAO,YACnD,YAAY,KAAK,KAAK,MAAM,QAAQ,GAAG,EAAE,eAAe,KAAK,CAAC,CAAC,CAC5D,QAAQ,UAAU,MAAM,YAAY,CAAC,CAAC,CACtC,KAAK,UAAU,CAAC,MAAM,MAAM,KAAK,KAAK,MAAM,UAAU,MAAM,IAAI,CAAC,CAAC,CACvE;CACA,OAAO,OAAO,OAAO,YAAY;EAC/B,MAAM,EAAE,YAAY,MAAM,OAAO;EACjC,OAAO,QAAQ,YAAY,EAAE,QAAQ,iBAAiB,CAAC,CAAC,CAAC,OAAO,OAAO;CACzE;AACF"}
+{"version":3,"file":"build-factory.mjs","names":[],"sources":["../src/build-factory.ts"],"sourcesContent":["import { readdirSync } from \"node:fs\";\nimport path from \"node:path\";\nimport {\n  type EveNextConfig,\n  type EveNextConfigFunction,\n  type EveNextConfigInput,\n  type WithEveAgentsConfig,\n} from \"eve/next\";\nimport { defineFactory, type FactoryConfigInput } from \"./schema/factory-config\";\n\n/** Inputs for validating a Factory configuration and discovering its Eve agents at build time. */\nexport interface BuildFactoryOptions<TConfig extends EveNextConfig = EveNextConfig> {\n  factoryConfig: FactoryConfigInput;\n  nextConfig: EveNextConfigInput<TConfig>;\n  root?: string;\n}\n\n/** Create an Eve Next.js configuration wrapper for the agents beneath a Factory project root. */\nexport function buildFactory<TConfig extends EveNextConfig>({\n  factoryConfig,\n  nextConfig,\n  root = process.cwd(),\n}: BuildFactoryOptions<TConfig>): EveNextConfigFunction<TConfig> {\n  defineFactory(factoryConfig);\n  const agentDefinitions: WithEveAgentsConfig = Object.fromEntries(\n    readdirSync(path.join(root, \"agents\"), { withFileTypes: true })\n      .filter((entry) => entry.isDirectory())\n      .map((entry) => [entry.name, path.join(root, \"agents\", entry.name)]),\n  );\n  return async (phase, context) => {\n    const { withEve } = await import(\"eve/next\");\n    return withEve(nextConfig, { agents: agentDefinitions })(phase, context);\n  };\n}\n"],"mappings":";;;;;AAkBA,SAAgB,aAA4C,EAC1D,eACA,YACA,OAAO,QAAQ,IAAI,KAC4C;CAC/D,cAAc,aAAa;CAC3B,MAAM,mBAAwC,OAAO,YACnD,YAAY,KAAK,KAAK,MAAM,QAAQ,GAAG,EAAE,eAAe,KAAK,CAAC,CAAC,CAC5D,QAAQ,UAAU,MAAM,YAAY,CAAC,CAAC,CACtC,KAAK,UAAU,CAAC,MAAM,MAAM,KAAK,KAAK,MAAM,UAAU,MAAM,IAAI,CAAC,CAAC,CACvE;CACA,OAAO,OAAO,OAAO,YAAY;EAC/B,MAAM,EAAE,YAAY,MAAM,OAAO;EACjC,OAAO,QAAQ,YAAY,EAAE,QAAQ,iBAAiB,CAAC,CAAC,CAAC,OAAO,OAAO;CACzE;AACF"}

package/dist/change-verification/brief.d.mts

@@ -0,0 +1,9 @@
+import { Repository } from "../schema/repository.mjs";
+import { Task } from "../schema/task.mjs";
+import { Change } from "../schema/change.mjs";
+//#region src/change-verification/brief.d.ts
+/** Format the starting brief for independently verifying a recorded Change. */
+declare function formatChangeVerificationBrief(task: Task, repository: Repository, change: Change): string;
+//#endregion
+export { formatChangeVerificationBrief };
+//# sourceMappingURL=brief.d.mts.map

package/dist/change-verification/brief.mjs

@@ -0,0 +1,13 @@
+//#region src/change-verification/brief.ts
+/** Format the starting brief for independently verifying a recorded Change. */
+function formatChangeVerificationBrief(task, repository, change) {
+	return [
+		`You are assigned factory verification task ${task.id} in repository ${repository.slug}.`,
+		`Change under review: ${change.id} (${change.prUrl}).`,
+		"Read the task with get_task, independently inspect and test the change, then call record_verification with every evidence field."
+	].join("\n");
+}
+//#endregion
+export { formatChangeVerificationBrief };
+
+//# sourceMappingURL=brief.mjs.map

package/dist/change-verification/brief.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"brief.mjs","names":[],"sources":["../../src/change-verification/brief.ts"],"sourcesContent":["import type { Change } from \"../schema/change\";\nimport type { Repository } from \"../schema/repository\";\nimport type { Task } from \"../schema/task\";\n\n/** Format the starting brief for independently verifying a recorded Change. */\nexport function formatChangeVerificationBrief(\n  task: Task,\n  repository: Repository,\n  change: Change,\n): string {\n  return [\n    `You are assigned factory verification task ${task.id} in repository ${repository.slug}.`,\n    `Change under review: ${change.id} (${change.prUrl}).`,\n    \"Read the task with get_task, independently inspect and test the change, then call record_verification with every evidence field.\",\n  ].join(\"\\n\");\n}\n"],"mappings":";;AAKA,SAAgB,8BACd,MACA,YACA,QACQ;CACR,OAAO;EACL,8CAA8C,KAAK,GAAG,iBAAiB,WAAW,KAAK;EACvF,wBAAwB,OAAO,GAAG,IAAI,OAAO,MAAM;EACnD;CACF,CAAC,CAAC,KAAK,IAAI;AACb"}

package/dist/change-verification/dispatch.d.mts

@@ -0,0 +1,37 @@
+import { TaskId } from "../schema/id.mjs";
+import { AgentRouteBinding } from "../schema/agent-route.mjs";
+import { Task } from "../schema/task.mjs";
+import "../agent-routes.mjs";
+import { FactoryStores } from "../store/engine.mjs";
+import { PresentVerificationResultInput } from "./eve-tool.mjs";
+//#region src/change-verification/dispatch.d.ts
+/** Store capabilities required to inspect and create verification Tasks. */
+type ChangeVerificationStores = Pick<FactoryStores, "tasks" | "changes" | "signals">;
+/** Verification Tasks admitted or found idempotently by one reconciliation pass. */
+interface EnsureChangeVerificationTasksResult {
+  readonly created: readonly TaskId[];
+  readonly existing: readonly TaskId[];
+}
+/** Stores, optional snapshot, and exact verifier route used by one admission pass. */
+interface EnsureChangeVerificationTasksOptions {
+  readonly stores: ChangeVerificationStores;
+  readonly tasks?: readonly Task[];
+  readonly route?: AgentRouteBinding;
+  /** Idempotent presentation callback, replayed from the saved outcome after interruption. */
+  readonly presentResult?: (input: PresentVerificationResultInput) => Promise<void>;
+}
+/** One verifier snapshot and the workflow adapters needed to recover its saved result. */
+interface RecoverChangeVerificationResultOptions extends Omit<EnsureChangeVerificationTasksOptions, "tasks"> {
+  readonly task: Task;
+}
+/**
+ * Recover an exact verifier attempt before generic lifecycle policy replaces or escalates it.
+ * Returns false when no eligible report exists; storage or presentation errors propagate so callers
+ * can defer lifecycle changes and retry the same attempt.
+ */
+declare function recoverChangeVerificationResult(options: RecoverChangeVerificationResultOptions): Promise<boolean>;
+/** Admit one verification child per producer attempt and recover its recorded outcome. */
+declare function ensureChangeVerificationTasks(options: EnsureChangeVerificationTasksOptions): Promise<EnsureChangeVerificationTasksResult>;
+//#endregion
+export { ChangeVerificationStores, EnsureChangeVerificationTasksOptions, EnsureChangeVerificationTasksResult, RecoverChangeVerificationResultOptions, ensureChangeVerificationTasks, recoverChangeVerificationResult };
+//# sourceMappingURL=dispatch.d.mts.map

package/dist/change-verification/dispatch.mjs

@@ -0,0 +1,83 @@
+import { parseAgentRouteBinding } from "../schema/agent-route.mjs";
+import { routeKey, routeTaskWork } from "../agent-routes.mjs";
+import { applyVerificationReport, verificationDelivery, verificationParentAttempt, verificationReportSchema } from "./result.mjs";
+//#region src/change-verification/dispatch.ts
+/**
+* Recover an exact verifier attempt before generic lifecycle policy replaces or escalates it.
+* Returns false when no eligible report exists; storage or presentation errors propagate so callers
+* can defer lifecycle changes and retry the same attempt.
+*/
+async function recoverChangeVerificationResult(options) {
+	const { stores, task } = options;
+	const route = options.route ?? parseAgentRouteBinding({
+		id: "verification",
+		version: 1
+	});
+	if (!task.work.route || routeKey(task.work.route) !== routeKey(route) || ![
+		"running",
+		"succeeded",
+		"failed"
+	].includes(task.state)) return false;
+	const report = await stores.signals.getByDelivery(verificationDelivery(task));
+	if (!report) return false;
+	if (!(await applyVerificationReport(stores, report)).recorded) return false;
+	const { output } = verificationReportSchema.parse(report.payload);
+	await options.presentResult?.({
+		taskId: task.id,
+		changeId: output.changeId,
+		verdict: output.verdict,
+		summary: output.summary
+	});
+	return true;
+}
+/** Admit one verification child per producer attempt and recover its recorded outcome. */
+async function ensureChangeVerificationTasks(options) {
+	const { stores } = options;
+	const route = options.route ?? parseAgentRouteBinding({
+		id: "verification",
+		version: 1
+	});
+	const tasks = options.tasks ?? await stores.tasks.list();
+	const existingIds = new Set(tasks.map((task) => task.id));
+	const result = {
+		created: [],
+		existing: []
+	};
+	for (const task of tasks) if (await recoverChangeVerificationResult({
+		...options,
+		task
+	})) result.existing.push(task.id);
+	const sources = tasks.filter((task) => task.work.route?.id === "code-change" && task.state === "verifying" && task.changeId !== void 0);
+	for (const snapshot of sources) {
+		const source = await stores.tasks.get(snapshot.id);
+		if (!source || source.state !== "verifying" || source.attempt !== snapshot.attempt || source.changeId !== snapshot.changeId) continue;
+		const existing = tasks.find((task) => task.work.route !== void 0 && routeKey(task.work.route) === routeKey(route) && task.parentTaskId === source.id && task.changeId === source.changeId && verificationParentAttempt(task) === source.attempt);
+		if (existing !== void 0) {
+			if (!result.existing.includes(existing.id)) result.existing.push(existing.id);
+			continue;
+		}
+		const verification = await stores.tasks.create({
+			repositoryIds: source.repositoryIds,
+			kind: "verification",
+			work: routeTaskWork({
+				route,
+				title: `Verify change ${source.changeId}`,
+				input: {
+					changeId: source.changeId,
+					parentAttempt: source.attempt
+				}
+			}),
+			origin: {},
+			parentTaskId: source.id,
+			replyTo: source.replyTo,
+			changeId: source.changeId,
+			dedupeKey: `verification:${source.id}:${source.attempt}:${source.changeId}:${routeKey(route)}`
+		});
+		(existingIds.has(verification.id) ? result.existing : result.created).push(verification.id);
+	}
+	return result;
+}
+//#endregion
+export { ensureChangeVerificationTasks, recoverChangeVerificationResult };
+
+//# sourceMappingURL=dispatch.mjs.map

package/dist/change-verification/dispatch.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"dispatch.mjs","names":[],"sources":["../../src/change-verification/dispatch.ts"],"sourcesContent":["import {\n  parseAgentRouteBinding,\n  routeKey,\n  routeTaskWork,\n  type AgentRouteBinding,\n} from \"../agent-routes\";\nimport type { TaskId } from \"../schema/id\";\nimport type { Task } from \"../schema/task\";\nimport type { FactoryStores } from \"../store/engine\";\nimport {\n  applyVerificationReport,\n  verificationDelivery,\n  verificationParentAttempt,\n  verificationReportSchema,\n} from \"./result\";\nimport type { PresentVerificationResultInput } from \"./eve-tool\";\n\n/** Store capabilities required to inspect and create verification Tasks. */\nexport type ChangeVerificationStores = Pick<FactoryStores, \"tasks\" | \"changes\" | \"signals\">;\n\n/** Verification Tasks admitted or found idempotently by one reconciliation pass. */\nexport interface EnsureChangeVerificationTasksResult {\n  readonly created: readonly TaskId[];\n  readonly existing: readonly TaskId[];\n}\n\n/** Stores, optional snapshot, and exact verifier route used by one admission pass. */\nexport interface EnsureChangeVerificationTasksOptions {\n  readonly stores: ChangeVerificationStores;\n  readonly tasks?: readonly Task[];\n  readonly route?: AgentRouteBinding;\n  /** Idempotent presentation callback, replayed from the saved outcome after interruption. */\n  readonly presentResult?: (input: PresentVerificationResultInput) => Promise<void>;\n}\n\n/** One verifier snapshot and the workflow adapters needed to recover its saved result. */\nexport interface RecoverChangeVerificationResultOptions extends Omit<\n  EnsureChangeVerificationTasksOptions,\n  \"tasks\"\n> {\n  readonly task: Task;\n}\n\n/**\n * Recover an exact verifier attempt before generic lifecycle policy replaces or escalates it.\n * Returns false when no eligible report exists; storage or presentation errors propagate so callers\n * can defer lifecycle changes and retry the same attempt.\n */\nexport async function recoverChangeVerificationResult(\n  options: RecoverChangeVerificationResultOptions,\n): Promise<boolean> {\n  const { stores, task } = options;\n  const route = options.route ?? parseAgentRouteBinding({ id: \"verification\", version: 1 });\n  if (\n    !task.work.route ||\n    routeKey(task.work.route) !== routeKey(route) ||\n    ![\"running\", \"succeeded\", \"failed\"].includes(task.state)\n  )\n    return false;\n  const report = await stores.signals.getByDelivery(verificationDelivery(task));\n  if (!report) return false;\n  const outcome = await applyVerificationReport(stores, report);\n  if (!outcome.recorded) return false;\n  const { output } = verificationReportSchema.parse(report.payload);\n  await options.presentResult?.({\n    taskId: task.id,\n    changeId: output.changeId,\n    verdict: output.verdict,\n    summary: output.summary,\n  });\n  return true;\n}\n\n/** Admit one verification child per producer attempt and recover its recorded outcome. */\nexport async function ensureChangeVerificationTasks(\n  options: EnsureChangeVerificationTasksOptions,\n): Promise<EnsureChangeVerificationTasksResult> {\n  const { stores } = options;\n  const route = options.route ?? parseAgentRouteBinding({ id: \"verification\", version: 1 });\n  const tasks = options.tasks ?? (await stores.tasks.list());\n  const existingIds = new Set(tasks.map((task) => task.id));\n  const result: { created: TaskId[]; existing: TaskId[] } = { created: [], existing: [] };\n  for (const task of tasks) {\n    if (await recoverChangeVerificationResult({ ...options, task })) result.existing.push(task.id);\n  }\n  const sources = tasks.filter(\n    (task) =>\n      task.work.route?.id === \"code-change\" &&\n      task.state === \"verifying\" &&\n      task.changeId !== undefined,\n  );\n\n  for (const snapshot of sources) {\n    const source = await stores.tasks.get(snapshot.id);\n    if (\n      !source ||\n      source.state !== \"verifying\" ||\n      source.attempt !== snapshot.attempt ||\n      source.changeId !== snapshot.changeId\n    )\n      continue;\n    const existing = tasks.find(\n      (task) =>\n        task.work.route !== undefined &&\n        routeKey(task.work.route) === routeKey(route) &&\n        task.parentTaskId === source.id &&\n        task.changeId === source.changeId &&\n        verificationParentAttempt(task) === source.attempt,\n    );\n    if (existing !== undefined) {\n      if (!result.existing.includes(existing.id)) result.existing.push(existing.id);\n      continue;\n    }\n    const verification = await stores.tasks.create({\n      repositoryIds: source.repositoryIds,\n      kind: \"verification\",\n      work: routeTaskWork({\n        route: route,\n        title: `Verify change ${source.changeId}`,\n        input: {\n          changeId: source.changeId!,\n          parentAttempt: source.attempt,\n        },\n      }),\n      origin: {},\n      parentTaskId: source.id,\n      replyTo: source.replyTo,\n      changeId: source.changeId,\n      dedupeKey: `verification:${source.id}:${source.attempt}:${source.changeId}:${routeKey(route)}`,\n    });\n    (existingIds.has(verification.id) ? result.existing : result.created).push(verification.id);\n  }\n\n  return result;\n}\n"],"mappings":";;;;;;;;;AAgDA,eAAsB,gCACpB,SACkB;CAClB,MAAM,EAAE,QAAQ,SAAS;CACzB,MAAM,QAAQ,QAAQ,SAAS,uBAAuB;EAAE,IAAI;EAAgB,SAAS;CAAE,CAAC;CACxF,IACE,CAAC,KAAK,KAAK,SACX,SAAS,KAAK,KAAK,KAAK,MAAM,SAAS,KAAK,KAC5C,CAAC;EAAC;EAAW;EAAa;CAAQ,CAAC,CAAC,SAAS,KAAK,KAAK,GAEvD,OAAO;CACT,MAAM,SAAS,MAAM,OAAO,QAAQ,cAAc,qBAAqB,IAAI,CAAC;CAC5E,IAAI,CAAC,QAAQ,OAAO;CAEpB,IAAI,EAAC,MADiB,wBAAwB,QAAQ,MAAM,EAAA,CAC/C,UAAU,OAAO;CAC9B,MAAM,EAAE,WAAW,yBAAyB,MAAM,OAAO,OAAO;CAChE,MAAM,QAAQ,gBAAgB;EAC5B,QAAQ,KAAK;EACb,UAAU,OAAO;EACjB,SAAS,OAAO;EAChB,SAAS,OAAO;CAClB,CAAC;CACD,OAAO;AACT;;AAGA,eAAsB,8BACpB,SAC8C;CAC9C,MAAM,EAAE,WAAW;CACnB,MAAM,QAAQ,QAAQ,SAAS,uBAAuB;EAAE,IAAI;EAAgB,SAAS;CAAE,CAAC;CACxF,MAAM,QAAQ,QAAQ,SAAU,MAAM,OAAO,MAAM,KAAK;CACxD,MAAM,cAAc,IAAI,IAAI,MAAM,KAAK,SAAS,KAAK,EAAE,CAAC;CACxD,MAAM,SAAoD;EAAE,SAAS,CAAC;EAAG,UAAU,CAAC;CAAE;CACtF,KAAK,MAAM,QAAQ,OACjB,IAAI,MAAM,gCAAgC;EAAE,GAAG;EAAS;CAAK,CAAC,GAAG,OAAO,SAAS,KAAK,KAAK,EAAE;CAE/F,MAAM,UAAU,MAAM,QACnB,SACC,KAAK,KAAK,OAAO,OAAO,iBACxB,KAAK,UAAU,eACf,KAAK,aAAa,KAAA,CACtB;CAEA,KAAK,MAAM,YAAY,SAAS;EAC9B,MAAM,SAAS,MAAM,OAAO,MAAM,IAAI,SAAS,EAAE;EACjD,IACE,CAAC,UACD,OAAO,UAAU,eACjB,OAAO,YAAY,SAAS,WAC5B,OAAO,aAAa,SAAS,UAE7B;EACF,MAAM,WAAW,MAAM,MACpB,SACC,KAAK,KAAK,UAAU,KAAA,KACpB,SAAS,KAAK,KAAK,KAAK,MAAM,SAAS,KAAK,KAC5C,KAAK,iBAAiB,OAAO,MAC7B,KAAK,aAAa,OAAO,YACzB,0BAA0B,IAAI,MAAM,OAAO,OAC/C;EACA,IAAI,aAAa,KAAA,GAAW;GAC1B,IAAI,CAAC,OAAO,SAAS,SAAS,SAAS,EAAE,GAAG,OAAO,SAAS,KAAK,SAAS,EAAE;GAC5E;EACF;EACA,MAAM,eAAe,MAAM,OAAO,MAAM,OAAO;GAC7C,eAAe,OAAO;GACtB,MAAM;GACN,MAAM,cAAc;IACX;IACP,OAAO,iBAAiB,OAAO;IAC/B,OAAO;KACL,UAAU,OAAO;KACjB,eAAe,OAAO;IACxB;GACF,CAAC;GACD,QAAQ,CAAC;GACT,cAAc,OAAO;GACrB,SAAS,OAAO;GAChB,UAAU,OAAO;GACjB,WAAW,gBAAgB,OAAO,GAAG,GAAG,OAAO,QAAQ,GAAG,OAAO,SAAS,GAAG,SAAS,KAAK;EAC7F,CAAC;EACD,CAAC,YAAY,IAAI,aAAa,EAAE,IAAI,OAAO,WAAW,OAAO,QAAA,CAAS,KAAK,aAAa,EAAE;CAC5F;CAEA,OAAO;AACT"}

package/dist/change-verification/eve-tool.d.mts

@@ -0,0 +1,61 @@
+import { ChangeId, TaskId } from "../schema/id.mjs";
+import { ChangeEvidence, ChangeLevel, ChangeState } from "../schema/change.mjs";
+import { FactoryStores } from "../store/engine.mjs";
+import { ToolContext, ToolDefinition } from "eve/tools";
+//#region src/change-verification/eve-tool.d.ts
+/** Change and Task capabilities required by the verification-result tool. */
+type RecordVerificationToolStores = Pick<FactoryStores, "changes" | "tasks" | "signals">;
+/** Verified outcome presented after its Task and Change updates commit. */
+interface PresentVerificationResultInput {
+  taskId: TaskId;
+  changeId: ChangeId;
+  verdict: "pass" | "fail";
+  summary: string;
+}
+/** Configures presentation after a verification verdict has been durably recorded. */
+interface RecordVerificationToolOptions {
+  /** Idempotent delivery, retried with the saved verdict after interrupted completion. */
+  presentResult?: (input: PresentVerificationResultInput) => Promise<void>;
+}
+/** Evidence and verdict supplied by the verifier for one Change. */
+interface RecordVerificationInput {
+  taskId: TaskId;
+  changeId: ChangeId;
+  verdict: "pass" | "fail";
+  evidence: ChangeEvidence;
+  confidence: ChangeLevel;
+  summary: string;
+}
+/** Bounded refusal returned when a verification result cannot be associated safely. */
+interface RecordVerificationRefusal {
+  readonly recorded: false;
+  readonly reason: string;
+}
+/** Durable lifecycle state returned after a verification verdict is recorded. */
+interface RecordVerificationSuccess {
+  readonly recorded: true;
+  readonly verdict: "pass" | "fail";
+  readonly changeState: ChangeState;
+  readonly taskState: "succeeded" | "failed";
+}
+/** Recorded verification state or bounded association refusal. */
+type RecordVerificationResult = RecordVerificationRefusal | RecordVerificationSuccess;
+/** Eve outcome tool that records evidence and a verdict for one Change. */
+interface RecordVerificationTool extends ToolDefinition<RecordVerificationInput, RecordVerificationResult> {
+  execute(input: RecordVerificationInput, ctx: ToolContext): Promise<RecordVerificationResult>;
+}
+/**
+ * The verifier's outcome tool. Writes evidence onto the change and moves it
+ * to ready only when the verdict is pass; a failed verdict leaves the change
+ * verifying with the evidence recorded, and the verification task itself
+ * ends with a receipt either way. The change's own code_change task follows
+ * the verdict too: succeeded on pass, failed on fail with the verifier's
+ * summary as the reason, so the ledger never shows a verified-and-rejected fix
+ * as still in progress. Fail closed: the agent cannot mark a change ready
+ * without supplying every evidence field. Requires the authenticated current
+ * Task execution and matching parent, Change, and repository associations.
+ */
+declare function createRecordVerificationTool(stores: RecordVerificationToolStores, options?: RecordVerificationToolOptions): RecordVerificationTool;
+//#endregion
+export { PresentVerificationResultInput, RecordVerificationInput, RecordVerificationRefusal, RecordVerificationResult, RecordVerificationSuccess, RecordVerificationTool, RecordVerificationToolOptions, RecordVerificationToolStores, createRecordVerificationTool };
+//# sourceMappingURL=eve-tool.d.mts.map

package/dist/change-verification/eve-tool.mjs

@@ -0,0 +1,89 @@
+import { changeIdSchema, taskIdSchema } from "../schema/id.mjs";
+import { requireTaskExecution, requireTaskExecutionIdentity } from "../eve/task-execution.mjs";
+import { changeEvidenceSchema, changeLevelSchema } from "../schema/change.mjs";
+import { applyVerificationReport, saveVerificationReport, verificationDelivery, verificationOutputSchema, verificationParentAttempt } from "./result.mjs";
+import { z } from "zod";
+import { defineTool } from "eve/tools";
+import { isDeepStrictEqual } from "node:util";
+//#region src/change-verification/eve-tool.ts
+/**
+* The verifier's outcome tool. Writes evidence onto the change and moves it
+* to ready only when the verdict is pass; a failed verdict leaves the change
+* verifying with the evidence recorded, and the verification task itself
+* ends with a receipt either way. The change's own code_change task follows
+* the verdict too: succeeded on pass, failed on fail with the verifier's
+* summary as the reason, so the ledger never shows a verified-and-rejected fix
+* as still in progress. Fail closed: the agent cannot mark a change ready
+* without supplying every evidence field. Requires the authenticated current
+* Task execution and matching parent, Change, and repository associations.
+*/
+function createRecordVerificationTool(stores, options = {}) {
+	return defineTool({
+		description: "Record the outcome of a verification task: the evidence you gathered and whether the change passed. Pass moves the change to ready for human review; fail keeps it out of review.",
+		inputSchema: z.object({
+			taskId: taskIdSchema.describe("Your verification task."),
+			changeId: changeIdSchema.describe("The change you verified."),
+			verdict: z.enum(["pass", "fail"]),
+			evidence: changeEvidenceSchema,
+			confidence: changeLevelSchema.describe("How certain you are in the verdict."),
+			summary: z.string().min(1).max(2e3).describe("What you checked and what you found.")
+		}),
+		async execute({ taskId, changeId, verdict, evidence, confidence, summary }, ctx) {
+			const task = await requireTaskExecutionIdentity(stores, ctx, taskId);
+			const output = verificationOutputSchema.parse({
+				changeId,
+				verdict,
+				evidence,
+				confidence,
+				summary
+			});
+			if (![
+				"running",
+				"succeeded",
+				"failed"
+			].includes(task.state)) throw new Error("Task execution is missing, inactive, or replaced");
+			const saved = await stores.signals.getByDelivery(verificationDelivery(task));
+			if (saved) {
+				const recorded = z.object({ output: verificationOutputSchema }).parse(saved.payload).output;
+				if (!isDeepStrictEqual(recorded, output)) throw new Error("This verification attempt already recorded a different result");
+				const result = await applyVerificationReport(stores, saved);
+				if (result.recorded) await options.presentResult?.({
+					taskId,
+					changeId,
+					verdict,
+					summary
+				});
+				return result;
+			}
+			await requireTaskExecution(stores, ctx, taskId);
+			const change = await stores.changes.get(changeId);
+			if (change === null) return {
+				recorded: false,
+				reason: `change ${changeId} does not exist`
+			};
+			if (change.state !== "verifying" && change.state !== "ready") return {
+				recorded: false,
+				reason: `change is ${change.state}, not open for verification; nothing to record`
+			};
+			const parent = task.parentTaskId === void 0 ? null : await stores.tasks.get(task.parentTaskId);
+			if (task.changeId !== changeId || parent === null || parent.changeId !== changeId || parent.state !== "verifying" || parent.attempt !== verificationParentAttempt(task) || task.rootTaskId !== parent.rootTaskId || task.repositoryIds.length !== 1 || task.repositoryIds[0] !== change.repositoryId || parent.repositoryIds.length !== 1 || parent.repositoryIds[0] !== change.repositoryId) return {
+				recorded: false,
+				reason: "Verification Task, parent, Change, and repository must match"
+			};
+			await requireTaskExecution(stores, ctx, taskId);
+			const report = await saveVerificationReport(stores, task, output);
+			const result = await applyVerificationReport(stores, report);
+			if (result.recorded) await options.presentResult?.({
+				taskId,
+				changeId,
+				verdict,
+				summary
+			});
+			return result;
+		}
+	});
+}
+//#endregion
+export { createRecordVerificationTool };
+
+//# sourceMappingURL=eve-tool.mjs.map

package/dist/change-verification/eve-tool.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"eve-tool.mjs","names":[],"sources":["../../src/change-verification/eve-tool.ts"],"sourcesContent":["import { defineTool, type ToolContext, type ToolDefinition } from \"eve/tools\";\nimport { z } from \"zod\";\nimport {\n  changeEvidenceSchema,\n  changeLevelSchema,\n  type ChangeEvidence,\n  type ChangeLevel,\n  type ChangeState,\n} from \"../schema/change\";\nimport { changeIdSchema, taskIdSchema } from \"../schema/id\";\nimport type { ChangeId, TaskId } from \"../schema/id\";\nimport type { FactoryStores } from \"../store/engine\";\nimport { requireTaskExecution, requireTaskExecutionIdentity } from \"../eve/task-execution\";\nimport { isDeepStrictEqual } from \"node:util\";\nimport {\n  applyVerificationReport,\n  saveVerificationReport,\n  verificationDelivery,\n  verificationOutputSchema,\n  verificationParentAttempt,\n} from \"./result\";\n\n/** Change and Task capabilities required by the verification-result tool. */\nexport type RecordVerificationToolStores = Pick<FactoryStores, \"changes\" | \"tasks\" | \"signals\">;\n\n/** Verified outcome presented after its Task and Change updates commit. */\nexport interface PresentVerificationResultInput {\n  taskId: TaskId;\n  changeId: ChangeId;\n  verdict: \"pass\" | \"fail\";\n  summary: string;\n}\n\n/** Configures presentation after a verification verdict has been durably recorded. */\nexport interface RecordVerificationToolOptions {\n  /** Idempotent delivery, retried with the saved verdict after interrupted completion. */\n  presentResult?: (input: PresentVerificationResultInput) => Promise<void>;\n}\n\n/** Evidence and verdict supplied by the verifier for one Change. */\nexport interface RecordVerificationInput {\n  taskId: TaskId;\n  changeId: ChangeId;\n  verdict: \"pass\" | \"fail\";\n  evidence: ChangeEvidence;\n  confidence: ChangeLevel;\n  summary: string;\n}\n\n/** Bounded refusal returned when a verification result cannot be associated safely. */\nexport interface RecordVerificationRefusal {\n  readonly recorded: false;\n  readonly reason: string;\n}\n\n/** Durable lifecycle state returned after a verification verdict is recorded. */\nexport interface RecordVerificationSuccess {\n  readonly recorded: true;\n  readonly verdict: \"pass\" | \"fail\";\n  readonly changeState: ChangeState;\n  readonly taskState: \"succeeded\" | \"failed\";\n}\n\n/** Recorded verification state or bounded association refusal. */\nexport type RecordVerificationResult = RecordVerificationRefusal | RecordVerificationSuccess;\n\n/** Eve outcome tool that records evidence and a verdict for one Change. */\nexport interface RecordVerificationTool extends ToolDefinition<\n  RecordVerificationInput,\n  RecordVerificationResult\n> {\n  execute(input: RecordVerificationInput, ctx: ToolContext): Promise<RecordVerificationResult>;\n}\n\n/**\n * The verifier's outcome tool. Writes evidence onto the change and moves it\n * to ready only when the verdict is pass; a failed verdict leaves the change\n * verifying with the evidence recorded, and the verification task itself\n * ends with a receipt either way. The change's own code_change task follows\n * the verdict too: succeeded on pass, failed on fail with the verifier's\n * summary as the reason, so the ledger never shows a verified-and-rejected fix\n * as still in progress. Fail closed: the agent cannot mark a change ready\n * without supplying every evidence field. Requires the authenticated current\n * Task execution and matching parent, Change, and repository associations.\n */\nexport function createRecordVerificationTool(\n  stores: RecordVerificationToolStores,\n  options: RecordVerificationToolOptions = {},\n): RecordVerificationTool {\n  return defineTool({\n    description:\n      \"Record the outcome of a verification task: the evidence you gathered and whether the change passed. Pass moves the change to ready for human review; fail keeps it out of review.\",\n    inputSchema: z.object({\n      taskId: taskIdSchema.describe(\"Your verification task.\"),\n      changeId: changeIdSchema.describe(\"The change you verified.\"),\n      verdict: z.enum([\"pass\", \"fail\"]),\n      evidence: changeEvidenceSchema,\n      confidence: changeLevelSchema.describe(\"How certain you are in the verdict.\"),\n      summary: z.string().min(1).max(2000).describe(\"What you checked and what you found.\"),\n    }),\n    async execute(\n      { taskId, changeId, verdict, evidence, confidence, summary },\n      ctx,\n    ): Promise<RecordVerificationResult> {\n      const task = await requireTaskExecutionIdentity(stores, ctx, taskId);\n      const output = verificationOutputSchema.parse({\n        changeId,\n        verdict,\n        evidence,\n        confidence,\n        summary,\n      });\n      if (![\"running\", \"succeeded\", \"failed\"].includes(task.state))\n        throw new Error(\"Task execution is missing, inactive, or replaced\");\n      const saved = await stores.signals.getByDelivery(verificationDelivery(task));\n      if (saved) {\n        const recorded = z.object({ output: verificationOutputSchema }).parse(saved.payload).output;\n        if (!isDeepStrictEqual(recorded, output))\n          throw new Error(\"This verification attempt already recorded a different result\");\n        const result = await applyVerificationReport(stores, saved);\n        if (result.recorded) await options.presentResult?.({ taskId, changeId, verdict, summary });\n        return result;\n      }\n      await requireTaskExecution(stores, ctx, taskId);\n      const change = await stores.changes.get(changeId);\n      if (change === null) {\n        return { recorded: false as const, reason: `change ${changeId} does not exist` };\n      }\n      if (change.state !== \"verifying\" && change.state !== \"ready\") {\n        return {\n          recorded: false as const,\n          reason: `change is ${change.state}, not open for verification; nothing to record`,\n        };\n      }\n\n      const parent =\n        task.parentTaskId === undefined ? null : await stores.tasks.get(task.parentTaskId);\n      if (\n        task.changeId !== changeId ||\n        parent === null ||\n        parent.changeId !== changeId ||\n        parent.state !== \"verifying\" ||\n        parent.attempt !== verificationParentAttempt(task) ||\n        task.rootTaskId !== parent.rootTaskId ||\n        task.repositoryIds.length !== 1 ||\n        task.repositoryIds[0] !== change.repositoryId ||\n        parent.repositoryIds.length !== 1 ||\n        parent.repositoryIds[0] !== change.repositoryId\n      ) {\n        return {\n          recorded: false as const,\n          reason: \"Verification Task, parent, Change, and repository must match\",\n        };\n      }\n\n      await requireTaskExecution(stores, ctx, taskId);\n\n      const report = await saveVerificationReport(stores, task, output);\n      const result = await applyVerificationReport(stores, report);\n      if (result.recorded) await options.presentResult?.({ taskId, changeId, verdict, summary });\n      return result;\n    },\n  });\n}\n"],"mappings":";;;;;;;;;;;;;;;;;;;AAqFA,SAAgB,6BACd,QACA,UAAyC,CAAC,GAClB;CACxB,OAAO,WAAW;EAChB,aACE;EACF,aAAa,EAAE,OAAO;GACpB,QAAQ,aAAa,SAAS,yBAAyB;GACvD,UAAU,eAAe,SAAS,0BAA0B;GAC5D,SAAS,EAAE,KAAK,CAAC,QAAQ,MAAM,CAAC;GAChC,UAAU;GACV,YAAY,kBAAkB,SAAS,qCAAqC;GAC5E,SAAS,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAI,CAAC,CAAC,SAAS,sCAAsC;EACtF,CAAC;EACD,MAAM,QACJ,EAAE,QAAQ,UAAU,SAAS,UAAU,YAAY,WACnD,KACmC;GACnC,MAAM,OAAO,MAAM,6BAA6B,QAAQ,KAAK,MAAM;GACnE,MAAM,SAAS,yBAAyB,MAAM;IAC5C;IACA;IACA;IACA;IACA;GACF,CAAC;GACD,IAAI,CAAC;IAAC;IAAW;IAAa;GAAQ,CAAC,CAAC,SAAS,KAAK,KAAK,GACzD,MAAM,IAAI,MAAM,kDAAkD;GACpE,MAAM,QAAQ,MAAM,OAAO,QAAQ,cAAc,qBAAqB,IAAI,CAAC;GAC3E,IAAI,OAAO;IACT,MAAM,WAAW,EAAE,OAAO,EAAE,QAAQ,yBAAyB,CAAC,CAAC,CAAC,MAAM,MAAM,OAAO,CAAC,CAAC;IACrF,IAAI,CAAC,kBAAkB,UAAU,MAAM,GACrC,MAAM,IAAI,MAAM,+DAA+D;IACjF,MAAM,SAAS,MAAM,wBAAwB,QAAQ,KAAK;IAC1D,IAAI,OAAO,UAAU,MAAM,QAAQ,gBAAgB;KAAE;KAAQ;KAAU;KAAS;IAAQ,CAAC;IACzF,OAAO;GACT;GACA,MAAM,qBAAqB,QAAQ,KAAK,MAAM;GAC9C,MAAM,SAAS,MAAM,OAAO,QAAQ,IAAI,QAAQ;GAChD,IAAI,WAAW,MACb,OAAO;IAAE,UAAU;IAAgB,QAAQ,UAAU,SAAS;GAAiB;GAEjF,IAAI,OAAO,UAAU,eAAe,OAAO,UAAU,SACnD,OAAO;IACL,UAAU;IACV,QAAQ,aAAa,OAAO,MAAM;GACpC;GAGF,MAAM,SACJ,KAAK,iBAAiB,KAAA,IAAY,OAAO,MAAM,OAAO,MAAM,IAAI,KAAK,YAAY;GACnF,IACE,KAAK,aAAa,YAClB,WAAW,QACX,OAAO,aAAa,YACpB,OAAO,UAAU,eACjB,OAAO,YAAY,0BAA0B,IAAI,KACjD,KAAK,eAAe,OAAO,cAC3B,KAAK,cAAc,WAAW,KAC9B,KAAK,cAAc,OAAO,OAAO,gBACjC,OAAO,cAAc,WAAW,KAChC,OAAO,cAAc,OAAO,OAAO,cAEnC,OAAO;IACL,UAAU;IACV,QAAQ;GACV;GAGF,MAAM,qBAAqB,QAAQ,KAAK,MAAM;GAE9C,MAAM,SAAS,MAAM,uBAAuB,QAAQ,MAAM,MAAM;GAChE,MAAM,SAAS,MAAM,wBAAwB,QAAQ,MAAM;GAC3D,IAAI,OAAO,UAAU,MAAM,QAAQ,gBAAgB;IAAE;IAAQ;IAAU;IAAS;GAAQ,CAAC;GACzF,OAAO;EACT;CACF,CAAC;AACH"}

package/dist/change-verification/result.mjs

@@ -0,0 +1,130 @@
+import { changeIdSchema, taskIdSchema } from "../schema/id.mjs";
+import { executionReferenceSchema } from "../schema/task.mjs";
+import { changeEvidenceSchema, changeLevelSchema } from "../schema/change.mjs";
+import { z } from "zod";
+import { isDeepStrictEqual } from "node:util";
+//#region src/change-verification/result.ts
+const verificationOutputSchema = z.object({
+	changeId: changeIdSchema,
+	verdict: z.enum(["pass", "fail"]),
+	evidence: changeEvidenceSchema,
+	confidence: changeLevelSchema,
+	summary: z.string().min(1).max(2e3)
+});
+const verificationReportSchema = z.object({
+	taskId: taskIdSchema,
+	attempt: z.number().int().positive(),
+	execution: executionReferenceSchema,
+	parentTaskId: taskIdSchema,
+	parentAttempt: z.number().int().positive(),
+	output: verificationOutputSchema
+});
+function verificationParentAttempt(task) {
+	return z.object({ parentAttempt: z.number().int().positive().default(1) }).parse(task.work.input).parentAttempt;
+}
+function verificationDelivery(task) {
+	return {
+		source: "change_verification",
+		deliveryId: `${task.id}:${task.attempt}`
+	};
+}
+async function saveVerificationReport(stores, task, output) {
+	const payload = verificationReportSchema.parse({
+		taskId: task.id,
+		attempt: task.attempt,
+		execution: task.execution,
+		parentTaskId: task.parentTaskId,
+		parentAttempt: verificationParentAttempt(task),
+		output
+	});
+	const report = await stores.signals.create({
+		...verificationDelivery(task),
+		repositoryId: task.repositoryIds[0],
+		replyTo: task.replyTo,
+		payload
+	});
+	if (report.repositoryId !== task.repositoryIds[0] || !isDeepStrictEqual(report.payload, payload)) throw new Error("This verification attempt already recorded a different result");
+	return report;
+}
+async function applyVerificationReport(stores, report) {
+	const saved = verificationReportSchema.parse(report.payload);
+	const task = await stores.tasks.get(saved.taskId);
+	const parent = await stores.tasks.get(saved.parentTaskId);
+	const { output } = saved;
+	const terminal = output.verdict === "pass" ? "succeeded" : "failed";
+	const change = await stores.changes.get(output.changeId);
+	if (report.source !== "change_verification" || !task || !parent || !change || report.deliveryId !== verificationDelivery(task).deliveryId || task.attempt !== saved.attempt || !isDeepStrictEqual(task.execution, saved.execution) || task.parentTaskId !== parent.id || verificationParentAttempt(task) !== saved.parentAttempt || parent.attempt !== saved.parentAttempt || task.rootTaskId !== parent.rootTaskId || task.changeId !== change.id || parent.changeId !== change.id || task.repositoryIds.length !== 1 || parent.repositoryIds.length !== 1 || task.repositoryIds[0] !== change.repositoryId || parent.repositoryIds[0] !== change.repositoryId || report.repositoryId !== change.repositoryId || task.state !== "running" && !(task.state === terminal && task.reportRef === report.id) || parent.state !== "verifying" && !(parent.state === terminal && parent.reportRef === report.id)) return {
+		recorded: false,
+		reason: "Verification result no longer belongs to the current Task and producer attempt"
+	};
+	let updatedChange = change;
+	if (task.state === "running") {
+		if (parent.state !== "verifying" || !["verifying", "ready"].includes(change.state)) return {
+			recorded: false,
+			reason: "Change and producer are no longer open for verification"
+		};
+		const target = output.verdict === "pass" ? "ready" : "verifying";
+		if (change.state !== target) updatedChange = await stores.changes.transition(change.id, target, {
+			reason: output.summary,
+			patch: {
+				evidence: output.evidence,
+				confidence: output.confidence
+			}
+		});
+		if (!isDeepStrictEqual(updatedChange.evidence, output.evidence) || updatedChange.confidence !== output.confidence) updatedChange = await stores.changes.updateEvidence(change.id, {
+			evidence: output.evidence,
+			confidence: output.confidence,
+			expected: updatedChange
+		});
+		const fence = {
+			expectFrom: "running",
+			expectAttempt: saved.attempt,
+			expectExecution: saved.execution,
+			patch: { reportRef: report.id },
+			phase: "verification"
+		};
+		if (output.verdict === "pass") await stores.tasks.transition(task.id, "succeeded", {
+			...fence,
+			output
+		});
+		else await stores.tasks.transition(task.id, "failed", {
+			...fence,
+			reason: output.summary
+		});
+	}
+	if (parent.state === "verifying") {
+		const fence = {
+			expectFrom: "verifying",
+			expectAttempt: saved.parentAttempt,
+			expectExecution: parent.execution,
+			patch: { reportRef: report.id },
+			phase: "verification"
+		};
+		if (output.verdict === "pass") await stores.tasks.transition(parent.id, "succeeded", {
+			...fence,
+			output
+		});
+		else await stores.tasks.transition(parent.id, "failed", {
+			...fence,
+			reason: `verification failed: ${output.summary}`
+		});
+	}
+	if (report.outcome === "pending") try {
+		await stores.signals.decide(report.id, {
+			outcome: "accepted",
+			reason: "Verification outcome applied"
+		});
+	} catch (error) {
+		if ((await stores.signals.get(report.id))?.outcome !== "accepted") throw error;
+	}
+	return {
+		recorded: true,
+		verdict: output.verdict,
+		changeState: updatedChange.state,
+		taskState: terminal
+	};
+}
+//#endregion
+export { applyVerificationReport, saveVerificationReport, verificationDelivery, verificationOutputSchema, verificationParentAttempt, verificationReportSchema };
+
+//# sourceMappingURL=result.mjs.map

package/dist/change-verification/result.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"result.mjs","names":[],"sources":["../../src/change-verification/result.ts"],"sourcesContent":["import { isDeepStrictEqual } from \"node:util\";\nimport { z } from \"zod\";\nimport { changeEvidenceSchema, changeLevelSchema } from \"../schema/change\";\nimport { changeIdSchema, taskIdSchema } from \"../schema/id\";\nimport type { Signal } from \"../schema/signal\";\nimport { executionReferenceSchema, type Task } from \"../schema/task\";\nimport type { FactoryStores } from \"../store/engine\";\nimport type { RecordVerificationResult } from \"./eve-tool\";\n\nexport const verificationOutputSchema = z.object({\n  changeId: changeIdSchema,\n  verdict: z.enum([\"pass\", \"fail\"]),\n  evidence: changeEvidenceSchema,\n  confidence: changeLevelSchema,\n  summary: z.string().min(1).max(2000),\n});\n\nexport const verificationReportSchema = z.object({\n  taskId: taskIdSchema,\n  attempt: z.number().int().positive(),\n  execution: executionReferenceSchema,\n  parentTaskId: taskIdSchema,\n  parentAttempt: z.number().int().positive(),\n  output: verificationOutputSchema,\n});\n\ntype Stores = Pick<FactoryStores, \"tasks\" | \"changes\" | \"signals\">;\n\nexport function verificationParentAttempt(task: Task): number {\n  // Pre-binding verification Tasks only authorize the initial producer attempt.\n  return z.object({ parentAttempt: z.number().int().positive().default(1) }).parse(task.work.input)\n    .parentAttempt;\n}\n\nexport function verificationDelivery(task: Task) {\n  return { source: \"change_verification\", deliveryId: `${task.id}:${task.attempt}` };\n}\n\nexport async function saveVerificationReport(\n  stores: Stores,\n  task: Task,\n  output: z.infer<typeof verificationOutputSchema>,\n) {\n  const payload = verificationReportSchema.parse({\n    taskId: task.id,\n    attempt: task.attempt,\n    execution: task.execution,\n    parentTaskId: task.parentTaskId,\n    parentAttempt: verificationParentAttempt(task),\n    output,\n  });\n  const report = await stores.signals.create({\n    ...verificationDelivery(task),\n    repositoryId: task.repositoryIds[0]!,\n    replyTo: task.replyTo,\n    payload,\n  });\n  if (report.repositoryId !== task.repositoryIds[0] || !isDeepStrictEqual(report.payload, payload))\n    throw new Error(\"This verification attempt already recorded a different result\");\n  return report;\n}\n\nexport async function applyVerificationReport(\n  stores: Stores,\n  report: Signal,\n): Promise<RecordVerificationResult> {\n  const saved = verificationReportSchema.parse(report.payload);\n  const task = await stores.tasks.get(saved.taskId);\n  const parent = await stores.tasks.get(saved.parentTaskId);\n  const { output } = saved;\n  const terminal = output.verdict === \"pass\" ? \"succeeded\" : \"failed\";\n  const change = await stores.changes.get(output.changeId);\n  if (\n    report.source !== \"change_verification\" ||\n    !task ||\n    !parent ||\n    !change ||\n    report.deliveryId !== verificationDelivery(task).deliveryId ||\n    task.attempt !== saved.attempt ||\n    !isDeepStrictEqual(task.execution, saved.execution) ||\n    task.parentTaskId !== parent.id ||\n    verificationParentAttempt(task) !== saved.parentAttempt ||\n    parent.attempt !== saved.parentAttempt ||\n    task.rootTaskId !== parent.rootTaskId ||\n    task.changeId !== change.id ||\n    parent.changeId !== change.id ||\n    task.repositoryIds.length !== 1 ||\n    parent.repositoryIds.length !== 1 ||\n    task.repositoryIds[0] !== change.repositoryId ||\n    parent.repositoryIds[0] !== change.repositoryId ||\n    report.repositoryId !== change.repositoryId ||\n    (task.state !== \"running\" && !(task.state === terminal && task.reportRef === report.id)) ||\n    (parent.state !== \"verifying\" && !(parent.state === terminal && parent.reportRef === report.id))\n  )\n    return {\n      recorded: false,\n      reason: \"Verification result no longer belongs to the current Task and producer attempt\",\n    };\n\n  let updatedChange = change;\n  if (task.state === \"running\") {\n    if (parent.state !== \"verifying\" || ![\"verifying\", \"ready\"].includes(change.state))\n      return { recorded: false, reason: \"Change and producer are no longer open for verification\" };\n    const target = output.verdict === \"pass\" ? \"ready\" : \"verifying\";\n    if (change.state !== target)\n      updatedChange = await stores.changes.transition(change.id, target, {\n        reason: output.summary,\n        patch: { evidence: output.evidence, confidence: output.confidence },\n      });\n    if (\n      !isDeepStrictEqual(updatedChange.evidence, output.evidence) ||\n      updatedChange.confidence !== output.confidence\n    )\n      updatedChange = await stores.changes.updateEvidence(change.id, {\n        evidence: output.evidence,\n        confidence: output.confidence,\n        expected: updatedChange,\n      });\n    const fence = {\n      expectFrom: \"running\" as const,\n      expectAttempt: saved.attempt,\n      expectExecution: saved.execution,\n      patch: { reportRef: report.id },\n      phase: \"verification\",\n    };\n    if (output.verdict === \"pass\")\n      await stores.tasks.transition(task.id, \"succeeded\", { ...fence, output });\n    else await stores.tasks.transition(task.id, \"failed\", { ...fence, reason: output.summary });\n  }\n  if (parent.state === \"verifying\") {\n    const fence = {\n      expectFrom: \"verifying\" as const,\n      expectAttempt: saved.parentAttempt,\n      expectExecution: parent.execution,\n      patch: { reportRef: report.id },\n      phase: \"verification\",\n    };\n    if (output.verdict === \"pass\")\n      await stores.tasks.transition(parent.id, \"succeeded\", { ...fence, output });\n    else\n      await stores.tasks.transition(parent.id, \"failed\", {\n        ...fence,\n        reason: `verification failed: ${output.summary}`,\n      });\n  }\n  if (report.outcome === \"pending\") {\n    try {\n      await stores.signals.decide(report.id, {\n        outcome: \"accepted\",\n        reason: \"Verification outcome applied\",\n      });\n    } catch (error) {\n      if ((await stores.signals.get(report.id))?.outcome !== \"accepted\") throw error;\n    }\n  }\n  return {\n    recorded: true,\n    verdict: output.verdict,\n    changeState: updatedChange.state,\n    taskState: terminal,\n  };\n}\n"],"mappings":";;;;;;AASA,MAAa,2BAA2B,EAAE,OAAO;CAC/C,UAAU;CACV,SAAS,EAAE,KAAK,CAAC,QAAQ,MAAM,CAAC;CAChC,UAAU;CACV,YAAY;CACZ,SAAS,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAI;AACrC,CAAC;AAED,MAAa,2BAA2B,EAAE,OAAO;CAC/C,QAAQ;CACR,SAAS,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS;CACnC,WAAW;CACX,cAAc;CACd,eAAe,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS;CACzC,QAAQ;AACV,CAAC;AAID,SAAgB,0BAA0B,MAAoB;CAE5D,OAAO,EAAE,OAAO,EAAE,eAAe,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,KAAK,KAAK,CAAC,CAC9F;AACL;AAEA,SAAgB,qBAAqB,MAAY;CAC/C,OAAO;EAAE,QAAQ;EAAuB,YAAY,GAAG,KAAK,GAAG,GAAG,KAAK;CAAU;AACnF;AAEA,eAAsB,uBACpB,QACA,MACA,QACA;CACA,MAAM,UAAU,yBAAyB,MAAM;EAC7C,QAAQ,KAAK;EACb,SAAS,KAAK;EACd,WAAW,KAAK;EAChB,cAAc,KAAK;EACnB,eAAe,0BAA0B,IAAI;EAC7C;CACF,CAAC;CACD,MAAM,SAAS,MAAM,OAAO,QAAQ,OAAO;EACzC,GAAG,qBAAqB,IAAI;EAC5B,cAAc,KAAK,cAAc;EACjC,SAAS,KAAK;EACd;CACF,CAAC;CACD,IAAI,OAAO,iBAAiB,KAAK,cAAc,MAAM,CAAC,kBAAkB,OAAO,SAAS,OAAO,GAC7F,MAAM,IAAI,MAAM,+DAA+D;CACjF,OAAO;AACT;AAEA,eAAsB,wBACpB,QACA,QACmC;CACnC,MAAM,QAAQ,yBAAyB,MAAM,OAAO,OAAO;CAC3D,MAAM,OAAO,MAAM,OAAO,MAAM,IAAI,MAAM,MAAM;CAChD,MAAM,SAAS,MAAM,OAAO,MAAM,IAAI,MAAM,YAAY;CACxD,MAAM,EAAE,WAAW;CACnB,MAAM,WAAW,OAAO,YAAY,SAAS,cAAc;CAC3D,MAAM,SAAS,MAAM,OAAO,QAAQ,IAAI,OAAO,QAAQ;CACvD,IACE,OAAO,WAAW,yBAClB,CAAC,QACD,CAAC,UACD,CAAC,UACD,OAAO,eAAe,qBAAqB,IAAI,CAAC,CAAC,cACjD,KAAK,YAAY,MAAM,WACvB,CAAC,kBAAkB,KAAK,WAAW,MAAM,SAAS,KAClD,KAAK,iBAAiB,OAAO,MAC7B,0BAA0B,IAAI,MAAM,MAAM,iBAC1C,OAAO,YAAY,MAAM,iBACzB,KAAK,eAAe,OAAO,cAC3B,KAAK,aAAa,OAAO,MACzB,OAAO,aAAa,OAAO,MAC3B,KAAK,cAAc,WAAW,KAC9B,OAAO,cAAc,WAAW,KAChC,KAAK,cAAc,OAAO,OAAO,gBACjC,OAAO,cAAc,OAAO,OAAO,gBACnC,OAAO,iBAAiB,OAAO,gBAC9B,KAAK,UAAU,aAAa,EAAE,KAAK,UAAU,YAAY,KAAK,cAAc,OAAO,OACnF,OAAO,UAAU,eAAe,EAAE,OAAO,UAAU,YAAY,OAAO,cAAc,OAAO,KAE5F,OAAO;EACL,UAAU;EACV,QAAQ;CACV;CAEF,IAAI,gBAAgB;CACpB,IAAI,KAAK,UAAU,WAAW;EAC5B,IAAI,OAAO,UAAU,eAAe,CAAC,CAAC,aAAa,OAAO,CAAC,CAAC,SAAS,OAAO,KAAK,GAC/E,OAAO;GAAE,UAAU;GAAO,QAAQ;EAA0D;EAC9F,MAAM,SAAS,OAAO,YAAY,SAAS,UAAU;EACrD,IAAI,OAAO,UAAU,QACnB,gBAAgB,MAAM,OAAO,QAAQ,WAAW,OAAO,IAAI,QAAQ;GACjE,QAAQ,OAAO;GACf,OAAO;IAAE,UAAU,OAAO;IAAU,YAAY,OAAO;GAAW;EACpE,CAAC;EACH,IACE,CAAC,kBAAkB,cAAc,UAAU,OAAO,QAAQ,KAC1D,cAAc,eAAe,OAAO,YAEpC,gBAAgB,MAAM,OAAO,QAAQ,eAAe,OAAO,IAAI;GAC7D,UAAU,OAAO;GACjB,YAAY,OAAO;GACnB,UAAU;EACZ,CAAC;EACH,MAAM,QAAQ;GACZ,YAAY;GACZ,eAAe,MAAM;GACrB,iBAAiB,MAAM;GACvB,OAAO,EAAE,WAAW,OAAO,GAAG;GAC9B,OAAO;EACT;EACA,IAAI,OAAO,YAAY,QACrB,MAAM,OAAO,MAAM,WAAW,KAAK,IAAI,aAAa;GAAE,GAAG;GAAO;EAAO,CAAC;OACrE,MAAM,OAAO,MAAM,WAAW,KAAK,IAAI,UAAU;GAAE,GAAG;GAAO,QAAQ,OAAO;EAAQ,CAAC;CAC5F;CACA,IAAI,OAAO,UAAU,aAAa;EAChC,MAAM,QAAQ;GACZ,YAAY;GACZ,eAAe,MAAM;GACrB,iBAAiB,OAAO;GACxB,OAAO,EAAE,WAAW,OAAO,GAAG;GAC9B,OAAO;EACT;EACA,IAAI,OAAO,YAAY,QACrB,MAAM,OAAO,MAAM,WAAW,OAAO,IAAI,aAAa;GAAE,GAAG;GAAO;EAAO,CAAC;OAE1E,MAAM,OAAO,MAAM,WAAW,OAAO,IAAI,UAAU;GACjD,GAAG;GACH,QAAQ,wBAAwB,OAAO;EACzC,CAAC;CACL;CACA,IAAI,OAAO,YAAY,WACrB,IAAI;EACF,MAAM,OAAO,QAAQ,OAAO,OAAO,IAAI;GACrC,SAAS;GACT,QAAQ;EACV,CAAC;CACH,SAAS,OAAO;EACd,KAAK,MAAM,OAAO,QAAQ,IAAI,OAAO,EAAE,EAAA,EAAI,YAAY,YAAY,MAAM;CAC3E;CAEF,OAAO;EACL,UAAU;EACV,SAAS,OAAO;EAChB,aAAa,cAAc;EAC3B,WAAW;CACb;AACF"}