kiokuko-dsh 0.1.48 → 0.1.49

package/dist/deep-thinker/core/contracts.d.ts

@@ -68,6 +68,15 @@ export declare const DeepConfigurationSchema: z.ZodObject<{
             reasoningEffort: z.ZodOptional<z.ZodString>;
         }, z.core.$strict>;
     }, z.core.$strict>;
+    reasoningMode: z.ZodOptional<z.ZodEnum<{
+        standard: "standard";
+        quality: "quality";
+    }>>;
+    alternativeSolver: z.ZodOptional<z.ZodObject<{
+        provider: z.ZodString;
+        model: z.ZodString;
+        reasoningEffort: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>>;
     budget: z.ZodPrefault<z.ZodObject<{
         maxConcurrentAgents: z.ZodDefault<z.ZodNumber>;
         maxDepth: z.ZodDefault<z.ZodNumber>;
@@ -264,6 +273,314 @@ export declare const ReplySchemas: {
         unresolved: z.ZodArray<z.ZodString>;
     }, z.core.$strict>;
 };
+export declare const QualityCheckSchema: z.ZodObject<{
+    id: z.ZodString;
+    key: z.ZodString;
+    requirementId: z.ZodString;
+    text: z.ZodString;
+    evidenceNeeded: z.ZodString;
+}, z.core.$strict>;
+export declare const QualityPlanSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"quality-plan">;
+    decision: z.ZodEnum<{
+        blocked: "blocked";
+        leaf: "leaf";
+        decompose: "decompose";
+    }>;
+    checks: z.ZodArray<z.ZodObject<{
+        text: z.ZodString;
+        key: z.ZodString;
+        requirementId: z.ZodString;
+        evidenceNeeded: z.ZodString;
+    }, z.core.$strict>>;
+    children: z.ZodArray<z.ZodObject<{
+        key: z.ZodString;
+        question: z.ZodString;
+        requirementIds: z.ZodArray<z.ZodString>;
+        acceptanceCriteria: z.ZodArray<z.ZodString>;
+        assumptions: z.ZodArray<z.ZodString>;
+        dependsOn: z.ZodArray<z.ZodString>;
+        checkKeys: z.ZodArray<z.ZodString>;
+    }, z.core.$strict>>;
+    reason: z.ZodString;
+    synthesis: z.ZodString;
+}, z.core.$strict>;
+export declare const QualityPlanReviewSchema: z.ZodObject<{
+    requirementIds: z.ZodArray<z.ZodString>;
+    reason: z.ZodString;
+    evidence: z.ZodArray<z.ZodObject<{
+        artifactId: z.ZodString;
+        quote: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>>;
+    kind: z.ZodLiteral<"quality-plan-review">;
+    verdict: z.ZodEnum<{
+        unresolved: "unresolved";
+        supported: "supported";
+        reconsider: "reconsider";
+    }>;
+    checkIds: z.ZodArray<z.ZodString>;
+}, z.core.$strict>;
+export declare const QualityCandidateSchema: z.ZodObject<{
+    answer: z.ZodString;
+    evidence: z.ZodArray<z.ZodObject<{
+        artifactId: z.ZodString;
+        quote: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>>;
+    assumptions: z.ZodArray<z.ZodString>;
+    unresolved: z.ZodArray<z.ZodString>;
+    kind: z.ZodLiteral<"quality-candidate">;
+    findings: z.ZodArray<z.ZodObject<{
+        checkId: z.ZodString;
+        conclusion: z.ZodString;
+        evidence: z.ZodArray<z.ZodObject<{
+            artifactId: z.ZodString;
+            quote: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>>;
+        unresolved: z.ZodBoolean;
+    }, z.core.$strict>>;
+}, z.core.$strict>;
+export declare const QualityIssueSchema: z.ZodObject<{
+    id: z.ZodString;
+    checkId: z.ZodString;
+    text: z.ZodString;
+}, z.core.$strict>;
+export declare const QualityReviewSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"quality-review">;
+    action: z.ZodEnum<{
+        unresolved: "unresolved";
+        select: "select";
+        repair: "repair";
+        synthesize: "synthesize";
+        replan: "replan";
+    }>;
+    selectedCandidateId: z.ZodNullable<z.ZodString>;
+    requirementIds: z.ZodArray<z.ZodString>;
+    reason: z.ZodString;
+    evidence: z.ZodArray<z.ZodObject<{
+        artifactId: z.ZodString;
+        quote: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>>;
+    evaluations: z.ZodArray<z.ZodObject<{
+        candidateId: z.ZodString;
+        checkId: z.ZodString;
+        verdict: z.ZodEnum<{
+            unresolved: "unresolved";
+            supported: "supported";
+            contradicted: "contradicted";
+        }>;
+        reason: z.ZodString;
+        evidence: z.ZodArray<z.ZodObject<{
+            artifactId: z.ZodString;
+            quote: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>>;
+    agreement: z.ZodArray<z.ZodObject<{
+        checkId: z.ZodString;
+        kind: z.ZodEnum<{
+            unknown: "unknown";
+            agreement: "agreement";
+            contradiction: "contradiction";
+            complementary: "complementary";
+        }>;
+        reason: z.ZodString;
+    }, z.core.$strict>>;
+    issues: z.ZodArray<z.ZodObject<{
+        checkId: z.ZodString;
+        text: z.ZodString;
+    }, z.core.$strict>>;
+    resolutions: z.ZodArray<z.ZodObject<{
+        issueId: z.ZodString;
+        status: z.ZodEnum<{
+            resolved: "resolved";
+            unresolved: "unresolved";
+        }>;
+        reason: z.ZodString;
+        evidence: z.ZodArray<z.ZodObject<{
+            artifactId: z.ZodString;
+            quote: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>>;
+}, z.core.$strict>;
+export declare const QualityPhaseSchema: z.ZodEnum<{
+    repair: "repair";
+    synthesize: "synthesize";
+    plan: "plan";
+    "plan-review": "plan-review";
+    "draft-a": "draft-a";
+    "draft-b": "draft-b";
+    compare: "compare";
+    compose: "compose";
+    "final-review": "final-review";
+}>;
+export declare const QualityNodeSchema: z.ZodObject<{
+    phase: z.ZodEnum<{
+        repair: "repair";
+        synthesize: "synthesize";
+        plan: "plan";
+        "plan-review": "plan-review";
+        "draft-a": "draft-a";
+        "draft-b": "draft-b";
+        compare: "compare";
+        compose: "compose";
+        "final-review": "final-review";
+    }>;
+    checks: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        key: z.ZodString;
+        requirementId: z.ZodString;
+        text: z.ZodString;
+        evidenceNeeded: z.ZodString;
+    }, z.core.$strict>>;
+    inheritedChecks: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        key: z.ZodString;
+        requirementId: z.ZodString;
+        text: z.ZodString;
+        evidenceNeeded: z.ZodString;
+    }, z.core.$strict>>;
+    plan: z.ZodNullable<z.ZodObject<{
+        kind: z.ZodLiteral<"quality-plan">;
+        decision: z.ZodEnum<{
+            blocked: "blocked";
+            leaf: "leaf";
+            decompose: "decompose";
+        }>;
+        checks: z.ZodArray<z.ZodObject<{
+            text: z.ZodString;
+            key: z.ZodString;
+            requirementId: z.ZodString;
+            evidenceNeeded: z.ZodString;
+        }, z.core.$strict>>;
+        children: z.ZodArray<z.ZodObject<{
+            key: z.ZodString;
+            question: z.ZodString;
+            requirementIds: z.ZodArray<z.ZodString>;
+            acceptanceCriteria: z.ZodArray<z.ZodString>;
+            assumptions: z.ZodArray<z.ZodString>;
+            dependsOn: z.ZodArray<z.ZodString>;
+            checkKeys: z.ZodArray<z.ZodString>;
+        }, z.core.$strict>>;
+        reason: z.ZodString;
+        synthesis: z.ZodString;
+    }, z.core.$strict>>;
+    correctionUsed: z.ZodBoolean;
+    candidates: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        attemptId: z.ZodString;
+        model: z.ZodObject<{
+            provider: z.ZodString;
+            model: z.ZodString;
+            reasoningEffort: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>;
+        reply: z.ZodObject<{
+            answer: z.ZodString;
+            evidence: z.ZodArray<z.ZodObject<{
+                artifactId: z.ZodString;
+                quote: z.ZodOptional<z.ZodString>;
+            }, z.core.$strict>>;
+            assumptions: z.ZodArray<z.ZodString>;
+            unresolved: z.ZodArray<z.ZodString>;
+            kind: z.ZodLiteral<"quality-candidate">;
+            findings: z.ZodArray<z.ZodObject<{
+                checkId: z.ZodString;
+                conclusion: z.ZodString;
+                evidence: z.ZodArray<z.ZodObject<{
+                    artifactId: z.ZodString;
+                    quote: z.ZodOptional<z.ZodString>;
+                }, z.core.$strict>>;
+                unresolved: z.ZodBoolean;
+            }, z.core.$strict>>;
+        }, z.core.$strict>;
+    }, z.core.$strict>>;
+    issues: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        checkId: z.ZodString;
+        text: z.ZodString;
+    }, z.core.$strict>>;
+    review: z.ZodNullable<z.ZodObject<{
+        kind: z.ZodLiteral<"quality-review">;
+        action: z.ZodEnum<{
+            unresolved: "unresolved";
+            select: "select";
+            repair: "repair";
+            synthesize: "synthesize";
+            replan: "replan";
+        }>;
+        selectedCandidateId: z.ZodNullable<z.ZodString>;
+        requirementIds: z.ZodArray<z.ZodString>;
+        reason: z.ZodString;
+        evidence: z.ZodArray<z.ZodObject<{
+            artifactId: z.ZodString;
+            quote: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>>;
+        evaluations: z.ZodArray<z.ZodObject<{
+            candidateId: z.ZodString;
+            checkId: z.ZodString;
+            verdict: z.ZodEnum<{
+                unresolved: "unresolved";
+                supported: "supported";
+                contradicted: "contradicted";
+            }>;
+            reason: z.ZodString;
+            evidence: z.ZodArray<z.ZodObject<{
+                artifactId: z.ZodString;
+                quote: z.ZodOptional<z.ZodString>;
+            }, z.core.$strict>>;
+        }, z.core.$strict>>;
+        agreement: z.ZodArray<z.ZodObject<{
+            checkId: z.ZodString;
+            kind: z.ZodEnum<{
+                unknown: "unknown";
+                agreement: "agreement";
+                contradiction: "contradiction";
+                complementary: "complementary";
+            }>;
+            reason: z.ZodString;
+        }, z.core.$strict>>;
+        issues: z.ZodArray<z.ZodObject<{
+            checkId: z.ZodString;
+            text: z.ZodString;
+        }, z.core.$strict>>;
+        resolutions: z.ZodArray<z.ZodObject<{
+            issueId: z.ZodString;
+            status: z.ZodEnum<{
+                resolved: "resolved";
+                unresolved: "unresolved";
+            }>;
+            reason: z.ZodString;
+            evidence: z.ZodArray<z.ZodObject<{
+                artifactId: z.ZodString;
+                quote: z.ZodOptional<z.ZodString>;
+            }, z.core.$strict>>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>>;
+    commonArtifactIds: z.ZodNullable<z.ZodArray<z.ZodString>>;
+}, z.core.$strict>;
+export type QualityNode = z.infer<typeof QualityNodeSchema>;
+export type QualityReply = z.infer<typeof QualityPlanSchema> | z.infer<typeof QualityPlanReviewSchema> | z.infer<typeof QualityCandidateSchema> | z.infer<typeof QualityReviewSchema>;
+export declare const QualityJobSchema: z.ZodObject<{
+    protocolVersion: z.ZodLiteral<2>;
+    phase: z.ZodEnum<{
+        repair: "repair";
+        synthesize: "synthesize";
+        plan: "plan";
+        "plan-review": "plan-review";
+        "draft-a": "draft-a";
+        "draft-b": "draft-b";
+        compare: "compare";
+        compose: "compose";
+        "final-review": "final-review";
+    }>;
+    model: z.ZodObject<{
+        provider: z.ZodString;
+        model: z.ZodString;
+        reasoningEffort: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>;
+    candidateId: z.ZodNullable<z.ZodString>;
+    poolDigest: z.ZodString;
+    commonArtifactIds: z.ZodArray<z.ZodString>;
+}, z.core.$strict>;
+export type QualityJob = z.infer<typeof QualityJobSchema>;
 export declare const GoalNodeSchema: z.ZodObject<{
     id: z.ZodString;
     parentId: z.ZodNullable<z.ZodString>;
@@ -316,7 +633,151 @@ export declare const GoalNodeSchema: z.ZodObject<{
         reason: z.ZodString;
     }, z.core.$strict>], "kind">>;
     reason: z.ZodString;
-    receipt: z.ZodNullable<z.ZodObject<{
+    quality: z.ZodOptional<z.ZodObject<{
+        phase: z.ZodEnum<{
+            repair: "repair";
+            synthesize: "synthesize";
+            plan: "plan";
+            "plan-review": "plan-review";
+            "draft-a": "draft-a";
+            "draft-b": "draft-b";
+            compare: "compare";
+            compose: "compose";
+            "final-review": "final-review";
+        }>;
+        checks: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            key: z.ZodString;
+            requirementId: z.ZodString;
+            text: z.ZodString;
+            evidenceNeeded: z.ZodString;
+        }, z.core.$strict>>;
+        inheritedChecks: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            key: z.ZodString;
+            requirementId: z.ZodString;
+            text: z.ZodString;
+            evidenceNeeded: z.ZodString;
+        }, z.core.$strict>>;
+        plan: z.ZodNullable<z.ZodObject<{
+            kind: z.ZodLiteral<"quality-plan">;
+            decision: z.ZodEnum<{
+                blocked: "blocked";
+                leaf: "leaf";
+                decompose: "decompose";
+            }>;
+            checks: z.ZodArray<z.ZodObject<{
+                text: z.ZodString;
+                key: z.ZodString;
+                requirementId: z.ZodString;
+                evidenceNeeded: z.ZodString;
+            }, z.core.$strict>>;
+            children: z.ZodArray<z.ZodObject<{
+                key: z.ZodString;
+                question: z.ZodString;
+                requirementIds: z.ZodArray<z.ZodString>;
+                acceptanceCriteria: z.ZodArray<z.ZodString>;
+                assumptions: z.ZodArray<z.ZodString>;
+                dependsOn: z.ZodArray<z.ZodString>;
+                checkKeys: z.ZodArray<z.ZodString>;
+            }, z.core.$strict>>;
+            reason: z.ZodString;
+            synthesis: z.ZodString;
+        }, z.core.$strict>>;
+        correctionUsed: z.ZodBoolean;
+        candidates: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            attemptId: z.ZodString;
+            model: z.ZodObject<{
+                provider: z.ZodString;
+                model: z.ZodString;
+                reasoningEffort: z.ZodOptional<z.ZodString>;
+            }, z.core.$strict>;
+            reply: z.ZodObject<{
+                answer: z.ZodString;
+                evidence: z.ZodArray<z.ZodObject<{
+                    artifactId: z.ZodString;
+                    quote: z.ZodOptional<z.ZodString>;
+                }, z.core.$strict>>;
+                assumptions: z.ZodArray<z.ZodString>;
+                unresolved: z.ZodArray<z.ZodString>;
+                kind: z.ZodLiteral<"quality-candidate">;
+                findings: z.ZodArray<z.ZodObject<{
+                    checkId: z.ZodString;
+                    conclusion: z.ZodString;
+                    evidence: z.ZodArray<z.ZodObject<{
+                        artifactId: z.ZodString;
+                        quote: z.ZodOptional<z.ZodString>;
+                    }, z.core.$strict>>;
+                    unresolved: z.ZodBoolean;
+                }, z.core.$strict>>;
+            }, z.core.$strict>;
+        }, z.core.$strict>>;
+        issues: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            checkId: z.ZodString;
+            text: z.ZodString;
+        }, z.core.$strict>>;
+        review: z.ZodNullable<z.ZodObject<{
+            kind: z.ZodLiteral<"quality-review">;
+            action: z.ZodEnum<{
+                unresolved: "unresolved";
+                select: "select";
+                repair: "repair";
+                synthesize: "synthesize";
+                replan: "replan";
+            }>;
+            selectedCandidateId: z.ZodNullable<z.ZodString>;
+            requirementIds: z.ZodArray<z.ZodString>;
+            reason: z.ZodString;
+            evidence: z.ZodArray<z.ZodObject<{
+                artifactId: z.ZodString;
+                quote: z.ZodOptional<z.ZodString>;
+            }, z.core.$strict>>;
+            evaluations: z.ZodArray<z.ZodObject<{
+                candidateId: z.ZodString;
+                checkId: z.ZodString;
+                verdict: z.ZodEnum<{
+                    unresolved: "unresolved";
+                    supported: "supported";
+                    contradicted: "contradicted";
+                }>;
+                reason: z.ZodString;
+                evidence: z.ZodArray<z.ZodObject<{
+                    artifactId: z.ZodString;
+                    quote: z.ZodOptional<z.ZodString>;
+                }, z.core.$strict>>;
+            }, z.core.$strict>>;
+            agreement: z.ZodArray<z.ZodObject<{
+                checkId: z.ZodString;
+                kind: z.ZodEnum<{
+                    unknown: "unknown";
+                    agreement: "agreement";
+                    contradiction: "contradiction";
+                    complementary: "complementary";
+                }>;
+                reason: z.ZodString;
+            }, z.core.$strict>>;
+            issues: z.ZodArray<z.ZodObject<{
+                checkId: z.ZodString;
+                text: z.ZodString;
+            }, z.core.$strict>>;
+            resolutions: z.ZodArray<z.ZodObject<{
+                issueId: z.ZodString;
+                status: z.ZodEnum<{
+                    resolved: "resolved";
+                    unresolved: "unresolved";
+                }>;
+                reason: z.ZodString;
+                evidence: z.ZodArray<z.ZodObject<{
+                    artifactId: z.ZodString;
+                    quote: z.ZodOptional<z.ZodString>;
+                }, z.core.$strict>>;
+            }, z.core.$strict>>;
+        }, z.core.$strict>>;
+        commonArtifactIds: z.ZodNullable<z.ZodArray<z.ZodString>>;
+    }, z.core.$strict>>;
+    receipt: z.ZodNullable<z.ZodUnion<readonly [z.ZodObject<{
         inputDigest: z.ZodString;
         evidenceDigest: z.ZodString;
         verifierVersion: z.ZodLiteral<1>;
@@ -324,11 +785,87 @@ export declare const GoalNodeSchema: z.ZodObject<{
             "source-supported": "source-supported";
             analytical: "analytical";
         }>;
-    }, z.core.$strict>>;
+    }, z.core.$strict>, z.ZodObject<{
+        inputDigest: z.ZodString;
+        evidenceDigest: z.ZodString;
+        assessment: z.ZodEnum<{
+            "source-supported": "source-supported";
+            analytical: "analytical";
+        }>;
+        verifierVersion: z.ZodLiteral<2>;
+        selectedCandidateId: z.ZodString;
+        poolDigest: z.ZodString;
+        candidates: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            attemptId: z.ZodString;
+            model: z.ZodObject<{
+                provider: z.ZodString;
+                model: z.ZodString;
+                reasoningEffort: z.ZodOptional<z.ZodString>;
+            }, z.core.$strict>;
+        }, z.core.$strict>>;
+        review: z.ZodObject<{
+            kind: z.ZodLiteral<"quality-review">;
+            action: z.ZodEnum<{
+                unresolved: "unresolved";
+                select: "select";
+                repair: "repair";
+                synthesize: "synthesize";
+                replan: "replan";
+            }>;
+            selectedCandidateId: z.ZodNullable<z.ZodString>;
+            requirementIds: z.ZodArray<z.ZodString>;
+            reason: z.ZodString;
+            evidence: z.ZodArray<z.ZodObject<{
+                artifactId: z.ZodString;
+                quote: z.ZodOptional<z.ZodString>;
+            }, z.core.$strict>>;
+            evaluations: z.ZodArray<z.ZodObject<{
+                candidateId: z.ZodString;
+                checkId: z.ZodString;
+                verdict: z.ZodEnum<{
+                    unresolved: "unresolved";
+                    supported: "supported";
+                    contradicted: "contradicted";
+                }>;
+                reason: z.ZodString;
+                evidence: z.ZodArray<z.ZodObject<{
+                    artifactId: z.ZodString;
+                    quote: z.ZodOptional<z.ZodString>;
+                }, z.core.$strict>>;
+            }, z.core.$strict>>;
+            agreement: z.ZodArray<z.ZodObject<{
+                checkId: z.ZodString;
+                kind: z.ZodEnum<{
+                    unknown: "unknown";
+                    agreement: "agreement";
+                    contradiction: "contradiction";
+                    complementary: "complementary";
+                }>;
+                reason: z.ZodString;
+            }, z.core.$strict>>;
+            issues: z.ZodArray<z.ZodObject<{
+                checkId: z.ZodString;
+                text: z.ZodString;
+            }, z.core.$strict>>;
+            resolutions: z.ZodArray<z.ZodObject<{
+                issueId: z.ZodString;
+                status: z.ZodEnum<{
+                    resolved: "resolved";
+                    unresolved: "unresolved";
+                }>;
+                reason: z.ZodString;
+                evidence: z.ZodArray<z.ZodObject<{
+                    artifactId: z.ZodString;
+                    quote: z.ZodOptional<z.ZodString>;
+                }, z.core.$strict>>;
+            }, z.core.$strict>>;
+        }, z.core.$strict>;
+    }, z.core.$strict>]>>;
 }, z.core.$strict>;
 export type GoalNode = z.infer<typeof GoalNodeSchema>;
 export declare const DeepStateSchema: z.ZodObject<{
-    protocolVersion: z.ZodLiteral<1>;
+    protocolVersion: z.ZodUnion<readonly [z.ZodLiteral<1>, z.ZodLiteral<2>]>;
     runId: z.ZodString;
     startId: z.ZodString;
     workspace: z.ZodString;
@@ -376,6 +913,15 @@ export declare const DeepStateSchema: z.ZodObject<{
                 reasoningEffort: z.ZodOptional<z.ZodString>;
             }, z.core.$strict>;
         }, z.core.$strict>;
+        reasoningMode: z.ZodOptional<z.ZodEnum<{
+            standard: "standard";
+            quality: "quality";
+        }>>;
+        alternativeSolver: z.ZodOptional<z.ZodObject<{
+            provider: z.ZodString;
+            model: z.ZodString;
+            reasoningEffort: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>>;
         budget: z.ZodPrefault<z.ZodObject<{
             maxConcurrentAgents: z.ZodDefault<z.ZodNumber>;
             maxDepth: z.ZodDefault<z.ZodNumber>;
@@ -475,7 +1021,151 @@ export declare const DeepStateSchema: z.ZodObject<{
             reason: z.ZodString;
         }, z.core.$strict>], "kind">>;
         reason: z.ZodString;
-        receipt: z.ZodNullable<z.ZodObject<{
+        quality: z.ZodOptional<z.ZodObject<{
+            phase: z.ZodEnum<{
+                repair: "repair";
+                synthesize: "synthesize";
+                plan: "plan";
+                "plan-review": "plan-review";
+                "draft-a": "draft-a";
+                "draft-b": "draft-b";
+                compare: "compare";
+                compose: "compose";
+                "final-review": "final-review";
+            }>;
+            checks: z.ZodArray<z.ZodObject<{
+                id: z.ZodString;
+                key: z.ZodString;
+                requirementId: z.ZodString;
+                text: z.ZodString;
+                evidenceNeeded: z.ZodString;
+            }, z.core.$strict>>;
+            inheritedChecks: z.ZodArray<z.ZodObject<{
+                id: z.ZodString;
+                key: z.ZodString;
+                requirementId: z.ZodString;
+                text: z.ZodString;
+                evidenceNeeded: z.ZodString;
+            }, z.core.$strict>>;
+            plan: z.ZodNullable<z.ZodObject<{
+                kind: z.ZodLiteral<"quality-plan">;
+                decision: z.ZodEnum<{
+                    blocked: "blocked";
+                    leaf: "leaf";
+                    decompose: "decompose";
+                }>;
+                checks: z.ZodArray<z.ZodObject<{
+                    text: z.ZodString;
+                    key: z.ZodString;
+                    requirementId: z.ZodString;
+                    evidenceNeeded: z.ZodString;
+                }, z.core.$strict>>;
+                children: z.ZodArray<z.ZodObject<{
+                    key: z.ZodString;
+                    question: z.ZodString;
+                    requirementIds: z.ZodArray<z.ZodString>;
+                    acceptanceCriteria: z.ZodArray<z.ZodString>;
+                    assumptions: z.ZodArray<z.ZodString>;
+                    dependsOn: z.ZodArray<z.ZodString>;
+                    checkKeys: z.ZodArray<z.ZodString>;
+                }, z.core.$strict>>;
+                reason: z.ZodString;
+                synthesis: z.ZodString;
+            }, z.core.$strict>>;
+            correctionUsed: z.ZodBoolean;
+            candidates: z.ZodArray<z.ZodObject<{
+                id: z.ZodString;
+                attemptId: z.ZodString;
+                model: z.ZodObject<{
+                    provider: z.ZodString;
+                    model: z.ZodString;
+                    reasoningEffort: z.ZodOptional<z.ZodString>;
+                }, z.core.$strict>;
+                reply: z.ZodObject<{
+                    answer: z.ZodString;
+                    evidence: z.ZodArray<z.ZodObject<{
+                        artifactId: z.ZodString;
+                        quote: z.ZodOptional<z.ZodString>;
+                    }, z.core.$strict>>;
+                    assumptions: z.ZodArray<z.ZodString>;
+                    unresolved: z.ZodArray<z.ZodString>;
+                    kind: z.ZodLiteral<"quality-candidate">;
+                    findings: z.ZodArray<z.ZodObject<{
+                        checkId: z.ZodString;
+                        conclusion: z.ZodString;
+                        evidence: z.ZodArray<z.ZodObject<{
+                            artifactId: z.ZodString;
+                            quote: z.ZodOptional<z.ZodString>;
+                        }, z.core.$strict>>;
+                        unresolved: z.ZodBoolean;
+                    }, z.core.$strict>>;
+                }, z.core.$strict>;
+            }, z.core.$strict>>;
+            issues: z.ZodArray<z.ZodObject<{
+                id: z.ZodString;
+                checkId: z.ZodString;
+                text: z.ZodString;
+            }, z.core.$strict>>;
+            review: z.ZodNullable<z.ZodObject<{
+                kind: z.ZodLiteral<"quality-review">;
+                action: z.ZodEnum<{
+                    unresolved: "unresolved";
+                    select: "select";
+                    repair: "repair";
+                    synthesize: "synthesize";
+                    replan: "replan";
+                }>;
+                selectedCandidateId: z.ZodNullable<z.ZodString>;
+                requirementIds: z.ZodArray<z.ZodString>;
+                reason: z.ZodString;
+                evidence: z.ZodArray<z.ZodObject<{
+                    artifactId: z.ZodString;
+                    quote: z.ZodOptional<z.ZodString>;
+                }, z.core.$strict>>;
+                evaluations: z.ZodArray<z.ZodObject<{
+                    candidateId: z.ZodString;
+                    checkId: z.ZodString;
+                    verdict: z.ZodEnum<{
+                        unresolved: "unresolved";
+                        supported: "supported";
+                        contradicted: "contradicted";
+                    }>;
+                    reason: z.ZodString;
+                    evidence: z.ZodArray<z.ZodObject<{
+                        artifactId: z.ZodString;
+                        quote: z.ZodOptional<z.ZodString>;
+                    }, z.core.$strict>>;
+                }, z.core.$strict>>;
+                agreement: z.ZodArray<z.ZodObject<{
+                    checkId: z.ZodString;
+                    kind: z.ZodEnum<{
+                        unknown: "unknown";
+                        agreement: "agreement";
+                        contradiction: "contradiction";
+                        complementary: "complementary";
+                    }>;
+                    reason: z.ZodString;
+                }, z.core.$strict>>;
+                issues: z.ZodArray<z.ZodObject<{
+                    checkId: z.ZodString;
+                    text: z.ZodString;
+                }, z.core.$strict>>;
+                resolutions: z.ZodArray<z.ZodObject<{
+                    issueId: z.ZodString;
+                    status: z.ZodEnum<{
+                        resolved: "resolved";
+                        unresolved: "unresolved";
+                    }>;
+                    reason: z.ZodString;
+                    evidence: z.ZodArray<z.ZodObject<{
+                        artifactId: z.ZodString;
+                        quote: z.ZodOptional<z.ZodString>;
+                    }, z.core.$strict>>;
+                }, z.core.$strict>>;
+            }, z.core.$strict>>;
+            commonArtifactIds: z.ZodNullable<z.ZodArray<z.ZodString>>;
+        }, z.core.$strict>>;
+        receipt: z.ZodNullable<z.ZodUnion<readonly [z.ZodObject<{
             inputDigest: z.ZodString;
             evidenceDigest: z.ZodString;
             verifierVersion: z.ZodLiteral<1>;
@@ -483,7 +1173,83 @@ export declare const DeepStateSchema: z.ZodObject<{
                 "source-supported": "source-supported";
                 analytical: "analytical";
             }>;
-        }, z.core.$strict>>;
+        }, z.core.$strict>, z.ZodObject<{
+            inputDigest: z.ZodString;
+            evidenceDigest: z.ZodString;
+            assessment: z.ZodEnum<{
+                "source-supported": "source-supported";
+                analytical: "analytical";
+            }>;
+            verifierVersion: z.ZodLiteral<2>;
+            selectedCandidateId: z.ZodString;
+            poolDigest: z.ZodString;
+            candidates: z.ZodArray<z.ZodObject<{
+                id: z.ZodString;
+                attemptId: z.ZodString;
+                model: z.ZodObject<{
+                    provider: z.ZodString;
+                    model: z.ZodString;
+                    reasoningEffort: z.ZodOptional<z.ZodString>;
+                }, z.core.$strict>;
+            }, z.core.$strict>>;
+            review: z.ZodObject<{
+                kind: z.ZodLiteral<"quality-review">;
+                action: z.ZodEnum<{
+                    unresolved: "unresolved";
+                    select: "select";
+                    repair: "repair";
+                    synthesize: "synthesize";
+                    replan: "replan";
+                }>;
+                selectedCandidateId: z.ZodNullable<z.ZodString>;
+                requirementIds: z.ZodArray<z.ZodString>;
+                reason: z.ZodString;
+                evidence: z.ZodArray<z.ZodObject<{
+                    artifactId: z.ZodString;
+                    quote: z.ZodOptional<z.ZodString>;
+                }, z.core.$strict>>;
+                evaluations: z.ZodArray<z.ZodObject<{
+                    candidateId: z.ZodString;
+                    checkId: z.ZodString;
+                    verdict: z.ZodEnum<{
+                        unresolved: "unresolved";
+                        supported: "supported";
+                        contradicted: "contradicted";
+                    }>;
+                    reason: z.ZodString;
+                    evidence: z.ZodArray<z.ZodObject<{
+                        artifactId: z.ZodString;
+                        quote: z.ZodOptional<z.ZodString>;
+                    }, z.core.$strict>>;
+                }, z.core.$strict>>;
+                agreement: z.ZodArray<z.ZodObject<{
+                    checkId: z.ZodString;
+                    kind: z.ZodEnum<{
+                        unknown: "unknown";
+                        agreement: "agreement";
+                        contradiction: "contradiction";
+                        complementary: "complementary";
+                    }>;
+                    reason: z.ZodString;
+                }, z.core.$strict>>;
+                issues: z.ZodArray<z.ZodObject<{
+                    checkId: z.ZodString;
+                    text: z.ZodString;
+                }, z.core.$strict>>;
+                resolutions: z.ZodArray<z.ZodObject<{
+                    issueId: z.ZodString;
+                    status: z.ZodEnum<{
+                        resolved: "resolved";
+                        unresolved: "unresolved";
+                    }>;
+                    reason: z.ZodString;
+                    evidence: z.ZodArray<z.ZodObject<{
+                        artifactId: z.ZodString;
+                        quote: z.ZodOptional<z.ZodString>;
+                    }, z.core.$strict>>;
+                }, z.core.$strict>>;
+            }, z.core.$strict>;
+        }, z.core.$strict>]>>;
     }, z.core.$strict>>;
     pendingInputs: z.ZodArray<z.ZodObject<{
         id: z.ZodString;
@@ -505,9 +1271,11 @@ export interface DeepJob {
     readonly inputDigest: string;
     readonly prompt: string;
     readonly inputArtifactIds: readonly string[];
+    readonly quality?: QualityJob;
 }
 export declare const DeepArtifactSchema: z.ZodObject<{
     id: z.ZodString;
+    attemptId: z.ZodOptional<z.ZodString>;
     runId: z.ZodString;
     nodeId: z.ZodString;
     nodeRevision: z.ZodNumber;