@manehorizons/cadence-core 1.1.1

package/dist/verify/anthropic-verifier.js

@@ -0,0 +1,109 @@
+import Anthropic from '@anthropic-ai/sdk';
+import { zodOutputFormat } from '@anthropic-ai/sdk/helpers/zod';
+import { z } from 'zod/v4';
+export const VerifierResponseSchema = z.object({
+    verdicts: z.array(z.object({
+        id: z.string(),
+        pass: z.boolean(),
+        reason: z.string(),
+    })),
+});
+export const SYSTEM_PROMPT = `You are an independent acceptance-criterion verifier for an AI-assisted development tool called CADENCE.
+
+For each acceptance criterion (AC) you receive, decide whether the supplied diff + test references actually deliver what the AC promises in plain English. Be skeptical: "tests exist" is necessary but not sufficient; the diff must actually implement the behavior the AC describes.
+
+Return one verdict per AC. Use:
+- pass=true when the diff implements the AC AND a referenced test exercises it
+- pass=false when the implementation is missing, partial, or untested
+- Keep each reason ≤ 200 characters, citing the specific gap or proof
+
+Return strict JSON matching the requested schema. Do not include narrative outside the schema.`;
+const DEFAULT_MODEL = 'claude-sonnet-4-6';
+const DEFAULT_MAX_TOKENS = 16_000;
+export class AnthropicVerifier {
+    name = 'anthropic';
+    client;
+    model;
+    maxTokens;
+    constructor(opts = {}) {
+        if (opts.client) {
+            this.client = opts.client;
+        }
+        else {
+            const apiKey = opts.apiKey ?? process.env.ANTHROPIC_API_KEY;
+            if (!apiKey) {
+                throw new Error('AnthropicVerifier requires an API key. Set ANTHROPIC_API_KEY or pass `apiKey` / `client`.');
+            }
+            this.client = new Anthropic({ apiKey });
+        }
+        this.model = opts.model ?? DEFAULT_MODEL;
+        this.maxTokens = opts.maxTokens ?? DEFAULT_MAX_TOKENS;
+    }
+    async verify(input) {
+        if (input.acs.length === 0) {
+            return { verdicts: {}, provider: this.name, model: this.model };
+        }
+        const userMessage = formatUserMessage(input);
+        let response;
+        try {
+            response = await this.client.messages.parse({
+                model: this.model,
+                max_tokens: this.maxTokens,
+                system: [
+                    {
+                        type: 'text',
+                        text: SYSTEM_PROMPT,
+                        cache_control: { type: 'ephemeral' },
+                    },
+                ],
+                output_config: {
+                    format: zodOutputFormat(VerifierResponseSchema),
+                },
+                messages: [{ role: 'user', content: userMessage }],
+            });
+        }
+        catch (err) {
+            if (err instanceof Anthropic.APIError) {
+                throw new Error(`AnthropicVerifier API error (${err.status ?? 'unknown'}): ${err.message}`);
+            }
+            throw err;
+        }
+        const parsed = response.parsed_output;
+        if (!parsed) {
+            throw new Error('AnthropicVerifier received no parseable output from the model (response.parsed_output was null/undefined).');
+        }
+        const verdicts = {};
+        for (const v of parsed.verdicts) {
+            verdicts[v.id] = { pass: v.pass, reason: v.reason };
+        }
+        return { verdicts, provider: this.name, model: this.model };
+    }
+}
+export function formatUserMessage(input) {
+    const acList = input.acs
+        .map((ac) => `### ${ac.id}\nGiven: ${ac.given}\nWhen: ${ac.when}\nThen: ${ac.then}`)
+        .join('\n\n');
+    const testList = Object.entries(input.tests)
+        .map(([acId, refs]) => {
+        const lines = refs
+            .map((r) => `- ${r.file}:${r.line} — ${r.snippet}`)
+            .join('\n');
+        return `## ${acId} linked tests\n${lines || '(none)'}`;
+    })
+        .join('\n\n');
+    const fileList = input.files.length > 0
+        ? input.files.map((f) => `- ${f}`).join('\n')
+        : '(none)';
+    const diffSection = input.diff || '(no diff supplied)';
+    const ids = input.acs.map((ac) => ac.id);
+    const idList = ids.join(', ');
+    const example = JSON.stringify({
+        verdicts: ids.map((id) => ({
+            id,
+            pass: true,
+            reason: 'why this AC is (or is not) delivered',
+        })),
+    });
+    return `# Acceptance Criteria\n\n${acList}\n\n# Linked tests\n\n${testList || '(none)'}\n\n# Touched files\n\n${fileList}\n\n# Diff\n\n${diffSection}\n\nReturn exactly one verdict object per acceptance criterion: ${idList}. Each verdict's "id" MUST be the exact AC id string shown above (e.g. "${ids[0] ?? 'AC-1'}") — do not renumber, omit, or invent ids. Respond with strict JSON in exactly this shape (same keys, one entry per AC):\n\n${example}`;
+}
+//# sourceMappingURL=anthropic-verifier.js.map

package/dist/verify/anthropic-verifier.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"anthropic-verifier.js","sourceRoot":"","sources":["../../src/verify/anthropic-verifier.ts"],"names":[],"mappings":"AAAA,OAAO,SAAS,MAAM,mBAAmB,CAAC;AAC1C,OAAO,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,EAAE,CAAC,EAAE,MAAM,QAAQ,CAAC;AAQ3B,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC7C,QAAQ,EAAE,CAAC,CAAC,KAAK,CACf,CAAC,CAAC,MAAM,CAAC;QACP,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;QACd,IAAI,EAAE,CAAC,CAAC,OAAO,EAAE;QACjB,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE;KACnB,CAAC,CACH;CACF,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,aAAa,GAAG;;;;;;;;;+FASkE,CAAC;AAEhG,MAAM,aAAa,GAAG,mBAAmB,CAAC;AAC1C,MAAM,kBAAkB,GAAG,MAAM,CAAC;AAUlC,MAAM,OAAO,iBAAiB;IACnB,IAAI,GAAG,WAAW,CAAC;IACX,MAAM,CAAY;IAClB,KAAK,CAAS;IACd,SAAS,CAAS;IAEnC,YAAY,OAAiC,EAAE;QAC7C,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAChB,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;QAC5B,CAAC;aAAM,CAAC;YACN,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,IAAI,OAAO,CAAC,GAAG,CAAC,iBAAiB,CAAC;YAC5D,IAAI,CAAC,MAAM,EAAE,CAAC;gBACZ,MAAM,IAAI,KAAK,CACb,2FAA2F,CAC5F,CAAC;YACJ,CAAC;YACD,IAAI,CAAC,MAAM,GAAG,IAAI,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC;QAC1C,CAAC;QACD,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,aAAa,CAAC;QACzC,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,IAAI,kBAAkB,CAAC;IACxD,CAAC;IAED,KAAK,CAAC,MAAM,CAAC,KAAkB;QAC7B,IAAI,KAAK,CAAC,GAAG,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC3B,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;QAClE,CAAC;QAED,MAAM,WAAW,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC;QAC7C,IAAI,QAA6D,CAAC;QAClE,IAAI,CAAC;YACH,QAAQ,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;gBAC1C,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,UAAU,EAAE,IAAI,CAAC,SAAS;gBAC1B,MAAM,EAAE;oBACN;wBACE,IAAI,EAAE,MAAM;wBACZ,IAAI,EAAE,aAAa;wBACnB,aAAa,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE;qBACrC;iBACF;gBACD,aAAa,EAAE;oBACb,MAAM,EAAE,eAAe,CAAC,sBAAsB,CAAC;iBAChD;gBACD,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC;aACnD,CAAC,CAAC;QACL,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,IAAI,GAAG,YAAY,SAAS,CAAC,QAAQ,EAAE,CAAC;gBACtC,MAAM,IAAI,KAAK,CACb,gCAAgC,GAAG,CAAC,MAAM,IAAI,SAAS,MAAM,GAAG,CAAC,OAAO,EAAE,CAC3E,CAAC;YACJ,CAAC;YACD,MAAM,GAAG,CAAC;QACZ,CAAC;QAED,MAAM,MAAM,GAAG,QAAQ,CAAC,aAAa,CAAC;QACtC,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,MAAM,IAAI,KAAK,CACb,4GAA4G,CAC7G,CAAC;QACJ,CAAC;QAED,MAAM,QAAQ,GAA8B,EAAE,CAAC;QAC/C,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;YAChC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;QACtD,CAAC;QAED,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;IAC9D,CAAC;CACF;AAED,MAAM,UAAU,iBAAiB,CAAC,KAAkB;IAClD,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG;SACrB,GAAG,CACF,CAAC,EAAE,EAAE,EAAE,CACL,OAAO,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,KAAK,WAAW,EAAE,CAAC,IAAI,WAAW,EAAE,CAAC,IAAI,EAAE,CACzE;SACA,IAAI,CAAC,MAAM,CAAC,CAAC;IAEhB,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC;SACzC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE;QACpB,MAAM,KAAK,GAAG,IAAI;aACf,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,OAAO,EAAE,CAAC;aAClD,IAAI,CAAC,IAAI,CAAC,CAAC;QACd,OAAO,MAAM,IAAI,kBAAkB,KAAK,IAAI,QAAQ,EAAE,CAAC;IACzD,CAAC,CAAC;SACD,IAAI,CAAC,MAAM,CAAC,CAAC;IAEhB,MAAM,QAAQ,GACZ,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;QACpB,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QAC7C,CAAC,CAAC,QAAQ,CAAC;IAEf,MAAM,WAAW,GAAG,KAAK,CAAC,IAAI,IAAI,oBAAoB,CAAC;IAEvD,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IACzC,MAAM,MAAM,GAAG,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9B,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC;QAC7B,QAAQ,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;YACzB,EAAE;YACF,IAAI,EAAE,IAAI;YACV,MAAM,EAAE,sCAAsC;SAC/C,CAAC,CAAC;KACJ,CAAC,CAAC;IAEH,OAAO,4BAA4B,MAAM,yBAAyB,QAAQ,IAAI,QAAQ,0BAA0B,QAAQ,iBAAiB,WAAW,mEAAmE,MAAM,2EAA2E,GAAG,CAAC,CAAC,CAAC,IAAI,MAAM,+HAA+H,OAAO,EAAE,CAAC;AACnc,CAAC"}

package/dist/verify/code-review-factory.d.ts

@@ -0,0 +1,103 @@
+import { type CodeReviewVerifier } from './code-review.js';
+import { type VerifierSelectOptions } from './verifier-factory.js';
+/** @deprecated alias of `VerifierSelectOptions` (kept for API stability). */
+export type SelectCodeReviewVerifierOptions = VerifierSelectOptions;
+/** Picks the code-review verifier given config + env (Phase 24.3). */
+export declare const selectCodeReviewVerifier: (config: Pick<{
+    schemaVersion: 1;
+    profile: "strict" | "standard" | "auto";
+    loopEnforcement: "strict" | "soft" | "reminder";
+    acDiscipline: "strict" | "tier-scaled" | "optional";
+    workstreamBackend: string;
+    ruleProvider: string;
+    subagentPolicy: {
+        contextBudgetThreshold: number;
+        largeTaskTokens: number;
+        mechanicalBatchMin: number;
+    };
+    modelPerClass: {
+        standard: string;
+        mechanical: string;
+        complex: string;
+        drafting: string;
+    };
+    commitCadence: "task" | "draft" | "manual";
+    templates: {
+        dir: string;
+        overrides: string[];
+    };
+    hooks: {
+        sessionStart: boolean;
+        stopReminder: boolean;
+        preToolUseBuildGate: boolean;
+        userPromptSubmit: boolean;
+    };
+    packs: {
+        enabled: string[];
+        disabled: string[];
+    };
+    telemetry: {
+        tokenUtilization: boolean;
+        skillInvocations: boolean;
+        remoteOptIn: boolean;
+    };
+    skillAudit: {
+        required: string[];
+    };
+    convergence: {
+        maxAttempts: number;
+    };
+    specReview: {
+        provider: "mock" | "anthropic" | "local";
+        model?: string | undefined;
+    };
+    tier: {
+        standard: {
+            maxTasks: number;
+            maxFiles: number;
+        };
+        complex: {
+            maxTasks: number;
+            minTasks: number;
+        };
+        quickFix: {
+            maxTasks: number;
+            maxFiles: number;
+        };
+    };
+    verification: {
+        testGlobs: string[];
+        testCommand?: string | undefined;
+    };
+    verifier: {
+        provider: "mock" | "anthropic" | "local";
+        model?: string | undefined;
+    };
+    perTaskVerifier: {
+        provider: "mock" | "anthropic" | "local";
+        model?: string | undefined;
+    };
+    codeReview: {
+        provider: "mock" | "anthropic" | "local";
+        model?: string | undefined;
+    };
+    planReview: {
+        provider: "mock" | "anthropic" | "local";
+        model?: string | undefined;
+    };
+    securityAudit: {
+        provider: "mock" | "anthropic" | "local";
+        model?: string | undefined;
+    };
+    notify: {
+        transport: "stderr" | "file" | "none" | "webhook";
+        file?: string | undefined;
+        webhook?: {
+            url: string;
+            headers?: Record<string, string> | undefined;
+            timeoutMs?: number | undefined;
+        } | undefined;
+    };
+    $schema?: string | undefined;
+}, "codeReview"> | null, opts?: VerifierSelectOptions) => CodeReviewVerifier;
+//# sourceMappingURL=code-review-factory.d.ts.map

package/dist/verify/code-review-factory.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"code-review-factory.d.ts","sourceRoot":"","sources":["../../src/verify/code-review-factory.ts"],"names":[],"mappings":"AACA,OAAO,EAIL,KAAK,kBAAkB,EACxB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAEL,KAAK,qBAAqB,EAC3B,MAAM,uBAAuB,CAAC;AAE/B,6EAA6E;AAC7E,MAAM,MAAM,+BAA+B,GAAG,qBAAqB,CAAC;AAEpE,sEAAsE;AACtE,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;aAU00Y,CAAC;;;;;;;;;;;;;;;;;;mBAAoY,CAAC;;;;aAA4G,CAAC;;;;aAAmH,CAAC;;;;aAA8G,CAAC;;;;aAA8G,CAAC;;;;aAAiH,CAAC;;;;YAAkH,CAAC;eAAqC,CAAC;;mBAAgD,CAAC;qBAA2D,CAAC;;;;4EAD1ib,CAAC"}

package/dist/verify/code-review-factory.js

@@ -0,0 +1,11 @@
+import { AnthropicCodeReviewVerifier, LocalCodeReviewVerifier, MockCodeReviewVerifier, } from './code-review.js';
+import { createVerifierFactory, } from './verifier-factory.js';
+/** Picks the code-review verifier given config + env (Phase 24.3). */
+export const selectCodeReviewVerifier = createVerifierFactory({
+    label: 'code-review',
+    read: (c) => c?.codeReview,
+    mock: () => new MockCodeReviewVerifier(),
+    anthropic: (o) => new AnthropicCodeReviewVerifier(o),
+    local: (o) => new LocalCodeReviewVerifier(o),
+});
+//# sourceMappingURL=code-review-factory.js.map

package/dist/verify/code-review-factory.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"code-review-factory.js","sourceRoot":"","sources":["../../src/verify/code-review-factory.ts"],"names":[],"mappings":"AACA,OAAO,EACL,2BAA2B,EAC3B,uBAAuB,EACvB,sBAAsB,GAEvB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,qBAAqB,GAEtB,MAAM,uBAAuB,CAAC;AAK/B,sEAAsE;AACtE,MAAM,CAAC,MAAM,wBAAwB,GAAG,qBAAqB,CAG3D;IACA,KAAK,EAAE,aAAa;IACpB,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,UAAU;IAC1B,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI,sBAAsB,EAAE;IACxC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,2BAA2B,CAAC,CAAC,CAAC;IACpD,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,uBAAuB,CAAC,CAAC,CAAC;CAC7C,CAAC,CAAC"}

package/dist/verify/code-review.d.ts

@@ -0,0 +1,65 @@
+import Anthropic from '@anthropic-ai/sdk';
+/**
+ * Phase 24.3 — code-review verifier. Per-file findings against the phase
+ * diff. Fires at `cadence settle run` when `'code-review'` is in the
+ * effective gate set (strict×standard, strict×complex, standard×complex).
+ * HIGH findings refuse settle unless `--force` / `--allow-code-review-failure`.
+ */
+export type FindingSeverity = 'high' | 'medium' | 'low';
+export interface Finding {
+    severity: FindingSeverity;
+    message: string;
+    line?: number;
+}
+export interface CodeReviewInput {
+    /** Touched files (from draft tasks). Used to scope diff parsing + Anthropic prompt. */
+    files: string[];
+    /** Unified diff (`git diff HEAD -- <files>`). May be empty. */
+    diff: string;
+}
+export interface CodeReviewResult {
+    /** Per-file findings. File paths use forward slashes. */
+    findings: Record<string, Finding[]>;
+    provider: string;
+    model?: string;
+}
+export interface CodeReviewVerifier {
+    readonly name: string;
+    verify(input: CodeReviewInput): Promise<CodeReviewResult>;
+}
+/**
+ * Deterministic mock — flags every `console.log(...)` added in the diff as
+ * a HIGH finding. Empty diff (or no matches) returns no findings. The rule
+ * is intentionally narrow: real reviews live in the Anthropic provider.
+ */
+export declare class MockCodeReviewVerifier implements CodeReviewVerifier {
+    readonly name = "mock";
+    verify(input: CodeReviewInput): Promise<CodeReviewResult>;
+}
+export interface AnthropicCodeReviewVerifierOptions {
+    apiKey?: string;
+    model?: string;
+    maxTokens?: number;
+    /** Inject a client for tests; production callers should omit this. */
+    client?: Anthropic;
+}
+export declare class AnthropicCodeReviewVerifier implements CodeReviewVerifier {
+    readonly name = "anthropic";
+    private readonly client;
+    private readonly model;
+    private readonly maxTokens;
+    constructor(opts?: AnthropicCodeReviewVerifierOptions);
+    verify(input: CodeReviewInput): Promise<CodeReviewResult>;
+}
+export interface LocalCodeReviewVerifierOptions {
+    baseURL: string;
+    model: string;
+    transport?: typeof fetch;
+}
+export declare class LocalCodeReviewVerifier implements CodeReviewVerifier {
+    private readonly o;
+    readonly name = "local";
+    constructor(o: LocalCodeReviewVerifierOptions);
+    verify(input: CodeReviewInput): Promise<CodeReviewResult>;
+}
+//# sourceMappingURL=code-review.d.ts.map

package/dist/verify/code-review.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"code-review.d.ts","sourceRoot":"","sources":["../../src/verify/code-review.ts"],"names":[],"mappings":"AAAA,OAAO,SAAS,MAAM,mBAAmB,CAAC;AAK1C;;;;;GAKG;AAEH,MAAM,MAAM,eAAe,GAAG,MAAM,GAAG,QAAQ,GAAG,KAAK,CAAC;AAExD,MAAM,WAAW,OAAO;IACtB,QAAQ,EAAE,eAAe,CAAC;IAC1B,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,eAAe;IAC9B,uFAAuF;IACvF,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,+DAA+D;IAC/D,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,gBAAgB;IAC/B,yDAAyD;IACzD,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;IACpC,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,MAAM,CAAC,KAAK,EAAE,eAAe,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAAC;CAC3D;AAED;;;;GAIG;AACH,qBAAa,sBAAuB,YAAW,kBAAkB;IAC/D,QAAQ,CAAC,IAAI,UAAU;IAEjB,MAAM,CAAC,KAAK,EAAE,eAAe,GAAG,OAAO,CAAC,gBAAgB,CAAC;CA8ChE;AA0BD,MAAM,WAAW,kCAAkC;IACjD,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,sEAAsE;IACtE,MAAM,CAAC,EAAE,SAAS,CAAC;CACpB;AAED,qBAAa,2BAA4B,YAAW,kBAAkB;IACpE,QAAQ,CAAC,IAAI,eAAe;IAC5B,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAY;IACnC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAS;IAC/B,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAS;gBAEvB,IAAI,GAAE,kCAAuC;IAgBnD,MAAM,CAAC,KAAK,EAAE,eAAe,GAAG,OAAO,CAAC,gBAAgB,CAAC;CAiDhE;AAED,MAAM,WAAW,8BAA8B;IAC7C,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,CAAC,EAAE,OAAO,KAAK,CAAC;CAC1B;AAED,qBAAa,uBAAwB,YAAW,kBAAkB;IAEpD,OAAO,CAAC,QAAQ,CAAC,CAAC;IAD9B,QAAQ,CAAC,IAAI,WAAW;gBACK,CAAC,EAAE,8BAA8B;IAExD,MAAM,CAAC,KAAK,EAAE,eAAe,GAAG,OAAO,CAAC,gBAAgB,CAAC;CAsBhE"}

package/dist/verify/code-review.js

@@ -0,0 +1,189 @@
+import Anthropic from '@anthropic-ai/sdk';
+import { zodOutputFormat } from '@anthropic-ai/sdk/helpers/zod';
+import { z } from 'zod/v4';
+import { localChatJSON } from './local-client.js';
+/**
+ * Deterministic mock — flags every `console.log(...)` added in the diff as
+ * a HIGH finding. Empty diff (or no matches) returns no findings. The rule
+ * is intentionally narrow: real reviews live in the Anthropic provider.
+ */
+export class MockCodeReviewVerifier {
+    name = 'mock';
+    async verify(input) {
+        const findings = {};
+        if (input.diff.trim().length === 0) {
+            return { findings, provider: this.name };
+        }
+        // Walk the unified diff. Track the current file via `+++ b/<path>`
+        // headers; track the post-image line via the `@@ -a,b +c,d @@` hunk
+        // headers; emit a HIGH finding per `+console.log(` line (skip `++` /
+        // file-header rows).
+        let currentFile = null;
+        let postLine = 0;
+        for (const raw of input.diff.split('\n')) {
+            if (raw.startsWith('+++ ')) {
+                // `+++ b/path` or `+++ /dev/null`
+                const m = /^\+\+\+\s+(?:b\/)?(.+?)\s*$/.exec(raw);
+                currentFile = m && m[1] && m[1] !== '/dev/null' ? m[1] : null;
+                continue;
+            }
+            if (raw.startsWith('--- '))
+                continue;
+            if (raw.startsWith('@@')) {
+                const m = /\+(\d+)(?:,\d+)?/.exec(raw);
+                postLine = m ? Number.parseInt(m[1], 10) : 0;
+                continue;
+            }
+            if (currentFile === null || raw.startsWith('++'))
+                continue;
+            if (raw.startsWith('+')) {
+                const body = raw.slice(1);
+                if (/console\.log\(/.test(body)) {
+                    (findings[currentFile] ??= []).push({
+                        severity: 'high',
+                        message: 'console.log left in source',
+                        line: postLine,
+                    });
+                }
+                postLine += 1;
+            }
+            else if (raw.startsWith('-')) {
+                // pre-image lines don't advance post-line counter
+            }
+            else {
+                // context line advances post-line counter
+                postLine += 1;
+            }
+        }
+        return { findings, provider: this.name };
+    }
+}
+const FindingResponseSchema = z.object({
+    file: z.string(),
+    severity: z.enum(['high', 'medium', 'low']),
+    message: z.string(),
+    line: z.number().int().positive().optional(),
+});
+const CodeReviewResponseSchema = z.object({
+    findings: z.array(FindingResponseSchema),
+});
+const SYSTEM_PROMPT = `You are an independent code reviewer for an AI-assisted development tool called CADENCE.
+
+You receive the touched files and unified diff for a development phase. Surface concrete findings tied to specific files (and lines when you can identify them from the diff). Prioritize:
+- security vulnerabilities (injection, secrets in code, unsafe deserialization) → high
+- correctness bugs that will break under realistic inputs → high
+- left-behind debug statements (console.log, debugger, printf debugging) → high
+- structural / readability issues that don't break correctness → medium
+- nits and style → low
+
+Use severities exactly: "high" | "medium" | "low". If you have no findings, return an empty findings array. Keep each message ≤ 200 characters. Return strict JSON matching the requested schema.`;
+const DEFAULT_MODEL = 'claude-sonnet-4-6';
+const DEFAULT_MAX_TOKENS = 8_000;
+export class AnthropicCodeReviewVerifier {
+    name = 'anthropic';
+    client;
+    model;
+    maxTokens;
+    constructor(opts = {}) {
+        if (opts.client) {
+            this.client = opts.client;
+        }
+        else {
+            const apiKey = opts.apiKey ?? process.env.ANTHROPIC_API_KEY;
+            if (!apiKey) {
+                throw new Error('AnthropicCodeReviewVerifier requires an API key. Set ANTHROPIC_API_KEY or pass `apiKey` / `client`.');
+            }
+            this.client = new Anthropic({ apiKey });
+        }
+        this.model = opts.model ?? DEFAULT_MODEL;
+        this.maxTokens = opts.maxTokens ?? DEFAULT_MAX_TOKENS;
+    }
+    async verify(input) {
+        if (input.files.length === 0 && input.diff.trim().length === 0) {
+            return { findings: {}, provider: this.name, model: this.model };
+        }
+        const userMessage = formatUserMessage(input);
+        let response;
+        try {
+            response = await this.client.messages.parse({
+                model: this.model,
+                max_tokens: this.maxTokens,
+                system: [
+                    {
+                        type: 'text',
+                        text: SYSTEM_PROMPT,
+                        cache_control: { type: 'ephemeral' },
+                    },
+                ],
+                output_config: {
+                    format: zodOutputFormat(CodeReviewResponseSchema),
+                },
+                messages: [{ role: 'user', content: userMessage }],
+            });
+        }
+        catch (err) {
+            if (err instanceof Anthropic.APIError) {
+                throw new Error(`AnthropicCodeReviewVerifier API error (${err.status ?? 'unknown'}): ${err.message}`);
+            }
+            throw err;
+        }
+        const parsed = response.parsed_output;
+        if (!parsed) {
+            throw new Error('AnthropicCodeReviewVerifier received no parseable output from the model (response.parsed_output was null/undefined).');
+        }
+        const findings = {};
+        for (const f of parsed.findings) {
+            (findings[f.file] ??= []).push({
+                severity: f.severity,
+                message: f.message,
+                ...(f.line !== undefined ? { line: f.line } : {}),
+            });
+        }
+        return { findings, provider: this.name, model: this.model };
+    }
+}
+export class LocalCodeReviewVerifier {
+    o;
+    name = 'local';
+    constructor(o) {
+        this.o = o;
+    }
+    async verify(input) {
+        if (input.files.length === 0 && input.diff.trim().length === 0) {
+            return { findings: {}, provider: this.name, model: this.o.model };
+        }
+        const parsed = await localChatJSON({
+            baseURL: this.o.baseURL,
+            model: this.o.model,
+            system: SYSTEM_PROMPT,
+            user: formatUserMessage(input),
+            schema: CodeReviewResponseSchema,
+            ...(this.o.transport ? { transport: this.o.transport } : {}),
+        });
+        const findings = {};
+        for (const f of parsed.findings) {
+            (findings[f.file] ??= []).push({
+                severity: f.severity,
+                message: f.message,
+                ...(f.line !== undefined ? { line: f.line } : {}),
+            });
+        }
+        return { findings, provider: this.name, model: this.o.model };
+    }
+}
+function formatUserMessage(input) {
+    const fileList = input.files.length > 0
+        ? input.files.map((f) => `- ${f}`).join('\n')
+        : '(none)';
+    const diffSection = input.diff || '(no diff supplied)';
+    return `# Touched files
+
+${fileList}
+
+# Diff (\`git diff HEAD\`)
+
+${diffSection}
+
+Return findings (possibly empty) using the requested schema.`;
+}
+//# sourceMappingURL=code-review.js.map

package/dist/verify/code-review.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"code-review.js","sourceRoot":"","sources":["../../src/verify/code-review.ts"],"names":[],"mappings":"AAAA,OAAO,SAAS,MAAM,mBAAmB,CAAC;AAC1C,OAAO,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,EAAE,CAAC,EAAE,MAAM,QAAQ,CAAC;AAC3B,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAoClD;;;;GAIG;AACH,MAAM,OAAO,sBAAsB;IACxB,IAAI,GAAG,MAAM,CAAC;IAEvB,KAAK,CAAC,MAAM,CAAC,KAAsB;QACjC,MAAM,QAAQ,GAA8B,EAAE,CAAC;QAC/C,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACnC,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;QAC3C,CAAC;QAED,mEAAmE;QACnE,oEAAoE;QACpE,qEAAqE;QACrE,qBAAqB;QACrB,IAAI,WAAW,GAAkB,IAAI,CAAC;QACtC,IAAI,QAAQ,GAAG,CAAC,CAAC;QACjB,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YACzC,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC3B,kCAAkC;gBAClC,MAAM,CAAC,GAAG,6BAA6B,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBAClD,WAAW,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;gBAC9D,SAAS;YACX,CAAC;YACD,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC;gBAAE,SAAS;YACrC,IAAI,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;gBACzB,MAAM,CAAC,GAAG,kBAAkB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBACvC,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC9C,SAAS;YACX,CAAC;YACD,IAAI,WAAW,KAAK,IAAI,IAAI,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC;gBAAE,SAAS;YAC3D,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;gBACxB,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;gBAC1B,IAAI,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;oBAChC,CAAC,QAAQ,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC;wBAClC,QAAQ,EAAE,MAAM;wBAChB,OAAO,EAAE,4BAA4B;wBACrC,IAAI,EAAE,QAAQ;qBACf,CAAC,CAAC;gBACL,CAAC;gBACD,QAAQ,IAAI,CAAC,CAAC;YAChB,CAAC;iBAAM,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC/B,kDAAkD;YACpD,CAAC;iBAAM,CAAC;gBACN,0CAA0C;gBAC1C,QAAQ,IAAI,CAAC,CAAC;YAChB,CAAC;QACH,CAAC;QAED,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;IAC3C,CAAC;CACF;AAED,MAAM,qBAAqB,GAAG,CAAC,CAAC,MAAM,CAAC;IACrC,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAChB,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;IAC3C,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IACnB,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE;CAC7C,CAAC,CAAC;AACH,MAAM,wBAAwB,GAAG,CAAC,CAAC,MAAM,CAAC;IACxC,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,qBAAqB,CAAC;CACzC,CAAC,CAAC;AAEH,MAAM,aAAa,GAAG;;;;;;;;;kMAS4K,CAAC;AAEnM,MAAM,aAAa,GAAG,mBAAmB,CAAC;AAC1C,MAAM,kBAAkB,GAAG,KAAK,CAAC;AAUjC,MAAM,OAAO,2BAA2B;IAC7B,IAAI,GAAG,WAAW,CAAC;IACX,MAAM,CAAY;IAClB,KAAK,CAAS;IACd,SAAS,CAAS;IAEnC,YAAY,OAA2C,EAAE;QACvD,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAChB,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;QAC5B,CAAC;aAAM,CAAC;YACN,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,IAAI,OAAO,CAAC,GAAG,CAAC,iBAAiB,CAAC;YAC5D,IAAI,CAAC,MAAM,EAAE,CAAC;gBACZ,MAAM,IAAI,KAAK,CACb,qGAAqG,CACtG,CAAC;YACJ,CAAC;YACD,IAAI,CAAC,MAAM,GAAG,IAAI,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC;QAC1C,CAAC;QACD,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,aAAa,CAAC;QACzC,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,IAAI,kBAAkB,CAAC;IACxD,CAAC;IAED,KAAK,CAAC,MAAM,CAAC,KAAsB;QACjC,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC/D,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;QAClE,CAAC;QAED,MAAM,WAAW,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC;QAC7C,IAAI,QAA6D,CAAC;QAClE,IAAI,CAAC;YACH,QAAQ,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;gBAC1C,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,UAAU,EAAE,IAAI,CAAC,SAAS;gBAC1B,MAAM,EAAE;oBACN;wBACE,IAAI,EAAE,MAAM;wBACZ,IAAI,EAAE,aAAa;wBACnB,aAAa,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE;qBACrC;iBACF;gBACD,aAAa,EAAE;oBACb,MAAM,EAAE,eAAe,CAAC,wBAAwB,CAAC;iBAClD;gBACD,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC;aACnD,CAAC,CAAC;QACL,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,IAAI,GAAG,YAAY,SAAS,CAAC,QAAQ,EAAE,CAAC;gBACtC,MAAM,IAAI,KAAK,CACb,0CAA0C,GAAG,CAAC,MAAM,IAAI,SAAS,MAAM,GAAG,CAAC,OAAO,EAAE,CACrF,CAAC;YACJ,CAAC;YACD,MAAM,GAAG,CAAC;QACZ,CAAC;QAED,MAAM,MAAM,GAAG,QAAQ,CAAC,aAAa,CAAC;QACtC,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,MAAM,IAAI,KAAK,CACb,sHAAsH,CACvH,CAAC;QACJ,CAAC;QAED,MAAM,QAAQ,GAA8B,EAAE,CAAC;QAC/C,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;YAChC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC;gBAC7B,QAAQ,EAAE,CAAC,CAAC,QAAQ;gBACpB,OAAO,EAAE,CAAC,CAAC,OAAO;gBAClB,GAAG,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAClD,CAAC,CAAC;QACL,CAAC;QACD,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;IAC9D,CAAC;CACF;AAQD,MAAM,OAAO,uBAAuB;IAEL;IADpB,IAAI,GAAG,OAAO,CAAC;IACxB,YAA6B,CAAiC;QAAjC,MAAC,GAAD,CAAC,CAAgC;IAAG,CAAC;IAElE,KAAK,CAAC,MAAM,CAAC,KAAsB;QACjC,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC/D,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC;QACpE,CAAC;QACD,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC;YACjC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,OAAO;YACvB,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,KAAK;YACnB,MAAM,EAAE,aAAa;YACrB,IAAI,EAAE,iBAAiB,CAAC,KAAK,CAAC;YAC9B,MAAM,EAAE,wBAAwB;YAChC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC7D,CAAC,CAAC;QACH,MAAM,QAAQ,GAA8B,EAAE,CAAC;QAC/C,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;YAChC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC;gBAC7B,QAAQ,EAAE,CAAC,CAAC,QAAQ;gBACpB,OAAO,EAAE,CAAC,CAAC,OAAO;gBAClB,GAAG,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAClD,CAAC,CAAC;QACL,CAAC;QACD,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC;IAChE,CAAC;CACF;AAED,SAAS,iBAAiB,CAAC,KAAsB;IAC/C,MAAM,QAAQ,GACZ,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;QACpB,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QAC7C,CAAC,CAAC,QAAQ,CAAC;IACf,MAAM,WAAW,GAAG,KAAK,CAAC,IAAI,IAAI,oBAAoB,CAAC;IACvD,OAAO;;EAEP,QAAQ;;;;EAIR,WAAW;;6DAEgD,CAAC;AAC9D,CAAC"}

package/dist/verify/converge.d.ts

@@ -0,0 +1,14 @@
+export type ConvergeVerdict = 'pass' | 'reloop' | 'escalate';
+/**
+ * Pure convergence classifier. Gate-agnostic — the caller supplies the
+ * boolean (plan-review now; survey #4's settle-gate later) and the attempt
+ * counters; this decides pass / reloop / escalate. No I/O.
+ *
+ * `attemptsSoFar` = count of FAILING reviews already recorded (>= 0).
+ * `maxAttempts`   = > 0. With maxAttempts=3: fail→reloop(1)→reloop(2)→escalate(3).
+ */
+export declare function nextConvergence(pass: boolean, attemptsSoFar: number, maxAttempts: number): {
+    verdict: ConvergeVerdict;
+    attempt: number;
+};
+//# sourceMappingURL=converge.d.ts.map

package/dist/verify/converge.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"converge.d.ts","sourceRoot":"","sources":["../../src/verify/converge.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,eAAe,GAAG,MAAM,GAAG,QAAQ,GAAG,UAAU,CAAC;AAE7D;;;;;;;GAOG;AACH,wBAAgB,eAAe,CAC7B,IAAI,EAAE,OAAO,EACb,aAAa,EAAE,MAAM,EACrB,WAAW,EAAE,MAAM,GAClB;IAAE,OAAO,EAAE,eAAe,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAK/C"}

package/dist/verify/converge.js

@@ -0,0 +1,17 @@
+/**
+ * Pure convergence classifier. Gate-agnostic — the caller supplies the
+ * boolean (plan-review now; survey #4's settle-gate later) and the attempt
+ * counters; this decides pass / reloop / escalate. No I/O.
+ *
+ * `attemptsSoFar` = count of FAILING reviews already recorded (>= 0).
+ * `maxAttempts`   = > 0. With maxAttempts=3: fail→reloop(1)→reloop(2)→escalate(3).
+ */
+export function nextConvergence(pass, attemptsSoFar, maxAttempts) {
+    if (pass)
+        return { verdict: 'pass', attempt: attemptsSoFar };
+    const attempt = attemptsSoFar + 1;
+    if (attempt >= maxAttempts)
+        return { verdict: 'escalate', attempt };
+    return { verdict: 'reloop', attempt };
+}
+//# sourceMappingURL=converge.js.map

package/dist/verify/converge.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"converge.js","sourceRoot":"","sources":["../../src/verify/converge.ts"],"names":[],"mappings":"AAEA;;;;;;;GAOG;AACH,MAAM,UAAU,eAAe,CAC7B,IAAa,EACb,aAAqB,EACrB,WAAmB;IAEnB,IAAI,IAAI;QAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC;IAC7D,MAAM,OAAO,GAAG,aAAa,GAAG,CAAC,CAAC;IAClC,IAAI,OAAO,IAAI,WAAW;QAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC;IACpE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;AACxC,CAAC"}

package/dist/verify/coverage.d.ts

@@ -0,0 +1,31 @@
+export type AcId = `AC-${number}` | string;
+export interface TestRef {
+    /** Path relative to `repoRoot`, forward-slashed. */
+    file: string;
+    /** 1-based line number where the AC token first appeared. */
+    line: number;
+    /** Trimmed snippet of the matching line (≤120 chars). */
+    snippet: string;
+}
+export interface CoverageScanOptions {
+    /**
+     * Glob-ish patterns to match test files. Default scans the workspace
+     * `packages/**\/*.test.ts`. The implementation supports `**` (any depth)
+     * and `*` (any chars within a segment); no brace expansion or character
+     * classes — keep the convention narrow + dependency-free.
+     */
+    globs?: string[];
+}
+/**
+ * Walk the repo and collect a map of AC ids → tests that reference them.
+ * The convention is whole-file text search: any occurrence of `AC-N` inside
+ * a file matched by `globs` counts as one linked test. Comment refs count
+ * too, by design — the gate is binary per AC, not coverage-percentage.
+ */
+export declare function scanTestCoverage(repoRoot: string, opts?: CoverageScanOptions): Promise<Map<AcId, TestRef[]>>;
+/**
+ * Returns the list of AC ids that have zero linked tests. Useful for the
+ * settle gate's refusal message.
+ */
+export declare function uncoveredAcs(acIds: string[], coverage: Map<AcId, TestRef[]>): string[];
+//# sourceMappingURL=coverage.d.ts.map

package/dist/verify/coverage.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"coverage.d.ts","sourceRoot":"","sources":["../../src/verify/coverage.ts"],"names":[],"mappings":"AAKA,MAAM,MAAM,IAAI,GAAG,MAAM,MAAM,EAAE,GAAG,MAAM,CAAC;AAE3C,MAAM,WAAW,OAAO;IACtB,oDAAoD;IACpD,IAAI,EAAE,MAAM,CAAC;IACb,6DAA6D;IAC7D,IAAI,EAAE,MAAM,CAAC;IACb,yDAAyD;IACzD,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,mBAAmB;IAClC;;;;;OAKG;IACH,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;CAClB;AAMD;;;;;GAKG;AACH,wBAAsB,gBAAgB,CACpC,QAAQ,EAAE,MAAM,EAChB,IAAI,GAAE,mBAAwB,GAC7B,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,CA8B/B;AAED;;;GAGG;AACH,wBAAgB,YAAY,CAC1B,KAAK,EAAE,MAAM,EAAE,EACf,QAAQ,EAAE,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,GAC7B,MAAM,EAAE,CAEV"}