@wowok/agent-mcp 2.5.5 → 2.6.1

package/dist/schema/project/index.js

@@ -69,10 +69,17 @@ export const ProjectOperationInputSchema = z
         "get_object_diff",
         "delete_project",
         "assemble_context",
+        "get_machine_graph",
+        "generate_deployment_doc",
+        "pre_evaluate_check",
+        "verify_deployment",
+        "clone_project_to_network",
+        "migrate_network",
     ])
         .describe("Action to perform. Two categories:\n" +
         "1. Project Entity + Evaluation (15, GLM6): list_projects, create_project, create_project_from_onchain, update_project, get_project_detail, add_object, remove_object, create_version, build_graph, get_graph, evaluate_project, save_evaluation, compare_projects, refresh_objects, get_object_diff. Projects are first-class entities with SQLite persistence, rigid project-object relationships, three-pathway graph construction, and a dual rule-based + LLM-assisted evaluation engine.\n" +
-        "2. Context Assembly (1): assemble_context (query on-chain object states + extract embedded history + optional events, and assemble a structured semantic context for LLM consumption). Required input: context_objects (array of object IDs/names). Optional: include_events (query recent state-transition events)."),
+        "2. Context Assembly (1): assemble_context (query on-chain object states + extract embedded history + optional events, and assemble a structured semantic context for LLM consumption). Required input: context_objects (array of object IDs/names). Optional: include_events (query recent state-transition events).\n" +
+        "3. Cross-Network Migration (FIX-012): clone_project_to_network (or its alias migrate_network) copies a source project's object metadata to a new project bound to target_network. The 5-step migration workflow: 1) call clone_project_to_network (or migrate_network) with target_network to copy metadata, 2) re-run onchain_operations with env.network=target_network to deploy objects on-chain, 3) re-register LocalMark names with the SAME names on the target network (FIX-011 cross-network consistency), 4) update_project to set service_address on the new project, 5) build_graph to construct the new project's relationship graph."),
     project: z
         .string()
         .optional()
@@ -117,7 +124,17 @@ export const ProjectOperationInputSchema = z
         .max(2000)
         .optional()
         .describe("Project description for create_project / update_project."),
-    project_industry: IndustryEnum.optional().describe("Industry tag for create_project. Drives template defaults."),
+    project_industry: IndustryEnum.optional().describe("Industry tag for create_project. Drives template defaults — when set " +
+        "(and not 'general'), the system auto-applies an industry blueprint " +
+        "with ~10 draft objects (Permission, Service, Machine, Guard, Treasury, " +
+        "Allocation, etc.) + graph edges, ready for deployment. " +
+        "Supported industries: 'general' (no template), 'retail', 'service', " +
+        "'rental', 'freelance', 'education', 'travel', 'subscription', 'custom'. " +
+        "Each industry preset embeds risk constraints (e.g., 'freelance' does " +
+        "NOT require compensation_fund, while 'rental'/'travel' do). " +
+        "Example: project_industry='freelance' creates a freelance-style " +
+        "blueprint with setting_locked_time ≥ 7d. " +
+        "Set skip_templates=true to bypass template application."),
     project_perspective: z
         .enum(["producer", "consumer", "both"])
         .optional()
@@ -134,6 +151,13 @@ export const ProjectOperationInputSchema = z
         .enum(["testnet", "mainnet"])
         .optional()
         .describe("Network the project is bound to. A Service deployed to different networks are different projects. Defaults to 'testnet'."),
+    skip_templates: z
+        .boolean()
+        .optional()
+        .describe("When true, create_project skips applying the industry template (no draft:* blueprint objects). " +
+        "Use this when you want a clean project with no pre-filled blueprint objects — useful for " +
+        "custom architectures that do not match any industry mode, or to avoid draft objects " +
+        "appearing in build_graph / evaluate_project before deployment. Defaults to false (templates applied)."),
     project_id: z
         .string()
         .optional()
@@ -142,10 +166,20 @@ export const ProjectOperationInputSchema = z
         .enum(["draft", "active", "inactive", "archived"])
         .optional()
         .describe("New status for update_project. 'active' projects are live, 'archived' are read-only."),
+    target_network: z
+        .enum(["testnet", "mainnet"])
+        .optional()
+        .describe("Target network for clone_project_to_network (or its alias migrate_network). " +
+        "The source project's objects are copied to a new project bound to this network. " +
+        "The new project's prefix is '<source_prefix>_<target_network>' to avoid collision. " +
+        "See the action description for the full 5-step migration workflow (FIX-012)."),
     object_address: z
         .string()
         .optional()
-        .describe("On-chain object address (0x...) for add_object / remove_object. For add_object, alternatively use object_name to resolve via LocalMark."),
+        .describe("On-chain object address (0x followed by 32-64 hex chars) for add_object / remove_object. " +
+        "Also accepts the internal 'draft:<name>' sentinel used by create_project for blueprint objects not yet on-chain. " +
+        "For add_object, alternatively use object_name_add to resolve via LocalMark. " +
+        "H-06 fix: invalid formats are rejected at the handler level with a descriptive error."),
     object_name_add: z
         .string()
         .optional()
@@ -206,6 +240,13 @@ export const ProjectOperationInputSchema = z
         .max(5)
         .optional()
         .describe("Max recursion depth for Pathway 1 (internal reference derivation) in build_graph. Default 3."),
+    depth: z
+        .number()
+        .int()
+        .min(1)
+        .max(5)
+        .optional()
+        .describe("Alias for max_depth (build_graph). When both are set, max_depth takes precedence. Default 3."),
     enable_registrar: z
         .boolean()
         .optional()
@@ -214,6 +255,13 @@ export const ProjectOperationInputSchema = z
         .boolean()
         .optional()
         .describe("Enable Pathway 3 (potential relationship detection) in build_graph. Default false."),
+    async_mode: z
+        .boolean()
+        .optional()
+        .describe("When true, build_graph / evaluate_project runs in the background and returns { task_id } immediately. " +
+        "Poll query_task_status(task_id) to check progress and retrieve the result. " +
+        "Default false (synchronous). Use async_mode=true for large projects with enable_potential=true " +
+        "where build may take >10s."),
     evaluation_type: z
         .enum(["risk", "trust", "completeness", "value", "worth_buying"])
         .optional()
@@ -256,6 +304,22 @@ export const ProjectOperationInputSchema = z
         .int()
         .optional()
         .describe("End timestamp (ms) for get_object_diff."),
+    network: z
+        .enum(["testnet", "mainnet"])
+        .optional()
+        .describe("Target network for generate_deployment_doc. Required when action='generate_deployment_doc'."),
+    save: z
+        .boolean()
+        .optional()
+        .describe("When true (default), persist the generated MD to SQLite project_documents table for generate_deployment_doc."),
+    detail_level: z
+        .enum(["summary", "detailed", "full"])
+        .optional()
+        .describe("P2-03: Deployment document detail level (only for generate_deployment_doc). " +
+        "'summary' (default): object name + type + key bindings (machine, permission, buy_guard, order_allocators). " +
+        "'detailed': adds sale list, arbitration list, reward list. " +
+        "'full': complete fields including stock, price, wip_hash, all config. " +
+        "Use 'summary' for quick review; request 'detailed' or 'full' only when deeper inspection is needed."),
 })
     .strict();
 const AssembleContextResultSchema = z
@@ -305,10 +369,10 @@ const ProjectObjectSchema = z
     .object({
     id: z.string().describe("ProjectObject UUID (project_objects.id)."),
     projectId: z.string().describe("Owning project UUID."),
-    objectAddress: z.string().describe("On-chain object address (0x...)."),
+    objectAddress: z.string().describe("On-chain object address (0x...) or 'draft:<name>' sentinel for blueprint objects."),
     objectType: z.string().nullable().describe("Object type (Service, Machine, etc.) or null if unknown."),
     objectName: z.string().nullable().describe("LocalMark name or null."),
-    role: z.enum(["core", "dependency", "reference"]).describe("Object role in project."),
+    role: z.string().describe("Object role in project. Valid values: 'core' (the Service), 'dependency' (required binding), 'reference' (optional/auxiliary). Other values indicate data corruption — see objectGroups.other bucket."),
     tags: z.array(z.string()).nullable().describe("Tags array or null."),
     addedAt: z.number().describe("Timestamp (ms) when added to project."),
     metadata: z.record(z.unknown()).nullable().describe("Arbitrary metadata key-value pairs or null."),
@@ -335,6 +399,7 @@ const ProjectSchema = z
     .strict();
 const ProjectListItemSchema = ProjectSchema.extend({
     objectCount: z.number().describe("Number of objects in this project (from project_objects table)."),
+    evaluationCount: z.number().describe("Number of stored evaluations for this project (from evaluations table)."),
     objectTypes: z.array(z.string()).describe("Distinct object types in this project (e.g. ['Service','Machine'])."),
 });
 const ListProjectsResultSchema = z
@@ -344,8 +409,31 @@ const ListProjectsResultSchema = z
     total: z.number().describe("Total number of projects returned."),
 })
     .strict();
+const RecommendedCreationOrderItemSchema = z.object({
+    step: z.number().describe("Step number (1-based)."),
+    object: z.string().describe("Object type to create (e.g. 'Permission', 'Service (unpublished)')."),
+    reason: z.string().describe("Why this step is here, including dependencies and irreversibility notes."),
+    required: z.boolean().describe("Whether this step is mandatory for a working deployment."),
+}).strict();
 const CreateProjectResultSchema = z
-    .object({ action: z.literal("create_project"), project: ProjectSchema.describe("The created project.") })
+    .object({
+    action: z.literal("create_project"),
+    project: ProjectSchema.describe("The created project."),
+    recommended_creation_order: z.array(RecommendedCreationOrderItemSchema).describe("Canonical deployment sequence satisfying dependency constraints. " +
+        "All industries share this base order; see IndustryMode.build_notes for industry-specific deviations."),
+    blueprint: z.object({
+        objects_count: z.number().describe("Number of draft objects created from the template."),
+        edges_count: z.number().describe("Number of graph edges from the template."),
+        industry_source: z.string().describe("Industry mode name that sourced the template."),
+        applied_template: z.string().describe("Template identifier applied."),
+        steps_count: z.number().describe("Number of deployment steps in the template."),
+        scenarios_count: z.number().describe("Number of scenarios in the template."),
+        key_risk: z.string().nullable().optional().describe("Industry-specific key risk note (or null)."),
+    }).strict().optional().describe("Blueprint summary — present when industry template applied successfully. Objects have status='draft' and address='draft:<name>'."),
+    blueprint_warning: z.string().optional().describe("Warning message — present when industry template application failed. Project is created without blueprint; use add_object to manually add objects."),
+    blueprint_skipped: z.boolean().optional().describe("True when skip_templates=true was passed — no industry blueprint objects were created."),
+    hint: z.string().optional().describe("User-facing hint — guides to next action (e.g. add_object, generate_deployment_doc)."),
+})
     .strict();
 const CreateProjectFromOnchainResultSchema = z
     .object({
@@ -358,18 +446,64 @@ const CreateProjectFromOnchainResultSchema = z
 const UpdateProjectResultSchema = z
     .object({ action: z.literal("update_project"), project: ProjectSchema.describe("The updated project.") })
     .strict();
+const EvaluationDetailsSchema = z
+    .object({
+    criterionScores: z
+        .array(z.object({
+        name: z.string().describe("Criterion name (e.g. 'Service Published', 'Governance Present')."),
+        score: z.number().describe("Per-criterion score (0-100, higher = better)."),
+        weight: z.number().describe("Weight in the overall score (0-1)."),
+        rationale: z.string().describe("Why this score was assigned."),
+    }).strict())
+        .describe("Per-criterion scores with rationale."),
+    findings: z
+        .array(z.object({
+        criterion: z.string().describe("Criterion this finding relates to."),
+        severity: z.enum(["critical", "warning", "info"]).describe("Severity level: critical (blocks deployment), warning (should fix), info (advisory)."),
+        message: z.string().describe("Human-readable finding description."),
+        deduction: z.number().describe("Score deduction applied (negative number, e.g. -20)."),
+    }).strict())
+        .describe("Negative findings (warnings/critical issues) with deductions."),
+    strengths: z
+        .array(z.string())
+        .describe("Positive evidence explaining high scores."),
+})
+    .strict();
 const GetProjectDetailResultSchema = z
     .object({
     action: z.literal("get_project_detail"),
     project: ProjectSchema,
-    objects: z.array(ProjectObjectSchema).describe("Project objects (rigid relationships)."),
+    objects: z.array(ProjectObjectSchema).describe("Project objects (rigid relationships). Flat list — use objectGroups for role-based navigation."),
+    objectGroups: z.object({
+        core: z.array(ProjectObjectSchema).describe("Core objects (the Service) — the primary deliverable of the project."),
+        dependency: z.array(ProjectObjectSchema).describe("Dependency objects (Permission, Machine, Guard, Allocation, Treasury, etc.) — required for the Service to function."),
+        reference: z.array(ProjectObjectSchema).describe("Reference objects (read-only or external) — tracked but not owned by this project."),
+        other: z.array(ProjectObjectSchema).describe("Objects with invalid or missing role (data corruption, legacy data). Grouped here for visibility — should normally be empty. Check server logs for warnings."),
+        stats: z.object({
+            total: z.number().describe("Total object count."),
+            core_count: z.number().describe("Number of core objects."),
+            dependency_count: z.number().describe("Number of dependency objects."),
+            reference_count: z.number().describe("Number of reference objects."),
+            other_count: z.number().describe("Number of objects with invalid/missing role (in 'other' bucket). Normally 0."),
+            by_type: z.record(z.string(), z.number()).describe("Object count grouped by objectType prefix (e.g. {'service': 1, 'permission': 1, 'guard': 5})."),
+        }).strict().describe("Aggregate counts for quick project sizing."),
+    }).strict().describe("Objects grouped by role (core/dependency/reference/other) for easier navigation. The 'other' bucket captures objects with invalid roles (H-05 fix). The flat `objects` array is preserved for backward compatibility."),
     graphEdgeCount: z.number().describe("Number of persisted graph edges."),
+    serviceStatus: z
+        .object({
+        published: z.boolean().nullable().describe("Whether the on-chain Service is published (live). null = unknown / query failed."),
+        paused: z.boolean().nullable().describe("Whether the on-chain Service is paused (not accepting orders). null = unknown."),
+    })
+        .strict()
+        .nullable()
+        .describe("On-chain Service status (published / paused). Separate from the project's local lifecycle status. null if the project has no serviceAddress or the on-chain query failed."),
     evaluations: z
         .array(z.object({
         id: z.string(),
         evalType: z.enum(["risk", "trust", "completeness", "value", "worth_buying"]),
         score: z.number().nullable(),
         summary: z.string().nullable(),
+        details: EvaluationDetailsSchema.nullable().describe("Structured inspection content (criterion scores, findings, strengths). Null for evaluations created before details were stored."),
         evaluatedAt: z.number(),
     }).strict())
         .describe("Stored evaluation results (most recent first)."),
@@ -407,11 +541,39 @@ const CreateVersionResultSchema = z
 const BuildGraphResultSchema = z
     .object({
     action: z.literal("build_graph"),
-    nodeCount: z.number().describe("Total nodes in the constructed graph."),
-    edgeCount: z.number().describe("Total edges (after conflict resolution + dedup)."),
-    edgesBySource: z.record(z.string(), z.number()).describe("Edge counts by source: { internal: N, registrar: N, potential: N }."),
-    reputationCount: z.number().describe("Number of objects with Registrar reputation data."),
-    builtAt: z.number().describe("Build timestamp (ms)."),
+    async_mode: z.boolean().optional().describe("True when graph is building asynchronously (background task). When true, call query_task_status with task_id to retrieve the result."),
+    task_id: z.string().optional().describe("Async task id — present only when async_mode=true. Use with query_task_status."),
+    nodeCount: z.number().optional().describe("Total nodes in the constructed graph (sync mode only)."),
+    edgeCount: z.number().optional().describe("Total edges (after conflict resolution + dedup) (sync mode only)."),
+    edgesBySource: z.record(z.string(), z.number()).optional().describe("Edge counts by source: { internal: N, registrar: N, potential: N } (sync mode only)."),
+    reputationCount: z.number().optional().describe("Number of objects with Registrar reputation data (sync mode only)."),
+    builtAt: z.number().optional().describe("Build timestamp in ms (sync mode only)."),
+    binding_verification: z
+        .object({
+        service: z.string().describe("Service object address that was verified."),
+        bindings: z
+            .record(z.string(), z.object({
+            expected: z.string().describe("Expected target object type."),
+            actual: z.string().nullable().describe("Actual on-chain value (address or null)."),
+            count: z.number().optional().describe("Item count for array fields (order_allocators, arbitrations)."),
+            verified: z.boolean().describe("Whether the binding exists on-chain."),
+        }))
+            .describe("Per-field binding verification result."),
+        all_verified: z.boolean().describe("True when all critical bindings exist on-chain."),
+    })
+        .nullable()
+        .optional()
+        .describe("On-chain verification of Service bindings (F-15). Null when no Service address or query failed. Sync mode only."),
+    topEdges: z.array(z.object({
+        source: z.string().describe("Source object address."),
+        target: z.string().describe("Target object address."),
+        fieldName: z.string().nullable().describe("Field name on the source object (or null)."),
+        relationshipType: z.string().describe("Relationship type (bind, create, trigger, etc.)."),
+        weight: z.number().nullable().describe("Edge weight (0-1, higher = more important)."),
+        verified: z.boolean().describe("Whether the edge has been verified on-chain."),
+    }).strict()).optional().describe("Top 5 critical edges by weight (sync mode only). Preview of the most important relationships — call get_graph for the full list."),
+    visualization: z.string().optional().describe("Mermaid-style ASCII visualization of top edges (sync mode only). Compact format: 'source --field--> target'."),
+    hint: z.string().optional().describe("User-facing hint — guides to next action (e.g. call get_graph for full list, or query_task_status for async result)."),
 })
     .strict();
 const GetGraphResultSchema = z
@@ -505,6 +667,180 @@ const GetObjectDiffResultSchema = z
     }).strict()).describe("Changed fields between the two timestamps."),
 })
     .strict();
+const GenerateDeploymentDocResultSchema = z
+    .object({
+    action: z.literal("generate_deployment_doc"),
+    markdown: z.string().describe("Generated deployment document markdown content (follows 71-deployment-list-spec)."),
+    validation: z.object({
+        valid: z.boolean().describe("True iff no D-check FAIL."),
+        checks: z.array(z.object({
+            check_id: z.string(),
+            description: z.string(),
+            status: z.enum(["PASS", "FAIL", "WARN"]),
+            notes: z.string().optional(),
+        }).strict()).describe("D-01..D-20 check results (20 deployment checks including D-19 Machine entry-node forward and D-20 Service compensation_fund)."),
+        errors: z.array(z.string()).describe("List of FAIL error messages."),
+    }).strict().describe("Deployment doc validation result against D-01..D-20."),
+    saved: z.boolean().describe("Whether the markdown was persisted to SQLite project_documents table."),
+    detail_level: z.enum(["summary", "detailed", "full"]).describe("Effective detail level used to render the deployment doc. " +
+        "'summary' (default) shows only key bindings; 'detailed' adds sale/arbitration lists; 'full' shows complete config."),
+    stage_gate: z.object({
+        stage: z.number().describe("The stage that was validated (4 = deployment doc generation gate)."),
+        passed: z.boolean().describe("True iff no FAIL checks exist — gate allows advancing to Stage 5."),
+        can_proceed: z.boolean().describe("Alias for `passed` — whether the stage gate allows advancement."),
+        blocking_issues: z.array(z.string()).describe("FAIL status messages — must be resolved before deploying."),
+        warnings: z.array(z.string()).describe("WARN status messages — non-blocking, user may proceed at own risk."),
+        checks: z.array(z.object({
+            dimension: z.enum(["semantic", "tools", "reversibility", "risk", "isolation", "gas_budget"]).describe("The validation dimension."),
+            status: z.enum(["PASS", "WARN", "FAIL"]).describe("Check result status."),
+            message: z.string().describe("Human-readable check result message."),
+        }).strict()).describe("Per-dimension check results."),
+    }).strict().describe("Stage gate validation (GLM6 5-stage lifecycle 衔接). Validates Stage 3 risk score threshold (>=80 PASS, >=50 WARN, <50 FAIL) and Stage 4 deployment doc generation prerequisite."),
+    deployment_scan: z.object({
+        overall_readiness: z.enum(["ready", "blocked", "warnings"]).describe("'ready' = all 20 checks pass; 'blocked' = any critical fail; 'warnings' = only warning fails."),
+        critical_count: z.number().describe("Number of critical findings (blocks deployment)."),
+        warning_count: z.number().describe("Number of warning findings (non-blocking)."),
+        findings: z.array(z.object({
+            check_id: z.string().describe("D-XX check id (e.g. 'D-19') or sub-id (e.g. 'D-10a')."),
+            severity: z.enum(["critical", "warning", "info"]).describe("Finding severity."),
+            message: z.string().describe("Human-readable finding message."),
+            location: z.string().optional().describe("Document location (section, line, or step id)."),
+            suggestion: z.string().optional().describe("Suggested fix."),
+        }).strict()).describe("All findings from the 20 D-XX deployment checks."),
+        checks: z.object({
+            D01_object_defined: z.enum(["pass", "fail"]),
+            D02_dependency_complete: z.enum(["pass", "fail"]),
+            D03_scenario_covered: z.enum(["pass", "fail"]),
+            D04_testnet_topo_order: z.enum(["pass", "fail"]),
+            D05_testnet_network: z.enum(["pass", "fail"]),
+            D06_testnet_replace: z.enum(["pass", "fail"]),
+            D07_permission_index: z.enum(["pass", "fail"]),
+            D08_guard_gen_passport: z.enum(["pass", "fail"]),
+            D09_machine_node_count: z.enum(["pass", "fail"]),
+            D10_substep_coherence: z.enum(["pass", "fail"]),
+            D11_mainnet_testnet_match: z.enum(["pass", "fail"]),
+            D12_mainnet_network: z.enum(["pass", "fail"]),
+            D13_mainnet_replace: z.enum(["pass", "fail"]),
+            D14_testnet_verification: z.enum(["pass", "fail"]),
+            D15_mainnet_verification: z.enum(["pass", "fail"]),
+            D16_no_critical_risk: z.enum(["pass", "fail"]),
+            D17_no_high_risk: z.enum(["pass", "fail"]),
+            D18_completeness_checklist: z.enum(["pass", "fail"]),
+            D19_machine_entry_forward: z.enum(["pass", "fail"]).describe("Machine entry node (prev_node='') forwards non-empty — avoids Progress stuck at current=''."),
+            D20_service_compensation_fund: z.enum(["pass", "fail"]).describe("Service compensation_fund (Balance<T>) present or industry-exempt — ensures arbitration refund capability."),
+        }).strict().describe("Per-check pass/fail status for all 20 D-XX checks."),
+    }).strict().describe("Deployment scanner result — 20 D-XX checks including D-19 (Machine entry forward) and D-20 (Service compensation_fund)."),
+})
+    .strict();
+const PreEvaluateCheckResultSchema = z
+    .object({
+    action: z.literal("pre_evaluate_check"),
+    ready: z.boolean().describe("True if evaluate_project will produce meaningful results (no hard blockers). " +
+        "If false, address the items in `missing` first."),
+    missing: z.array(z.object({
+        id: z.string().describe("Check ID (e.g. PE-01, PE-06)."),
+        description: z.string().describe("What is missing."),
+        impact: z.string().describe("How it affects the evaluation, and how to fix it."),
+    }).strict()).describe("Hard blockers — must be resolved before evaluation."),
+    warnings: z.array(z.object({
+        id: z.string().describe("Check ID (e.g. PE-02, PE-03)."),
+        description: z.string().describe("What is suboptimal."),
+        impact: z.string().describe("How it affects the evaluation, and how to improve it."),
+    }).strict()).describe("Soft issues — evaluation runs but quality may be reduced."),
+    summary: z.string().describe("One-line human-readable status."),
+    counts: z.object({
+        objects: z.number().describe("Total project_objects count."),
+        edges: z.number().describe("Total graph_edges count."),
+        uncached: z.number().describe("Objects with no cached on-chain data."),
+        stale: z.number().describe("Objects with cache older than 24 hours."),
+        dangling_edges: z.number().describe("Edges referencing objects not in project_objects."),
+        drafts: z.number().describe("Objects still in draft (not yet on-chain)."),
+    }).strict().describe("Quick-scan counts for triage."),
+})
+    .strict();
+const VerifyDeploymentResultSchema = z
+    .object({
+    action: z.literal("verify_deployment"),
+    verifiedCount: z.number().describe("Number of objects actually verified (excludes drafts and unreachable)."),
+    matched: z.number().describe("Objects whose on-chain state matches SQLite."),
+    mismatched: z.number().describe("Objects whose on-chain state differs from SQLite (see `results[].differences`)."),
+    missing: z.number().describe("Objects that no longer exist on-chain (deleted or never deployed)."),
+    unreachable: z.number().describe("Objects that could not be queried (network error)."),
+    results: z.array(z.object({
+        objectAddress: z.string(),
+        objectName: z.string().nullable(),
+        objectType: z.string().nullable(),
+        status: z.enum(["matched", "mismatched", "missing", "unreachable"]).describe("Verification status: 'matched' = on-chain matches SQLite; " +
+            "'mismatched' = on-chain differs (see differences); " +
+            "'missing' = object no longer exists on-chain; " +
+            "'unreachable' = query failed (network error or rate limit)."),
+        differences: z.array(z.object({
+            field: z.string().describe("Field path that differs."),
+            sqlite: z.unknown().describe("Value recorded in SQLite."),
+            onchain: z.unknown().describe("Value observed on-chain."),
+        }).strict()).optional().describe("Per-field differences (only for status='mismatched')."),
+        bindings: z.object({
+            machine: z.boolean(),
+            permission: z.boolean(),
+            buy_guard: z.boolean(),
+            order_allocators: z.boolean(),
+        }).strict().optional().describe("Critical binding status (only for Service objects). " +
+            "Each boolean indicates whether the binding is set to a non-null value on-chain."),
+        error: z.string().optional().describe("Error message (only for status='unreachable')."),
+    }).strict()).describe("Per-object verification results."),
+    summary: z.string().describe("One-line human-readable summary."),
+})
+    .strict();
+const MachineGraphForwardSchema = z.object({
+    name: z.string().describe("Forward name."),
+    weight: z.number().describe("Forward weight (for weighted threshold)."),
+    guard: z.string().nullable().describe("Guard object address if the forward is guard-gated, else null."),
+    named_operator: z.string().nullable().describe("Named operator if set, else null."),
+    permission_index: z.number().nullable().describe("Permission index if set, else null."),
+}).strict();
+const MachineGraphEdgeSchema = z.object({
+    from: z.string().describe("Source node name (prev_node)."),
+    to: z.string().describe("Target node name (next_node)."),
+    threshold: z.number().describe("Minimum weighted forward count required to advance."),
+    forwards: z.array(MachineGraphForwardSchema).describe("Forwards within this pair — each is an advance operation."),
+}).strict();
+const MachineGraphNodeSchema = z.object({
+    name: z.string().describe("Node name."),
+    description: z.string().nullable().describe("Node description if set, else null."),
+}).strict();
+const GetMachineGraphResultSchema = z
+    .object({
+    action: z.literal("get_machine_graph"),
+    machineAddress: z.string().describe("The Machine object address."),
+    machineName: z.string().nullable().describe("The Machine's local name (from LocalMark) if available."),
+    nodes: z.array(MachineGraphNodeSchema).describe("Workflow nodes (states)."),
+    edges: z.array(MachineGraphEdgeSchema).describe("Directed edges (pairs) connecting nodes. Each edge has a threshold and forwards."),
+    published: z.boolean().nullable().describe("Whether the Machine is published (locked for production). null = unknown."),
+    paused: z.boolean().nullable().describe("Whether the Machine is paused (not generating new Progress). null = unknown."),
+})
+    .strict();
+const CloneProjectToNetworkResultSchema = z
+    .object({
+    action: z.literal("clone_project_to_network"),
+    new_project_id: z.string().describe("The newly created project's UUID."),
+    new_prefix: z.string().describe("New project prefix ('<source_prefix>_<target_network>')."),
+    target_network: z.enum(["testnet", "mainnet"]).describe("The target network the new project is bound to."),
+    cloned_objects_count: z.number().describe("Number of object metadata entries copied (objectAddress is empty — await on-chain deployment)."),
+    message: z.string().describe("Human-readable summary of the clone operation."),
+    next_steps: z.string().describe("Instructions for deploying the cloned objects on the target network."),
+})
+    .strict();
+const MigrateNetworkResultSchema = z
+    .object({
+    action: z.literal("migrate_network"),
+    new_project_id: z.string().describe("The newly created project's UUID."),
+    new_prefix: z.string().describe("New project prefix ('<source_prefix>_<target_network>')."),
+    target_network: z.enum(["testnet", "mainnet"]).describe("The target network the new project is bound to."),
+    cloned_objects_count: z.number().describe("Number of object metadata entries copied (objectAddress is empty — await on-chain deployment)."),
+    message: z.string().describe("Human-readable summary of the migration operation."),
+    next_steps: z.string().describe("Instructions for deploying the migrated objects on the target network."),
+})
+    .strict();
 export const ProjectOperationOutputSchema = z
     .object({
     result: z.discriminatedUnion("action", [
@@ -526,6 +862,12 @@ export const ProjectOperationOutputSchema = z
         GetObjectDiffResultSchema,
         DeleteProjectResultSchema,
         AssembleContextResultSchema,
+        GenerateDeploymentDocResultSchema,
+        PreEvaluateCheckResultSchema,
+        VerifyDeploymentResultSchema,
+        GetMachineGraphResultSchema,
+        CloneProjectToNetworkResultSchema,
+        MigrateNetworkResultSchema,
     ]).describe("Query result — shape depends on action"),
 })
     .strict();