@wowok/agent-mcp 2.6.0 → 2.6.3

package/dist/schemas/project_operation.output.json

@@ -245,11 +245,102 @@
                   ],
                   "additionalProperties": false,
                   "description": "The created project."
+                },
+                "recommended_creation_order": {
+                  "type": "array",
+                  "items": {
+                    "type": "object",
+                    "properties": {
+                      "step": {
+                        "type": "number",
+                        "description": "Step number (1-based)."
+                      },
+                      "object": {
+                        "type": "string",
+                        "description": "Object type to create (e.g. 'Permission', 'Service (unpublished)')."
+                      },
+                      "reason": {
+                        "type": "string",
+                        "description": "Why this step is here, including dependencies and irreversibility notes."
+                      },
+                      "required": {
+                        "type": "boolean",
+                        "description": "Whether this step is mandatory for a working deployment."
+                      }
+                    },
+                    "required": [
+                      "step",
+                      "object",
+                      "reason",
+                      "required"
+                    ],
+                    "additionalProperties": false
+                  },
+                  "description": "Canonical deployment sequence satisfying dependency constraints. All industries share this base order; see IndustryMode.build_notes for industry-specific deviations."
+                },
+                "blueprint": {
+                  "type": "object",
+                  "properties": {
+                    "objects_count": {
+                      "type": "number",
+                      "description": "Number of draft objects created from the template."
+                    },
+                    "edges_count": {
+                      "type": "number",
+                      "description": "Number of graph edges from the template."
+                    },
+                    "industry_source": {
+                      "type": "string",
+                      "description": "Industry mode name that sourced the template."
+                    },
+                    "applied_template": {
+                      "type": "string",
+                      "description": "Template identifier applied."
+                    },
+                    "steps_count": {
+                      "type": "number",
+                      "description": "Number of deployment steps in the template."
+                    },
+                    "scenarios_count": {
+                      "type": "number",
+                      "description": "Number of scenarios in the template."
+                    },
+                    "key_risk": {
+                      "type": [
+                        "string",
+                        "null"
+                      ],
+                      "description": "Industry-specific key risk note (or null)."
+                    }
+                  },
+                  "required": [
+                    "objects_count",
+                    "edges_count",
+                    "industry_source",
+                    "applied_template",
+                    "steps_count",
+                    "scenarios_count"
+                  ],
+                  "additionalProperties": false,
+                  "description": "Blueprint summary — present when industry template applied successfully. Objects have status='draft' and address='draft:<name>'."
+                },
+                "blueprint_warning": {
+                  "type": "string",
+                  "description": "Warning message — present when industry template application failed. Project is created without blueprint; use add_object to manually add objects."
+                },
+                "blueprint_skipped": {
+                  "type": "boolean",
+                  "description": "True when skip_templates=true was passed — no industry blueprint objects were created."
+                },
+                "hint": {
+                  "type": "string",
+                  "description": "User-facing hint — guides to next action (e.g. add_object, generate_deployment_doc)."
                 }
               },
               "required": [
                 "action",
-                "project"
+                "project",
+                "recommended_creation_order"
               ],
               "additionalProperties": false
             },
@@ -344,7 +435,7 @@
                       },
                       "objectAddress": {
                         "type": "string",
-                        "description": "On-chain object address (0x...)."
+                        "description": "On-chain object address (0x...) or 'draft:<name>' sentinel for blueprint objects."
                       },
                       "objectType": {
                         "type": [
@@ -362,12 +453,7 @@
                       },
                       "role": {
                         "type": "string",
-                        "enum": [
-                          "core",
-                          "dependency",
-                          "reference"
-                        ],
-                        "description": "Object role in project."
+                        "description": "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": {
                         "anyOf": [
@@ -591,12 +677,128 @@
                   "items": {
                     "$ref": "#/definitions/project_operation/properties/result/anyOf/2/properties/objects/items"
                   },
-                  "description": "Project objects (rigid relationships)."
+                  "description": "Project objects (rigid relationships). Flat list — use objectGroups for role-based navigation."
+                },
+                "objectGroups": {
+                  "type": "object",
+                  "properties": {
+                    "core": {
+                      "type": "array",
+                      "items": {
+                        "$ref": "#/definitions/project_operation/properties/result/anyOf/2/properties/objects/items"
+                      },
+                      "description": "Core objects (the Service) — the primary deliverable of the project."
+                    },
+                    "dependency": {
+                      "type": "array",
+                      "items": {
+                        "$ref": "#/definitions/project_operation/properties/result/anyOf/2/properties/objects/items"
+                      },
+                      "description": "Dependency objects (Permission, Machine, Guard, Allocation, Treasury, etc.) — required for the Service to function."
+                    },
+                    "reference": {
+                      "type": "array",
+                      "items": {
+                        "$ref": "#/definitions/project_operation/properties/result/anyOf/2/properties/objects/items"
+                      },
+                      "description": "Reference objects (read-only or external) — tracked but not owned by this project."
+                    },
+                    "other": {
+                      "type": "array",
+                      "items": {
+                        "$ref": "#/definitions/project_operation/properties/result/anyOf/2/properties/objects/items"
+                      },
+                      "description": "Objects with invalid or missing role (data corruption, legacy data). Grouped here for visibility — should normally be empty. Check server logs for warnings."
+                    },
+                    "stats": {
+                      "type": "object",
+                      "properties": {
+                        "total": {
+                          "type": "number",
+                          "description": "Total object count."
+                        },
+                        "core_count": {
+                          "type": "number",
+                          "description": "Number of core objects."
+                        },
+                        "dependency_count": {
+                          "type": "number",
+                          "description": "Number of dependency objects."
+                        },
+                        "reference_count": {
+                          "type": "number",
+                          "description": "Number of reference objects."
+                        },
+                        "other_count": {
+                          "type": "number",
+                          "description": "Number of objects with invalid/missing role (in 'other' bucket). Normally 0."
+                        },
+                        "by_type": {
+                          "type": "object",
+                          "additionalProperties": {
+                            "type": "number"
+                          },
+                          "description": "Object count grouped by objectType prefix (e.g. {'service': 1, 'permission': 1, 'guard': 5})."
+                        }
+                      },
+                      "required": [
+                        "total",
+                        "core_count",
+                        "dependency_count",
+                        "reference_count",
+                        "other_count",
+                        "by_type"
+                      ],
+                      "additionalProperties": false,
+                      "description": "Aggregate counts for quick project sizing."
+                    }
+                  },
+                  "required": [
+                    "core",
+                    "dependency",
+                    "reference",
+                    "other",
+                    "stats"
+                  ],
+                  "additionalProperties": false,
+                  "description": "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": {
                   "type": "number",
                   "description": "Number of persisted graph edges."
                 },
+                "serviceStatus": {
+                  "anyOf": [
+                    {
+                      "type": "object",
+                      "properties": {
+                        "published": {
+                          "type": [
+                            "boolean",
+                            "null"
+                          ],
+                          "description": "Whether the on-chain Service is published (live). null = unknown / query failed."
+                        },
+                        "paused": {
+                          "type": [
+                            "boolean",
+                            "null"
+                          ],
+                          "description": "Whether the on-chain Service is paused (not accepting orders). null = unknown."
+                        }
+                      },
+                      "required": [
+                        "published",
+                        "paused"
+                      ],
+                      "additionalProperties": false
+                    },
+                    {
+                      "type": "null"
+                    }
+                  ],
+                  "description": "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": {
                   "type": "array",
                   "items": {
@@ -770,7 +972,9 @@
                 "action",
                 "project",
                 "objects",
+                "objectGroups",
                 "graphEdgeCount",
+                "serviceStatus",
                 "evaluations",
                 "versions"
               ],
@@ -958,37 +1162,157 @@
                   "type": "string",
                   "const": "build_graph"
                 },
+                "async_mode": {
+                  "type": "boolean",
+                  "description": "True when graph is building asynchronously (background task). When true, call query_task_status with task_id to retrieve the result."
+                },
+                "task_id": {
+                  "type": "string",
+                  "description": "Async task id — present only when async_mode=true. Use with query_task_status."
+                },
                 "nodeCount": {
                   "type": "number",
-                  "description": "Total nodes in the constructed graph."
+                  "description": "Total nodes in the constructed graph (sync mode only)."
                 },
                 "edgeCount": {
                   "type": "number",
-                  "description": "Total edges (after conflict resolution + dedup)."
+                  "description": "Total edges (after conflict resolution + dedup) (sync mode only)."
                 },
                 "edgesBySource": {
                   "type": "object",
                   "additionalProperties": {
                     "type": "number"
                   },
-                  "description": "Edge counts by source: { internal: N, registrar: N, potential: N }."
+                  "description": "Edge counts by source: { internal: N, registrar: N, potential: N } (sync mode only)."
                 },
                 "reputationCount": {
                   "type": "number",
-                  "description": "Number of objects with Registrar reputation data."
+                  "description": "Number of objects with Registrar reputation data (sync mode only)."
                 },
                 "builtAt": {
                   "type": "number",
-                  "description": "Build timestamp (ms)."
+                  "description": "Build timestamp in ms (sync mode only)."
+                },
+                "binding_verification": {
+                  "anyOf": [
+                    {
+                      "type": "object",
+                      "properties": {
+                        "service": {
+                          "type": "string",
+                          "description": "Service object address that was verified."
+                        },
+                        "bindings": {
+                          "type": "object",
+                          "additionalProperties": {
+                            "type": "object",
+                            "properties": {
+                              "expected": {
+                                "type": "string",
+                                "description": "Expected target object type."
+                              },
+                              "actual": {
+                                "type": [
+                                  "string",
+                                  "null"
+                                ],
+                                "description": "Actual on-chain value (address or null)."
+                              },
+                              "count": {
+                                "type": "number",
+                                "description": "Item count for array fields (order_allocators, arbitrations)."
+                              },
+                              "verified": {
+                                "type": "boolean",
+                                "description": "Whether the binding exists on-chain."
+                              }
+                            },
+                            "required": [
+                              "expected",
+                              "actual",
+                              "verified"
+                            ],
+                            "additionalProperties": false
+                          },
+                          "description": "Per-field binding verification result."
+                        },
+                        "all_verified": {
+                          "type": "boolean",
+                          "description": "True when all critical bindings exist on-chain."
+                        }
+                      },
+                      "required": [
+                        "service",
+                        "bindings",
+                        "all_verified"
+                      ],
+                      "additionalProperties": false
+                    },
+                    {
+                      "type": "null"
+                    }
+                  ],
+                  "description": "On-chain verification of Service bindings (F-15). Null when no Service address or query failed. Sync mode only."
+                },
+                "topEdges": {
+                  "type": "array",
+                  "items": {
+                    "type": "object",
+                    "properties": {
+                      "source": {
+                        "type": "string",
+                        "description": "Source object address."
+                      },
+                      "target": {
+                        "type": "string",
+                        "description": "Target object address."
+                      },
+                      "fieldName": {
+                        "type": [
+                          "string",
+                          "null"
+                        ],
+                        "description": "Field name on the source object (or null)."
+                      },
+                      "relationshipType": {
+                        "type": "string",
+                        "description": "Relationship type (bind, create, trigger, etc.)."
+                      },
+                      "weight": {
+                        "type": [
+                          "number",
+                          "null"
+                        ],
+                        "description": "Edge weight (0-1, higher = more important)."
+                      },
+                      "verified": {
+                        "type": "boolean",
+                        "description": "Whether the edge has been verified on-chain."
+                      }
+                    },
+                    "required": [
+                      "source",
+                      "target",
+                      "fieldName",
+                      "relationshipType",
+                      "weight",
+                      "verified"
+                    ],
+                    "additionalProperties": false
+                  },
+                  "description": "Top 5 critical edges by weight (sync mode only). Preview of the most important relationships — call get_graph for the full list."
+                },
+                "visualization": {
+                  "type": "string",
+                  "description": "Mermaid-style ASCII visualization of top edges (sync mode only). Compact format: 'source --field--> target'."
+                },
+                "hint": {
+                  "type": "string",
+                  "description": "User-facing hint — guides to next action (e.g. call get_graph for full list, or query_task_status for async result)."
                 }
               },
               "required": [
-                "action",
-                "nodeCount",
-                "edgeCount",
-                "edgesBySource",
-                "reputationCount",
-                "builtAt"
+                "action"
               ],
               "additionalProperties": false
             },
@@ -1531,7 +1855,7 @@
                         ],
                         "additionalProperties": false
                       },
-                      "description": "D-01..D-18 check results."
+                      "description": "D-01..D-20 check results (20 deployment checks including D-19 Machine entry-node forward and D-20 Service compensation_fund)."
                     },
                     "errors": {
                       "type": "array",
@@ -1547,23 +1871,1870 @@
                     "errors"
                   ],
                   "additionalProperties": false,
-                  "description": "Deployment doc validation result against D-01..D-18."
+                  "description": "Deployment doc validation result against D-01..D-20."
                 },
                 "saved": {
                   "type": "boolean",
                   "description": "Whether the markdown was persisted to SQLite project_documents table."
+                },
+                "detail_level": {
+                  "type": "string",
+                  "enum": [
+                    "summary",
+                    "detailed",
+                    "full"
+                  ],
+                  "description": "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": {
+                  "type": "object",
+                  "properties": {
+                    "stage": {
+                      "type": "number",
+                      "description": "The stage that was validated (4 = deployment doc generation gate)."
+                    },
+                    "passed": {
+                      "type": "boolean",
+                      "description": "True iff no FAIL checks exist — gate allows advancing to Stage 5."
+                    },
+                    "can_proceed": {
+                      "type": "boolean",
+                      "description": "Alias for `passed` — whether the stage gate allows advancement."
+                    },
+                    "blocking_issues": {
+                      "type": "array",
+                      "items": {
+                        "type": "string"
+                      },
+                      "description": "FAIL status messages — must be resolved before deploying."
+                    },
+                    "warnings": {
+                      "type": "array",
+                      "items": {
+                        "type": "string"
+                      },
+                      "description": "WARN status messages — non-blocking, user may proceed at own risk."
+                    },
+                    "checks": {
+                      "type": "array",
+                      "items": {
+                        "type": "object",
+                        "properties": {
+                          "dimension": {
+                            "type": "string",
+                            "enum": [
+                              "semantic",
+                              "tools",
+                              "reversibility",
+                              "risk",
+                              "isolation",
+                              "gas_budget"
+                            ],
+                            "description": "The validation dimension."
+                          },
+                          "status": {
+                            "type": "string",
+                            "enum": [
+                              "PASS",
+                              "WARN",
+                              "FAIL"
+                            ],
+                            "description": "Check result status."
+                          },
+                          "message": {
+                            "type": "string",
+                            "description": "Human-readable check result message."
+                          }
+                        },
+                        "required": [
+                          "dimension",
+                          "status",
+                          "message"
+                        ],
+                        "additionalProperties": false
+                      },
+                      "description": "Per-dimension check results."
+                    }
+                  },
+                  "required": [
+                    "stage",
+                    "passed",
+                    "can_proceed",
+                    "blocking_issues",
+                    "warnings",
+                    "checks"
+                  ],
+                  "additionalProperties": false,
+                  "description": "Stage gate validation (GLM6 5-stage lifecycle handoff). Validates Stage 3 risk score threshold (>=80 PASS, >=50 WARN, <50 FAIL) and Stage 4 deployment doc generation prerequisite."
+                },
+                "deployment_scan": {
+                  "type": "object",
+                  "properties": {
+                    "overall_readiness": {
+                      "type": "string",
+                      "enum": [
+                        "ready",
+                        "blocked",
+                        "warnings"
+                      ],
+                      "description": "'ready' = all 20 checks pass; 'blocked' = any critical fail; 'warnings' = only warning fails."
+                    },
+                    "critical_count": {
+                      "type": "number",
+                      "description": "Number of critical findings (blocks deployment)."
+                    },
+                    "warning_count": {
+                      "type": "number",
+                      "description": "Number of warning findings (non-blocking)."
+                    },
+                    "findings": {
+                      "type": "array",
+                      "items": {
+                        "type": "object",
+                        "properties": {
+                          "check_id": {
+                            "type": "string",
+                            "description": "D-XX check id (e.g. 'D-19') or sub-id (e.g. 'D-10a')."
+                          },
+                          "severity": {
+                            "type": "string",
+                            "enum": [
+                              "critical",
+                              "warning",
+                              "info"
+                            ],
+                            "description": "Finding severity."
+                          },
+                          "message": {
+                            "type": "string",
+                            "description": "Human-readable finding message."
+                          },
+                          "location": {
+                            "type": "string",
+                            "description": "Document location (section, line, or step id)."
+                          },
+                          "suggestion": {
+                            "type": "string",
+                            "description": "Suggested fix."
+                          }
+                        },
+                        "required": [
+                          "check_id",
+                          "severity",
+                          "message"
+                        ],
+                        "additionalProperties": false
+                      },
+                      "description": "All findings from the 20 D-XX deployment checks."
+                    },
+                    "checks": {
+                      "type": "object",
+                      "properties": {
+                        "D01_object_defined": {
+                          "type": "string",
+                          "enum": [
+                            "pass",
+                            "fail"
+                          ]
+                        },
+                        "D02_dependency_complete": {
+                          "type": "string",
+                          "enum": [
+                            "pass",
+                            "fail"
+                          ]
+                        },
+                        "D03_scenario_covered": {
+                          "type": "string",
+                          "enum": [
+                            "pass",
+                            "fail"
+                          ]
+                        },
+                        "D04_testnet_topo_order": {
+                          "type": "string",
+                          "enum": [
+                            "pass",
+                            "fail"
+                          ]
+                        },
+                        "D05_testnet_network": {
+                          "type": "string",
+                          "enum": [
+                            "pass",
+                            "fail"
+                          ]
+                        },
+                        "D06_testnet_replace": {
+                          "type": "string",
+                          "enum": [
+                            "pass",
+                            "fail"
+                          ]
+                        },
+                        "D07_permission_index": {
+                          "type": "string",
+                          "enum": [
+                            "pass",
+                            "fail"
+                          ]
+                        },
+                        "D08_guard_gen_passport": {
+                          "type": "string",
+                          "enum": [
+                            "pass",
+                            "fail"
+                          ]
+                        },
+                        "D09_machine_node_count": {
+                          "type": "string",
+                          "enum": [
+                            "pass",
+                            "fail"
+                          ]
+                        },
+                        "D10_substep_coherence": {
+                          "type": "string",
+                          "enum": [
+                            "pass",
+                            "fail"
+                          ]
+                        },
+                        "D11_mainnet_testnet_match": {
+                          "type": "string",
+                          "enum": [
+                            "pass",
+                            "fail"
+                          ]
+                        },
+                        "D12_mainnet_network": {
+                          "type": "string",
+                          "enum": [
+                            "pass",
+                            "fail"
+                          ]
+                        },
+                        "D13_mainnet_replace": {
+                          "type": "string",
+                          "enum": [
+                            "pass",
+                            "fail"
+                          ]
+                        },
+                        "D14_testnet_verification": {
+                          "type": "string",
+                          "enum": [
+                            "pass",
+                            "fail"
+                          ]
+                        },
+                        "D15_mainnet_verification": {
+                          "type": "string",
+                          "enum": [
+                            "pass",
+                            "fail"
+                          ]
+                        },
+                        "D16_no_critical_risk": {
+                          "type": "string",
+                          "enum": [
+                            "pass",
+                            "fail"
+                          ]
+                        },
+                        "D17_no_high_risk": {
+                          "type": "string",
+                          "enum": [
+                            "pass",
+                            "fail"
+                          ]
+                        },
+                        "D18_completeness_checklist": {
+                          "type": "string",
+                          "enum": [
+                            "pass",
+                            "fail"
+                          ]
+                        },
+                        "D19_machine_entry_forward": {
+                          "type": "string",
+                          "enum": [
+                            "pass",
+                            "fail"
+                          ],
+                          "description": "Machine entry node (prev_node='') forwards non-empty — avoids Progress stuck at current=''."
+                        },
+                        "D20_service_compensation_fund": {
+                          "type": "string",
+                          "enum": [
+                            "pass",
+                            "fail"
+                          ],
+                          "description": "Service compensation_fund (Balance<T>) present or industry-exempt — ensures arbitration refund capability."
+                        }
+                      },
+                      "required": [
+                        "D01_object_defined",
+                        "D02_dependency_complete",
+                        "D03_scenario_covered",
+                        "D04_testnet_topo_order",
+                        "D05_testnet_network",
+                        "D06_testnet_replace",
+                        "D07_permission_index",
+                        "D08_guard_gen_passport",
+                        "D09_machine_node_count",
+                        "D10_substep_coherence",
+                        "D11_mainnet_testnet_match",
+                        "D12_mainnet_network",
+                        "D13_mainnet_replace",
+                        "D14_testnet_verification",
+                        "D15_mainnet_verification",
+                        "D16_no_critical_risk",
+                        "D17_no_high_risk",
+                        "D18_completeness_checklist",
+                        "D19_machine_entry_forward",
+                        "D20_service_compensation_fund"
+                      ],
+                      "additionalProperties": false,
+                      "description": "Per-check pass/fail status for all 20 D-XX checks."
+                    }
+                  },
+                  "required": [
+                    "overall_readiness",
+                    "critical_count",
+                    "warning_count",
+                    "findings",
+                    "checks"
+                  ],
+                  "additionalProperties": false,
+                  "description": "Deployment scanner result — 20 D-XX checks including D-19 (Machine entry forward) and D-20 (Service compensation_fund)."
                 }
               },
               "required": [
                 "action",
                 "markdown",
                 "validation",
-                "saved"
+                "saved",
+                "detail_level",
+                "stage_gate",
+                "deployment_scan"
+              ],
+              "additionalProperties": false
+            },
+            {
+              "type": "object",
+              "properties": {
+                "action": {
+                  "type": "string",
+                  "const": "pre_evaluate_check"
+                },
+                "ready": {
+                  "type": "boolean",
+                  "description": "True if evaluate_project will produce meaningful results (no hard blockers). If false, address the items in `missing` first."
+                },
+                "missing": {
+                  "type": "array",
+                  "items": {
+                    "type": "object",
+                    "properties": {
+                      "id": {
+                        "type": "string",
+                        "description": "Check ID (e.g. PE-01, PE-06)."
+                      },
+                      "description": {
+                        "type": "string",
+                        "description": "What is missing."
+                      },
+                      "impact": {
+                        "type": "string",
+                        "description": "How it affects the evaluation, and how to fix it."
+                      }
+                    },
+                    "required": [
+                      "id",
+                      "description",
+                      "impact"
+                    ],
+                    "additionalProperties": false
+                  },
+                  "description": "Hard blockers — must be resolved before evaluation."
+                },
+                "warnings": {
+                  "type": "array",
+                  "items": {
+                    "type": "object",
+                    "properties": {
+                      "id": {
+                        "type": "string",
+                        "description": "Check ID (e.g. PE-02, PE-03)."
+                      },
+                      "description": {
+                        "type": "string",
+                        "description": "What is suboptimal."
+                      },
+                      "impact": {
+                        "type": "string",
+                        "description": "How it affects the evaluation, and how to improve it."
+                      }
+                    },
+                    "required": [
+                      "id",
+                      "description",
+                      "impact"
+                    ],
+                    "additionalProperties": false
+                  },
+                  "description": "Soft issues — evaluation runs but quality may be reduced."
+                },
+                "summary": {
+                  "type": "string",
+                  "description": "One-line human-readable status."
+                },
+                "counts": {
+                  "type": "object",
+                  "properties": {
+                    "objects": {
+                      "type": "number",
+                      "description": "Total project_objects count."
+                    },
+                    "edges": {
+                      "type": "number",
+                      "description": "Total graph_edges count."
+                    },
+                    "uncached": {
+                      "type": "number",
+                      "description": "Objects with no cached on-chain data."
+                    },
+                    "stale": {
+                      "type": "number",
+                      "description": "Objects with cache older than 24 hours."
+                    },
+                    "dangling_edges": {
+                      "type": "number",
+                      "description": "Edges referencing objects not in project_objects."
+                    },
+                    "drafts": {
+                      "type": "number",
+                      "description": "Objects still in draft (not yet on-chain)."
+                    }
+                  },
+                  "required": [
+                    "objects",
+                    "edges",
+                    "uncached",
+                    "stale",
+                    "dangling_edges",
+                    "drafts"
+                  ],
+                  "additionalProperties": false,
+                  "description": "Quick-scan counts for triage."
+                }
+              },
+              "required": [
+                "action",
+                "ready",
+                "missing",
+                "warnings",
+                "summary",
+                "counts"
+              ],
+              "additionalProperties": false
+            },
+            {
+              "type": "object",
+              "properties": {
+                "action": {
+                  "type": "string",
+                  "const": "verify_deployment"
+                },
+                "verifiedCount": {
+                  "type": "number",
+                  "description": "Number of objects actually verified (excludes drafts and unreachable)."
+                },
+                "matched": {
+                  "type": "number",
+                  "description": "Objects whose on-chain state matches SQLite."
+                },
+                "mismatched": {
+                  "type": "number",
+                  "description": "Objects whose on-chain state differs from SQLite (see `results[].differences`)."
+                },
+                "missing": {
+                  "type": "number",
+                  "description": "Objects that no longer exist on-chain (deleted or never deployed)."
+                },
+                "unreachable": {
+                  "type": "number",
+                  "description": "Objects that could not be queried (network error)."
+                },
+                "results": {
+                  "type": "array",
+                  "items": {
+                    "type": "object",
+                    "properties": {
+                      "objectAddress": {
+                        "type": "string"
+                      },
+                      "objectName": {
+                        "type": [
+                          "string",
+                          "null"
+                        ]
+                      },
+                      "objectType": {
+                        "type": [
+                          "string",
+                          "null"
+                        ]
+                      },
+                      "status": {
+                        "type": "string",
+                        "enum": [
+                          "matched",
+                          "mismatched",
+                          "missing",
+                          "unreachable"
+                        ],
+                        "description": "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": {
+                        "type": "array",
+                        "items": {
+                          "type": "object",
+                          "properties": {
+                            "field": {
+                              "type": "string",
+                              "description": "Field path that differs."
+                            },
+                            "sqlite": {
+                              "description": "Value recorded in SQLite."
+                            },
+                            "onchain": {
+                              "description": "Value observed on-chain."
+                            }
+                          },
+                          "required": [
+                            "field"
+                          ],
+                          "additionalProperties": false
+                        },
+                        "description": "Per-field differences (only for status='mismatched')."
+                      },
+                      "bindings": {
+                        "type": "object",
+                        "properties": {
+                          "machine": {
+                            "type": "boolean"
+                          },
+                          "permission": {
+                            "type": "boolean"
+                          },
+                          "buy_guard": {
+                            "type": "boolean"
+                          },
+                          "order_allocators": {
+                            "type": "boolean"
+                          }
+                        },
+                        "required": [
+                          "machine",
+                          "permission",
+                          "buy_guard",
+                          "order_allocators"
+                        ],
+                        "additionalProperties": false,
+                        "description": "Critical binding status (only for Service objects). Each boolean indicates whether the binding is set to a non-null value on-chain."
+                      },
+                      "error": {
+                        "type": "string",
+                        "description": "Error message (only for status='unreachable')."
+                      }
+                    },
+                    "required": [
+                      "objectAddress",
+                      "objectName",
+                      "objectType",
+                      "status"
+                    ],
+                    "additionalProperties": false
+                  },
+                  "description": "Per-object verification results."
+                },
+                "summary": {
+                  "type": "string",
+                  "description": "One-line human-readable summary."
+                }
+              },
+              "required": [
+                "action",
+                "verifiedCount",
+                "matched",
+                "mismatched",
+                "missing",
+                "unreachable",
+                "results",
+                "summary"
+              ],
+              "additionalProperties": false
+            },
+            {
+              "type": "object",
+              "properties": {
+                "action": {
+                  "type": "string",
+                  "const": "get_machine_graph"
+                },
+                "machineAddress": {
+                  "type": "string",
+                  "description": "The Machine object address."
+                },
+                "machineName": {
+                  "type": [
+                    "string",
+                    "null"
+                  ],
+                  "description": "The Machine's local name (from LocalMark) if available."
+                },
+                "nodes": {
+                  "type": "array",
+                  "items": {
+                    "type": "object",
+                    "properties": {
+                      "name": {
+                        "type": "string",
+                        "description": "Node name."
+                      },
+                      "description": {
+                        "type": [
+                          "string",
+                          "null"
+                        ],
+                        "description": "Node description if set, else null."
+                      }
+                    },
+                    "required": [
+                      "name",
+                      "description"
+                    ],
+                    "additionalProperties": false
+                  },
+                  "description": "Workflow nodes (states)."
+                },
+                "edges": {
+                  "type": "array",
+                  "items": {
+                    "type": "object",
+                    "properties": {
+                      "from": {
+                        "type": "string",
+                        "description": "Source node name (prev_node)."
+                      },
+                      "to": {
+                        "type": "string",
+                        "description": "Target node name (next_node)."
+                      },
+                      "threshold": {
+                        "type": "number",
+                        "description": "Minimum weighted forward count required to advance."
+                      },
+                      "forwards": {
+                        "type": "array",
+                        "items": {
+                          "type": "object",
+                          "properties": {
+                            "name": {
+                              "type": "string",
+                              "description": "Forward name."
+                            },
+                            "weight": {
+                              "type": "number",
+                              "description": "Forward weight (for weighted threshold)."
+                            },
+                            "guard": {
+                              "type": [
+                                "string",
+                                "null"
+                              ],
+                              "description": "Guard object address if the forward is guard-gated, else null."
+                            },
+                            "named_operator": {
+                              "type": [
+                                "string",
+                                "null"
+                              ],
+                              "description": "Named operator if set, else null."
+                            },
+                            "permission_index": {
+                              "type": [
+                                "number",
+                                "null"
+                              ],
+                              "description": "Permission index if set, else null."
+                            }
+                          },
+                          "required": [
+                            "name",
+                            "weight",
+                            "guard",
+                            "named_operator",
+                            "permission_index"
+                          ],
+                          "additionalProperties": false
+                        },
+                        "description": "Forwards within this pair — each is an advance operation."
+                      }
+                    },
+                    "required": [
+                      "from",
+                      "to",
+                      "threshold",
+                      "forwards"
+                    ],
+                    "additionalProperties": false
+                  },
+                  "description": "Directed edges (pairs) connecting nodes. Each edge has a threshold and forwards."
+                },
+                "published": {
+                  "type": [
+                    "boolean",
+                    "null"
+                  ],
+                  "description": "Whether the Machine is published (locked for production). null = unknown."
+                },
+                "paused": {
+                  "type": [
+                    "boolean",
+                    "null"
+                  ],
+                  "description": "Whether the Machine is paused (not generating new Progress). null = unknown."
+                },
+                "mermaid": {
+                  "type": "string",
+                  "description": "Mermaid stateDiagram-v2 string visualizing the directed graph. Entry nodes start from [*]. Edge labels include forward name + threshold + guard info. Cycles (revision loops) are rendered as normal edges. Includes a color legend comment block + BehaviorTree.CPP-style color annotations (entry=green, terminal=red, revision=amber, normal=blue). Renderable in markdown viewers."
+                },
+                "tree_outline": {
+                  "type": "string",
+                  "description": "Indented Markdown outline of the directed graph (human-editable format). Lists edges as outline entries with forwards nested under each edge. Includes a Backrefs section consolidating incoming edges per node (editing aid — answers 'who transitions INTO node X?'). Bidirectional with parseMachineTreeIndented(). Includes JSON code block for round-trip safety. Use this for the download -> edit -> republish workflow."
+                },
+                "ascii_art": {
+                  "type": "string",
+                  "description": "ASCII art directed graph visualization using arrow notation (A -forward-> B). Cycle (revision loop) and terminal annotations included. Terminal-friendly, avoids JSON escaping issues that affect multi-line Mermaid strings. Use when rendering in plain-text contexts."
+                },
+                "markmap": {
+                  "type": "string",
+                  "description": "Markmap-compatible Markdown string (heading levels represent hierarchy). Edge-centric layout with forwards nested under edges. Renderable by VS Code Markmap extension or markmap.js. Provides an interactive mind-map view of the workflow."
+                }
+              },
+              "required": [
+                "action",
+                "machineAddress",
+                "machineName",
+                "nodes",
+                "edges",
+                "published",
+                "paused",
+                "mermaid",
+                "tree_outline",
+                "ascii_art",
+                "markmap"
+              ],
+              "additionalProperties": false
+            },
+            {
+              "type": "object",
+              "properties": {
+                "action": {
+                  "type": "string",
+                  "const": "get_guard_graph"
+                },
+                "guardAddress": {
+                  "type": "string",
+                  "description": "The Guard object address."
+                },
+                "guardName": {
+                  "type": [
+                    "string",
+                    "null"
+                  ],
+                  "description": "The Guard's local name (from LocalMark) if available."
+                },
+                "root": {
+                  "type": "object",
+                  "properties": {
+                    "type": {
+                      "type": "string",
+                      "description": "Guard node type (logic_and, query, identifier, context, calc_*, convert_*, vec_*, etc.)."
+                    },
+                    "nodes": {
+                      "type": "array",
+                      "items": {
+                        "type": "object",
+                        "properties": {
+                          "type": {
+                            "type": "string",
+                            "description": "Guard node type (logic_and, query, identifier, context, calc_*, convert_*, vec_*, etc.)."
+                          },
+                          "nodes": {
+                            "type": "array",
+                            "items": {
+                              "$ref": "#/definitions/project_operation/properties/result/anyOf/22/properties/root/properties/nodes/items"
+                            },
+                            "description": "Child nodes (for logic_and/or, calc_*, vec_contains_*, etc.)."
+                          },
+                          "node": {
+                            "$ref": "#/definitions/project_operation/properties/result/anyOf/22/properties/root/properties/nodes/items",
+                            "description": "Single child (for logic_not, convert_*, value_type)."
+                          },
+                          "nodeLeft": {
+                            "$ref": "#/definitions/project_operation/properties/result/anyOf/22/properties/root/properties/nodes/items",
+                            "description": "Left child (for vec_indexof_*)."
+                          },
+                          "nodeRight": {
+                            "$ref": "#/definitions/project_operation/properties/result/anyOf/22/properties/root/properties/nodes/items",
+                            "description": "Right child (for vec_indexof_*)."
+                          },
+                          "query": {
+                            "type": [
+                              "number",
+                              "string"
+                            ],
+                            "description": "Query instruction ID or name (for query nodes)."
+                          },
+                          "object": {
+                            "type": "object",
+                            "properties": {
+                              "identifier": {
+                                "type": "number"
+                              },
+                              "convert_witness": {
+                                "type": "number"
+                              }
+                            },
+                            "additionalProperties": false,
+                            "description": "Query target object reference."
+                          },
+                          "parameters": {
+                            "type": "array",
+                            "items": {
+                              "$ref": "#/definitions/project_operation/properties/result/anyOf/22/properties/root/properties/nodes/items"
+                            },
+                            "description": "Query parameters."
+                          },
+                          "identifier": {
+                            "type": "number",
+                            "description": "Table entry index (for identifier nodes)."
+                          },
+                          "context": {
+                            "type": "string",
+                            "description": "Context type: Signer, Clock, or Guard."
+                          }
+                        },
+                        "required": [
+                          "type"
+                        ],
+                        "additionalProperties": false
+                      },
+                      "description": "Child nodes (for logic_and/or, calc_*, vec_contains_*, etc.)."
+                    },
+                    "node": {
+                      "$ref": "#/definitions/project_operation/properties/result/anyOf/22/properties/root/properties/nodes/items",
+                      "description": "Single child (for logic_not, convert_*, value_type)."
+                    },
+                    "nodeLeft": {
+                      "$ref": "#/definitions/project_operation/properties/result/anyOf/22/properties/root/properties/nodes/items",
+                      "description": "Left child (for vec_indexof_*)."
+                    },
+                    "nodeRight": {
+                      "$ref": "#/definitions/project_operation/properties/result/anyOf/22/properties/root/properties/nodes/items",
+                      "description": "Right child (for vec_indexof_*)."
+                    },
+                    "query": {
+                      "type": [
+                        "number",
+                        "string"
+                      ],
+                      "description": "Query instruction ID or name (for query nodes)."
+                    },
+                    "object": {
+                      "type": "object",
+                      "properties": {
+                        "identifier": {
+                          "type": "number"
+                        },
+                        "convert_witness": {
+                          "type": "number"
+                        }
+                      },
+                      "additionalProperties": false,
+                      "description": "Query target object reference."
+                    },
+                    "parameters": {
+                      "type": "array",
+                      "items": {
+                        "$ref": "#/definitions/project_operation/properties/result/anyOf/22/properties/root/properties/nodes/items"
+                      },
+                      "description": "Query parameters."
+                    },
+                    "identifier": {
+                      "type": "number",
+                      "description": "Table entry index (for identifier nodes)."
+                    },
+                    "context": {
+                      "type": "string",
+                      "description": "Context type: Signer, Clock, or Guard."
+                    }
+                  },
+                  "required": [
+                    "type"
+                  ],
+                  "additionalProperties": false,
+                  "description": "Root computation node (returns Bool). The tree is recursive — each node may have children."
+                },
+                "table": {
+                  "type": "array",
+                  "items": {
+                    "type": "object",
+                    "properties": {
+                      "identifier": {
+                        "type": "number",
+                        "description": "Table entry index (0-255)."
+                      },
+                      "b_submission": {
+                        "type": "boolean",
+                        "description": "Whether this entry is submitted at runtime."
+                      },
+                      "value_type": {
+                        "type": [
+                          "number",
+                          "string"
+                        ],
+                        "description": "Value type (numeric code or name)."
+                      },
+                      "value": {
+                        "description": "Constant value (if b_submission=false)."
+                      },
+                      "name": {
+                        "type": "string",
+                        "description": "Human-readable name/description."
+                      }
+                    },
+                    "required": [
+                      "identifier",
+                      "b_submission",
+                      "value_type"
+                    ],
+                    "additionalProperties": false
+                  },
+                  "description": "Guard data table entries (constants + submission slots)."
+                },
+                "rely": {
+                  "anyOf": [
+                    {
+                      "type": "object",
+                      "properties": {
+                        "guards": {
+                          "type": "array",
+                          "items": {
+                            "type": "string"
+                          }
+                        },
+                        "logic_or": {
+                          "type": "boolean"
+                        }
+                      },
+                      "required": [
+                        "guards"
+                      ],
+                      "additionalProperties": false
+                    },
+                    {
+                      "type": "null"
+                    }
+                  ],
+                  "description": "Rely dependencies (other Guards this Guard depends on). null = no rely."
+                },
+                "immutable": {
+                  "type": [
+                    "boolean",
+                    "null"
+                  ],
+                  "description": "Whether the Guard is immutable (frozen for verification). null = unknown."
+                },
+                "mermaid": {
+                  "type": "string",
+                  "description": "Mermaid flowchart TD string visualizing the tree. Node shapes: {}=decision (logic_*), []=computation/query, ([])=leaf (identifier), {{}}=context. Includes a color legend comment block + BehaviorTree.CPP-style color annotations (control=blue, decision=amber, computation=purple, query=cyan, leaf=gray, context=green)."
+                },
+                "tree_outline": {
+                  "type": "string",
+                  "description": "Indented Markdown outline of the tree (human-editable format). Bidirectional with parseGuardTreeIndented(). Includes JSON code block for round-trip safety."
+                },
+                "ascii_art": {
+                  "type": "string",
+                  "description": "ASCII art tree visualization using box-drawing characters (+-- --, |). Table summary appended. Terminal-friendly, avoids JSON escaping issues that affect multi-line Mermaid strings."
+                },
+                "markmap": {
+                  "type": "string",
+                  "description": "Markmap-compatible Markdown string (heading levels represent tree depth). Root -> branches -> leaves hierarchy. Renderable by VS Code Markmap extension or markmap.js. Provides an interactive mind-map view of the Guard tree."
+                }
+              },
+              "required": [
+                "action",
+                "guardAddress",
+                "guardName",
+                "root",
+                "table",
+                "rely",
+                "immutable",
+                "mermaid",
+                "tree_outline",
+                "ascii_art",
+                "markmap"
+              ],
+              "additionalProperties": false
+            },
+            {
+              "type": "object",
+              "properties": {
+                "action": {
+                  "type": "string",
+                  "const": "plan_object_edit"
+                },
+                "plan_id": {
+                  "type": "string",
+                  "description": "Unique plan ID (UUID). Pass to apply_object_edit within 10 minutes to execute."
+                },
+                "object_kind": {
+                  "type": "string",
+                  "enum": [
+                    "machine",
+                    "guard"
+                  ],
+                  "description": "The object kind that was edited."
+                },
+                "object_address": {
+                  "type": "string",
+                  "description": "The on-chain object address being edited."
+                },
+                "object_name": {
+                  "type": [
+                    "string",
+                    "null"
+                  ],
+                  "description": "The object's local name (from LocalMark) if available."
+                },
+                "expected_hash": {
+                  "type": "string",
+                  "description": "SHA-256 hash of (current_onchain_state + edited_content). Pass to apply_object_edit as expected_hash for stale-edit detection."
+                },
+                "diff": {
+                  "type": "object",
+                  "properties": {
+                    "added": {
+                      "type": "array",
+                      "items": {
+                        "type": "string"
+                      },
+                      "description": "List of added items (node names, edge 'from->to', table identifiers, etc.)."
+                    },
+                    "removed": {
+                      "type": "array",
+                      "items": {
+                        "type": "string"
+                      },
+                      "description": "List of removed items."
+                    },
+                    "modified": {
+                      "type": "array",
+                      "items": {
+                        "type": "string"
+                      },
+                      "description": "List of modified items with a brief description of the change."
+                    },
+                    "summary": {
+                      "type": "string",
+                      "description": "Human-readable one-line diff summary (e.g. '2 nodes added, 1 edge removed, 3 forwards modified')."
+                    }
+                  },
+                  "required": [
+                    "added",
+                    "removed",
+                    "modified",
+                    "summary"
+                  ],
+                  "additionalProperties": false,
+                  "description": "Structured diff between current on-chain state and edited content."
+                },
+                "warnings": {
+                  "type": "array",
+                  "items": {
+                    "type": "object",
+                    "properties": {
+                      "id": {
+                        "type": "string",
+                        "description": "Warning identifier (e.g. 'W-01')."
+                      },
+                      "description": {
+                        "type": "string",
+                        "description": "What the warning is about."
+                      },
+                      "impact": {
+                        "type": "string",
+                        "description": "Potential impact if ignored."
+                      }
+                    },
+                    "required": [
+                      "id",
+                      "description",
+                      "impact"
+                    ],
+                    "additionalProperties": false
+                  },
+                  "description": "Non-blocking warnings (the edit can still proceed, but review is recommended)."
+                },
+                "blocking_errors": {
+                  "type": "array",
+                  "items": {
+                    "type": "object",
+                    "properties": {
+                      "id": {
+                        "type": "string",
+                        "description": "Error identifier (e.g. 'E-01')."
+                      },
+                      "description": {
+                        "type": "string",
+                        "description": "What the error is."
+                      },
+                      "impact": {
+                        "type": "string",
+                        "description": "Why this blocks execution."
+                      }
+                    },
+                    "required": [
+                      "id",
+                      "description",
+                      "impact"
+                    ],
+                    "additionalProperties": false
+                  },
+                  "description": "Blocking errors (the edit CANNOT proceed until these are fixed)."
+                },
+                "can_apply": {
+                  "type": "boolean",
+                  "description": "Whether apply_object_edit can proceed. false if blocking_errors is non-empty."
+                },
+                "prepared_call": {
+                  "anyOf": [
+                    {},
+                    {
+                      "type": "null"
+                    }
+                  ],
+                  "description": "The prepared onchain_operations call data (operation_type + data). null if can_apply=false. Pass this to onchain_operations to execute the edit."
+                },
+                "expires_at": {
+                  "type": "string",
+                  "description": "ISO timestamp when the plan expires (10 minutes from creation). After expiry, apply_object_edit will refuse to proceed."
+                },
+                "summary": {
+                  "type": "string",
+                  "description": "Human-readable one-line plan summary."
+                }
+              },
+              "required": [
+                "action",
+                "plan_id",
+                "object_kind",
+                "object_address",
+                "object_name",
+                "expected_hash",
+                "diff",
+                "warnings",
+                "blocking_errors",
+                "can_apply",
+                "expires_at",
+                "summary"
+              ],
+              "additionalProperties": false
+            },
+            {
+              "type": "object",
+              "properties": {
+                "action": {
+                  "type": "string",
+                  "const": "apply_object_edit"
+                },
+                "plan_id": {
+                  "type": "string",
+                  "description": "The plan ID that was applied."
+                },
+                "applied": {
+                  "type": "boolean",
+                  "description": "Whether the plan was successfully applied (hash matched and plan was fresh)."
+                },
+                "hash_match": {
+                  "type": "boolean",
+                  "description": "Whether the expected_hash matched the stored plan hash. false = stale edit detected."
+                },
+                "prepared_call": {
+                  "anyOf": [
+                    {},
+                    {
+                      "type": "null"
+                    }
+                  ],
+                  "description": "The prepared onchain_operations call data. Pass this to onchain_operations to execute the edit on-chain. null if applied=false."
+                },
+                "error": {
+                  "type": [
+                    "string",
+                    "null"
+                  ],
+                  "description": "Error message if applied=false (e.g. 'Plan not found', 'Hash mismatch — on-chain state changed', 'Plan expired'). null on success."
+                },
+                "next_step": {
+                  "type": "string",
+                  "description": "Instructions for the next step (typically 'Pass prepared_call to onchain_operations to execute the edit on-chain')."
+                }
+              },
+              "required": [
+                "action",
+                "plan_id",
+                "applied",
+                "hash_match",
+                "error",
+                "next_step"
+              ],
+              "additionalProperties": false
+            },
+            {
+              "type": "object",
+              "properties": {
+                "action": {
+                  "type": "string",
+                  "const": "patch_machine_nodes"
+                },
+                "machine_address": {
+                  "type": "string",
+                  "description": "The Machine object address being patched."
+                },
+                "machine_name": {
+                  "type": [
+                    "string",
+                    "null"
+                  ],
+                  "description": "The Machine's local name (from LocalMark) if available."
+                },
+                "operations_applied": {
+                  "type": "number",
+                  "description": "Number of patch operations successfully applied."
+                },
+                "operations_failed": {
+                  "type": "array",
+                  "items": {
+                    "type": "object",
+                    "properties": {
+                      "operation": {
+                        "type": "string",
+                        "description": "The original operation string."
+                      },
+                      "error": {
+                        "type": "string",
+                        "description": "Why the operation failed."
+                      }
+                    },
+                    "required": [
+                      "operation",
+                      "error"
+                    ],
+                    "additionalProperties": false
+                  },
+                  "description": "Operations that failed parse/apply (not applied). Also surfaced as E-OP entries in blocking_errors for schema symmetry with plan_object_edit."
+                },
+                "patched_nodes": {
+                  "type": "array",
+                  "items": {},
+                  "description": "The patched Machine nodes (after applying all successful operations)."
+                },
+                "patched_edges": {
+                  "type": "array",
+                  "items": {},
+                  "description": "The patched Machine edges (after applying all successful operations)."
+                },
+                "diff": {
+                  "type": "object",
+                  "properties": {
+                    "added": {
+                      "type": "array",
+                      "items": {
+                        "type": "string"
+                      },
+                      "description": "List of added items."
+                    },
+                    "removed": {
+                      "type": "array",
+                      "items": {
+                        "type": "string"
+                      },
+                      "description": "List of removed items."
+                    },
+                    "modified": {
+                      "type": "array",
+                      "items": {
+                        "type": "string"
+                      },
+                      "description": "List of modified items."
+                    },
+                    "summary": {
+                      "type": "string",
+                      "description": "Human-readable one-line diff summary."
+                    }
+                  },
+                  "required": [
+                    "added",
+                    "removed",
+                    "modified",
+                    "summary"
+                  ],
+                  "additionalProperties": false,
+                  "description": "Diff between original and patched Machine."
+                },
+                "warnings": {
+                  "type": "array",
+                  "items": {
+                    "type": "object",
+                    "properties": {
+                      "id": {
+                        "type": "string",
+                        "description": "Warning identifier (e.g. 'W-01' unreachable node, 'W-02' self-loop)."
+                      },
+                      "description": {
+                        "type": "string",
+                        "description": "What the warning is about."
+                      },
+                      "impact": {
+                        "type": "string",
+                        "description": "Potential impact if ignored."
+                      }
+                    },
+                    "required": [
+                      "id",
+                      "description",
+                      "impact"
+                    ],
+                    "additionalProperties": false
+                  },
+                  "description": "Non-blocking warnings from validateMachine (W-01 unreachable, W-02 self-loop)."
+                },
+                "blocking_errors": {
+                  "type": "array",
+                  "items": {
+                    "type": "object",
+                    "properties": {
+                      "id": {
+                        "type": "string",
+                        "description": "Error identifier (e.g. 'E-01' no entry forward, 'E-02' orphan endpoint, 'E-03' too many nodes, 'E-OP' operation failed)."
+                      },
+                      "description": {
+                        "type": "string",
+                        "description": "What the error is."
+                      },
+                      "impact": {
+                        "type": "string",
+                        "description": "Why this blocks execution."
+                      }
+                    },
+                    "required": [
+                      "id",
+                      "description",
+                      "impact"
+                    ],
+                    "additionalProperties": false
+                  },
+                  "description": "Blocking errors (operation failures + structural validation). The patch CANNOT proceed until these are fixed. Empty array when can_apply=true."
+                },
+                "can_apply": {
+                  "type": "boolean",
+                  "description": "Whether the patch can be applied on-chain. false if any blocking_errors exist (operation failures or validateMachine blocking errors)."
+                },
+                "prepared_call": {
+                  "anyOf": [
+                    {},
+                    {
+                      "type": "null"
+                    }
+                  ],
+                  "description": "The prepared onchain_operations call data. null if can_apply=false."
+                },
+                "summary": {
+                  "type": "string",
+                  "description": "Human-readable one-line patch summary."
+                }
+              },
+              "required": [
+                "action",
+                "machine_address",
+                "machine_name",
+                "operations_applied",
+                "operations_failed",
+                "patched_nodes",
+                "patched_edges",
+                "diff",
+                "warnings",
+                "blocking_errors",
+                "can_apply",
+                "summary"
+              ],
+              "additionalProperties": false
+            },
+            {
+              "type": "object",
+              "properties": {
+                "action": {
+                  "type": "string",
+                  "const": "patch_guard_tree"
+                },
+                "guard_address": {
+                  "type": "string",
+                  "description": "The Guard object address being patched."
+                },
+                "guard_name": {
+                  "type": [
+                    "string",
+                    "null"
+                  ],
+                  "description": "The Guard's local name (from LocalMark) if available."
+                },
+                "operations_applied": {
+                  "type": "number",
+                  "description": "Number of Guard patch operations successfully applied."
+                },
+                "operations_failed": {
+                  "type": "array",
+                  "items": {
+                    "type": "object",
+                    "properties": {
+                      "operation": {
+                        "type": "string",
+                        "description": "The original operation string."
+                      },
+                      "error": {
+                        "type": "string",
+                        "description": "Why the operation failed."
+                      }
+                    },
+                    "required": [
+                      "operation",
+                      "error"
+                    ],
+                    "additionalProperties": false
+                  },
+                  "description": "Operations that failed parse/apply (not applied). Also surfaced as E-OP entries in blocking_errors."
+                },
+                "patched_root": {
+                  "description": "The patched Guard root node (after applying all successful operations). For set_root, this is the new root; otherwise the original root unchanged."
+                },
+                "patched_table": {
+                  "type": "array",
+                  "items": {},
+                  "description": "The patched Guard table entries (after applying all successful table operations)."
+                },
+                "patched_rely": {
+                  "anyOf": [
+                    {},
+                    {
+                      "type": "null"
+                    }
+                  ],
+                  "description": "The patched rely field (cross-guard composition). null if rely was cleared or never set. Shape: { guards: string[], logic_or?: boolean }."
+                },
+                "diff": {
+                  "type": "object",
+                  "properties": {
+                    "added": {
+                      "type": "array",
+                      "items": {
+                        "type": "string"
+                      },
+                      "description": "List of added items (table entries, tree nodes)."
+                    },
+                    "removed": {
+                      "type": "array",
+                      "items": {
+                        "type": "string"
+                      },
+                      "description": "List of removed items."
+                    },
+                    "modified": {
+                      "type": "array",
+                      "items": {
+                        "type": "string"
+                      },
+                      "description": "List of modified items with a brief description of the change."
+                    },
+                    "summary": {
+                      "type": "string",
+                      "description": "Human-readable one-line diff summary."
+                    }
+                  },
+                  "required": [
+                    "added",
+                    "removed",
+                    "modified",
+                    "summary"
+                  ],
+                  "additionalProperties": false,
+                  "description": "Diff between original and patched Guard (root tree + table)."
+                },
+                "warnings": {
+                  "type": "array",
+                  "items": {
+                    "type": "object",
+                    "properties": {
+                      "id": {
+                        "type": "string",
+                        "description": "Warning identifier (e.g. 'W-01' dead submission slot, 'W-02' orphan table entry, 'W-03' deep nesting)."
+                      },
+                      "description": {
+                        "type": "string",
+                        "description": "What the warning is about."
+                      },
+                      "impact": {
+                        "type": "string",
+                        "description": "Potential impact if ignored."
+                      }
+                    },
+                    "required": [
+                      "id",
+                      "description",
+                      "impact"
+                    ],
+                    "additionalProperties": false
+                  },
+                  "description": "Non-blocking warnings from validateGuard (W-01 dead submission slot, W-02 orphan table entry, W-03 deep nesting > 16)."
+                },
+                "blocking_errors": {
+                  "type": "array",
+                  "items": {
+                    "type": "object",
+                    "properties": {
+                      "id": {
+                        "type": "string",
+                        "description": "Error identifier (e.g. 'E-01' no root, 'E-02' identifier not in table, 'E-03' table too large, 'E-OP' operation failed)."
+                      },
+                      "description": {
+                        "type": "string",
+                        "description": "What the error is."
+                      },
+                      "impact": {
+                        "type": "string",
+                        "description": "Why this blocks execution."
+                      }
+                    },
+                    "required": [
+                      "id",
+                      "description",
+                      "impact"
+                    ],
+                    "additionalProperties": false
+                  },
+                  "description": "Blocking errors (operation failures + structural validation). The patch CANNOT proceed until these are fixed. Empty array when can_apply=true."
+                },
+                "can_apply": {
+                  "type": "boolean",
+                  "description": "Whether the patch can be applied on-chain. false if any blocking_errors exist."
+                },
+                "prepared_call": {
+                  "anyOf": [
+                    {},
+                    {
+                      "type": "null"
+                    }
+                  ],
+                  "description": "The prepared onchain_operations call data (operation_type='guard'). null if can_apply=false."
+                },
+                "summary": {
+                  "type": "string",
+                  "description": "Human-readable one-line patch summary."
+                }
+              },
+              "required": [
+                "action",
+                "guard_address",
+                "guard_name",
+                "operations_applied",
+                "operations_failed",
+                "patched_table",
+                "diff",
+                "warnings",
+                "blocking_errors",
+                "can_apply",
+                "summary"
+              ],
+              "additionalProperties": false
+            },
+            {
+              "type": "object",
+              "properties": {
+                "action": {
+                  "type": "string",
+                  "const": "clone_project_to_network"
+                },
+                "new_project_id": {
+                  "type": "string",
+                  "description": "The newly created project's UUID."
+                },
+                "new_prefix": {
+                  "type": "string",
+                  "description": "New project prefix ('<source_prefix>_<target_network>')."
+                },
+                "target_network": {
+                  "type": "string",
+                  "enum": [
+                    "testnet",
+                    "mainnet"
+                  ],
+                  "description": "The target network the new project is bound to."
+                },
+                "cloned_objects_count": {
+                  "type": "number",
+                  "description": "Number of object metadata entries copied (objectAddress is empty — await on-chain deployment)."
+                },
+                "message": {
+                  "type": "string",
+                  "description": "Human-readable summary of the clone operation."
+                },
+                "next_steps": {
+                  "type": "string",
+                  "description": "Instructions for deploying the cloned objects on the target network."
+                }
+              },
+              "required": [
+                "action",
+                "new_project_id",
+                "new_prefix",
+                "target_network",
+                "cloned_objects_count",
+                "message",
+                "next_steps"
+              ],
+              "additionalProperties": false
+            },
+            {
+              "type": "object",
+              "properties": {
+                "action": {
+                  "type": "string",
+                  "const": "migrate_network"
+                },
+                "new_project_id": {
+                  "type": "string",
+                  "description": "The newly created project's UUID."
+                },
+                "new_prefix": {
+                  "type": "string",
+                  "description": "New project prefix ('<source_prefix>_<target_network>')."
+                },
+                "target_network": {
+                  "type": "string",
+                  "enum": [
+                    "testnet",
+                    "mainnet"
+                  ],
+                  "description": "The target network the new project is bound to."
+                },
+                "cloned_objects_count": {
+                  "type": "number",
+                  "description": "Number of object metadata entries copied (objectAddress is empty — await on-chain deployment)."
+                },
+                "message": {
+                  "type": "string",
+                  "description": "Human-readable summary of the migration operation."
+                },
+                "next_steps": {
+                  "type": "string",
+                  "description": "Instructions for deploying the migrated objects on the target network."
+                }
+              },
+              "required": [
+                "action",
+                "new_project_id",
+                "new_prefix",
+                "target_network",
+                "cloned_objects_count",
+                "message",
+                "next_steps"
+              ],
+              "additionalProperties": false
+            },
+            {
+              "type": "object",
+              "properties": {
+                "action": {
+                  "type": "string",
+                  "const": "migrate_to_mainnet"
+                },
+                "migration_status": {
+                  "type": "string",
+                  "description": "Overall migration status (e.g. 'step_1_complete_steps_2_5_pending_user_action')."
+                },
+                "source_project": {
+                  "type": "object",
+                  "properties": {
+                    "prefix": {
+                      "type": "string"
+                    },
+                    "network": {
+                      "type": "string"
+                    },
+                    "preserved": {
+                      "type": "boolean",
+                      "description": "Whether the source project is preserved unchanged (always true)."
+                    }
+                  },
+                  "required": [
+                    "prefix",
+                    "network",
+                    "preserved"
+                  ],
+                  "additionalProperties": false
+                },
+                "target_project": {
+                  "type": "object",
+                  "properties": {
+                    "prefix": {
+                      "type": "string"
+                    },
+                    "project_id": {
+                      "type": "string"
+                    },
+                    "network": {
+                      "type": "string"
+                    },
+                    "cloned_objects_count": {
+                      "type": "number"
+                    }
+                  },
+                  "required": [
+                    "prefix",
+                    "project_id",
+                    "network",
+                    "cloned_objects_count"
+                  ],
+                  "additionalProperties": false
+                },
+                "key_principle": {
+                  "type": "string",
+                  "description": "Explains that testnet/mainnet are different projects with different addresses for same names."
+                },
+                "migration_plan": {
+                  "type": "array",
+                  "items": {
+                    "type": "object",
+                    "properties": {
+                      "step": {
+                        "type": "number",
+                        "description": "Step number (1-5)."
+                      },
+                      "status": {
+                        "type": "string",
+                        "enum": [
+                          "completed",
+                          "pending_user_action"
+                        ],
+                        "description": "Whether this step is done or awaits user action."
+                      },
+                      "action": {
+                        "type": "string",
+                        "description": "The action to perform (e.g. 'clone_project_to_network', 'onchain_operations', 'local_mark_operation', 'update_project', 'build_graph')."
+                      },
+                      "description": {
+                        "type": "string",
+                        "description": "Human-readable description of what this step does."
+                      },
+                      "result": {
+                        "type": "string",
+                        "description": "Result of this step (only present when status='completed')."
+                      },
+                      "deployment_plan": {
+                        "type": "array",
+                        "items": {
+                          "type": "object",
+                          "properties": {
+                            "order": {
+                              "type": "number"
+                            },
+                            "object_type": {
+                              "type": "string"
+                            },
+                            "object_name": {
+                              "type": "string"
+                            },
+                            "operation_type": {
+                              "type": "string"
+                            },
+                            "localmark_name": {
+                              "type": "string"
+                            },
+                            "note": {
+                              "type": "string"
+                            }
+                          },
+                          "required": [
+                            "order",
+                            "object_type",
+                            "object_name",
+                            "operation_type",
+                            "localmark_name",
+                            "note"
+                          ],
+                          "additionalProperties": false
+                        },
+                        "description": "Deployment plan for step 2 (on-chain deployment). Only present for step 2."
+                      },
+                      "names_to_register": {
+                        "type": "array",
+                        "items": {
+                          "type": "string"
+                        },
+                        "description": "LocalMark names to re-register on mainnet. Only present for step 3."
+                      },
+                      "critical_note": {
+                        "type": "string",
+                        "description": "Critical note for this step."
+                      }
+                    },
+                    "required": [
+                      "step",
+                      "status",
+                      "action",
+                      "description"
+                    ],
+                    "additionalProperties": false
+                  },
+                  "description": "5-step migration plan. Step 1 is completed; steps 2-5 require user action."
+                },
+                "summary": {
+                  "type": "string",
+                  "description": "Human-readable summary of the migration."
+                }
+              },
+              "required": [
+                "action",
+                "migration_status",
+                "source_project",
+                "target_project",
+                "key_principle",
+                "migration_plan",
+                "summary"
               ],
               "additionalProperties": false
             }
           ],
           "description": "Query result — shape depends on action"
+        },
+        "skills_recommended": {
+          "type": "string",
+          "description": "Skills recommendation hint (F-10). Informational only — MCP executes independently of skills. Present when the action benefits from skills' business-semantic guidance (e.g. service/machine/guard/evaluation). Users without skills installed can ignore this field."
         }
       },
       "required": [