@manehorizons/cadence-core 1.1.1

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

@@ -0,0 +1,63 @@
+import Anthropic from '@anthropic-ai/sdk';
+import type { Spec } from '@manehorizons/cadence-types';
+/**
+ * Phase 36.1 — spec-review verifier. Reviews the parsed SPEC (objective +
+ * ACs + constraints + open questions) at `cadence spec approve` (run through
+ * the Phase 35.1 convergence loop). Structural clone of `plan-review.ts`;
+ * review-only (cadence is host-agnostic — no generator).
+ */
+export type SpecReviewSeverity = 'high' | 'medium' | 'low';
+export interface SpecReviewFinding {
+    severity: SpecReviewSeverity;
+    message: string;
+    suggestedEdit?: string;
+}
+export interface SpecReviewInput {
+    spec: Spec;
+}
+export interface SpecReviewResult {
+    pass: boolean;
+    findings: SpecReviewFinding[];
+    provider: string;
+    model?: string;
+}
+export interface SpecReviewVerifier {
+    readonly name: string;
+    verify(input: SpecReviewInput): Promise<SpecReviewResult>;
+}
+/**
+ * Deterministic mock — passes iff the spec has a non-empty objective, ≥1 AC
+ * with non-empty G/W/T, AND ≥1 constraint. Intentionally stricter than
+ * MockPlanReviewVerifier (a spec without constraints is under-scoped). Each
+ * defect is one HIGH finding.
+ */
+export declare class MockSpecReviewVerifier implements SpecReviewVerifier {
+    readonly name = "mock";
+    verify(input: SpecReviewInput): Promise<SpecReviewResult>;
+}
+export interface AnthropicSpecReviewVerifierOptions {
+    apiKey?: string;
+    model?: string;
+    maxTokens?: number;
+    client?: Anthropic;
+}
+export declare class AnthropicSpecReviewVerifier implements SpecReviewVerifier {
+    readonly name = "anthropic";
+    private readonly client;
+    private readonly model;
+    private readonly maxTokens;
+    constructor(opts?: AnthropicSpecReviewVerifierOptions);
+    verify(input: SpecReviewInput): Promise<SpecReviewResult>;
+}
+export interface LocalSpecReviewVerifierOptions {
+    baseURL: string;
+    model: string;
+    transport?: typeof fetch;
+}
+export declare class LocalSpecReviewVerifier implements SpecReviewVerifier {
+    private readonly o;
+    readonly name = "local";
+    constructor(o: LocalSpecReviewVerifierOptions);
+    verify(input: SpecReviewInput): Promise<SpecReviewResult>;
+}
+//# sourceMappingURL=spec-review.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"spec-review.d.ts","sourceRoot":"","sources":["../../src/verify/spec-review.ts"],"names":[],"mappings":"AAAA,OAAO,SAAS,MAAM,mBAAmB,CAAC;AAG1C,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,6BAA6B,CAAC;AAGxD;;;;;GAKG;AAEH,MAAM,MAAM,kBAAkB,GAAG,MAAM,GAAG,QAAQ,GAAG,KAAK,CAAC;AAE3D,MAAM,WAAW,iBAAiB;IAChC,QAAQ,EAAE,kBAAkB,CAAC;IAC7B,OAAO,EAAE,MAAM,CAAC;IAChB,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,OAAO,CAAC;IACd,QAAQ,EAAE,iBAAiB,EAAE,CAAC;IAC9B,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;;;;;GAKG;AACH,qBAAa,sBAAuB,YAAW,kBAAkB;IAC/D,QAAQ,CAAC,IAAI,UAAU;IAEjB,MAAM,CAAC,KAAK,EAAE,eAAe,GAAG,OAAO,CAAC,gBAAgB,CAAC;CAuChE;AA0BD,MAAM,WAAW,kCAAkC;IACjD,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,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;CAuChE;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;CAmBhE"}

package/dist/verify/spec-review.js

@@ -0,0 +1,182 @@
+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 — passes iff the spec has a non-empty objective, ≥1 AC
+ * with non-empty G/W/T, AND ≥1 constraint. Intentionally stricter than
+ * MockPlanReviewVerifier (a spec without constraints is under-scoped). Each
+ * defect is one HIGH finding.
+ */
+export class MockSpecReviewVerifier {
+    name = 'mock';
+    async verify(input) {
+        const findings = [];
+        const { objective, acceptanceCriteria: acs, constraints } = input.spec;
+        if (objective.trim().length === 0) {
+            findings.push({
+                severity: 'high',
+                message: 'spec has an empty objective',
+                suggestedEdit: 'State the objective in one falsifiable sentence.',
+            });
+        }
+        if (acs.length === 0) {
+            findings.push({
+                severity: 'high',
+                message: 'spec has no acceptance criteria',
+                suggestedEdit: 'Add at least one AC with Given/When/Then.',
+            });
+        }
+        for (const ac of acs) {
+            for (const field of ['given', 'when', 'then']) {
+                if (ac[field].trim().length === 0) {
+                    findings.push({
+                        severity: 'high',
+                        message: `${ac.id} has empty ${field}`,
+                        suggestedEdit: `Fill in the ${field} clause for ${ac.id}.`,
+                    });
+                }
+            }
+        }
+        if (constraints.length === 0) {
+            findings.push({
+                severity: 'high',
+                message: 'spec has no constraints',
+                suggestedEdit: 'Add at least one constraint/boundary to bound scope.',
+            });
+        }
+        return { pass: findings.length === 0, findings, provider: this.name };
+    }
+}
+const SpecReviewFindingSchema = z.object({
+    severity: z.enum(['high', 'medium', 'low']),
+    message: z.string(),
+    suggestedEdit: z.string().optional(),
+});
+const SpecReviewResponseSchema = z.object({
+    pass: z.boolean(),
+    findings: z.array(SpecReviewFindingSchema),
+});
+const SYSTEM_PROMPT = `You are an independent spec reviewer for an AI-assisted development tool called CADENCE.
+
+You receive a development SPEC (objective, acceptance criteria, constraints, open questions) BEFORE any task breakdown. Decide whether the spec is the right thing to build and is coherent enough to turn into a plan. Be skeptical:
+- objective vague, unfalsifiable, or not matched by the ACs → high
+- an AC whose Given/When/Then doesn't pin down an observable outcome → high
+- ACs that don't collectively cover the objective → high
+- missing constraints that invite scope creep, or open questions that block planning → medium
+- wording/ordering nits → low
+
+Set "pass": false if any HIGH finding exists; otherwise "pass": true. Attach a concrete "suggestedEdit" when you can. Keep each message ≤ 200 characters. If the spec is sound, return "pass": true with an empty findings array. Return strict JSON matching the requested schema.`;
+const DEFAULT_MODEL = 'claude-sonnet-4-6';
+const DEFAULT_MAX_TOKENS = 4_000;
+export class AnthropicSpecReviewVerifier {
+    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('AnthropicSpecReviewVerifier 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) {
+        const userMessage = formatUserMessage(input.spec);
+        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(SpecReviewResponseSchema) },
+                messages: [{ role: 'user', content: userMessage }],
+            });
+        }
+        catch (err) {
+            if (err instanceof Anthropic.APIError) {
+                throw new Error(`AnthropicSpecReviewVerifier API error (${err.status ?? 'unknown'}): ${err.message}`);
+            }
+            throw err;
+        }
+        const parsed = response.parsed_output;
+        if (!parsed) {
+            throw new Error('AnthropicSpecReviewVerifier received no parseable output from the model (response.parsed_output was null/undefined).');
+        }
+        const findings = [];
+        for (const f of parsed.findings) {
+            findings.push({
+                severity: f.severity,
+                message: f.message,
+                ...(f.suggestedEdit !== undefined ? { suggestedEdit: f.suggestedEdit } : {}),
+            });
+        }
+        return { pass: parsed.pass, findings, provider: this.name, model: this.model };
+    }
+}
+export class LocalSpecReviewVerifier {
+    o;
+    name = 'local';
+    constructor(o) {
+        this.o = o;
+    }
+    async verify(input) {
+        const parsed = await localChatJSON({
+            baseURL: this.o.baseURL,
+            model: this.o.model,
+            system: SYSTEM_PROMPT,
+            user: formatUserMessage(input.spec),
+            schema: SpecReviewResponseSchema,
+            ...(this.o.transport ? { transport: this.o.transport } : {}),
+        });
+        const findings = [];
+        for (const f of parsed.findings) {
+            findings.push({
+                severity: f.severity,
+                message: f.message,
+                ...(f.suggestedEdit !== undefined ? { suggestedEdit: f.suggestedEdit } : {}),
+            });
+        }
+        return { pass: parsed.pass, findings, provider: this.name, model: this.o.model };
+    }
+}
+function formatUserMessage(spec) {
+    const acs = spec.acceptanceCriteria.length > 0
+        ? spec.acceptanceCriteria
+            .map((ac) => `### ${ac.id}\nGiven ${ac.given}\nWhen ${ac.when}\nThen ${ac.then}`)
+            .join('\n\n')
+        : '(none)';
+    const constraints = spec.constraints.length > 0 ? spec.constraints.map((c) => `- ${c}`).join('\n') : '(none)';
+    const openQuestions = spec.openQuestions.length > 0
+        ? spec.openQuestions.map((q) => `- ${q}`).join('\n')
+        : '(none)';
+    return `# Spec: ${spec.id}
+
+# Objective
+
+${spec.objective}
+
+# Acceptance Criteria
+
+${acs}
+
+# Constraints
+
+${constraints}
+
+# Open Questions
+
+${openQuestions}
+
+Review this spec and return a verdict using the requested schema.`;
+}
+//# sourceMappingURL=spec-review.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"spec-review.js","sourceRoot":"","sources":["../../src/verify/spec-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;AAE3B,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAiClD;;;;;GAKG;AACH,MAAM,OAAO,sBAAsB;IACxB,IAAI,GAAG,MAAM,CAAC;IAEvB,KAAK,CAAC,MAAM,CAAC,KAAsB;QACjC,MAAM,QAAQ,GAAwB,EAAE,CAAC;QACzC,MAAM,EAAE,SAAS,EAAE,kBAAkB,EAAE,GAAG,EAAE,WAAW,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC;QAEvE,IAAI,SAAS,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAClC,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,MAAM;gBAChB,OAAO,EAAE,6BAA6B;gBACtC,aAAa,EAAE,kDAAkD;aAClE,CAAC,CAAC;QACL,CAAC;QACD,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACrB,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,MAAM;gBAChB,OAAO,EAAE,iCAAiC;gBAC1C,aAAa,EAAE,2CAA2C;aAC3D,CAAC,CAAC;QACL,CAAC;QACD,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;YACrB,KAAK,MAAM,KAAK,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,CAAU,EAAE,CAAC;gBACvD,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBAClC,QAAQ,CAAC,IAAI,CAAC;wBACZ,QAAQ,EAAE,MAAM;wBAChB,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE,cAAc,KAAK,EAAE;wBACtC,aAAa,EAAE,eAAe,KAAK,eAAe,EAAE,CAAC,EAAE,GAAG;qBAC3D,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC7B,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,MAAM;gBAChB,OAAO,EAAE,yBAAyB;gBAClC,aAAa,EAAE,sDAAsD;aACtE,CAAC,CAAC;QACL,CAAC;QAED,OAAO,EAAE,IAAI,EAAE,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;IACxE,CAAC;CACF;AAED,MAAM,uBAAuB,GAAG,CAAC,CAAC,MAAM,CAAC;IACvC,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;IAC3C,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IACnB,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CACrC,CAAC,CAAC;AACH,MAAM,wBAAwB,GAAG,CAAC,CAAC,MAAM,CAAC;IACxC,IAAI,EAAE,CAAC,CAAC,OAAO,EAAE;IACjB,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,uBAAuB,CAAC;CAC3C,CAAC,CAAC;AAEH,MAAM,aAAa,GAAG;;;;;;;;;oRAS8P,CAAC;AAErR,MAAM,aAAa,GAAG,mBAAmB,CAAC;AAC1C,MAAM,kBAAkB,GAAG,KAAK,CAAC;AASjC,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,MAAM,WAAW,GAAG,iBAAiB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAClD,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,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,aAAa,EAAE,aAAa,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE;iBAC5E;gBACD,aAAa,EAAE,EAAE,MAAM,EAAE,eAAe,CAAC,wBAAwB,CAAC,EAAE;gBACpE,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,GAAwB,EAAE,CAAC;QACzC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;YAChC,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,CAAC,CAAC,QAAQ;gBACpB,OAAO,EAAE,CAAC,CAAC,OAAO;gBAClB,GAAG,CAAC,CAAC,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAC7E,CAAC,CAAC;QACL,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;IACjF,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,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,IAAI,CAAC;YACnC,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,GAAwB,EAAE,CAAC;QACzC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;YAChC,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,CAAC,CAAC,QAAQ;gBACpB,OAAO,EAAE,CAAC,CAAC,OAAO;gBAClB,GAAG,CAAC,CAAC,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAC7E,CAAC,CAAC;QACL,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC;IACnF,CAAC;CACF;AAED,SAAS,iBAAiB,CAAC,IAAU;IACnC,MAAM,GAAG,GACP,IAAI,CAAC,kBAAkB,CAAC,MAAM,GAAG,CAAC;QAChC,CAAC,CAAC,IAAI,CAAC,kBAAkB;aACpB,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,KAAK,UAAU,EAAE,CAAC,IAAI,UAAU,EAAE,CAAC,IAAI,EAAE,CAAC;aAChF,IAAI,CAAC,MAAM,CAAC;QACjB,CAAC,CAAC,QAAQ,CAAC;IACf,MAAM,WAAW,GACf,IAAI,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;IAC5F,MAAM,aAAa,GACjB,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC;QAC3B,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QACpD,CAAC,CAAC,QAAQ,CAAC;IACf,OAAO,WAAW,IAAI,CAAC,EAAE;;;;EAIzB,IAAI,CAAC,SAAS;;;;EAId,GAAG;;;;EAIH,WAAW;;;;EAIX,aAAa;;kEAEmD,CAAC;AACnE,CAAC"}

package/dist/verify/verifier-factory.d.ts

@@ -0,0 +1,45 @@
+export type VerifierProvider = 'mock' | 'anthropic' | 'local';
+/** Shared options for every `select…Verifier` factory (Phase 40.1). */
+export interface VerifierSelectOptions {
+    /** Overrides the configured provider. */
+    override?: VerifierProvider;
+    /** Test seam: stand in for `process.env`. */
+    env?: NodeJS.ProcessEnv;
+    /** Test seam: emit warnings somewhere other than `process.stderr`. */
+    warn?: (message: string) => void;
+}
+/**
+ * Describes one verifier family: how to read its `{ provider, model }` config
+ * slice and how to build each of its three providers. `C` is the (Pick) config
+ * param the binding accepts; `V` is the verifier type produced.
+ */
+export interface VerifierFactorySpec<C, V> {
+    /** Warning-prefix label, e.g. `'code-review'`. */
+    label: string;
+    /** Read this family's `{ provider, model }` slice off the config. `model`
+     *  admits `| undefined` so the (exactOptionalPropertyTypes) config slices
+     *  assign directly. */
+    read(config: C | null): {
+        provider?: VerifierProvider;
+        model?: string | undefined;
+    } | undefined;
+    mock(): V;
+    anthropic(opts: {
+        apiKey: string;
+        model?: string;
+    }): V;
+    local(opts: {
+        baseURL: string;
+        model: string;
+    }): V;
+}
+/**
+ * Build a `select…Verifier(config, opts)` function (Phase 40.1 consolidation of
+ * six byte-identical factories). One selection algorithm:
+ * `provider = override ?? slice.provider ?? 'mock'`; the `anthropic` provider
+ * needs `ANTHROPIC_API_KEY`; the `local` provider needs `CADENCE_LOCAL_BASE_URL`
+ * and a model (`slice.model ?? CADENCE_LOCAL_MODEL`); a missing prerequisite
+ * falls back to `mock` with one stderr warning so the caller knows it downgraded.
+ */
+export declare function createVerifierFactory<C, V>(spec: VerifierFactorySpec<C, V>): (config: C | null, opts?: VerifierSelectOptions) => V;
+//# sourceMappingURL=verifier-factory.d.ts.map

package/dist/verify/verifier-factory.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verifier-factory.d.ts","sourceRoot":"","sources":["../../src/verify/verifier-factory.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,gBAAgB,GAAG,MAAM,GAAG,WAAW,GAAG,OAAO,CAAC;AAE9D,uEAAuE;AACvE,MAAM,WAAW,qBAAqB;IACpC,yCAAyC;IACzC,QAAQ,CAAC,EAAE,gBAAgB,CAAC;IAC5B,6CAA6C;IAC7C,GAAG,CAAC,EAAE,MAAM,CAAC,UAAU,CAAC;IACxB,sEAAsE;IACtE,IAAI,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,IAAI,CAAC;CAClC;AAED;;;;GAIG;AACH,MAAM,WAAW,mBAAmB,CAAC,CAAC,EAAE,CAAC;IACvC,kDAAkD;IAClD,KAAK,EAAE,MAAM,CAAC;IACd;;2BAEuB;IACvB,IAAI,CACF,MAAM,EAAE,CAAC,GAAG,IAAI,GACf;QAAE,QAAQ,CAAC,EAAE,gBAAgB,CAAC;QAAC,KAAK,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;KAAE,GAAG,SAAS,CAAC;IAC3E,IAAI,IAAI,CAAC,CAAC;IACV,SAAS,CAAC,IAAI,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE,GAAG,CAAC,CAAC;IACvD,KAAK,CAAC,IAAI,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,GAAG,CAAC,CAAC;CACpD;AAED;;;;;;;GAOG;AACH,wBAAgB,qBAAqB,CAAC,CAAC,EAAE,CAAC,EACxC,IAAI,EAAE,mBAAmB,CAAC,CAAC,EAAE,CAAC,CAAC,GAC9B,CAAC,MAAM,EAAE,CAAC,GAAG,IAAI,EAAE,IAAI,CAAC,EAAE,qBAAqB,KAAK,CAAC,CAmCvD"}

package/dist/verify/verifier-factory.js

@@ -0,0 +1,38 @@
+/**
+ * Build a `select…Verifier(config, opts)` function (Phase 40.1 consolidation of
+ * six byte-identical factories). One selection algorithm:
+ * `provider = override ?? slice.provider ?? 'mock'`; the `anthropic` provider
+ * needs `ANTHROPIC_API_KEY`; the `local` provider needs `CADENCE_LOCAL_BASE_URL`
+ * and a model (`slice.model ?? CADENCE_LOCAL_MODEL`); a missing prerequisite
+ * falls back to `mock` with one stderr warning so the caller knows it downgraded.
+ */
+export function createVerifierFactory(spec) {
+    return (config, opts = {}) => {
+        const slice = spec.read(config);
+        const provider = opts.override ?? slice?.provider ?? 'mock';
+        const env = opts.env ?? process.env;
+        const warn = opts.warn ?? ((m) => process.stderr.write(m + '\n'));
+        if (provider === 'anthropic') {
+            if (!env.ANTHROPIC_API_KEY) {
+                warn(`${spec.label}: anthropic provider requested but ANTHROPIC_API_KEY is unset — falling back to mock provider.`);
+                return spec.mock();
+            }
+            const model = slice?.model;
+            return spec.anthropic({
+                apiKey: env.ANTHROPIC_API_KEY,
+                ...(model ? { model } : {}),
+            });
+        }
+        if (provider === 'local') {
+            const baseURL = env.CADENCE_LOCAL_BASE_URL;
+            const model = slice?.model ?? env.CADENCE_LOCAL_MODEL;
+            if (!baseURL || !model) {
+                warn(`${spec.label}: local provider requested but CADENCE_LOCAL_BASE_URL / model unset — falling back to mock provider.`);
+                return spec.mock();
+            }
+            return spec.local({ baseURL, model });
+        }
+        return spec.mock();
+    };
+}
+//# sourceMappingURL=verifier-factory.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"verifier-factory.js","sourceRoot":"","sources":["../../src/verify/verifier-factory.ts"],"names":[],"mappings":"AA+BA;;;;;;;GAOG;AACH,MAAM,UAAU,qBAAqB,CACnC,IAA+B;IAE/B,OAAO,CAAC,MAAgB,EAAE,OAA8B,EAAE,EAAK,EAAE;QAC/D,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAChC,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,IAAI,KAAK,EAAE,QAAQ,IAAI,MAAM,CAAC;QAC5D,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,IAAI,OAAO,CAAC,GAAG,CAAC;QACpC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,CAAS,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;QAE1E,IAAI,QAAQ,KAAK,WAAW,EAAE,CAAC;YAC7B,IAAI,CAAC,GAAG,CAAC,iBAAiB,EAAE,CAAC;gBAC3B,IAAI,CACF,GAAG,IAAI,CAAC,KAAK,gGAAgG,CAC9G,CAAC;gBACF,OAAO,IAAI,CAAC,IAAI,EAAE,CAAC;YACrB,CAAC;YACD,MAAM,KAAK,GAAG,KAAK,EAAE,KAAK,CAAC;YAC3B,OAAO,IAAI,CAAC,SAAS,CAAC;gBACpB,MAAM,EAAE,GAAG,CAAC,iBAAiB;gBAC7B,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAC5B,CAAC,CAAC;QACL,CAAC;QAED,IAAI,QAAQ,KAAK,OAAO,EAAE,CAAC;YACzB,MAAM,OAAO,GAAG,GAAG,CAAC,sBAAsB,CAAC;YAC3C,MAAM,KAAK,GAAG,KAAK,EAAE,KAAK,IAAI,GAAG,CAAC,mBAAmB,CAAC;YACtD,IAAI,CAAC,OAAO,IAAI,CAAC,KAAK,EAAE,CAAC;gBACvB,IAAI,CACF,GAAG,IAAI,CAAC,KAAK,sGAAsG,CACpH,CAAC;gBACF,OAAO,IAAI,CAAC,IAAI,EAAE,CAAC;YACrB,CAAC;YACD,OAAO,IAAI,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;QACxC,CAAC;QAED,OAAO,IAAI,CAAC,IAAI,EAAE,CAAC;IACrB,CAAC,CAAC;AACJ,CAAC"}

package/dist/verify/verifier.d.ts

@@ -0,0 +1,63 @@
+export interface VerifyAc {
+    /** Stable AC id, e.g. "AC-1". */
+    id: string;
+    /** Human-readable Given clause from the DRAFT. */
+    given: string;
+    /** Human-readable When clause. */
+    when: string;
+    /** Human-readable Then clause — the actual outcome to verify. */
+    then: string;
+}
+export interface VerifyTestRef {
+    /** Path relative to repoRoot, forward-slashed. */
+    file: string;
+    /** 1-based line where the AC token appeared. */
+    line: number;
+    /** Trimmed snippet of the matching test line. */
+    snippet: string;
+}
+export interface VerifyInput {
+    /** ACs to verify. */
+    acs: VerifyAc[];
+    /** Map of AC id → linked test refs (from `scanTestCoverage`). */
+    tests: Record<string, VerifyTestRef[]>;
+    /** Optional unified diff of code changes for the phase. May be empty. */
+    diff: string;
+    /** Optional list of touched source files (for context). May be empty. */
+    files: string[];
+}
+export interface AcVerdict {
+    pass: boolean;
+    /** Short, human-readable reason (≤ 200 chars). */
+    reason: string;
+}
+export interface VerifyResult {
+    /** Per-AC verdicts keyed by AC id. */
+    verdicts: Record<string, AcVerdict>;
+    /** Provider name (e.g. "mock", "anthropic"). Stamped into SUMMARY. */
+    provider: string;
+    /** Optional model name when the provider is an LLM. */
+    model?: string;
+}
+/**
+ * Verifiers must be safe to call without I/O setup beyond what the
+ * constructor accepts. Implementations should *not* throw on per-AC verdict
+ * failures — failed verdicts go in `result.verdicts[id].pass = false`.
+ * Throwing is reserved for transport errors (network, malformed response).
+ */
+export interface Verifier {
+    readonly name: string;
+    verify(input: VerifyInput): Promise<VerifyResult>;
+}
+export interface LocalVerifierOptions {
+    baseURL: string;
+    model: string;
+    transport?: typeof fetch;
+}
+export declare class LocalVerifier implements Verifier {
+    private readonly o;
+    readonly name = "local";
+    constructor(o: LocalVerifierOptions);
+    verify(input: VerifyInput): Promise<VerifyResult>;
+}
+//# sourceMappingURL=verifier.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"verifier.d.ts","sourceRoot":"","sources":["../../src/verify/verifier.ts"],"names":[],"mappings":"AAYA,MAAM,WAAW,QAAQ;IACvB,iCAAiC;IACjC,EAAE,EAAE,MAAM,CAAC;IACX,kDAAkD;IAClD,KAAK,EAAE,MAAM,CAAC;IACd,kCAAkC;IAClC,IAAI,EAAE,MAAM,CAAC;IACb,iEAAiE;IACjE,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,aAAa;IAC5B,kDAAkD;IAClD,IAAI,EAAE,MAAM,CAAC;IACb,gDAAgD;IAChD,IAAI,EAAE,MAAM,CAAC;IACb,iDAAiD;IACjD,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,WAAW;IAC1B,qBAAqB;IACrB,GAAG,EAAE,QAAQ,EAAE,CAAC;IAChB,iEAAiE;IACjE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,EAAE,CAAC,CAAC;IACvC,yEAAyE;IACzE,IAAI,EAAE,MAAM,CAAC;IACb,yEAAyE;IACzE,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB;AAED,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,OAAO,CAAC;IACd,kDAAkD;IAClD,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,YAAY;IAC3B,sCAAsC;IACtC,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IACpC,sEAAsE;IACtE,QAAQ,EAAE,MAAM,CAAC;IACjB,uDAAuD;IACvD,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED;;;;;GAKG;AACH,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,MAAM,CAAC,KAAK,EAAE,WAAW,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC;CACnD;AAED,MAAM,WAAW,oBAAoB;IACnC,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,CAAC,EAAE,OAAO,KAAK,CAAC;CAC1B;AAED,qBAAa,aAAc,YAAW,QAAQ;IAEhC,OAAO,CAAC,QAAQ,CAAC,CAAC;IAD9B,QAAQ,CAAC,IAAI,WAAW;gBACK,CAAC,EAAE,oBAAoB;IAE9C,MAAM,CAAC,KAAK,EAAE,WAAW,GAAG,OAAO,CAAC,YAAY,CAAC;CAgBxD"}

package/dist/verify/verifier.js

@@ -0,0 +1,32 @@
+/**
+ * Abstract interface for the `--deep` independent verifier. Implementations
+ * read AC text + relevant code + tests and return a per-AC pass/fail verdict
+ * with reasoning. Selection is config-driven (see `selectVerifier`).
+ */
+import { localChatJSON } from './local-client.js';
+import { SYSTEM_PROMPT, VerifierResponseSchema, formatUserMessage, } from './anthropic-verifier.js';
+export class LocalVerifier {
+    o;
+    name = 'local';
+    constructor(o) {
+        this.o = o;
+    }
+    async verify(input) {
+        if (input.acs.length === 0) {
+            return { verdicts: {}, 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: VerifierResponseSchema,
+            ...(this.o.transport ? { transport: this.o.transport } : {}),
+        });
+        const verdicts = {};
+        for (const v of parsed.verdicts)
+            verdicts[v.id] = { pass: v.pass, reason: v.reason };
+        return { verdicts, provider: this.name, model: this.o.model };
+    }
+}
+//# sourceMappingURL=verifier.js.map

package/dist/verify/verifier.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verifier.js","sourceRoot":"","sources":["../../src/verify/verifier.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAClD,OAAO,EACL,aAAa,EACb,sBAAsB,EACtB,iBAAiB,GAClB,MAAM,yBAAyB,CAAC;AAiEjC,MAAM,OAAO,aAAa;IAEK;IADpB,IAAI,GAAG,OAAO,CAAC;IACxB,YAA6B,CAAuB;QAAvB,MAAC,GAAD,CAAC,CAAsB;IAAG,CAAC;IAExD,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,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,sBAAsB;YAC9B,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;YAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;QACrF,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC;IAChE,CAAC;CACF"}

package/package.json

@@ -0,0 +1,62 @@
+{
+  "name": "@manehorizons/cadence-core",
+  "version": "1.1.1",
+  "description": "CADENCE engine — the DRAFT→BUILD→SETTLE loop, configurable quality gates, and the host-agnostic `cadence` CLI for AI-assisted development.",
+  "license": "MIT",
+  "author": "Thomas Powers",
+  "homepage": "https://github.com/manehorizons/cadence#readme",
+  "bugs": "https://github.com/manehorizons/cadence/issues",
+  "keywords": [
+    "cadence",
+    "ai",
+    "llm",
+    "agents",
+    "code-review",
+    "quality-gates",
+    "tdd",
+    "workflow",
+    "claude",
+    "cli"
+  ],
+  "type": "module",
+  "main": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "exports": {
+    ".": {
+      "import": "./dist/index.js",
+      "types": "./dist/index.d.ts"
+    }
+  },
+  "bin": {
+    "cadence": "./bin/cadence.cjs"
+  },
+  "files": [
+    "dist",
+    "bin"
+  ],
+  "publishConfig": {
+    "access": "public"
+  },
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/manehorizons/cadence.git",
+    "directory": "packages/core"
+  },
+  "dependencies": {
+    "@anthropic-ai/sdk": "^0.96.0",
+    "commander": "^13.0.0",
+    "zod": "^3.23.0",
+    "@manehorizons/cadence-types": "1.1.1"
+  },
+  "devDependencies": {
+    "vitest": "^2.1.0",
+    "@manehorizons/cadence-testkit": "1.1.1"
+  },
+  "scripts": {
+    "build": "tsc -p tsconfig.json",
+    "typecheck": "tsc -p tsconfig.json --noEmit",
+    "test": "vitest run",
+    "lint": "eslint src",
+    "clean": "rm -rf dist .turbo"
+  }
+}