@wowok/agent-mcp 3.1.3 → 3.1.4

package/dist/config/judgment.d.ts

@@ -0,0 +1,1228 @@
+import { z } from "zod";
+import { type RuleDomainPack } from "./rule-engine.js";
+export declare const EXPECTED_JUDGMENT_VERSION = 1;
+export declare const JUDGMENT_SECTION_NAMES: readonly ["evaluation", "game", "match", "monitor", "mode", "scorecard", "rules"];
+export type JudgmentSectionName = (typeof JUDGMENT_SECTION_NAMES)[number];
+export declare const DimensionStandardSchema: z.ZodObject<{
+    label: z.ZodString;
+    description: z.ZodString;
+}, z.core.$strict>;
+export declare const EvaluationSectionSchema: z.ZodObject<{
+    comment: z.ZodOptional<z.ZodString>;
+    weights: z.ZodRecord<z.ZodString, z.ZodNumber>;
+    dimensions: z.ZodRecord<z.ZodString, z.ZodObject<{
+        label: z.ZodString;
+        description: z.ZodString;
+    }, z.core.$strict>>;
+    severity_deduction: z.ZodRecord<z.ZodEnum<{
+        low: "low";
+        high: "high";
+        info: "info";
+        critical: "critical";
+        medium: "medium";
+    }>, z.ZodNumber>;
+    level_bands: z.ZodArray<z.ZodObject<{
+        min: z.ZodNumber;
+        level: z.ZodString;
+    }, z.core.$strict>>;
+    grade_words: z.ZodObject<{
+        comment: z.ZodOptional<z.ZodString>;
+        trust: z.ZodArray<z.ZodObject<{
+            min: z.ZodNumber;
+            word: z.ZodString;
+        }, z.core.$strict>>;
+        risk: z.ZodArray<z.ZodObject<{
+            min: z.ZodNumber;
+            word: z.ZodString;
+        }, z.core.$strict>>;
+    }, z.core.$strict>;
+}, z.core.$strict>;
+export declare const EvaluationSectionInputSchema: z.ZodObject<{
+    comment: z.ZodOptional<z.ZodString>;
+    weights: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodNumber>>;
+    dimensions: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
+        label: z.ZodString;
+        description: z.ZodString;
+    }, z.core.$strict>>>;
+    severity_deduction: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodNumber>>;
+    level_bands: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        min: z.ZodNumber;
+        level: z.ZodString;
+    }, z.core.$strict>>>;
+    grade_words: z.ZodOptional<z.ZodObject<{
+        comment: z.ZodOptional<z.ZodString>;
+        trust: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            min: z.ZodNumber;
+            word: z.ZodString;
+        }, z.core.$strict>>>;
+        risk: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            min: z.ZodNumber;
+            word: z.ZodString;
+        }, z.core.$strict>>>;
+    }, z.core.$strict>>;
+}, z.core.$strict>;
+export declare const ArbGameSectionSchema: z.ZodObject<{
+    comment: z.ZodOptional<z.ZodString>;
+    effect_semantics: z.ZodRecord<z.ZodString, z.ZodArray<z.ZodString>>;
+    role_interests: z.ZodRecord<z.ZodString, z.ZodObject<{
+        prefer: z.ZodArray<z.ZodString>;
+        avoid: z.ZodArray<z.ZodString>;
+        sensitivity: z.ZodNumber;
+    }, z.core.$strict>>;
+    keyword_rules: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        keywords: z.ZodArray<z.ZodString>;
+        effect: z.ZodString;
+        anchor: z.ZodEnum<{
+            avoid: "avoid";
+            prefer: "prefer";
+        }>;
+        when_forbidden: z.ZodBoolean;
+    }, z.core.$strict>>;
+    forbid_pattern: z.ZodString;
+    scoring: z.ZodObject<{
+        base: z.ZodNumber;
+        per_gain: z.ZodNumber;
+        per_risk: z.ZodNumber;
+    }, z.core.$strict>;
+}, z.core.$strict>;
+export declare const ArbGameSectionInputSchema: z.ZodObject<{
+    comment: z.ZodOptional<z.ZodOptional<z.ZodString>>;
+    effect_semantics: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodArray<z.ZodString>>>;
+    role_interests: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
+        prefer: z.ZodArray<z.ZodString>;
+        avoid: z.ZodArray<z.ZodString>;
+        sensitivity: z.ZodNumber;
+    }, z.core.$strict>>>;
+    keyword_rules: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        keywords: z.ZodArray<z.ZodString>;
+        effect: z.ZodString;
+        anchor: z.ZodEnum<{
+            avoid: "avoid";
+            prefer: "prefer";
+        }>;
+        when_forbidden: z.ZodBoolean;
+    }, z.core.$strict>>>;
+    forbid_pattern: z.ZodOptional<z.ZodString>;
+    scoring: z.ZodOptional<z.ZodObject<{
+        base: z.ZodNumber;
+        per_gain: z.ZodNumber;
+        per_risk: z.ZodNumber;
+    }, z.core.$strict>>;
+}, z.core.$strict>;
+export declare const GameSectionSchema: z.ZodObject<{
+    comment: z.ZodOptional<z.ZodString>;
+    outcome_semantics: z.ZodRecord<z.ZodString, z.ZodArray<z.ZodString>>;
+    role_interests: z.ZodRecord<z.ZodString, z.ZodObject<{
+        prefer: z.ZodArray<z.ZodString>;
+        avoid: z.ZodArray<z.ZodString>;
+        sensitivity: z.ZodNumber;
+    }, z.core.$strict>>;
+    appetite_multipliers: z.ZodObject<{
+        conservative: z.ZodNumber;
+        balanced: z.ZodNumber;
+        aggressive: z.ZodNumber;
+    }, z.core.$strict>;
+    scoring: z.ZodObject<{
+        base: z.ZodNumber;
+        per_gain: z.ZodNumber;
+        per_risk: z.ZodNumber;
+    }, z.core.$strict>;
+    keyword_rules: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        keywords: z.ZodArray<z.ZodString>;
+        effect: z.ZodString;
+        anchor: z.ZodEnum<{
+            avoid: "avoid";
+            prefer: "prefer";
+        }>;
+        when_forbidden: z.ZodBoolean;
+    }, z.core.$strict>>;
+    forbid_pattern: z.ZodString;
+    arb: z.ZodObject<{
+        comment: z.ZodOptional<z.ZodString>;
+        effect_semantics: z.ZodRecord<z.ZodString, z.ZodArray<z.ZodString>>;
+        role_interests: z.ZodRecord<z.ZodString, z.ZodObject<{
+            prefer: z.ZodArray<z.ZodString>;
+            avoid: z.ZodArray<z.ZodString>;
+            sensitivity: z.ZodNumber;
+        }, z.core.$strict>>;
+        keyword_rules: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            keywords: z.ZodArray<z.ZodString>;
+            effect: z.ZodString;
+            anchor: z.ZodEnum<{
+                avoid: "avoid";
+                prefer: "prefer";
+            }>;
+            when_forbidden: z.ZodBoolean;
+        }, z.core.$strict>>;
+        forbid_pattern: z.ZodString;
+        scoring: z.ZodObject<{
+            base: z.ZodNumber;
+            per_gain: z.ZodNumber;
+            per_risk: z.ZodNumber;
+        }, z.core.$strict>;
+    }, z.core.$strict>;
+}, z.core.$strict>;
+export declare const GameSectionInputSchema: z.ZodObject<{
+    comment: z.ZodOptional<z.ZodString>;
+    outcome_semantics: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodArray<z.ZodString>>>;
+    role_interests: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
+        prefer: z.ZodArray<z.ZodString>;
+        avoid: z.ZodArray<z.ZodString>;
+        sensitivity: z.ZodNumber;
+    }, z.core.$strict>>>;
+    appetite_multipliers: z.ZodOptional<z.ZodObject<{
+        conservative: z.ZodOptional<z.ZodNumber>;
+        balanced: z.ZodOptional<z.ZodNumber>;
+        aggressive: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strict>>;
+    scoring: z.ZodOptional<z.ZodObject<{
+        base: z.ZodOptional<z.ZodNumber>;
+        per_gain: z.ZodOptional<z.ZodNumber>;
+        per_risk: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strict>>;
+    keyword_rules: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        keywords: z.ZodArray<z.ZodString>;
+        effect: z.ZodString;
+        anchor: z.ZodEnum<{
+            avoid: "avoid";
+            prefer: "prefer";
+        }>;
+        when_forbidden: z.ZodBoolean;
+    }, z.core.$strict>>>;
+    forbid_pattern: z.ZodOptional<z.ZodString>;
+    arb: z.ZodOptional<z.ZodObject<{
+        comment: z.ZodOptional<z.ZodOptional<z.ZodString>>;
+        effect_semantics: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodArray<z.ZodString>>>;
+        role_interests: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
+            prefer: z.ZodArray<z.ZodString>;
+            avoid: z.ZodArray<z.ZodString>;
+            sensitivity: z.ZodNumber;
+        }, z.core.$strict>>>;
+        keyword_rules: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            keywords: z.ZodArray<z.ZodString>;
+            effect: z.ZodString;
+            anchor: z.ZodEnum<{
+                avoid: "avoid";
+                prefer: "prefer";
+            }>;
+            when_forbidden: z.ZodBoolean;
+        }, z.core.$strict>>>;
+        forbid_pattern: z.ZodOptional<z.ZodString>;
+        scoring: z.ZodOptional<z.ZodObject<{
+            base: z.ZodNumber;
+            per_gain: z.ZodNumber;
+            per_risk: z.ZodNumber;
+        }, z.core.$strict>>;
+    }, z.core.$strict>>;
+}, z.core.$strict>;
+export declare const MatchSectionSchema: z.ZodObject<{
+    comment: z.ZodOptional<z.ZodString>;
+    region_scores: z.ZodObject<{
+        exact: z.ZodNumber;
+        contains: z.ZodNumber;
+        compatible: z.ZodNumber;
+        overlap: z.ZodNumber;
+        mismatch: z.ZodNumber;
+    }, z.core.$strict>;
+    weights: z.ZodObject<{
+        region: z.ZodNumber;
+        industry: z.ZodNumber;
+        price: z.ZodNumber;
+        trust: z.ZodNumber;
+        capabilities: z.ZodNumber;
+        tags: z.ZodNumber;
+        acceptance: z.ZodNumber;
+    }, z.core.$strict>;
+    trust_bands: z.ZodArray<z.ZodObject<{
+        min: z.ZodNumber;
+        score: z.ZodNumber;
+    }, z.core.$strict>>;
+    neutral_score: z.ZodNumber;
+    price_over_budget_tolerance_pct: z.ZodNumber;
+    top_n: z.ZodNumber;
+}, z.core.$strict>;
+export declare const MatchSectionInputSchema: z.ZodObject<{
+    comment: z.ZodOptional<z.ZodString>;
+    region_scores: z.ZodOptional<z.ZodObject<{
+        exact: z.ZodOptional<z.ZodNumber>;
+        contains: z.ZodOptional<z.ZodNumber>;
+        compatible: z.ZodOptional<z.ZodNumber>;
+        overlap: z.ZodOptional<z.ZodNumber>;
+        mismatch: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strict>>;
+    weights: z.ZodOptional<z.ZodObject<{
+        region: z.ZodOptional<z.ZodNumber>;
+        industry: z.ZodOptional<z.ZodNumber>;
+        price: z.ZodOptional<z.ZodNumber>;
+        trust: z.ZodOptional<z.ZodNumber>;
+        capabilities: z.ZodOptional<z.ZodNumber>;
+        tags: z.ZodOptional<z.ZodNumber>;
+        acceptance: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strict>>;
+    trust_bands: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        min: z.ZodNumber;
+        score: z.ZodNumber;
+    }, z.core.$strict>>>;
+    neutral_score: z.ZodOptional<z.ZodNumber>;
+    price_over_budget_tolerance_pct: z.ZodOptional<z.ZodNumber>;
+    top_n: z.ZodOptional<z.ZodNumber>;
+}, z.core.$strict>;
+export declare const MonitorSectionSchema: z.ZodObject<{
+    comment: z.ZodOptional<z.ZodString>;
+    thresholds: z.ZodObject<{
+        progress_stall_hours: z.ZodNumber;
+        compensation_drop_ratio: z.ZodNumber;
+        compensation_coverage_min: z.ZodNumber;
+        messenger_timeout_hours: z.ZodNumber;
+        review_window_closing_days: z.ZodNumber;
+        arb_window_closing_days: z.ZodNumber;
+    }, z.core.$strict>;
+    escalation: z.ZodObject<{
+        default_expected_progress_hours: z.ZodNumber;
+        stall_expected_multiplier: z.ZodNumber;
+        stall_escalation_multiplier: z.ZodNumber;
+        messenger_escalation_multiplier: z.ZodNumber;
+        ratio_critical_threshold: z.ZodNumber;
+    }, z.core.$strict>;
+}, z.core.$strict>;
+export declare const MonitorSectionInputSchema: z.ZodObject<{
+    comment: z.ZodOptional<z.ZodString>;
+    thresholds: z.ZodOptional<z.ZodObject<{
+        progress_stall_hours: z.ZodOptional<z.ZodNumber>;
+        compensation_drop_ratio: z.ZodOptional<z.ZodNumber>;
+        compensation_coverage_min: z.ZodOptional<z.ZodNumber>;
+        messenger_timeout_hours: z.ZodOptional<z.ZodNumber>;
+        review_window_closing_days: z.ZodOptional<z.ZodNumber>;
+        arb_window_closing_days: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strict>>;
+    escalation: z.ZodOptional<z.ZodObject<{
+        default_expected_progress_hours: z.ZodOptional<z.ZodNumber>;
+        stall_expected_multiplier: z.ZodOptional<z.ZodNumber>;
+        stall_escalation_multiplier: z.ZodOptional<z.ZodNumber>;
+        messenger_escalation_multiplier: z.ZodOptional<z.ZodNumber>;
+        ratio_critical_threshold: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strict>>;
+}, z.core.$strict>;
+export declare const ModeSectionSchema: z.ZodObject<{
+    comment: z.ZodOptional<z.ZodString>;
+    appetite_thresholds: z.ZodObject<{
+        conservative: z.ZodObject<{
+            max_risk: z.ZodNumber;
+            min_benefit: z.ZodNumber;
+        }, z.core.$strict>;
+        balanced: z.ZodObject<{
+            max_risk: z.ZodNumber;
+            min_benefit: z.ZodNumber;
+        }, z.core.$strict>;
+        aggressive: z.ZodObject<{
+            max_risk: z.ZodNumber;
+            min_benefit: z.ZodNumber;
+        }, z.core.$strict>;
+    }, z.core.$strict>;
+}, z.core.$strict>;
+export declare const ModeSectionInputSchema: z.ZodObject<{
+    comment: z.ZodOptional<z.ZodString>;
+    appetite_thresholds: z.ZodOptional<z.ZodObject<{
+        conservative: z.ZodOptional<z.ZodObject<{
+            max_risk: z.ZodNumber;
+            min_benefit: z.ZodNumber;
+        }, z.core.$strict>>;
+        balanced: z.ZodOptional<z.ZodObject<{
+            max_risk: z.ZodNumber;
+            min_benefit: z.ZodNumber;
+        }, z.core.$strict>>;
+        aggressive: z.ZodOptional<z.ZodObject<{
+            max_risk: z.ZodNumber;
+            min_benefit: z.ZodNumber;
+        }, z.core.$strict>>;
+    }, z.core.$strict>>;
+}, z.core.$strict>;
+export declare const ScorecardSectionSchema: z.ZodObject<{
+    comment: z.ZodOptional<z.ZodString>;
+    metrics: z.ZodRecord<z.ZodString, z.ZodObject<{
+        weight: z.ZodOptional<z.ZodObject<{
+            volume: z.ZodNumber;
+            balanced: z.ZodNumber;
+            margin: z.ZodNumber;
+        }, z.core.$strict>>;
+        good_threshold: z.ZodOptional<z.ZodNumber>;
+        bad_threshold: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strict>>;
+    shop_evidence_metrics: z.ZodArray<z.ZodString>;
+}, z.core.$strict>;
+export declare const ScorecardSectionInputSchema: z.ZodObject<{
+    comment: z.ZodOptional<z.ZodString>;
+    metrics: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
+        weight: z.ZodOptional<z.ZodObject<{
+            volume: z.ZodNumber;
+            balanced: z.ZodNumber;
+            margin: z.ZodNumber;
+        }, z.core.$strict>>;
+        good_threshold: z.ZodOptional<z.ZodNumber>;
+        bad_threshold: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strict>>>;
+    shop_evidence_metrics: z.ZodOptional<z.ZodArray<z.ZodString>>;
+}, z.core.$strict>;
+export declare const RulesSectionSchema: z.ZodObject<{
+    comment: z.ZodOptional<z.ZodString>;
+    domains: z.ZodRecord<z.ZodString, z.ZodObject<{
+        comment: z.ZodOptional<z.ZodString>;
+        facts: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+        rules: z.ZodArray<z.ZodObject<{
+            rule_id: z.ZodString;
+            dimension: z.ZodOptional<z.ZodString>;
+            trigger: z.ZodOptional<z.ZodString>;
+            cases: z.ZodArray<z.ZodObject<{
+                when: z.ZodType<import("./rule-engine.js").RuleCondition, unknown, z.core.$ZodTypeInternals<import("./rule-engine.js").RuleCondition, unknown>>;
+                level: z.ZodType<"low" | "high" | "info" | "critical" | "medium", unknown, z.core.$ZodTypeInternals<"low" | "high" | "info" | "critical" | "medium", unknown>>;
+                title: z.ZodString;
+                description: z.ZodString;
+                scenario: z.ZodOptional<z.ZodString>;
+                mitigation: z.ZodOptional<z.ZodString>;
+                evidence: z.ZodOptional<z.ZodString>;
+                stakeholders: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                exposure: z.ZodOptional<z.ZodObject<{
+                    loss_parties: z.ZodArray<z.ZodObject<{
+                        role: z.ZodEnum<{
+                            merchant: "merchant";
+                            supplier: "supplier";
+                            collaborator: "collaborator";
+                            arbitrator: "arbitrator";
+                            neutral: "neutral";
+                            system: "system";
+                            buyer: "buyer";
+                        }>;
+                        basis: z.ZodString;
+                    }, z.core.$strict>>;
+                    gain_paths: z.ZodArray<z.ZodObject<{
+                        role: z.ZodEnum<{
+                            merchant: "merchant";
+                            supplier: "supplier";
+                            collaborator: "collaborator";
+                            arbitrator: "arbitrator";
+                            neutral: "neutral";
+                            system: "system";
+                            buyer: "buyer";
+                        }>;
+                        path: z.ZodString;
+                        viability: z.ZodUnion<readonly [z.ZodEnum<{
+                            conditional: "conditional";
+                            viable: "viable";
+                            blocked: "blocked";
+                            unverifiable: "unverifiable";
+                        }>, z.ZodString]>;
+                        gate: z.ZodString;
+                    }, z.core.$strict>>;
+                    downgrade_exempt: z.ZodOptional<z.ZodBoolean>;
+                }, z.core.$strict>>;
+            }, z.core.$strict>>;
+            enabled: z.ZodOptional<z.ZodBoolean>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>>;
+}, z.core.$strict>;
+export declare const RulesSectionInputSchema: z.ZodObject<{
+    comment: z.ZodOptional<z.ZodString>;
+    domains: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
+        comment: z.ZodOptional<z.ZodString>;
+        facts: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+        rules: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            rule_id: z.ZodString;
+            dimension: z.ZodOptional<z.ZodString>;
+            trigger: z.ZodOptional<z.ZodString>;
+            cases: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                when: z.ZodType<import("./rule-engine.js").RuleCondition, unknown, z.core.$ZodTypeInternals<import("./rule-engine.js").RuleCondition, unknown>>;
+                level: z.ZodType<"low" | "high" | "info" | "critical" | "medium", unknown, z.core.$ZodTypeInternals<"low" | "high" | "info" | "critical" | "medium", unknown>>;
+                title: z.ZodString;
+                description: z.ZodString;
+                scenario: z.ZodOptional<z.ZodString>;
+                mitigation: z.ZodOptional<z.ZodString>;
+                evidence: z.ZodOptional<z.ZodString>;
+                stakeholders: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                exposure: z.ZodOptional<z.ZodObject<{
+                    loss_parties: z.ZodArray<z.ZodObject<{
+                        role: z.ZodEnum<{
+                            merchant: "merchant";
+                            supplier: "supplier";
+                            collaborator: "collaborator";
+                            arbitrator: "arbitrator";
+                            neutral: "neutral";
+                            system: "system";
+                            buyer: "buyer";
+                        }>;
+                        basis: z.ZodString;
+                    }, z.core.$strict>>;
+                    gain_paths: z.ZodArray<z.ZodObject<{
+                        role: z.ZodEnum<{
+                            merchant: "merchant";
+                            supplier: "supplier";
+                            collaborator: "collaborator";
+                            arbitrator: "arbitrator";
+                            neutral: "neutral";
+                            system: "system";
+                            buyer: "buyer";
+                        }>;
+                        path: z.ZodString;
+                        viability: z.ZodUnion<readonly [z.ZodEnum<{
+                            conditional: "conditional";
+                            viable: "viable";
+                            blocked: "blocked";
+                            unverifiable: "unverifiable";
+                        }>, z.ZodString]>;
+                        gate: z.ZodString;
+                    }, z.core.$strict>>;
+                    downgrade_exempt: z.ZodOptional<z.ZodBoolean>;
+                }, z.core.$strict>>;
+            }, z.core.$strict>>>;
+            enabled: z.ZodOptional<z.ZodBoolean>;
+        }, z.core.$strict>>>;
+    }, z.core.$strict>>>;
+}, z.core.$strict>;
+export declare const JudgmentDocSchema: z.ZodObject<{
+    version: z.ZodNumber;
+    description: z.ZodOptional<z.ZodString>;
+    evaluation: z.ZodObject<{
+        comment: z.ZodOptional<z.ZodString>;
+        weights: z.ZodRecord<z.ZodString, z.ZodNumber>;
+        dimensions: z.ZodRecord<z.ZodString, z.ZodObject<{
+            label: z.ZodString;
+            description: z.ZodString;
+        }, z.core.$strict>>;
+        severity_deduction: z.ZodRecord<z.ZodEnum<{
+            low: "low";
+            high: "high";
+            info: "info";
+            critical: "critical";
+            medium: "medium";
+        }>, z.ZodNumber>;
+        level_bands: z.ZodArray<z.ZodObject<{
+            min: z.ZodNumber;
+            level: z.ZodString;
+        }, z.core.$strict>>;
+        grade_words: z.ZodObject<{
+            comment: z.ZodOptional<z.ZodString>;
+            trust: z.ZodArray<z.ZodObject<{
+                min: z.ZodNumber;
+                word: z.ZodString;
+            }, z.core.$strict>>;
+            risk: z.ZodArray<z.ZodObject<{
+                min: z.ZodNumber;
+                word: z.ZodString;
+            }, z.core.$strict>>;
+        }, z.core.$strict>;
+    }, z.core.$strict>;
+    game: z.ZodObject<{
+        comment: z.ZodOptional<z.ZodString>;
+        outcome_semantics: z.ZodRecord<z.ZodString, z.ZodArray<z.ZodString>>;
+        role_interests: z.ZodRecord<z.ZodString, z.ZodObject<{
+            prefer: z.ZodArray<z.ZodString>;
+            avoid: z.ZodArray<z.ZodString>;
+            sensitivity: z.ZodNumber;
+        }, z.core.$strict>>;
+        appetite_multipliers: z.ZodObject<{
+            conservative: z.ZodNumber;
+            balanced: z.ZodNumber;
+            aggressive: z.ZodNumber;
+        }, z.core.$strict>;
+        scoring: z.ZodObject<{
+            base: z.ZodNumber;
+            per_gain: z.ZodNumber;
+            per_risk: z.ZodNumber;
+        }, z.core.$strict>;
+        keyword_rules: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            keywords: z.ZodArray<z.ZodString>;
+            effect: z.ZodString;
+            anchor: z.ZodEnum<{
+                avoid: "avoid";
+                prefer: "prefer";
+            }>;
+            when_forbidden: z.ZodBoolean;
+        }, z.core.$strict>>;
+        forbid_pattern: z.ZodString;
+        arb: z.ZodObject<{
+            comment: z.ZodOptional<z.ZodString>;
+            effect_semantics: z.ZodRecord<z.ZodString, z.ZodArray<z.ZodString>>;
+            role_interests: z.ZodRecord<z.ZodString, z.ZodObject<{
+                prefer: z.ZodArray<z.ZodString>;
+                avoid: z.ZodArray<z.ZodString>;
+                sensitivity: z.ZodNumber;
+            }, z.core.$strict>>;
+            keyword_rules: z.ZodArray<z.ZodObject<{
+                id: z.ZodString;
+                keywords: z.ZodArray<z.ZodString>;
+                effect: z.ZodString;
+                anchor: z.ZodEnum<{
+                    avoid: "avoid";
+                    prefer: "prefer";
+                }>;
+                when_forbidden: z.ZodBoolean;
+            }, z.core.$strict>>;
+            forbid_pattern: z.ZodString;
+            scoring: z.ZodObject<{
+                base: z.ZodNumber;
+                per_gain: z.ZodNumber;
+                per_risk: z.ZodNumber;
+            }, z.core.$strict>;
+        }, z.core.$strict>;
+    }, z.core.$strict>;
+    match: z.ZodObject<{
+        comment: z.ZodOptional<z.ZodString>;
+        region_scores: z.ZodObject<{
+            exact: z.ZodNumber;
+            contains: z.ZodNumber;
+            compatible: z.ZodNumber;
+            overlap: z.ZodNumber;
+            mismatch: z.ZodNumber;
+        }, z.core.$strict>;
+        weights: z.ZodObject<{
+            region: z.ZodNumber;
+            industry: z.ZodNumber;
+            price: z.ZodNumber;
+            trust: z.ZodNumber;
+            capabilities: z.ZodNumber;
+            tags: z.ZodNumber;
+            acceptance: z.ZodNumber;
+        }, z.core.$strict>;
+        trust_bands: z.ZodArray<z.ZodObject<{
+            min: z.ZodNumber;
+            score: z.ZodNumber;
+        }, z.core.$strict>>;
+        neutral_score: z.ZodNumber;
+        price_over_budget_tolerance_pct: z.ZodNumber;
+        top_n: z.ZodNumber;
+    }, z.core.$strict>;
+    monitor: z.ZodObject<{
+        comment: z.ZodOptional<z.ZodString>;
+        thresholds: z.ZodObject<{
+            progress_stall_hours: z.ZodNumber;
+            compensation_drop_ratio: z.ZodNumber;
+            compensation_coverage_min: z.ZodNumber;
+            messenger_timeout_hours: z.ZodNumber;
+            review_window_closing_days: z.ZodNumber;
+            arb_window_closing_days: z.ZodNumber;
+        }, z.core.$strict>;
+        escalation: z.ZodObject<{
+            default_expected_progress_hours: z.ZodNumber;
+            stall_expected_multiplier: z.ZodNumber;
+            stall_escalation_multiplier: z.ZodNumber;
+            messenger_escalation_multiplier: z.ZodNumber;
+            ratio_critical_threshold: z.ZodNumber;
+        }, z.core.$strict>;
+    }, z.core.$strict>;
+    mode: z.ZodObject<{
+        comment: z.ZodOptional<z.ZodString>;
+        appetite_thresholds: z.ZodObject<{
+            conservative: z.ZodObject<{
+                max_risk: z.ZodNumber;
+                min_benefit: z.ZodNumber;
+            }, z.core.$strict>;
+            balanced: z.ZodObject<{
+                max_risk: z.ZodNumber;
+                min_benefit: z.ZodNumber;
+            }, z.core.$strict>;
+            aggressive: z.ZodObject<{
+                max_risk: z.ZodNumber;
+                min_benefit: z.ZodNumber;
+            }, z.core.$strict>;
+        }, z.core.$strict>;
+    }, z.core.$strict>;
+    scorecard: z.ZodObject<{
+        comment: z.ZodOptional<z.ZodString>;
+        metrics: z.ZodRecord<z.ZodString, z.ZodObject<{
+            weight: z.ZodOptional<z.ZodObject<{
+                volume: z.ZodNumber;
+                balanced: z.ZodNumber;
+                margin: z.ZodNumber;
+            }, z.core.$strict>>;
+            good_threshold: z.ZodOptional<z.ZodNumber>;
+            bad_threshold: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$strict>>;
+        shop_evidence_metrics: z.ZodArray<z.ZodString>;
+    }, z.core.$strict>;
+    rules: z.ZodObject<{
+        comment: z.ZodOptional<z.ZodString>;
+        domains: z.ZodRecord<z.ZodString, z.ZodObject<{
+            comment: z.ZodOptional<z.ZodString>;
+            facts: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+            rules: z.ZodArray<z.ZodObject<{
+                rule_id: z.ZodString;
+                dimension: z.ZodOptional<z.ZodString>;
+                trigger: z.ZodOptional<z.ZodString>;
+                cases: z.ZodArray<z.ZodObject<{
+                    when: z.ZodType<import("./rule-engine.js").RuleCondition, unknown, z.core.$ZodTypeInternals<import("./rule-engine.js").RuleCondition, unknown>>;
+                    level: z.ZodType<"low" | "high" | "info" | "critical" | "medium", unknown, z.core.$ZodTypeInternals<"low" | "high" | "info" | "critical" | "medium", unknown>>;
+                    title: z.ZodString;
+                    description: z.ZodString;
+                    scenario: z.ZodOptional<z.ZodString>;
+                    mitigation: z.ZodOptional<z.ZodString>;
+                    evidence: z.ZodOptional<z.ZodString>;
+                    stakeholders: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                    exposure: z.ZodOptional<z.ZodObject<{
+                        loss_parties: z.ZodArray<z.ZodObject<{
+                            role: z.ZodEnum<{
+                                merchant: "merchant";
+                                supplier: "supplier";
+                                collaborator: "collaborator";
+                                arbitrator: "arbitrator";
+                                neutral: "neutral";
+                                system: "system";
+                                buyer: "buyer";
+                            }>;
+                            basis: z.ZodString;
+                        }, z.core.$strict>>;
+                        gain_paths: z.ZodArray<z.ZodObject<{
+                            role: z.ZodEnum<{
+                                merchant: "merchant";
+                                supplier: "supplier";
+                                collaborator: "collaborator";
+                                arbitrator: "arbitrator";
+                                neutral: "neutral";
+                                system: "system";
+                                buyer: "buyer";
+                            }>;
+                            path: z.ZodString;
+                            viability: z.ZodUnion<readonly [z.ZodEnum<{
+                                conditional: "conditional";
+                                viable: "viable";
+                                blocked: "blocked";
+                                unverifiable: "unverifiable";
+                            }>, z.ZodString]>;
+                            gate: z.ZodString;
+                        }, z.core.$strict>>;
+                        downgrade_exempt: z.ZodOptional<z.ZodBoolean>;
+                    }, z.core.$strict>>;
+                }, z.core.$strict>>;
+                enabled: z.ZodOptional<z.ZodBoolean>;
+            }, z.core.$strict>>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>;
+}, z.core.$strict>;
+export declare const JudgmentDocInputSchema: z.ZodObject<{
+    version: z.ZodNumber;
+    description: z.ZodOptional<z.ZodString>;
+    evaluation: z.ZodOptional<z.ZodObject<{
+        comment: z.ZodOptional<z.ZodString>;
+        weights: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodNumber>>;
+        dimensions: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
+            label: z.ZodString;
+            description: z.ZodString;
+        }, z.core.$strict>>>;
+        severity_deduction: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodNumber>>;
+        level_bands: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            min: z.ZodNumber;
+            level: z.ZodString;
+        }, z.core.$strict>>>;
+        grade_words: z.ZodOptional<z.ZodObject<{
+            comment: z.ZodOptional<z.ZodString>;
+            trust: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                min: z.ZodNumber;
+                word: z.ZodString;
+            }, z.core.$strict>>>;
+            risk: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                min: z.ZodNumber;
+                word: z.ZodString;
+            }, z.core.$strict>>>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>>;
+    game: z.ZodOptional<z.ZodObject<{
+        comment: z.ZodOptional<z.ZodString>;
+        outcome_semantics: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodArray<z.ZodString>>>;
+        role_interests: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
+            prefer: z.ZodArray<z.ZodString>;
+            avoid: z.ZodArray<z.ZodString>;
+            sensitivity: z.ZodNumber;
+        }, z.core.$strict>>>;
+        appetite_multipliers: z.ZodOptional<z.ZodObject<{
+            conservative: z.ZodOptional<z.ZodNumber>;
+            balanced: z.ZodOptional<z.ZodNumber>;
+            aggressive: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$strict>>;
+        scoring: z.ZodOptional<z.ZodObject<{
+            base: z.ZodOptional<z.ZodNumber>;
+            per_gain: z.ZodOptional<z.ZodNumber>;
+            per_risk: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$strict>>;
+        keyword_rules: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            keywords: z.ZodArray<z.ZodString>;
+            effect: z.ZodString;
+            anchor: z.ZodEnum<{
+                avoid: "avoid";
+                prefer: "prefer";
+            }>;
+            when_forbidden: z.ZodBoolean;
+        }, z.core.$strict>>>;
+        forbid_pattern: z.ZodOptional<z.ZodString>;
+        arb: z.ZodOptional<z.ZodObject<{
+            comment: z.ZodOptional<z.ZodOptional<z.ZodString>>;
+            effect_semantics: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodArray<z.ZodString>>>;
+            role_interests: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
+                prefer: z.ZodArray<z.ZodString>;
+                avoid: z.ZodArray<z.ZodString>;
+                sensitivity: z.ZodNumber;
+            }, z.core.$strict>>>;
+            keyword_rules: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                id: z.ZodString;
+                keywords: z.ZodArray<z.ZodString>;
+                effect: z.ZodString;
+                anchor: z.ZodEnum<{
+                    avoid: "avoid";
+                    prefer: "prefer";
+                }>;
+                when_forbidden: z.ZodBoolean;
+            }, z.core.$strict>>>;
+            forbid_pattern: z.ZodOptional<z.ZodString>;
+            scoring: z.ZodOptional<z.ZodObject<{
+                base: z.ZodNumber;
+                per_gain: z.ZodNumber;
+                per_risk: z.ZodNumber;
+            }, z.core.$strict>>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>>;
+    match: z.ZodOptional<z.ZodObject<{
+        comment: z.ZodOptional<z.ZodString>;
+        region_scores: z.ZodOptional<z.ZodObject<{
+            exact: z.ZodOptional<z.ZodNumber>;
+            contains: z.ZodOptional<z.ZodNumber>;
+            compatible: z.ZodOptional<z.ZodNumber>;
+            overlap: z.ZodOptional<z.ZodNumber>;
+            mismatch: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$strict>>;
+        weights: z.ZodOptional<z.ZodObject<{
+            region: z.ZodOptional<z.ZodNumber>;
+            industry: z.ZodOptional<z.ZodNumber>;
+            price: z.ZodOptional<z.ZodNumber>;
+            trust: z.ZodOptional<z.ZodNumber>;
+            capabilities: z.ZodOptional<z.ZodNumber>;
+            tags: z.ZodOptional<z.ZodNumber>;
+            acceptance: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$strict>>;
+        trust_bands: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            min: z.ZodNumber;
+            score: z.ZodNumber;
+        }, z.core.$strict>>>;
+        neutral_score: z.ZodOptional<z.ZodNumber>;
+        price_over_budget_tolerance_pct: z.ZodOptional<z.ZodNumber>;
+        top_n: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strict>>;
+    monitor: z.ZodOptional<z.ZodObject<{
+        comment: z.ZodOptional<z.ZodString>;
+        thresholds: z.ZodOptional<z.ZodObject<{
+            progress_stall_hours: z.ZodOptional<z.ZodNumber>;
+            compensation_drop_ratio: z.ZodOptional<z.ZodNumber>;
+            compensation_coverage_min: z.ZodOptional<z.ZodNumber>;
+            messenger_timeout_hours: z.ZodOptional<z.ZodNumber>;
+            review_window_closing_days: z.ZodOptional<z.ZodNumber>;
+            arb_window_closing_days: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$strict>>;
+        escalation: z.ZodOptional<z.ZodObject<{
+            default_expected_progress_hours: z.ZodOptional<z.ZodNumber>;
+            stall_expected_multiplier: z.ZodOptional<z.ZodNumber>;
+            stall_escalation_multiplier: z.ZodOptional<z.ZodNumber>;
+            messenger_escalation_multiplier: z.ZodOptional<z.ZodNumber>;
+            ratio_critical_threshold: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>>;
+    mode: z.ZodOptional<z.ZodObject<{
+        comment: z.ZodOptional<z.ZodString>;
+        appetite_thresholds: z.ZodOptional<z.ZodObject<{
+            conservative: z.ZodOptional<z.ZodObject<{
+                max_risk: z.ZodNumber;
+                min_benefit: z.ZodNumber;
+            }, z.core.$strict>>;
+            balanced: z.ZodOptional<z.ZodObject<{
+                max_risk: z.ZodNumber;
+                min_benefit: z.ZodNumber;
+            }, z.core.$strict>>;
+            aggressive: z.ZodOptional<z.ZodObject<{
+                max_risk: z.ZodNumber;
+                min_benefit: z.ZodNumber;
+            }, z.core.$strict>>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>>;
+    scorecard: z.ZodOptional<z.ZodObject<{
+        comment: z.ZodOptional<z.ZodString>;
+        metrics: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
+            weight: z.ZodOptional<z.ZodObject<{
+                volume: z.ZodNumber;
+                balanced: z.ZodNumber;
+                margin: z.ZodNumber;
+            }, z.core.$strict>>;
+            good_threshold: z.ZodOptional<z.ZodNumber>;
+            bad_threshold: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$strict>>>;
+        shop_evidence_metrics: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    }, z.core.$strict>>;
+    rules: z.ZodOptional<z.ZodObject<{
+        comment: z.ZodOptional<z.ZodString>;
+        domains: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
+            comment: z.ZodOptional<z.ZodString>;
+            facts: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+            rules: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                rule_id: z.ZodString;
+                dimension: z.ZodOptional<z.ZodString>;
+                trigger: z.ZodOptional<z.ZodString>;
+                cases: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                    when: z.ZodType<import("./rule-engine.js").RuleCondition, unknown, z.core.$ZodTypeInternals<import("./rule-engine.js").RuleCondition, unknown>>;
+                    level: z.ZodType<"low" | "high" | "info" | "critical" | "medium", unknown, z.core.$ZodTypeInternals<"low" | "high" | "info" | "critical" | "medium", unknown>>;
+                    title: z.ZodString;
+                    description: z.ZodString;
+                    scenario: z.ZodOptional<z.ZodString>;
+                    mitigation: z.ZodOptional<z.ZodString>;
+                    evidence: z.ZodOptional<z.ZodString>;
+                    stakeholders: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                    exposure: z.ZodOptional<z.ZodObject<{
+                        loss_parties: z.ZodArray<z.ZodObject<{
+                            role: z.ZodEnum<{
+                                merchant: "merchant";
+                                supplier: "supplier";
+                                collaborator: "collaborator";
+                                arbitrator: "arbitrator";
+                                neutral: "neutral";
+                                system: "system";
+                                buyer: "buyer";
+                            }>;
+                            basis: z.ZodString;
+                        }, z.core.$strict>>;
+                        gain_paths: z.ZodArray<z.ZodObject<{
+                            role: z.ZodEnum<{
+                                merchant: "merchant";
+                                supplier: "supplier";
+                                collaborator: "collaborator";
+                                arbitrator: "arbitrator";
+                                neutral: "neutral";
+                                system: "system";
+                                buyer: "buyer";
+                            }>;
+                            path: z.ZodString;
+                            viability: z.ZodUnion<readonly [z.ZodEnum<{
+                                conditional: "conditional";
+                                viable: "viable";
+                                blocked: "blocked";
+                                unverifiable: "unverifiable";
+                            }>, z.ZodString]>;
+                            gate: z.ZodString;
+                        }, z.core.$strict>>;
+                        downgrade_exempt: z.ZodOptional<z.ZodBoolean>;
+                    }, z.core.$strict>>;
+                }, z.core.$strict>>>;
+                enabled: z.ZodOptional<z.ZodBoolean>;
+            }, z.core.$strict>>>;
+        }, z.core.$strict>>>;
+    }, z.core.$strict>>;
+}, z.core.$strict>;
+export type EvaluationSection = z.infer<typeof EvaluationSectionSchema>;
+export type DimensionStandard = z.infer<typeof DimensionStandardSchema>;
+export type GameSection = z.infer<typeof GameSectionSchema>;
+export type ArbGameSection = z.infer<typeof ArbGameSectionSchema>;
+export type MatchSection = z.infer<typeof MatchSectionSchema>;
+export type MonitorSection = z.infer<typeof MonitorSectionSchema>;
+export type ModeSection = z.infer<typeof ModeSectionSchema>;
+export type ScorecardSection = z.infer<typeof ScorecardSectionSchema>;
+export type JudgmentDoc = z.infer<typeof JudgmentDocSchema>;
+export type JudgmentDocInput = z.infer<typeof JudgmentDocInputSchema>;
+export declare const JudgmentFragmentSchema: z.ZodObject<{
+    match: z.ZodOptional<z.ZodObject<{
+        comment: z.ZodOptional<z.ZodString>;
+        region_scores: z.ZodOptional<z.ZodObject<{
+            exact: z.ZodOptional<z.ZodNumber>;
+            contains: z.ZodOptional<z.ZodNumber>;
+            compatible: z.ZodOptional<z.ZodNumber>;
+            overlap: z.ZodOptional<z.ZodNumber>;
+            mismatch: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$strict>>;
+        weights: z.ZodOptional<z.ZodObject<{
+            region: z.ZodOptional<z.ZodNumber>;
+            industry: z.ZodOptional<z.ZodNumber>;
+            price: z.ZodOptional<z.ZodNumber>;
+            trust: z.ZodOptional<z.ZodNumber>;
+            capabilities: z.ZodOptional<z.ZodNumber>;
+            tags: z.ZodOptional<z.ZodNumber>;
+            acceptance: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$strict>>;
+        trust_bands: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            min: z.ZodNumber;
+            score: z.ZodNumber;
+        }, z.core.$strict>>>;
+        neutral_score: z.ZodOptional<z.ZodNumber>;
+        price_over_budget_tolerance_pct: z.ZodOptional<z.ZodNumber>;
+        top_n: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strict>>;
+    description: z.ZodOptional<z.ZodString>;
+    rules: z.ZodOptional<z.ZodObject<{
+        comment: z.ZodOptional<z.ZodString>;
+        domains: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
+            comment: z.ZodOptional<z.ZodString>;
+            facts: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+            rules: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                rule_id: z.ZodString;
+                dimension: z.ZodOptional<z.ZodString>;
+                trigger: z.ZodOptional<z.ZodString>;
+                cases: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                    when: z.ZodType<import("./rule-engine.js").RuleCondition, unknown, z.core.$ZodTypeInternals<import("./rule-engine.js").RuleCondition, unknown>>;
+                    level: z.ZodType<"low" | "high" | "info" | "critical" | "medium", unknown, z.core.$ZodTypeInternals<"low" | "high" | "info" | "critical" | "medium", unknown>>;
+                    title: z.ZodString;
+                    description: z.ZodString;
+                    scenario: z.ZodOptional<z.ZodString>;
+                    mitigation: z.ZodOptional<z.ZodString>;
+                    evidence: z.ZodOptional<z.ZodString>;
+                    stakeholders: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                    exposure: z.ZodOptional<z.ZodObject<{
+                        loss_parties: z.ZodArray<z.ZodObject<{
+                            role: z.ZodEnum<{
+                                merchant: "merchant";
+                                supplier: "supplier";
+                                collaborator: "collaborator";
+                                arbitrator: "arbitrator";
+                                neutral: "neutral";
+                                system: "system";
+                                buyer: "buyer";
+                            }>;
+                            basis: z.ZodString;
+                        }, z.core.$strict>>;
+                        gain_paths: z.ZodArray<z.ZodObject<{
+                            role: z.ZodEnum<{
+                                merchant: "merchant";
+                                supplier: "supplier";
+                                collaborator: "collaborator";
+                                arbitrator: "arbitrator";
+                                neutral: "neutral";
+                                system: "system";
+                                buyer: "buyer";
+                            }>;
+                            path: z.ZodString;
+                            viability: z.ZodUnion<readonly [z.ZodEnum<{
+                                conditional: "conditional";
+                                viable: "viable";
+                                blocked: "blocked";
+                                unverifiable: "unverifiable";
+                            }>, z.ZodString]>;
+                            gate: z.ZodString;
+                        }, z.core.$strict>>;
+                        downgrade_exempt: z.ZodOptional<z.ZodBoolean>;
+                    }, z.core.$strict>>;
+                }, z.core.$strict>>>;
+                enabled: z.ZodOptional<z.ZodBoolean>;
+            }, z.core.$strict>>>;
+        }, z.core.$strict>>>;
+    }, z.core.$strict>>;
+    evaluation: z.ZodOptional<z.ZodObject<{
+        comment: z.ZodOptional<z.ZodString>;
+        weights: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodNumber>>;
+        dimensions: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
+            label: z.ZodString;
+            description: z.ZodString;
+        }, z.core.$strict>>>;
+        severity_deduction: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodNumber>>;
+        level_bands: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            min: z.ZodNumber;
+            level: z.ZodString;
+        }, z.core.$strict>>>;
+        grade_words: z.ZodOptional<z.ZodObject<{
+            comment: z.ZodOptional<z.ZodString>;
+            trust: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                min: z.ZodNumber;
+                word: z.ZodString;
+            }, z.core.$strict>>>;
+            risk: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                min: z.ZodNumber;
+                word: z.ZodString;
+            }, z.core.$strict>>>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>>;
+    game: z.ZodOptional<z.ZodObject<{
+        comment: z.ZodOptional<z.ZodString>;
+        outcome_semantics: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodArray<z.ZodString>>>;
+        role_interests: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
+            prefer: z.ZodArray<z.ZodString>;
+            avoid: z.ZodArray<z.ZodString>;
+            sensitivity: z.ZodNumber;
+        }, z.core.$strict>>>;
+        appetite_multipliers: z.ZodOptional<z.ZodObject<{
+            conservative: z.ZodOptional<z.ZodNumber>;
+            balanced: z.ZodOptional<z.ZodNumber>;
+            aggressive: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$strict>>;
+        scoring: z.ZodOptional<z.ZodObject<{
+            base: z.ZodOptional<z.ZodNumber>;
+            per_gain: z.ZodOptional<z.ZodNumber>;
+            per_risk: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$strict>>;
+        keyword_rules: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            keywords: z.ZodArray<z.ZodString>;
+            effect: z.ZodString;
+            anchor: z.ZodEnum<{
+                avoid: "avoid";
+                prefer: "prefer";
+            }>;
+            when_forbidden: z.ZodBoolean;
+        }, z.core.$strict>>>;
+        forbid_pattern: z.ZodOptional<z.ZodString>;
+        arb: z.ZodOptional<z.ZodObject<{
+            comment: z.ZodOptional<z.ZodOptional<z.ZodString>>;
+            effect_semantics: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodArray<z.ZodString>>>;
+            role_interests: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
+                prefer: z.ZodArray<z.ZodString>;
+                avoid: z.ZodArray<z.ZodString>;
+                sensitivity: z.ZodNumber;
+            }, z.core.$strict>>>;
+            keyword_rules: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                id: z.ZodString;
+                keywords: z.ZodArray<z.ZodString>;
+                effect: z.ZodString;
+                anchor: z.ZodEnum<{
+                    avoid: "avoid";
+                    prefer: "prefer";
+                }>;
+                when_forbidden: z.ZodBoolean;
+            }, z.core.$strict>>>;
+            forbid_pattern: z.ZodOptional<z.ZodString>;
+            scoring: z.ZodOptional<z.ZodObject<{
+                base: z.ZodNumber;
+                per_gain: z.ZodNumber;
+                per_risk: z.ZodNumber;
+            }, z.core.$strict>>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>>;
+    monitor: z.ZodOptional<z.ZodObject<{
+        comment: z.ZodOptional<z.ZodString>;
+        thresholds: z.ZodOptional<z.ZodObject<{
+            progress_stall_hours: z.ZodOptional<z.ZodNumber>;
+            compensation_drop_ratio: z.ZodOptional<z.ZodNumber>;
+            compensation_coverage_min: z.ZodOptional<z.ZodNumber>;
+            messenger_timeout_hours: z.ZodOptional<z.ZodNumber>;
+            review_window_closing_days: z.ZodOptional<z.ZodNumber>;
+            arb_window_closing_days: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$strict>>;
+        escalation: z.ZodOptional<z.ZodObject<{
+            default_expected_progress_hours: z.ZodOptional<z.ZodNumber>;
+            stall_expected_multiplier: z.ZodOptional<z.ZodNumber>;
+            stall_escalation_multiplier: z.ZodOptional<z.ZodNumber>;
+            messenger_escalation_multiplier: z.ZodOptional<z.ZodNumber>;
+            ratio_critical_threshold: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>>;
+    mode: z.ZodOptional<z.ZodObject<{
+        comment: z.ZodOptional<z.ZodString>;
+        appetite_thresholds: z.ZodOptional<z.ZodObject<{
+            conservative: z.ZodOptional<z.ZodObject<{
+                max_risk: z.ZodNumber;
+                min_benefit: z.ZodNumber;
+            }, z.core.$strict>>;
+            balanced: z.ZodOptional<z.ZodObject<{
+                max_risk: z.ZodNumber;
+                min_benefit: z.ZodNumber;
+            }, z.core.$strict>>;
+            aggressive: z.ZodOptional<z.ZodObject<{
+                max_risk: z.ZodNumber;
+                min_benefit: z.ZodNumber;
+            }, z.core.$strict>>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>>;
+    scorecard: z.ZodOptional<z.ZodObject<{
+        comment: z.ZodOptional<z.ZodString>;
+        metrics: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
+            weight: z.ZodOptional<z.ZodObject<{
+                volume: z.ZodNumber;
+                balanced: z.ZodNumber;
+                margin: z.ZodNumber;
+            }, z.core.$strict>>;
+            good_threshold: z.ZodOptional<z.ZodNumber>;
+            bad_threshold: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$strict>>>;
+        shop_evidence_metrics: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    }, z.core.$strict>>;
+    version: z.ZodOptional<z.ZodNumber>;
+}, z.core.$strict>;
+export type JudgmentLayerFragment = z.infer<typeof JudgmentFragmentSchema>;
+export declare function mergeJudgmentValues(base: unknown, over: unknown): unknown;
+export declare function userJudgmentDocPath(): string;
+export declare function factoryRulePack(domain: string): RuleDomainPack | null;
+export declare function setJudgmentPersonaFragment(fragment: unknown, label?: string): {
+    ok: boolean;
+    error?: string;
+};
+export declare function setJudgmentIndustryOverlay(fragment: unknown, label?: string): {
+    ok: boolean;
+    error?: string;
+};
+export declare function judgmentLayerError(slot: "persona" | "industry"): string | null;
+export declare function validateJudgmentFragment(fragment: unknown, label?: string): string | null;
+export declare function judgmentDisableTrace(): Array<{
+    layer: string;
+    domain: string;
+    rule_id: string;
+}>;
+export declare function clearJudgmentLayers(): void;
+export declare function setJudgmentOverride(path: string, value: unknown): {
+    ok: true;
+} | {
+    ok: false;
+    error: string;
+};
+export declare function clearJudgmentOverride(path: string): boolean;
+export declare function clearJudgmentOverrides(): number;
+export declare function judgmentOverrides(): Array<{
+    path: string;
+    value: unknown;
+}>;
+export declare function getJudgmentDoc(): JudgmentDoc;
+export declare function beginPolicyRun(): void;
+export declare function endPolicyRun(): void;
+export declare function policyJudgmentDoc(): JudgmentDoc;
+export declare function evaluationSection(): EvaluationSection;
+export declare function factoryJudgmentDoc(): JudgmentDoc;
+export interface JudgmentDocRead {
+    user_path: string;
+    exists: boolean;
+    version: number;
+    doc: unknown;
+}
+export declare function readUserJudgmentDocView(): JudgmentDocRead;
+export interface JudgmentStatus {
+    version: number;
+    factory_path: string;
+    user_path: string;
+    user_doc_loaded: boolean;
+    user_mtime: string | null;
+    last_reload_error: string | null;
+    user_doc: unknown;
+    persona_fragment_loaded: boolean;
+    industry_overlay_loaded: boolean;
+    layer_errors: {
+        persona: string | null;
+        industry: string | null;
+    };
+    disable_trace: Array<{
+        layer: string;
+        domain: string;
+        rule_id: string;
+    }>;
+    sections: Record<string, number>;
+    overrides: Array<{
+        path: string;
+        value: unknown;
+    }>;
+}
+export declare function judgmentStatus(): JudgmentStatus;
+export interface JudgmentDocPatchChange {
+    path: string;
+    old: unknown;
+    new: unknown;
+}
+export interface JudgmentDocPatchResult {
+    applied: boolean;
+    user_path: string;
+    backup_path: string | null;
+    version: number;
+    changed: JudgmentDocPatchChange[];
+    reload_error: string | null;
+}
+export declare function patchUserJudgmentDoc(patch: unknown): JudgmentDocPatchResult;