@wowok/agent-mcp 2.5.2 → 2.5.3

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

@@ -2,10 +2,12 @@ import { z } from "zod";
 export declare const ProjectObjectTypeEnum: z.ZodEnum<["service", "machine", "guard", "permission", "reward", "arb", "progress", "treasury", "demand", "repository", "contact", "order", "allocation", "personal", "payment", "proof"]>;
 export declare const EdgeKindEnum: z.ZodEnum<["machine", "order_allocators", "arbitrations", "compensation_fund", "rewards", "buy_guard", "permission", "guard", "prev", "next", "forward", "parent", "service", "progress", "arbitration", "sub_order", "references"]>;
 export declare const ProjectOperationInputSchema: z.ZodObject<{
-    action: z.ZodEnum<["list_projects", "list_objects", "shareable", "dependencies", "referenced_by", "pre_publish_check", "cross_project_refs", "graph_stats", "save_graph", "load_graph", "analyze_intent", "aggregate_risks", "generate_deployment_doc", "trace_substeps", "get_project_status"]>;
+    action: z.ZodEnum<["list_projects", "list_objects", "shareable", "dependencies", "referenced_by", "pre_publish_check", "cross_project_refs", "graph_stats", "save_graph", "load_graph", "analyze_intent", "aggregate_risks", "generate_deployment_doc", "trace_substeps", "get_project_status", "load_project", "fork_project", "export_project", "get_project_files", "validate_stage_unit", "get_stage_assessment", "get_stage_risk_policy", "get_doc_relations", "update_deployment_doc", "validate_validation_chain", "apply_improvement", "get_improvement_queue", "get_flywheel_config", "rollback_stage", "get_reversibility", "assemble_context"]>;
     project: z.ZodOptional<z.ZodString>;
     version: z.ZodOptional<z.ZodString>;
     object: z.ZodOptional<z.ZodString>;
+    fork_to_version: z.ZodOptional<z.ZodString>;
+    fork_to_prefix: z.ZodOptional<z.ZodString>;
     user_intent: z.ZodOptional<z.ZodString>;
     industry: z.ZodOptional<z.ZodEnum<["general", "retail", "service", "rental", "freelance", "education", "travel", "subscription", "custom"]>>;
     target_objects: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
@@ -115,6 +117,22 @@ export declare const ProjectOperationInputSchema: z.ZodObject<{
     risk_critical_count: z.ZodOptional<z.ZodNumber>;
     risk_high_count: z.ZodOptional<z.ZodNumber>;
     run_scanner: z.ZodOptional<z.ZodBoolean>;
+    gas_budget: z.ZodOptional<z.ZodObject<{
+        network: z.ZodEnum<["testnet", "mainnet"]>;
+        already_spent_gas: z.ZodOptional<z.ZodNumber>;
+        estimated_rerun_gas: z.ZodOptional<z.ZodNumber>;
+        warning: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        network: "testnet" | "mainnet";
+        warning?: string | undefined;
+        already_spent_gas?: number | undefined;
+        estimated_rerun_gas?: number | undefined;
+    }, {
+        network: "testnet" | "mainnet";
+        warning?: string | undefined;
+        already_spent_gas?: number | undefined;
+        estimated_rerun_gas?: number | undefined;
+    }>>;
     network: z.ZodOptional<z.ZodEnum<["testnet", "mainnet"]>>;
     substeps: z.ZodOptional<z.ZodArray<z.ZodObject<{
         step_id: z.ZodString;
@@ -245,12 +263,25 @@ export declare const ProjectOperationInputSchema: z.ZodObject<{
             retry_reason: string;
         } | undefined;
     }>, "many">>;
+    target_stage: z.ZodOptional<z.ZodNumber>;
+    proposal_id: z.ZodOptional<z.ZodString>;
+    review_status: z.ZodOptional<z.ZodEnum<["approved", "rejected", "applied"]>>;
+    queue_filter_status: z.ZodOptional<z.ZodEnum<["pending", "approved", "rejected", "applied"]>>;
+    queue_filter_type: z.ZodOptional<z.ZodString>;
+    queue_filter_priority: z.ZodOptional<z.ZodString>;
+    dry_run: z.ZodOptional<z.ZodBoolean>;
+    query_object_type: z.ZodOptional<z.ZodString>;
+    query_lifecycle_state: z.ZodOptional<z.ZodEnum<["created", "referenced", "published", "bound"]>>;
+    context_objects: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    include_events: z.ZodOptional<z.ZodBoolean>;
+    context_network: z.ZodOptional<z.ZodEnum<["testnet", "mainnet"]>>;
 }, "strict", z.ZodTypeAny, {
-    action: "dependencies" | "pre_publish_check" | "referenced_by" | "list_projects" | "list_objects" | "shareable" | "cross_project_refs" | "graph_stats" | "save_graph" | "load_graph" | "analyze_intent" | "aggregate_risks" | "generate_deployment_doc" | "trace_substeps" | "get_project_status";
+    action: "dependencies" | "pre_publish_check" | "referenced_by" | "list_projects" | "list_objects" | "shareable" | "cross_project_refs" | "graph_stats" | "save_graph" | "load_graph" | "analyze_intent" | "aggregate_risks" | "generate_deployment_doc" | "trace_substeps" | "get_project_status" | "load_project" | "fork_project" | "export_project" | "get_project_files" | "validate_stage_unit" | "get_stage_assessment" | "get_stage_risk_policy" | "get_doc_relations" | "update_deployment_doc" | "validate_validation_chain" | "apply_improvement" | "get_improvement_queue" | "get_flywheel_config" | "rollback_stage" | "get_reversibility" | "assemble_context";
     object?: string | undefined;
     version?: string | undefined;
     network?: "testnet" | "mainnet" | undefined;
     project?: string | undefined;
+    dry_run?: boolean | undefined;
     objects?: {
         name: string;
         object_type: "payment" | "reward" | "permission" | "guard" | "allocation" | "service" | "machine" | "treasury" | "order" | "demand" | "progress" | "arb" | "repository" | "contact" | "personal" | "proof";
@@ -260,6 +291,23 @@ export declare const ProjectOperationInputSchema: z.ZodObject<{
         reused_from?: string | undefined;
     }[] | undefined;
     industry?: "custom" | "service" | "freelance" | "rental" | "education" | "travel" | "subscription" | "retail" | "general" | undefined;
+    steps?: {
+        object_type: "payment" | "reward" | "permission" | "guard" | "allocation" | "service" | "machine" | "treasury" | "order" | "demand" | "progress" | "arb" | "repository" | "contact" | "personal" | "proof";
+        operation: string;
+        step: number;
+        entry_id: string;
+        substep_count: number;
+        depends_on: number[];
+        network_phase: "testnet" | "mainnet" | "both";
+    }[] | undefined;
+    gas_budget?: {
+        network: "testnet" | "mainnet";
+        warning?: string | undefined;
+        already_spent_gas?: number | undefined;
+        estimated_rerun_gas?: number | undefined;
+    } | undefined;
+    fork_to_version?: string | undefined;
+    fork_to_prefix?: string | undefined;
     user_intent?: string | undefined;
     target_objects?: string[] | undefined;
     puzzles?: Record<string, {
@@ -278,15 +326,6 @@ export declare const ProjectOperationInputSchema: z.ZodObject<{
         field_path: string;
         required_at_publish: boolean;
     }[] | undefined;
-    steps?: {
-        object_type: "payment" | "reward" | "permission" | "guard" | "allocation" | "service" | "machine" | "treasury" | "order" | "demand" | "progress" | "arb" | "repository" | "contact" | "personal" | "proof";
-        operation: string;
-        step: number;
-        entry_id: string;
-        substep_count: number;
-        depends_on: number[];
-        network_phase: "testnet" | "mainnet" | "both";
-    }[] | undefined;
     scenarios?: {
         description: string;
         scenario_id: string;
@@ -329,12 +368,24 @@ export declare const ProjectOperationInputSchema: z.ZodObject<{
             retry_reason: string;
         } | undefined;
     }[] | undefined;
+    target_stage?: number | undefined;
+    proposal_id?: string | undefined;
+    review_status?: "approved" | "rejected" | "applied" | undefined;
+    queue_filter_status?: "pending" | "approved" | "rejected" | "applied" | undefined;
+    queue_filter_type?: string | undefined;
+    queue_filter_priority?: string | undefined;
+    query_object_type?: string | undefined;
+    query_lifecycle_state?: "created" | "published" | "referenced" | "bound" | undefined;
+    context_objects?: string[] | undefined;
+    include_events?: boolean | undefined;
+    context_network?: "testnet" | "mainnet" | undefined;
 }, {
-    action: "dependencies" | "pre_publish_check" | "referenced_by" | "list_projects" | "list_objects" | "shareable" | "cross_project_refs" | "graph_stats" | "save_graph" | "load_graph" | "analyze_intent" | "aggregate_risks" | "generate_deployment_doc" | "trace_substeps" | "get_project_status";
+    action: "dependencies" | "pre_publish_check" | "referenced_by" | "list_projects" | "list_objects" | "shareable" | "cross_project_refs" | "graph_stats" | "save_graph" | "load_graph" | "analyze_intent" | "aggregate_risks" | "generate_deployment_doc" | "trace_substeps" | "get_project_status" | "load_project" | "fork_project" | "export_project" | "get_project_files" | "validate_stage_unit" | "get_stage_assessment" | "get_stage_risk_policy" | "get_doc_relations" | "update_deployment_doc" | "validate_validation_chain" | "apply_improvement" | "get_improvement_queue" | "get_flywheel_config" | "rollback_stage" | "get_reversibility" | "assemble_context";
     object?: string | undefined;
     version?: string | undefined;
     network?: "testnet" | "mainnet" | undefined;
     project?: string | undefined;
+    dry_run?: boolean | undefined;
     objects?: {
         name: string;
         object_type: "payment" | "reward" | "permission" | "guard" | "allocation" | "service" | "machine" | "treasury" | "order" | "demand" | "progress" | "arb" | "repository" | "contact" | "personal" | "proof";
@@ -344,6 +395,23 @@ export declare const ProjectOperationInputSchema: z.ZodObject<{
         reused_from?: string | undefined;
     }[] | undefined;
     industry?: "custom" | "service" | "freelance" | "rental" | "education" | "travel" | "subscription" | "retail" | "general" | undefined;
+    steps?: {
+        object_type: "payment" | "reward" | "permission" | "guard" | "allocation" | "service" | "machine" | "treasury" | "order" | "demand" | "progress" | "arb" | "repository" | "contact" | "personal" | "proof";
+        operation: string;
+        step: number;
+        entry_id: string;
+        substep_count: number;
+        depends_on: number[];
+        network_phase: "testnet" | "mainnet" | "both";
+    }[] | undefined;
+    gas_budget?: {
+        network: "testnet" | "mainnet";
+        warning?: string | undefined;
+        already_spent_gas?: number | undefined;
+        estimated_rerun_gas?: number | undefined;
+    } | undefined;
+    fork_to_version?: string | undefined;
+    fork_to_prefix?: string | undefined;
     user_intent?: string | undefined;
     target_objects?: string[] | undefined;
     puzzles?: Record<string, {
@@ -362,15 +430,6 @@ export declare const ProjectOperationInputSchema: z.ZodObject<{
         field_path: string;
         required_at_publish: boolean;
     }[] | undefined;
-    steps?: {
-        object_type: "payment" | "reward" | "permission" | "guard" | "allocation" | "service" | "machine" | "treasury" | "order" | "demand" | "progress" | "arb" | "repository" | "contact" | "personal" | "proof";
-        operation: string;
-        step: number;
-        entry_id: string;
-        substep_count: number;
-        depends_on: number[];
-        network_phase: "testnet" | "mainnet" | "both";
-    }[] | undefined;
     scenarios?: {
         description: string;
         scenario_id: string;
@@ -413,6 +472,17 @@ export declare const ProjectOperationInputSchema: z.ZodObject<{
             retry_reason: string;
         } | undefined;
     }[] | undefined;
+    target_stage?: number | undefined;
+    proposal_id?: string | undefined;
+    review_status?: "approved" | "rejected" | "applied" | undefined;
+    queue_filter_status?: "pending" | "approved" | "rejected" | "applied" | undefined;
+    queue_filter_type?: string | undefined;
+    queue_filter_priority?: string | undefined;
+    query_object_type?: string | undefined;
+    query_lifecycle_state?: "created" | "published" | "referenced" | "bound" | undefined;
+    context_objects?: string[] | undefined;
+    include_events?: boolean | undefined;
+    context_network?: "testnet" | "mainnet" | undefined;
 }>;
 export declare const ProjectOperationOutputSchema: z.ZodObject<{
     result: z.ZodDiscriminatedUnion<"action", [z.ZodObject<{
@@ -592,6 +662,48 @@ export declare const ProjectOperationOutputSchema: z.ZodObject<{
         recommended_creation_order: z.ZodArray<z.ZodString, "many">;
         next_action: z.ZodEnum<["aggregate_risks", "none"]>;
         warnings: z.ZodArray<z.ZodString, "many">;
+        gate_validation: z.ZodOptional<z.ZodObject<{
+            stage: z.ZodNumber;
+            passed: z.ZodBoolean;
+            checks: z.ZodArray<z.ZodObject<{
+                dimension: z.ZodEnum<["semantic", "tools", "reversibility", "risk", "isolation", "gas_budget"]>;
+                status: z.ZodEnum<["PASS", "FAIL", "WARN"]>;
+                message: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                message: string;
+                status: "PASS" | "FAIL" | "WARN";
+                dimension: "semantic" | "risk" | "gas_budget" | "tools" | "reversibility" | "isolation";
+            }, {
+                message: string;
+                status: "PASS" | "FAIL" | "WARN";
+                dimension: "semantic" | "risk" | "gas_budget" | "tools" | "reversibility" | "isolation";
+            }>, "many">;
+            blocking_issues: z.ZodArray<z.ZodString, "many">;
+            warnings: z.ZodArray<z.ZodString, "many">;
+            can_proceed: z.ZodBoolean;
+        }, "strip", z.ZodTypeAny, {
+            warnings: string[];
+            stage: number;
+            passed: boolean;
+            checks: {
+                message: string;
+                status: "PASS" | "FAIL" | "WARN";
+                dimension: "semantic" | "risk" | "gas_budget" | "tools" | "reversibility" | "isolation";
+            }[];
+            blocking_issues: string[];
+            can_proceed: boolean;
+        }, {
+            warnings: string[];
+            stage: number;
+            passed: boolean;
+            checks: {
+                message: string;
+                status: "PASS" | "FAIL" | "WARN";
+                dimension: "semantic" | "risk" | "gas_budget" | "tools" | "reversibility" | "isolation";
+            }[];
+            blocking_issues: string[];
+            can_proceed: boolean;
+        }>>;
     }, "strict", z.ZodTypeAny, {
         action: "analyze_intent";
         warnings: string[];
@@ -620,6 +732,18 @@ export declare const ProjectOperationOutputSchema: z.ZodObject<{
         next_step: string;
         recommended_creation_order: string[];
         next_action: "none" | "aggregate_risks";
+        gate_validation?: {
+            warnings: string[];
+            stage: number;
+            passed: boolean;
+            checks: {
+                message: string;
+                status: "PASS" | "FAIL" | "WARN";
+                dimension: "semantic" | "risk" | "gas_budget" | "tools" | "reversibility" | "isolation";
+            }[];
+            blocking_issues: string[];
+            can_proceed: boolean;
+        } | undefined;
     }, {
         action: "analyze_intent";
         warnings: string[];
@@ -648,6 +772,18 @@ export declare const ProjectOperationOutputSchema: z.ZodObject<{
         next_step: string;
         recommended_creation_order: string[];
         next_action: "none" | "aggregate_risks";
+        gate_validation?: {
+            warnings: string[];
+            stage: number;
+            passed: boolean;
+            checks: {
+                message: string;
+                status: "PASS" | "FAIL" | "WARN";
+                dimension: "semantic" | "risk" | "gas_budget" | "tools" | "reversibility" | "isolation";
+            }[];
+            blocking_issues: string[];
+            can_proceed: boolean;
+        } | undefined;
     }>, z.ZodObject<{
         action: z.ZodLiteral<"aggregate_risks">;
         namespace: z.ZodObject<{
@@ -766,11 +902,54 @@ export declare const ProjectOperationOutputSchema: z.ZodObject<{
         can_proceed: z.ZodBoolean;
         next_action: z.ZodEnum<["generate_deployment_doc", "fix_risks", "none"]>;
         user_action_required: z.ZodString;
+        gate_validation: z.ZodOptional<z.ZodObject<{
+            stage: z.ZodNumber;
+            passed: z.ZodBoolean;
+            checks: z.ZodArray<z.ZodObject<{
+                dimension: z.ZodEnum<["semantic", "tools", "reversibility", "risk", "isolation", "gas_budget"]>;
+                status: z.ZodEnum<["PASS", "FAIL", "WARN"]>;
+                message: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                message: string;
+                status: "PASS" | "FAIL" | "WARN";
+                dimension: "semantic" | "risk" | "gas_budget" | "tools" | "reversibility" | "isolation";
+            }, {
+                message: string;
+                status: "PASS" | "FAIL" | "WARN";
+                dimension: "semantic" | "risk" | "gas_budget" | "tools" | "reversibility" | "isolation";
+            }>, "many">;
+            blocking_issues: z.ZodArray<z.ZodString, "many">;
+            warnings: z.ZodArray<z.ZodString, "many">;
+            can_proceed: z.ZodBoolean;
+        }, "strip", z.ZodTypeAny, {
+            warnings: string[];
+            stage: number;
+            passed: boolean;
+            checks: {
+                message: string;
+                status: "PASS" | "FAIL" | "WARN";
+                dimension: "semantic" | "risk" | "gas_budget" | "tools" | "reversibility" | "isolation";
+            }[];
+            blocking_issues: string[];
+            can_proceed: boolean;
+        }, {
+            warnings: string[];
+            stage: number;
+            passed: boolean;
+            checks: {
+                message: string;
+                status: "PASS" | "FAIL" | "WARN";
+                dimension: "semantic" | "risk" | "gas_budget" | "tools" | "reversibility" | "isolation";
+            }[];
+            blocking_issues: string[];
+            can_proceed: boolean;
+        }>>;
     }, "strict", z.ZodTypeAny, {
         status: "RISK_PASSED" | "RISK_BLOCKED" | "RISK_PENDING_CONFIRM" | "RISK_CANCELLED";
         action: "aggregate_risks";
         warnings: string[];
         user_action_required: string;
+        can_proceed: boolean;
         next_action: "none" | "generate_deployment_doc" | "fix_risks";
         namespace: {
             version: string;
@@ -797,7 +976,18 @@ export declare const ProjectOperationOutputSchema: z.ZodObject<{
             INFO: number;
         };
         calibrated_at: number;
-        can_proceed: boolean;
+        gate_validation?: {
+            warnings: string[];
+            stage: number;
+            passed: boolean;
+            checks: {
+                message: string;
+                status: "PASS" | "FAIL" | "WARN";
+                dimension: "semantic" | "risk" | "gas_budget" | "tools" | "reversibility" | "isolation";
+            }[];
+            blocking_issues: string[];
+            can_proceed: boolean;
+        } | undefined;
         pending_confirmations?: {
             object_type: string;
             description: string;
@@ -817,6 +1007,7 @@ export declare const ProjectOperationOutputSchema: z.ZodObject<{
         action: "aggregate_risks";
         warnings: string[];
         user_action_required: string;
+        can_proceed: boolean;
         next_action: "none" | "generate_deployment_doc" | "fix_risks";
         namespace: {
             version: string;
@@ -843,7 +1034,18 @@ export declare const ProjectOperationOutputSchema: z.ZodObject<{
             INFO: number;
         };
         calibrated_at: number;
-        can_proceed: boolean;
+        gate_validation?: {
+            warnings: string[];
+            stage: number;
+            passed: boolean;
+            checks: {
+                message: string;
+                status: "PASS" | "FAIL" | "WARN";
+                dimension: "semantic" | "risk" | "gas_budget" | "tools" | "reversibility" | "isolation";
+            }[];
+            blocking_issues: string[];
+            can_proceed: boolean;
+        } | undefined;
         pending_confirmations?: {
             object_type: string;
             description: string;
@@ -956,9 +1158,61 @@ export declare const ProjectOperationOutputSchema: z.ZodObject<{
             }[];
             publish_gas_mist: number;
         }>>;
+        persisted: z.ZodOptional<z.ZodObject<{
+            all_files: z.ZodArray<z.ZodString, "many">;
+            all_stages_passed: z.ZodBoolean;
+        }, "strip", z.ZodTypeAny, {
+            all_files: string[];
+            all_stages_passed: boolean;
+        }, {
+            all_files: string[];
+            all_stages_passed: boolean;
+        }>>;
         can_proceed: z.ZodBoolean;
         next_action: z.ZodEnum<["trace_substeps", "fix_doc_errors", "none"]>;
         user_action_required: z.ZodString;
+        gate_validation: z.ZodOptional<z.ZodObject<{
+            stage: z.ZodNumber;
+            passed: z.ZodBoolean;
+            checks: z.ZodArray<z.ZodObject<{
+                dimension: z.ZodEnum<["semantic", "tools", "reversibility", "risk", "isolation", "gas_budget"]>;
+                status: z.ZodEnum<["PASS", "FAIL", "WARN"]>;
+                message: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                message: string;
+                status: "PASS" | "FAIL" | "WARN";
+                dimension: "semantic" | "risk" | "gas_budget" | "tools" | "reversibility" | "isolation";
+            }, {
+                message: string;
+                status: "PASS" | "FAIL" | "WARN";
+                dimension: "semantic" | "risk" | "gas_budget" | "tools" | "reversibility" | "isolation";
+            }>, "many">;
+            blocking_issues: z.ZodArray<z.ZodString, "many">;
+            warnings: z.ZodArray<z.ZodString, "many">;
+            can_proceed: z.ZodBoolean;
+        }, "strip", z.ZodTypeAny, {
+            warnings: string[];
+            stage: number;
+            passed: boolean;
+            checks: {
+                message: string;
+                status: "PASS" | "FAIL" | "WARN";
+                dimension: "semantic" | "risk" | "gas_budget" | "tools" | "reversibility" | "isolation";
+            }[];
+            blocking_issues: string[];
+            can_proceed: boolean;
+        }, {
+            warnings: string[];
+            stage: number;
+            passed: boolean;
+            checks: {
+                message: string;
+                status: "PASS" | "FAIL" | "WARN";
+                dimension: "semantic" | "risk" | "gas_budget" | "tools" | "reversibility" | "isolation";
+            }[];
+            blocking_issues: string[];
+            can_proceed: boolean;
+        }>>;
     }, "strict", z.ZodTypeAny, {
         markdown: string;
         meta: {
@@ -970,8 +1224,8 @@ export declare const ProjectOperationOutputSchema: z.ZodObject<{
         };
         action: "generate_deployment_doc";
         user_action_required: string;
-        next_action: "none" | "trace_substeps" | "fix_doc_errors";
         can_proceed: boolean;
+        next_action: "none" | "trace_substeps" | "fix_doc_errors";
         validation?: {
             valid: boolean;
             errors: string[];
@@ -982,6 +1236,18 @@ export declare const ProjectOperationOutputSchema: z.ZodObject<{
                 notes?: string | undefined;
             }[];
         } | undefined;
+        gate_validation?: {
+            warnings: string[];
+            stage: number;
+            passed: boolean;
+            checks: {
+                message: string;
+                status: "PASS" | "FAIL" | "WARN";
+                dimension: "semantic" | "risk" | "gas_budget" | "tools" | "reversibility" | "isolation";
+            }[];
+            blocking_issues: string[];
+            can_proceed: boolean;
+        } | undefined;
         estimated_gas?: {
             total_gas_mist: number;
             per_object: {
@@ -992,6 +1258,10 @@ export declare const ProjectOperationOutputSchema: z.ZodObject<{
             }[];
             publish_gas_mist: number;
         } | undefined;
+        persisted?: {
+            all_files: string[];
+            all_stages_passed: boolean;
+        } | undefined;
     }, {
         markdown: string;
         meta: {
@@ -1003,8 +1273,8 @@ export declare const ProjectOperationOutputSchema: z.ZodObject<{
         };
         action: "generate_deployment_doc";
         user_action_required: string;
-        next_action: "none" | "trace_substeps" | "fix_doc_errors";
         can_proceed: boolean;
+        next_action: "none" | "trace_substeps" | "fix_doc_errors";
         validation?: {
             valid: boolean;
             errors: string[];
@@ -1015,6 +1285,18 @@ export declare const ProjectOperationOutputSchema: z.ZodObject<{
                 notes?: string | undefined;
             }[];
         } | undefined;
+        gate_validation?: {
+            warnings: string[];
+            stage: number;
+            passed: boolean;
+            checks: {
+                message: string;
+                status: "PASS" | "FAIL" | "WARN";
+                dimension: "semantic" | "risk" | "gas_budget" | "tools" | "reversibility" | "isolation";
+            }[];
+            blocking_issues: string[];
+            can_proceed: boolean;
+        } | undefined;
         estimated_gas?: {
             total_gas_mist: number;
             per_object: {
@@ -1025,6 +1307,10 @@ export declare const ProjectOperationOutputSchema: z.ZodObject<{
             }[];
             publish_gas_mist: number;
         } | undefined;
+        persisted?: {
+            all_files: string[];
+            all_stages_passed: boolean;
+        } | undefined;
     }>, z.ZodObject<{
         action: z.ZodLiteral<"trace_substeps">;
         namespace: z.ZodObject<{
@@ -1127,17 +1413,59 @@ export declare const ProjectOperationOutputSchema: z.ZodObject<{
         can_proceed: z.ZodBoolean;
         next_action: z.ZodEnum<["deploy", "fix_substeps", "none"]>;
         user_action_required: z.ZodString;
+        gate_validation: z.ZodOptional<z.ZodObject<{
+            stage: z.ZodNumber;
+            passed: z.ZodBoolean;
+            checks: z.ZodArray<z.ZodObject<{
+                dimension: z.ZodEnum<["semantic", "tools", "reversibility", "risk", "isolation", "gas_budget"]>;
+                status: z.ZodEnum<["PASS", "FAIL", "WARN"]>;
+                message: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                message: string;
+                status: "PASS" | "FAIL" | "WARN";
+                dimension: "semantic" | "risk" | "gas_budget" | "tools" | "reversibility" | "isolation";
+            }, {
+                message: string;
+                status: "PASS" | "FAIL" | "WARN";
+                dimension: "semantic" | "risk" | "gas_budget" | "tools" | "reversibility" | "isolation";
+            }>, "many">;
+            blocking_issues: z.ZodArray<z.ZodString, "many">;
+            warnings: z.ZodArray<z.ZodString, "many">;
+            can_proceed: z.ZodBoolean;
+        }, "strip", z.ZodTypeAny, {
+            warnings: string[];
+            stage: number;
+            passed: boolean;
+            checks: {
+                message: string;
+                status: "PASS" | "FAIL" | "WARN";
+                dimension: "semantic" | "risk" | "gas_budget" | "tools" | "reversibility" | "isolation";
+            }[];
+            blocking_issues: string[];
+            can_proceed: boolean;
+        }, {
+            warnings: string[];
+            stage: number;
+            passed: boolean;
+            checks: {
+                message: string;
+                status: "PASS" | "FAIL" | "WARN";
+                dimension: "semantic" | "risk" | "gas_budget" | "tools" | "reversibility" | "isolation";
+            }[];
+            blocking_issues: string[];
+            can_proceed: boolean;
+        }>>;
     }, "strict", z.ZodTypeAny, {
         network: "testnet" | "mainnet";
         action: "trace_substeps";
         user_action_required: string;
         topological_order: string[];
+        can_proceed: boolean;
         next_action: "none" | "deploy" | "fix_substeps";
         namespace: {
             version: string;
             prefix: string;
         };
-        can_proceed: boolean;
         coherent: boolean;
         dangling_inputs: {
             field_path: string;
@@ -1171,17 +1499,29 @@ export declare const ProjectOperationOutputSchema: z.ZodObject<{
             description: string;
             check_id: "D-10";
         };
+        gate_validation?: {
+            warnings: string[];
+            stage: number;
+            passed: boolean;
+            checks: {
+                message: string;
+                status: "PASS" | "FAIL" | "WARN";
+                dimension: "semantic" | "risk" | "gas_budget" | "tools" | "reversibility" | "isolation";
+            }[];
+            blocking_issues: string[];
+            can_proceed: boolean;
+        } | undefined;
     }, {
         network: "testnet" | "mainnet";
         action: "trace_substeps";
         user_action_required: string;
         topological_order: string[];
+        can_proceed: boolean;
         next_action: "none" | "deploy" | "fix_substeps";
         namespace: {
             version: string;
             prefix: string;
         };
-        can_proceed: boolean;
         coherent: boolean;
         dangling_inputs: {
             field_path: string;
@@ -1215,6 +1555,18 @@ export declare const ProjectOperationOutputSchema: z.ZodObject<{
             description: string;
             check_id: "D-10";
         };
+        gate_validation?: {
+            warnings: string[];
+            stage: number;
+            passed: boolean;
+            checks: {
+                message: string;
+                status: "PASS" | "FAIL" | "WARN";
+                dimension: "semantic" | "risk" | "gas_budget" | "tools" | "reversibility" | "isolation";
+            }[];
+            blocking_issues: string[];
+            can_proceed: boolean;
+        } | undefined;
     }>, z.ZodObject<{
         action: z.ZodLiteral<"get_project_status">;
         project: z.ZodString;
@@ -1234,8 +1586,8 @@ export declare const ProjectOperationOutputSchema: z.ZodObject<{
         action: "get_project_status";
         stage: number;
         project: string;
-        next_action: string;
         can_proceed: boolean;
+        next_action: string;
         stage_name: string;
         stage_description: string;
         risk_status?: string | undefined;
@@ -1248,8 +1600,8 @@ export declare const ProjectOperationOutputSchema: z.ZodObject<{
         action: "get_project_status";
         stage: number;
         project: string;
-        next_action: string;
         can_proceed: boolean;
+        next_action: string;
         stage_name: string;
         stage_description: string;
         risk_status?: string | undefined;
@@ -1257,80 +1609,1523 @@ export declare const ProjectOperationOutputSchema: z.ZodObject<{
         risk_can_proceed?: boolean | undefined;
         doc_generated?: boolean | undefined;
         trace_coherent?: boolean | undefined;
-    }>]>;
-}, "strict", z.ZodTypeAny, {
-    result: {
-        action: "analyze_intent";
-        warnings: string[];
-        puzzles: Record<string, {
-            puzzle: Record<string, unknown>;
-            completeness: Record<string, unknown>;
-            missing_dimensions: string[];
-        }>;
-        intent_parsed: {
-            industry: string;
-            primary_object: string;
-            secondary_objects: string[];
-            detected_scenes: {
-                object: string;
-                scene_id: string;
-            }[];
-            keyword_matches: {
-                category: string;
-                keyword: string;
-                matched_objects: string[];
-                required_level: "C" | "R" | "OPTIONAL";
-                match_count: number;
-            }[];
-        };
-        overall_completeness: "partial" | "complete" | "empty";
-        next_step: string;
-        recommended_creation_order: string[];
-        next_action: "none" | "aggregate_risks";
-    } | {
-        status: "RISK_PASSED" | "RISK_BLOCKED" | "RISK_PENDING_CONFIRM" | "RISK_CANCELLED";
-        action: "aggregate_risks";
-        warnings: string[];
-        user_action_required: string;
-        next_action: "none" | "generate_deployment_doc" | "fix_risks";
-        namespace: {
+    }>, z.ZodObject<{
+        action: z.ZodLiteral<"load_project">;
+        items: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            prefix: z.ZodString;
+            version: z.ZodString;
+            dir_name: z.ZodString;
+            initialized: z.ZodBoolean;
+            archived: z.ZodBoolean;
+            needs_migration: z.ZodBoolean;
+            forked_from: z.ZodOptional<z.ZodString>;
+            chain_exists: z.ZodBoolean;
+            sync_status: z.ZodEnum<["synced", "local_only", "archived", "uninitialized"]>;
+        }, "strip", z.ZodTypeAny, {
             version: string;
             prefix: string;
-            industry?: string | undefined;
-        };
-        findings: {
+            dir_name: string;
+            initialized: boolean;
+            archived: boolean;
+            needs_migration: boolean;
+            chain_exists: boolean;
+            sync_status: "archived" | "synced" | "local_only" | "uninitialized";
+            forked_from?: string | undefined;
+        }, {
+            version: string;
+            prefix: string;
+            dir_name: string;
+            initialized: boolean;
+            archived: boolean;
+            needs_migration: boolean;
+            chain_exists: boolean;
+            sync_status: "archived" | "synced" | "local_only" | "uninitialized";
+            forked_from?: string | undefined;
+        }>, "many">>;
+        total: z.ZodOptional<z.ZodNumber>;
+        project: z.ZodOptional<z.ZodString>;
+        version: z.ZodOptional<z.ZodString>;
+        local_exists: z.ZodOptional<z.ZodBoolean>;
+        manifest: z.ZodOptional<z.ZodObject<{
+            schema_version: z.ZodString;
+            mcp_version: z.ZodString;
+            prefix: z.ZodString;
+            version: z.ZodString;
+            created_at: z.ZodString;
+            updated_at: z.ZodString;
+            forked_from: z.ZodOptional<z.ZodString>;
+            needs_recalibration: z.ZodOptional<z.ZodBoolean>;
+        }, "strip", z.ZodTypeAny, {
+            version: string;
+            prefix: string;
+            schema_version: string;
+            mcp_version: string;
+            created_at: string;
+            updated_at: string;
+            forked_from?: string | undefined;
+            needs_recalibration?: boolean | undefined;
+        }, {
+            version: string;
+            prefix: string;
+            schema_version: string;
+            mcp_version: string;
+            created_at: string;
+            updated_at: string;
+            forked_from?: string | undefined;
+            needs_recalibration?: boolean | undefined;
+        }>>;
+        stage_state: z.ZodOptional<z.ZodObject<{
+            stage: z.ZodOptional<z.ZodNumber>;
+            updated_at: z.ZodOptional<z.ZodNumber>;
+            has_published_object: z.ZodOptional<z.ZodBoolean>;
+            archived: z.ZodOptional<z.ZodBoolean>;
+        }, "strip", z.ZodTypeAny, {
+            stage?: number | undefined;
+            archived?: boolean | undefined;
+            updated_at?: number | undefined;
+            has_published_object?: boolean | undefined;
+        }, {
+            stage?: number | undefined;
+            archived?: boolean | undefined;
+            updated_at?: number | undefined;
+            has_published_object?: boolean | undefined;
+        }>>;
+        sync_status: z.ZodOptional<z.ZodObject<{
+            local_exists: z.ZodBoolean;
+            initialized: z.ZodBoolean;
+            needs_migration: z.ZodBoolean;
+            archived: z.ZodBoolean;
+        }, "strip", z.ZodTypeAny, {
+            initialized: boolean;
+            archived: boolean;
+            needs_migration: boolean;
+            local_exists: boolean;
+        }, {
+            initialized: boolean;
+            archived: boolean;
+            needs_migration: boolean;
+            local_exists: boolean;
+        }>>;
+        migration: z.ZodOptional<z.ZodObject<{
+            migrated: z.ZodBoolean;
+            from_version: z.ZodString;
+            to_version: z.ZodString;
+            steps_executed: z.ZodArray<z.ZodString, "many">;
+            backup_path: z.ZodOptional<z.ZodString>;
+            needs_recalibration: z.ZodBoolean;
+            message: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
             message: string;
-            object_type: string;
-            severity: "CRITICAL" | "HIGH" | "MEDIUM" | "LOW" | "INFO";
-            entry_id: string;
-            risk_rule_id: string;
-            fix_suggestion: string;
-            details?: {
-                field_path?: string | undefined;
-                rule_source?: string | undefined;
-            } | undefined;
-        }[];
-        severity_summary: {
-            CRITICAL: number;
-            HIGH: number;
-            MEDIUM: number;
-            LOW: number;
-            INFO: number;
-        };
-        calibrated_at: number;
-        can_proceed: boolean;
-        pending_confirmations?: {
-            object_type: string;
-            description: string;
-            entry_id: string;
-            risk_rule_id: string;
-            fix_suggestion: string;
-        }[] | undefined;
-        fix_suggestions_grouped?: Record<string, {
+            needs_recalibration: boolean;
+            migrated: boolean;
+            from_version: string;
+            to_version: string;
+            steps_executed: string[];
+            backup_path?: string | undefined;
+        }, {
             message: string;
-            severity: "CRITICAL" | "HIGH" | "MEDIUM" | "LOW" | "INFO";
-            entry_id: string;
-            risk_rule_id: string;
+            needs_recalibration: boolean;
+            migrated: boolean;
+            from_version: string;
+            to_version: string;
+            steps_executed: string[];
+            backup_path?: string | undefined;
+        }>>;
+        message: z.ZodOptional<z.ZodString>;
+    }, "strict", z.ZodTypeAny, {
+        action: "load_project";
+        message?: string | undefined;
+        version?: string | undefined;
+        project?: string | undefined;
+        items?: {
+            version: string;
+            prefix: string;
+            dir_name: string;
+            initialized: boolean;
+            archived: boolean;
+            needs_migration: boolean;
+            chain_exists: boolean;
+            sync_status: "archived" | "synced" | "local_only" | "uninitialized";
+            forked_from?: string | undefined;
+        }[] | undefined;
+        total?: number | undefined;
+        sync_status?: {
+            initialized: boolean;
+            archived: boolean;
+            needs_migration: boolean;
+            local_exists: boolean;
+        } | undefined;
+        local_exists?: boolean | undefined;
+        manifest?: {
+            version: string;
+            prefix: string;
+            schema_version: string;
+            mcp_version: string;
+            created_at: string;
+            updated_at: string;
+            forked_from?: string | undefined;
+            needs_recalibration?: boolean | undefined;
+        } | undefined;
+        stage_state?: {
+            stage?: number | undefined;
+            archived?: boolean | undefined;
+            updated_at?: number | undefined;
+            has_published_object?: boolean | undefined;
+        } | undefined;
+        migration?: {
+            message: string;
+            needs_recalibration: boolean;
+            migrated: boolean;
+            from_version: string;
+            to_version: string;
+            steps_executed: string[];
+            backup_path?: string | undefined;
+        } | undefined;
+    }, {
+        action: "load_project";
+        message?: string | undefined;
+        version?: string | undefined;
+        project?: string | undefined;
+        items?: {
+            version: string;
+            prefix: string;
+            dir_name: string;
+            initialized: boolean;
+            archived: boolean;
+            needs_migration: boolean;
+            chain_exists: boolean;
+            sync_status: "archived" | "synced" | "local_only" | "uninitialized";
+            forked_from?: string | undefined;
+        }[] | undefined;
+        total?: number | undefined;
+        sync_status?: {
+            initialized: boolean;
+            archived: boolean;
+            needs_migration: boolean;
+            local_exists: boolean;
+        } | undefined;
+        local_exists?: boolean | undefined;
+        manifest?: {
+            version: string;
+            prefix: string;
+            schema_version: string;
+            mcp_version: string;
+            created_at: string;
+            updated_at: string;
+            forked_from?: string | undefined;
+            needs_recalibration?: boolean | undefined;
+        } | undefined;
+        stage_state?: {
+            stage?: number | undefined;
+            archived?: boolean | undefined;
+            updated_at?: number | undefined;
+            has_published_object?: boolean | undefined;
+        } | undefined;
+        migration?: {
+            message: string;
+            needs_recalibration: boolean;
+            migrated: boolean;
+            from_version: string;
+            to_version: string;
+            steps_executed: string[];
+            backup_path?: string | undefined;
+        } | undefined;
+    }>, z.ZodObject<{
+        action: z.ZodLiteral<"fork_project">;
+        new_prefix: z.ZodString;
+        new_version: z.ZodString;
+        new_path: z.ZodString;
+        forked_from: z.ZodString;
+        copied_files: z.ZodArray<z.ZodString, "many">;
+        copied_file_count: z.ZodNumber;
+        warning: z.ZodString;
+        next_action: z.ZodLiteral<"analyze_intent">;
+    }, "strict", z.ZodTypeAny, {
+        action: "fork_project";
+        warning: string;
+        next_action: "analyze_intent";
+        forked_from: string;
+        new_prefix: string;
+        new_version: string;
+        new_path: string;
+        copied_files: string[];
+        copied_file_count: number;
+    }, {
+        action: "fork_project";
+        warning: string;
+        next_action: "analyze_intent";
+        forked_from: string;
+        new_prefix: string;
+        new_version: string;
+        new_path: string;
+        copied_files: string[];
+        copied_file_count: number;
+    }>, z.ZodObject<{
+        action: z.ZodLiteral<"export_project">;
+        project: z.ZodString;
+        version: z.ZodString;
+        files: z.ZodArray<z.ZodObject<{
+            path: z.ZodString;
+            size: z.ZodNumber;
+            kind: z.ZodEnum<["json", "markdown", "jsonl", "other"]>;
+            content: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            path: string;
+            content: string;
+            kind: "markdown" | "other" | "json" | "jsonl";
+            size: number;
+        }, {
+            path: string;
+            content: string;
+            kind: "markdown" | "other" | "json" | "jsonl";
+            size: number;
+        }>, "many">;
+        total_files: z.ZodNumber;
+    }, "strict", z.ZodTypeAny, {
+        version: string;
+        files: {
+            path: string;
+            content: string;
+            kind: "markdown" | "other" | "json" | "jsonl";
+            size: number;
+        }[];
+        action: "export_project";
+        project: string;
+        total_files: number;
+    }, {
+        version: string;
+        files: {
+            path: string;
+            content: string;
+            kind: "markdown" | "other" | "json" | "jsonl";
+            size: number;
+        }[];
+        action: "export_project";
+        project: string;
+        total_files: number;
+    }>, z.ZodObject<{
+        action: z.ZodLiteral<"get_project_files">;
+        project: z.ZodString;
+        version: z.ZodString;
+        files: z.ZodArray<z.ZodObject<{
+            path: z.ZodString;
+            size: z.ZodNumber;
+            kind: z.ZodEnum<["json", "markdown", "jsonl", "other"]>;
+            mtime: z.ZodNumber;
+        }, "strip", z.ZodTypeAny, {
+            path: string;
+            kind: "markdown" | "other" | "json" | "jsonl";
+            size: number;
+            mtime: number;
+        }, {
+            path: string;
+            kind: "markdown" | "other" | "json" | "jsonl";
+            size: number;
+            mtime: number;
+        }>, "many">;
+        total_files: z.ZodNumber;
+    }, "strict", z.ZodTypeAny, {
+        version: string;
+        files: {
+            path: string;
+            kind: "markdown" | "other" | "json" | "jsonl";
+            size: number;
+            mtime: number;
+        }[];
+        action: "get_project_files";
+        project: string;
+        total_files: number;
+    }, {
+        version: string;
+        files: {
+            path: string;
+            kind: "markdown" | "other" | "json" | "jsonl";
+            size: number;
+            mtime: number;
+        }[];
+        action: "get_project_files";
+        project: string;
+        total_files: number;
+    }>, z.ZodObject<{
+        action: z.ZodLiteral<"validate_stage_unit">;
+        project: z.ZodString;
+        version: z.ZodString;
+        stage: z.ZodNumber;
+        valid: z.ZodBoolean;
+        missing_files: z.ZodArray<z.ZodString, "many">;
+        checks: z.ZodArray<z.ZodObject<{
+            check_id: z.ZodString;
+            status: z.ZodEnum<["pass", "fail", "warn"]>;
+            message: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            message: string;
+            status: "pass" | "fail" | "warn";
+            check_id: string;
+        }, {
+            message: string;
+            status: "pass" | "fail" | "warn";
+            check_id: string;
+        }>, "many">;
+        blocking_issues: z.ZodArray<z.ZodString, "many">;
+        stage_passed: z.ZodOptional<z.ZodBoolean>;
+    }, "strict", z.ZodTypeAny, {
+        valid: boolean;
+        version: string;
+        action: "validate_stage_unit";
+        stage: number;
+        project: string;
+        checks: {
+            message: string;
+            status: "pass" | "fail" | "warn";
+            check_id: string;
+        }[];
+        blocking_issues: string[];
+        missing_files: string[];
+        stage_passed?: boolean | undefined;
+    }, {
+        valid: boolean;
+        version: string;
+        action: "validate_stage_unit";
+        stage: number;
+        project: string;
+        checks: {
+            message: string;
+            status: "pass" | "fail" | "warn";
+            check_id: string;
+        }[];
+        blocking_issues: string[];
+        missing_files: string[];
+        stage_passed?: boolean | undefined;
+    }>, z.ZodObject<{
+        action: z.ZodLiteral<"get_stage_assessment">;
+        project: z.ZodString;
+        version: z.ZodString;
+        stage: z.ZodNumber;
+        found: z.ZodBoolean;
+        assessment: z.ZodOptional<z.ZodObject<{
+            stage: z.ZodNumber;
+            assessed_at: z.ZodNumber;
+            goal_completion: z.ZodRecord<z.ZodString, z.ZodNumber>;
+            findings: z.ZodArray<z.ZodObject<{
+                finding_id: z.ZodString;
+                severity: z.ZodEnum<["info", "warn", "critical"]>;
+                criterion_id: z.ZodString;
+                description: z.ZodString;
+                evidence: z.ZodUnknown;
+            }, "strip", z.ZodTypeAny, {
+                description: string;
+                severity: "info" | "critical" | "warn";
+                finding_id: string;
+                criterion_id: string;
+                evidence?: unknown;
+            }, {
+                description: string;
+                severity: "info" | "critical" | "warn";
+                finding_id: string;
+                criterion_id: string;
+                evidence?: unknown;
+            }>, "many">;
+            recommendations: z.ZodArray<z.ZodString, "many">;
+        }, "strip", z.ZodTypeAny, {
+            recommendations: string[];
+            stage: number;
+            findings: {
+                description: string;
+                severity: "info" | "critical" | "warn";
+                finding_id: string;
+                criterion_id: string;
+                evidence?: unknown;
+            }[];
+            assessed_at: number;
+            goal_completion: Record<string, number>;
+        }, {
+            recommendations: string[];
+            stage: number;
+            findings: {
+                description: string;
+                severity: "info" | "critical" | "warn";
+                finding_id: string;
+                criterion_id: string;
+                evidence?: unknown;
+            }[];
+            assessed_at: number;
+            goal_completion: Record<string, number>;
+        }>>;
+    }, "strict", z.ZodTypeAny, {
+        version: string;
+        action: "get_stage_assessment";
+        stage: number;
+        project: string;
+        found: boolean;
+        assessment?: {
+            recommendations: string[];
+            stage: number;
+            findings: {
+                description: string;
+                severity: "info" | "critical" | "warn";
+                finding_id: string;
+                criterion_id: string;
+                evidence?: unknown;
+            }[];
+            assessed_at: number;
+            goal_completion: Record<string, number>;
+        } | undefined;
+    }, {
+        version: string;
+        action: "get_stage_assessment";
+        stage: number;
+        project: string;
+        found: boolean;
+        assessment?: {
+            recommendations: string[];
+            stage: number;
+            findings: {
+                description: string;
+                severity: "info" | "critical" | "warn";
+                finding_id: string;
+                criterion_id: string;
+                evidence?: unknown;
+            }[];
+            assessed_at: number;
+            goal_completion: Record<string, number>;
+        } | undefined;
+    }>, z.ZodObject<{
+        action: z.ZodLiteral<"get_stage_risk_policy">;
+        project: z.ZodString;
+        version: z.ZodString;
+        stage: z.ZodNumber;
+        found: z.ZodBoolean;
+        risk_policy: z.ZodOptional<z.ZodObject<{
+            stage: z.ZodNumber;
+            risks: z.ZodArray<z.ZodObject<{
+                risk_id: z.ZodString;
+                category: z.ZodEnum<["naming", "dependency", "operational", "financial", "security"]>;
+                description: z.ZodString;
+                likelihood: z.ZodEnum<["low", "medium", "high"]>;
+                impact: z.ZodEnum<["low", "medium", "high", "critical"]>;
+                mitigation: z.ZodString;
+                owner: z.ZodEnum<["ai", "user", "system"]>;
+            }, "strip", z.ZodTypeAny, {
+                owner: "user" | "ai" | "system";
+                description: string;
+                category: "financial" | "dependency" | "operational" | "security" | "naming";
+                mitigation: string;
+                risk_id: string;
+                likelihood: "low" | "high" | "medium";
+                impact: "low" | "high" | "critical" | "medium";
+            }, {
+                owner: "user" | "ai" | "system";
+                description: string;
+                category: "financial" | "dependency" | "operational" | "security" | "naming";
+                mitigation: string;
+                risk_id: string;
+                likelihood: "low" | "high" | "medium";
+                impact: "low" | "high" | "critical" | "medium";
+            }>, "many">;
+            active_controls: z.ZodArray<z.ZodObject<{
+                control_id: z.ZodString;
+                control_type: z.ZodEnum<["preventive", "detective", "corrective"]>;
+                target_risk: z.ZodString;
+                implementation: z.ZodString;
+                verified: z.ZodBoolean;
+            }, "strip", z.ZodTypeAny, {
+                control_id: string;
+                control_type: "preventive" | "detective" | "corrective";
+                target_risk: string;
+                implementation: string;
+                verified: boolean;
+            }, {
+                control_id: string;
+                control_type: "preventive" | "detective" | "corrective";
+                target_risk: string;
+                implementation: string;
+                verified: boolean;
+            }>, "many">;
+            residual_risks: z.ZodArray<z.ZodString, "many">;
+        }, "strip", z.ZodTypeAny, {
+            stage: number;
+            risks: {
+                owner: "user" | "ai" | "system";
+                description: string;
+                category: "financial" | "dependency" | "operational" | "security" | "naming";
+                mitigation: string;
+                risk_id: string;
+                likelihood: "low" | "high" | "medium";
+                impact: "low" | "high" | "critical" | "medium";
+            }[];
+            active_controls: {
+                control_id: string;
+                control_type: "preventive" | "detective" | "corrective";
+                target_risk: string;
+                implementation: string;
+                verified: boolean;
+            }[];
+            residual_risks: string[];
+        }, {
+            stage: number;
+            risks: {
+                owner: "user" | "ai" | "system";
+                description: string;
+                category: "financial" | "dependency" | "operational" | "security" | "naming";
+                mitigation: string;
+                risk_id: string;
+                likelihood: "low" | "high" | "medium";
+                impact: "low" | "high" | "critical" | "medium";
+            }[];
+            active_controls: {
+                control_id: string;
+                control_type: "preventive" | "detective" | "corrective";
+                target_risk: string;
+                implementation: string;
+                verified: boolean;
+            }[];
+            residual_risks: string[];
+        }>>;
+    }, "strict", z.ZodTypeAny, {
+        version: string;
+        action: "get_stage_risk_policy";
+        stage: number;
+        project: string;
+        found: boolean;
+        risk_policy?: {
+            stage: number;
+            risks: {
+                owner: "user" | "ai" | "system";
+                description: string;
+                category: "financial" | "dependency" | "operational" | "security" | "naming";
+                mitigation: string;
+                risk_id: string;
+                likelihood: "low" | "high" | "medium";
+                impact: "low" | "high" | "critical" | "medium";
+            }[];
+            active_controls: {
+                control_id: string;
+                control_type: "preventive" | "detective" | "corrective";
+                target_risk: string;
+                implementation: string;
+                verified: boolean;
+            }[];
+            residual_risks: string[];
+        } | undefined;
+    }, {
+        version: string;
+        action: "get_stage_risk_policy";
+        stage: number;
+        project: string;
+        found: boolean;
+        risk_policy?: {
+            stage: number;
+            risks: {
+                owner: "user" | "ai" | "system";
+                description: string;
+                category: "financial" | "dependency" | "operational" | "security" | "naming";
+                mitigation: string;
+                risk_id: string;
+                likelihood: "low" | "high" | "medium";
+                impact: "low" | "high" | "critical" | "medium";
+            }[];
+            active_controls: {
+                control_id: string;
+                control_type: "preventive" | "detective" | "corrective";
+                target_risk: string;
+                implementation: string;
+                verified: boolean;
+            }[];
+            residual_risks: string[];
+        } | undefined;
+    }>, z.ZodObject<{
+        action: z.ZodLiteral<"get_doc_relations">;
+        project: z.ZodString;
+        version: z.ZodString;
+        found: z.ZodBoolean;
+        relations: z.ZodOptional<z.ZodObject<{
+            version: z.ZodString;
+            generated_at: z.ZodNumber;
+            project_invariants: z.ZodArray<z.ZodObject<{
+                invariant_id: z.ZodString;
+                description: z.ZodString;
+                verified_by_stages: z.ZodArray<z.ZodNumber, "many">;
+            }, "strip", z.ZodTypeAny, {
+                description: string;
+                invariant_id: string;
+                verified_by_stages: number[];
+            }, {
+                description: string;
+                invariant_id: string;
+                verified_by_stages: number[];
+            }>, "many">;
+            stage_units: z.ZodArray<z.ZodObject<{
+                stage: z.ZodNumber;
+                goal_id: z.ZodString;
+                assessment_id: z.ZodString;
+                risk_policy_id: z.ZodString;
+                verification_id: z.ZodString;
+                artifacts: z.ZodArray<z.ZodString, "many">;
+            }, "strip", z.ZodTypeAny, {
+                stage: number;
+                goal_id: string;
+                assessment_id: string;
+                risk_policy_id: string;
+                verification_id: string;
+                artifacts: string[];
+            }, {
+                stage: number;
+                goal_id: string;
+                assessment_id: string;
+                risk_policy_id: string;
+                verification_id: string;
+                artifacts: string[];
+            }>, "many">;
+            derivations: z.ZodArray<z.ZodObject<{
+                source_type: z.ZodEnum<["project_invariant", "project_goal"]>;
+                source_id: z.ZodString;
+                target_type: z.ZodEnum<["stage_goal", "stage_risk", "stage_verification"]>;
+                target_stage: z.ZodNumber;
+                target_id: z.ZodString;
+                derivation_logic: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                source_type: "project_invariant" | "project_goal";
+                target_type: "stage_goal" | "stage_risk" | "stage_verification";
+                target_stage: number;
+                source_id: string;
+                target_id: string;
+                derivation_logic: string;
+            }, {
+                source_type: "project_invariant" | "project_goal";
+                target_type: "stage_goal" | "stage_risk" | "stage_verification";
+                target_stage: number;
+                source_id: string;
+                target_id: string;
+                derivation_logic: string;
+            }>, "many">;
+            propagation_rules: z.ZodArray<z.ZodObject<{
+                rule_id: z.ZodString;
+                trigger: z.ZodObject<{
+                    stage: z.ZodNumber;
+                    event: z.ZodEnum<["verification_passed", "verification_failed"]>;
+                }, "strip", z.ZodTypeAny, {
+                    stage: number;
+                    event: "verification_passed" | "verification_failed";
+                }, {
+                    stage: number;
+                    event: "verification_passed" | "verification_failed";
+                }>;
+                effect: z.ZodObject<{
+                    target: z.ZodEnum<["project_invariant", "next_stage"]>;
+                    action: z.ZodEnum<["verify", "block"]>;
+                }, "strip", z.ZodTypeAny, {
+                    action: "verify" | "block";
+                    target: "project_invariant" | "next_stage";
+                }, {
+                    action: "verify" | "block";
+                    target: "project_invariant" | "next_stage";
+                }>;
+            }, "strip", z.ZodTypeAny, {
+                rule_id: string;
+                trigger: {
+                    stage: number;
+                    event: "verification_passed" | "verification_failed";
+                };
+                effect: {
+                    action: "verify" | "block";
+                    target: "project_invariant" | "next_stage";
+                };
+            }, {
+                rule_id: string;
+                trigger: {
+                    stage: number;
+                    event: "verification_passed" | "verification_failed";
+                };
+                effect: {
+                    action: "verify" | "block";
+                    target: "project_invariant" | "next_stage";
+                };
+            }>, "many">;
+            impact_map: z.ZodRecord<z.ZodString, z.ZodArray<z.ZodString, "many">>;
+        }, "strip", z.ZodTypeAny, {
+            version: string;
+            generated_at: number;
+            project_invariants: {
+                description: string;
+                invariant_id: string;
+                verified_by_stages: number[];
+            }[];
+            stage_units: {
+                stage: number;
+                goal_id: string;
+                assessment_id: string;
+                risk_policy_id: string;
+                verification_id: string;
+                artifacts: string[];
+            }[];
+            derivations: {
+                source_type: "project_invariant" | "project_goal";
+                target_type: "stage_goal" | "stage_risk" | "stage_verification";
+                target_stage: number;
+                source_id: string;
+                target_id: string;
+                derivation_logic: string;
+            }[];
+            propagation_rules: {
+                rule_id: string;
+                trigger: {
+                    stage: number;
+                    event: "verification_passed" | "verification_failed";
+                };
+                effect: {
+                    action: "verify" | "block";
+                    target: "project_invariant" | "next_stage";
+                };
+            }[];
+            impact_map: Record<string, string[]>;
+        }, {
+            version: string;
+            generated_at: number;
+            project_invariants: {
+                description: string;
+                invariant_id: string;
+                verified_by_stages: number[];
+            }[];
+            stage_units: {
+                stage: number;
+                goal_id: string;
+                assessment_id: string;
+                risk_policy_id: string;
+                verification_id: string;
+                artifacts: string[];
+            }[];
+            derivations: {
+                source_type: "project_invariant" | "project_goal";
+                target_type: "stage_goal" | "stage_risk" | "stage_verification";
+                target_stage: number;
+                source_id: string;
+                target_id: string;
+                derivation_logic: string;
+            }[];
+            propagation_rules: {
+                rule_id: string;
+                trigger: {
+                    stage: number;
+                    event: "verification_passed" | "verification_failed";
+                };
+                effect: {
+                    action: "verify" | "block";
+                    target: "project_invariant" | "next_stage";
+                };
+            }[];
+            impact_map: Record<string, string[]>;
+        }>>;
+    }, "strict", z.ZodTypeAny, {
+        version: string;
+        action: "get_doc_relations";
+        project: string;
+        found: boolean;
+        relations?: {
+            version: string;
+            generated_at: number;
+            project_invariants: {
+                description: string;
+                invariant_id: string;
+                verified_by_stages: number[];
+            }[];
+            stage_units: {
+                stage: number;
+                goal_id: string;
+                assessment_id: string;
+                risk_policy_id: string;
+                verification_id: string;
+                artifacts: string[];
+            }[];
+            derivations: {
+                source_type: "project_invariant" | "project_goal";
+                target_type: "stage_goal" | "stage_risk" | "stage_verification";
+                target_stage: number;
+                source_id: string;
+                target_id: string;
+                derivation_logic: string;
+            }[];
+            propagation_rules: {
+                rule_id: string;
+                trigger: {
+                    stage: number;
+                    event: "verification_passed" | "verification_failed";
+                };
+                effect: {
+                    action: "verify" | "block";
+                    target: "project_invariant" | "next_stage";
+                };
+            }[];
+            impact_map: Record<string, string[]>;
+        } | undefined;
+    }, {
+        version: string;
+        action: "get_doc_relations";
+        project: string;
+        found: boolean;
+        relations?: {
+            version: string;
+            generated_at: number;
+            project_invariants: {
+                description: string;
+                invariant_id: string;
+                verified_by_stages: number[];
+            }[];
+            stage_units: {
+                stage: number;
+                goal_id: string;
+                assessment_id: string;
+                risk_policy_id: string;
+                verification_id: string;
+                artifacts: string[];
+            }[];
+            derivations: {
+                source_type: "project_invariant" | "project_goal";
+                target_type: "stage_goal" | "stage_risk" | "stage_verification";
+                target_stage: number;
+                source_id: string;
+                target_id: string;
+                derivation_logic: string;
+            }[];
+            propagation_rules: {
+                rule_id: string;
+                trigger: {
+                    stage: number;
+                    event: "verification_passed" | "verification_failed";
+                };
+                effect: {
+                    action: "verify" | "block";
+                    target: "project_invariant" | "next_stage";
+                };
+            }[];
+            impact_map: Record<string, string[]>;
+        } | undefined;
+    }>, z.ZodObject<{
+        action: z.ZodLiteral<"update_deployment_doc">;
+        project: z.ZodString;
+        version: z.ZodString;
+        updated: z.ZodBoolean;
+        updated_files: z.ZodArray<z.ZodString, "many">;
+        updated_file_count: z.ZodNumber;
+        all_stages_passed: z.ZodBoolean;
+        impact_summary: z.ZodObject<{
+            stages_affected: z.ZodArray<z.ZodNumber, "many">;
+            relations_rebuilt: z.ZodBoolean;
+        }, "strip", z.ZodTypeAny, {
+            stages_affected: number[];
+            relations_rebuilt: boolean;
+        }, {
+            stages_affected: number[];
+            relations_rebuilt: boolean;
+        }>;
+        next_action: z.ZodEnum<["validate_validation_chain", "trace_substeps", "none"]>;
+    }, "strict", z.ZodTypeAny, {
+        version: string;
+        action: "update_deployment_doc";
+        project: string;
+        next_action: "none" | "trace_substeps" | "validate_validation_chain";
+        all_stages_passed: boolean;
+        updated: boolean;
+        updated_files: string[];
+        updated_file_count: number;
+        impact_summary: {
+            stages_affected: number[];
+            relations_rebuilt: boolean;
+        };
+    }, {
+        version: string;
+        action: "update_deployment_doc";
+        project: string;
+        next_action: "none" | "trace_substeps" | "validate_validation_chain";
+        all_stages_passed: boolean;
+        updated: boolean;
+        updated_files: string[];
+        updated_file_count: number;
+        impact_summary: {
+            stages_affected: number[];
+            relations_rebuilt: boolean;
+        };
+    }>, z.ZodObject<{
+        action: z.ZodLiteral<"validate_validation_chain">;
+        project: z.ZodString;
+        version: z.ZodString;
+        valid: z.ZodBoolean;
+        derivation_checks: z.ZodArray<z.ZodObject<{
+            check_id: z.ZodString;
+            status: z.ZodEnum<["pass", "fail", "warn"]>;
+            message: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            message: string;
+            status: "pass" | "fail" | "warn";
+            check_id: string;
+        }, {
+            message: string;
+            status: "pass" | "fail" | "warn";
+            check_id: string;
+        }>, "many">;
+        propagation_checks: z.ZodArray<z.ZodObject<{
+            check_id: z.ZodString;
+            status: z.ZodEnum<["pass", "fail", "warn"]>;
+            message: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            message: string;
+            status: "pass" | "fail" | "warn";
+            check_id: string;
+        }, {
+            message: string;
+            status: "pass" | "fail" | "warn";
+            check_id: string;
+        }>, "many">;
+        cross_stage_checks: z.ZodArray<z.ZodObject<{
+            check_id: z.ZodString;
+            status: z.ZodEnum<["pass", "fail", "warn"]>;
+            message: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            message: string;
+            status: "pass" | "fail" | "warn";
+            check_id: string;
+        }, {
+            message: string;
+            status: "pass" | "fail" | "warn";
+            check_id: string;
+        }>, "many">;
+        impact_map_checks: z.ZodArray<z.ZodObject<{
+            check_id: z.ZodString;
+            status: z.ZodEnum<["pass", "fail", "warn"]>;
+            message: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            message: string;
+            status: "pass" | "fail" | "warn";
+            check_id: string;
+        }, {
+            message: string;
+            status: "pass" | "fail" | "warn";
+            check_id: string;
+        }>, "many">;
+        blocking_issues: z.ZodArray<z.ZodString, "many">;
+        warnings: z.ZodArray<z.ZodString, "many">;
+    }, "strict", z.ZodTypeAny, {
+        valid: boolean;
+        version: string;
+        action: "validate_validation_chain";
+        warnings: string[];
+        project: string;
+        blocking_issues: string[];
+        derivation_checks: {
+            message: string;
+            status: "pass" | "fail" | "warn";
+            check_id: string;
+        }[];
+        propagation_checks: {
+            message: string;
+            status: "pass" | "fail" | "warn";
+            check_id: string;
+        }[];
+        cross_stage_checks: {
+            message: string;
+            status: "pass" | "fail" | "warn";
+            check_id: string;
+        }[];
+        impact_map_checks: {
+            message: string;
+            status: "pass" | "fail" | "warn";
+            check_id: string;
+        }[];
+    }, {
+        valid: boolean;
+        version: string;
+        action: "validate_validation_chain";
+        warnings: string[];
+        project: string;
+        blocking_issues: string[];
+        derivation_checks: {
+            message: string;
+            status: "pass" | "fail" | "warn";
+            check_id: string;
+        }[];
+        propagation_checks: {
+            message: string;
+            status: "pass" | "fail" | "warn";
+            check_id: string;
+        }[];
+        cross_stage_checks: {
+            message: string;
+            status: "pass" | "fail" | "warn";
+            check_id: string;
+        }[];
+        impact_map_checks: {
+            message: string;
+            status: "pass" | "fail" | "warn";
+            check_id: string;
+        }[];
+    }>, z.ZodObject<{
+        action: z.ZodLiteral<"apply_improvement">;
+        proposal_id: z.ZodString;
+        previous_status: z.ZodString;
+        new_status: z.ZodString;
+        applied: z.ZodBoolean;
+        apply_mode: z.ZodEnum<["config_override", "source_patch"]>;
+        override_file: z.ZodOptional<z.ZodString>;
+        patch_file: z.ZodOptional<z.ZodString>;
+        message: z.ZodString;
+        next_action: z.ZodEnum<["get_improvement_queue", "get_flywheel_config", "none"]>;
+    }, "strict", z.ZodTypeAny, {
+        message: string;
+        action: "apply_improvement";
+        applied: boolean;
+        proposal_id: string;
+        next_action: "none" | "get_improvement_queue" | "get_flywheel_config";
+        previous_status: string;
+        new_status: string;
+        apply_mode: "config_override" | "source_patch";
+        override_file?: string | undefined;
+        patch_file?: string | undefined;
+    }, {
+        message: string;
+        action: "apply_improvement";
+        applied: boolean;
+        proposal_id: string;
+        next_action: "none" | "get_improvement_queue" | "get_flywheel_config";
+        previous_status: string;
+        new_status: string;
+        apply_mode: "config_override" | "source_patch";
+        override_file?: string | undefined;
+        patch_file?: string | undefined;
+    }>, z.ZodObject<{
+        action: z.ZodLiteral<"get_improvement_queue">;
+        total: z.ZodNumber;
+        filtered_count: z.ZodNumber;
+        proposals: z.ZodArray<z.ZodObject<{
+            proposal_id: z.ZodString;
+            source_diagnosis_id: z.ZodString;
+            type: z.ZodString;
+            priority: z.ZodString;
+            automation: z.ZodEnum<["full", "semi", "manual"]>;
+            apply_mode: z.ZodEnum<["config_override", "source_patch"]>;
+            override_category: z.ZodOptional<z.ZodString>;
+            title: z.ZodString;
+            description: z.ZodString;
+            target: z.ZodString;
+            review_status: z.ZodEnum<["pending", "approved", "rejected", "applied"]>;
+            ab_test_recommended: z.ZodBoolean;
+            persisted_at: z.ZodOptional<z.ZodString>;
+            reviewed_at: z.ZodOptional<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            type: string;
+            description: string;
+            title: string;
+            priority: string;
+            target: string;
+            automation: "full" | "manual" | "semi";
+            proposal_id: string;
+            review_status: "pending" | "approved" | "rejected" | "applied";
+            apply_mode: "config_override" | "source_patch";
+            source_diagnosis_id: string;
+            ab_test_recommended: boolean;
+            override_category?: string | undefined;
+            persisted_at?: string | undefined;
+            reviewed_at?: string | undefined;
+        }, {
+            type: string;
+            description: string;
+            title: string;
+            priority: string;
+            target: string;
+            automation: "full" | "manual" | "semi";
+            proposal_id: string;
+            review_status: "pending" | "approved" | "rejected" | "applied";
+            apply_mode: "config_override" | "source_patch";
+            source_diagnosis_id: string;
+            ab_test_recommended: boolean;
+            override_category?: string | undefined;
+            persisted_at?: string | undefined;
+            reviewed_at?: string | undefined;
+        }>, "many">;
+        summary: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        summary: string;
+        action: "get_improvement_queue";
+        total: number;
+        filtered_count: number;
+        proposals: {
+            type: string;
+            description: string;
+            title: string;
+            priority: string;
+            target: string;
+            automation: "full" | "manual" | "semi";
+            proposal_id: string;
+            review_status: "pending" | "approved" | "rejected" | "applied";
+            apply_mode: "config_override" | "source_patch";
+            source_diagnosis_id: string;
+            ab_test_recommended: boolean;
+            override_category?: string | undefined;
+            persisted_at?: string | undefined;
+            reviewed_at?: string | undefined;
+        }[];
+    }, {
+        summary: string;
+        action: "get_improvement_queue";
+        total: number;
+        filtered_count: number;
+        proposals: {
+            type: string;
+            description: string;
+            title: string;
+            priority: string;
+            target: string;
+            automation: "full" | "manual" | "semi";
+            proposal_id: string;
+            review_status: "pending" | "approved" | "rejected" | "applied";
+            apply_mode: "config_override" | "source_patch";
+            source_diagnosis_id: string;
+            ab_test_recommended: boolean;
+            override_category?: string | undefined;
+            persisted_at?: string | undefined;
+            reviewed_at?: string | undefined;
+        }[];
+    }>, z.ZodObject<{
+        action: z.ZodLiteral<"get_flywheel_config">;
+        queue_path: z.ZodString;
+        overrides_dir: z.ZodString;
+        patches_dir: z.ZodString;
+        total_proposals: z.ZodNumber;
+        pending_count: z.ZodNumber;
+        approved_count: z.ZodNumber;
+        applied_count: z.ZodNumber;
+        rejected_count: z.ZodNumber;
+        override_files: z.ZodArray<z.ZodString, "many">;
+        recent_proposals: z.ZodArray<z.ZodObject<{
+            proposal_id: z.ZodString;
+            type: z.ZodString;
+            priority: z.ZodString;
+            review_status: z.ZodEnum<["pending", "approved", "rejected", "applied"]>;
+            title: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            type: string;
+            title: string;
+            priority: string;
+            proposal_id: string;
+            review_status: "pending" | "approved" | "rejected" | "applied";
+        }, {
+            type: string;
+            title: string;
+            priority: string;
+            proposal_id: string;
+            review_status: "pending" | "approved" | "rejected" | "applied";
+        }>, "many">;
+        reflow_status: z.ZodEnum<["active", "idle", "blocked"]>;
+    }, "strict", z.ZodTypeAny, {
+        action: "get_flywheel_config";
+        pending_count: number;
+        queue_path: string;
+        overrides_dir: string;
+        patches_dir: string;
+        total_proposals: number;
+        approved_count: number;
+        applied_count: number;
+        rejected_count: number;
+        override_files: string[];
+        recent_proposals: {
+            type: string;
+            title: string;
+            priority: string;
+            proposal_id: string;
+            review_status: "pending" | "approved" | "rejected" | "applied";
+        }[];
+        reflow_status: "active" | "blocked" | "idle";
+    }, {
+        action: "get_flywheel_config";
+        pending_count: number;
+        queue_path: string;
+        overrides_dir: string;
+        patches_dir: string;
+        total_proposals: number;
+        approved_count: number;
+        applied_count: number;
+        rejected_count: number;
+        override_files: string[];
+        recent_proposals: {
+            type: string;
+            title: string;
+            priority: string;
+            proposal_id: string;
+            review_status: "pending" | "approved" | "rejected" | "applied";
+        }[];
+        reflow_status: "active" | "blocked" | "idle";
+    }>, z.ZodObject<{
+        action: z.ZodLiteral<"rollback_stage">;
+        success: z.ZodBoolean;
+        dry_run: z.ZodBoolean;
+        target_stage: z.ZodNumber;
+        previous_stage: z.ZodNumber;
+        allowed: z.ZodBoolean;
+        block_reason: z.ZodOptional<z.ZodString>;
+        files_to_clean: z.ZodArray<z.ZodString, "many">;
+        files_cleaned: z.ZodArray<z.ZodString, "many">;
+        warnings: z.ZodArray<z.ZodString, "many">;
+        iteration_strategy: z.ZodObject<{
+            strategy: z.ZodEnum<["in_place", "fork"]>;
+            reason: z.ZodString;
+            fork_to_version: z.ZodOptional<z.ZodString>;
+            published_objects: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        }, "strip", z.ZodTypeAny, {
+            reason: string;
+            strategy: "fork" | "in_place";
+            fork_to_version?: string | undefined;
+            published_objects?: string[] | undefined;
+        }, {
+            reason: string;
+            strategy: "fork" | "in_place";
+            fork_to_version?: string | undefined;
+            published_objects?: string[] | undefined;
+        }>;
+        message: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        message: string;
+        success: boolean;
+        action: "rollback_stage";
+        warnings: string[];
+        dry_run: boolean;
+        target_stage: number;
+        previous_stage: number;
+        allowed: boolean;
+        files_to_clean: string[];
+        files_cleaned: string[];
+        iteration_strategy: {
+            reason: string;
+            strategy: "fork" | "in_place";
+            fork_to_version?: string | undefined;
+            published_objects?: string[] | undefined;
+        };
+        block_reason?: string | undefined;
+    }, {
+        message: string;
+        success: boolean;
+        action: "rollback_stage";
+        warnings: string[];
+        dry_run: boolean;
+        target_stage: number;
+        previous_stage: number;
+        allowed: boolean;
+        files_to_clean: string[];
+        files_cleaned: string[];
+        iteration_strategy: {
+            reason: string;
+            strategy: "fork" | "in_place";
+            fork_to_version?: string | undefined;
+            published_objects?: string[] | undefined;
+        };
+        block_reason?: string | undefined;
+    }>, z.ZodObject<{
+        action: z.ZodLiteral<"get_reversibility">;
+        query: z.ZodObject<{
+            object_type: z.ZodOptional<z.ZodString>;
+            lifecycle_state: z.ZodOptional<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            object_type?: string | undefined;
+            lifecycle_state?: string | undefined;
+        }, {
+            object_type?: string | undefined;
+            lifecycle_state?: string | undefined;
+        }>;
+        entries: z.ZodArray<z.ZodObject<{
+            object_type: z.ZodString;
+            lifecycle_state: z.ZodEnum<["created", "referenced", "published", "bound"]>;
+            struct_reversible: z.ZodEnum<["reversible", "limited", "immutable"]>;
+            behavior_reversible: z.ZodBoolean;
+            gas_impact: z.ZodEnum<["low", "medium", "high", "none"]>;
+            explanation: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            object_type: string;
+            lifecycle_state: "created" | "published" | "referenced" | "bound";
+            struct_reversible: "immutable" | "reversible" | "limited";
+            behavior_reversible: boolean;
+            gas_impact: "low" | "high" | "medium" | "none";
+            explanation: string;
+        }, {
+            object_type: string;
+            lifecycle_state: "created" | "published" | "referenced" | "bound";
+            struct_reversible: "immutable" | "reversible" | "limited";
+            behavior_reversible: boolean;
+            gas_impact: "low" | "high" | "medium" | "none";
+            explanation: string;
+        }>, "many">;
+        total: z.ZodNumber;
+    }, "strict", z.ZodTypeAny, {
+        entries: {
+            object_type: string;
+            lifecycle_state: "created" | "published" | "referenced" | "bound";
+            struct_reversible: "immutable" | "reversible" | "limited";
+            behavior_reversible: boolean;
+            gas_impact: "low" | "high" | "medium" | "none";
+            explanation: string;
+        }[];
+        action: "get_reversibility";
+        query: {
+            object_type?: string | undefined;
+            lifecycle_state?: string | undefined;
+        };
+        total: number;
+    }, {
+        entries: {
+            object_type: string;
+            lifecycle_state: "created" | "published" | "referenced" | "bound";
+            struct_reversible: "immutable" | "reversible" | "limited";
+            behavior_reversible: boolean;
+            gas_impact: "low" | "high" | "medium" | "none";
+            explanation: string;
+        }[];
+        action: "get_reversibility";
+        query: {
+            object_type?: string | undefined;
+            lifecycle_state?: string | undefined;
+        };
+        total: number;
+    }>, z.ZodObject<{
+        action: z.ZodLiteral<"assemble_context">;
+        objects: z.ZodArray<z.ZodUnknown, "many">;
+        events: z.ZodOptional<z.ZodArray<z.ZodUnknown, "many">>;
+        embedded_history: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        semantic_summary: z.ZodOptional<z.ZodUnknown>;
+        context_digest: z.ZodString;
+        next_action: z.ZodString;
+        flywheel_collected: z.ZodOptional<z.ZodObject<{
+            signature_recorded: z.ZodBoolean;
+            proposal_created: z.ZodBoolean;
+            proposal_id: z.ZodOptional<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            signature_recorded: boolean;
+            proposal_created: boolean;
+            proposal_id?: string | undefined;
+        }, {
+            signature_recorded: boolean;
+            proposal_created: boolean;
+            proposal_id?: string | undefined;
+        }>>;
+    }, "strict", z.ZodTypeAny, {
+        action: "assemble_context";
+        objects: unknown[];
+        next_action: string;
+        context_digest: string;
+        events?: unknown[] | undefined;
+        semantic_summary?: unknown;
+        embedded_history?: Record<string, unknown> | undefined;
+        flywheel_collected?: {
+            signature_recorded: boolean;
+            proposal_created: boolean;
+            proposal_id?: string | undefined;
+        } | undefined;
+    }, {
+        action: "assemble_context";
+        objects: unknown[];
+        next_action: string;
+        context_digest: string;
+        events?: unknown[] | undefined;
+        semantic_summary?: unknown;
+        embedded_history?: Record<string, unknown> | undefined;
+        flywheel_collected?: {
+            signature_recorded: boolean;
+            proposal_created: boolean;
+            proposal_id?: string | undefined;
+        } | undefined;
+    }>]>;
+}, "strict", z.ZodTypeAny, {
+    result: {
+        action: "analyze_intent";
+        warnings: string[];
+        puzzles: Record<string, {
+            puzzle: Record<string, unknown>;
+            completeness: Record<string, unknown>;
+            missing_dimensions: string[];
+        }>;
+        intent_parsed: {
+            industry: string;
+            primary_object: string;
+            secondary_objects: string[];
+            detected_scenes: {
+                object: string;
+                scene_id: string;
+            }[];
+            keyword_matches: {
+                category: string;
+                keyword: string;
+                matched_objects: string[];
+                required_level: "C" | "R" | "OPTIONAL";
+                match_count: number;
+            }[];
+        };
+        overall_completeness: "partial" | "complete" | "empty";
+        next_step: string;
+        recommended_creation_order: string[];
+        next_action: "none" | "aggregate_risks";
+        gate_validation?: {
+            warnings: string[];
+            stage: number;
+            passed: boolean;
+            checks: {
+                message: string;
+                status: "PASS" | "FAIL" | "WARN";
+                dimension: "semantic" | "risk" | "gas_budget" | "tools" | "reversibility" | "isolation";
+            }[];
+            blocking_issues: string[];
+            can_proceed: boolean;
+        } | undefined;
+    } | {
+        status: "RISK_PASSED" | "RISK_BLOCKED" | "RISK_PENDING_CONFIRM" | "RISK_CANCELLED";
+        action: "aggregate_risks";
+        warnings: string[];
+        user_action_required: string;
+        can_proceed: boolean;
+        next_action: "none" | "generate_deployment_doc" | "fix_risks";
+        namespace: {
+            version: string;
+            prefix: string;
+            industry?: string | undefined;
+        };
+        findings: {
+            message: string;
+            object_type: string;
+            severity: "CRITICAL" | "HIGH" | "MEDIUM" | "LOW" | "INFO";
+            entry_id: string;
+            risk_rule_id: string;
+            fix_suggestion: string;
+            details?: {
+                field_path?: string | undefined;
+                rule_source?: string | undefined;
+            } | undefined;
+        }[];
+        severity_summary: {
+            CRITICAL: number;
+            HIGH: number;
+            MEDIUM: number;
+            LOW: number;
+            INFO: number;
+        };
+        calibrated_at: number;
+        gate_validation?: {
+            warnings: string[];
+            stage: number;
+            passed: boolean;
+            checks: {
+                message: string;
+                status: "PASS" | "FAIL" | "WARN";
+                dimension: "semantic" | "risk" | "gas_budget" | "tools" | "reversibility" | "isolation";
+            }[];
+            blocking_issues: string[];
+            can_proceed: boolean;
+        } | undefined;
+        pending_confirmations?: {
+            object_type: string;
+            description: string;
+            entry_id: string;
+            risk_rule_id: string;
+            fix_suggestion: string;
+        }[] | undefined;
+        fix_suggestions_grouped?: Record<string, {
+            message: string;
+            severity: "CRITICAL" | "HIGH" | "MEDIUM" | "LOW" | "INFO";
+            entry_id: string;
+            risk_rule_id: string;
             fix_suggestion: string;
         }[]> | undefined;
     } | {
@@ -1344,8 +3139,8 @@ export declare const ProjectOperationOutputSchema: z.ZodObject<{
         };
         action: "generate_deployment_doc";
         user_action_required: string;
-        next_action: "none" | "trace_substeps" | "fix_doc_errors";
         can_proceed: boolean;
+        next_action: "none" | "trace_substeps" | "fix_doc_errors";
         validation?: {
             valid: boolean;
             errors: string[];
@@ -1356,6 +3151,18 @@ export declare const ProjectOperationOutputSchema: z.ZodObject<{
                 notes?: string | undefined;
             }[];
         } | undefined;
+        gate_validation?: {
+            warnings: string[];
+            stage: number;
+            passed: boolean;
+            checks: {
+                message: string;
+                status: "PASS" | "FAIL" | "WARN";
+                dimension: "semantic" | "risk" | "gas_budget" | "tools" | "reversibility" | "isolation";
+            }[];
+            blocking_issues: string[];
+            can_proceed: boolean;
+        } | undefined;
         estimated_gas?: {
             total_gas_mist: number;
             per_object: {
@@ -1366,17 +3173,21 @@ export declare const ProjectOperationOutputSchema: z.ZodObject<{
             }[];
             publish_gas_mist: number;
         } | undefined;
+        persisted?: {
+            all_files: string[];
+            all_stages_passed: boolean;
+        } | undefined;
     } | {
         network: "testnet" | "mainnet";
         action: "trace_substeps";
         user_action_required: string;
         topological_order: string[];
+        can_proceed: boolean;
         next_action: "none" | "deploy" | "fix_substeps";
         namespace: {
             version: string;
             prefix: string;
         };
-        can_proceed: boolean;
         coherent: boolean;
         dangling_inputs: {
             field_path: string;
@@ -1410,13 +3221,25 @@ export declare const ProjectOperationOutputSchema: z.ZodObject<{
             description: string;
             check_id: "D-10";
         };
+        gate_validation?: {
+            warnings: string[];
+            stage: number;
+            passed: boolean;
+            checks: {
+                message: string;
+                status: "PASS" | "FAIL" | "WARN";
+                dimension: "semantic" | "risk" | "gas_budget" | "tools" | "reversibility" | "isolation";
+            }[];
+            blocking_issues: string[];
+            can_proceed: boolean;
+        } | undefined;
     } | {
         version: string;
         action: "get_project_status";
         stage: number;
         project: string;
-        next_action: string;
         can_proceed: boolean;
+        next_action: string;
         stage_name: string;
         stage_description: string;
         risk_status?: string | undefined;
@@ -1424,6 +3247,325 @@ export declare const ProjectOperationOutputSchema: z.ZodObject<{
         risk_can_proceed?: boolean | undefined;
         doc_generated?: boolean | undefined;
         trace_coherent?: boolean | undefined;
+    } | {
+        action: "load_project";
+        message?: string | undefined;
+        version?: string | undefined;
+        project?: string | undefined;
+        items?: {
+            version: string;
+            prefix: string;
+            dir_name: string;
+            initialized: boolean;
+            archived: boolean;
+            needs_migration: boolean;
+            chain_exists: boolean;
+            sync_status: "archived" | "synced" | "local_only" | "uninitialized";
+            forked_from?: string | undefined;
+        }[] | undefined;
+        total?: number | undefined;
+        sync_status?: {
+            initialized: boolean;
+            archived: boolean;
+            needs_migration: boolean;
+            local_exists: boolean;
+        } | undefined;
+        local_exists?: boolean | undefined;
+        manifest?: {
+            version: string;
+            prefix: string;
+            schema_version: string;
+            mcp_version: string;
+            created_at: string;
+            updated_at: string;
+            forked_from?: string | undefined;
+            needs_recalibration?: boolean | undefined;
+        } | undefined;
+        stage_state?: {
+            stage?: number | undefined;
+            archived?: boolean | undefined;
+            updated_at?: number | undefined;
+            has_published_object?: boolean | undefined;
+        } | undefined;
+        migration?: {
+            message: string;
+            needs_recalibration: boolean;
+            migrated: boolean;
+            from_version: string;
+            to_version: string;
+            steps_executed: string[];
+            backup_path?: string | undefined;
+        } | undefined;
+    } | {
+        action: "fork_project";
+        warning: string;
+        next_action: "analyze_intent";
+        forked_from: string;
+        new_prefix: string;
+        new_version: string;
+        new_path: string;
+        copied_files: string[];
+        copied_file_count: number;
+    } | {
+        version: string;
+        files: {
+            path: string;
+            content: string;
+            kind: "markdown" | "other" | "json" | "jsonl";
+            size: number;
+        }[];
+        action: "export_project";
+        project: string;
+        total_files: number;
+    } | {
+        version: string;
+        files: {
+            path: string;
+            kind: "markdown" | "other" | "json" | "jsonl";
+            size: number;
+            mtime: number;
+        }[];
+        action: "get_project_files";
+        project: string;
+        total_files: number;
+    } | {
+        valid: boolean;
+        version: string;
+        action: "validate_stage_unit";
+        stage: number;
+        project: string;
+        checks: {
+            message: string;
+            status: "pass" | "fail" | "warn";
+            check_id: string;
+        }[];
+        blocking_issues: string[];
+        missing_files: string[];
+        stage_passed?: boolean | undefined;
+    } | {
+        version: string;
+        action: "get_stage_assessment";
+        stage: number;
+        project: string;
+        found: boolean;
+        assessment?: {
+            recommendations: string[];
+            stage: number;
+            findings: {
+                description: string;
+                severity: "info" | "critical" | "warn";
+                finding_id: string;
+                criterion_id: string;
+                evidence?: unknown;
+            }[];
+            assessed_at: number;
+            goal_completion: Record<string, number>;
+        } | undefined;
+    } | {
+        version: string;
+        action: "get_stage_risk_policy";
+        stage: number;
+        project: string;
+        found: boolean;
+        risk_policy?: {
+            stage: number;
+            risks: {
+                owner: "user" | "ai" | "system";
+                description: string;
+                category: "financial" | "dependency" | "operational" | "security" | "naming";
+                mitigation: string;
+                risk_id: string;
+                likelihood: "low" | "high" | "medium";
+                impact: "low" | "high" | "critical" | "medium";
+            }[];
+            active_controls: {
+                control_id: string;
+                control_type: "preventive" | "detective" | "corrective";
+                target_risk: string;
+                implementation: string;
+                verified: boolean;
+            }[];
+            residual_risks: string[];
+        } | undefined;
+    } | {
+        version: string;
+        action: "get_doc_relations";
+        project: string;
+        found: boolean;
+        relations?: {
+            version: string;
+            generated_at: number;
+            project_invariants: {
+                description: string;
+                invariant_id: string;
+                verified_by_stages: number[];
+            }[];
+            stage_units: {
+                stage: number;
+                goal_id: string;
+                assessment_id: string;
+                risk_policy_id: string;
+                verification_id: string;
+                artifacts: string[];
+            }[];
+            derivations: {
+                source_type: "project_invariant" | "project_goal";
+                target_type: "stage_goal" | "stage_risk" | "stage_verification";
+                target_stage: number;
+                source_id: string;
+                target_id: string;
+                derivation_logic: string;
+            }[];
+            propagation_rules: {
+                rule_id: string;
+                trigger: {
+                    stage: number;
+                    event: "verification_passed" | "verification_failed";
+                };
+                effect: {
+                    action: "verify" | "block";
+                    target: "project_invariant" | "next_stage";
+                };
+            }[];
+            impact_map: Record<string, string[]>;
+        } | undefined;
+    } | {
+        version: string;
+        action: "update_deployment_doc";
+        project: string;
+        next_action: "none" | "trace_substeps" | "validate_validation_chain";
+        all_stages_passed: boolean;
+        updated: boolean;
+        updated_files: string[];
+        updated_file_count: number;
+        impact_summary: {
+            stages_affected: number[];
+            relations_rebuilt: boolean;
+        };
+    } | {
+        valid: boolean;
+        version: string;
+        action: "validate_validation_chain";
+        warnings: string[];
+        project: string;
+        blocking_issues: string[];
+        derivation_checks: {
+            message: string;
+            status: "pass" | "fail" | "warn";
+            check_id: string;
+        }[];
+        propagation_checks: {
+            message: string;
+            status: "pass" | "fail" | "warn";
+            check_id: string;
+        }[];
+        cross_stage_checks: {
+            message: string;
+            status: "pass" | "fail" | "warn";
+            check_id: string;
+        }[];
+        impact_map_checks: {
+            message: string;
+            status: "pass" | "fail" | "warn";
+            check_id: string;
+        }[];
+    } | {
+        message: string;
+        action: "apply_improvement";
+        applied: boolean;
+        proposal_id: string;
+        next_action: "none" | "get_improvement_queue" | "get_flywheel_config";
+        previous_status: string;
+        new_status: string;
+        apply_mode: "config_override" | "source_patch";
+        override_file?: string | undefined;
+        patch_file?: string | undefined;
+    } | {
+        summary: string;
+        action: "get_improvement_queue";
+        total: number;
+        filtered_count: number;
+        proposals: {
+            type: string;
+            description: string;
+            title: string;
+            priority: string;
+            target: string;
+            automation: "full" | "manual" | "semi";
+            proposal_id: string;
+            review_status: "pending" | "approved" | "rejected" | "applied";
+            apply_mode: "config_override" | "source_patch";
+            source_diagnosis_id: string;
+            ab_test_recommended: boolean;
+            override_category?: string | undefined;
+            persisted_at?: string | undefined;
+            reviewed_at?: string | undefined;
+        }[];
+    } | {
+        action: "get_flywheel_config";
+        pending_count: number;
+        queue_path: string;
+        overrides_dir: string;
+        patches_dir: string;
+        total_proposals: number;
+        approved_count: number;
+        applied_count: number;
+        rejected_count: number;
+        override_files: string[];
+        recent_proposals: {
+            type: string;
+            title: string;
+            priority: string;
+            proposal_id: string;
+            review_status: "pending" | "approved" | "rejected" | "applied";
+        }[];
+        reflow_status: "active" | "blocked" | "idle";
+    } | {
+        message: string;
+        success: boolean;
+        action: "rollback_stage";
+        warnings: string[];
+        dry_run: boolean;
+        target_stage: number;
+        previous_stage: number;
+        allowed: boolean;
+        files_to_clean: string[];
+        files_cleaned: string[];
+        iteration_strategy: {
+            reason: string;
+            strategy: "fork" | "in_place";
+            fork_to_version?: string | undefined;
+            published_objects?: string[] | undefined;
+        };
+        block_reason?: string | undefined;
+    } | {
+        entries: {
+            object_type: string;
+            lifecycle_state: "created" | "published" | "referenced" | "bound";
+            struct_reversible: "immutable" | "reversible" | "limited";
+            behavior_reversible: boolean;
+            gas_impact: "low" | "high" | "medium" | "none";
+            explanation: string;
+        }[];
+        action: "get_reversibility";
+        query: {
+            object_type?: string | undefined;
+            lifecycle_state?: string | undefined;
+        };
+        total: number;
+    } | {
+        action: "assemble_context";
+        objects: unknown[];
+        next_action: string;
+        context_digest: string;
+        events?: unknown[] | undefined;
+        semantic_summary?: unknown;
+        embedded_history?: Record<string, unknown> | undefined;
+        flywheel_collected?: {
+            signature_recorded: boolean;
+            proposal_created: boolean;
+            proposal_id?: string | undefined;
+        } | undefined;
     } | {
         action: string;
         items: Record<string, unknown>[];
@@ -1470,11 +3612,24 @@ export declare const ProjectOperationOutputSchema: z.ZodObject<{
         next_step: string;
         recommended_creation_order: string[];
         next_action: "none" | "aggregate_risks";
+        gate_validation?: {
+            warnings: string[];
+            stage: number;
+            passed: boolean;
+            checks: {
+                message: string;
+                status: "PASS" | "FAIL" | "WARN";
+                dimension: "semantic" | "risk" | "gas_budget" | "tools" | "reversibility" | "isolation";
+            }[];
+            blocking_issues: string[];
+            can_proceed: boolean;
+        } | undefined;
     } | {
         status: "RISK_PASSED" | "RISK_BLOCKED" | "RISK_PENDING_CONFIRM" | "RISK_CANCELLED";
         action: "aggregate_risks";
         warnings: string[];
         user_action_required: string;
+        can_proceed: boolean;
         next_action: "none" | "generate_deployment_doc" | "fix_risks";
         namespace: {
             version: string;
@@ -1501,7 +3656,18 @@ export declare const ProjectOperationOutputSchema: z.ZodObject<{
             INFO: number;
         };
         calibrated_at: number;
-        can_proceed: boolean;
+        gate_validation?: {
+            warnings: string[];
+            stage: number;
+            passed: boolean;
+            checks: {
+                message: string;
+                status: "PASS" | "FAIL" | "WARN";
+                dimension: "semantic" | "risk" | "gas_budget" | "tools" | "reversibility" | "isolation";
+            }[];
+            blocking_issues: string[];
+            can_proceed: boolean;
+        } | undefined;
         pending_confirmations?: {
             object_type: string;
             description: string;
@@ -1527,8 +3693,8 @@ export declare const ProjectOperationOutputSchema: z.ZodObject<{
         };
         action: "generate_deployment_doc";
         user_action_required: string;
-        next_action: "none" | "trace_substeps" | "fix_doc_errors";
         can_proceed: boolean;
+        next_action: "none" | "trace_substeps" | "fix_doc_errors";
         validation?: {
             valid: boolean;
             errors: string[];
@@ -1539,6 +3705,18 @@ export declare const ProjectOperationOutputSchema: z.ZodObject<{
                 notes?: string | undefined;
             }[];
         } | undefined;
+        gate_validation?: {
+            warnings: string[];
+            stage: number;
+            passed: boolean;
+            checks: {
+                message: string;
+                status: "PASS" | "FAIL" | "WARN";
+                dimension: "semantic" | "risk" | "gas_budget" | "tools" | "reversibility" | "isolation";
+            }[];
+            blocking_issues: string[];
+            can_proceed: boolean;
+        } | undefined;
         estimated_gas?: {
             total_gas_mist: number;
             per_object: {
@@ -1549,17 +3727,21 @@ export declare const ProjectOperationOutputSchema: z.ZodObject<{
             }[];
             publish_gas_mist: number;
         } | undefined;
+        persisted?: {
+            all_files: string[];
+            all_stages_passed: boolean;
+        } | undefined;
     } | {
         network: "testnet" | "mainnet";
         action: "trace_substeps";
         user_action_required: string;
         topological_order: string[];
+        can_proceed: boolean;
         next_action: "none" | "deploy" | "fix_substeps";
         namespace: {
             version: string;
             prefix: string;
         };
-        can_proceed: boolean;
         coherent: boolean;
         dangling_inputs: {
             field_path: string;
@@ -1593,13 +3775,25 @@ export declare const ProjectOperationOutputSchema: z.ZodObject<{
             description: string;
             check_id: "D-10";
         };
+        gate_validation?: {
+            warnings: string[];
+            stage: number;
+            passed: boolean;
+            checks: {
+                message: string;
+                status: "PASS" | "FAIL" | "WARN";
+                dimension: "semantic" | "risk" | "gas_budget" | "tools" | "reversibility" | "isolation";
+            }[];
+            blocking_issues: string[];
+            can_proceed: boolean;
+        } | undefined;
     } | {
         version: string;
         action: "get_project_status";
         stage: number;
         project: string;
-        next_action: string;
         can_proceed: boolean;
+        next_action: string;
         stage_name: string;
         stage_description: string;
         risk_status?: string | undefined;
@@ -1607,6 +3801,325 @@ export declare const ProjectOperationOutputSchema: z.ZodObject<{
         risk_can_proceed?: boolean | undefined;
         doc_generated?: boolean | undefined;
         trace_coherent?: boolean | undefined;
+    } | {
+        action: "load_project";
+        message?: string | undefined;
+        version?: string | undefined;
+        project?: string | undefined;
+        items?: {
+            version: string;
+            prefix: string;
+            dir_name: string;
+            initialized: boolean;
+            archived: boolean;
+            needs_migration: boolean;
+            chain_exists: boolean;
+            sync_status: "archived" | "synced" | "local_only" | "uninitialized";
+            forked_from?: string | undefined;
+        }[] | undefined;
+        total?: number | undefined;
+        sync_status?: {
+            initialized: boolean;
+            archived: boolean;
+            needs_migration: boolean;
+            local_exists: boolean;
+        } | undefined;
+        local_exists?: boolean | undefined;
+        manifest?: {
+            version: string;
+            prefix: string;
+            schema_version: string;
+            mcp_version: string;
+            created_at: string;
+            updated_at: string;
+            forked_from?: string | undefined;
+            needs_recalibration?: boolean | undefined;
+        } | undefined;
+        stage_state?: {
+            stage?: number | undefined;
+            archived?: boolean | undefined;
+            updated_at?: number | undefined;
+            has_published_object?: boolean | undefined;
+        } | undefined;
+        migration?: {
+            message: string;
+            needs_recalibration: boolean;
+            migrated: boolean;
+            from_version: string;
+            to_version: string;
+            steps_executed: string[];
+            backup_path?: string | undefined;
+        } | undefined;
+    } | {
+        action: "fork_project";
+        warning: string;
+        next_action: "analyze_intent";
+        forked_from: string;
+        new_prefix: string;
+        new_version: string;
+        new_path: string;
+        copied_files: string[];
+        copied_file_count: number;
+    } | {
+        version: string;
+        files: {
+            path: string;
+            content: string;
+            kind: "markdown" | "other" | "json" | "jsonl";
+            size: number;
+        }[];
+        action: "export_project";
+        project: string;
+        total_files: number;
+    } | {
+        version: string;
+        files: {
+            path: string;
+            kind: "markdown" | "other" | "json" | "jsonl";
+            size: number;
+            mtime: number;
+        }[];
+        action: "get_project_files";
+        project: string;
+        total_files: number;
+    } | {
+        valid: boolean;
+        version: string;
+        action: "validate_stage_unit";
+        stage: number;
+        project: string;
+        checks: {
+            message: string;
+            status: "pass" | "fail" | "warn";
+            check_id: string;
+        }[];
+        blocking_issues: string[];
+        missing_files: string[];
+        stage_passed?: boolean | undefined;
+    } | {
+        version: string;
+        action: "get_stage_assessment";
+        stage: number;
+        project: string;
+        found: boolean;
+        assessment?: {
+            recommendations: string[];
+            stage: number;
+            findings: {
+                description: string;
+                severity: "info" | "critical" | "warn";
+                finding_id: string;
+                criterion_id: string;
+                evidence?: unknown;
+            }[];
+            assessed_at: number;
+            goal_completion: Record<string, number>;
+        } | undefined;
+    } | {
+        version: string;
+        action: "get_stage_risk_policy";
+        stage: number;
+        project: string;
+        found: boolean;
+        risk_policy?: {
+            stage: number;
+            risks: {
+                owner: "user" | "ai" | "system";
+                description: string;
+                category: "financial" | "dependency" | "operational" | "security" | "naming";
+                mitigation: string;
+                risk_id: string;
+                likelihood: "low" | "high" | "medium";
+                impact: "low" | "high" | "critical" | "medium";
+            }[];
+            active_controls: {
+                control_id: string;
+                control_type: "preventive" | "detective" | "corrective";
+                target_risk: string;
+                implementation: string;
+                verified: boolean;
+            }[];
+            residual_risks: string[];
+        } | undefined;
+    } | {
+        version: string;
+        action: "get_doc_relations";
+        project: string;
+        found: boolean;
+        relations?: {
+            version: string;
+            generated_at: number;
+            project_invariants: {
+                description: string;
+                invariant_id: string;
+                verified_by_stages: number[];
+            }[];
+            stage_units: {
+                stage: number;
+                goal_id: string;
+                assessment_id: string;
+                risk_policy_id: string;
+                verification_id: string;
+                artifacts: string[];
+            }[];
+            derivations: {
+                source_type: "project_invariant" | "project_goal";
+                target_type: "stage_goal" | "stage_risk" | "stage_verification";
+                target_stage: number;
+                source_id: string;
+                target_id: string;
+                derivation_logic: string;
+            }[];
+            propagation_rules: {
+                rule_id: string;
+                trigger: {
+                    stage: number;
+                    event: "verification_passed" | "verification_failed";
+                };
+                effect: {
+                    action: "verify" | "block";
+                    target: "project_invariant" | "next_stage";
+                };
+            }[];
+            impact_map: Record<string, string[]>;
+        } | undefined;
+    } | {
+        version: string;
+        action: "update_deployment_doc";
+        project: string;
+        next_action: "none" | "trace_substeps" | "validate_validation_chain";
+        all_stages_passed: boolean;
+        updated: boolean;
+        updated_files: string[];
+        updated_file_count: number;
+        impact_summary: {
+            stages_affected: number[];
+            relations_rebuilt: boolean;
+        };
+    } | {
+        valid: boolean;
+        version: string;
+        action: "validate_validation_chain";
+        warnings: string[];
+        project: string;
+        blocking_issues: string[];
+        derivation_checks: {
+            message: string;
+            status: "pass" | "fail" | "warn";
+            check_id: string;
+        }[];
+        propagation_checks: {
+            message: string;
+            status: "pass" | "fail" | "warn";
+            check_id: string;
+        }[];
+        cross_stage_checks: {
+            message: string;
+            status: "pass" | "fail" | "warn";
+            check_id: string;
+        }[];
+        impact_map_checks: {
+            message: string;
+            status: "pass" | "fail" | "warn";
+            check_id: string;
+        }[];
+    } | {
+        message: string;
+        action: "apply_improvement";
+        applied: boolean;
+        proposal_id: string;
+        next_action: "none" | "get_improvement_queue" | "get_flywheel_config";
+        previous_status: string;
+        new_status: string;
+        apply_mode: "config_override" | "source_patch";
+        override_file?: string | undefined;
+        patch_file?: string | undefined;
+    } | {
+        summary: string;
+        action: "get_improvement_queue";
+        total: number;
+        filtered_count: number;
+        proposals: {
+            type: string;
+            description: string;
+            title: string;
+            priority: string;
+            target: string;
+            automation: "full" | "manual" | "semi";
+            proposal_id: string;
+            review_status: "pending" | "approved" | "rejected" | "applied";
+            apply_mode: "config_override" | "source_patch";
+            source_diagnosis_id: string;
+            ab_test_recommended: boolean;
+            override_category?: string | undefined;
+            persisted_at?: string | undefined;
+            reviewed_at?: string | undefined;
+        }[];
+    } | {
+        action: "get_flywheel_config";
+        pending_count: number;
+        queue_path: string;
+        overrides_dir: string;
+        patches_dir: string;
+        total_proposals: number;
+        approved_count: number;
+        applied_count: number;
+        rejected_count: number;
+        override_files: string[];
+        recent_proposals: {
+            type: string;
+            title: string;
+            priority: string;
+            proposal_id: string;
+            review_status: "pending" | "approved" | "rejected" | "applied";
+        }[];
+        reflow_status: "active" | "blocked" | "idle";
+    } | {
+        message: string;
+        success: boolean;
+        action: "rollback_stage";
+        warnings: string[];
+        dry_run: boolean;
+        target_stage: number;
+        previous_stage: number;
+        allowed: boolean;
+        files_to_clean: string[];
+        files_cleaned: string[];
+        iteration_strategy: {
+            reason: string;
+            strategy: "fork" | "in_place";
+            fork_to_version?: string | undefined;
+            published_objects?: string[] | undefined;
+        };
+        block_reason?: string | undefined;
+    } | {
+        entries: {
+            object_type: string;
+            lifecycle_state: "created" | "published" | "referenced" | "bound";
+            struct_reversible: "immutable" | "reversible" | "limited";
+            behavior_reversible: boolean;
+            gas_impact: "low" | "high" | "medium" | "none";
+            explanation: string;
+        }[];
+        action: "get_reversibility";
+        query: {
+            object_type?: string | undefined;
+            lifecycle_state?: string | undefined;
+        };
+        total: number;
+    } | {
+        action: "assemble_context";
+        objects: unknown[];
+        next_action: string;
+        context_digest: string;
+        events?: unknown[] | undefined;
+        semantic_summary?: unknown;
+        embedded_history?: Record<string, unknown> | undefined;
+        flywheel_collected?: {
+            signature_recorded: boolean;
+            proposal_created: boolean;
+            proposal_id?: string | undefined;
+        } | undefined;
     } | {
         action: string;
         items: Record<string, unknown>[];