@effect-agent/pr-review 0.1.0-beta.11 → 0.1.0-beta.111

package/src/internal/ignore.ts

@@ -1,88 +0,0 @@
-import { Effect, Layer } from "effect";
-
-import { PullRequestMetadata, PullRequestSource, ReviewInputViolation } from "./source.ts";
-
-// ---------------------------------------------------------------------------
-// Configured ignore globs, applied at the source port. Ignored files are
-// removed from the reviewer's entire observation surface — the changeset
-// list, diffs, and head reads — so the model never spends budget on them and
-// can never anchor a finding to them. Filtering fails closed: reading an
-// ignored path is a ReviewInputViolation, exactly like a path outside the
-// changeset.
-// ---------------------------------------------------------------------------
-
-const REGEX_SPECIALS = /[.+^${}()|[\]\\]/g;
-
-// Placeholders for the directory-crossing wildcard while single-segment
-// wildcards are rewritten; NUL/SOH cannot appear in a valid repository path.
-const CROSSING_SLASH = "\u0000";
-const CROSSING = "\u0001";
-
-/**
- * The supported glob vocabulary is deliberately minimal: `**` crosses
- * directory separators, `*` and `?` stay within one path segment, everything
- * else is literal. Every string compiles — there is no invalid pattern.
- */
-const globToRegExpSource = (pattern: string): string =>
-  pattern
-    .replace(REGEX_SPECIALS, String.raw`\$&`)
-    .replaceAll("**/", CROSSING_SLASH)
-    .replaceAll("**", CROSSING)
-    .replaceAll("*", "[^/]*")
-    .replaceAll("?", "[^/]")
-    .replaceAll(CROSSING_SLASH, "(?:.*/)?")
-    .replaceAll(CROSSING, ".*");
-
-/** Compile ignore globs into one predicate over repository-relative paths. */
-export const compileIgnoreGlobs = (
-  patterns: ReadonlyArray<string>,
-): ((path: string) => boolean) => {
-  if (patterns.length === 0) return () => false;
-  const expressions = patterns.map((pattern) => new RegExp(`^(?:${globToRegExpSource(pattern)})$`));
-  return (path) => expressions.some((expression) => expression.test(path));
-};
-
-/**
- * Decorate the ambient PullRequestSource with configured ignore globs. The
- * resulting Layer requires the undecorated source, so callers provide their
- * real adapter beneath it. Metadata's changed-file total is reduced by the
- * ignored count: from the reviewer's perspective the ignored files do not
- * exist, and truncation reporting stays about the reviewer's own bound.
- */
-export const ignoringPullRequestSourceLayer = (
-  patterns: ReadonlyArray<string>,
-): Layer.Layer<PullRequestSource, never, PullRequestSource> =>
-  Layer.effect(PullRequestSource)(
-    Effect.gen(function* () {
-      const source = yield* PullRequestSource;
-      const ignored = compileIgnoreGlobs(patterns);
-      const changedFiles = source.changedFiles.pipe(
-        Effect.map((files) => files.filter((file) => !ignored(file.path))),
-      );
-      const anchorFiles = source.anchorFiles.pipe(
-        Effect.map((files) => files.filter((file) => !ignored(file.path))),
-      );
-      const metadata = Effect.gen(function* () {
-        const [meta, files] = yield* Effect.all([source.metadata, source.anchorFiles]);
-        const ignoredCount = files.filter((file) => ignored(file.path)).length;
-        return PullRequestMetadata.make({
-          ...meta,
-          totalChangedFiles: Math.max(0, meta.totalChangedFiles - ignoredCount),
-        });
-      });
-      return PullRequestSource.of({
-        metadata,
-        changedFiles,
-        anchorFiles,
-        readFile: (path) =>
-          ignored(path)
-            ? Effect.fail(
-                ReviewInputViolation.make({
-                  input: path,
-                  reason: "Path is excluded from this review by configuration.",
-                }),
-              )
-            : source.readFile(path),
-      });
-    }),
-  );

package/src/internal/profiles.ts

@@ -1,79 +0,0 @@
-import { Schema } from "effect";
-
-// ---------------------------------------------------------------------------
-// Committed capability claims, schema-first: what this package's reviewers
-// promise and — just as deliberately — what they never claim. Deployment
-// class E (ephemeral): one bounded AgentRuntime.run per invocation, no
-// durability, no exactly-once external effects (DUR-003).
-// ---------------------------------------------------------------------------
-
-/** The flat reviewer's committed capability claim. */
-export class PullRequestReviewerProfile extends Schema.Class<PullRequestReviewerProfile>(
-  "@effect-agent/pr-review/PullRequestReviewerProfile",
-)({
-  /** Ephemeral runtime: one bounded AgentRuntime.run per invocation. */
-  deploymentClass: Schema.Literal("E"),
-  /** Every model-callable tool is a read of the pull request; none mutate. */
-  readOnlyToolSurface: Schema.Literal(true),
-  /** The review is posted by the host AFTER the run settles, never by a tool. */
-  publicationOutsideAgentLoop: Schema.Literal(true),
-  /** Finding anchors are validated against the parsed diff before posting. */
-  anchorsValidatedBeforePublication: Schema.Literal(true),
-  /** The live profile is env-gated out of every ordinary test gate. */
-  liveProfileOptIn: Schema.Literal(true),
-  /** Never claimed at any phase (DUR-003). */
-  exactlyOnceExternalEffects: Schema.Literal(false),
-}) {}
-
-export const pullRequestReviewerProfile = PullRequestReviewerProfile.make({
-  deploymentClass: "E",
-  readOnlyToolSurface: true,
-  publicationOutsideAgentLoop: true,
-  anchorsValidatedBeforePublication: true,
-  liveProfileOptIn: true,
-  exactlyOnceExternalEffects: false,
-});
-
-/** The fan-out reviewer's committed capability claim, schema-first. */
-export class FanOutReviewerProfile extends Schema.Class<FanOutReviewerProfile>(
-  "@effect-agent/pr-review/FanOutReviewerProfile",
-)({
-  /** Ephemeral runtime: one bounded AgentRuntime.run per invocation. */
-  deploymentClass: Schema.Literal("E"),
-  /** Every model-callable tool — parent and child — is a read; none mutate. */
-  readOnlyToolSurface: Schema.Literal(true),
-  /** The review is posted by the host AFTER the run settles, never by a tool. */
-  publicationOutsideAgentLoop: Schema.Literal(true),
-  /** Child findings are untrusted; anchors are validated against the parsed diff. */
-  anchorsValidatedBeforePublication: Schema.Literal(true),
-  /** S1 attached ephemeral delegation at depth 1; nested delegation is rejected. */
-  attachedEphemeralDelegation: Schema.Literal(true),
-  /** A failed unit surfaces to the coordinator as a typed failed result, never retried. */
-  failedUnitsReportedNotRetried: Schema.Literal(true),
-  /** The live profile is env-gated out of every ordinary test gate. */
-  liveProfileOptIn: Schema.Literal(true),
-  /** Never claimed at any phase (DUR-003). */
-  exactlyOnceExternalEffects: Schema.Literal(false),
-}) {}
-
-export const fanOutReviewerProfile = FanOutReviewerProfile.make({
-  deploymentClass: "E",
-  readOnlyToolSurface: true,
-  publicationOutsideAgentLoop: true,
-  anchorsValidatedBeforePublication: true,
-  attachedEphemeralDelegation: true,
-  failedUnitsReportedNotRetried: true,
-  liveProfileOptIn: true,
-  exactlyOnceExternalEffects: false,
-});
-
-export const LIVE_GATE_ENV = "EFFECT_AGENT_LIVE";
-
-/**
- * `EFFECT_AGENT_LIVE=1` plus the named credential is the only enabling
- * combination for live (network, billed) profiles.
- */
-export const liveProfileEnabled = (
-  env: Record<string, string | undefined>,
-  credentialEnv: string,
-): boolean => env[LIVE_GATE_ENV] === "1" && (env[credentialEnv] ?? "") !== "";

package/src/internal/providers.ts

@@ -1,94 +0,0 @@
-import { AnthropicClient, AnthropicLanguageModel } from "@effect/ai-anthropic";
-import { OpenAiClient, OpenAiLanguageModel } from "@effect/ai-openai";
-import { Config, Layer } from "effect";
-import { FetchHttpClient } from "effect/unstable/http";
-
-import { resolveEffortRung, type EffortAliasName, type EffortPosition } from "./effort.ts";
-
-// ---------------------------------------------------------------------------
-// Built-in provider bindings for the two host entrypoints (CLI and Action).
-// The library itself stays provider-agnostic — the configuration factory
-// takes any Effect AI Model — and these helpers exist so the batteries-
-// included paths need one flag and one credential, nothing more. Client
-// Layers carry their redacted credentials from configuration; the
-// application supplies them at the edge (D-027).
-// ---------------------------------------------------------------------------
-
-export type ReviewProvider = "openai" | "anthropic";
-
-export const DEFAULT_PROVIDER: ReviewProvider = "openai";
-
-export const DEFAULT_MODEL: Record<ReviewProvider, string> = {
-  openai: "gpt-5.6-sol",
-  anthropic: "claude-sonnet-5",
-};
-
-export const PROVIDER_CREDENTIAL_ENV: Record<ReviewProvider, string> = {
-  openai: "OPENAI_API_KEY",
-  anthropic: "ANTHROPIC_API_KEY",
-};
-
-/**
- * Each provider's offered reasoning-effort ladder, cheapest first. The rungs
- * that turn reasoning off (`none`, `minimal`) are deliberately not offered —
- * no review run wants them. An `EffortPosition` resolves into the running
- * provider's own ladder, so the same stored position survives a provider or
- * model change.
- */
-export const PROVIDER_EFFORT_RUNGS = {
-  openai: ["low", "medium", "high", "xhigh"],
-  anthropic: ["low", "medium", "high"],
-} as const satisfies Record<
-  ReviewProvider,
-  readonly [EffortAliasName, ...ReadonlyArray<EffortAliasName>]
->;
-
-/** One OpenAI review model binding with the package's structured-output settings. */
-export const makeOpenAiReviewModel = (model?: string, effort?: EffortPosition) =>
-  OpenAiLanguageModel.model(model ?? DEFAULT_MODEL.openai, {
-    // OpenAI counts hidden reasoning tokens and visible answer tokens against
-    // this same ceiling. High-effort reviews can exhaust an 8k allowance
-    // after reading every file but before emitting their structured report.
-    max_output_tokens: 32_000,
-    store: false,
-    strictJsonSchema: true,
-    ...(effort === undefined
-      ? {}
-      : { reasoning: { effort: resolveEffortRung(effort, PROVIDER_EFFORT_RUNGS.openai) } }),
-  });
-
-/** One Anthropic review model binding with the package's output settings. */
-export const makeAnthropicReviewModel = (model?: string, effort?: EffortPosition) =>
-  AnthropicLanguageModel.model(model ?? DEFAULT_MODEL.anthropic, {
-    max_tokens: 8_000,
-    ...(effort === undefined
-      ? {}
-      : { output_config: { effort: resolveEffortRung(effort, PROVIDER_EFFORT_RUNGS.anthropic) } }),
-  });
-
-/**
- * The human-readable descriptor of one provider binding, e.g.
- * `openai/gpt-5.6-sol (effort high)`. Rendered into the review footer and
- * included in the changeset-fingerprint signature, so a provider, model, or
- * effort change re-reviews instead of skipping.
- */
-export const describeReviewModel = (
-  provider: ReviewProvider,
-  model?: string,
-  effort?: EffortPosition,
-): string => {
-  const base = `${provider}/${model ?? DEFAULT_MODEL[provider]}`;
-  return effort === undefined
-    ? base
-    : `${base} (effort ${resolveEffortRung(effort, PROVIDER_EFFORT_RUNGS[provider])})`;
-};
-
-/** The OpenAI client Layer, credential from `OPENAI_API_KEY`. */
-export const openAiClientLayer = OpenAiClient.layerConfig({
-  apiKey: Config.redacted(PROVIDER_CREDENTIAL_ENV.openai),
-}).pipe(Layer.provide(FetchHttpClient.layer));
-
-/** The Anthropic client Layer, credential from `ANTHROPIC_API_KEY`. */
-export const anthropicClientLayer = AnthropicClient.layerConfig({
-  apiKey: Config.redacted(PROVIDER_CREDENTIAL_ENV.anthropic),
-}).pipe(Layer.provide(FetchHttpClient.layer));