@restormel/reasoning-core 0.1.0

package/dist/context.d.ts

@@ -0,0 +1,36 @@
+/**
+ * Host-injected LLM and routing — no SOPHIA vertex or Keys imports in this package.
+ */
+export type ModelRoute = {
+    /** Opaque model handle (e.g. Vercel AI SDK LanguageModel). */
+    model: unknown;
+    modelId: string;
+    provider: string;
+    resolvedRouteId?: string | null;
+    resolvedExplanation?: string | null;
+};
+export type GenerateTextParams = {
+    model: unknown;
+    system: string;
+    prompt: string;
+    maxOutputTokens?: number;
+};
+export type GenerateTextResult = {
+    text: string;
+    usage?: {
+        inputTokens?: number;
+        outputTokens?: number;
+    };
+};
+export type RouteOptions = {
+    providerApiKeys?: unknown;
+    depthMode?: string;
+    failureMode?: "error" | "fallback";
+};
+export type ReasoningCoreContext = {
+    generateText: (params: GenerateTextParams) => Promise<GenerateTextResult>;
+    resolveExtractionRoute: (options?: RouteOptions) => Promise<ModelRoute>;
+    resolveReasoningRoute: (options?: RouteOptions) => Promise<ModelRoute>;
+    trackTokens?: (input: number, output: number) => void;
+};
+//# sourceMappingURL=context.d.ts.map

package/dist/context.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"context.d.ts","sourceRoot":"","sources":["../src/context.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG;IACvB,8DAA8D;IAC9D,KAAK,EAAE,OAAO,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC;IACjB,eAAe,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,mBAAmB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CACrC,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAAG;IAC/B,KAAK,EAAE,OAAO,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,eAAe,CAAC,EAAE,MAAM,CAAC;CAC1B,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAAG;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,CAAC,EAAE;QAAE,WAAW,CAAC,EAAE,MAAM,CAAC;QAAC,YAAY,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;CACzD,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG;IACzB,eAAe,CAAC,EAAE,OAAO,CAAC;IAC1B,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,WAAW,CAAC,EAAE,OAAO,GAAG,UAAU,CAAC;CACpC,CAAC;AAEF,MAAM,MAAM,oBAAoB,GAAG;IACjC,YAAY,EAAE,CAAC,MAAM,EAAE,kBAAkB,KAAK,OAAO,CAAC,kBAAkB,CAAC,CAAC;IAC1E,sBAAsB,EAAE,CAAC,OAAO,CAAC,EAAE,YAAY,KAAK,OAAO,CAAC,UAAU,CAAC,CAAC;IACxE,qBAAqB,EAAE,CAAC,OAAO,CAAC,EAAE,YAAY,KAAK,OAAO,CAAC,UAAU,CAAC,CAAC;IACvE,WAAW,CAAC,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,KAAK,IAAI,CAAC;CACvD,CAAC"}

package/dist/context.js

@@ -0,0 +1 @@
+export {};

package/dist/extraction.d.ts

@@ -0,0 +1,6 @@
+import { type ExtractionResult, type VerificationRequest } from "@restormel/contracts/verification";
+import type { ReasoningCoreContext } from "./context.js";
+export declare function extractClaims(request: VerificationRequest, ctx: ReasoningCoreContext, options?: {
+    providerApiKeys?: unknown;
+}): Promise<ExtractionResult>;
+//# sourceMappingURL=extraction.d.ts.map

package/dist/extraction.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"extraction.d.ts","sourceRoot":"","sources":["../src/extraction.ts"],"names":[],"mappings":"AACA,OAAO,EAIL,KAAK,gBAAgB,EACrB,KAAK,mBAAmB,EACzB,MAAM,mCAAmC,CAAC;AAC3C,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,cAAc,CAAC;AAkBzD,wBAAsB,aAAa,CACjC,OAAO,EAAE,mBAAmB,EAC5B,GAAG,EAAE,oBAAoB,EACzB,OAAO,CAAC,EAAE;IAAE,eAAe,CAAC,EAAE,OAAO,CAAA;CAAE,GACtC,OAAO,CAAC,gBAAgB,CAAC,CAsD3B"}

package/dist/extraction.js

@@ -0,0 +1,59 @@
+import { z } from "zod";
+import { ExtractedClaimSchema, ExtractedRelationSchema, ExtractionResultSchema, } from "@restormel/contracts/verification";
+import { extractStructuredMetaBlock } from "./meta-block.js";
+import { buildVerificationExtractionUserPrompt, VERIFICATION_EXTRACTION_SYSTEM_PROMPT, } from "./prompts/verification-extraction.js";
+const ExtractionMetaBlockSchema = z.object({
+    claims: z.array(ExtractedClaimSchema).default([]),
+    relations: z.array(ExtractedRelationSchema).default([]),
+});
+const MAX_RETRIES = 2;
+function getSourceText(request) {
+    return [request.question, request.answer, request.text].filter(Boolean).join("\n\n");
+}
+export async function extractClaims(request, ctx, options) {
+    const startedAt = Date.now();
+    const sourceText = getSourceText(request);
+    let lastError;
+    for (let attempt = 0; attempt <= MAX_RETRIES; attempt += 1) {
+        try {
+            const extractionRoute = await ctx.resolveExtractionRoute({
+                providerApiKeys: options?.providerApiKeys,
+                failureMode: "error",
+            });
+            const result = await ctx.generateText({
+                model: extractionRoute.model,
+                system: VERIFICATION_EXTRACTION_SYSTEM_PROMPT,
+                prompt: buildVerificationExtractionUserPrompt(request),
+                maxOutputTokens: 2048,
+            });
+            const inputTokens = result.usage?.inputTokens ?? 0;
+            const outputTokens = result.usage?.outputTokens ?? 0;
+            ctx.trackTokens?.(inputTokens, outputTokens);
+            const { metaBlock } = extractStructuredMetaBlock(result.text, ExtractionMetaBlockSchema);
+            if (!metaBlock) {
+                throw new Error("Missing or invalid sophia-meta block in extraction output");
+            }
+            const candidate = {
+                claims: metaBlock.claims,
+                relations: metaBlock.relations,
+                metadata: {
+                    source_length: sourceText.length,
+                    extraction_model: extractionRoute.modelId,
+                    extraction_duration_ms: Date.now() - startedAt,
+                    tokens_used: {
+                        input: inputTokens,
+                        output: outputTokens,
+                    },
+                },
+            };
+            return ExtractionResultSchema.parse(candidate);
+        }
+        catch (error) {
+            lastError = error;
+            if (attempt === MAX_RETRIES) {
+                break;
+            }
+        }
+    }
+    throw new Error(`Claim extraction failed after retries: ${lastError instanceof Error ? lastError.message : String(lastError)}`);
+}

package/dist/index.d.ts

@@ -0,0 +1,8 @@
+export type { GenerateTextParams, GenerateTextResult, ModelRoute, ReasoningCoreContext, RouteOptions, } from "./context.js";
+export { extractStructuredMetaBlock } from "./meta-block.js";
+export { extractClaims } from "./extraction.js";
+export { evaluateReasoning, type ReasoningEvaluationResult } from "./reasoning-eval.js";
+export { checkContradictionAwareness, checkCorrelationVsCausation, checkEvidenceRequirement, checkNormativeBridge, checkScopeDiscipline, checkSourceDiversity, evaluateConstitution, evaluateConstitutionWithTelemetry, type ConstitutionEvaluationResult, type ConstitutionEvaluationTelemetry, } from "./constitution/evaluator.js";
+export { EPISTEMIC_RULES } from "./constitution/rules.js";
+export { buildVerificationInputText, runVerificationPipeline, type PassOutputsRunner, type VerificationPipelineCallbacks, type VerificationPipelineOptions, type VerificationPipelineResult, } from "./pipeline.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,YAAY,EACV,kBAAkB,EAClB,kBAAkB,EAClB,UAAU,EACV,oBAAoB,EACpB,YAAY,GACb,MAAM,cAAc,CAAC;AAEtB,OAAO,EAAE,0BAA0B,EAAE,MAAM,iBAAiB,CAAC;AAC7D,OAAO,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAChD,OAAO,EAAE,iBAAiB,EAAE,KAAK,yBAAyB,EAAE,MAAM,qBAAqB,CAAC;AAExF,OAAO,EACL,2BAA2B,EAC3B,2BAA2B,EAC3B,wBAAwB,EACxB,oBAAoB,EACpB,oBAAoB,EACpB,oBAAoB,EACpB,oBAAoB,EACpB,iCAAiC,EACjC,KAAK,4BAA4B,EACjC,KAAK,+BAA+B,GACrC,MAAM,6BAA6B,CAAC;AAErC,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAE1D,OAAO,EACL,0BAA0B,EAC1B,uBAAuB,EACvB,KAAK,iBAAiB,EACtB,KAAK,6BAA6B,EAClC,KAAK,2BAA2B,EAChC,KAAK,0BAA0B,GAChC,MAAM,eAAe,CAAC"}

package/dist/index.js

@@ -0,0 +1,6 @@
+export { extractStructuredMetaBlock } from "./meta-block.js";
+export { extractClaims } from "./extraction.js";
+export { evaluateReasoning } from "./reasoning-eval.js";
+export { checkContradictionAwareness, checkCorrelationVsCausation, checkEvidenceRequirement, checkNormativeBridge, checkScopeDiscipline, checkSourceDiversity, evaluateConstitution, evaluateConstitutionWithTelemetry, } from "./constitution/evaluator.js";
+export { EPISTEMIC_RULES } from "./constitution/rules.js";
+export { buildVerificationInputText, runVerificationPipeline, } from "./pipeline.js";

package/dist/meta-block.d.ts

@@ -0,0 +1,10 @@
+import type { z } from "zod";
+/**
+ * Extract JSON from a fenced meta block (default: ```sophia-meta).
+ * Keeps fence name for prompt compatibility with existing model outputs.
+ */
+export declare function extractStructuredMetaBlock<T extends z.ZodTypeAny>(text: string, schema: T, fenceName?: string): {
+    cleanedText: string;
+    metaBlock: z.infer<T> | null;
+};
+//# sourceMappingURL=meta-block.d.ts.map

package/dist/meta-block.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"meta-block.d.ts","sourceRoot":"","sources":["../src/meta-block.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAI7B;;;GAGG;AACH,wBAAgB,0BAA0B,CAAC,CAAC,SAAS,CAAC,CAAC,UAAU,EAC/D,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,CAAC,EACT,SAAS,GAAE,MAAsB,GAChC;IAAE,WAAW,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,IAAI,CAAA;CAAE,CAkBvD"}

package/dist/meta-block.js

@@ -0,0 +1,24 @@
+const DEFAULT_FENCE = "sophia-meta";
+/**
+ * Extract JSON from a fenced meta block (default: ```sophia-meta).
+ * Keeps fence name for prompt compatibility with existing model outputs.
+ */
+export function extractStructuredMetaBlock(text, schema, fenceName = DEFAULT_FENCE) {
+    const pattern = new RegExp("```" + fenceName + "\\n?([\\s\\S]*?)\\n?```");
+    const metaMatch = text.match(pattern);
+    if (!metaMatch) {
+        return { cleanedText: text, metaBlock: null };
+    }
+    try {
+        const metaJson = JSON.parse(metaMatch[1]);
+        const validated = schema.safeParse(metaJson);
+        if (!validated.success) {
+            return { cleanedText: text, metaBlock: null };
+        }
+        const cleanedText = text.replace(pattern, "").trim();
+        return { cleanedText, metaBlock: validated.data };
+    }
+    catch {
+        return { cleanedText: text, metaBlock: null };
+    }
+}

package/dist/pipeline.d.ts

@@ -0,0 +1,68 @@
+import type { PassType } from "@restormel/contracts/passes";
+import type { VerificationRequest, VerificationResult } from "@restormel/contracts/verification";
+import type { ReasoningCoreContext } from "./context.js";
+export interface VerificationPipelineCallbacks {
+    onPassStart?(pass: PassType): void;
+    onPassChunk?(pass: PassType, content: string): void;
+    onPassComplete?(pass: PassType): void;
+    onPassStructured?(pass: PassType, sections: unknown, wordCount: number): void;
+    onSources?(sources: unknown): void;
+    onGroundingSources?(pass: PassType, sources: unknown): void;
+    onGraphSnapshot?(nodes: unknown, edges: unknown): void;
+    onClaims?(pass: unknown, claims: unknown, relations: unknown): void;
+    onConfidenceSummary?(avgConfidence: number, lowConfidenceCount: number, totalClaims: number): void;
+    onMetadata?(totalInputTokens: number, totalOutputTokens: number, durationMs: number, retrieval?: VerificationResult["metadata"]["retrieval"]): void;
+    onExtractionComplete?(payload: {
+        claims: VerificationResult["extracted_claims"];
+        relations: VerificationResult["logical_relations"];
+        metadata: {
+            source_length: number;
+            extraction_model: string;
+            extraction_duration_ms: number;
+            tokens_used: {
+                input: number;
+                output: number;
+            };
+        };
+    }): void;
+    onReasoningScores?(reasoningQuality: VerificationResult["reasoning_quality"]): void;
+    onConstitutionCheck?(constitutionalCheck: VerificationResult["constitutional_check"]): void;
+}
+/** Host-provided multi-pass reasoning (e.g. SOPHIA `runDomainAgnosticReasoning`). */
+export type PassOutputsRunner = (inputText: string, callbacks: VerificationPipelineCallbacks & {
+    onError?(error: string): void;
+}, options?: {
+    providerApiKeys?: unknown;
+}) => Promise<void>;
+export interface VerificationPipelineOptions {
+    ctx: ReasoningCoreContext;
+    includePassOutputs?: boolean;
+    callbacks?: VerificationPipelineCallbacks;
+    providerApiKeys?: unknown;
+    /** Required when `includePassOutputs` is true. */
+    runPassOutputs?: PassOutputsRunner;
+}
+export interface VerificationPipelineResult {
+    inputText: string;
+    extracted_claims: VerificationResult["extracted_claims"];
+    logical_relations: VerificationResult["logical_relations"];
+    reasoning_quality: VerificationResult["reasoning_quality"];
+    reasoning_model?: {
+        provider: string;
+        modelId: string;
+        routeId: string | null;
+        reason: string | null;
+    };
+    constitutional_check: VerificationResult["constitutional_check"];
+    pass_outputs?: VerificationResult["pass_outputs"];
+    retrieval?: VerificationResult["metadata"]["retrieval"];
+    extraction_input_tokens: number;
+    extraction_output_tokens: number;
+    constitution_duration_ms: number;
+    constitution_input_tokens: number;
+    constitution_output_tokens: number;
+    constitution_rule_violations: string[];
+}
+export declare function buildVerificationInputText(request: VerificationRequest): string;
+export declare function runVerificationPipeline(request: VerificationRequest, options: VerificationPipelineOptions): Promise<VerificationPipelineResult>;
+//# sourceMappingURL=pipeline.d.ts.map

package/dist/pipeline.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pipeline.d.ts","sourceRoot":"","sources":["../src/pipeline.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AAC5D,OAAO,KAAK,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AACjG,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,cAAc,CAAC;AAKzD,MAAM,WAAW,6BAA6B;IAC5C,WAAW,CAAC,CAAC,IAAI,EAAE,QAAQ,GAAG,IAAI,CAAC;IACnC,WAAW,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACpD,cAAc,CAAC,CAAC,IAAI,EAAE,QAAQ,GAAG,IAAI,CAAC;IACtC,gBAAgB,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9E,SAAS,CAAC,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CAAC;IACnC,kBAAkB,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,GAAG,IAAI,CAAC;IAC5D,eAAe,CAAC,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,GAAG,IAAI,CAAC;IACvD,QAAQ,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,OAAO,GAAG,IAAI,CAAC;IACpE,mBAAmB,CAAC,CAAC,aAAa,EAAE,MAAM,EAAE,kBAAkB,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IACnG,UAAU,CAAC,CACT,gBAAgB,EAAE,MAAM,EACxB,iBAAiB,EAAE,MAAM,EACzB,UAAU,EAAE,MAAM,EAClB,SAAS,CAAC,EAAE,kBAAkB,CAAC,UAAU,CAAC,CAAC,WAAW,CAAC,GACtD,IAAI,CAAC;IACR,oBAAoB,CAAC,CAAC,OAAO,EAAE;QAC7B,MAAM,EAAE,kBAAkB,CAAC,kBAAkB,CAAC,CAAC;QAC/C,SAAS,EAAE,kBAAkB,CAAC,mBAAmB,CAAC,CAAC;QACnD,QAAQ,EAAE;YACR,aAAa,EAAE,MAAM,CAAC;YACtB,gBAAgB,EAAE,MAAM,CAAC;YACzB,sBAAsB,EAAE,MAAM,CAAC;YAC/B,WAAW,EAAE;gBACX,KAAK,EAAE,MAAM,CAAC;gBACd,MAAM,EAAE,MAAM,CAAC;aAChB,CAAC;SACH,CAAC;KACH,GAAG,IAAI,CAAC;IACT,iBAAiB,CAAC,CAAC,gBAAgB,EAAE,kBAAkB,CAAC,mBAAmB,CAAC,GAAG,IAAI,CAAC;IACpF,mBAAmB,CAAC,CAAC,mBAAmB,EAAE,kBAAkB,CAAC,sBAAsB,CAAC,GAAG,IAAI,CAAC;CAC7F;AAED,qFAAqF;AACrF,MAAM,MAAM,iBAAiB,GAAG,CAC9B,SAAS,EAAE,MAAM,EACjB,SAAS,EAAE,6BAA6B,GAAG;IACzC,OAAO,CAAC,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;CAC/B,EACD,OAAO,CAAC,EAAE;IAAE,eAAe,CAAC,EAAE,OAAO,CAAA;CAAE,KACpC,OAAO,CAAC,IAAI,CAAC,CAAC;AAEnB,MAAM,WAAW,2BAA2B;IAC1C,GAAG,EAAE,oBAAoB,CAAC;IAC1B,kBAAkB,CAAC,EAAE,OAAO,CAAC;IAC7B,SAAS,CAAC,EAAE,6BAA6B,CAAC;IAC1C,eAAe,CAAC,EAAE,OAAO,CAAC;IAC1B,kDAAkD;IAClD,cAAc,CAAC,EAAE,iBAAiB,CAAC;CACpC;AAED,MAAM,WAAW,0BAA0B;IACzC,SAAS,EAAE,MAAM,CAAC;IAClB,gBAAgB,EAAE,kBAAkB,CAAC,kBAAkB,CAAC,CAAC;IACzD,iBAAiB,EAAE,kBAAkB,CAAC,mBAAmB,CAAC,CAAC;IAC3D,iBAAiB,EAAE,kBAAkB,CAAC,mBAAmB,CAAC,CAAC;IAC3D,eAAe,CAAC,EAAE;QAChB,QAAQ,EAAE,MAAM,CAAC;QACjB,OAAO,EAAE,MAAM,CAAC;QAChB,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;QACvB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;KACvB,CAAC;IACF,oBAAoB,EAAE,kBAAkB,CAAC,sBAAsB,CAAC,CAAC;IACjE,YAAY,CAAC,EAAE,kBAAkB,CAAC,cAAc,CAAC,CAAC;IAClD,SAAS,CAAC,EAAE,kBAAkB,CAAC,UAAU,CAAC,CAAC,WAAW,CAAC,CAAC;IACxD,uBAAuB,EAAE,MAAM,CAAC;IAChC,wBAAwB,EAAE,MAAM,CAAC;IACjC,wBAAwB,EAAE,MAAM,CAAC;IACjC,yBAAyB,EAAE,MAAM,CAAC;IAClC,0BAA0B,EAAE,MAAM,CAAC;IACnC,4BAA4B,EAAE,MAAM,EAAE,CAAC;CACxC;AAED,wBAAgB,0BAA0B,CAAC,OAAO,EAAE,mBAAmB,GAAG,MAAM,CAE/E;AAED,wBAAsB,uBAAuB,CAC3C,OAAO,EAAE,mBAAmB,EAC5B,OAAO,EAAE,2BAA2B,GACnC,OAAO,CAAC,0BAA0B,CAAC,CAyGrC"}

package/dist/pipeline.js

@@ -0,0 +1,96 @@
+import { evaluateConstitutionWithTelemetry } from "./constitution/evaluator.js";
+import { extractClaims } from "./extraction.js";
+import { evaluateReasoning } from "./reasoning-eval.js";
+export function buildVerificationInputText(request) {
+    return [request.question, request.answer, request.text].filter(Boolean).join("\n\n");
+}
+export async function runVerificationPipeline(request, options) {
+    const includePassOutputs = options.includePassOutputs ?? true;
+    const callbacks = options.callbacks;
+    const ctx = options.ctx;
+    const inputText = buildVerificationInputText(request);
+    const passOutputs = {};
+    let retrievalMeta;
+    if (includePassOutputs) {
+        if (!options.runPassOutputs) {
+            throw new Error("runPassOutputs hook is required when includePassOutputs is true");
+        }
+        await options.runPassOutputs(inputText, {
+            onPassStart(pass) {
+                callbacks?.onPassStart?.(pass);
+            },
+            onPassChunk(pass, content) {
+                if (pass !== "verification") {
+                    passOutputs[pass] = `${passOutputs[pass] ?? ""}${content}`;
+                }
+                callbacks?.onPassChunk?.(pass, content);
+            },
+            onPassComplete(pass) {
+                callbacks?.onPassComplete?.(pass);
+            },
+            onPassStructured(pass, sections, wordCount) {
+                callbacks?.onPassStructured?.(pass, sections, wordCount);
+            },
+            onSources(sources) {
+                callbacks?.onSources?.(sources);
+            },
+            onGroundingSources(pass, sources) {
+                callbacks?.onGroundingSources?.(pass, sources);
+            },
+            onGraphSnapshot(nodes, edges) {
+                callbacks?.onGraphSnapshot?.(nodes, edges);
+            },
+            onClaims(pass, claims, relations) {
+                callbacks?.onClaims?.(pass, claims, relations);
+            },
+            onConfidenceSummary(avgConfidence, lowConfidenceCount, totalClaims) {
+                callbacks?.onConfidenceSummary?.(avgConfidence, lowConfidenceCount, totalClaims);
+            },
+            onMetadata(totalInputTokens, totalOutputTokens, durationMs, retrieval) {
+                retrievalMeta = retrieval;
+                callbacks?.onMetadata?.(totalInputTokens, totalOutputTokens, durationMs, retrieval);
+            },
+            onError(error) {
+                throw new Error(error);
+            },
+        }, { providerApiKeys: options.providerApiKeys });
+    }
+    const extraction = await extractClaims(request, ctx, {
+        providerApiKeys: options.providerApiKeys,
+    });
+    callbacks?.onExtractionComplete?.({
+        claims: extraction.claims,
+        relations: extraction.relations,
+        metadata: extraction.metadata,
+    });
+    const reasoning = await evaluateReasoning(extraction.claims, extraction.relations, request, ctx, {
+        providerApiKeys: options.providerApiKeys,
+    });
+    callbacks?.onReasoningScores?.(reasoning.evaluation);
+    const constitutionStartedAt = Date.now();
+    const constitutionResult = await evaluateConstitutionWithTelemetry(extraction.claims, extraction.relations, inputText, ctx, { providerApiKeys: options.providerApiKeys });
+    const constitutionDurationMs = Date.now() - constitutionStartedAt;
+    callbacks?.onConstitutionCheck?.(constitutionResult.check);
+    return {
+        inputText,
+        extracted_claims: extraction.claims,
+        logical_relations: extraction.relations,
+        reasoning_quality: reasoning.evaluation,
+        reasoning_model: reasoning.route,
+        constitutional_check: constitutionResult.check,
+        pass_outputs: includePassOutputs
+            ? {
+                analysis: passOutputs.analysis,
+                critique: passOutputs.critique,
+                synthesis: passOutputs.synthesis,
+            }
+            : undefined,
+        retrieval: retrievalMeta,
+        extraction_input_tokens: extraction.metadata.tokens_used.input,
+        extraction_output_tokens: extraction.metadata.tokens_used.output,
+        constitution_duration_ms: constitutionDurationMs,
+        constitution_input_tokens: constitutionResult.telemetry.constitution_input_tokens,
+        constitution_output_tokens: constitutionResult.telemetry.constitution_output_tokens,
+        constitution_rule_violations: constitutionResult.telemetry.constitution_rule_violations,
+    };
+}

package/dist/prompts/constitution-eval.d.ts

@@ -0,0 +1,8 @@
+import type { ConstitutionRule } from "@restormel/contracts/constitution";
+import type { ExtractedClaim, ExtractedRelation } from "@restormel/contracts/verification";
+export interface ConstitutionEvalHeuristics {
+    proportional_evidence_low_support_claim_ids?: string[];
+}
+export declare const CONSTITUTION_EVAL_SYSTEM_PROMPT = "You are an epistemic quality auditor. You evaluate whether reasoning meets specific standards of intellectual rigour.\n\nYou will be given:\n1. A set of extracted claims with types and scopes\n2. Logical relations between those claims\n3. A set of epistemic rules to evaluate\n\nFor each rule, determine:\n- \"satisfied\": The reasoning clearly meets this standard\n- \"violated\": The reasoning clearly fails this standard\n- \"uncertain\": Cannot determine from available information\n- \"not_applicable\": The rule does not apply to this text\n\nBe conservative: prefer \"uncertain\" over false \"violated\".\nEvery violation must cite specific claim IDs.\nEvery violation must include a remediation suggestion.\n\nReturn JSON only as an array. Each object must include:\n- rule_id\n- status\n- affected_claim_ids (array of claim IDs)\n- rationale\n- remediation (required when status is \"violated\")";
+export declare function buildConstitutionEvalUserPrompt(claims: ExtractedClaim[], relations: ExtractedRelation[], rules: ConstitutionRule[], originalText: string, heuristics?: ConstitutionEvalHeuristics): string;
+//# sourceMappingURL=constitution-eval.d.ts.map

package/dist/prompts/constitution-eval.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"constitution-eval.d.ts","sourceRoot":"","sources":["../../src/prompts/constitution-eval.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,mCAAmC,CAAC;AAC1E,OAAO,KAAK,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,mCAAmC,CAAC;AAE3F,MAAM,WAAW,0BAA0B;IACzC,2CAA2C,CAAC,EAAE,MAAM,EAAE,CAAC;CACxD;AAED,eAAO,MAAM,+BAA+B,64BAsBO,CAAC;AAEpD,wBAAgB,+BAA+B,CAC7C,MAAM,EAAE,cAAc,EAAE,EACxB,SAAS,EAAE,iBAAiB,EAAE,EAC9B,KAAK,EAAE,gBAAgB,EAAE,EACzB,YAAY,EAAE,MAAM,EACpB,UAAU,GAAE,0BAA+B,GAC1C,MAAM,CA0BR"}

package/dist/prompts/constitution-eval.js

@@ -0,0 +1,45 @@
+export const CONSTITUTION_EVAL_SYSTEM_PROMPT = `You are an epistemic quality auditor. You evaluate whether reasoning meets specific standards of intellectual rigour.
+
+You will be given:
+1. A set of extracted claims with types and scopes
+2. Logical relations between those claims
+3. A set of epistemic rules to evaluate
+
+For each rule, determine:
+- "satisfied": The reasoning clearly meets this standard
+- "violated": The reasoning clearly fails this standard
+- "uncertain": Cannot determine from available information
+- "not_applicable": The rule does not apply to this text
+
+Be conservative: prefer "uncertain" over false "violated".
+Every violation must cite specific claim IDs.
+Every violation must include a remediation suggestion.
+
+Return JSON only as an array. Each object must include:
+- rule_id
+- status
+- affected_claim_ids (array of claim IDs)
+- rationale
+- remediation (required when status is "violated")`;
+export function buildConstitutionEvalUserPrompt(claims, relations, rules, originalText, heuristics = {}) {
+    const payload = {
+        original_text_preview: originalText.slice(0, 3000),
+        claims: claims.map((claim) => ({
+            id: claim.id,
+            text: claim.text,
+            claim_type: claim.claim_type,
+            scope: claim.scope,
+            confidence: claim.confidence
+        })),
+        relations,
+        rules: rules.map((rule) => ({
+            id: rule.id,
+            name: rule.name,
+            description: rule.description,
+            severity: rule.severity,
+            applies_to: rule.applies_to
+        })),
+        heuristics
+    };
+    return `Evaluate the rules against this argument structure and return JSON only.\n\n${JSON.stringify(payload, null, 2)}`;
+}

package/dist/prompts/reasoning-eval.d.ts

@@ -0,0 +1,4 @@
+import type { ExtractedClaim, ExtractedRelation } from "@restormel/contracts/verification";
+export declare const REASONING_EVAL_SYSTEM_PROMPT = "You evaluate reasoning quality, not factual truth.\n\nScore exactly six dimensions from 0.0 to 1.0:\n1. logical_structure\n2. evidence_grounding\n3. counterargument_coverage\n4. scope_calibration\n5. assumption_transparency\n6. internal_consistency\n\nFor each dimension return:\n- dimension\n- score\n- explanation (1-2 sentences)\n- flagged_claims (array of claim IDs)\n\nCalibrate scores conservatively:\n- 0.5 = average reasoning quality\n- 0.8+ = strong reasoning\n- <0.3 = major reasoning failure\n\nReturn JSON only as an array of six objects in the exact order above.";
+export declare function buildReasoningEvalUserPrompt(claims: ExtractedClaim[], relations: ExtractedRelation[], originalText: string): string;
+//# sourceMappingURL=reasoning-eval.d.ts.map

package/dist/prompts/reasoning-eval.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"reasoning-eval.d.ts","sourceRoot":"","sources":["../../src/prompts/reasoning-eval.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,mCAAmC,CAAC;AAE3F,eAAO,MAAM,4BAA4B,okBAqB6B,CAAC;AAEvE,wBAAgB,4BAA4B,CAC1C,MAAM,EAAE,cAAc,EAAE,EACxB,SAAS,EAAE,iBAAiB,EAAE,EAC9B,YAAY,EAAE,MAAM,GACnB,MAAM,CAgBR"}

package/dist/prompts/reasoning-eval.js

@@ -0,0 +1,36 @@
+export const REASONING_EVAL_SYSTEM_PROMPT = `You evaluate reasoning quality, not factual truth.
+
+Score exactly six dimensions from 0.0 to 1.0:
+1. logical_structure
+2. evidence_grounding
+3. counterargument_coverage
+4. scope_calibration
+5. assumption_transparency
+6. internal_consistency
+
+For each dimension return:
+- dimension
+- score
+- explanation (1-2 sentences)
+- flagged_claims (array of claim IDs)
+
+Calibrate scores conservatively:
+- 0.5 = average reasoning quality
+- 0.8+ = strong reasoning
+- <0.3 = major reasoning failure
+
+Return JSON only as an array of six objects in the exact order above.`;
+export function buildReasoningEvalUserPrompt(claims, relations, originalText) {
+    const claimLines = claims
+        .map((claim, index) => {
+        return `${index + 1}. [${claim.id}] (${claim.claim_type}, scope=${claim.scope}, conf=${claim.confidence.toFixed(2)}) ${claim.text}`;
+    })
+        .join('\n');
+    const relationLines = relations
+        .map((relation) => {
+        return `- ${relation.from_claim_id} ${relation.relation_type} ${relation.to_claim_id} (conf=${relation.confidence.toFixed(2)}): ${relation.rationale}`;
+    })
+        .join('\n');
+    const textPreview = originalText.slice(0, 2000);
+    return `ORIGINAL TEXT (truncated to 2000 chars):\n${textPreview}\n\nEXTRACTED CLAIMS:\n${claimLines || '(none)'}\n\nEXTRACTED RELATIONS:\n${relationLines || '(none)'}\n\nEvaluate the reasoning quality of this argument structure and return JSON only.`;
+}

package/dist/prompts/verification-extraction.d.ts

@@ -0,0 +1,4 @@
+import type { VerificationRequest } from "@restormel/contracts/verification";
+export declare const VERIFICATION_EXTRACTION_SYSTEM_PROMPT = "You extract atomic claims and logical relations from arbitrary domain text.\n\nReturn your answer as prose followed by a required sophia-meta fenced code block.\nThe sophia-meta block must contain valid JSON with this shape:\n{\n  \"claims\": [{\n    \"id\": \"claim_001\",\n    \"text\": \"...\",\n    \"claim_type\": \"empirical|causal|explanatory|normative|predictive|definitional|procedural\",\n    \"scope\": \"narrow|moderate|broad|universal\",\n    \"confidence\": 0.0,\n    \"source_span\": \"...\",\n    \"source_span_start\": 0,\n    \"source_span_end\": 0\n  }],\n  \"relations\": [{\n    \"from_claim_id\": \"claim_001\",\n    \"to_claim_id\": \"claim_002\",\n    \"relation_type\": \"supports|contradicts|depends_on|responds_to|defines|qualifies\",\n    \"confidence\": 0.0,\n    \"rationale\": \"...\"\n  }]\n}\n\nRequirements:\n- Claims must be atomic and self-contained.\n- Only include relations where both claim IDs exist.\n- Confidence values must be in [0,1].\n- Output JSON only in the sophia-meta block; no markdown lists inside it.";
+export declare function buildVerificationExtractionUserPrompt(request: VerificationRequest): string;
+//# sourceMappingURL=verification-extraction.d.ts.map

package/dist/prompts/verification-extraction.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verification-extraction.d.ts","sourceRoot":"","sources":["../../src/prompts/verification-extraction.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mCAAmC,CAAC;AAE7E,eAAO,MAAM,qCAAqC,miCA4BwB,CAAC;AAE3E,wBAAgB,qCAAqC,CAAC,OAAO,EAAE,mBAAmB,GAAG,MAAM,CAsB1F"}

package/dist/prompts/verification-extraction.js

@@ -0,0 +1,46 @@
+export const VERIFICATION_EXTRACTION_SYSTEM_PROMPT = `You extract atomic claims and logical relations from arbitrary domain text.
+
+Return your answer as prose followed by a required sophia-meta fenced code block.
+The sophia-meta block must contain valid JSON with this shape:
+{
+  "claims": [{
+    "id": "claim_001",
+    "text": "...",
+    "claim_type": "empirical|causal|explanatory|normative|predictive|definitional|procedural",
+    "scope": "narrow|moderate|broad|universal",
+    "confidence": 0.0,
+    "source_span": "...",
+    "source_span_start": 0,
+    "source_span_end": 0
+  }],
+  "relations": [{
+    "from_claim_id": "claim_001",
+    "to_claim_id": "claim_002",
+    "relation_type": "supports|contradicts|depends_on|responds_to|defines|qualifies",
+    "confidence": 0.0,
+    "rationale": "..."
+  }]
+}
+
+Requirements:
+- Claims must be atomic and self-contained.
+- Only include relations where both claim IDs exist.
+- Confidence values must be in [0,1].
+- Output JSON only in the sophia-meta block; no markdown lists inside it.`;
+export function buildVerificationExtractionUserPrompt(request) {
+    const parts = [];
+    if (request.domain_hint) {
+        parts.push(`DOMAIN CONTEXT: This text is from the ${request.domain_hint} domain. Apply domain-appropriate interpretation.`);
+    }
+    if (request.question?.trim()) {
+        parts.push(`QUESTION:\n${request.question.trim()}`);
+    }
+    if (request.answer?.trim()) {
+        parts.push(`ANSWER:\n${request.answer.trim()}`);
+    }
+    if (request.text?.trim()) {
+        parts.push(`TEXT:\n${request.text.trim()}`);
+    }
+    parts.push('Extract claims and relations from the provided content.');
+    return parts.join('\n\n');
+}

package/dist/reasoning-eval.d.ts

@@ -0,0 +1,15 @@
+import { type ExtractedClaim, type ExtractedRelation, type ReasoningEvaluation, type VerificationRequest } from "@restormel/contracts/verification";
+import type { ReasoningCoreContext } from "./context.js";
+export interface ReasoningEvaluationResult {
+    evaluation: ReasoningEvaluation;
+    route: {
+        provider: string;
+        modelId: string;
+        routeId: string | null;
+        reason: string | null;
+    };
+}
+export declare function evaluateReasoning(claims: ExtractedClaim[], relations: ExtractedRelation[], request: VerificationRequest, ctx: ReasoningCoreContext, options?: {
+    providerApiKeys?: unknown;
+}): Promise<ReasoningEvaluationResult>;
+//# sourceMappingURL=reasoning-eval.d.ts.map

package/dist/reasoning-eval.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"reasoning-eval.d.ts","sourceRoot":"","sources":["../src/reasoning-eval.ts"],"names":[],"mappings":"AACA,OAAO,EAEL,KAAK,cAAc,EACnB,KAAK,iBAAiB,EACtB,KAAK,mBAAmB,EACxB,KAAK,mBAAmB,EACzB,MAAM,mCAAmC,CAAC;AAC3C,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,cAAc,CAAC;AAmCzD,MAAM,WAAW,yBAAyB;IACxC,UAAU,EAAE,mBAAmB,CAAC;IAChC,KAAK,EAAE;QACL,QAAQ,EAAE,MAAM,CAAC;QACjB,OAAO,EAAE,MAAM,CAAC;QAChB,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;QACvB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;KACvB,CAAC;CACH;AAED,wBAAsB,iBAAiB,CACrC,MAAM,EAAE,cAAc,EAAE,EACxB,SAAS,EAAE,iBAAiB,EAAE,EAC9B,OAAO,EAAE,mBAAmB,EAC5B,GAAG,EAAE,oBAAoB,EACzB,OAAO,CAAC,EAAE;IAAE,eAAe,CAAC,EAAE,OAAO,CAAA;CAAE,GACtC,OAAO,CAAC,yBAAyB,CAAC,CAyCpC"}

package/dist/reasoning-eval.js

@@ -0,0 +1,69 @@
+import { z } from "zod";
+import { ReasoningScoreSchema, } from "@restormel/contracts/verification";
+import { buildReasoningEvalUserPrompt, REASONING_EVAL_SYSTEM_PROMPT } from "./prompts/reasoning-eval.js";
+const ReasoningScoresArraySchema = z.array(ReasoningScoreSchema).length(6);
+const WEIGHTS = {
+    logical_structure: 0.25,
+    evidence_grounding: 0.2,
+    counterargument_coverage: 0.2,
+    scope_calibration: 0.15,
+    assumption_transparency: 0.1,
+    internal_consistency: 0.1,
+};
+function computeOverallScore(scores) {
+    const weighted = scores.reduce((sum, score) => {
+        const weight = WEIGHTS[score.dimension] ?? 0;
+        return sum + score.score * weight;
+    }, 0);
+    return Number(weighted.toFixed(4));
+}
+function extractJson(text) {
+    const fenced = text.match(/```(?:json)?\s*([\s\S]*?)```/);
+    if (fenced)
+        return fenced[1].trim();
+    const start = text.search(/[\[{]/);
+    return start >= 0 ? text.slice(start) : text;
+}
+function parseScores(text) {
+    const parsed = JSON.parse(extractJson(text));
+    return ReasoningScoresArraySchema.parse(parsed);
+}
+export async function evaluateReasoning(claims, relations, request, ctx, options) {
+    const originalText = [request.question, request.answer, request.text].filter(Boolean).join("\n\n");
+    const prompt = buildReasoningEvalUserPrompt(claims, relations, originalText);
+    const route = await ctx.resolveReasoningRoute({
+        depthMode: request.depth ?? "standard",
+        providerApiKeys: options?.providerApiKeys,
+        failureMode: "error",
+    });
+    for (let attempt = 0; attempt < 2; attempt += 1) {
+        const result = await ctx.generateText({
+            model: route.model,
+            system: REASONING_EVAL_SYSTEM_PROMPT,
+            prompt: attempt === 0 ? prompt : `${prompt}\n\nReturn ONLY valid JSON.`,
+            maxOutputTokens: 1200,
+        });
+        ctx.trackTokens?.(result.usage?.inputTokens ?? 0, result.usage?.outputTokens ?? 0);
+        try {
+            const dimensions = parseScores(result.text);
+            return {
+                evaluation: {
+                    overall_score: computeOverallScore(dimensions),
+                    dimensions,
+                },
+                route: {
+                    provider: route.provider,
+                    modelId: route.modelId,
+                    routeId: route.resolvedRouteId ?? null,
+                    reason: route.resolvedExplanation ?? null,
+                },
+            };
+        }
+        catch {
+            if (attempt === 1) {
+                throw new Error("Failed to parse reasoning evaluation JSON output");
+            }
+        }
+    }
+    throw new Error("Reasoning evaluation failed unexpectedly");
+}