@claudexor/schema 1.0.0

package/dist/review.d.ts

@@ -0,0 +1,220 @@
+import { z } from "zod";
+export declare const Severity: z.ZodEnum<["BLOCK", "FIX_FIRST", "WARN", "NIT", "OUT_OF_SCOPE", "INSUFFICIENT_EVIDENCE", "NEEDS_HUMAN"]>;
+export type Severity = z.infer<typeof Severity>;
+export declare const FindingCategory: z.ZodEnum<["correctness", "regression", "security", "performance", "maintainability", "test_gap", "spec_gap", "deploy", "architecture", "ux"]>;
+export type FindingCategory = z.infer<typeof FindingCategory>;
+export declare const FindingStatus: z.ZodEnum<["proposed", "accepted", "rebutted", "fixed", "accepted_risk", "duplicate", "stale", "out_of_scope", "insufficient_evidence"]>;
+export type FindingStatus = z.infer<typeof FindingStatus>;
+export declare const FileEvidence: z.ZodObject<{
+    path: z.ZodString;
+    lines: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+}, "strip", z.ZodTypeAny, {
+    path: string;
+    lines: string | null;
+}, {
+    path: string;
+    lines?: string | null | undefined;
+}>;
+export type FileEvidence = z.infer<typeof FileEvidence>;
+export declare const CommandEvidence: z.ZodObject<{
+    command: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    command: string;
+}, {
+    command: string;
+}>;
+export type CommandEvidence = z.infer<typeof CommandEvidence>;
+export declare const FindingEvidence: z.ZodObject<{
+    files: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        path: z.ZodString;
+        lines: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+    }, "strip", z.ZodTypeAny, {
+        path: string;
+        lines: string | null;
+    }, {
+        path: string;
+        lines?: string | null | undefined;
+    }>, "many">>;
+    diff_hunks: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    commands: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        command: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        command: string;
+    }, {
+        command: string;
+    }>, "many">>;
+    logs: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        path: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        path: string;
+    }, {
+        path: string;
+    }>, "many">>;
+}, "strip", z.ZodTypeAny, {
+    commands: {
+        command: string;
+    }[];
+    files: {
+        path: string;
+        lines: string | null;
+    }[];
+    diff_hunks: string[];
+    logs: {
+        path: string;
+    }[];
+}, {
+    commands?: {
+        command: string;
+    }[] | undefined;
+    files?: {
+        path: string;
+        lines?: string | null | undefined;
+    }[] | undefined;
+    diff_hunks?: string[] | undefined;
+    logs?: {
+        path: string;
+    }[] | undefined;
+}>;
+export type FindingEvidence = z.infer<typeof FindingEvidence>;
+export declare const ReviewFinding: z.ZodObject<{
+    id: z.ZodString;
+    severity: z.ZodEnum<["BLOCK", "FIX_FIRST", "WARN", "NIT", "OUT_OF_SCOPE", "INSUFFICIENT_EVIDENCE", "NEEDS_HUMAN"]>;
+    category: z.ZodEnum<["correctness", "regression", "security", "performance", "maintainability", "test_gap", "spec_gap", "deploy", "architecture", "ux"]>;
+    claim: z.ZodString;
+    linked_acceptance_criteria: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    evidence: z.ZodDefault<z.ZodObject<{
+        files: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            path: z.ZodString;
+            lines: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+        }, "strip", z.ZodTypeAny, {
+            path: string;
+            lines: string | null;
+        }, {
+            path: string;
+            lines?: string | null | undefined;
+        }>, "many">>;
+        diff_hunks: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        commands: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            command: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            command: string;
+        }, {
+            command: string;
+        }>, "many">>;
+        logs: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            path: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            path: string;
+        }, {
+            path: string;
+        }>, "many">>;
+    }, "strip", z.ZodTypeAny, {
+        commands: {
+            command: string;
+        }[];
+        files: {
+            path: string;
+            lines: string | null;
+        }[];
+        diff_hunks: string[];
+        logs: {
+            path: string;
+        }[];
+    }, {
+        commands?: {
+            command: string;
+        }[] | undefined;
+        files?: {
+            path: string;
+            lines?: string | null | undefined;
+        }[] | undefined;
+        diff_hunks?: string[] | undefined;
+        logs?: {
+            path: string;
+        }[] | undefined;
+    }>>;
+    proposed_fix: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+    reviewer: z.ZodObject<{
+        harness_id: z.ZodString;
+        requested_model: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+        requested_effort: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+        observed_model: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+        route_proof_status: z.ZodDefault<z.ZodEnum<["verified", "accepted_model_arg", "unverified", "same_model_fallback"]>>;
+    }, "strip", z.ZodTypeAny, {
+        harness_id: string;
+        observed_model: string | null;
+        requested_model: string | null;
+        requested_effort: string | null;
+        route_proof_status: "verified" | "accepted_model_arg" | "unverified" | "same_model_fallback";
+    }, {
+        harness_id: string;
+        observed_model?: string | null | undefined;
+        requested_model?: string | null | undefined;
+        requested_effort?: string | null | undefined;
+        route_proof_status?: "verified" | "accepted_model_arg" | "unverified" | "same_model_fallback" | undefined;
+    }>;
+    status: z.ZodDefault<z.ZodEnum<["proposed", "accepted", "rebutted", "fixed", "accepted_risk", "duplicate", "stale", "out_of_scope", "insufficient_evidence"]>>;
+    revalidation_note: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    status: "stale" | "proposed" | "accepted" | "rebutted" | "fixed" | "accepted_risk" | "duplicate" | "out_of_scope" | "insufficient_evidence";
+    id: string;
+    severity: "BLOCK" | "FIX_FIRST" | "WARN" | "NIT" | "OUT_OF_SCOPE" | "INSUFFICIENT_EVIDENCE" | "NEEDS_HUMAN";
+    category: "correctness" | "regression" | "security" | "performance" | "maintainability" | "test_gap" | "spec_gap" | "deploy" | "architecture" | "ux";
+    claim: string;
+    linked_acceptance_criteria: string[];
+    evidence: {
+        commands: {
+            command: string;
+        }[];
+        files: {
+            path: string;
+            lines: string | null;
+        }[];
+        diff_hunks: string[];
+        logs: {
+            path: string;
+        }[];
+    };
+    proposed_fix: string | null;
+    reviewer: {
+        harness_id: string;
+        observed_model: string | null;
+        requested_model: string | null;
+        requested_effort: string | null;
+        route_proof_status: "verified" | "accepted_model_arg" | "unverified" | "same_model_fallback";
+    };
+    revalidation_note?: string | undefined;
+}, {
+    id: string;
+    severity: "BLOCK" | "FIX_FIRST" | "WARN" | "NIT" | "OUT_OF_SCOPE" | "INSUFFICIENT_EVIDENCE" | "NEEDS_HUMAN";
+    category: "correctness" | "regression" | "security" | "performance" | "maintainability" | "test_gap" | "spec_gap" | "deploy" | "architecture" | "ux";
+    claim: string;
+    reviewer: {
+        harness_id: string;
+        observed_model?: string | null | undefined;
+        requested_model?: string | null | undefined;
+        requested_effort?: string | null | undefined;
+        route_proof_status?: "verified" | "accepted_model_arg" | "unverified" | "same_model_fallback" | undefined;
+    };
+    status?: "stale" | "proposed" | "accepted" | "rebutted" | "fixed" | "accepted_risk" | "duplicate" | "out_of_scope" | "insufficient_evidence" | undefined;
+    linked_acceptance_criteria?: string[] | undefined;
+    evidence?: {
+        commands?: {
+            command: string;
+        }[] | undefined;
+        files?: {
+            path: string;
+            lines?: string | null | undefined;
+        }[] | undefined;
+        diff_hunks?: string[] | undefined;
+        logs?: {
+            path: string;
+        }[] | undefined;
+    } | undefined;
+    proposed_fix?: string | null | undefined;
+    revalidation_note?: string | undefined;
+}>;
+export type ReviewFinding = z.infer<typeof ReviewFinding>;
+/** Whether a finding can block convergence given its status + evidence. */
+export declare function isBlocking(f: Pick<ReviewFinding, "severity" | "status" | "evidence">): boolean;
+//# sourceMappingURL=review.d.ts.map

package/dist/review.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"review.d.ts","sourceRoot":"","sources":["../src/review.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAIxB,eAAO,MAAM,QAAQ,0GAIlB,CAAC;AACJ,MAAM,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,QAAQ,CAAC,CAAC;AAEhD,eAAO,MAAM,eAAe,gJAa+B,CAAC;AAC5D,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAC;AAE9D,eAAO,MAAM,aAAa,0IAcvB,CAAC;AACJ,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,aAAa,CAAC,CAAC;AAE1D,eAAO,MAAM,YAAY;;;;;;;;;EAKyB,CAAC;AACnD,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,YAAY,CAAC,CAAC;AAExD,eAAO,MAAM,eAAe;;;;;;EAIyB,CAAC;AACtD,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAC;AAE9D,eAAO,MAAM,eAAe;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAOuD,CAAC;AACpF,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAC;AAE9D,eAAO,MAAM,aAAa;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAqBuD,CAAC;AAClF,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,aAAa,CAAC,CAAC;AAE1D,2EAA2E;AAC3E,wBAAgB,UAAU,CAAC,CAAC,EAAE,IAAI,CAAC,aAAa,EAAE,UAAU,GAAG,QAAQ,GAAG,UAAU,CAAC,GAAG,OAAO,CAY9F"}

package/dist/review.js

@@ -0,0 +1,91 @@
+import { z } from "zod";
+import { Id } from "./primitives.js";
+import { RouteProofStatus } from "./route.js";
+export const Severity = z
+    .enum(["BLOCK", "FIX_FIRST", "WARN", "NIT", "OUT_OF_SCOPE", "INSUFFICIENT_EVIDENCE", "NEEDS_HUMAN"])
+    .describe("Reviewer-assigned severity of a finding: BLOCK and FIX_FIRST can block convergence when accepted with evidence, WARN/NIT are advisory, OUT_OF_SCOPE and INSUFFICIENT_EVIDENCE are triage verdicts, NEEDS_HUMAN escalates to a human decision.");
+export const FindingCategory = z
+    .enum([
+    "correctness",
+    "regression",
+    "security",
+    "performance",
+    "maintainability",
+    "test_gap",
+    "spec_gap",
+    "deploy",
+    "architecture",
+    "ux",
+])
+    .describe("Subject-matter category of a review finding.");
+export const FindingStatus = z
+    .enum([
+    "proposed",
+    "accepted",
+    "rebutted",
+    "fixed",
+    "accepted_risk",
+    "duplicate",
+    "stale",
+    "out_of_scope",
+    "insufficient_evidence",
+])
+    .describe("Lifecycle status of a finding, from proposed through accepted/rebutted/fixed to terminal triage states (accepted_risk, duplicate, stale, out_of_scope, insufficient_evidence).");
+export const FileEvidence = z
+    .object({
+    path: z.string().describe("Repo-relative file path."),
+    lines: z.string().nullable().default(null).describe('Line range in the file (e.g. "10-42"); null when the whole file is cited.'),
+})
+    .describe("File citation supporting a finding.");
+export const CommandEvidence = z
+    .object({
+    command: z.string().describe("Command whose output supports the finding."),
+})
+    .describe("Command citation supporting a finding.");
+export const FindingEvidence = z
+    .object({
+    files: z.array(FileEvidence).default([]).describe("File citations."),
+    diff_hunks: z.array(z.string()).default([]).describe("Diff hunks quoted as evidence."),
+    commands: z.array(CommandEvidence).default([]).describe("Commands whose output supports the finding."),
+    logs: z.array(z.object({ path: z.string().describe("Log file path.") })).default([]).describe("Log files cited as evidence."),
+})
+    .describe("Evidence backing a finding; a finding without evidence cannot block.");
+export const ReviewFinding = z
+    .object({
+    id: Id.describe("Finding id."),
+    severity: Severity,
+    category: FindingCategory,
+    claim: z.string().describe("The reviewer's claim, stated concretely."),
+    linked_acceptance_criteria: z.array(Id).default([]).describe("Ids of acceptance criteria this finding relates to."),
+    evidence: FindingEvidence.default({}),
+    proposed_fix: z.string().nullable().default(null).describe("Reviewer-proposed fix; null when none was offered."),
+    reviewer: z
+        .object({
+        harness_id: Id.describe("Harness that produced the review."),
+        requested_model: z.string().nullable().default(null).describe("Model requested for the reviewer route."),
+        requested_effort: z.string().nullable().default(null).describe("Reasoning effort requested for the reviewer route."),
+        observed_model: z.string().nullable().default(null).describe("Model the harness actually reported using."),
+        route_proof_status: RouteProofStatus.default("unverified"),
+    })
+        .describe("Who reviewed: the harness/model route and its verification status."),
+    status: FindingStatus.default("proposed"),
+    revalidation_note: z.string().optional().describe("Note recorded when the finding was revalidated against a changed tree."),
+})
+    .describe("One evidence-backed review finding produced by a reviewer harness.");
+/** Whether a finding can block convergence given its status + evidence. */
+export function isBlocking(f) {
+    if (f.status !== "accepted")
+        return false;
+    // A NEEDS_HUMAN escalation blocks until a human decides; the escalation
+    // itself is the signal, so it does not require file/diff evidence.
+    if (f.severity === "NEEDS_HUMAN")
+        return true;
+    if (f.severity !== "BLOCK" && f.severity !== "FIX_FIRST")
+        return false;
+    const hasEvidence = f.evidence.files.length > 0 ||
+        f.evidence.diff_hunks.length > 0 ||
+        f.evidence.commands.length > 0 ||
+        f.evidence.logs.length > 0;
+    return hasEvidence; // No evidence -> cannot BLOCK.
+}
+//# sourceMappingURL=review.js.map

package/dist/review.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"review.js","sourceRoot":"","sources":["../src/review.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,EAAE,EAAE,MAAM,iBAAiB,CAAC;AACrC,OAAO,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAE9C,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC;KACtB,IAAI,CAAC,CAAC,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,KAAK,EAAE,cAAc,EAAE,uBAAuB,EAAE,aAAa,CAAC,CAAC;KACnG,QAAQ,CACP,+OAA+O,CAChP,CAAC;AAGJ,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC;KAC7B,IAAI,CAAC;IACJ,aAAa;IACb,YAAY;IACZ,UAAU;IACV,aAAa;IACb,iBAAiB;IACjB,UAAU;IACV,UAAU;IACV,QAAQ;IACR,cAAc;IACd,IAAI;CACL,CAAC;KACD,QAAQ,CAAC,8CAA8C,CAAC,CAAC;AAG5D,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC;KAC3B,IAAI,CAAC;IACJ,UAAU;IACV,UAAU;IACV,UAAU;IACV,OAAO;IACP,eAAe;IACf,WAAW;IACX,OAAO;IACP,cAAc;IACd,uBAAuB;CACxB,CAAC;KACD,QAAQ,CACP,gLAAgL,CACjL,CAAC;AAGJ,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC;KAC1B,MAAM,CAAC;IACN,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,0BAA0B,CAAC;IACrD,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,2EAA2E,CAAC;CACjI,CAAC;KACD,QAAQ,CAAC,qCAAqC,CAAC,CAAC;AAGnD,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC;KAC7B,MAAM,CAAC;IACN,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,4CAA4C,CAAC;CAC3E,CAAC;KACD,QAAQ,CAAC,wCAAwC,CAAC,CAAC;AAGtD,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC;KAC7B,MAAM,CAAC;IACN,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,iBAAiB,CAAC;IACpE,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,gCAAgC,CAAC;IACtF,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,6CAA6C,CAAC;IACtG,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,8BAA8B,CAAC;CAC9H,CAAC;KACD,QAAQ,CAAC,sEAAsE,CAAC,CAAC;AAGpF,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC;KAC3B,MAAM,CAAC;IACN,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,aAAa,CAAC;IAC9B,QAAQ,EAAE,QAAQ;IAClB,QAAQ,EAAE,eAAe;IACzB,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,0CAA0C,CAAC;IACtE,0BAA0B,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,qDAAqD,CAAC;IACnH,QAAQ,EAAE,eAAe,CAAC,OAAO,CAAC,EAAE,CAAC;IACrC,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,oDAAoD,CAAC;IAChH,QAAQ,EAAE,CAAC;SACR,MAAM,CAAC;QACN,UAAU,EAAE,EAAE,CAAC,QAAQ,CAAC,mCAAmC,CAAC;QAC5D,eAAe,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,yCAAyC,CAAC;QACxG,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,oDAAoD,CAAC;QACpH,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,4CAA4C,CAAC;QAC1G,kBAAkB,EAAE,gBAAgB,CAAC,OAAO,CAAC,YAAY,CAAC;KAC3D,CAAC;SACD,QAAQ,CAAC,oEAAoE,CAAC;IACjF,MAAM,EAAE,aAAa,CAAC,OAAO,CAAC,UAAU,CAAC;IACzC,iBAAiB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,wEAAwE,CAAC;CAC5H,CAAC;KACD,QAAQ,CAAC,oEAAoE,CAAC,CAAC;AAGlF,2EAA2E;AAC3E,MAAM,UAAU,UAAU,CAAC,CAA0D;IACnF,IAAI,CAAC,CAAC,MAAM,KAAK,UAAU;QAAE,OAAO,KAAK,CAAC;IAC1C,wEAAwE;IACxE,mEAAmE;IACnE,IAAI,CAAC,CAAC,QAAQ,KAAK,aAAa;QAAE,OAAO,IAAI,CAAC;IAC9C,IAAI,CAAC,CAAC,QAAQ,KAAK,OAAO,IAAI,CAAC,CAAC,QAAQ,KAAK,WAAW;QAAE,OAAO,KAAK,CAAC;IACvE,MAAM,WAAW,GACf,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;QAC3B,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC;QAChC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;QAC9B,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;IAC7B,OAAO,WAAW,CAAC,CAAC,+BAA+B;AACrD,CAAC"}

package/dist/route.d.ts

@@ -0,0 +1,67 @@
+import { z } from "zod";
+export declare const RouteProofStatus: z.ZodEnum<["verified", "accepted_model_arg", "unverified", "same_model_fallback"]>;
+export type RouteProofStatus = z.infer<typeof RouteProofStatus>;
+export declare const RouteEvidenceSource: z.ZodEnum<["stream_event", "metadata", "model_catalog", "transcript", "unavailable"]>;
+export type RouteEvidenceSource = z.infer<typeof RouteEvidenceSource>;
+/**
+ * Records what was requested vs what was actually observed, so multi-model
+ * claims cannot silently collapse onto one model.
+ */
+export declare const RouteProof: z.ZodObject<{
+    requested: z.ZodObject<{
+        harness_id: z.ZodString;
+        provider_family: z.ZodEnum<["openai", "anthropic", "google", "cursor", "opencode", "xai", "local", "unknown"]>;
+        model_hint: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+    }, "strip", z.ZodTypeAny, {
+        provider_family: "openai" | "anthropic" | "google" | "cursor" | "opencode" | "xai" | "local" | "unknown";
+        harness_id: string;
+        model_hint: string | null;
+    }, {
+        provider_family: "openai" | "anthropic" | "google" | "cursor" | "opencode" | "xai" | "local" | "unknown";
+        harness_id: string;
+        model_hint?: string | null | undefined;
+    }>;
+    observed: z.ZodObject<{
+        provider: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+        model_id: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+        evidence_source: z.ZodDefault<z.ZodEnum<["stream_event", "metadata", "model_catalog", "transcript", "unavailable"]>>;
+    }, "strip", z.ZodTypeAny, {
+        provider: string | null;
+        model_id: string | null;
+        evidence_source: "unavailable" | "stream_event" | "metadata" | "model_catalog" | "transcript";
+    }, {
+        provider?: string | null | undefined;
+        model_id?: string | null | undefined;
+        evidence_source?: "unavailable" | "stream_event" | "metadata" | "model_catalog" | "transcript" | undefined;
+    }>;
+    diversity_against: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    status: z.ZodEnum<["verified", "accepted_model_arg", "unverified", "same_model_fallback"]>;
+}, "strip", z.ZodTypeAny, {
+    status: "verified" | "accepted_model_arg" | "unverified" | "same_model_fallback";
+    observed: {
+        provider: string | null;
+        model_id: string | null;
+        evidence_source: "unavailable" | "stream_event" | "metadata" | "model_catalog" | "transcript";
+    };
+    requested: {
+        provider_family: "openai" | "anthropic" | "google" | "cursor" | "opencode" | "xai" | "local" | "unknown";
+        harness_id: string;
+        model_hint: string | null;
+    };
+    diversity_against: string[];
+}, {
+    status: "verified" | "accepted_model_arg" | "unverified" | "same_model_fallback";
+    observed: {
+        provider?: string | null | undefined;
+        model_id?: string | null | undefined;
+        evidence_source?: "unavailable" | "stream_event" | "metadata" | "model_catalog" | "transcript" | undefined;
+    };
+    requested: {
+        provider_family: "openai" | "anthropic" | "google" | "cursor" | "opencode" | "xai" | "local" | "unknown";
+        harness_id: string;
+        model_hint?: string | null | undefined;
+    };
+    diversity_against?: string[] | undefined;
+}>;
+export type RouteProof = z.infer<typeof RouteProof>;
+//# sourceMappingURL=route.d.ts.map

package/dist/route.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"route.d.ts","sourceRoot":"","sources":["../src/route.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAGxB,eAAO,MAAM,gBAAgB,oFAI1B,CAAC;AACJ,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gBAAgB,CAAC,CAAC;AAEhE,eAAO,MAAM,mBAAmB,uFAEsH,CAAC;AACvJ,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,mBAAmB,CAAC,CAAC;AAEtE;;;GAGG;AACH,eAAO,MAAM,UAAU;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAmB2G,CAAC;AACnI,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,UAAU,CAAC,CAAC"}

package/dist/route.js

@@ -0,0 +1,33 @@
+import { z } from "zod";
+import { Id, ProviderFamily } from "./primitives.js";
+export const RouteProofStatus = z
+    .enum(["verified", "accepted_model_arg", "unverified", "same_model_fallback"])
+    .describe("How strongly the executed route is proven: verified (observed evidence matches the request), accepted_model_arg (the requested model arg was accepted without stream evidence), unverified, or same_model_fallback (a fallback landed on the same model).");
+export const RouteEvidenceSource = z
+    .enum(["stream_event", "metadata", "model_catalog", "transcript", "unavailable"])
+    .describe("Where the observed model/provider evidence came from: a stream event, response metadata, the model catalog, the transcript, or nowhere.");
+/**
+ * Records what was requested vs what was actually observed, so multi-model
+ * claims cannot silently collapse onto one model.
+ */
+export const RouteProof = z
+    .object({
+    requested: z
+        .object({
+        harness_id: Id.describe("Harness the route was requested on."),
+        provider_family: ProviderFamily,
+        model_hint: z.string().nullable().default(null).describe("Model requested for the route; null = harness default."),
+    })
+        .describe("What was requested."),
+    observed: z
+        .object({
+        provider: z.string().nullable().default(null).describe("Provider actually observed; null when no evidence."),
+        model_id: z.string().nullable().default(null).describe("Model actually observed; null when no evidence."),
+        evidence_source: RouteEvidenceSource.default("unavailable"),
+    })
+        .describe("What was actually observed."),
+    diversity_against: z.array(Id).default([]).describe("Harness ids this route was required to be diverse against."),
+    status: RouteProofStatus,
+})
+    .describe("Records requested vs observed harness/model routing, so multi-model claims cannot silently collapse onto one model.");
+//# sourceMappingURL=route.js.map

package/dist/route.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"route.js","sourceRoot":"","sources":["../src/route.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,EAAE,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAErD,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC;KAC9B,IAAI,CAAC,CAAC,UAAU,EAAE,oBAAoB,EAAE,YAAY,EAAE,qBAAqB,CAAC,CAAC;KAC7E,QAAQ,CACP,2PAA2P,CAC5P,CAAC;AAGJ,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC;KACjC,IAAI,CAAC,CAAC,cAAc,EAAE,UAAU,EAAE,eAAe,EAAE,YAAY,EAAE,aAAa,CAAC,CAAC;KAChF,QAAQ,CAAC,yIAAyI,CAAC,CAAC;AAGvJ;;;GAGG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC;KACxB,MAAM,CAAC;IACN,SAAS,EAAE,CAAC;SACT,MAAM,CAAC;QACN,UAAU,EAAE,EAAE,CAAC,QAAQ,CAAC,qCAAqC,CAAC;QAC9D,eAAe,EAAE,cAAc;QAC/B,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,wDAAwD,CAAC;KACnH,CAAC;SACD,QAAQ,CAAC,qBAAqB,CAAC;IAClC,QAAQ,EAAE,CAAC;SACR,MAAM,CAAC;QACN,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,oDAAoD,CAAC;QAC5G,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,iDAAiD,CAAC;QACzG,eAAe,EAAE,mBAAmB,CAAC,OAAO,CAAC,aAAa,CAAC;KAC5D,CAAC;SACD,QAAQ,CAAC,6BAA6B,CAAC;IAC1C,iBAAiB,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,4DAA4D,CAAC;IACjH,MAAM,EAAE,gBAAgB;CACzB,CAAC;KACD,QAAQ,CAAC,qHAAqH,CAAC,CAAC"}