@effect-agent/pr-review 0.1.0-beta.8 → 0.1.0-beta.9

package/dist/testing.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"testing.mjs","names":[],"sources":["../src/internal/scripted.ts","../src/internal/fan-out-scripted.ts","../src/internal/fixtures.ts"],"sourcesContent":["import { Effect, Layer, Ref, Schema, Stream } from \"effect\";\nimport { LanguageModel, Model, type Response } from \"effect/unstable/ai\";\n\nimport { CodeReview } from \"./review-agent.ts\";\n\n// ---------------------------------------------------------------------------\n// Deterministic offline model for the flat reviewer: a prompt-aware scripted\n// model that walks the real tool surface — list, diff, read — then returns\n// the scripted review as its terminal JSON. Decisions key on committed\n// history in the prompt, never on call order, so replays stay honest.\n// ---------------------------------------------------------------------------\n\nexport const OFFLINE_LIST_CALL_ID = \"list-1\";\nexport const OFFLINE_DIFF_CALL_ID = \"diff-1\";\nexport const OFFLINE_READ_CALL_ID = \"read-1\";\n\n/** Usage attached to EVERY scripted model turn; tests pin exact aggregates. */\nexport const SCRIPTED_TURN_USAGE = { inputTokens: 64, outputTokens: 48 } as const;\n\nconst scriptedUsage = {\n  inputTokens: { total: SCRIPTED_TURN_USAGE.inputTokens },\n  outputTokens: { total: SCRIPTED_TURN_USAGE.outputTokens },\n};\n\nexport const scriptedToolTurn = (\n  ...calls: ReadonlyArray<Response.StreamPartEncoded>\n): ReadonlyArray<Response.StreamPartEncoded> => [\n  ...calls,\n  { type: \"finish\", reason: \"tool-calls\", usage: scriptedUsage },\n];\n\nexport const scriptedFinalParts = (text: string): ReadonlyArray<Response.StreamPartEncoded> => [\n  { type: \"text-start\", id: \"code-review\" },\n  { type: \"text-delta\", id: \"code-review\", delta: text },\n  { type: \"text-end\", id: \"code-review\" },\n  { type: \"finish\", reason: \"stop\", usage: scriptedUsage },\n];\n\n/** A prompt-keyed scripted LanguageModel with call and prompt observability. */\nexport const makePromptKeyedModel = (\n  name: string,\n  decide: (promptJson: string) => ReadonlyArray<Response.StreamPartEncoded>,\n) =>\n  Effect.gen(function* () {\n    const calls = yield* Ref.make(0);\n    const prompts = yield* Ref.make<ReadonlyArray<string>>([]);\n    const model = Model.make(\n      \"scripted\",\n      name,\n      Layer.effect(\n        LanguageModel.LanguageModel,\n        LanguageModel.make({\n          generateText: () => Effect.succeed([]),\n          streamText: (request) =>\n            Stream.unwrap(\n              Effect.gen(function* () {\n                yield* Ref.update(calls, (value) => value + 1);\n                const promptJson = JSON.stringify(request.prompt);\n                yield* Ref.update(prompts, (previous) => [...previous, promptJson]);\n                return Stream.fromIterable(decide(promptJson));\n              }),\n            ),\n        }),\n      ),\n    );\n    return { model, calls: Ref.get(calls), prompts: Ref.get(prompts) };\n  });\n\n/**\n * Build the offline scripted reviewer model. Turn 1 lists the changeset,\n * Turn 2 reads one file diff, Turn 3 reads head context, Turn 4 returns the\n * scripted review JSON.\n */\nexport const makeOfflineReviewerModel = (script: {\n  readonly diffPath: string;\n  readonly readPath: string;\n  readonly review: CodeReview;\n}) =>\n  makePromptKeyedModel(\"pr-review-offline\", (promptJson) => {\n    if (promptJson.includes(OFFLINE_READ_CALL_ID)) {\n      return scriptedFinalParts(JSON.stringify(Schema.encodeSync(CodeReview)(script.review)));\n    }\n    if (promptJson.includes(OFFLINE_DIFF_CALL_ID)) {\n      return scriptedToolTurn({\n        type: \"tool-call\",\n        id: OFFLINE_READ_CALL_ID,\n        name: \"read_file\",\n        params: { path: script.readPath },\n        providerExecuted: false,\n      });\n    }\n    if (promptJson.includes(OFFLINE_LIST_CALL_ID)) {\n      return scriptedToolTurn({\n        type: \"tool-call\",\n        id: OFFLINE_DIFF_CALL_ID,\n        name: \"read_file_diff\",\n        params: { path: script.diffPath },\n        providerExecuted: false,\n      });\n    }\n    return scriptedToolTurn({\n      type: \"tool-call\",\n      id: OFFLINE_LIST_CALL_ID,\n      name: \"list_changed_files\",\n      params: { scope: \"all\" },\n      providerExecuted: false,\n    });\n  });\n","import { Effect, Layer, Ref, Schema, Stream } from \"effect\";\nimport { LanguageModel, Model, type Response } from \"effect/unstable/ai\";\n\nimport { FileReviewReport } from \"./fan-out.ts\";\nimport { CodeReview } from \"./review-agent.ts\";\nimport { makePromptKeyedModel, scriptedFinalParts, scriptedToolTurn } from \"./scripted.ts\";\n\n// ---------------------------------------------------------------------------\n// Deterministic offline models for the fan-out reviewer: prompt-keyed\n// scripted models for BOTH the coordinator and the file-reviewer children.\n// Both key every decision on committed history in the prompt (tool-call ids\n// and briefed unit ids), never on call order, so concurrent children and\n// replays stay honest.\n// ---------------------------------------------------------------------------\n\nexport const OFFLINE_UNITS_CALL_ID = \"units-1\";\n\n/** The delegation Tool Call id the scripted coordinator uses for one unit. */\nexport const offlineUnitCallId = (unitId: string): string => `delegate-${unitId}`;\n\n/** The diff Tool Call id the scripted child uses for one unit. */\nexport const offlineChildDiffCallId = (unitId: string): string => `fanout-diff-${unitId}`;\n\n/** One scripted delegation the offline coordinator declares. */\nexport interface OfflineUnitCall {\n  readonly unitId: string;\n  readonly paths: ReadonlyArray<string>;\n}\n\n/**\n * Build the offline scripted coordinator model. Turn 1 lists the review\n * units, Turn 2 declares one delegation Tool Call per scripted unit in one\n * batch, Turn 3 returns the scripted merged review JSON. Decisions key on\n * tool-call ids already committed to the prompt.\n */\nexport const makeOfflineFanOutCoordinatorModel = (script: {\n  readonly unitCalls: ReadonlyArray<OfflineUnitCall>;\n  readonly review: CodeReview;\n}) => {\n  const firstUnitCallId = offlineUnitCallId(script.unitCalls[0]?.unitId ?? \"unit-none\");\n  return makePromptKeyedModel(\"pr-fanout-coordinator-offline\", (promptJson) => {\n    if (promptJson.includes(firstUnitCallId)) {\n      return scriptedFinalParts(JSON.stringify(Schema.encodeSync(CodeReview)(script.review)));\n    }\n    if (promptJson.includes(OFFLINE_UNITS_CALL_ID)) {\n      return scriptedToolTurn(\n        ...script.unitCalls.map(\n          (unit): Response.StreamPartEncoded => ({\n            type: \"tool-call\",\n            id: offlineUnitCallId(unit.unitId),\n            name: \"delegate_file_review\",\n            params: { unitId: unit.unitId, paths: unit.paths },\n            providerExecuted: false,\n          }),\n        ),\n      );\n    }\n    return scriptedToolTurn({\n      type: \"tool-call\",\n      id: OFFLINE_UNITS_CALL_ID,\n      name: \"list_review_units\",\n      params: { scope: \"all\" },\n      providerExecuted: false,\n    });\n  });\n};\n\n/** How one scripted child behaves for its briefed unit. */\nexport type OfflineUnitOutcome =\n  /** Read one diff, then return the scripted report. */\n  | { readonly _tag: \"findings\"; readonly report: FileReviewReport }\n  /** Read one diff, then return non-JSON — the child fails typed (AgentOutputError). */\n  | { readonly _tag: \"malformed-output\" }\n  /**\n   * Declare more Tool Calls than the child's AgentPolicy allows in one turn —\n   * none executes and the child fails typed (AgentPolicyError \"tool-calls\",\n   * the reviewer's deliberate `onExhaustion: \"fail\"` pin).\n   */\n  | { readonly _tag: \"budget-runaway\"; readonly declaredCalls: number };\n\nexport interface OfflineUnitScript {\n  readonly unitId: string;\n  /** The one file the scripted child reads the diff of. */\n  readonly diffPath: string;\n  readonly outcome: OfflineUnitOutcome;\n}\n\n/**\n * Build the offline scripted file-reviewer model shared by every delegated\n * child. Each child Run builds the Model Layer inside its own scope; the\n * script entry is selected by the briefed unitId present in the child's OWN\n * prompt, and the turn is selected by whether that unit's diff Tool Call id\n * is already committed there — content-keyed on both axes, so concurrent\n * children never interfere. First-turn child prompts are recorded for\n * context-isolation assertions.\n */\nexport const makeOfflineFileReviewerModel = (scripts: ReadonlyArray<OfflineUnitScript>) =>\n  Effect.gen(function* () {\n    const calls = yield* Ref.make(0);\n    const prompts = yield* Ref.make<ReadonlyArray<string>>([]);\n    const decide = (promptJson: string): ReadonlyArray<Response.StreamPartEncoded> | undefined => {\n      const script = scripts.find((candidate) => promptJson.includes(candidate.unitId));\n      if (script === undefined) return undefined;\n      switch (script.outcome._tag) {\n        case \"budget-runaway\": {\n          return scriptedToolTurn(\n            ...Array.from(\n              { length: script.outcome.declaredCalls },\n              (_, index): Response.StreamPartEncoded => ({\n                type: \"tool-call\",\n                id: `runaway-${script.unitId}-${index + 1}`,\n                name: \"read_file_diff\",\n                params: { path: script.diffPath },\n                providerExecuted: false,\n              }),\n            ),\n          );\n        }\n        case \"malformed-output\":\n        case \"findings\": {\n          if (promptJson.includes(offlineChildDiffCallId(script.unitId))) {\n            return scriptedFinalParts(\n              script.outcome._tag === \"findings\"\n                ? JSON.stringify(Schema.encodeSync(FileReviewReport)(script.outcome.report))\n                : \"this is not the JSON you are looking for\",\n            );\n          }\n          return scriptedToolTurn({\n            type: \"tool-call\",\n            id: offlineChildDiffCallId(script.unitId),\n            name: \"read_file_diff\",\n            params: { path: script.diffPath },\n            providerExecuted: false,\n          });\n        }\n      }\n    };\n    const model = Model.make(\n      \"scripted\",\n      \"pr-fanout-file-reviewer-offline\",\n      Layer.effect(\n        LanguageModel.LanguageModel,\n        LanguageModel.make({\n          generateText: () => Effect.succeed([]),\n          streamText: (request) =>\n            Stream.unwrap(\n              Effect.gen(function* () {\n                yield* Ref.update(calls, (value) => value + 1);\n                const promptJson = JSON.stringify(request.prompt);\n                yield* Ref.update(prompts, (previous) => [...previous, promptJson]);\n                const parts = decide(promptJson);\n                if (parts === undefined) {\n                  return yield* Effect.die(\n                    new Error(\"The child prompt names no scripted review unit\"),\n                  );\n                }\n                return Stream.fromIterable(parts);\n              }),\n            ),\n        }),\n      ),\n    );\n    return { model, calls: Ref.get(calls), prompts: Ref.get(prompts) };\n  });\n","import { Effect, Layer, Option, Ref, Schema } from \"effect\";\n\nimport { ChangedFile } from \"./diff.ts\";\nimport {\n  PriorReviewLookupFailure,\n  PriorReviews,\n  PublishedReview,\n  ReviewPublisher,\n} from \"./github.ts\";\nimport type { ReviewPublicationPlan } from \"./render.ts\";\nimport type { ReviewHeadComparison, ReviewState } from \"./review-state.ts\";\nimport {\n  MAX_CHANGED_FILES,\n  MAX_FILE_CHARS,\n  normalizeRepoRelativePath,\n  PullRequestMetadata,\n  PullRequestSource,\n  ReviewInputViolation,\n} from \"./source.ts\";\n\n// ---------------------------------------------------------------------------\n// Deterministic in-memory adapters for both ports: a fixture pull request\n// serving the PullRequestSource, and a collecting ReviewPublisher recording\n// every plan. Tests, dry runs, and live smokes run against these with no\n// network and no credentials.\n// ---------------------------------------------------------------------------\n\n/** One fixture file: its changeset entry plus optional head content. */\nexport class FixtureFile extends Schema.Class<FixtureFile>(\"@effect-agent/pr-review/FixtureFile\")({\n  file: ChangedFile,\n  headContent: Schema.optionalKey(Schema.String.check(Schema.isMaxLength(MAX_FILE_CHARS))),\n}) {}\n\n/** A complete in-memory pull request for tests, dry runs, and live smokes. */\nexport class FixturePullRequest extends Schema.Class<FixturePullRequest>(\n  \"@effect-agent/pr-review/FixturePullRequest\",\n)({\n  metadata: PullRequestMetadata,\n  files: Schema.Array(FixtureFile).check(Schema.isMaxLength(MAX_CHANGED_FILES)),\n}) {}\n\nconst requireChanged = (\n  fixture: FixturePullRequest,\n  path: string,\n): Effect.Effect<FixtureFile, ReviewInputViolation> => {\n  const entry = fixture.files.find((candidate) => candidate.file.path === path);\n  return entry === undefined\n    ? Effect.fail(\n        ReviewInputViolation.make({\n          input: path,\n          reason: \"Path is not part of this pull request's changeset.\",\n        }),\n      )\n    : Effect.succeed(entry);\n};\n\n/** Deterministic `PullRequestSource` over one fixture pull request. */\nexport const fixturePullRequestSourceLayer = (\n  fixture: FixturePullRequest,\n): Layer.Layer<PullRequestSource> =>\n  Layer.succeed(PullRequestSource)(\n    PullRequestSource.of({\n      metadata: Effect.succeed(fixture.metadata),\n      changedFiles: Effect.succeed(fixture.files.map((entry) => entry.file)),\n      anchorFiles: Effect.succeed(fixture.files.map((entry) => entry.file)),\n      readFile: (path) =>\n        Effect.gen(function* () {\n          const relative = yield* normalizeRepoRelativePath(path);\n          const entry = yield* requireChanged(fixture, relative);\n          if (entry.headContent === undefined) {\n            return yield* ReviewInputViolation.make({\n              input: relative,\n              reason: \"No head content is available for this file.\",\n            });\n          }\n          return entry.headContent;\n        }),\n    }),\n  );\n\n/** In-memory publisher: records every plan and mints a deterministic receipt. */\nexport const collectingReviewPublisherLayer = (\n  published: Ref.Ref<ReadonlyArray<ReviewPublicationPlan>>,\n): Layer.Layer<ReviewPublisher> =>\n  Layer.succeed(ReviewPublisher)(\n    ReviewPublisher.of({\n      publish: (plan) =>\n        Ref.update(published, (plans) => [...plans, plan]).pipe(\n          Effect.flatMap(() => Ref.get(published)),\n          Effect.map((plans) =>\n            PublishedReview.make({\n              reviewId: plans.length,\n              url: `memory://review/${plans.length}`,\n              event: plan.event,\n              inlineComments: plan.comments.length,\n            }),\n          ),\n        ),\n    }),\n  );\n\n/** Static `PriorReviews` service for tests: fixed history and comparisons. */\nexport const staticPriorReviews = (\n  fingerprint: Option.Option<string>,\n  options: {\n    readonly state?: Option.Option<ReviewState> | undefined;\n    readonly comparison?: ReviewHeadComparison | undefined;\n  } = {},\n): PriorReviews[\"Service\"] =>\n  PriorReviews.of({\n    latestFingerprint: Effect.succeed(fingerprint),\n    latestState: Effect.succeed(options.state ?? Option.none()),\n    compareHeads: () =>\n      options.comparison === undefined\n        ? Effect.fail(PriorReviewLookupFailure.make({ reason: \"no fixture comparison\" }))\n        : Effect.succeed(options.comparison),\n  });\n\n/** Layer form for consumers whose Effect explicitly requires `PriorReviews`. */\nexport const staticPriorReviewsLayer = (\n  fingerprint: Option.Option<string>,\n  options: {\n    readonly state?: Option.Option<ReviewState> | undefined;\n    readonly comparison?: ReviewHeadComparison | undefined;\n  } = {},\n): Layer.Layer<PriorReviews> =>\n  Layer.succeed(PriorReviews)(staticPriorReviews(fingerprint, options));\n"],"mappings":";;;;AAYA,MAAa,uBAAuB;AACpC,MAAa,uBAAuB;AACpC,MAAa,uBAAuB;;AAGpC,MAAa,sBAAsB;CAAE,aAAa;CAAI,cAAc;AAAG;AAEvE,MAAM,gBAAgB;CACpB,aAAa,EAAE,OAAO,oBAAoB,YAAY;CACtD,cAAc,EAAE,OAAO,oBAAoB,aAAa;AAC1D;AAEA,MAAa,oBACX,GAAG,UAC2C,CAC9C,GAAG,OACH;CAAE,MAAM;CAAU,QAAQ;CAAc,OAAO;AAAc,CAC/D;AAEA,MAAa,sBAAsB,SAA4D;CAC7F;EAAE,MAAM;EAAc,IAAI;CAAc;CACxC;EAAE,MAAM;EAAc,IAAI;EAAe,OAAO;CAAK;CACrD;EAAE,MAAM;EAAY,IAAI;CAAc;CACtC;EAAE,MAAM;EAAU,QAAQ;EAAQ,OAAO;CAAc;AACzD;;AAGA,MAAa,wBACX,MACA,WAEA,OAAO,IAAI,aAAa;CACtB,MAAM,QAAQ,OAAO,IAAI,KAAK,CAAC;CAC/B,MAAM,UAAU,OAAO,IAAI,KAA4B,CAAC,CAAC;CAoBzD,OAAO;EAAE,OAnBK,MAAM,KAClB,YACA,MACA,MAAM,OACJ,cAAc,eACd,cAAc,KAAK;GACjB,oBAAoB,OAAO,QAAQ,CAAC,CAAC;GACrC,aAAa,YACX,OAAO,OACL,OAAO,IAAI,aAAa;IACtB,OAAO,IAAI,OAAO,QAAQ,UAAU,QAAQ,CAAC;IAC7C,MAAM,aAAa,KAAK,UAAU,QAAQ,MAAM;IAChD,OAAO,IAAI,OAAO,UAAU,aAAa,CAAC,GAAG,UAAU,UAAU,CAAC;IAClE,OAAO,OAAO,aAAa,OAAO,UAAU,CAAC;GAC/C,CAAC,CACH;EACJ,CAAC,CACH,CAEW;EAAG,OAAO,IAAI,IAAI,KAAK;EAAG,SAAS,IAAI,IAAI,OAAO;CAAE;AACnE,CAAC;;;;;;AAOH,MAAa,4BAA4B,WAKvC,qBAAqB,sBAAsB,eAAe;CACxD,IAAI,WAAW,SAAA,QAA6B,GAC1C,OAAO,mBAAmB,KAAK,UAAU,OAAO,WAAW,UAAU,CAAC,CAAC,OAAO,MAAM,CAAC,CAAC;CAExF,IAAI,WAAW,SAAA,QAA6B,GAC1C,OAAO,iBAAiB;EACtB,MAAM;EACN,IAAI;EACJ,MAAM;EACN,QAAQ,EAAE,MAAM,OAAO,SAAS;EAChC,kBAAkB;CACpB,CAAC;CAEH,IAAI,WAAW,SAAA,QAA6B,GAC1C,OAAO,iBAAiB;EACtB,MAAM;EACN,IAAI;EACJ,MAAM;EACN,QAAQ,EAAE,MAAM,OAAO,SAAS;EAChC,kBAAkB;CACpB,CAAC;CAEH,OAAO,iBAAiB;EACtB,MAAM;EACN,IAAI;EACJ,MAAM;EACN,QAAQ,EAAE,OAAO,MAAM;EACvB,kBAAkB;CACpB,CAAC;AACH,CAAC;;;AC5FH,MAAa,wBAAwB;;AAGrC,MAAa,qBAAqB,WAA2B,YAAY;;AAGzE,MAAa,0BAA0B,WAA2B,eAAe;;;;;;;AAcjF,MAAa,qCAAqC,WAG5C;CACJ,MAAM,kBAAkB,kBAAkB,OAAO,UAAU,EAAE,EAAE,UAAU,WAAW;CACpF,OAAO,qBAAqB,kCAAkC,eAAe;EAC3E,IAAI,WAAW,SAAS,eAAe,GACrC,OAAO,mBAAmB,KAAK,UAAU,OAAO,WAAW,UAAU,CAAC,CAAC,OAAO,MAAM,CAAC,CAAC;EAExF,IAAI,WAAW,SAAA,SAA8B,GAC3C,OAAO,iBACL,GAAG,OAAO,UAAU,KACjB,UAAsC;GACrC,MAAM;GACN,IAAI,kBAAkB,KAAK,MAAM;GACjC,MAAM;GACN,QAAQ;IAAE,QAAQ,KAAK;IAAQ,OAAO,KAAK;GAAM;GACjD,kBAAkB;EACpB,EACF,CACF;EAEF,OAAO,iBAAiB;GACtB,MAAM;GACN,IAAI;GACJ,MAAM;GACN,QAAQ,EAAE,OAAO,MAAM;GACvB,kBAAkB;EACpB,CAAC;CACH,CAAC;AACH;;;;;;;;;;AA+BA,MAAa,gCAAgC,YAC3C,OAAO,IAAI,aAAa;CACtB,MAAM,QAAQ,OAAO,IAAI,KAAK,CAAC;CAC/B,MAAM,UAAU,OAAO,IAAI,KAA4B,CAAC,CAAC;CACzD,MAAM,UAAU,eAA8E;EAC5F,MAAM,SAAS,QAAQ,MAAM,cAAc,WAAW,SAAS,UAAU,MAAM,CAAC;EAChF,IAAI,WAAW,KAAA,GAAW,OAAO,KAAA;EACjC,QAAQ,OAAO,QAAQ,MAAvB;GACE,KAAK,kBACH,OAAO,iBACL,GAAG,MAAM,KACP,EAAE,QAAQ,OAAO,QAAQ,cAAc,IACtC,GAAG,WAAuC;IACzC,MAAM;IACN,IAAI,WAAW,OAAO,OAAO,GAAG,QAAQ;IACxC,MAAM;IACN,QAAQ,EAAE,MAAM,OAAO,SAAS;IAChC,kBAAkB;GACpB,EACF,CACF;GAEF,KAAK;GACL,KAAK;IACH,IAAI,WAAW,SAAS,uBAAuB,OAAO,MAAM,CAAC,GAC3D,OAAO,mBACL,OAAO,QAAQ,SAAS,aACpB,KAAK,UAAU,OAAO,WAAW,gBAAgB,CAAC,CAAC,OAAO,QAAQ,MAAM,CAAC,IACzE,0CACN;IAEF,OAAO,iBAAiB;KACtB,MAAM;KACN,IAAI,uBAAuB,OAAO,MAAM;KACxC,MAAM;KACN,QAAQ,EAAE,MAAM,OAAO,SAAS;KAChC,kBAAkB;IACpB,CAAC;EAEL;CACF;CA0BA,OAAO;EAAE,OAzBK,MAAM,KAClB,YACA,mCACA,MAAM,OACJ,cAAc,eACd,cAAc,KAAK;GACjB,oBAAoB,OAAO,QAAQ,CAAC,CAAC;GACrC,aAAa,YACX,OAAO,OACL,OAAO,IAAI,aAAa;IACtB,OAAO,IAAI,OAAO,QAAQ,UAAU,QAAQ,CAAC;IAC7C,MAAM,aAAa,KAAK,UAAU,QAAQ,MAAM;IAChD,OAAO,IAAI,OAAO,UAAU,aAAa,CAAC,GAAG,UAAU,UAAU,CAAC;IAClE,MAAM,QAAQ,OAAO,UAAU;IAC/B,IAAI,UAAU,KAAA,GACZ,OAAO,OAAO,OAAO,oBACnB,IAAI,MAAM,gDAAgD,CAC5D;IAEF,OAAO,OAAO,aAAa,KAAK;GAClC,CAAC,CACH;EACJ,CAAC,CACH,CAEW;EAAG,OAAO,IAAI,IAAI,KAAK;EAAG,SAAS,IAAI,IAAI,OAAO;CAAE;AACnE,CAAC;;;;ACvIH,IAAa,cAAb,cAAiC,OAAO,MAAmB,qCAAqC,CAAC,CAAC;CAChG,MAAM;CACN,aAAa,OAAO,YAAY,OAAO,OAAO,MAAM,OAAO,YAAY,cAAc,CAAC,CAAC;AACzF,CAAC,CAAC,CAAC,CAAC;;AAGJ,IAAa,qBAAb,cAAwC,OAAO,MAC7C,4CACF,CAAC,CAAC;CACA,UAAU;CACV,OAAO,OAAO,MAAM,WAAW,CAAC,CAAC,MAAM,OAAO,YAAA,GAA6B,CAAC;AAC9E,CAAC,CAAC,CAAC,CAAC;AAEJ,MAAM,kBACJ,SACA,SACqD;CACrD,MAAM,QAAQ,QAAQ,MAAM,MAAM,cAAc,UAAU,KAAK,SAAS,IAAI;CAC5E,OAAO,UAAU,KAAA,IACb,OAAO,KACL,qBAAqB,KAAK;EACxB,OAAO;EACP,QAAQ;CACV,CAAC,CACH,IACA,OAAO,QAAQ,KAAK;AAC1B;;AAGA,MAAa,iCACX,YAEA,MAAM,QAAQ,iBAAiB,CAAC,CAC9B,kBAAkB,GAAG;CACnB,UAAU,OAAO,QAAQ,QAAQ,QAAQ;CACzC,cAAc,OAAO,QAAQ,QAAQ,MAAM,KAAK,UAAU,MAAM,IAAI,CAAC;CACrE,aAAa,OAAO,QAAQ,QAAQ,MAAM,KAAK,UAAU,MAAM,IAAI,CAAC;CACpE,WAAW,SACT,OAAO,IAAI,aAAa;EACtB,MAAM,WAAW,OAAO,0BAA0B,IAAI;EACtD,MAAM,QAAQ,OAAO,eAAe,SAAS,QAAQ;EACrD,IAAI,MAAM,gBAAgB,KAAA,GACxB,OAAO,OAAO,qBAAqB,KAAK;GACtC,OAAO;GACP,QAAQ;EACV,CAAC;EAEH,OAAO,MAAM;CACf,CAAC;AACL,CAAC,CACH;;AAGF,MAAa,kCACX,cAEA,MAAM,QAAQ,eAAe,CAAC,CAC5B,gBAAgB,GAAG,EACjB,UAAU,SACR,IAAI,OAAO,YAAY,UAAU,CAAC,GAAG,OAAO,IAAI,CAAC,CAAC,CAAC,KACjD,OAAO,cAAc,IAAI,IAAI,SAAS,CAAC,GACvC,OAAO,KAAK,UACV,gBAAgB,KAAK;CACnB,UAAU,MAAM;CAChB,KAAK,mBAAmB,MAAM;CAC9B,OAAO,KAAK;CACZ,gBAAgB,KAAK,SAAS;AAChC,CAAC,CACH,CACF,EACJ,CAAC,CACH;;AAGF,MAAa,sBACX,aACA,UAGI,CAAC,MAEL,aAAa,GAAG;CACd,mBAAmB,OAAO,QAAQ,WAAW;CAC7C,aAAa,OAAO,QAAQ,QAAQ,SAAS,OAAO,KAAK,CAAC;CAC1D,oBACE,QAAQ,eAAe,KAAA,IACnB,OAAO,KAAK,yBAAyB,KAAK,EAAE,QAAQ,wBAAwB,CAAC,CAAC,IAC9E,OAAO,QAAQ,QAAQ,UAAU;AACzC,CAAC;;AAGH,MAAa,2BACX,aACA,UAGI,CAAC,MAEL,MAAM,QAAQ,YAAY,CAAC,CAAC,mBAAmB,aAAa,OAAO,CAAC"}
+{"version":3,"file":"testing.mjs","names":[],"sources":["../src/internal/scripted.ts","../src/internal/fan-out-scripted.ts","../src/internal/fixtures.ts"],"sourcesContent":["import { Effect, Layer, Ref, Schema, Stream } from \"effect\";\nimport { LanguageModel, Model, type Response } from \"effect/unstable/ai\";\n\nimport { CodeReview } from \"./review-agent.ts\";\n\n// ---------------------------------------------------------------------------\n// Deterministic offline model for the flat reviewer: a prompt-aware scripted\n// model that walks the real tool surface — list, diff, read — then returns\n// the scripted review as its terminal JSON. Decisions key on committed\n// history in the prompt, never on call order, so replays stay honest.\n// ---------------------------------------------------------------------------\n\nexport const OFFLINE_LIST_CALL_ID = \"list-1\";\nexport const OFFLINE_DIFF_CALL_ID = \"diff-1\";\nexport const OFFLINE_READ_CALL_ID = \"read-1\";\n\n/** Usage attached to EVERY scripted model turn; tests pin exact aggregates. */\nexport const SCRIPTED_TURN_USAGE = { inputTokens: 64, outputTokens: 48 } as const;\n\nconst scriptedUsage = {\n  inputTokens: { total: SCRIPTED_TURN_USAGE.inputTokens },\n  outputTokens: { total: SCRIPTED_TURN_USAGE.outputTokens },\n};\n\nexport const scriptedToolTurn = (\n  ...calls: ReadonlyArray<Response.StreamPartEncoded>\n): ReadonlyArray<Response.StreamPartEncoded> => [\n  ...calls,\n  { type: \"finish\", reason: \"tool-calls\", usage: scriptedUsage },\n];\n\nexport const scriptedFinalParts = (text: string): ReadonlyArray<Response.StreamPartEncoded> => [\n  { type: \"text-start\", id: \"code-review\" },\n  { type: \"text-delta\", id: \"code-review\", delta: text },\n  { type: \"text-end\", id: \"code-review\" },\n  { type: \"finish\", reason: \"stop\", usage: scriptedUsage },\n];\n\n/** A prompt-keyed scripted LanguageModel with call and prompt observability. */\nexport const makePromptKeyedModel = (\n  name: string,\n  decide: (promptJson: string) => ReadonlyArray<Response.StreamPartEncoded>,\n) =>\n  Effect.gen(function* () {\n    const calls = yield* Ref.make(0);\n    const prompts = yield* Ref.make<ReadonlyArray<string>>([]);\n    const model = Model.make(\n      \"scripted\",\n      name,\n      Layer.effect(\n        LanguageModel.LanguageModel,\n        LanguageModel.make({\n          generateText: () => Effect.succeed([]),\n          streamText: (request) =>\n            Stream.unwrap(\n              Effect.gen(function* () {\n                yield* Ref.update(calls, (value) => value + 1);\n                const promptJson = JSON.stringify(request.prompt);\n                yield* Ref.update(prompts, (previous) => [...previous, promptJson]);\n                return Stream.fromIterable(decide(promptJson));\n              }),\n            ),\n        }),\n      ),\n    );\n    return { model, calls: Ref.get(calls), prompts: Ref.get(prompts) };\n  });\n\n/**\n * Build the offline scripted reviewer model. Turn 1 lists the changeset,\n * Turn 2 reads one file diff, Turn 3 reads head context, Turn 4 returns the\n * scripted review JSON.\n */\nexport const makeOfflineReviewerModel = (script: {\n  readonly diffPath: string;\n  readonly readPath: string;\n  readonly review: CodeReview;\n}) =>\n  makePromptKeyedModel(\"pr-review-offline\", (promptJson) => {\n    if (promptJson.includes(OFFLINE_READ_CALL_ID)) {\n      return scriptedFinalParts(JSON.stringify(Schema.encodeSync(CodeReview)(script.review)));\n    }\n    if (promptJson.includes(OFFLINE_DIFF_CALL_ID)) {\n      return scriptedToolTurn({\n        type: \"tool-call\",\n        id: OFFLINE_READ_CALL_ID,\n        name: \"read_file\",\n        params: { path: script.readPath },\n        providerExecuted: false,\n      });\n    }\n    if (promptJson.includes(OFFLINE_LIST_CALL_ID)) {\n      return scriptedToolTurn({\n        type: \"tool-call\",\n        id: OFFLINE_DIFF_CALL_ID,\n        name: \"read_file_diff\",\n        params: { path: script.diffPath },\n        providerExecuted: false,\n      });\n    }\n    return scriptedToolTurn({\n      type: \"tool-call\",\n      id: OFFLINE_LIST_CALL_ID,\n      name: \"list_changed_files\",\n      params: { scope: \"all\" },\n      providerExecuted: false,\n    });\n  });\n","import { Effect, Layer, Ref, Schema, Stream } from \"effect\";\nimport { LanguageModel, Model, type Response } from \"effect/unstable/ai\";\n\nimport { FileReviewReport } from \"./fan-out.ts\";\nimport { CodeReview } from \"./review-agent.ts\";\nimport { makePromptKeyedModel, scriptedFinalParts, scriptedToolTurn } from \"./scripted.ts\";\n\n// ---------------------------------------------------------------------------\n// Deterministic offline models for the fan-out reviewer: prompt-keyed\n// scripted models for BOTH the coordinator and the file-reviewer children.\n// Both key every decision on committed history in the prompt (tool-call ids\n// and briefed unit ids), never on call order, so concurrent children and\n// replays stay honest.\n// ---------------------------------------------------------------------------\n\nexport const OFFLINE_UNITS_CALL_ID = \"units-1\";\n\n/** The delegation Tool Call id the scripted coordinator uses for one unit. */\nexport const offlineUnitCallId = (unitId: string): string => `delegate-${unitId}`;\n\n/** The diff Tool Call id the scripted child uses for one unit. */\nexport const offlineChildDiffCallId = (unitId: string): string => `fanout-diff-${unitId}`;\n\n/** One scripted delegation the offline coordinator declares. */\nexport interface OfflineUnitCall {\n  readonly unitId: string;\n  readonly paths: ReadonlyArray<string>;\n}\n\n/**\n * Build the offline scripted coordinator model. Turn 1 lists the review\n * units, Turn 2 declares one delegation Tool Call per scripted unit in one\n * batch, Turn 3 returns the scripted merged review JSON. Decisions key on\n * tool-call ids already committed to the prompt.\n */\nexport const makeOfflineFanOutCoordinatorModel = (script: {\n  readonly unitCalls: ReadonlyArray<OfflineUnitCall>;\n  readonly review: CodeReview;\n}) => {\n  const firstUnitCallId = offlineUnitCallId(script.unitCalls[0]?.unitId ?? \"unit-none\");\n  return makePromptKeyedModel(\"pr-fanout-coordinator-offline\", (promptJson) => {\n    if (promptJson.includes(firstUnitCallId)) {\n      return scriptedFinalParts(JSON.stringify(Schema.encodeSync(CodeReview)(script.review)));\n    }\n    if (promptJson.includes(OFFLINE_UNITS_CALL_ID)) {\n      return scriptedToolTurn(\n        ...script.unitCalls.map(\n          (unit): Response.StreamPartEncoded => ({\n            type: \"tool-call\",\n            id: offlineUnitCallId(unit.unitId),\n            name: \"delegate_file_review\",\n            params: { unitId: unit.unitId, paths: unit.paths },\n            providerExecuted: false,\n          }),\n        ),\n      );\n    }\n    return scriptedToolTurn({\n      type: \"tool-call\",\n      id: OFFLINE_UNITS_CALL_ID,\n      name: \"list_review_units\",\n      params: { scope: \"all\" },\n      providerExecuted: false,\n    });\n  });\n};\n\n/** How one scripted child behaves for its briefed unit. */\nexport type OfflineUnitOutcome =\n  /** Read one diff, then return the scripted report. */\n  | { readonly _tag: \"findings\"; readonly report: FileReviewReport }\n  /** Read one diff, then return non-JSON — the child fails typed (AgentOutputError). */\n  | { readonly _tag: \"malformed-output\" }\n  /**\n   * Declare more Tool Calls than the child's AgentPolicy allows in one turn —\n   * none executes and the child fails typed (AgentPolicyError \"tool-calls\",\n   * the reviewer's deliberate `onExhaustion: \"fail\"` pin).\n   */\n  | { readonly _tag: \"budget-runaway\"; readonly declaredCalls: number };\n\nexport interface OfflineUnitScript {\n  readonly unitId: string;\n  /** The one file the scripted child reads the diff of. */\n  readonly diffPath: string;\n  readonly outcome: OfflineUnitOutcome;\n}\n\n/**\n * Build the offline scripted file-reviewer model shared by every delegated\n * child. Each child Run builds the Model Layer inside its own scope; the\n * script entry is selected by the briefed unitId present in the child's OWN\n * prompt, and the turn is selected by whether that unit's diff Tool Call id\n * is already committed there — content-keyed on both axes, so concurrent\n * children never interfere. First-turn child prompts are recorded for\n * context-isolation assertions.\n */\nexport const makeOfflineFileReviewerModel = (scripts: ReadonlyArray<OfflineUnitScript>) =>\n  Effect.gen(function* () {\n    const calls = yield* Ref.make(0);\n    const prompts = yield* Ref.make<ReadonlyArray<string>>([]);\n    const decide = (promptJson: string): ReadonlyArray<Response.StreamPartEncoded> | undefined => {\n      const script = scripts.find((candidate) => promptJson.includes(candidate.unitId));\n      if (script === undefined) return undefined;\n      switch (script.outcome._tag) {\n        case \"budget-runaway\": {\n          return scriptedToolTurn(\n            ...Array.from(\n              { length: script.outcome.declaredCalls },\n              (_, index): Response.StreamPartEncoded => ({\n                type: \"tool-call\",\n                id: `runaway-${script.unitId}-${index + 1}`,\n                name: \"read_file_diff\",\n                params: { path: script.diffPath },\n                providerExecuted: false,\n              }),\n            ),\n          );\n        }\n        case \"malformed-output\":\n        case \"findings\": {\n          if (promptJson.includes(offlineChildDiffCallId(script.unitId))) {\n            return scriptedFinalParts(\n              script.outcome._tag === \"findings\"\n                ? JSON.stringify(Schema.encodeSync(FileReviewReport)(script.outcome.report))\n                : \"this is not the JSON you are looking for\",\n            );\n          }\n          return scriptedToolTurn({\n            type: \"tool-call\",\n            id: offlineChildDiffCallId(script.unitId),\n            name: \"read_file_diff\",\n            params: { path: script.diffPath },\n            providerExecuted: false,\n          });\n        }\n      }\n    };\n    const model = Model.make(\n      \"scripted\",\n      \"pr-fanout-file-reviewer-offline\",\n      Layer.effect(\n        LanguageModel.LanguageModel,\n        LanguageModel.make({\n          generateText: () => Effect.succeed([]),\n          streamText: (request) =>\n            Stream.unwrap(\n              Effect.gen(function* () {\n                yield* Ref.update(calls, (value) => value + 1);\n                const promptJson = JSON.stringify(request.prompt);\n                yield* Ref.update(prompts, (previous) => [...previous, promptJson]);\n                const parts = decide(promptJson);\n                if (parts === undefined) {\n                  return yield* Effect.die(\n                    new Error(\"The child prompt names no scripted review unit\"),\n                  );\n                }\n                return Stream.fromIterable(parts);\n              }),\n            ),\n        }),\n      ),\n    );\n    return { model, calls: Ref.get(calls), prompts: Ref.get(prompts) };\n  });\n","import { DateTime, Effect, Layer, Option, Ref, Schema } from \"effect\";\n\nimport { ChangedFile } from \"./diff.ts\";\nimport {\n  PriorReviewLookupFailure,\n  PriorReviews,\n  PublishedReview,\n  ReviewPublisher,\n} from \"./github.ts\";\nimport type { ReviewPublicationPlan } from \"./render.ts\";\nimport type { ReviewHeadComparison, ReviewState } from \"./review-state.ts\";\nimport {\n  MAX_CHANGED_FILES,\n  MAX_FILE_CHARS,\n  normalizeRepoRelativePath,\n  PullRequestMetadata,\n  PullRequestSource,\n  ReviewInputViolation,\n} from \"./source.ts\";\n\n// ---------------------------------------------------------------------------\n// Deterministic in-memory adapters for both ports: a fixture pull request\n// serving the PullRequestSource, and a collecting ReviewPublisher recording\n// every plan. Tests, dry runs, and live smokes run against these with no\n// network and no credentials.\n// ---------------------------------------------------------------------------\n\n/** One fixture file: its changeset entry plus optional head content. */\nexport class FixtureFile extends Schema.Class<FixtureFile>(\"@effect-agent/pr-review/FixtureFile\")({\n  file: ChangedFile,\n  headContent: Schema.optionalKey(Schema.String.check(Schema.isMaxLength(MAX_FILE_CHARS))),\n}) {}\n\n/** A complete in-memory pull request for tests, dry runs, and live smokes. */\nexport class FixturePullRequest extends Schema.Class<FixturePullRequest>(\n  \"@effect-agent/pr-review/FixturePullRequest\",\n)({\n  metadata: PullRequestMetadata,\n  files: Schema.Array(FixtureFile).check(Schema.isMaxLength(MAX_CHANGED_FILES)),\n}) {}\n\nconst requireChanged = (\n  fixture: FixturePullRequest,\n  path: string,\n): Effect.Effect<FixtureFile, ReviewInputViolation> => {\n  const entry = fixture.files.find((candidate) => candidate.file.path === path);\n  return entry === undefined\n    ? Effect.fail(\n        ReviewInputViolation.make({\n          input: path,\n          reason: \"Path is not part of this pull request's changeset.\",\n        }),\n      )\n    : Effect.succeed(entry);\n};\n\n/** Deterministic `PullRequestSource` over one fixture pull request. */\nexport const fixturePullRequestSourceLayer = (\n  fixture: FixturePullRequest,\n): Layer.Layer<PullRequestSource> =>\n  Layer.succeed(PullRequestSource)(\n    PullRequestSource.of({\n      metadata: Effect.succeed(fixture.metadata),\n      changedFiles: Effect.succeed(fixture.files.map((entry) => entry.file)),\n      anchorFiles: Effect.succeed(fixture.files.map((entry) => entry.file)),\n      readFile: (path) =>\n        Effect.gen(function* () {\n          const relative = yield* normalizeRepoRelativePath(path);\n          const entry = yield* requireChanged(fixture, relative);\n          if (entry.headContent === undefined) {\n            return yield* ReviewInputViolation.make({\n              input: relative,\n              reason: \"No head content is available for this file.\",\n            });\n          }\n          return entry.headContent;\n        }),\n    }),\n  );\n\n/** In-memory publisher: records every plan and mints a deterministic receipt. */\nexport const collectingReviewPublisherLayer = (\n  published: Ref.Ref<ReadonlyArray<ReviewPublicationPlan>>,\n): Layer.Layer<ReviewPublisher> =>\n  Layer.succeed(ReviewPublisher)(\n    ReviewPublisher.of({\n      publish: (plan) =>\n        Ref.update(published, (plans) => [...plans, plan]).pipe(\n          Effect.flatMap(() => Ref.get(published)),\n          Effect.map((plans) =>\n            PublishedReview.make({\n              reviewId: plans.length,\n              url: `memory://review/${plans.length}`,\n              event: plan.event,\n              inlineComments: plan.comments.length,\n              authorNodeId: \"BOT_memory-reviewer\",\n              submittedAt: DateTime.makeUnsafe(\n                `2026-01-01T00:00:${String(plans.length).padStart(2, \"0\")}Z`,\n              ),\n            }),\n          ),\n        ),\n    }),\n  );\n\n/** Static `PriorReviews` service for tests: fixed history and comparisons. */\nexport const staticPriorReviews = (\n  fingerprint: Option.Option<string>,\n  options: {\n    readonly state?: Option.Option<ReviewState> | undefined;\n    readonly comparison?: ReviewHeadComparison | undefined;\n  } = {},\n): PriorReviews[\"Service\"] =>\n  PriorReviews.of({\n    latestFingerprint: Effect.succeed(fingerprint),\n    latestState: Effect.succeed(options.state ?? Option.none()),\n    compareHeads: () =>\n      options.comparison === undefined\n        ? Effect.fail(PriorReviewLookupFailure.make({ reason: \"no fixture comparison\" }))\n        : Effect.succeed(options.comparison),\n  });\n\n/** Layer form for consumers whose Effect explicitly requires `PriorReviews`. */\nexport const staticPriorReviewsLayer = (\n  fingerprint: Option.Option<string>,\n  options: {\n    readonly state?: Option.Option<ReviewState> | undefined;\n    readonly comparison?: ReviewHeadComparison | undefined;\n  } = {},\n): Layer.Layer<PriorReviews> =>\n  Layer.succeed(PriorReviews)(staticPriorReviews(fingerprint, options));\n"],"mappings":";;;;AAYA,MAAa,uBAAuB;AACpC,MAAa,uBAAuB;AACpC,MAAa,uBAAuB;;AAGpC,MAAa,sBAAsB;CAAE,aAAa;CAAI,cAAc;AAAG;AAEvE,MAAM,gBAAgB;CACpB,aAAa,EAAE,OAAO,oBAAoB,YAAY;CACtD,cAAc,EAAE,OAAO,oBAAoB,aAAa;AAC1D;AAEA,MAAa,oBACX,GAAG,UAC2C,CAC9C,GAAG,OACH;CAAE,MAAM;CAAU,QAAQ;CAAc,OAAO;AAAc,CAC/D;AAEA,MAAa,sBAAsB,SAA4D;CAC7F;EAAE,MAAM;EAAc,IAAI;CAAc;CACxC;EAAE,MAAM;EAAc,IAAI;EAAe,OAAO;CAAK;CACrD;EAAE,MAAM;EAAY,IAAI;CAAc;CACtC;EAAE,MAAM;EAAU,QAAQ;EAAQ,OAAO;CAAc;AACzD;;AAGA,MAAa,wBACX,MACA,WAEA,OAAO,IAAI,aAAa;CACtB,MAAM,QAAQ,OAAO,IAAI,KAAK,CAAC;CAC/B,MAAM,UAAU,OAAO,IAAI,KAA4B,CAAC,CAAC;CAoBzD,OAAO;EAAE,OAnBK,MAAM,KAClB,YACA,MACA,MAAM,OACJ,cAAc,eACd,cAAc,KAAK;GACjB,oBAAoB,OAAO,QAAQ,CAAC,CAAC;GACrC,aAAa,YACX,OAAO,OACL,OAAO,IAAI,aAAa;IACtB,OAAO,IAAI,OAAO,QAAQ,UAAU,QAAQ,CAAC;IAC7C,MAAM,aAAa,KAAK,UAAU,QAAQ,MAAM;IAChD,OAAO,IAAI,OAAO,UAAU,aAAa,CAAC,GAAG,UAAU,UAAU,CAAC;IAClE,OAAO,OAAO,aAAa,OAAO,UAAU,CAAC;GAC/C,CAAC,CACH;EACJ,CAAC,CACH,CAEW;EAAG,OAAO,IAAI,IAAI,KAAK;EAAG,SAAS,IAAI,IAAI,OAAO;CAAE;AACnE,CAAC;;;;;;AAOH,MAAa,4BAA4B,WAKvC,qBAAqB,sBAAsB,eAAe;CACxD,IAAI,WAAW,SAAA,QAA6B,GAC1C,OAAO,mBAAmB,KAAK,UAAU,OAAO,WAAW,UAAU,CAAC,CAAC,OAAO,MAAM,CAAC,CAAC;CAExF,IAAI,WAAW,SAAA,QAA6B,GAC1C,OAAO,iBAAiB;EACtB,MAAM;EACN,IAAI;EACJ,MAAM;EACN,QAAQ,EAAE,MAAM,OAAO,SAAS;EAChC,kBAAkB;CACpB,CAAC;CAEH,IAAI,WAAW,SAAA,QAA6B,GAC1C,OAAO,iBAAiB;EACtB,MAAM;EACN,IAAI;EACJ,MAAM;EACN,QAAQ,EAAE,MAAM,OAAO,SAAS;EAChC,kBAAkB;CACpB,CAAC;CAEH,OAAO,iBAAiB;EACtB,MAAM;EACN,IAAI;EACJ,MAAM;EACN,QAAQ,EAAE,OAAO,MAAM;EACvB,kBAAkB;CACpB,CAAC;AACH,CAAC;;;AC5FH,MAAa,wBAAwB;;AAGrC,MAAa,qBAAqB,WAA2B,YAAY;;AAGzE,MAAa,0BAA0B,WAA2B,eAAe;;;;;;;AAcjF,MAAa,qCAAqC,WAG5C;CACJ,MAAM,kBAAkB,kBAAkB,OAAO,UAAU,EAAE,EAAE,UAAU,WAAW;CACpF,OAAO,qBAAqB,kCAAkC,eAAe;EAC3E,IAAI,WAAW,SAAS,eAAe,GACrC,OAAO,mBAAmB,KAAK,UAAU,OAAO,WAAW,UAAU,CAAC,CAAC,OAAO,MAAM,CAAC,CAAC;EAExF,IAAI,WAAW,SAAA,SAA8B,GAC3C,OAAO,iBACL,GAAG,OAAO,UAAU,KACjB,UAAsC;GACrC,MAAM;GACN,IAAI,kBAAkB,KAAK,MAAM;GACjC,MAAM;GACN,QAAQ;IAAE,QAAQ,KAAK;IAAQ,OAAO,KAAK;GAAM;GACjD,kBAAkB;EACpB,EACF,CACF;EAEF,OAAO,iBAAiB;GACtB,MAAM;GACN,IAAI;GACJ,MAAM;GACN,QAAQ,EAAE,OAAO,MAAM;GACvB,kBAAkB;EACpB,CAAC;CACH,CAAC;AACH;;;;;;;;;;AA+BA,MAAa,gCAAgC,YAC3C,OAAO,IAAI,aAAa;CACtB,MAAM,QAAQ,OAAO,IAAI,KAAK,CAAC;CAC/B,MAAM,UAAU,OAAO,IAAI,KAA4B,CAAC,CAAC;CACzD,MAAM,UAAU,eAA8E;EAC5F,MAAM,SAAS,QAAQ,MAAM,cAAc,WAAW,SAAS,UAAU,MAAM,CAAC;EAChF,IAAI,WAAW,KAAA,GAAW,OAAO,KAAA;EACjC,QAAQ,OAAO,QAAQ,MAAvB;GACE,KAAK,kBACH,OAAO,iBACL,GAAG,MAAM,KACP,EAAE,QAAQ,OAAO,QAAQ,cAAc,IACtC,GAAG,WAAuC;IACzC,MAAM;IACN,IAAI,WAAW,OAAO,OAAO,GAAG,QAAQ;IACxC,MAAM;IACN,QAAQ,EAAE,MAAM,OAAO,SAAS;IAChC,kBAAkB;GACpB,EACF,CACF;GAEF,KAAK;GACL,KAAK;IACH,IAAI,WAAW,SAAS,uBAAuB,OAAO,MAAM,CAAC,GAC3D,OAAO,mBACL,OAAO,QAAQ,SAAS,aACpB,KAAK,UAAU,OAAO,WAAW,gBAAgB,CAAC,CAAC,OAAO,QAAQ,MAAM,CAAC,IACzE,0CACN;IAEF,OAAO,iBAAiB;KACtB,MAAM;KACN,IAAI,uBAAuB,OAAO,MAAM;KACxC,MAAM;KACN,QAAQ,EAAE,MAAM,OAAO,SAAS;KAChC,kBAAkB;IACpB,CAAC;EAEL;CACF;CA0BA,OAAO;EAAE,OAzBK,MAAM,KAClB,YACA,mCACA,MAAM,OACJ,cAAc,eACd,cAAc,KAAK;GACjB,oBAAoB,OAAO,QAAQ,CAAC,CAAC;GACrC,aAAa,YACX,OAAO,OACL,OAAO,IAAI,aAAa;IACtB,OAAO,IAAI,OAAO,QAAQ,UAAU,QAAQ,CAAC;IAC7C,MAAM,aAAa,KAAK,UAAU,QAAQ,MAAM;IAChD,OAAO,IAAI,OAAO,UAAU,aAAa,CAAC,GAAG,UAAU,UAAU,CAAC;IAClE,MAAM,QAAQ,OAAO,UAAU;IAC/B,IAAI,UAAU,KAAA,GACZ,OAAO,OAAO,OAAO,oBACnB,IAAI,MAAM,gDAAgD,CAC5D;IAEF,OAAO,OAAO,aAAa,KAAK;GAClC,CAAC,CACH;EACJ,CAAC,CACH,CAEW;EAAG,OAAO,IAAI,IAAI,KAAK;EAAG,SAAS,IAAI,IAAI,OAAO;CAAE;AACnE,CAAC;;;;ACvIH,IAAa,cAAb,cAAiC,OAAO,MAAmB,qCAAqC,CAAC,CAAC;CAChG,MAAM;CACN,aAAa,OAAO,YAAY,OAAO,OAAO,MAAM,OAAO,YAAY,cAAc,CAAC,CAAC;AACzF,CAAC,CAAC,CAAC,CAAC;;AAGJ,IAAa,qBAAb,cAAwC,OAAO,MAC7C,4CACF,CAAC,CAAC;CACA,UAAU;CACV,OAAO,OAAO,MAAM,WAAW,CAAC,CAAC,MAAM,OAAO,YAAA,GAA6B,CAAC;AAC9E,CAAC,CAAC,CAAC,CAAC;AAEJ,MAAM,kBACJ,SACA,SACqD;CACrD,MAAM,QAAQ,QAAQ,MAAM,MAAM,cAAc,UAAU,KAAK,SAAS,IAAI;CAC5E,OAAO,UAAU,KAAA,IACb,OAAO,KACL,qBAAqB,KAAK;EACxB,OAAO;EACP,QAAQ;CACV,CAAC,CACH,IACA,OAAO,QAAQ,KAAK;AAC1B;;AAGA,MAAa,iCACX,YAEA,MAAM,QAAQ,iBAAiB,CAAC,CAC9B,kBAAkB,GAAG;CACnB,UAAU,OAAO,QAAQ,QAAQ,QAAQ;CACzC,cAAc,OAAO,QAAQ,QAAQ,MAAM,KAAK,UAAU,MAAM,IAAI,CAAC;CACrE,aAAa,OAAO,QAAQ,QAAQ,MAAM,KAAK,UAAU,MAAM,IAAI,CAAC;CACpE,WAAW,SACT,OAAO,IAAI,aAAa;EACtB,MAAM,WAAW,OAAO,0BAA0B,IAAI;EACtD,MAAM,QAAQ,OAAO,eAAe,SAAS,QAAQ;EACrD,IAAI,MAAM,gBAAgB,KAAA,GACxB,OAAO,OAAO,qBAAqB,KAAK;GACtC,OAAO;GACP,QAAQ;EACV,CAAC;EAEH,OAAO,MAAM;CACf,CAAC;AACL,CAAC,CACH;;AAGF,MAAa,kCACX,cAEA,MAAM,QAAQ,eAAe,CAAC,CAC5B,gBAAgB,GAAG,EACjB,UAAU,SACR,IAAI,OAAO,YAAY,UAAU,CAAC,GAAG,OAAO,IAAI,CAAC,CAAC,CAAC,KACjD,OAAO,cAAc,IAAI,IAAI,SAAS,CAAC,GACvC,OAAO,KAAK,UACV,gBAAgB,KAAK;CACnB,UAAU,MAAM;CAChB,KAAK,mBAAmB,MAAM;CAC9B,OAAO,KAAK;CACZ,gBAAgB,KAAK,SAAS;CAC9B,cAAc;CACd,aAAa,SAAS,WACpB,oBAAoB,OAAO,MAAM,MAAM,CAAC,CAAC,SAAS,GAAG,GAAG,EAAE,EAC5D;AACF,CAAC,CACH,CACF,EACJ,CAAC,CACH;;AAGF,MAAa,sBACX,aACA,UAGI,CAAC,MAEL,aAAa,GAAG;CACd,mBAAmB,OAAO,QAAQ,WAAW;CAC7C,aAAa,OAAO,QAAQ,QAAQ,SAAS,OAAO,KAAK,CAAC;CAC1D,oBACE,QAAQ,eAAe,KAAA,IACnB,OAAO,KAAK,yBAAyB,KAAK,EAAE,QAAQ,wBAAwB,CAAC,CAAC,IAC9E,OAAO,QAAQ,QAAQ,UAAU;AACzC,CAAC;;AAGH,MAAa,2BACX,aACA,UAGI,CAAC,MAEL,MAAM,QAAQ,YAAY,CAAC,CAAC,mBAAmB,aAAa,OAAO,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@effect-agent/pr-review",
-  "version": "0.1.0-beta.8",
+  "version": "0.1.0-beta.9",
   "exports": {
     ".": {
       "types": "./dist/index.d.mts",
@@ -24,7 +24,7 @@
     "@effect/ai-openai": "4.0.0-beta.107",
     "@effect/platform-node": "4.0.0-beta.107",
     "effect": "4.0.0-beta.107",
-    "effect-agent": "0.1.0-beta.8"
+    "effect-agent": "0.1.0-beta.9"
   },
   "description": "Bounded, fail-closed GitHub pull-request reviewer built on the effect-agent public surface: schema-first review contracts, read-only tools, GitHub adapters, a configuration factory, and CLI + GitHub Actions entrypoints.",
   "license": "MIT",

package/src/action.ts

@@ -1,6 +1,7 @@
 import { NodeRuntime, NodeServices } from "@effect/platform-node";
 import { Config, Console, Effect, FileSystem, Layer, Option, Redacted, Schema } from "effect";
 import { BudgetExceeded, UsageBudgetLimits } from "effect-agent";
+import { FetchHttpClient } from "effect/unstable/http";
 
 import { InvalidEffortInput, parseEffortPosition, type EffortPosition } from "./internal/effort.ts";
 import { PrReview, type RunReviewOptions } from "./internal/factory.ts";
@@ -15,6 +16,7 @@ import {
   openAiClientLayer,
   type ReviewProvider,
 } from "./internal/providers.ts";
+import { retireStaleReviews } from "./internal/retirement.ts";
 import {
   ReviewExecutionContext,
   ReviewHeadComparison,
@@ -89,6 +91,7 @@ export interface ResolvedActionInputs {
   /** Deprecated compatibility input; conclusions are always conservative. */
   readonly failOn: FailOnPolicy;
   readonly skipUnchanged: boolean;
+  readonly retireStaleReviews: boolean;
 }
 
 /** Read the PR_REVIEW_* input surface (all optional, all defaulted). */
@@ -129,6 +132,9 @@ export const resolveActionInputs = Effect.fn("resolveActionInputs")(function* ()
   const skipUnchanged = yield* Config.boolean("PR_REVIEW_SKIP_UNCHANGED").pipe(
     Config.withDefault(true),
   );
+  const retireStaleReviews = yield* Config.boolean("PR_REVIEW_RETIRE_STALE_REVIEWS").pipe(
+    Config.withDefault(true),
+  );
   return {
     provider,
     model: Option.getOrUndefined(model),
@@ -147,6 +153,7 @@ export const resolveActionInputs = Effect.fn("resolveActionInputs")(function* ()
     reviewMode,
     failOn,
     skipUnchanged,
+    retireStaleReviews,
   } satisfies ResolvedActionInputs;
 });
 
@@ -399,6 +406,8 @@ export const runReviewAction = <E, R, FingerprintE = never, FingerprintR = never
     readonly modelLabel?: string | undefined;
     /** Explicit test/custom-host history override; GitHub owns the default adapter. */
     readonly priorReviews?: PriorReviews["Service"] | undefined;
+    /** Retire marker-bearing prior reviews after a successful post (default true). */
+    readonly retireStaleReviews?: boolean | undefined;
   } = {},
 ) =>
   Effect.gen(function* () {
@@ -565,6 +574,27 @@ export const runReviewAction = <E, R, FingerprintE = never, FingerprintR = never
       );
       if (outcome.published !== undefined) {
         yield* Console.log(`Posted ${outcome.published.event} review: ${outcome.published.url}`);
+        if (options.retireStaleReviews !== false && outcome.state !== undefined) {
+          if (outcome.published.authorNodeId === null || outcome.published.submittedAt === null) {
+            yield* Console.warn(
+              "Skipping stale-review retirement because GitHub did not return the posted review's actor and submission time.",
+            );
+          } else {
+            const report = yield* retireStaleReviews({
+              currentReviewId: outcome.published.reviewId,
+              currentReviewUrl: outcome.published.url,
+              currentAuthorNodeId: outcome.published.authorNodeId,
+              currentSubmittedAt: outcome.published.submittedAt,
+              currentState: outcome.state,
+            });
+            yield* Console.log(
+              `Review retirement: ${report.reviewsRetired} prior review(s), ` +
+                `${report.findingsResolved} resolved finding(s), ` +
+                `${report.commentsMinimized} minimized inline comment(s), ` +
+                `${report.failures} failure(s).`,
+            );
+          }
+        }
       }
       const check = concludeReviewOutcome(outcome);
       yield* writeActionOutputs(outcomeOutputs(outcome, check.conclusion));
@@ -620,6 +650,7 @@ export const reviewActionProgram = Effect.gen(function* () {
     failOn: inputs.failOn,
     skipUnchanged: inputs.skipUnchanged,
     reviewMode: inputs.reviewMode,
+    retireStaleReviews: inputs.retireStaleReviews,
     modelLabel,
   };
   if (inputs.provider === "anthropic") {
@@ -652,7 +683,7 @@ export const main = (): void =>
         ),
       ),
       Effect.scoped,
-      Effect.provide(NodeServices.layer),
+      Effect.provide(Layer.merge(NodeServices.layer, FetchHttpClient.layer)),
     ),
     { disableErrorReporting: true },
   );

package/src/cli.ts

@@ -2,6 +2,7 @@ import { NodeRuntime, NodeServices } from "@effect/platform-node";
 import { Console, Effect, Layer, Option, Schema } from "effect";
 import { BudgetExceeded } from "effect-agent";
 import { Command as CliCommand, Flag } from "effect/unstable/cli";
+import { FetchHttpClient } from "effect/unstable/http";
 
 import { InvalidEffortInput, parseEffortPosition, type EffortPosition } from "./internal/effort.ts";
 import { PrReview, type RunReviewOptions } from "./internal/factory.ts";
@@ -207,7 +208,7 @@ const program = CliCommand.run(command, { version: "0.0.0" }).pipe(
     ),
   ),
   Effect.scoped,
-  Effect.provide(NodeServices.layer),
+  Effect.provide(Layer.merge(NodeServices.layer, FetchHttpClient.layer)),
 );
 
 NodeRuntime.runMain(program, { disableErrorReporting: true });

package/src/index.ts

@@ -13,6 +13,7 @@ export * from "./internal/ignore.ts";
 export * from "./internal/profiles.ts";
 export * from "./internal/providers.ts";
 export * from "./internal/render.ts";
+export * from "./internal/retirement.ts";
 export * from "./internal/review-agent.ts";
 export * from "./internal/review-state.ts";
 export * from "./internal/review-units.ts";

package/src/internal/action-entry.ts

@@ -25,6 +25,7 @@ const INPUT_TO_ENV: ReadonlyArray<readonly [input: string, env: string]> = [
   ["INPUT_REVIEW-MODE", "PR_REVIEW_MODE"],
   ["INPUT_FAIL-ON", "PR_REVIEW_FAIL_ON"],
   ["INPUT_SKIP-UNCHANGED", "PR_REVIEW_SKIP_UNCHANGED"],
+  ["INPUT_RETIRE-STALE-REVIEWS", "PR_REVIEW_RETIRE_STALE_REVIEWS"],
   ["INPUT_STATE-SECRET", "PR_REVIEW_STATE_SECRET"],
   ["INPUT_OPENAI-API-KEY", "OPENAI_API_KEY"],
   ["INPUT_ANTHROPIC-API-KEY", "ANTHROPIC_API_KEY"],

package/src/internal/fixtures.ts

@@ -1,4 +1,4 @@
-import { Effect, Layer, Option, Ref, Schema } from "effect";
+import { DateTime, Effect, Layer, Option, Ref, Schema } from "effect";
 
 import { ChangedFile } from "./diff.ts";
 import {
@@ -93,6 +93,10 @@ export const collectingReviewPublisherLayer = (
               url: `memory://review/${plans.length}`,
               event: plan.event,
               inlineComments: plan.comments.length,
+              authorNodeId: "BOT_memory-reviewer",
+              submittedAt: DateTime.makeUnsafe(
+                `2026-01-01T00:00:${String(plans.length).padStart(2, "0")}Z`,
+              ),
             }),
           ),
         ),

package/src/internal/github-env.ts

@@ -1,5 +1,5 @@
 import { Config, Effect, FileSystem, Layer, Option, Schema } from "effect";
-import { FetchHttpClient } from "effect/unstable/http";
+import type { HttpClient } from "effect/unstable/http";
 
 import type { PriorReviews, ReviewPublisher } from "./github.ts";
 import {
@@ -7,7 +7,9 @@ import {
   gitHubPriorReviewsLayer,
   gitHubPullRequestSourceLayer,
   gitHubReviewPublisherLayer,
+  gitHubReviewRetirementHostLayer,
 } from "./github.ts";
+import type { ReviewRetirementHost } from "./retirement.ts";
 import type { PullRequestSource } from "./source.ts";
 
 // ---------------------------------------------------------------------------
@@ -105,24 +107,36 @@ export const resolveReviewTarget = Effect.fn("resolveReviewTarget")(function* (o
  */
 export const gitHubReviewLayers = (
   target: ResolvedReviewTarget,
-): Layer.Layer<PullRequestSource | ReviewPublisher | PriorReviews, Config.ConfigError> =>
+): Layer.Layer<
+  PullRequestSource | ReviewPublisher | PriorReviews | ReviewRetirementHost,
+  Config.ConfigError,
+  HttpClient.HttpClient
+> =>
   Layer.unwrap(
     Effect.gen(function* () {
       const apiUrl = yield* Config.string("GITHUB_API_URL").pipe(
         Config.withDefault("https://api.github.com"),
       );
+      const graphqlUrl = yield* Config.string("GITHUB_GRAPHQL_URL").pipe(
+        Config.withDefault(
+          apiUrl === "https://api.github.com"
+            ? "https://api.github.com/graphql"
+            : apiUrl.replace(/\/api\/v3$/, "/api/graphql"),
+        ),
+      );
       const token = yield* Config.option(Config.redacted("GITHUB_TOKEN"));
       const targetLayer = GitHubReviewTarget.layer({
         apiUrl,
+        graphqlUrl,
         repository: target.repository,
         number: target.number,
         token,
       });
-      const deps = Layer.merge(targetLayer, FetchHttpClient.layer);
       return Layer.mergeAll(
-        gitHubPullRequestSourceLayer.pipe(Layer.provide(deps)),
-        gitHubReviewPublisherLayer.pipe(Layer.provide(deps)),
-        gitHubPriorReviewsLayer.pipe(Layer.provide(deps)),
+        gitHubPullRequestSourceLayer.pipe(Layer.provide(targetLayer)),
+        gitHubReviewPublisherLayer.pipe(Layer.provide(targetLayer)),
+        gitHubPriorReviewsLayer.pipe(Layer.provide(targetLayer)),
+        gitHubReviewRetirementHostLayer.pipe(Layer.provide(targetLayer)),
       );
     }),
   );

package/src/internal/github.ts

@@ -1,10 +1,16 @@
 import type { Redacted } from "effect";
-import { Context, Effect, Layer, Option, Schema } from "effect";
+import { Context, DateTime, Effect, Layer, Option, Schema } from "effect";
 import { HttpClient, HttpClientRequest, HttpClientResponse } from "effect/unstable/http";
 
 import { ChangedFile } from "./diff.ts";
 import { extractFingerprint } from "./fingerprint.ts";
 import type { ReviewPublicationPlan } from "./render.ts";
+import {
+  RetirableReview,
+  RetirableReviewComment,
+  ReviewRetirementFailure,
+  ReviewRetirementHost,
+} from "./retirement.ts";
 import {
   ReviewHeadComparison,
   ReviewStateAuthenticator,
@@ -27,12 +33,19 @@ import {
 // GitHubApiFailure instead of an untyped defect.
 // ---------------------------------------------------------------------------
 
+const defaultGraphqlUrl = (apiUrl: string): string =>
+  apiUrl === "https://api.github.com"
+    ? "https://api.github.com/graphql"
+    : apiUrl.replace(/\/api\/v3$/, "/api/graphql");
+
 /** Which pull request to review and how to reach the API. */
 export class GitHubReviewTarget extends Context.Service<
   GitHubReviewTarget,
   {
     /** API root, e.g. `https://api.github.com` (no trailing slash). */
     readonly apiUrl: string;
+    /** GraphQL root, e.g. `https://api.github.com/graphql`. */
+    readonly graphqlUrl: string;
     /** `owner/name`. */
     readonly repository: string;
     readonly number: number;
@@ -42,11 +55,18 @@ export class GitHubReviewTarget extends Context.Service<
 >()("@effect-agent/pr-review/GitHubReviewTarget") {
   static layer(config: {
     readonly apiUrl: string;
+    readonly graphqlUrl?: string | undefined;
     readonly repository: string;
     readonly number: number;
     readonly token: Option.Option<Redacted.Redacted<string>>;
   }): Layer.Layer<GitHubReviewTarget> {
-    return Layer.succeed(this, GitHubReviewTarget.of(config));
+    return Layer.succeed(
+      this,
+      GitHubReviewTarget.of({
+        ...config,
+        graphqlUrl: config.graphqlUrl ?? defaultGraphqlUrl(config.apiUrl),
+      }),
+    );
   }
 }
 
@@ -82,11 +102,54 @@ const GitHubFileWire = Schema.Struct({
 
 const GitHubFilesPageWire = Schema.Array(GitHubFileWire);
 
+const GitHubActorWire = Schema.Struct({ node_id: Schema.String });
+
 const GitHubReviewWire = Schema.Struct({
   id: Schema.Int,
   html_url: Schema.String,
+  user: Schema.NullOr(GitHubActorWire),
+  submitted_at: Schema.NullOr(Schema.String),
+});
+
+const GitHubRetirableReviewWire = Schema.Struct({
+  id: Schema.Int,
+  body: Schema.NullOr(Schema.String),
+  commit_id: Schema.String,
+  user: Schema.NullOr(GitHubActorWire),
+  submitted_at: Schema.NullOr(Schema.String),
+});
+const GitHubRetirableReviewsPageWire = Schema.Array(GitHubRetirableReviewWire);
+
+const GitHubReviewCommentWire = Schema.Struct({
+  node_id: Schema.String,
+  path: Schema.String,
+  body: Schema.String,
+  line: Schema.NullOr(Schema.Int),
+  original_line: Schema.NullOr(Schema.Int),
+  start_line: Schema.optionalKey(Schema.NullOr(Schema.Int)),
+  original_start_line: Schema.optionalKey(Schema.NullOr(Schema.Int)),
+});
+const GitHubReviewCommentsPageWire = Schema.Array(GitHubReviewCommentWire);
+
+const GitHubMinimizeCommentWire = Schema.Struct({
+  data: Schema.optionalKey(
+    Schema.NullOr(
+      Schema.Struct({
+        minimizeComment: Schema.NullOr(
+          Schema.Struct({
+            minimizedComment: Schema.NullOr(Schema.Struct({ isMinimized: Schema.Boolean })),
+          }),
+        ),
+      }),
+    ),
+  ),
+  errors: Schema.optionalKey(Schema.Array(Schema.Struct({ message: Schema.String }))),
 });
 
+/** Decode GitHub's external timestamp before it participates in mutation ordering. */
+export const parseGitHubSubmittedAt = (value: string | null): DateTime.Utc | null =>
+  value === null ? null : Option.getOrNull(DateTime.make(value));
+
 /** The publication receipt callers report back to the operator. */
 export class PublishedReview extends Schema.Class<PublishedReview>(
   "@effect-agent/pr-review/PublishedReview",
@@ -95,6 +158,9 @@ export class PublishedReview extends Schema.Class<PublishedReview>(
   url: Schema.String,
   event: Schema.String,
   inlineComments: Schema.Int.check(Schema.isGreaterThanOrEqualTo(0)),
+  /** Actor and ordering boundary returned by the create-review response. */
+  authorNodeId: Schema.NullOr(Schema.NonEmptyString.check(Schema.isMaxLength(200))),
+  submittedAt: Schema.NullOr(Schema.DateTimeUtc),
 }) {}
 
 /** Posts one planned review; the ONLY mutating operation in this package. */
@@ -335,12 +401,176 @@ export const gitHubReviewPublisherLayer: Layer.Layer<
             url: wire.html_url,
             event: plan.event,
             inlineComments: plan.comments.length,
+            authorNodeId: wire.user?.node_id ?? null,
+            submittedAt: parseGitHubSubmittedAt(wire.submitted_at),
           });
         }),
     });
   }),
 );
 
+// --- Live ReviewRetirementHost ----------------------------------------------
+
+const MAX_RETIREMENT_PAGES = 5;
+const MINIMIZE_REVIEW_COMMENT_MUTATION = `mutation MinimizeReviewComment($subjectId: ID!) {
+  minimizeComment(input: { subjectId: $subjectId, classifier: OUTDATED }) {
+    minimizedComment { isMinimized }
+  }
+}`;
+
+/** GitHub-backed host operations for cosmetic retirement after publication. */
+export const gitHubReviewRetirementHostLayer: Layer.Layer<
+  ReviewRetirementHost,
+  never,
+  GitHubReviewTarget | HttpClient.HttpClient
+> = Layer.effect(ReviewRetirementHost)(
+  Effect.gen(function* () {
+    const target = yield* GitHubReviewTarget;
+    const client = yield* HttpClient.HttpClient;
+    const prefix = `${target.apiUrl}/repos/${target.repository}/pulls/${target.number}`;
+    const asRetirementFailure =
+      (operation: string) =>
+      (error: { readonly _tag: string; readonly message?: string }): ReviewRetirementFailure =>
+        ReviewRetirementFailure.make({
+          operation,
+          reason: `${error._tag}: ${error.message ?? "request failed"}`.slice(0, 2_048),
+        });
+    const executeRetirement = (operation: string, request: HttpClientRequest.HttpClientRequest) =>
+      HttpClient.execute(request).pipe(
+        Effect.flatMap(HttpClientResponse.filterStatusOk),
+        Effect.mapError(asRetirementFailure(operation)),
+        Effect.provideService(HttpClient.HttpClient, client),
+      );
+    const decodeRetirement = <S extends Schema.Top>(schema: S, operation: string) => {
+      const decode = Schema.decodeUnknownEffect(schema);
+      return (response: HttpClientResponse.HttpClientResponse) =>
+        response.json.pipe(
+          Effect.mapError(asRetirementFailure(operation)),
+          Effect.flatMap((body) =>
+            decode(body).pipe(Effect.mapError(asRetirementFailure(operation))),
+          ),
+        );
+    };
+    const listPaged = <A>(input: {
+      readonly operation: string;
+      readonly url: string;
+      readonly decode: (
+        response: HttpClientResponse.HttpClientResponse,
+      ) => Effect.Effect<ReadonlyArray<A>, ReviewRetirementFailure>;
+    }) =>
+      Effect.gen(function* () {
+        const values: Array<A> = [];
+        const perPage = 100;
+        for (let page = 1; page <= MAX_RETIREMENT_PAGES; page += 1) {
+          const response = yield* executeRetirement(
+            input.operation,
+            withCommonHeaders(
+              HttpClientRequest.get(input.url).pipe(
+                HttpClientRequest.acceptJson,
+                HttpClientRequest.setUrlParams({
+                  per_page: String(perPage),
+                  page: String(page),
+                }),
+              ),
+              target.token,
+            ),
+          );
+          const pageValues = yield* input.decode(response);
+          values.push(...pageValues);
+          if (pageValues.length < perPage) return values;
+        }
+        return yield* ReviewRetirementFailure.make({
+          operation: input.operation,
+          reason: `history exceeds the bounded ${MAX_RETIREMENT_PAGES * 100}-item lookup`,
+        });
+      });
+
+    return ReviewRetirementHost.of({
+      listReviews: listPaged({
+        operation: "listReviewsForRetirement",
+        url: `${prefix}/reviews`,
+        decode: decodeRetirement(GitHubRetirableReviewsPageWire, "listReviewsForRetirement"),
+      }).pipe(
+        Effect.map((reviews) =>
+          reviews.map((review) =>
+            RetirableReview.make({
+              reviewId: review.id,
+              body: review.body ?? "",
+              commitSha: review.commit_id,
+              authorNodeId: review.user?.node_id ?? null,
+              submittedAt: parseGitHubSubmittedAt(review.submitted_at),
+            }),
+          ),
+        ),
+      ),
+      listComments: (reviewId) =>
+        listPaged({
+          operation: "listReviewCommentsForRetirement",
+          url: `${prefix}/reviews/${reviewId}/comments`,
+          decode: decodeRetirement(GitHubReviewCommentsPageWire, "listReviewCommentsForRetirement"),
+        }).pipe(
+          Effect.map((comments) =>
+            comments.map((comment) => {
+              const endLine = comment.line ?? comment.original_line;
+              const startLine = comment.start_line ?? comment.original_start_line ?? endLine;
+              return RetirableReviewComment.make({
+                nodeId: comment.node_id,
+                path: comment.path,
+                startLine,
+                endLine,
+                body: comment.body,
+              });
+            }),
+          ),
+        ),
+      updateBody: (reviewId, body) =>
+        executeRetirement(
+          "updateReview",
+          withCommonHeaders(
+            HttpClientRequest.put(`${prefix}/reviews/${reviewId}`).pipe(
+              HttpClientRequest.acceptJson,
+              HttpClientRequest.bodyJsonUnsafe({ body }),
+            ),
+            target.token,
+          ),
+        ).pipe(Effect.asVoid),
+      minimizeComment: (nodeId) =>
+        Effect.gen(function* () {
+          const response = yield* executeRetirement(
+            "minimizeComment",
+            withCommonHeaders(
+              HttpClientRequest.post(target.graphqlUrl).pipe(
+                HttpClientRequest.acceptJson,
+                HttpClientRequest.bodyJsonUnsafe({
+                  query: MINIMIZE_REVIEW_COMMENT_MUTATION,
+                  variables: { subjectId: nodeId },
+                }),
+              ),
+              target.token,
+            ),
+          );
+          const wire = yield* decodeRetirement(
+            GitHubMinimizeCommentWire,
+            "minimizeComment",
+          )(response);
+          if (
+            (wire.errors?.length ?? 0) > 0 ||
+            wire.data?.minimizeComment?.minimizedComment?.isMinimized !== true
+          ) {
+            return yield* ReviewRetirementFailure.make({
+              operation: "minimizeComment",
+              reason:
+                wire.errors
+                  ?.map((error) => error.message)
+                  .join("; ")
+                  .slice(0, 2_048) ?? "GitHub did not confirm comment minimization",
+            });
+          }
+        }),
+    });
+  }),
+);
+
 // --- Prior reviews (fingerprint deduplication) ---------------------------------
 
 /** Reading the pull request's previously posted reviews failed. */