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

package/dist/api/r1.d.ts

@@ -0,0 +1,1097 @@
+/**
+ * R1 API module — prime-contract flowdown derivation, candidate-rule
+ * approval, and provenance-aware review contracts.
+ *
+ * ALL R1 HTTP lives here (same boundary rules as api/playbook.ts): every
+ * response is zod-validated, components never fetch directly. The module
+ * ships with a `mode: "mock" | "real"` switch — mock (default) serves the
+ * fixture dataset from api/r1.fixtures.ts with realistic async behavior;
+ * flipping to "real" re-points every call at `${baseUrl}` without touching
+ * any component.
+ *
+ * Real mode speaks the FROZEN playbook-engine wire (docs/R1_WIRE_FREEZE.md
+ * + api/{derive,approvals}.go on the backend). The exported domain shapes
+ * below stay the component contract; the wire* schemas mirror the backend
+ * exactly and adapters map wire -> domain. Real-mode endpoints:
+ *
+ *   POST /v1/playbooks/derived/{prime}/upload                 (multipart, 202)
+ *   GET  /v1/playbooks/derived/{prime}/jobs/{id}/status
+ *   POST /v1/playbooks/derived/{prime}/jobs/{id}/retry        (202)
+ *   GET  /v1/playbooks/derived/{prime}/rules                  ({rulebook,version,rules})
+ *   GET  /v1/playbooks/derived/{prime}/status
+ *   POST /v1/playbooks/derived/{prime}/rules/{ruleID}/approve ({etag})
+ *   POST /v1/playbooks/derived/{prime}/rules/{ruleID}/reject  ({etag})
+ *   POST /v1/playbooks/derived/{prime}/rules/{ruleID}/edit    ({etag,body})
+ *   POST /v1/playbooks/derived/{prime}/rules/bulk-approve     ({rules:[{rule_id,etag}]})
+ *
+ *   GET  /v1/reviews/{id}/summary                             (see below)
+ */
+import { z } from "zod";
+/** Tri-modal classification of a derived flowdown obligation. */
+export declare const candidateClassificationSchema: z.ZodEnum<["mandatory", "conditionally_mandatory", "discretionary"]>;
+/** Provenance carried by findings / fired rules. */
+export declare const provenanceSchema: z.ZodObject<{
+    /** "prime" → derived from the uploaded prime contract; "cdts" → workspace chain. */
+    source: z.ZodEnum<["prime", "cdts"]>;
+    prime_contract_id: z.ZodOptional<z.ZodString>;
+    /** e.g. "Prime §7.4.2" */
+    prime_section_ref: z.ZodOptional<z.ZodString>;
+    /** Verbatim source excerpt shown on badge click-through. */
+    source_excerpt: z.ZodOptional<z.ZodString>;
+    /** Rule fired but is ignored — superseded by a regulatory clause. */
+    superseded_by_regulatory: z.ZodOptional<z.ZodBoolean>;
+}, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+    /** "prime" → derived from the uploaded prime contract; "cdts" → workspace chain. */
+    source: z.ZodEnum<["prime", "cdts"]>;
+    prime_contract_id: z.ZodOptional<z.ZodString>;
+    /** e.g. "Prime §7.4.2" */
+    prime_section_ref: z.ZodOptional<z.ZodString>;
+    /** Verbatim source excerpt shown on badge click-through. */
+    source_excerpt: z.ZodOptional<z.ZodString>;
+    /** Rule fired but is ignored — superseded by a regulatory clause. */
+    superseded_by_regulatory: z.ZodOptional<z.ZodBoolean>;
+}, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+    /** "prime" → derived from the uploaded prime contract; "cdts" → workspace chain. */
+    source: z.ZodEnum<["prime", "cdts"]>;
+    prime_contract_id: z.ZodOptional<z.ZodString>;
+    /** e.g. "Prime §7.4.2" */
+    prime_section_ref: z.ZodOptional<z.ZodString>;
+    /** Verbatim source excerpt shown on badge click-through. */
+    source_excerpt: z.ZodOptional<z.ZodString>;
+    /** Rule fired but is ignored — superseded by a regulatory clause. */
+    superseded_by_regulatory: z.ZodOptional<z.ZodBoolean>;
+}, z.ZodTypeAny, "passthrough">>;
+/** Suggestion position texts (preferred / fallback / walkaway). */
+export declare const positionsSchema: z.ZodObject<{
+    preferred: z.ZodString;
+    fallback: z.ZodOptional<z.ZodString>;
+    walkaway: z.ZodOptional<z.ZodString>;
+}, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+    preferred: z.ZodString;
+    fallback: z.ZodOptional<z.ZodString>;
+    walkaway: z.ZodOptional<z.ZodString>;
+}, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+    preferred: z.ZodString;
+    fallback: z.ZodOptional<z.ZodString>;
+    walkaway: z.ZodOptional<z.ZodString>;
+}, z.ZodTypeAny, "passthrough">>;
+export declare const derivationJobSchema: z.ZodObject<{
+    job_id: z.ZodString;
+    prime_contract_id: z.ZodOptional<z.ZodString>;
+    file_name: z.ZodOptional<z.ZodString>;
+    status: z.ZodEnum<["queued", "running", "failed", "complete"]>;
+    /** failed only: whether a retry can succeed (transient vs structural). */
+    retryable: z.ZodOptional<z.ZodBoolean>;
+    error: z.ZodOptional<z.ZodString>;
+    /** running only: 0..1 */
+    progress: z.ZodOptional<z.ZodNumber>;
+    result: z.ZodOptional<z.ZodObject<{
+        derived_playbook_id: z.ZodOptional<z.ZodString>;
+        candidate_rule_count: z.ZodNumber;
+        /** true → clean result: no flowdown obligations detected (not an error). */
+        zero_obligations: z.ZodOptional<z.ZodBoolean>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        derived_playbook_id: z.ZodOptional<z.ZodString>;
+        candidate_rule_count: z.ZodNumber;
+        /** true → clean result: no flowdown obligations detected (not an error). */
+        zero_obligations: z.ZodOptional<z.ZodBoolean>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        derived_playbook_id: z.ZodOptional<z.ZodString>;
+        candidate_rule_count: z.ZodNumber;
+        /** true → clean result: no flowdown obligations detected (not an error). */
+        zero_obligations: z.ZodOptional<z.ZodBoolean>;
+    }, z.ZodTypeAny, "passthrough">>>;
+}, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+    job_id: z.ZodString;
+    prime_contract_id: z.ZodOptional<z.ZodString>;
+    file_name: z.ZodOptional<z.ZodString>;
+    status: z.ZodEnum<["queued", "running", "failed", "complete"]>;
+    /** failed only: whether a retry can succeed (transient vs structural). */
+    retryable: z.ZodOptional<z.ZodBoolean>;
+    error: z.ZodOptional<z.ZodString>;
+    /** running only: 0..1 */
+    progress: z.ZodOptional<z.ZodNumber>;
+    result: z.ZodOptional<z.ZodObject<{
+        derived_playbook_id: z.ZodOptional<z.ZodString>;
+        candidate_rule_count: z.ZodNumber;
+        /** true → clean result: no flowdown obligations detected (not an error). */
+        zero_obligations: z.ZodOptional<z.ZodBoolean>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        derived_playbook_id: z.ZodOptional<z.ZodString>;
+        candidate_rule_count: z.ZodNumber;
+        /** true → clean result: no flowdown obligations detected (not an error). */
+        zero_obligations: z.ZodOptional<z.ZodBoolean>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        derived_playbook_id: z.ZodOptional<z.ZodString>;
+        candidate_rule_count: z.ZodNumber;
+        /** true → clean result: no flowdown obligations detected (not an error). */
+        zero_obligations: z.ZodOptional<z.ZodBoolean>;
+    }, z.ZodTypeAny, "passthrough">>>;
+}, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+    job_id: z.ZodString;
+    prime_contract_id: z.ZodOptional<z.ZodString>;
+    file_name: z.ZodOptional<z.ZodString>;
+    status: z.ZodEnum<["queued", "running", "failed", "complete"]>;
+    /** failed only: whether a retry can succeed (transient vs structural). */
+    retryable: z.ZodOptional<z.ZodBoolean>;
+    error: z.ZodOptional<z.ZodString>;
+    /** running only: 0..1 */
+    progress: z.ZodOptional<z.ZodNumber>;
+    result: z.ZodOptional<z.ZodObject<{
+        derived_playbook_id: z.ZodOptional<z.ZodString>;
+        candidate_rule_count: z.ZodNumber;
+        /** true → clean result: no flowdown obligations detected (not an error). */
+        zero_obligations: z.ZodOptional<z.ZodBoolean>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        derived_playbook_id: z.ZodOptional<z.ZodString>;
+        candidate_rule_count: z.ZodNumber;
+        /** true → clean result: no flowdown obligations detected (not an error). */
+        zero_obligations: z.ZodOptional<z.ZodBoolean>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        derived_playbook_id: z.ZodOptional<z.ZodString>;
+        candidate_rule_count: z.ZodNumber;
+        /** true → clean result: no flowdown obligations detected (not an error). */
+        zero_obligations: z.ZodOptional<z.ZodBoolean>;
+    }, z.ZodTypeAny, "passthrough">>>;
+}, z.ZodTypeAny, "passthrough">>;
+export declare const candidateRuleSchema: z.ZodObject<{
+    id: z.ZodString;
+    playbook_id: z.ZodString;
+    /** Verbatim prime-contract excerpt the rule was derived from. */
+    verbatim_excerpt: z.ZodString;
+    /** e.g. "Prime §7.4.2" */
+    section_citation: z.ZodString;
+    classification: z.ZodEnum<["mandatory", "conditionally_mandatory", "discretionary"]>;
+    generated_rule_text: z.ZodString;
+    rationale: z.ZodString;
+    status: z.ZodEnum<["pending", "approved", "rejected"]>;
+    /** Set when the approver edited the generated text before approving. */
+    approved_text: z.ZodOptional<z.ZodString>;
+    disposed_by: z.ZodOptional<z.ZodString>;
+}, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+    id: z.ZodString;
+    playbook_id: z.ZodString;
+    /** Verbatim prime-contract excerpt the rule was derived from. */
+    verbatim_excerpt: z.ZodString;
+    /** e.g. "Prime §7.4.2" */
+    section_citation: z.ZodString;
+    classification: z.ZodEnum<["mandatory", "conditionally_mandatory", "discretionary"]>;
+    generated_rule_text: z.ZodString;
+    rationale: z.ZodString;
+    status: z.ZodEnum<["pending", "approved", "rejected"]>;
+    /** Set when the approver edited the generated text before approving. */
+    approved_text: z.ZodOptional<z.ZodString>;
+    disposed_by: z.ZodOptional<z.ZodString>;
+}, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+    id: z.ZodString;
+    playbook_id: z.ZodString;
+    /** Verbatim prime-contract excerpt the rule was derived from. */
+    verbatim_excerpt: z.ZodString;
+    /** e.g. "Prime §7.4.2" */
+    section_citation: z.ZodString;
+    classification: z.ZodEnum<["mandatory", "conditionally_mandatory", "discretionary"]>;
+    generated_rule_text: z.ZodString;
+    rationale: z.ZodString;
+    status: z.ZodEnum<["pending", "approved", "rejected"]>;
+    /** Set when the approver edited the generated text before approving. */
+    approved_text: z.ZodOptional<z.ZodString>;
+    disposed_by: z.ZodOptional<z.ZodString>;
+}, z.ZodTypeAny, "passthrough">>;
+export declare const rulebookStatusSchema: z.ZodObject<{
+    playbook_id: z.ZodString;
+    total: z.ZodNumber;
+    disposed: z.ZodNumber;
+    /** Active only when all candidates are disposed. */
+    active: z.ZodBoolean;
+}, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+    playbook_id: z.ZodString;
+    total: z.ZodNumber;
+    disposed: z.ZodNumber;
+    /** Active only when all candidates are disposed. */
+    active: z.ZodBoolean;
+}, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+    playbook_id: z.ZodString;
+    total: z.ZodNumber;
+    disposed: z.ZodNumber;
+    /** Active only when all candidates are disposed. */
+    active: z.ZodBoolean;
+}, z.ZodTypeAny, "passthrough">>;
+export declare const reviewSummarySchema: z.ZodObject<{
+    by_provenance: z.ZodObject<{
+        prime: z.ZodNumber;
+        cdts: z.ZodNumber;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        prime: z.ZodNumber;
+        cdts: z.ZodNumber;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        prime: z.ZodNumber;
+        cdts: z.ZodNumber;
+    }, z.ZodTypeAny, "passthrough">>;
+    by_severity: z.ZodObject<{
+        high: z.ZodNumber;
+        medium: z.ZodNumber;
+        low: z.ZodNumber;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        high: z.ZodNumber;
+        medium: z.ZodNumber;
+        low: z.ZodNumber;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        high: z.ZodNumber;
+        medium: z.ZodNumber;
+        low: z.ZodNumber;
+    }, z.ZodTypeAny, "passthrough">>;
+    missing_flowdown_count: z.ZodNumber;
+    escalation_count: z.ZodNumber;
+    suppressed_count: z.ZodNumber;
+}, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+    by_provenance: z.ZodObject<{
+        prime: z.ZodNumber;
+        cdts: z.ZodNumber;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        prime: z.ZodNumber;
+        cdts: z.ZodNumber;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        prime: z.ZodNumber;
+        cdts: z.ZodNumber;
+    }, z.ZodTypeAny, "passthrough">>;
+    by_severity: z.ZodObject<{
+        high: z.ZodNumber;
+        medium: z.ZodNumber;
+        low: z.ZodNumber;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        high: z.ZodNumber;
+        medium: z.ZodNumber;
+        low: z.ZodNumber;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        high: z.ZodNumber;
+        medium: z.ZodNumber;
+        low: z.ZodNumber;
+    }, z.ZodTypeAny, "passthrough">>;
+    missing_flowdown_count: z.ZodNumber;
+    escalation_count: z.ZodNumber;
+    suppressed_count: z.ZodNumber;
+}, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+    by_provenance: z.ZodObject<{
+        prime: z.ZodNumber;
+        cdts: z.ZodNumber;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        prime: z.ZodNumber;
+        cdts: z.ZodNumber;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        prime: z.ZodNumber;
+        cdts: z.ZodNumber;
+    }, z.ZodTypeAny, "passthrough">>;
+    by_severity: z.ZodObject<{
+        high: z.ZodNumber;
+        medium: z.ZodNumber;
+        low: z.ZodNumber;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        high: z.ZodNumber;
+        medium: z.ZodNumber;
+        low: z.ZodNumber;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        high: z.ZodNumber;
+        medium: z.ZodNumber;
+        low: z.ZodNumber;
+    }, z.ZodTypeAny, "passthrough">>;
+    missing_flowdown_count: z.ZodNumber;
+    escalation_count: z.ZodNumber;
+    suppressed_count: z.ZodNumber;
+}, z.ZodTypeAny, "passthrough">>;
+export type CandidateClassification = z.infer<typeof candidateClassificationSchema>;
+export type R1Provenance = z.infer<typeof provenanceSchema>;
+export type SuggestionPositions = z.infer<typeof positionsSchema>;
+export type DerivationJob = z.infer<typeof derivationJobSchema>;
+export type CandidateRule = z.infer<typeof candidateRuleSchema>;
+export type RulebookStatus = z.infer<typeof rulebookStatusSchema>;
+export type ReviewSummary = z.infer<typeof reviewSummarySchema>;
+/** Counterparty type chosen on review start. */
+export type CounterpartyType = "commercial_sub" | "noncommercial" | "unknown";
+/**
+ * FROZEN EvaluateRequest extension — merged into the existing evaluate/stream
+ * request body by the caller (useRedlineReview / redlineStream stay untouched
+ * until the backend lands; this type is the contract).
+ */
+export interface R1EvaluateExtras {
+    /** Approved prime-derived playbooks to review against. */
+    derived_playbook_ids: string[];
+    counterparty_type: CounterpartyType;
+    /** Workspace-level GovCon mode flag. */
+    govcon_mode?: boolean;
+}
+/** derivationJobDTO (upload answers a subset: job_id/prime_contract_id/state). */
+export declare const wireDerivationJobSchema: z.ZodObject<{
+    job_id: z.ZodString;
+    prime_contract_id: z.ZodString;
+    state: z.ZodEnum<["queued", "running", "failed", "complete"]>;
+    attempts: z.ZodOptional<z.ZodNumber>;
+    retryable: z.ZodOptional<z.ZodBoolean>;
+    error: z.ZodOptional<z.ZodString>;
+    created_at: z.ZodOptional<z.ZodString>;
+    updated_at: z.ZodOptional<z.ZodString>;
+    result: z.ZodOptional<z.ZodObject<{
+        rules: z.ZodNumber;
+        extracted_count: z.ZodNumber;
+        faithfulness_rejections: z.ZodNumber;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        rules: z.ZodNumber;
+        extracted_count: z.ZodNumber;
+        faithfulness_rejections: z.ZodNumber;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        rules: z.ZodNumber;
+        extracted_count: z.ZodNumber;
+        faithfulness_rejections: z.ZodNumber;
+    }, z.ZodTypeAny, "passthrough">>>;
+}, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+    job_id: z.ZodString;
+    prime_contract_id: z.ZodString;
+    state: z.ZodEnum<["queued", "running", "failed", "complete"]>;
+    attempts: z.ZodOptional<z.ZodNumber>;
+    retryable: z.ZodOptional<z.ZodBoolean>;
+    error: z.ZodOptional<z.ZodString>;
+    created_at: z.ZodOptional<z.ZodString>;
+    updated_at: z.ZodOptional<z.ZodString>;
+    result: z.ZodOptional<z.ZodObject<{
+        rules: z.ZodNumber;
+        extracted_count: z.ZodNumber;
+        faithfulness_rejections: z.ZodNumber;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        rules: z.ZodNumber;
+        extracted_count: z.ZodNumber;
+        faithfulness_rejections: z.ZodNumber;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        rules: z.ZodNumber;
+        extracted_count: z.ZodNumber;
+        faithfulness_rejections: z.ZodNumber;
+    }, z.ZodTypeAny, "passthrough">>>;
+}, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+    job_id: z.ZodString;
+    prime_contract_id: z.ZodString;
+    state: z.ZodEnum<["queued", "running", "failed", "complete"]>;
+    attempts: z.ZodOptional<z.ZodNumber>;
+    retryable: z.ZodOptional<z.ZodBoolean>;
+    error: z.ZodOptional<z.ZodString>;
+    created_at: z.ZodOptional<z.ZodString>;
+    updated_at: z.ZodOptional<z.ZodString>;
+    result: z.ZodOptional<z.ZodObject<{
+        rules: z.ZodNumber;
+        extracted_count: z.ZodNumber;
+        faithfulness_rejections: z.ZodNumber;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        rules: z.ZodNumber;
+        extracted_count: z.ZodNumber;
+        faithfulness_rejections: z.ZodNumber;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        rules: z.ZodNumber;
+        extracted_count: z.ZodNumber;
+        faithfulness_rejections: z.ZodNumber;
+    }, z.ZodTypeAny, "passthrough">>>;
+}, z.ZodTypeAny, "passthrough">>;
+/** contracts.Rule JSON carried in derivedRuleDTO.body (fields we consume). */
+export declare const wireRuleBodySchema: z.ZodObject<{
+    id: z.ZodString;
+    playbook_id: z.ZodOptional<z.ZodString>;
+    verbatim_excerpt: z.ZodOptional<z.ZodString>;
+    suggested_text: z.ZodOptional<z.ZodString>;
+    rationale: z.ZodOptional<z.ZodString>;
+    mandatory: z.ZodOptional<z.ZodBoolean>;
+    default_severity: z.ZodOptional<z.ZodString>;
+    prime_section_ref: z.ZodOptional<z.ZodString>;
+    authority: z.ZodOptional<z.ZodString>;
+    source: z.ZodOptional<z.ZodString>;
+}, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+    id: z.ZodString;
+    playbook_id: z.ZodOptional<z.ZodString>;
+    verbatim_excerpt: z.ZodOptional<z.ZodString>;
+    suggested_text: z.ZodOptional<z.ZodString>;
+    rationale: z.ZodOptional<z.ZodString>;
+    mandatory: z.ZodOptional<z.ZodBoolean>;
+    default_severity: z.ZodOptional<z.ZodString>;
+    prime_section_ref: z.ZodOptional<z.ZodString>;
+    authority: z.ZodOptional<z.ZodString>;
+    source: z.ZodOptional<z.ZodString>;
+}, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+    id: z.ZodString;
+    playbook_id: z.ZodOptional<z.ZodString>;
+    verbatim_excerpt: z.ZodOptional<z.ZodString>;
+    suggested_text: z.ZodOptional<z.ZodString>;
+    rationale: z.ZodOptional<z.ZodString>;
+    mandatory: z.ZodOptional<z.ZodBoolean>;
+    default_severity: z.ZodOptional<z.ZodString>;
+    prime_section_ref: z.ZodOptional<z.ZodString>;
+    authority: z.ZodOptional<z.ZodString>;
+    source: z.ZodOptional<z.ZodString>;
+}, z.ZodTypeAny, "passthrough">>;
+/** derivedRuleDTO. */
+export declare const wireDerivedRuleSchema: z.ZodObject<{
+    rule_id: z.ZodString;
+    clause_ref: z.ZodString;
+    rulebook_version: z.ZodNumber;
+    state: z.ZodEnum<["draft", "in_review", "approved", "rejected"]>;
+    etag: z.ZodNumber;
+    body: z.ZodObject<{
+        id: z.ZodString;
+        playbook_id: z.ZodOptional<z.ZodString>;
+        verbatim_excerpt: z.ZodOptional<z.ZodString>;
+        suggested_text: z.ZodOptional<z.ZodString>;
+        rationale: z.ZodOptional<z.ZodString>;
+        mandatory: z.ZodOptional<z.ZodBoolean>;
+        default_severity: z.ZodOptional<z.ZodString>;
+        prime_section_ref: z.ZodOptional<z.ZodString>;
+        authority: z.ZodOptional<z.ZodString>;
+        source: z.ZodOptional<z.ZodString>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        id: z.ZodString;
+        playbook_id: z.ZodOptional<z.ZodString>;
+        verbatim_excerpt: z.ZodOptional<z.ZodString>;
+        suggested_text: z.ZodOptional<z.ZodString>;
+        rationale: z.ZodOptional<z.ZodString>;
+        mandatory: z.ZodOptional<z.ZodBoolean>;
+        default_severity: z.ZodOptional<z.ZodString>;
+        prime_section_ref: z.ZodOptional<z.ZodString>;
+        authority: z.ZodOptional<z.ZodString>;
+        source: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        id: z.ZodString;
+        playbook_id: z.ZodOptional<z.ZodString>;
+        verbatim_excerpt: z.ZodOptional<z.ZodString>;
+        suggested_text: z.ZodOptional<z.ZodString>;
+        rationale: z.ZodOptional<z.ZodString>;
+        mandatory: z.ZodOptional<z.ZodBoolean>;
+        default_severity: z.ZodOptional<z.ZodString>;
+        prime_section_ref: z.ZodOptional<z.ZodString>;
+        authority: z.ZodOptional<z.ZodString>;
+        source: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">>;
+    disposed_by: z.ZodOptional<z.ZodString>;
+    disposed_at: z.ZodOptional<z.ZodString>;
+}, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+    rule_id: z.ZodString;
+    clause_ref: z.ZodString;
+    rulebook_version: z.ZodNumber;
+    state: z.ZodEnum<["draft", "in_review", "approved", "rejected"]>;
+    etag: z.ZodNumber;
+    body: z.ZodObject<{
+        id: z.ZodString;
+        playbook_id: z.ZodOptional<z.ZodString>;
+        verbatim_excerpt: z.ZodOptional<z.ZodString>;
+        suggested_text: z.ZodOptional<z.ZodString>;
+        rationale: z.ZodOptional<z.ZodString>;
+        mandatory: z.ZodOptional<z.ZodBoolean>;
+        default_severity: z.ZodOptional<z.ZodString>;
+        prime_section_ref: z.ZodOptional<z.ZodString>;
+        authority: z.ZodOptional<z.ZodString>;
+        source: z.ZodOptional<z.ZodString>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        id: z.ZodString;
+        playbook_id: z.ZodOptional<z.ZodString>;
+        verbatim_excerpt: z.ZodOptional<z.ZodString>;
+        suggested_text: z.ZodOptional<z.ZodString>;
+        rationale: z.ZodOptional<z.ZodString>;
+        mandatory: z.ZodOptional<z.ZodBoolean>;
+        default_severity: z.ZodOptional<z.ZodString>;
+        prime_section_ref: z.ZodOptional<z.ZodString>;
+        authority: z.ZodOptional<z.ZodString>;
+        source: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        id: z.ZodString;
+        playbook_id: z.ZodOptional<z.ZodString>;
+        verbatim_excerpt: z.ZodOptional<z.ZodString>;
+        suggested_text: z.ZodOptional<z.ZodString>;
+        rationale: z.ZodOptional<z.ZodString>;
+        mandatory: z.ZodOptional<z.ZodBoolean>;
+        default_severity: z.ZodOptional<z.ZodString>;
+        prime_section_ref: z.ZodOptional<z.ZodString>;
+        authority: z.ZodOptional<z.ZodString>;
+        source: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">>;
+    disposed_by: z.ZodOptional<z.ZodString>;
+    disposed_at: z.ZodOptional<z.ZodString>;
+}, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+    rule_id: z.ZodString;
+    clause_ref: z.ZodString;
+    rulebook_version: z.ZodNumber;
+    state: z.ZodEnum<["draft", "in_review", "approved", "rejected"]>;
+    etag: z.ZodNumber;
+    body: z.ZodObject<{
+        id: z.ZodString;
+        playbook_id: z.ZodOptional<z.ZodString>;
+        verbatim_excerpt: z.ZodOptional<z.ZodString>;
+        suggested_text: z.ZodOptional<z.ZodString>;
+        rationale: z.ZodOptional<z.ZodString>;
+        mandatory: z.ZodOptional<z.ZodBoolean>;
+        default_severity: z.ZodOptional<z.ZodString>;
+        prime_section_ref: z.ZodOptional<z.ZodString>;
+        authority: z.ZodOptional<z.ZodString>;
+        source: z.ZodOptional<z.ZodString>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        id: z.ZodString;
+        playbook_id: z.ZodOptional<z.ZodString>;
+        verbatim_excerpt: z.ZodOptional<z.ZodString>;
+        suggested_text: z.ZodOptional<z.ZodString>;
+        rationale: z.ZodOptional<z.ZodString>;
+        mandatory: z.ZodOptional<z.ZodBoolean>;
+        default_severity: z.ZodOptional<z.ZodString>;
+        prime_section_ref: z.ZodOptional<z.ZodString>;
+        authority: z.ZodOptional<z.ZodString>;
+        source: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        id: z.ZodString;
+        playbook_id: z.ZodOptional<z.ZodString>;
+        verbatim_excerpt: z.ZodOptional<z.ZodString>;
+        suggested_text: z.ZodOptional<z.ZodString>;
+        rationale: z.ZodOptional<z.ZodString>;
+        mandatory: z.ZodOptional<z.ZodBoolean>;
+        default_severity: z.ZodOptional<z.ZodString>;
+        prime_section_ref: z.ZodOptional<z.ZodString>;
+        authority: z.ZodOptional<z.ZodString>;
+        source: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">>;
+    disposed_by: z.ZodOptional<z.ZodString>;
+    disposed_at: z.ZodOptional<z.ZodString>;
+}, z.ZodTypeAny, "passthrough">>;
+/** derivedRulebookDTO (also the bulk-approve response). */
+export declare const wireRulebookSchema: z.ZodObject<{
+    prime_contract_id: z.ZodString;
+    latest_version: z.ZodNumber;
+    active_version: z.ZodNumber;
+    status: z.ZodString;
+    bundle_hash: z.ZodOptional<z.ZodString>;
+    counts: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodNumber>>;
+}, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+    prime_contract_id: z.ZodString;
+    latest_version: z.ZodNumber;
+    active_version: z.ZodNumber;
+    status: z.ZodString;
+    bundle_hash: z.ZodOptional<z.ZodString>;
+    counts: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodNumber>>;
+}, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+    prime_contract_id: z.ZodString;
+    latest_version: z.ZodNumber;
+    active_version: z.ZodNumber;
+    status: z.ZodString;
+    bundle_hash: z.ZodOptional<z.ZodString>;
+    counts: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodNumber>>;
+}, z.ZodTypeAny, "passthrough">>;
+/** GET .../rules envelope. */
+export declare const wireRuleListSchema: z.ZodObject<{
+    rulebook: z.ZodObject<{
+        prime_contract_id: z.ZodString;
+        latest_version: z.ZodNumber;
+        active_version: z.ZodNumber;
+        status: z.ZodString;
+        bundle_hash: z.ZodOptional<z.ZodString>;
+        counts: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodNumber>>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        prime_contract_id: z.ZodString;
+        latest_version: z.ZodNumber;
+        active_version: z.ZodNumber;
+        status: z.ZodString;
+        bundle_hash: z.ZodOptional<z.ZodString>;
+        counts: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodNumber>>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        prime_contract_id: z.ZodString;
+        latest_version: z.ZodNumber;
+        active_version: z.ZodNumber;
+        status: z.ZodString;
+        bundle_hash: z.ZodOptional<z.ZodString>;
+        counts: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodNumber>>;
+    }, z.ZodTypeAny, "passthrough">>;
+    version: z.ZodNumber;
+    rules: z.ZodOptional<z.ZodNullable<z.ZodArray<z.ZodObject<{
+        rule_id: z.ZodString;
+        clause_ref: z.ZodString;
+        rulebook_version: z.ZodNumber;
+        state: z.ZodEnum<["draft", "in_review", "approved", "rejected"]>;
+        etag: z.ZodNumber;
+        body: z.ZodObject<{
+            id: z.ZodString;
+            playbook_id: z.ZodOptional<z.ZodString>;
+            verbatim_excerpt: z.ZodOptional<z.ZodString>;
+            suggested_text: z.ZodOptional<z.ZodString>;
+            rationale: z.ZodOptional<z.ZodString>;
+            mandatory: z.ZodOptional<z.ZodBoolean>;
+            default_severity: z.ZodOptional<z.ZodString>;
+            prime_section_ref: z.ZodOptional<z.ZodString>;
+            authority: z.ZodOptional<z.ZodString>;
+            source: z.ZodOptional<z.ZodString>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            id: z.ZodString;
+            playbook_id: z.ZodOptional<z.ZodString>;
+            verbatim_excerpt: z.ZodOptional<z.ZodString>;
+            suggested_text: z.ZodOptional<z.ZodString>;
+            rationale: z.ZodOptional<z.ZodString>;
+            mandatory: z.ZodOptional<z.ZodBoolean>;
+            default_severity: z.ZodOptional<z.ZodString>;
+            prime_section_ref: z.ZodOptional<z.ZodString>;
+            authority: z.ZodOptional<z.ZodString>;
+            source: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            id: z.ZodString;
+            playbook_id: z.ZodOptional<z.ZodString>;
+            verbatim_excerpt: z.ZodOptional<z.ZodString>;
+            suggested_text: z.ZodOptional<z.ZodString>;
+            rationale: z.ZodOptional<z.ZodString>;
+            mandatory: z.ZodOptional<z.ZodBoolean>;
+            default_severity: z.ZodOptional<z.ZodString>;
+            prime_section_ref: z.ZodOptional<z.ZodString>;
+            authority: z.ZodOptional<z.ZodString>;
+            source: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">>;
+        disposed_by: z.ZodOptional<z.ZodString>;
+        disposed_at: z.ZodOptional<z.ZodString>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        rule_id: z.ZodString;
+        clause_ref: z.ZodString;
+        rulebook_version: z.ZodNumber;
+        state: z.ZodEnum<["draft", "in_review", "approved", "rejected"]>;
+        etag: z.ZodNumber;
+        body: z.ZodObject<{
+            id: z.ZodString;
+            playbook_id: z.ZodOptional<z.ZodString>;
+            verbatim_excerpt: z.ZodOptional<z.ZodString>;
+            suggested_text: z.ZodOptional<z.ZodString>;
+            rationale: z.ZodOptional<z.ZodString>;
+            mandatory: z.ZodOptional<z.ZodBoolean>;
+            default_severity: z.ZodOptional<z.ZodString>;
+            prime_section_ref: z.ZodOptional<z.ZodString>;
+            authority: z.ZodOptional<z.ZodString>;
+            source: z.ZodOptional<z.ZodString>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            id: z.ZodString;
+            playbook_id: z.ZodOptional<z.ZodString>;
+            verbatim_excerpt: z.ZodOptional<z.ZodString>;
+            suggested_text: z.ZodOptional<z.ZodString>;
+            rationale: z.ZodOptional<z.ZodString>;
+            mandatory: z.ZodOptional<z.ZodBoolean>;
+            default_severity: z.ZodOptional<z.ZodString>;
+            prime_section_ref: z.ZodOptional<z.ZodString>;
+            authority: z.ZodOptional<z.ZodString>;
+            source: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            id: z.ZodString;
+            playbook_id: z.ZodOptional<z.ZodString>;
+            verbatim_excerpt: z.ZodOptional<z.ZodString>;
+            suggested_text: z.ZodOptional<z.ZodString>;
+            rationale: z.ZodOptional<z.ZodString>;
+            mandatory: z.ZodOptional<z.ZodBoolean>;
+            default_severity: z.ZodOptional<z.ZodString>;
+            prime_section_ref: z.ZodOptional<z.ZodString>;
+            authority: z.ZodOptional<z.ZodString>;
+            source: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">>;
+        disposed_by: z.ZodOptional<z.ZodString>;
+        disposed_at: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        rule_id: z.ZodString;
+        clause_ref: z.ZodString;
+        rulebook_version: z.ZodNumber;
+        state: z.ZodEnum<["draft", "in_review", "approved", "rejected"]>;
+        etag: z.ZodNumber;
+        body: z.ZodObject<{
+            id: z.ZodString;
+            playbook_id: z.ZodOptional<z.ZodString>;
+            verbatim_excerpt: z.ZodOptional<z.ZodString>;
+            suggested_text: z.ZodOptional<z.ZodString>;
+            rationale: z.ZodOptional<z.ZodString>;
+            mandatory: z.ZodOptional<z.ZodBoolean>;
+            default_severity: z.ZodOptional<z.ZodString>;
+            prime_section_ref: z.ZodOptional<z.ZodString>;
+            authority: z.ZodOptional<z.ZodString>;
+            source: z.ZodOptional<z.ZodString>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            id: z.ZodString;
+            playbook_id: z.ZodOptional<z.ZodString>;
+            verbatim_excerpt: z.ZodOptional<z.ZodString>;
+            suggested_text: z.ZodOptional<z.ZodString>;
+            rationale: z.ZodOptional<z.ZodString>;
+            mandatory: z.ZodOptional<z.ZodBoolean>;
+            default_severity: z.ZodOptional<z.ZodString>;
+            prime_section_ref: z.ZodOptional<z.ZodString>;
+            authority: z.ZodOptional<z.ZodString>;
+            source: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            id: z.ZodString;
+            playbook_id: z.ZodOptional<z.ZodString>;
+            verbatim_excerpt: z.ZodOptional<z.ZodString>;
+            suggested_text: z.ZodOptional<z.ZodString>;
+            rationale: z.ZodOptional<z.ZodString>;
+            mandatory: z.ZodOptional<z.ZodBoolean>;
+            default_severity: z.ZodOptional<z.ZodString>;
+            prime_section_ref: z.ZodOptional<z.ZodString>;
+            authority: z.ZodOptional<z.ZodString>;
+            source: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">>;
+        disposed_by: z.ZodOptional<z.ZodString>;
+        disposed_at: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">>, "many">>>;
+}, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+    rulebook: z.ZodObject<{
+        prime_contract_id: z.ZodString;
+        latest_version: z.ZodNumber;
+        active_version: z.ZodNumber;
+        status: z.ZodString;
+        bundle_hash: z.ZodOptional<z.ZodString>;
+        counts: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodNumber>>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        prime_contract_id: z.ZodString;
+        latest_version: z.ZodNumber;
+        active_version: z.ZodNumber;
+        status: z.ZodString;
+        bundle_hash: z.ZodOptional<z.ZodString>;
+        counts: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodNumber>>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        prime_contract_id: z.ZodString;
+        latest_version: z.ZodNumber;
+        active_version: z.ZodNumber;
+        status: z.ZodString;
+        bundle_hash: z.ZodOptional<z.ZodString>;
+        counts: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodNumber>>;
+    }, z.ZodTypeAny, "passthrough">>;
+    version: z.ZodNumber;
+    rules: z.ZodOptional<z.ZodNullable<z.ZodArray<z.ZodObject<{
+        rule_id: z.ZodString;
+        clause_ref: z.ZodString;
+        rulebook_version: z.ZodNumber;
+        state: z.ZodEnum<["draft", "in_review", "approved", "rejected"]>;
+        etag: z.ZodNumber;
+        body: z.ZodObject<{
+            id: z.ZodString;
+            playbook_id: z.ZodOptional<z.ZodString>;
+            verbatim_excerpt: z.ZodOptional<z.ZodString>;
+            suggested_text: z.ZodOptional<z.ZodString>;
+            rationale: z.ZodOptional<z.ZodString>;
+            mandatory: z.ZodOptional<z.ZodBoolean>;
+            default_severity: z.ZodOptional<z.ZodString>;
+            prime_section_ref: z.ZodOptional<z.ZodString>;
+            authority: z.ZodOptional<z.ZodString>;
+            source: z.ZodOptional<z.ZodString>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            id: z.ZodString;
+            playbook_id: z.ZodOptional<z.ZodString>;
+            verbatim_excerpt: z.ZodOptional<z.ZodString>;
+            suggested_text: z.ZodOptional<z.ZodString>;
+            rationale: z.ZodOptional<z.ZodString>;
+            mandatory: z.ZodOptional<z.ZodBoolean>;
+            default_severity: z.ZodOptional<z.ZodString>;
+            prime_section_ref: z.ZodOptional<z.ZodString>;
+            authority: z.ZodOptional<z.ZodString>;
+            source: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            id: z.ZodString;
+            playbook_id: z.ZodOptional<z.ZodString>;
+            verbatim_excerpt: z.ZodOptional<z.ZodString>;
+            suggested_text: z.ZodOptional<z.ZodString>;
+            rationale: z.ZodOptional<z.ZodString>;
+            mandatory: z.ZodOptional<z.ZodBoolean>;
+            default_severity: z.ZodOptional<z.ZodString>;
+            prime_section_ref: z.ZodOptional<z.ZodString>;
+            authority: z.ZodOptional<z.ZodString>;
+            source: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">>;
+        disposed_by: z.ZodOptional<z.ZodString>;
+        disposed_at: z.ZodOptional<z.ZodString>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        rule_id: z.ZodString;
+        clause_ref: z.ZodString;
+        rulebook_version: z.ZodNumber;
+        state: z.ZodEnum<["draft", "in_review", "approved", "rejected"]>;
+        etag: z.ZodNumber;
+        body: z.ZodObject<{
+            id: z.ZodString;
+            playbook_id: z.ZodOptional<z.ZodString>;
+            verbatim_excerpt: z.ZodOptional<z.ZodString>;
+            suggested_text: z.ZodOptional<z.ZodString>;
+            rationale: z.ZodOptional<z.ZodString>;
+            mandatory: z.ZodOptional<z.ZodBoolean>;
+            default_severity: z.ZodOptional<z.ZodString>;
+            prime_section_ref: z.ZodOptional<z.ZodString>;
+            authority: z.ZodOptional<z.ZodString>;
+            source: z.ZodOptional<z.ZodString>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            id: z.ZodString;
+            playbook_id: z.ZodOptional<z.ZodString>;
+            verbatim_excerpt: z.ZodOptional<z.ZodString>;
+            suggested_text: z.ZodOptional<z.ZodString>;
+            rationale: z.ZodOptional<z.ZodString>;
+            mandatory: z.ZodOptional<z.ZodBoolean>;
+            default_severity: z.ZodOptional<z.ZodString>;
+            prime_section_ref: z.ZodOptional<z.ZodString>;
+            authority: z.ZodOptional<z.ZodString>;
+            source: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            id: z.ZodString;
+            playbook_id: z.ZodOptional<z.ZodString>;
+            verbatim_excerpt: z.ZodOptional<z.ZodString>;
+            suggested_text: z.ZodOptional<z.ZodString>;
+            rationale: z.ZodOptional<z.ZodString>;
+            mandatory: z.ZodOptional<z.ZodBoolean>;
+            default_severity: z.ZodOptional<z.ZodString>;
+            prime_section_ref: z.ZodOptional<z.ZodString>;
+            authority: z.ZodOptional<z.ZodString>;
+            source: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">>;
+        disposed_by: z.ZodOptional<z.ZodString>;
+        disposed_at: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        rule_id: z.ZodString;
+        clause_ref: z.ZodString;
+        rulebook_version: z.ZodNumber;
+        state: z.ZodEnum<["draft", "in_review", "approved", "rejected"]>;
+        etag: z.ZodNumber;
+        body: z.ZodObject<{
+            id: z.ZodString;
+            playbook_id: z.ZodOptional<z.ZodString>;
+            verbatim_excerpt: z.ZodOptional<z.ZodString>;
+            suggested_text: z.ZodOptional<z.ZodString>;
+            rationale: z.ZodOptional<z.ZodString>;
+            mandatory: z.ZodOptional<z.ZodBoolean>;
+            default_severity: z.ZodOptional<z.ZodString>;
+            prime_section_ref: z.ZodOptional<z.ZodString>;
+            authority: z.ZodOptional<z.ZodString>;
+            source: z.ZodOptional<z.ZodString>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            id: z.ZodString;
+            playbook_id: z.ZodOptional<z.ZodString>;
+            verbatim_excerpt: z.ZodOptional<z.ZodString>;
+            suggested_text: z.ZodOptional<z.ZodString>;
+            rationale: z.ZodOptional<z.ZodString>;
+            mandatory: z.ZodOptional<z.ZodBoolean>;
+            default_severity: z.ZodOptional<z.ZodString>;
+            prime_section_ref: z.ZodOptional<z.ZodString>;
+            authority: z.ZodOptional<z.ZodString>;
+            source: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            id: z.ZodString;
+            playbook_id: z.ZodOptional<z.ZodString>;
+            verbatim_excerpt: z.ZodOptional<z.ZodString>;
+            suggested_text: z.ZodOptional<z.ZodString>;
+            rationale: z.ZodOptional<z.ZodString>;
+            mandatory: z.ZodOptional<z.ZodBoolean>;
+            default_severity: z.ZodOptional<z.ZodString>;
+            prime_section_ref: z.ZodOptional<z.ZodString>;
+            authority: z.ZodOptional<z.ZodString>;
+            source: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">>;
+        disposed_by: z.ZodOptional<z.ZodString>;
+        disposed_at: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">>, "many">>>;
+}, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+    rulebook: z.ZodObject<{
+        prime_contract_id: z.ZodString;
+        latest_version: z.ZodNumber;
+        active_version: z.ZodNumber;
+        status: z.ZodString;
+        bundle_hash: z.ZodOptional<z.ZodString>;
+        counts: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodNumber>>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        prime_contract_id: z.ZodString;
+        latest_version: z.ZodNumber;
+        active_version: z.ZodNumber;
+        status: z.ZodString;
+        bundle_hash: z.ZodOptional<z.ZodString>;
+        counts: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodNumber>>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        prime_contract_id: z.ZodString;
+        latest_version: z.ZodNumber;
+        active_version: z.ZodNumber;
+        status: z.ZodString;
+        bundle_hash: z.ZodOptional<z.ZodString>;
+        counts: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodNumber>>;
+    }, z.ZodTypeAny, "passthrough">>;
+    version: z.ZodNumber;
+    rules: z.ZodOptional<z.ZodNullable<z.ZodArray<z.ZodObject<{
+        rule_id: z.ZodString;
+        clause_ref: z.ZodString;
+        rulebook_version: z.ZodNumber;
+        state: z.ZodEnum<["draft", "in_review", "approved", "rejected"]>;
+        etag: z.ZodNumber;
+        body: z.ZodObject<{
+            id: z.ZodString;
+            playbook_id: z.ZodOptional<z.ZodString>;
+            verbatim_excerpt: z.ZodOptional<z.ZodString>;
+            suggested_text: z.ZodOptional<z.ZodString>;
+            rationale: z.ZodOptional<z.ZodString>;
+            mandatory: z.ZodOptional<z.ZodBoolean>;
+            default_severity: z.ZodOptional<z.ZodString>;
+            prime_section_ref: z.ZodOptional<z.ZodString>;
+            authority: z.ZodOptional<z.ZodString>;
+            source: z.ZodOptional<z.ZodString>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            id: z.ZodString;
+            playbook_id: z.ZodOptional<z.ZodString>;
+            verbatim_excerpt: z.ZodOptional<z.ZodString>;
+            suggested_text: z.ZodOptional<z.ZodString>;
+            rationale: z.ZodOptional<z.ZodString>;
+            mandatory: z.ZodOptional<z.ZodBoolean>;
+            default_severity: z.ZodOptional<z.ZodString>;
+            prime_section_ref: z.ZodOptional<z.ZodString>;
+            authority: z.ZodOptional<z.ZodString>;
+            source: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            id: z.ZodString;
+            playbook_id: z.ZodOptional<z.ZodString>;
+            verbatim_excerpt: z.ZodOptional<z.ZodString>;
+            suggested_text: z.ZodOptional<z.ZodString>;
+            rationale: z.ZodOptional<z.ZodString>;
+            mandatory: z.ZodOptional<z.ZodBoolean>;
+            default_severity: z.ZodOptional<z.ZodString>;
+            prime_section_ref: z.ZodOptional<z.ZodString>;
+            authority: z.ZodOptional<z.ZodString>;
+            source: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">>;
+        disposed_by: z.ZodOptional<z.ZodString>;
+        disposed_at: z.ZodOptional<z.ZodString>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        rule_id: z.ZodString;
+        clause_ref: z.ZodString;
+        rulebook_version: z.ZodNumber;
+        state: z.ZodEnum<["draft", "in_review", "approved", "rejected"]>;
+        etag: z.ZodNumber;
+        body: z.ZodObject<{
+            id: z.ZodString;
+            playbook_id: z.ZodOptional<z.ZodString>;
+            verbatim_excerpt: z.ZodOptional<z.ZodString>;
+            suggested_text: z.ZodOptional<z.ZodString>;
+            rationale: z.ZodOptional<z.ZodString>;
+            mandatory: z.ZodOptional<z.ZodBoolean>;
+            default_severity: z.ZodOptional<z.ZodString>;
+            prime_section_ref: z.ZodOptional<z.ZodString>;
+            authority: z.ZodOptional<z.ZodString>;
+            source: z.ZodOptional<z.ZodString>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            id: z.ZodString;
+            playbook_id: z.ZodOptional<z.ZodString>;
+            verbatim_excerpt: z.ZodOptional<z.ZodString>;
+            suggested_text: z.ZodOptional<z.ZodString>;
+            rationale: z.ZodOptional<z.ZodString>;
+            mandatory: z.ZodOptional<z.ZodBoolean>;
+            default_severity: z.ZodOptional<z.ZodString>;
+            prime_section_ref: z.ZodOptional<z.ZodString>;
+            authority: z.ZodOptional<z.ZodString>;
+            source: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            id: z.ZodString;
+            playbook_id: z.ZodOptional<z.ZodString>;
+            verbatim_excerpt: z.ZodOptional<z.ZodString>;
+            suggested_text: z.ZodOptional<z.ZodString>;
+            rationale: z.ZodOptional<z.ZodString>;
+            mandatory: z.ZodOptional<z.ZodBoolean>;
+            default_severity: z.ZodOptional<z.ZodString>;
+            prime_section_ref: z.ZodOptional<z.ZodString>;
+            authority: z.ZodOptional<z.ZodString>;
+            source: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">>;
+        disposed_by: z.ZodOptional<z.ZodString>;
+        disposed_at: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        rule_id: z.ZodString;
+        clause_ref: z.ZodString;
+        rulebook_version: z.ZodNumber;
+        state: z.ZodEnum<["draft", "in_review", "approved", "rejected"]>;
+        etag: z.ZodNumber;
+        body: z.ZodObject<{
+            id: z.ZodString;
+            playbook_id: z.ZodOptional<z.ZodString>;
+            verbatim_excerpt: z.ZodOptional<z.ZodString>;
+            suggested_text: z.ZodOptional<z.ZodString>;
+            rationale: z.ZodOptional<z.ZodString>;
+            mandatory: z.ZodOptional<z.ZodBoolean>;
+            default_severity: z.ZodOptional<z.ZodString>;
+            prime_section_ref: z.ZodOptional<z.ZodString>;
+            authority: z.ZodOptional<z.ZodString>;
+            source: z.ZodOptional<z.ZodString>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            id: z.ZodString;
+            playbook_id: z.ZodOptional<z.ZodString>;
+            verbatim_excerpt: z.ZodOptional<z.ZodString>;
+            suggested_text: z.ZodOptional<z.ZodString>;
+            rationale: z.ZodOptional<z.ZodString>;
+            mandatory: z.ZodOptional<z.ZodBoolean>;
+            default_severity: z.ZodOptional<z.ZodString>;
+            prime_section_ref: z.ZodOptional<z.ZodString>;
+            authority: z.ZodOptional<z.ZodString>;
+            source: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            id: z.ZodString;
+            playbook_id: z.ZodOptional<z.ZodString>;
+            verbatim_excerpt: z.ZodOptional<z.ZodString>;
+            suggested_text: z.ZodOptional<z.ZodString>;
+            rationale: z.ZodOptional<z.ZodString>;
+            mandatory: z.ZodOptional<z.ZodBoolean>;
+            default_severity: z.ZodOptional<z.ZodString>;
+            prime_section_ref: z.ZodOptional<z.ZodString>;
+            authority: z.ZodOptional<z.ZodString>;
+            source: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">>;
+        disposed_by: z.ZodOptional<z.ZodString>;
+        disposed_at: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">>, "many">>>;
+}, z.ZodTypeAny, "passthrough">>;
+export type R1ApiErrorKind = "network" | "http" | "parse" | "forbidden" | "conflict" | "not_found";
+export declare class R1ApiError extends Error {
+    readonly kind: R1ApiErrorKind;
+    readonly status?: number;
+    constructor(kind: R1ApiErrorKind, message: string, status?: number);
+}
+export interface R1ApiConfig {
+    /** "mock" (default) serves fixtures; "real" hits `${baseUrl}` endpoints. */
+    mode?: "mock" | "real";
+    /** Service base URL, e.g. https://host/api/v1/lax-ai-legal-editor */
+    baseUrl?: string;
+    /** Returns the bearer token (sync or async); omitted → no auth header. */
+    getAuthToken?: () => string | undefined | Promise<string | undefined>;
+    workspaceId?: string;
+    /** Shown as the disposing identity on the approval screen. */
+    approver?: string;
+    /** Mock latency in ms (0 in tests). */
+    mockDelayMs?: number;
+}
+/** Configure once from the consumer (lax-web-portal) or panel props. */
+export declare const configureR1Api: (next: R1ApiConfig) => void;
+/** The identity stamped on dispositions — shown on the approval screen. */
+export declare const r1Approver: () => string;
+/** Test/demo hook: reset mock state to the pristine fixture dataset (also
+ * clears the real-mode job/candidate indexes). */
+export declare const resetR1Mock: () => void;
+export declare const uploadPrimeContract: (file: File, primeContractId?: string) => Promise<DerivationJob>;
+export declare const getDerivationJob: (jobId: string) => Promise<DerivationJob>;
+export declare const retryDerivationJob: (jobId: string) => Promise<DerivationJob>;
+export declare const listCandidateRules: (playbookId: string) => Promise<CandidateRule[]>;
+/** Approve a candidate; pass `editedText` when the approver edited the rule.
+ * Real mode: an edit is its own endpoint (POST .../edit bumps the etag),
+ * then the approve lands at the bumped etag. */
+export declare const approveCandidateRule: (candidateId: string, editedText?: string) => Promise<CandidateRule>;
+export declare const rejectCandidateRule: (candidateId: string) => Promise<CandidateRule>;
+export declare const bulkApproveCandidateRules: (playbookId: string, candidateIds: string[]) => Promise<CandidateRule[]>;
+export declare const getRulebookStatus: (playbookId: string) => Promise<RulebookStatus>;
+/**
+ * GET /v1/reviews/{id}/summary. The backend serves the run summary the stream
+ * transport recorded, so it only answers once the review's `done` frame has
+ * landed. Unknown id and cross-workspace id are both 404 by design (the store
+ * is workspace-keyed) — both surface here as R1ApiError kind "not_found".
+ *
+ * The live path does not need this call: the SSE `summary` frame carries the
+ * same counters, and the endpoint's flattened fields are pure arithmetic over
+ * them (see reviewSummaryFromStream). Use it to re-fetch a summary whose
+ * stream is no longer in hand.
+ */
+export declare const getReviewSummary: (reviewId: string) => Promise<ReviewSummary>;
+/**
+ * Adapts the stream's `summary` frame to the ExecSummaryPanel contract using
+ * exactly the derivation the endpoint applies server-side (redlining/api
+ * summary.go): by_provenance/by_severity are buckets of the run's
+ * finding_provenance/severity_mix maps, the three *_count fields are renames.
+ *
+ * Those maps are sparse on the wire — a real run reports finding_provenance
+ * `{cdts,lane,model}` with no `prime` key at all — so every lookup defaults to
+ * 0. Note `lane`/`model` have no bucket in by_provenance: prime + cdts is not
+ * the run's total finding count and must not be presented as one.
+ */
+export declare const reviewSummaryFromStream: (payload: {
+    severity_mix?: Record<string, number>;
+    finding_provenance?: Record<string, number>;
+    missing_flowdowns?: number;
+    escalations?: number;
+    suppressed?: number;
+}) => ReviewSummary;