@lax-wp/editor 0.4.13 → 0.4.15-beta.0

package/dist/api/ruleBuilder.d.ts

@@ -0,0 +1,1009 @@
+/**
+ * ruleBuilder.ts — the discovery / test / import half of the no-code rule
+ * builder (plan §P2).
+ *
+ * Five backend routes live here:
+ *
+ *   GET  /v1/playbooks/predicates        always mounted
+ *   GET  /v1/playbooks/fields            HEADER_FIELDS_PROVIDER_ENABLED
+ *   GET  /v1/playbooks/taxonomy          HEADER_FIELDS_PROVIDER_ENABLED
+ *   POST /v1/playbooks/{id}/evaluate     always mounted
+ *   POST /v1/playbooks/ingest            always mounted
+ *
+ * The three authoring routes are in `ruleAuthoring.ts`; both modules share
+ * this file's capability model and the one fetch/auth/error core exported by
+ * `playbook.ts` (`request`) — there is exactly one auth + error-normalization
+ * path in this package and neither module re-implements it.
+ *
+ * FEATURE FLAGS ARE PART OF THE CONTRACT. `HEADER_FIELDS_PROVIDER_ENABLED`
+ * and `RULE_AUTHORING_ENABLED` both default OFF, and the Go handlers answer a
+ * bare 404 when off — deliberately, so a workspace without the feature cannot
+ * learn the endpoint exists. A UI that renders the control anyway produces a
+ * 404 the user cannot act on. So every gated capability is *probed*, the
+ * result is a `CapabilityStatus`, and the surface tells the user the
+ * capability is disabled server-side instead of offering a dead control.
+ *
+ * `/fields` and `/taxonomy` share one flag but have two distinct failure
+ * modes: `/fields` also needs the lax-core config credentials, and
+ * `/taxonomy` forwards the caller's own bearer to the platform (401/403 means
+ * the caller, not an outage). The status union keeps those apart.
+ */
+import { z } from "zod";
+import { type CdtsScope } from "./playbook";
+/**
+ * What a gated surface is allowed to render.
+ *
+ * - `available`   — probed, the route answered.
+ * - `disabled`    — 404. The server flag is off. NOT an error: say so plainly.
+ * - `unauthorized`— 401/403. Wired, but this caller's token was refused
+ *                   upstream (the taxonomy pass-through forwards the bearer).
+ * - `unavailable` — 503 / network. A dependency is down; retry is meaningful.
+ */
+export type CapabilityStatus = {
+    state: "unknown";
+} | {
+    state: "checking";
+} | {
+    state: "available";
+} | {
+    state: "disabled";
+    reason: string;
+} | {
+    state: "unauthorized";
+    reason: string;
+} | {
+    state: "unavailable";
+    reason: string;
+};
+/** The server-side flag each gated capability is behind (shown to the user). */
+export declare const CAPABILITY_FLAGS: {
+    readonly authoring: "RULE_AUTHORING_ENABLED";
+    readonly fields: "HEADER_FIELDS_PROVIDER_ENABLED";
+    readonly taxonomy: "HEADER_FIELDS_PROVIDER_ENABLED";
+    readonly escalation: "RULE_ESCALATION_ENABLED";
+};
+/**
+ * Maps a thrown error to a capability status. A 404 from a gated route is the
+ * flag being off — never surfaced as "something broke".
+ */
+export declare const capabilityFromError: (error: unknown, flag: string) => CapabilityStatus;
+export declare const isCapabilityUsable: (status: CapabilityStatus) => boolean;
+/**
+ * Predicate AST. Recursive: `all` / `any` / `not` carry `children`. Kept
+ * permissive (`passthrough`) because the catalog is compile-time data in Go
+ * (`api/predicates.go`) and grows without a wire-version bump.
+ */
+export interface PredicateNode {
+    kind: string;
+    phrase?: string;
+    pattern?: string;
+    threshold?: number;
+    hypothesis?: string;
+    expect?: string;
+    field?: string;
+    op?: string;
+    operand?: unknown;
+    allowed?: unknown[];
+    children?: PredicateNode[];
+    [key: string]: unknown;
+}
+export declare const predicateSchema: z.ZodType<PredicateNode>;
+/** One slot of the negotiation ladder (`standard_position` and friends). */
+export declare const ruleConditionSchema: z.ZodObject<{
+    text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+}, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+    text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+}, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+    text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+}, z.ZodTypeAny, "passthrough">>;
+/**
+ * A rule as the builder sees it. Superset of the authored subset (the LLM may
+ * only write these) plus the server-owned identity fields it stamps on.
+ */
+export declare const builderRuleSchema: z.ZodObject<{
+    id: z.ZodString;
+    playbook_id: z.ZodString;
+    workspace_id: z.ZodOptional<z.ZodString>;
+    predicate: z.ZodOptional<z.ZodType<PredicateNode, z.ZodTypeDef, PredicateNode>>;
+    action: z.ZodOptional<z.ZodString>;
+    default_severity: z.ZodOptional<z.ZodString>;
+    category: z.ZodOptional<z.ZodString>;
+    rationale: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    semantic_intent: z.ZodOptional<z.ZodString>;
+    source: z.ZodOptional<z.ZodString>;
+    read_only: z.ZodOptional<z.ZodBoolean>;
+    mandatory: z.ZodOptional<z.ZodBoolean>;
+    authority: z.ZodOptional<z.ZodString>;
+    effort: z.ZodOptional<z.ZodString>;
+    standard_position: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+        text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    }, z.ZodTypeAny, "passthrough">>>>;
+    fallback_condition: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+        text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    }, z.ZodTypeAny, "passthrough">>>>;
+    walkaway_condition: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+        text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    }, z.ZodTypeAny, "passthrough">>>>;
+}, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+    id: z.ZodString;
+    playbook_id: z.ZodString;
+    workspace_id: z.ZodOptional<z.ZodString>;
+    predicate: z.ZodOptional<z.ZodType<PredicateNode, z.ZodTypeDef, PredicateNode>>;
+    action: z.ZodOptional<z.ZodString>;
+    default_severity: z.ZodOptional<z.ZodString>;
+    category: z.ZodOptional<z.ZodString>;
+    rationale: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    semantic_intent: z.ZodOptional<z.ZodString>;
+    source: z.ZodOptional<z.ZodString>;
+    read_only: z.ZodOptional<z.ZodBoolean>;
+    mandatory: z.ZodOptional<z.ZodBoolean>;
+    authority: z.ZodOptional<z.ZodString>;
+    effort: z.ZodOptional<z.ZodString>;
+    standard_position: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+        text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    }, z.ZodTypeAny, "passthrough">>>>;
+    fallback_condition: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+        text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    }, z.ZodTypeAny, "passthrough">>>>;
+    walkaway_condition: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+        text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    }, z.ZodTypeAny, "passthrough">>>>;
+}, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+    id: z.ZodString;
+    playbook_id: z.ZodString;
+    workspace_id: z.ZodOptional<z.ZodString>;
+    predicate: z.ZodOptional<z.ZodType<PredicateNode, z.ZodTypeDef, PredicateNode>>;
+    action: z.ZodOptional<z.ZodString>;
+    default_severity: z.ZodOptional<z.ZodString>;
+    category: z.ZodOptional<z.ZodString>;
+    rationale: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    semantic_intent: z.ZodOptional<z.ZodString>;
+    source: z.ZodOptional<z.ZodString>;
+    read_only: z.ZodOptional<z.ZodBoolean>;
+    mandatory: z.ZodOptional<z.ZodBoolean>;
+    authority: z.ZodOptional<z.ZodString>;
+    effort: z.ZodOptional<z.ZodString>;
+    standard_position: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+        text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    }, z.ZodTypeAny, "passthrough">>>>;
+    fallback_condition: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+        text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    }, z.ZodTypeAny, "passthrough">>>>;
+    walkaway_condition: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+        text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    }, z.ZodTypeAny, "passthrough">>>>;
+}, z.ZodTypeAny, "passthrough">>;
+export type BuilderRule = z.infer<typeof builderRuleSchema>;
+/** GET /v1/playbooks/predicates → `api.PredicateInfo`. */
+export declare const predicateInfoSchema: z.ZodObject<{
+    kind: z.ZodString;
+    description: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    /** "clause" | "field" | "composite" — what the predicate reads. */
+    subject: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    params: z.ZodEffects<z.ZodOptional<z.ZodNullable<z.ZodArray<z.ZodString, "many">>>, string[], string[] | null | undefined>;
+}, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+    kind: z.ZodString;
+    description: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    /** "clause" | "field" | "composite" — what the predicate reads. */
+    subject: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    params: z.ZodEffects<z.ZodOptional<z.ZodNullable<z.ZodArray<z.ZodString, "many">>>, string[], string[] | null | undefined>;
+}, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+    kind: z.ZodString;
+    description: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    /** "clause" | "field" | "composite" — what the predicate reads. */
+    subject: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    params: z.ZodEffects<z.ZodOptional<z.ZodNullable<z.ZodArray<z.ZodString, "many">>>, string[], string[] | null | undefined>;
+}, z.ZodTypeAny, "passthrough">>;
+export type PredicateInfo = z.infer<typeof predicateInfoSchema>;
+/** GET /v1/playbooks/fields → `{fields: extraction.Catalog}` (name → spec). */
+export declare const fieldSpecSchema: z.ZodObject<{
+    type: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    group: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    required: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
+    mapped_to: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+}, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+    type: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    group: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    required: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
+    mapped_to: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+}, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+    type: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    group: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    required: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
+    mapped_to: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+}, z.ZodTypeAny, "passthrough">>;
+export type FieldSpec = z.infer<typeof fieldSpecSchema>;
+/** One named field plus its spec, sorted for display. */
+export interface FieldCatalogEntry extends FieldSpec {
+    name: string;
+}
+/**
+ * POST /v1/playbooks/{id}/evaluate → `api.EvaluateResponse`. The fired
+ * entries are `contracts.RedlineSuggestion`; the builder reads the handful of
+ * fields that answer "did my rule fire, and what would it have said".
+ */
+export declare const firedSuggestionSchema: z.ZodObject<{
+    outcome: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    fires: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
+    rationale: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    suggested_text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    fallback_text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    walkaway_text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    text_before: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    text_after: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    category: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    severity: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    action: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    text_provenance: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    citation: z.ZodOptional<z.ZodObject<{
+        playbook_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        rule_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        playbook_regime: z.ZodOptional<z.ZodString>;
+        verbatim_excerpt: z.ZodOptional<z.ZodString>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        playbook_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        rule_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        playbook_regime: z.ZodOptional<z.ZodString>;
+        verbatim_excerpt: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        playbook_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        rule_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        playbook_regime: z.ZodOptional<z.ZodString>;
+        verbatim_excerpt: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">>>;
+}, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+    outcome: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    fires: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
+    rationale: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    suggested_text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    fallback_text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    walkaway_text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    text_before: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    text_after: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    category: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    severity: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    action: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    text_provenance: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    citation: z.ZodOptional<z.ZodObject<{
+        playbook_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        rule_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        playbook_regime: z.ZodOptional<z.ZodString>;
+        verbatim_excerpt: z.ZodOptional<z.ZodString>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        playbook_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        rule_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        playbook_regime: z.ZodOptional<z.ZodString>;
+        verbatim_excerpt: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        playbook_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        rule_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        playbook_regime: z.ZodOptional<z.ZodString>;
+        verbatim_excerpt: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">>>;
+}, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+    outcome: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    fires: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
+    rationale: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    suggested_text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    fallback_text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    walkaway_text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    text_before: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    text_after: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    category: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    severity: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    action: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    text_provenance: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    citation: z.ZodOptional<z.ZodObject<{
+        playbook_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        rule_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        playbook_regime: z.ZodOptional<z.ZodString>;
+        verbatim_excerpt: z.ZodOptional<z.ZodString>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        playbook_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        rule_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        playbook_regime: z.ZodOptional<z.ZodString>;
+        verbatim_excerpt: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        playbook_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        rule_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        playbook_regime: z.ZodOptional<z.ZodString>;
+        verbatim_excerpt: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">>>;
+}, z.ZodTypeAny, "passthrough">>;
+export type FiredSuggestion = z.infer<typeof firedSuggestionSchema>;
+export declare const supersededRuleSchema: z.ZodObject<{
+    rule_id: z.ZodString;
+    playbook_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    winner_rule_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    reason: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    authority: z.ZodOptional<z.ZodString>;
+    source: z.ZodOptional<z.ZodString>;
+}, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+    rule_id: z.ZodString;
+    playbook_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    winner_rule_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    reason: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    authority: z.ZodOptional<z.ZodString>;
+    source: z.ZodOptional<z.ZodString>;
+}, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+    rule_id: z.ZodString;
+    playbook_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    winner_rule_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    reason: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    authority: z.ZodOptional<z.ZodString>;
+    source: z.ZodOptional<z.ZodString>;
+}, z.ZodTypeAny, "passthrough">>;
+export declare const evaluateResponseSchema: z.ZodObject<{
+    rules_fired: z.ZodEffects<z.ZodOptional<z.ZodNullable<z.ZodArray<z.ZodObject<{
+        outcome: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        fires: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
+        rationale: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        suggested_text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        fallback_text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        walkaway_text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        text_before: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        text_after: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        category: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        severity: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        action: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        text_provenance: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        citation: z.ZodOptional<z.ZodObject<{
+            playbook_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+            rule_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+            playbook_regime: z.ZodOptional<z.ZodString>;
+            verbatim_excerpt: z.ZodOptional<z.ZodString>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            playbook_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+            rule_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+            playbook_regime: z.ZodOptional<z.ZodString>;
+            verbatim_excerpt: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            playbook_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+            rule_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+            playbook_regime: z.ZodOptional<z.ZodString>;
+            verbatim_excerpt: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">>>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        outcome: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        fires: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
+        rationale: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        suggested_text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        fallback_text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        walkaway_text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        text_before: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        text_after: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        category: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        severity: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        action: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        text_provenance: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        citation: z.ZodOptional<z.ZodObject<{
+            playbook_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+            rule_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+            playbook_regime: z.ZodOptional<z.ZodString>;
+            verbatim_excerpt: z.ZodOptional<z.ZodString>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            playbook_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+            rule_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+            playbook_regime: z.ZodOptional<z.ZodString>;
+            verbatim_excerpt: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            playbook_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+            rule_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+            playbook_regime: z.ZodOptional<z.ZodString>;
+            verbatim_excerpt: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">>>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        outcome: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        fires: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
+        rationale: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        suggested_text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        fallback_text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        walkaway_text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        text_before: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        text_after: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        category: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        severity: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        action: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        text_provenance: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        citation: z.ZodOptional<z.ZodObject<{
+            playbook_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+            rule_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+            playbook_regime: z.ZodOptional<z.ZodString>;
+            verbatim_excerpt: z.ZodOptional<z.ZodString>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            playbook_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+            rule_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+            playbook_regime: z.ZodOptional<z.ZodString>;
+            verbatim_excerpt: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            playbook_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+            rule_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+            playbook_regime: z.ZodOptional<z.ZodString>;
+            verbatim_excerpt: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">>>;
+    }, z.ZodTypeAny, "passthrough">>, "many">>>, z.objectOutputType<{
+        outcome: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        fires: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
+        rationale: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        suggested_text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        fallback_text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        walkaway_text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        text_before: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        text_after: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        category: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        severity: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        action: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        text_provenance: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        citation: z.ZodOptional<z.ZodObject<{
+            playbook_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+            rule_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+            playbook_regime: z.ZodOptional<z.ZodString>;
+            verbatim_excerpt: z.ZodOptional<z.ZodString>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            playbook_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+            rule_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+            playbook_regime: z.ZodOptional<z.ZodString>;
+            verbatim_excerpt: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            playbook_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+            rule_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+            playbook_regime: z.ZodOptional<z.ZodString>;
+            verbatim_excerpt: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">>>;
+    }, z.ZodTypeAny, "passthrough">[], z.objectInputType<{
+        outcome: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        fires: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
+        rationale: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        suggested_text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        fallback_text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        walkaway_text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        text_before: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        text_after: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        category: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        severity: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        action: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        text_provenance: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        citation: z.ZodOptional<z.ZodObject<{
+            playbook_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+            rule_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+            playbook_regime: z.ZodOptional<z.ZodString>;
+            verbatim_excerpt: z.ZodOptional<z.ZodString>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            playbook_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+            rule_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+            playbook_regime: z.ZodOptional<z.ZodString>;
+            verbatim_excerpt: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            playbook_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+            rule_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+            playbook_regime: z.ZodOptional<z.ZodString>;
+            verbatim_excerpt: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">>>;
+    }, z.ZodTypeAny, "passthrough">[] | null | undefined>;
+    superseded: z.ZodEffects<z.ZodOptional<z.ZodNullable<z.ZodArray<z.ZodObject<{
+        rule_id: z.ZodString;
+        playbook_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        winner_rule_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        reason: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        authority: z.ZodOptional<z.ZodString>;
+        source: z.ZodOptional<z.ZodString>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        rule_id: z.ZodString;
+        playbook_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        winner_rule_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        reason: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        authority: z.ZodOptional<z.ZodString>;
+        source: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        rule_id: z.ZodString;
+        playbook_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        winner_rule_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        reason: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        authority: z.ZodOptional<z.ZodString>;
+        source: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">>, "many">>>, z.objectOutputType<{
+        rule_id: z.ZodString;
+        playbook_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        winner_rule_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        reason: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        authority: z.ZodOptional<z.ZodString>;
+        source: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">[], z.objectInputType<{
+        rule_id: z.ZodString;
+        playbook_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        winner_rule_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        reason: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        authority: z.ZodOptional<z.ZodString>;
+        source: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">[] | null | undefined>;
+}, "strip", z.ZodTypeAny, {
+    superseded: z.objectOutputType<{
+        rule_id: z.ZodString;
+        playbook_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        winner_rule_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        reason: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        authority: z.ZodOptional<z.ZodString>;
+        source: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">[];
+    rules_fired: z.objectOutputType<{
+        outcome: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        fires: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
+        rationale: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        suggested_text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        fallback_text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        walkaway_text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        text_before: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        text_after: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        category: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        severity: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        action: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        text_provenance: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        citation: z.ZodOptional<z.ZodObject<{
+            playbook_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+            rule_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+            playbook_regime: z.ZodOptional<z.ZodString>;
+            verbatim_excerpt: z.ZodOptional<z.ZodString>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            playbook_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+            rule_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+            playbook_regime: z.ZodOptional<z.ZodString>;
+            verbatim_excerpt: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            playbook_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+            rule_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+            playbook_regime: z.ZodOptional<z.ZodString>;
+            verbatim_excerpt: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">>>;
+    }, z.ZodTypeAny, "passthrough">[];
+}, {
+    superseded?: z.objectInputType<{
+        rule_id: z.ZodString;
+        playbook_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        winner_rule_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        reason: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        authority: z.ZodOptional<z.ZodString>;
+        source: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">[] | null | undefined;
+    rules_fired?: z.objectInputType<{
+        outcome: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        fires: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
+        rationale: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        suggested_text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        fallback_text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        walkaway_text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        text_before: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        text_after: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        category: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        severity: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        action: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        text_provenance: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        citation: z.ZodOptional<z.ZodObject<{
+            playbook_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+            rule_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+            playbook_regime: z.ZodOptional<z.ZodString>;
+            verbatim_excerpt: z.ZodOptional<z.ZodString>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            playbook_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+            rule_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+            playbook_regime: z.ZodOptional<z.ZodString>;
+            verbatim_excerpt: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            playbook_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+            rule_id: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+            playbook_regime: z.ZodOptional<z.ZodString>;
+            verbatim_excerpt: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">>>;
+    }, z.ZodTypeAny, "passthrough">[] | null | undefined;
+}>;
+export type EvaluateResult = z.infer<typeof evaluateResponseSchema>;
+/** POST /v1/playbooks/ingest → `ingest.Result`. */
+export declare const parseErrorSchema: z.ZodObject<{
+    paragraph_n: z.ZodDefault<z.ZodOptional<z.ZodNumber>>;
+    problem: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    excerpt: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+}, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+    paragraph_n: z.ZodDefault<z.ZodOptional<z.ZodNumber>>;
+    problem: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    excerpt: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+}, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+    paragraph_n: z.ZodDefault<z.ZodOptional<z.ZodNumber>>;
+    problem: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    excerpt: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+}, z.ZodTypeAny, "passthrough">>;
+export type IngestParseError = z.infer<typeof parseErrorSchema>;
+export declare const ingestResultSchema: z.ZodObject<{
+    /**
+     * `null` on a document where nothing parsed — the Go zero slice marshals to
+     * null, not []. Normalized here so callers can always `.map`.
+     */
+    rules: z.ZodEffects<z.ZodOptional<z.ZodNullable<z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        playbook_id: z.ZodString;
+        workspace_id: z.ZodOptional<z.ZodString>;
+        predicate: z.ZodOptional<z.ZodType<PredicateNode, z.ZodTypeDef, PredicateNode>>;
+        action: z.ZodOptional<z.ZodString>;
+        default_severity: z.ZodOptional<z.ZodString>;
+        category: z.ZodOptional<z.ZodString>;
+        rationale: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        semantic_intent: z.ZodOptional<z.ZodString>;
+        source: z.ZodOptional<z.ZodString>;
+        read_only: z.ZodOptional<z.ZodBoolean>;
+        mandatory: z.ZodOptional<z.ZodBoolean>;
+        authority: z.ZodOptional<z.ZodString>;
+        effort: z.ZodOptional<z.ZodString>;
+        standard_position: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+            text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        }, z.ZodTypeAny, "passthrough">>>>;
+        fallback_condition: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+            text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        }, z.ZodTypeAny, "passthrough">>>>;
+        walkaway_condition: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+            text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        }, z.ZodTypeAny, "passthrough">>>>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        id: z.ZodString;
+        playbook_id: z.ZodString;
+        workspace_id: z.ZodOptional<z.ZodString>;
+        predicate: z.ZodOptional<z.ZodType<PredicateNode, z.ZodTypeDef, PredicateNode>>;
+        action: z.ZodOptional<z.ZodString>;
+        default_severity: z.ZodOptional<z.ZodString>;
+        category: z.ZodOptional<z.ZodString>;
+        rationale: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        semantic_intent: z.ZodOptional<z.ZodString>;
+        source: z.ZodOptional<z.ZodString>;
+        read_only: z.ZodOptional<z.ZodBoolean>;
+        mandatory: z.ZodOptional<z.ZodBoolean>;
+        authority: z.ZodOptional<z.ZodString>;
+        effort: z.ZodOptional<z.ZodString>;
+        standard_position: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+            text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        }, z.ZodTypeAny, "passthrough">>>>;
+        fallback_condition: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+            text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        }, z.ZodTypeAny, "passthrough">>>>;
+        walkaway_condition: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+            text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        }, z.ZodTypeAny, "passthrough">>>>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        id: z.ZodString;
+        playbook_id: z.ZodString;
+        workspace_id: z.ZodOptional<z.ZodString>;
+        predicate: z.ZodOptional<z.ZodType<PredicateNode, z.ZodTypeDef, PredicateNode>>;
+        action: z.ZodOptional<z.ZodString>;
+        default_severity: z.ZodOptional<z.ZodString>;
+        category: z.ZodOptional<z.ZodString>;
+        rationale: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        semantic_intent: z.ZodOptional<z.ZodString>;
+        source: z.ZodOptional<z.ZodString>;
+        read_only: z.ZodOptional<z.ZodBoolean>;
+        mandatory: z.ZodOptional<z.ZodBoolean>;
+        authority: z.ZodOptional<z.ZodString>;
+        effort: z.ZodOptional<z.ZodString>;
+        standard_position: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+            text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        }, z.ZodTypeAny, "passthrough">>>>;
+        fallback_condition: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+            text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        }, z.ZodTypeAny, "passthrough">>>>;
+        walkaway_condition: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+            text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        }, z.ZodTypeAny, "passthrough">>>>;
+    }, z.ZodTypeAny, "passthrough">>, "many">>>, z.objectOutputType<{
+        id: z.ZodString;
+        playbook_id: z.ZodString;
+        workspace_id: z.ZodOptional<z.ZodString>;
+        predicate: z.ZodOptional<z.ZodType<PredicateNode, z.ZodTypeDef, PredicateNode>>;
+        action: z.ZodOptional<z.ZodString>;
+        default_severity: z.ZodOptional<z.ZodString>;
+        category: z.ZodOptional<z.ZodString>;
+        rationale: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        semantic_intent: z.ZodOptional<z.ZodString>;
+        source: z.ZodOptional<z.ZodString>;
+        read_only: z.ZodOptional<z.ZodBoolean>;
+        mandatory: z.ZodOptional<z.ZodBoolean>;
+        authority: z.ZodOptional<z.ZodString>;
+        effort: z.ZodOptional<z.ZodString>;
+        standard_position: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+            text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        }, z.ZodTypeAny, "passthrough">>>>;
+        fallback_condition: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+            text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        }, z.ZodTypeAny, "passthrough">>>>;
+        walkaway_condition: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+            text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        }, z.ZodTypeAny, "passthrough">>>>;
+    }, z.ZodTypeAny, "passthrough">[], z.objectInputType<{
+        id: z.ZodString;
+        playbook_id: z.ZodString;
+        workspace_id: z.ZodOptional<z.ZodString>;
+        predicate: z.ZodOptional<z.ZodType<PredicateNode, z.ZodTypeDef, PredicateNode>>;
+        action: z.ZodOptional<z.ZodString>;
+        default_severity: z.ZodOptional<z.ZodString>;
+        category: z.ZodOptional<z.ZodString>;
+        rationale: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        semantic_intent: z.ZodOptional<z.ZodString>;
+        source: z.ZodOptional<z.ZodString>;
+        read_only: z.ZodOptional<z.ZodBoolean>;
+        mandatory: z.ZodOptional<z.ZodBoolean>;
+        authority: z.ZodOptional<z.ZodString>;
+        effort: z.ZodOptional<z.ZodString>;
+        standard_position: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+            text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        }, z.ZodTypeAny, "passthrough">>>>;
+        fallback_condition: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+            text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        }, z.ZodTypeAny, "passthrough">>>>;
+        walkaway_condition: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+            text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        }, z.ZodTypeAny, "passthrough">>>>;
+    }, z.ZodTypeAny, "passthrough">[] | null | undefined>;
+    errors: z.ZodEffects<z.ZodOptional<z.ZodNullable<z.ZodArray<z.ZodObject<{
+        paragraph_n: z.ZodDefault<z.ZodOptional<z.ZodNumber>>;
+        problem: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        excerpt: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        paragraph_n: z.ZodDefault<z.ZodOptional<z.ZodNumber>>;
+        problem: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        excerpt: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        paragraph_n: z.ZodDefault<z.ZodOptional<z.ZodNumber>>;
+        problem: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        excerpt: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    }, z.ZodTypeAny, "passthrough">>, "many">>>, z.objectOutputType<{
+        paragraph_n: z.ZodDefault<z.ZodOptional<z.ZodNumber>>;
+        problem: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        excerpt: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    }, z.ZodTypeAny, "passthrough">[], z.objectInputType<{
+        paragraph_n: z.ZodDefault<z.ZodOptional<z.ZodNumber>>;
+        problem: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        excerpt: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    }, z.ZodTypeAny, "passthrough">[] | null | undefined>;
+}, "strip", z.ZodTypeAny, {
+    rules: z.objectOutputType<{
+        id: z.ZodString;
+        playbook_id: z.ZodString;
+        workspace_id: z.ZodOptional<z.ZodString>;
+        predicate: z.ZodOptional<z.ZodType<PredicateNode, z.ZodTypeDef, PredicateNode>>;
+        action: z.ZodOptional<z.ZodString>;
+        default_severity: z.ZodOptional<z.ZodString>;
+        category: z.ZodOptional<z.ZodString>;
+        rationale: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        semantic_intent: z.ZodOptional<z.ZodString>;
+        source: z.ZodOptional<z.ZodString>;
+        read_only: z.ZodOptional<z.ZodBoolean>;
+        mandatory: z.ZodOptional<z.ZodBoolean>;
+        authority: z.ZodOptional<z.ZodString>;
+        effort: z.ZodOptional<z.ZodString>;
+        standard_position: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+            text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        }, z.ZodTypeAny, "passthrough">>>>;
+        fallback_condition: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+            text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        }, z.ZodTypeAny, "passthrough">>>>;
+        walkaway_condition: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+            text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        }, z.ZodTypeAny, "passthrough">>>>;
+    }, z.ZodTypeAny, "passthrough">[];
+    errors: z.objectOutputType<{
+        paragraph_n: z.ZodDefault<z.ZodOptional<z.ZodNumber>>;
+        problem: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        excerpt: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    }, z.ZodTypeAny, "passthrough">[];
+}, {
+    rules?: z.objectInputType<{
+        id: z.ZodString;
+        playbook_id: z.ZodString;
+        workspace_id: z.ZodOptional<z.ZodString>;
+        predicate: z.ZodOptional<z.ZodType<PredicateNode, z.ZodTypeDef, PredicateNode>>;
+        action: z.ZodOptional<z.ZodString>;
+        default_severity: z.ZodOptional<z.ZodString>;
+        category: z.ZodOptional<z.ZodString>;
+        rationale: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        semantic_intent: z.ZodOptional<z.ZodString>;
+        source: z.ZodOptional<z.ZodString>;
+        read_only: z.ZodOptional<z.ZodBoolean>;
+        mandatory: z.ZodOptional<z.ZodBoolean>;
+        authority: z.ZodOptional<z.ZodString>;
+        effort: z.ZodOptional<z.ZodString>;
+        standard_position: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+            text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        }, z.ZodTypeAny, "passthrough">>>>;
+        fallback_condition: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+            text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        }, z.ZodTypeAny, "passthrough">>>>;
+        walkaway_condition: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+            text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            text: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        }, z.ZodTypeAny, "passthrough">>>>;
+    }, z.ZodTypeAny, "passthrough">[] | null | undefined;
+    errors?: z.objectInputType<{
+        paragraph_n: z.ZodDefault<z.ZodOptional<z.ZodNumber>>;
+        problem: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+        excerpt: z.ZodDefault<z.ZodOptional<z.ZodString>>;
+    }, z.ZodTypeAny, "passthrough">[] | null | undefined;
+}>;
+export type IngestResult = z.infer<typeof ingestResultSchema>;
+/** The predicate-kind catalog. Never gated; a failure here is a real outage. */
+export declare const getPredicateCatalog: () => Promise<PredicateInfo[]>;
+/**
+ * The header-field catalog for one CDTS coordinate. All four coordinates are
+ * REQUIRED by the handler (a partial scope is a 400, not an empty catalog),
+ * so the caller is refused locally rather than round-tripping a guaranteed
+ * failure.
+ */
+export declare const getFieldCatalog: (scope: CdtsScope) => Promise<FieldCatalogEntry[]>;
+/**
+ * The CDTS taxonomy tree, passed through verbatim from the platform. The Go
+ * handler deliberately does not re-model it ("the tree is large, nested, and
+ * owned by the platform"), so neither do we: the raw payload is returned and
+ * `taxonomyNodes` does a best-effort read for the scope picker, degrading to
+ * an empty list rather than guessing at a shape.
+ */
+export declare const getCdtsTaxonomy: () => Promise<unknown>;
+export interface TaxonomyNode {
+    label: string;
+    children: TaxonomyNode[];
+}
+/**
+ * Best-effort flatten of the platform tree into label/children pairs. Shape
+ * is not contractual (see above), so anything unrecognized yields [] and the
+ * UI falls back to free-text scope entry — never a crash on a tree we did not
+ * author.
+ */
+export declare const taxonomyNodes: (raw: unknown) => TaxonomyNode[];
+export interface EvaluateOptions {
+    /** Restrict to these V6 categories. An unknown category is a 400. */
+    categories?: string[];
+    /** Overrides the playbook's own scope; omitted → the playbook's scope. */
+    cdts?: CdtsScope;
+}
+/**
+ * Runs one clause against one playbook's effective rule set.
+ *
+ * IMPORTANT and surfaced in the UI: this evaluates the rules the playbook
+ * has STORED. A draft that has not been committed is not in the store and
+ * therefore cannot fire — "test it before you save it" is not something this
+ * endpoint can do, so the builder offers save-then-test instead of pretending.
+ */
+export declare const evaluateAgainstPlaybook: (playbookId: string, clauseText: string, options?: EvaluateOptions) => Promise<EvaluateResult>;
+export type IngestFormat = "word" | "pdf" | "wiki" | "markdown" | "tiptap";
+/**
+ * Turns a customer playbook document into CANDIDATE rules. Nothing is
+ * persisted: the handler's own doc says the builder UI is expected to let a
+ * human review every candidate before it is written. `saveCandidateRule` is
+ * that accept step — review-before-accept is the feature, not a nicety.
+ *
+ * `format` is auto-detected from the filename when omitted.
+ */
+export declare const ingestPlaybookDocument: (input: {
+    playbookId: string;
+    file: File;
+    format?: IngestFormat;
+}) => Promise<IngestResult>;
+/**
+ * Accepts one reviewed candidate into the playbook (POST /v1/rules — the same
+ * single write path `commit:true` uses). The candidate is posted as authored:
+ * unlike the panel's generic `createRule`, the predicate and the negotiation
+ * ladder are preserved verbatim, because a candidate whose predicate is
+ * rewritten on save is not the rule the reviewer approved.
+ */
+export declare const saveCandidateRule: (rule: BuilderRule) => Promise<BuilderRule>;