@wowok/agent-mcp 3.1.2 → 3.1.4

package/dist/schema/evaluation/index.d.ts

@@ -55,75 +55,147 @@ export declare const CapabilityVectorSchema: z.ZodObject<{
     tags: z.ZodOptional<z.ZodArray<z.ZodString>>;
     keywords: z.ZodOptional<z.ZodArray<z.ZodString>>;
 }, z.core.$strict>;
-export declare const PuzzleRawDataSchema: z.ZodObject<{
-    service: z.ZodObject<{
-        name: z.ZodOptional<z.ZodString>;
-        bPublished: z.ZodOptional<z.ZodBoolean>;
-        bPaused: z.ZodOptional<z.ZodBoolean>;
-        price: z.ZodOptional<z.ZodString>;
-        priceRaw: z.ZodOptional<z.ZodString>;
-        token_type: z.ZodOptional<z.ZodString>;
-        sales: z.ZodOptional<z.ZodArray<z.ZodObject<{
-            suspension: z.ZodOptional<z.ZodBoolean>;
-            wip_url: z.ZodOptional<z.ZodString>;
-            wip_hash: z.ZodOptional<z.ZodString>;
-        }, z.core.$strict>>>;
-        machine: z.ZodOptional<z.ZodString>;
-        buy_guard: z.ZodOptional<z.ZodString>;
-        customer_required: z.ZodOptional<z.ZodArray<z.ZodUnknown>>;
-        arbitrations: z.ZodOptional<z.ZodArray<z.ZodString>>;
-        compensation_fund: z.ZodOptional<z.ZodObject<{
-            balance: z.ZodOptional<z.ZodString>;
+export declare const GraphServiceEvaluationSchema: z.ZodObject<{
+    target: z.ZodString;
+    trust: z.ZodObject<{
+        evaluation_id: z.ZodString;
+        total: z.ZodNumber;
+        level: z.ZodEnum<{
+            low: "low";
+            medium_low: "medium_low";
+            medium_high: "medium_high";
+            high: "high";
+        }>;
+        breakdown: z.ZodArray<z.ZodObject<{
+            rule_id: z.ZodString;
+            dimension: z.ZodString;
+            score: z.ZodNumber;
+            weight: z.ZodNumber;
+            reason: z.ZodOptional<z.ZodString>;
+            matched: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            mismatched: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            finding_refs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                id: z.ZodString;
+                title: z.ZodString;
+                severity: z.ZodString;
+            }, z.core.$strict>>>;
+            red_flag: z.ZodOptional<z.ZodBoolean>;
         }, z.core.$strict>>;
-        compensation_lock_duration: z.ZodOptional<z.ZodNumber>;
-        um: z.ZodOptional<z.ZodString>;
+        red_flags: z.ZodArray<z.ZodString>;
+        blocked: z.ZodBoolean;
+        trace: z.ZodArray<z.ZodObject<{
+            kind: z.ZodEnum<{
+                override: "override";
+                data_source: "data_source";
+                rule: "rule";
+            }>;
+            id: z.ZodString;
+            detail: z.ZodString;
+        }, z.core.$strict>>;
+        summary: z.ZodString;
+        unverified: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        criterionScores: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+            score: z.ZodNumber;
+            weight: z.ZodNumber;
+            rationale: z.ZodString;
+        }, z.core.$strict>>>;
+        findings: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            criterion: z.ZodString;
+            severity: z.ZodEnum<{
+                low: "low";
+                high: "high";
+                info: "info";
+                critical: "critical";
+                medium: "medium";
+            }>;
+            message: z.ZodString;
+            deduction: z.ZodNumber;
+        }, z.core.$strict>>>;
+        strengths: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        needsLlm: z.ZodOptional<z.ZodBoolean>;
+        llmPrompt: z.ZodOptional<z.ZodString>;
     }, z.core.$strict>;
-    machine_nodes: z.ZodOptional<z.ZodArray<z.ZodObject<{
-        name: z.ZodString;
-        forwards: z.ZodOptional<z.ZodArray<z.ZodObject<{
-            name: z.ZodOptional<z.ZodString>;
-            weight: z.ZodOptional<z.ZodNumber>;
-            namedOperator: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            guard: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            to: z.ZodOptional<z.ZodString>;
+    risk: z.ZodObject<{
+        evaluation_id: z.ZodString;
+        total: z.ZodNumber;
+        level: z.ZodEnum<{
+            low: "low";
+            medium_low: "medium_low";
+            medium_high: "medium_high";
+            high: "high";
+        }>;
+        breakdown: z.ZodArray<z.ZodObject<{
+            rule_id: z.ZodString;
+            dimension: z.ZodString;
+            score: z.ZodNumber;
+            weight: z.ZodNumber;
+            reason: z.ZodOptional<z.ZodString>;
+            matched: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            mismatched: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            finding_refs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                id: z.ZodString;
+                title: z.ZodString;
+                severity: z.ZodString;
+            }, z.core.$strict>>>;
+            red_flag: z.ZodOptional<z.ZodBoolean>;
+        }, z.core.$strict>>;
+        red_flags: z.ZodArray<z.ZodString>;
+        blocked: z.ZodBoolean;
+        trace: z.ZodArray<z.ZodObject<{
+            kind: z.ZodEnum<{
+                override: "override";
+                data_source: "data_source";
+                rule: "rule";
+            }>;
+            id: z.ZodString;
+            detail: z.ZodString;
+        }, z.core.$strict>>;
+        summary: z.ZodString;
+        unverified: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        criterionScores: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+            score: z.ZodNumber;
+            weight: z.ZodNumber;
+            rationale: z.ZodString;
         }, z.core.$strict>>>;
-        is_pair_done: z.ZodOptional<z.ZodBoolean>;
-    }, z.core.$strict>>>;
-    machine_published: z.ZodOptional<z.ZodBoolean>;
-    machine_paused: z.ZodOptional<z.ZodBoolean>;
-    reviews: z.ZodOptional<z.ZodArray<z.ZodObject<{
-        rating: z.ZodOptional<z.ZodString>;
-        reviewer: z.ZodOptional<z.ZodString>;
-        verified: z.ZodOptional<z.ZodBoolean>;
-        has_evidence: z.ZodOptional<z.ZodBoolean>;
-        timestamp: z.ZodOptional<z.ZodNumber>;
-    }, z.core.$strict>>>;
-    events: z.ZodOptional<z.ZodArray<z.ZodObject<{
-        type: z.ZodString;
-        timestamp: z.ZodOptional<z.ZodNumber>;
-        address: z.ZodOptional<z.ZodString>;
-        data: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
-    }, z.core.$strict>>>;
-    similar_services: z.ZodOptional<z.ZodArray<z.ZodObject<{
-        price: z.ZodString;
-    }, z.core.$strict>>>;
-    order_amount: z.ZodOptional<z.ZodString>;
-    trust_score: z.ZodOptional<z.ZodObject<{
-        score: z.ZodNumber;
-        level: z.ZodString;
-    }, z.core.$strict>>;
-    arbitration_owner: z.ZodOptional<z.ZodString>;
-    service_owner: z.ZodOptional<z.ZodString>;
-    wip_verified: z.ZodOptional<z.ZodBoolean>;
-    order_history: z.ZodOptional<z.ZodArray<z.ZodObject<{
-        status: z.ZodString;
-        has_dispute: z.ZodBoolean;
-        is_repeat: z.ZodBoolean;
-    }, z.core.$strict>>>;
-    merchant_reputation: z.ZodOptional<z.ZodObject<{
-        likes: z.ZodNumber;
-        dislikes: z.ZodNumber;
+        findings: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            criterion: z.ZodString;
+            severity: z.ZodEnum<{
+                low: "low";
+                high: "high";
+                info: "info";
+                critical: "critical";
+                medium: "medium";
+            }>;
+            message: z.ZodString;
+            deduction: z.ZodNumber;
+        }, z.core.$strict>>>;
+        strengths: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        needsLlm: z.ZodOptional<z.ZodBoolean>;
+        llmPrompt: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>;
+    completeness: z.ZodNumber;
+    coverage: z.ZodArray<z.ZodObject<{
+        slot: z.ZodString;
+        label: z.ZodString;
+        gloss: z.ZodString;
+        required: z.ZodBoolean;
+        state: z.ZodEnum<{
+            present: "present";
+            empty: "empty";
+            gap: "gap";
+        }>;
+        facts: z.ZodArray<z.ZodString>;
     }, z.core.$strict>>;
+    unverified: z.ZodArray<z.ZodString>;
+    vocabulary: z.ZodObject<{
+        present: z.ZodString;
+        empty: z.ZodString;
+        gap: z.ZodString;
+        unverified: z.ZodString;
+        completeness: z.ZodString;
+    }, z.core.$strict>;
 }, z.core.$strict>;
 export declare const EvaluationOperationInputSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
     action: z.ZodLiteral<"arb_game">;
@@ -616,112 +688,6 @@ export declare const EvaluationOperationInputSchema: z.ZodDiscriminatedUnion<[z.
         }, z.core.$strict>>;
     }, z.core.$strict>>;
     account: z.ZodOptional<z.ZodString>;
-}, z.core.$strict>, z.ZodObject<{
-    action: z.ZodLiteral<"service_risk">;
-    service_id: z.ZodString;
-    puzzle_raw: z.ZodObject<{
-        service: z.ZodObject<{
-            name: z.ZodOptional<z.ZodString>;
-            bPublished: z.ZodOptional<z.ZodBoolean>;
-            bPaused: z.ZodOptional<z.ZodBoolean>;
-            price: z.ZodOptional<z.ZodString>;
-            priceRaw: z.ZodOptional<z.ZodString>;
-            token_type: z.ZodOptional<z.ZodString>;
-            sales: z.ZodOptional<z.ZodArray<z.ZodObject<{
-                suspension: z.ZodOptional<z.ZodBoolean>;
-                wip_url: z.ZodOptional<z.ZodString>;
-                wip_hash: z.ZodOptional<z.ZodString>;
-            }, z.core.$strict>>>;
-            machine: z.ZodOptional<z.ZodString>;
-            buy_guard: z.ZodOptional<z.ZodString>;
-            customer_required: z.ZodOptional<z.ZodArray<z.ZodUnknown>>;
-            arbitrations: z.ZodOptional<z.ZodArray<z.ZodString>>;
-            compensation_fund: z.ZodOptional<z.ZodObject<{
-                balance: z.ZodOptional<z.ZodString>;
-            }, z.core.$strict>>;
-            compensation_lock_duration: z.ZodOptional<z.ZodNumber>;
-            um: z.ZodOptional<z.ZodString>;
-        }, z.core.$strict>;
-        machine_nodes: z.ZodOptional<z.ZodArray<z.ZodObject<{
-            name: z.ZodString;
-            forwards: z.ZodOptional<z.ZodArray<z.ZodObject<{
-                name: z.ZodOptional<z.ZodString>;
-                weight: z.ZodOptional<z.ZodNumber>;
-                namedOperator: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                guard: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-                to: z.ZodOptional<z.ZodString>;
-            }, z.core.$strict>>>;
-            is_pair_done: z.ZodOptional<z.ZodBoolean>;
-        }, z.core.$strict>>>;
-        machine_published: z.ZodOptional<z.ZodBoolean>;
-        machine_paused: z.ZodOptional<z.ZodBoolean>;
-        reviews: z.ZodOptional<z.ZodArray<z.ZodObject<{
-            rating: z.ZodOptional<z.ZodString>;
-            reviewer: z.ZodOptional<z.ZodString>;
-            verified: z.ZodOptional<z.ZodBoolean>;
-            has_evidence: z.ZodOptional<z.ZodBoolean>;
-            timestamp: z.ZodOptional<z.ZodNumber>;
-        }, z.core.$strict>>>;
-        events: z.ZodOptional<z.ZodArray<z.ZodObject<{
-            type: z.ZodString;
-            timestamp: z.ZodOptional<z.ZodNumber>;
-            address: z.ZodOptional<z.ZodString>;
-            data: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
-        }, z.core.$strict>>>;
-        similar_services: z.ZodOptional<z.ZodArray<z.ZodObject<{
-            price: z.ZodString;
-        }, z.core.$strict>>>;
-        order_amount: z.ZodOptional<z.ZodString>;
-        trust_score: z.ZodOptional<z.ZodObject<{
-            score: z.ZodNumber;
-            level: z.ZodString;
-        }, z.core.$strict>>;
-        arbitration_owner: z.ZodOptional<z.ZodString>;
-        service_owner: z.ZodOptional<z.ZodString>;
-        wip_verified: z.ZodOptional<z.ZodBoolean>;
-        order_history: z.ZodOptional<z.ZodArray<z.ZodObject<{
-            status: z.ZodString;
-            has_dispute: z.ZodBoolean;
-            is_repeat: z.ZodBoolean;
-        }, z.core.$strict>>>;
-        merchant_reputation: z.ZodOptional<z.ZodObject<{
-            likes: z.ZodNumber;
-            dislikes: z.ZodNumber;
-        }, z.core.$strict>>;
-    }, z.core.$strict>;
-    presenter_history: z.ZodOptional<z.ZodArray<z.ZodObject<{
-        demand_id: z.ZodOptional<z.ZodString>;
-        acceptance_score: z.ZodNullable<z.ZodNumber>;
-        feedback_time: z.ZodOptional<z.ZodNumber>;
-    }, z.core.$strict>>>;
-    injection: z.ZodOptional<z.ZodObject<{
-        intent: z.ZodOptional<z.ZodString>;
-        preferences: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
-        requirements: z.ZodOptional<z.ZodArray<z.ZodObject<{
-            rule_id: z.ZodString;
-            condition: z.ZodEnum<{
-                require: "require";
-                forbid: "forbid";
-            }>;
-            note: z.ZodOptional<z.ZodString>;
-        }, z.core.$strict>>>;
-        overrides: z.ZodOptional<z.ZodObject<{
-            rules: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
-                enabled: z.ZodOptional<z.ZodBoolean>;
-                weight: z.ZodOptional<z.ZodNumber>;
-            }, z.core.$strict>>>;
-            data_sources: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
-                enabled: z.ZodOptional<z.ZodBoolean>;
-            }, z.core.$strict>>>;
-        }, z.core.$strict>>;
-    }, z.core.$strict>>;
-    depth: z.ZodOptional<z.ZodEnum<{
-        browse: "browse";
-        evaluate: "evaluate";
-        preorder: "preorder";
-        monitor: "monitor";
-    }>>;
-    account: z.ZodOptional<z.ZodString>;
 }, z.core.$strict>, z.ZodObject<{
     action: z.ZodLiteral<"path_reasoning">;
     current_node: z.ZodString;
@@ -1166,8 +1132,8 @@ export declare const EvaluationOperationOutputSchema: z.ZodObject<{
                 provided: z.ZodString;
                 status: z.ZodEnum<{
                     partial: "partial";
-                    satisfied: "satisfied";
                     missing: "missing";
+                    satisfied: "satisfied";
                 }>;
                 impact: z.ZodEnum<{
                     critical: "critical";
@@ -1182,8 +1148,8 @@ export declare const EvaluationOperationOutputSchema: z.ZodObject<{
                 provided: z.ZodString;
                 status: z.ZodEnum<{
                     partial: "partial";
-                    satisfied: "satisfied";
                     missing: "missing";
+                    satisfied: "satisfied";
                 }>;
                 impact: z.ZodEnum<{
                     critical: "critical";
@@ -1250,6 +1216,11 @@ export declare const EvaluationOperationOutputSchema: z.ZodObject<{
                     reason: z.ZodOptional<z.ZodString>;
                     matched: z.ZodOptional<z.ZodArray<z.ZodString>>;
                     mismatched: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                    finding_refs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                        id: z.ZodString;
+                        title: z.ZodString;
+                        severity: z.ZodString;
+                    }, z.core.$strict>>>;
                     red_flag: z.ZodOptional<z.ZodBoolean>;
                 }, z.core.$strict>>;
                 red_flags: z.ZodArray<z.ZodString>;
@@ -1257,13 +1228,35 @@ export declare const EvaluationOperationOutputSchema: z.ZodObject<{
                 trace: z.ZodArray<z.ZodObject<{
                     kind: z.ZodEnum<{
                         override: "override";
-                        rule: "rule";
                         data_source: "data_source";
+                        rule: "rule";
                     }>;
                     id: z.ZodString;
                     detail: z.ZodString;
                 }, z.core.$strict>>;
                 summary: z.ZodString;
+                unverified: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                criterionScores: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                    name: z.ZodString;
+                    score: z.ZodNumber;
+                    weight: z.ZodNumber;
+                    rationale: z.ZodString;
+                }, z.core.$strict>>>;
+                findings: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                    criterion: z.ZodString;
+                    severity: z.ZodEnum<{
+                        low: "low";
+                        high: "high";
+                        info: "info";
+                        critical: "critical";
+                        medium: "medium";
+                    }>;
+                    message: z.ZodString;
+                    deduction: z.ZodNumber;
+                }, z.core.$strict>>>;
+                strengths: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                needsLlm: z.ZodOptional<z.ZodBoolean>;
+                llmPrompt: z.ZodOptional<z.ZodString>;
             }, z.core.$strict>;
             next: z.ZodObject<{
                 operation: z.ZodString;
@@ -1312,6 +1305,11 @@ export declare const EvaluationOperationOutputSchema: z.ZodObject<{
                     reason: z.ZodOptional<z.ZodString>;
                     matched: z.ZodOptional<z.ZodArray<z.ZodString>>;
                     mismatched: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                    finding_refs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                        id: z.ZodString;
+                        title: z.ZodString;
+                        severity: z.ZodString;
+                    }, z.core.$strict>>>;
                     red_flag: z.ZodOptional<z.ZodBoolean>;
                 }, z.core.$strict>>;
                 red_flags: z.ZodArray<z.ZodString>;
@@ -1319,13 +1317,35 @@ export declare const EvaluationOperationOutputSchema: z.ZodObject<{
                 trace: z.ZodArray<z.ZodObject<{
                     kind: z.ZodEnum<{
                         override: "override";
-                        rule: "rule";
                         data_source: "data_source";
+                        rule: "rule";
                     }>;
                     id: z.ZodString;
                     detail: z.ZodString;
                 }, z.core.$strict>>;
                 summary: z.ZodString;
+                unverified: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                criterionScores: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                    name: z.ZodString;
+                    score: z.ZodNumber;
+                    weight: z.ZodNumber;
+                    rationale: z.ZodString;
+                }, z.core.$strict>>>;
+                findings: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                    criterion: z.ZodString;
+                    severity: z.ZodEnum<{
+                        low: "low";
+                        high: "high";
+                        info: "info";
+                        critical: "critical";
+                        medium: "medium";
+                    }>;
+                    message: z.ZodString;
+                    deduction: z.ZodNumber;
+                }, z.core.$strict>>>;
+                strengths: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                needsLlm: z.ZodOptional<z.ZodBoolean>;
+                llmPrompt: z.ZodOptional<z.ZodString>;
             }, z.core.$strict>;
             next: z.ZodObject<{
                 operation: z.ZodString;
@@ -1337,40 +1357,6 @@ export declare const EvaluationOperationOutputSchema: z.ZodObject<{
                 rationale: z.ZodString;
             }, z.core.$strict>;
         }, z.core.$strict>>;
-    }, z.core.$strict>, z.ZodObject<{
-        action: z.ZodLiteral<"service_risk">;
-        result: z.ZodObject<{
-            evaluation_id: z.ZodString;
-            total: z.ZodNumber;
-            level: z.ZodEnum<{
-                low: "low";
-                medium_low: "medium_low";
-                medium_high: "medium_high";
-                high: "high";
-            }>;
-            breakdown: z.ZodArray<z.ZodObject<{
-                rule_id: z.ZodString;
-                dimension: z.ZodString;
-                score: z.ZodNumber;
-                weight: z.ZodNumber;
-                reason: z.ZodOptional<z.ZodString>;
-                matched: z.ZodOptional<z.ZodArray<z.ZodString>>;
-                mismatched: z.ZodOptional<z.ZodArray<z.ZodString>>;
-                red_flag: z.ZodOptional<z.ZodBoolean>;
-            }, z.core.$strict>>;
-            red_flags: z.ZodArray<z.ZodString>;
-            blocked: z.ZodBoolean;
-            trace: z.ZodArray<z.ZodObject<{
-                kind: z.ZodEnum<{
-                    override: "override";
-                    rule: "rule";
-                    data_source: "data_source";
-                }>;
-                id: z.ZodString;
-                detail: z.ZodString;
-            }, z.core.$strict>>;
-            summary: z.ZodString;
-        }, z.core.$strict>;
     }, z.core.$strict>, z.ZodObject<{
         action: z.ZodLiteral<"path_reasoning">;
         current_node: z.ZodString;
@@ -1496,6 +1482,11 @@ export declare const EvaluationOperationOutputSchema: z.ZodObject<{
                     reason: z.ZodOptional<z.ZodString>;
                     matched: z.ZodOptional<z.ZodArray<z.ZodString>>;
                     mismatched: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                    finding_refs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                        id: z.ZodString;
+                        title: z.ZodString;
+                        severity: z.ZodString;
+                    }, z.core.$strict>>>;
                     red_flag: z.ZodOptional<z.ZodBoolean>;
                 }, z.core.$strict>>;
                 red_flags: z.ZodArray<z.ZodString>;
@@ -1503,13 +1494,35 @@ export declare const EvaluationOperationOutputSchema: z.ZodObject<{
                 trace: z.ZodArray<z.ZodObject<{
                     kind: z.ZodEnum<{
                         override: "override";
-                        rule: "rule";
                         data_source: "data_source";
+                        rule: "rule";
                     }>;
                     id: z.ZodString;
                     detail: z.ZodString;
                 }, z.core.$strict>>;
                 summary: z.ZodString;
+                unverified: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                criterionScores: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                    name: z.ZodString;
+                    score: z.ZodNumber;
+                    weight: z.ZodNumber;
+                    rationale: z.ZodString;
+                }, z.core.$strict>>>;
+                findings: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                    criterion: z.ZodString;
+                    severity: z.ZodEnum<{
+                        low: "low";
+                        high: "high";
+                        info: "info";
+                        critical: "critical";
+                        medium: "medium";
+                    }>;
+                    message: z.ZodString;
+                    deduction: z.ZodNumber;
+                }, z.core.$strict>>>;
+                strengths: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                needsLlm: z.ZodOptional<z.ZodBoolean>;
+                llmPrompt: z.ZodOptional<z.ZodString>;
             }, z.core.$strict>;
             next: z.ZodObject<{
                 operation: z.ZodString;
@@ -1666,6 +1679,11 @@ export declare const EvaluationOperationOutputSchema: z.ZodObject<{
                     reason: z.ZodOptional<z.ZodString>;
                     matched: z.ZodOptional<z.ZodArray<z.ZodString>>;
                     mismatched: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                    finding_refs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                        id: z.ZodString;
+                        title: z.ZodString;
+                        severity: z.ZodString;
+                    }, z.core.$strict>>>;
                     red_flag: z.ZodOptional<z.ZodBoolean>;
                 }, z.core.$strict>>;
                 red_flags: z.ZodArray<z.ZodString>;
@@ -1673,13 +1691,35 @@ export declare const EvaluationOperationOutputSchema: z.ZodObject<{
                 trace: z.ZodArray<z.ZodObject<{
                     kind: z.ZodEnum<{
                         override: "override";
-                        rule: "rule";
                         data_source: "data_source";
+                        rule: "rule";
                     }>;
                     id: z.ZodString;
                     detail: z.ZodString;
                 }, z.core.$strict>>;
                 summary: z.ZodString;
+                unverified: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                criterionScores: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                    name: z.ZodString;
+                    score: z.ZodNumber;
+                    weight: z.ZodNumber;
+                    rationale: z.ZodString;
+                }, z.core.$strict>>>;
+                findings: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                    criterion: z.ZodString;
+                    severity: z.ZodEnum<{
+                        low: "low";
+                        high: "high";
+                        info: "info";
+                        critical: "critical";
+                        medium: "medium";
+                    }>;
+                    message: z.ZodString;
+                    deduction: z.ZodNumber;
+                }, z.core.$strict>>>;
+                strengths: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                needsLlm: z.ZodOptional<z.ZodBoolean>;
+                llmPrompt: z.ZodOptional<z.ZodString>;
             }, z.core.$strict>;
         }, z.core.$strict>>;
         total_enumerated: z.ZodNumber;
@@ -1707,6 +1747,11 @@ export declare const EvaluationOperationOutputSchema: z.ZodObject<{
                 reason: z.ZodOptional<z.ZodString>;
                 matched: z.ZodOptional<z.ZodArray<z.ZodString>>;
                 mismatched: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                finding_refs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                    id: z.ZodString;
+                    title: z.ZodString;
+                    severity: z.ZodString;
+                }, z.core.$strict>>>;
                 red_flag: z.ZodOptional<z.ZodBoolean>;
             }, z.core.$strict>>;
             red_flags: z.ZodArray<z.ZodString>;
@@ -1714,13 +1759,35 @@ export declare const EvaluationOperationOutputSchema: z.ZodObject<{
             trace: z.ZodArray<z.ZodObject<{
                 kind: z.ZodEnum<{
                     override: "override";
-                    rule: "rule";
                     data_source: "data_source";
+                    rule: "rule";
                 }>;
                 id: z.ZodString;
                 detail: z.ZodString;
             }, z.core.$strict>>;
             summary: z.ZodString;
+            unverified: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            criterionScores: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                name: z.ZodString;
+                score: z.ZodNumber;
+                weight: z.ZodNumber;
+                rationale: z.ZodString;
+            }, z.core.$strict>>>;
+            findings: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                criterion: z.ZodString;
+                severity: z.ZodEnum<{
+                    low: "low";
+                    high: "high";
+                    info: "info";
+                    critical: "critical";
+                    medium: "medium";
+                }>;
+                message: z.ZodString;
+                deduction: z.ZodNumber;
+            }, z.core.$strict>>>;
+            strengths: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            needsLlm: z.ZodOptional<z.ZodBoolean>;
+            llmPrompt: z.ZodOptional<z.ZodString>;
         }, z.core.$strict>;
         fairness: z.ZodObject<{
             evaluation_id: z.ZodString;
@@ -1739,6 +1806,11 @@ export declare const EvaluationOperationOutputSchema: z.ZodObject<{
                 reason: z.ZodOptional<z.ZodString>;
                 matched: z.ZodOptional<z.ZodArray<z.ZodString>>;
                 mismatched: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                finding_refs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                    id: z.ZodString;
+                    title: z.ZodString;
+                    severity: z.ZodString;
+                }, z.core.$strict>>>;
                 red_flag: z.ZodOptional<z.ZodBoolean>;
             }, z.core.$strict>>;
             red_flags: z.ZodArray<z.ZodString>;
@@ -1746,13 +1818,35 @@ export declare const EvaluationOperationOutputSchema: z.ZodObject<{
             trace: z.ZodArray<z.ZodObject<{
                 kind: z.ZodEnum<{
                     override: "override";
-                    rule: "rule";
                     data_source: "data_source";
+                    rule: "rule";
                 }>;
                 id: z.ZodString;
                 detail: z.ZodString;
             }, z.core.$strict>>;
             summary: z.ZodString;
+            unverified: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            criterionScores: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                name: z.ZodString;
+                score: z.ZodNumber;
+                weight: z.ZodNumber;
+                rationale: z.ZodString;
+            }, z.core.$strict>>>;
+            findings: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                criterion: z.ZodString;
+                severity: z.ZodEnum<{
+                    low: "low";
+                    high: "high";
+                    info: "info";
+                    critical: "critical";
+                    medium: "medium";
+                }>;
+                message: z.ZodString;
+                deduction: z.ZodNumber;
+            }, z.core.$strict>>>;
+            strengths: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            needsLlm: z.ZodOptional<z.ZodBoolean>;
+            llmPrompt: z.ZodOptional<z.ZodString>;
         }, z.core.$strict>;
         combined: z.ZodNumber;
         summary: z.ZodString;