@deeeed/metamask-harness 0.18.0 → 0.19.0

package/library/manifests/core.action-manifest.json

@@ -12,6 +12,7 @@
     "index_artifacts",
     "end",
     "call",
+    "switch",
     "app.status"
   ],
   "action_metadata": {
@@ -25,7 +26,28 @@
             "intent": "Run a shell command from the project root"
           }
         }
-      ]
+      ],
+      "schema": {
+        "type": "object",
+        "properties": {
+          "cmd": {
+            "type": "string"
+          },
+          "command": {
+            "type": "string"
+          },
+          "cwd": {
+            "type": "string"
+          },
+          "timeout_ms": {
+            "type": "number"
+          },
+          "allow_failure": {
+            "type": "boolean"
+          }
+        },
+        "additionalProperties": false
+      }
     },
     "wait": {
       "description": "Base wait action.",
@@ -37,7 +59,44 @@
             "intent": "Base wait action"
           }
         }
-      ]
+      ],
+      "schema": {
+        "type": "object",
+        "properties": {
+          "duration_ms": {
+            "type": "integer"
+          },
+          "ms": {
+            "type": "integer"
+          }
+        },
+        "additionalProperties": false
+      }
+    },
+    "switch": {
+      "description": "Choose a graph branch when one resolved string equals another.",
+      "examples": [
+        {
+          "node": {
+            "action": "switch",
+            "value": "{{params.mode}}",
+            "equals": "background_resume",
+            "cases": { "match": "background" },
+            "default": "warm",
+            "intent": "Choose the requested lifecycle preparation path"
+          }
+        }
+      ],
+      "schema": {
+        "type": "object",
+        "properties": {
+          "value": { "type": "string" },
+          "equals": { "type": "string" }
+        },
+        "required": ["value", "equals"],
+        "additionalProperties": false
+      },
+      "result_cases": ["match"]
     },
     "watch_logs": {
       "description": "Base log assertion/capture action.",
@@ -49,7 +108,29 @@
             "intent": "Base log assertion/capture action"
           }
         }
-      ]
+      ],
+      "schema": {
+        "type": "object",
+        "properties": {
+          "path": {
+            "type": "string"
+          },
+          "contains": {
+            "type": "string"
+          },
+          "scope": {
+            "type": "string",
+            "enum": [
+              "run",
+              "file"
+            ]
+          }
+        },
+        "required": [
+          "path"
+        ],
+        "additionalProperties": false
+      }
     },
     "index_artifacts": {
       "description": "Index extra recipe-authored artifacts that already exist on disk.",
@@ -68,7 +149,55 @@
             "intent": "Register a pre-existing report artifact"
           }
         }
-      ]
+      ],
+      "schema": {
+        "type": "object",
+        "properties": {
+          "artifacts": {
+            "type": "array",
+            "items": {
+              "type": [
+                "string",
+                "object"
+              ],
+              "properties": {
+                "path": {
+                  "type": "string"
+                },
+                "type": {
+                  "type": "string"
+                },
+                "label": {
+                  "type": "string"
+                },
+                "nodeId": {
+                  "type": "string"
+                },
+                "mimeType": {
+                  "type": "string"
+                },
+                "category": {
+                  "type": "string"
+                },
+                "proofTarget": {
+                  "type": "string"
+                },
+                "covers": {
+                  "type": "array",
+                  "items": {
+                    "type": "string"
+                  }
+                }
+              },
+              "additionalProperties": false
+            }
+          }
+        },
+        "required": [
+          "artifacts"
+        ],
+        "additionalProperties": false
+      }
     },
     "end": {
       "description": "Base terminal action.",
@@ -92,7 +221,22 @@
             "intent": "Assert that a project file exists and optionally contains text"
           }
         }
-      ]
+      ],
+      "schema": {
+        "type": "object",
+        "properties": {
+          "path": {
+            "type": "string"
+          },
+          "contains": {
+            "type": "string"
+          }
+        },
+        "required": [
+          "path"
+        ],
+        "additionalProperties": false
+      }
     },
     "assert_json": {
       "description": "Assert a JSON file value with a JSONPath-style selector.",
@@ -109,7 +253,69 @@
             "intent": "Assert a JSON file value with a JSONPath-style selector"
           }
         }
-      ]
+      ],
+      "schema": {
+        "type": "object",
+        "properties": {
+          "path": {
+            "type": "string"
+          },
+          "assert": {
+            "type": "object",
+            "properties": {
+              "path": {
+                "type": "string"
+              },
+              "operator": {
+                "type": "string"
+              },
+              "value": {
+                "type": [
+                  "string",
+                  "number",
+                  "integer",
+                  "boolean",
+                  "object",
+                  "array"
+                ],
+                "items": {
+                  "type": [
+                    "string",
+                    "number",
+                    "integer",
+                    "boolean",
+                    "object"
+                  ]
+                }
+              },
+              "all": {
+                "type": "array",
+                "items": {
+                  "type": "object"
+                }
+              },
+              "any": {
+                "type": "array",
+                "items": {
+                  "type": "object"
+                }
+              },
+              "none": {
+                "type": "array",
+                "items": {
+                  "type": "object"
+                }
+              }
+            },
+            "additionalProperties": false
+          }
+        },
+        "required": [
+          "path",
+          "assert"
+        ],
+        "additionalProperties": false
+      }
     },
     "assert_exit_code": {
       "description": "Assert the exit code captured from a command node output.",
@@ -122,7 +328,22 @@
             "intent": "Assert the exit code captured from a command node output"
           }
         }
-      ]
+      ],
+      "schema": {
+        "type": "object",
+        "properties": {
+          "source": {
+            "type": "string"
+          },
+          "node": {
+            "type": "string"
+          },
+          "expected": {
+            "type": "number"
+          }
+        },
+        "additionalProperties": false
+      }
     },
     "assert_output": {
       "description": "Assert stdout or stderr captured from a command node output.",
@@ -136,7 +357,77 @@
             "intent": "Assert stdout or stderr captured from a command node output"
           }
         }
-      ]
+      ],
+      "schema": {
+        "type": "object",
+        "properties": {
+          "source": {
+            "type": "string"
+          },
+          "node": {
+            "type": "string"
+          },
+          "stream": {
+            "type": "string"
+          },
+          "contains": {
+            "type": "string"
+          },
+          "match": {
+            "type": "string"
+          },
+          "assert": {
+            "type": "object",
+            "properties": {
+              "path": {
+                "type": "string"
+              },
+              "operator": {
+                "type": "string"
+              },
+              "value": {
+                "type": [
+                  "string",
+                  "number",
+                  "integer",
+                  "boolean",
+                  "object",
+                  "array"
+                ],
+                "items": {
+                  "type": [
+                    "string",
+                    "number",
+                    "integer",
+                    "boolean",
+                    "object"
+                  ]
+                }
+              },
+              "all": {
+                "type": "array",
+                "items": {
+                  "type": "object"
+                }
+              },
+              "any": {
+                "type": "array",
+                "items": {
+                  "type": "object"
+                }
+              },
+              "none": {
+                "type": "array",
+                "items": {
+                  "type": "object"
+                }
+              }
+            },
+            "additionalProperties": false
+          }
+        },
+        "additionalProperties": false
+      }
     },
     "app.status": {
       "description": "Report the core checkout shape and headless compatibility mode for the perps controller.",
@@ -148,256 +439,21 @@
             "next": "done"
           }
         }
-      ]
+      ],
+      "schema": {
+        "type": "object",
+        "properties": {},
+        "additionalProperties": false
+      }
     },
     "call": {
-      "description": "Invoke a named sub-recipe flow by ref and run its steps inline.",
-      "examples": [
-        {
-          "node": {
-            "action": "call",
-            "ref": "shared/setup",
-            "intent": "Run a shared sub-recipe flow"
-          }
-        }
-      ]
-    },
-    "metamask.wallet.list_accounts": {
-      "description": "List redacted headless fixture accounts available to Core controller actions.",
+      "description": "Invoke a named recipe by ref and run its steps inline.",
       "examples": [
         {
-          "description": "List configured Core accounts",
-          "node": {
-            "action": "metamask.wallet.list_accounts",
-            "intent": "Discover the accounts available to headless controller actions"
-          }
-        }
-      ]
-    },
-    "metamask.perps.read_positions": {
-      "description": "Read live Perps positions directly from the perps controller (HyperLiquid testnet, HTTP read-only) and return the selected subset.",
-      "examples": [
-        {
-          "description": "Read every live position for the configured account",
-          "node": {
-            "action": "metamask.perps.read_positions",
-            "mode": "all",
-            "intent": "Read Perps positions from the headless controller"
-          }
-        }
-      ]
-    },
-    "metamask.perps.read_orders": {
-      "description": "Read live Perps open orders directly from the perps controller (HyperLiquid testnet, HTTP read-only) and return the selected subset.",
-      "examples": [
-        {
-          "description": "Read every live open order for the configured account",
-          "node": {
-            "action": "metamask.perps.read_orders",
-            "mode": "all",
-            "intent": "Read Perps open orders from the headless controller"
-          }
-        }
-      ]
-    },
-    "metamask.perps.read_account": {
-      "description": "Read live Perps account state (balances, margin) directly from the perps controller (HyperLiquid testnet, HTTP read-only).",
-      "examples": [
-        {
-          "description": "Read account state for the configured account",
-          "node": {
-            "action": "metamask.perps.read_account",
-            "intent": "Read Perps account state from the headless controller"
-          }
-        }
-      ]
-    },
-    "metamask.perps.place_order": {
-      "description": "Place a real Perps order on HyperLiquid testnet by driving the headless perps controller placeOrder() through the full signing/provider path. Testnet only Supports market (default) and resting limit orders (order_type=limit with price/offset_pct). The network field in examples is an authoring convention: only start_state/teardown_state enforce the network (ensureNetwork); the mutation handlers themselves do not read it.",
-      "examples": [
-        {
-          "description": "Place a small BTC long market order on testnet",
-          "node": {
-            "action": "metamask.perps.place_order",
-            "market": "BTC",
-            "side": "long",
-            "notional": "11",
-            "leverage": 2,
-            "intent": "Place the requested Perps order via the headless controller",
-            "network": "testnet"
-          }
-        },
-        {
-          "description": "Place a resting BTC limit BUY 30%% below mid on testnet (does not fill)",
-          "node": {
-            "action": "metamask.perps.place_order",
-            "market": "BTC",
-            "side": "long",
-            "order_type": "limit",
-            "offset_pct": -30,
-            "notional": "11",
-            "leverage": 2,
-            "intent": "Place a resting Perps limit order via the headless controller",
-            "network": "testnet"
-          }
-        }
-      ]
-    },
-    "metamask.perps.close_positions": {
-      "description": "Close selected live Perps positions on HyperLiquid testnet by driving the headless perps controller closePosition() through the full signing/provider path. Testnet only. The network field in examples is an authoring convention: only start_state/teardown_state enforce the network (ensureNetwork); the mutation handlers themselves do not read it.",
-      "examples": [
-        {
-          "description": "Close the BTC position on testnet",
-          "node": {
-            "action": "metamask.perps.close_positions",
-            "market": "BTC",
-            "intent": "Close selected Perps positions via the headless controller",
-            "network": "testnet"
-          }
-        }
-      ]
-    },
-    "metamask.perps.assert_positions": {
-      "description": "Assert selected live Perps positions are present or absent via the headless controller standalone read path. Throws on mismatch.",
-      "examples": [
-        {
-          "description": "Assert BTC position is open",
-          "node": {
-            "action": "metamask.perps.assert_positions",
-            "state": "open",
-            "market": "BTC",
-            "intent": "Assert the expected Perps position state via the headless controller"
-          }
-        }
-      ]
-    },
-    "metamask.perps.ensure_positions": {
-      "description": "Higher-level wrapper that reads selected positions, places or closes via the headless controller as needed, then asserts the final position state. Testnet only. The network field in examples is an authoring convention: only start_state/teardown_state enforce the network (ensureNetwork); the mutation handlers themselves do not read it.",
-      "examples": [
-        {
-          "description": "Ensure no BTC position before the proof window",
-          "node": {
-            "action": "metamask.perps.ensure_positions",
-            "state": "none",
-            "market": "BTC",
-            "intent": "Converge Perps positions to the requested state via the headless controller",
-            "network": "testnet"
-          }
-        }
-      ]
-    },
-    "metamask.perps.close_orders": {
-      "description": "Default to testnet for Perps mutations; mainnet is read-only unless explicitly requested. Cancel selected live Perps open orders. Use selector/mode params to cancel matching symbols or all orders. The network field in examples is an authoring convention: only start_state/teardown_state enforce the network (ensureNetwork); the mutation handlers themselves do not read it.",
-      "examples": [
-        {
-          "description": "Cancel every open order",
-          "node": {
-            "action": "metamask.perps.close_orders",
-            "mode": "all",
-            "intent": "Cancel selected Perps orders before continuing",
-            "network": "testnet"
-          }
-        },
-        {
-          "description": "Cancel BTC orders only",
-          "node": {
-            "action": "metamask.perps.close_orders",
-            "market": "BTC",
-            "intent": "Cancel selected Perps orders before continuing",
-            "network": "testnet"
-          }
-        }
-      ]
-    },
-    "metamask.perps.assert_orders": {
-      "description": "Assert selected live Perps open orders are present or absent.",
-      "examples": [
-        {
-          "description": "Assert no BTC open orders",
-          "node": {
-            "action": "metamask.perps.assert_orders",
-            "state": "none",
-            "market": "BTC",
-            "intent": "Assert the expected Perps open order state"
-          }
-        }
-      ]
-    },
-    "metamask.perps.ensure_orders": {
-      "description": "Default to testnet for Perps mutations; mainnet is read-only unless explicitly requested.Higher-level wrapper that reads selected orders, cancels when needed, then asserts final order state. The network field in examples is an authoring convention: only start_state/teardown_state enforce the network (ensureNetwork); the mutation handlers themselves do not read it.",
-      "examples": [
-        {
-          "description": "Ensure no open orders before proof window",
-          "node": {
-            "action": "metamask.perps.ensure_orders",
-            "state": "none",
-            "mode": "all",
-            "intent": "Converge Perps orders to the requested state",
-            "network": "testnet"
-          }
-        }
-      ]
-    },
-    "metamask.perps.start_state": {
-      "description": "Default to testnet for Perps mutations; mainnet is read-only unless explicitly requested.Recommended configurable Perps start state that composes reusable domain operations before the proof window. Headless: converges POSITION and ORDER baselines on testnet via the controller; no navigation/page/HUD.",
-      "examples": [
-        {
-          "description": "Clean BTC testnet market state",
-          "node": {
-            "action": "metamask.perps.start_state",
-            "profile": "clean_market_testnet",
-            "market": "BTC",
-            "positions": {
-              "state": "none"
-            },
-            "orders": {
-              "state": "none"
-            },
-            "intent": "Prepare the Perps start state for the proof",
-            "network": "testnet"
-          }
-        },
-        {
-          "description": "Start with an open ETH long position",
-          "node": {
-            "action": "metamask.perps.start_state",
-            "profile": "open_position_testnet",
-            "market": "ETH",
-            "side": "long",
-            "positions": {
-              "state": "open",
-              "notional": "10",
-              "leverage": 2
-            },
-            "intent": "Prepare the Perps start state for the proof",
-            "network": "testnet"
-          }
-        }
-      ]
-    },
-    "metamask.perps.teardown_state": {
-      "description": "Recommended configurable Perps teardown state that restores the selected environment after proof. Headless: converges POSITION and ORDER baselines on testnet via the controller; no navigation/page/HUD.",
-      "examples": [
-        {
-          "description": "Return BTC test account to clean state",
-          "node": {
-            "action": "metamask.perps.teardown_state",
-            "market": "BTC",
-            "positions": {
-              "state": "none"
-            },
-            "orders": {
-              "state": "none"
-            },
-            "intent": "Restore Perps state after the proof"
-          }
-        },
-        {
-          "description": "Teardown only state created by selected market",
           "node": {
-            "action": "metamask.perps.teardown_state",
-            "market": "BTC",
-            "intent": "Restore Perps state after the proof"
+            "action": "call",
+            "ref": "shared/setup",
+            "intent": "Run a shared recipe"
           }
         }
       ]
@@ -411,11 +467,9 @@
       "schema": {
         "type": "object",
         "properties": {
-          "action": {
-            "const": "metamask.wallet.list_accounts"
-          },
           "scope": {
             "type": "string",
+            "default": "named",
             "enum": [
               "selected",
               "named",
@@ -426,6 +480,7 @@
           },
           "account": {
             "type": "string",
+            "default": "dev1",
             "description": "Optional account name to mark as selected for the next controller operation; defaults to dev1."
           },
           "account_name": {
@@ -433,9 +488,7 @@
             "description": "Alias for account."
           }
         },
-        "required": [
-          "action"
-        ]
+        "additionalProperties": false
       },
       "examples": [
         {
@@ -447,18 +500,16 @@
         }
       ],
       "proof_effect": "Records the redacted addresses derived from the same wallet fixture used by headless controller actions.",
-      "safety_notes": "Read-only fixture metadata; must never return private keys, mnemonics, passwords, or vault data."
+      "safety_notes": "Read-only fixture metadata; must never return private keys, mnemonics, passwords, or vault data.",
+      "execution_capabilities": []
     },
     {
       "name": "metamask.perps.read_positions",
       "owner": "metamask",
-      "description": "core Read live Perps positions directly from the perps controller (HyperLiquid testnet, HTTP read-only) and return the selected subset.",
+      "description": "core Read live Perps positions directly from the Perps controller; without a selector, return all live positions.",
       "schema": {
         "type": "object",
         "properties": {
-          "action": {
-            "const": "metamask.perps.read_positions"
-          },
           "market": {
             "type": "string",
             "description": "Single market symbol, e.g. BTC or ETH. Alias: symbol."
@@ -491,7 +542,41 @@
           },
           "selector": {
             "type": "object",
-            "description": "Optional structured selector with mode, symbols/markets, and side."
+            "properties": {
+              "mode": {
+                "type": "string",
+                "enum": [
+                  "matching",
+                  "all"
+                ]
+              },
+              "market": {
+                "type": "string"
+              },
+              "symbol": {
+                "type": "string"
+              },
+              "markets": {
+                "type": "array",
+                "items": {
+                  "type": "string"
+                }
+              },
+              "symbols": {
+                "type": "array",
+                "items": {
+                  "type": "string"
+                }
+              },
+              "side": {
+                "type": "string",
+                "enum": [
+                  "long",
+                  "short"
+                ]
+              }
+            },
+            "additionalProperties": false
           },
           "side": {
             "type": "string",
@@ -509,9 +594,7 @@
             "type": "number"
           }
         },
-        "required": [
-          "action"
-        ]
+        "additionalProperties": false
       },
       "examples": [
         {
@@ -524,18 +607,16 @@
         }
       ],
       "proof_effect": "E2E validation must record this action in trace.json; live-proof actions include liveAdapter/proofPath or controller output.",
-      "safety_notes": "Read-only HyperLiquid testnet HTTP query; must not inject controller/UI state to fabricate proof."
+      "safety_notes": "Read-only HyperLiquid testnet HTTP query; must not inject controller/UI state to fabricate proof.",
+      "execution_capabilities": []
     },
     {
       "name": "metamask.perps.read_orders",
       "owner": "metamask",
-      "description": "core Read live Perps open orders directly from the perps controller (HyperLiquid testnet, HTTP read-only) and return the selected subset.",
+      "description": "core Read live Perps open orders directly from the Perps controller; without a selector, return all live orders.",
       "schema": {
         "type": "object",
         "properties": {
-          "action": {
-            "const": "metamask.perps.read_orders"
-          },
           "market": {
             "type": "string",
             "description": "Single market symbol, e.g. BTC or ETH. Alias: symbol."
@@ -568,7 +649,41 @@
           },
           "selector": {
             "type": "object",
-            "description": "Optional structured selector with mode, symbols/markets, and side."
+            "properties": {
+              "mode": {
+                "type": "string",
+                "enum": [
+                  "matching",
+                  "all"
+                ]
+              },
+              "market": {
+                "type": "string"
+              },
+              "symbol": {
+                "type": "string"
+              },
+              "markets": {
+                "type": "array",
+                "items": {
+                  "type": "string"
+                }
+              },
+              "symbols": {
+                "type": "array",
+                "items": {
+                  "type": "string"
+                }
+              },
+              "side": {
+                "type": "string",
+                "enum": [
+                  "long",
+                  "short"
+                ]
+              }
+            },
+            "additionalProperties": false
           },
           "side": {
             "type": "string",
@@ -586,9 +701,7 @@
             "type": "number"
           }
         },
-        "required": [
-          "action"
-        ]
+        "additionalProperties": false
       },
       "examples": [
         {
@@ -601,7 +714,8 @@
         }
       ],
       "proof_effect": "E2E validation must record this action in trace.json; live-proof actions include liveAdapter/proofPath or controller output.",
-      "safety_notes": "Read-only HyperLiquid testnet HTTP query; must not inject controller/UI state to fabricate proof."
+      "safety_notes": "Read-only HyperLiquid testnet HTTP query; must not inject controller/UI state to fabricate proof.",
+      "execution_capabilities": []
     },
     {
       "name": "metamask.perps.read_account",
@@ -610,9 +724,6 @@
       "schema": {
         "type": "object",
         "properties": {
-          "action": {
-            "const": "metamask.perps.read_account"
-          },
           "account": {
             "type": "string",
             "description": "EVM address to read account state for; defaults to the canonical wallet fixture account."
@@ -621,9 +732,7 @@
             "type": "number"
           }
         },
-        "required": [
-          "action"
-        ]
+        "additionalProperties": false
       },
       "examples": [
         {
@@ -635,7 +744,8 @@
         }
       ],
       "proof_effect": "E2E validation must record this action in trace.json; live-proof actions include liveAdapter/proofPath or controller output.",
-      "safety_notes": "Read-only HyperLiquid testnet HTTP query; must not inject controller/UI state to fabricate proof."
+      "safety_notes": "Read-only HyperLiquid testnet HTTP query; must not inject controller/UI state to fabricate proof.",
+      "execution_capabilities": []
     },
     {
       "name": "metamask.perps.place_order",
@@ -644,9 +754,6 @@
       "schema": {
         "type": "object",
         "properties": {
-          "action": {
-            "const": "metamask.perps.place_order"
-          },
           "market": {
             "type": "string",
             "description": "Single market symbol, e.g. BTC or ETH. Alias: symbol."
@@ -671,7 +778,41 @@
           },
           "selector": {
             "type": "object",
-            "description": "Optional structured selector with mode, symbols/markets, and side."
+            "properties": {
+              "mode": {
+                "type": "string",
+                "enum": [
+                  "matching",
+                  "all"
+                ]
+              },
+              "market": {
+                "type": "string"
+              },
+              "symbol": {
+                "type": "string"
+              },
+              "markets": {
+                "type": "array",
+                "items": {
+                  "type": "string"
+                }
+              },
+              "symbols": {
+                "type": "array",
+                "items": {
+                  "type": "string"
+                }
+              },
+              "side": {
+                "type": "string",
+                "enum": [
+                  "long",
+                  "short"
+                ]
+              }
+            },
+            "additionalProperties": false
           },
           "side": {
             "type": "string",
@@ -706,7 +847,8 @@
             "description": "USD notional alias."
           },
           "leverage": {
-            "type": "number"
+            "type": "number",
+            "default": 3
           },
           "account": {
             "type": "string",
@@ -716,9 +858,7 @@
             "type": "number"
           }
         },
-        "required": [
-          "action"
-        ]
+        "additionalProperties": false
       },
       "examples": [
         {
@@ -729,8 +869,7 @@
             "side": "long",
             "notional": "11",
             "leverage": 2,
-            "intent": "Place the requested Perps order via the headless controller",
-            "network": "testnet"
+            "intent": "Place the requested Perps order via the headless controller"
           }
         },
         {
@@ -743,13 +882,16 @@
             "offset_pct": -30,
             "notional": "11",
             "leverage": 2,
-            "intent": "Place a resting Perps limit order via the headless controller",
-            "network": "testnet"
+            "intent": "Place a resting Perps limit order via the headless controller"
           }
         }
       ],
       "proof_effect": "E2E validation must record this action in trace.json; live-proof actions include liveAdapter/proofPath or controller output (order id, opened position).",
-      "safety_notes": "Submits a REAL signed order to HyperLiquid testnet; must not mock the signer/provider or inject controller state to fabricate proof."
+      "safety_notes": "Submits a REAL signed order to HyperLiquid testnet; must not mock the signer/provider or inject controller state to fabricate proof.",
+      "execution_capabilities": [
+        "app-mutation",
+        "external-mutation"
+      ]
     },
     {
       "name": "metamask.perps.close_positions",
@@ -758,9 +900,6 @@
       "schema": {
         "type": "object",
         "properties": {
-          "action": {
-            "const": "metamask.perps.close_positions"
-          },
           "market": {
             "type": "string",
             "description": "Single market symbol, e.g. BTC or ETH. Alias: symbol."
@@ -793,7 +932,41 @@
           },
           "selector": {
             "type": "object",
-            "description": "Optional structured selector with mode, symbols/markets, and side."
+            "properties": {
+              "mode": {
+                "type": "string",
+                "enum": [
+                  "matching",
+                  "all"
+                ]
+              },
+              "market": {
+                "type": "string"
+              },
+              "symbol": {
+                "type": "string"
+              },
+              "markets": {
+                "type": "array",
+                "items": {
+                  "type": "string"
+                }
+              },
+              "symbols": {
+                "type": "array",
+                "items": {
+                  "type": "string"
+                }
+              },
+              "side": {
+                "type": "string",
+                "enum": [
+                  "long",
+                  "short"
+                ]
+              }
+            },
+            "additionalProperties": false
           },
           "side": {
             "type": "string",
@@ -811,9 +984,7 @@
             "type": "number"
           }
         },
-        "required": [
-          "action"
-        ]
+        "additionalProperties": false
       },
       "examples": [
         {
@@ -821,24 +992,24 @@
           "node": {
             "action": "metamask.perps.close_positions",
             "market": "BTC",
-            "intent": "Close selected Perps positions via the headless controller",
-            "network": "testnet"
+            "intent": "Close selected Perps positions via the headless controller"
           }
         }
       ],
       "proof_effect": "E2E validation must record this action in trace.json; live-proof actions include liveAdapter/proofPath or controller output (positions absent after close).",
-      "safety_notes": "Submits REAL signed close orders to HyperLiquid testnet; must not mock the signer/provider or inject controller state to fabricate proof."
+      "safety_notes": "Submits REAL signed close orders to HyperLiquid testnet; must not mock the signer/provider or inject controller state to fabricate proof.",
+      "execution_capabilities": [
+        "app-mutation",
+        "external-mutation"
+      ]
     },
     {
       "name": "metamask.perps.assert_positions",
       "owner": "metamask",
-      "description": "core Assert selected live Perps positions are present or absent via the headless controller standalone read path. Throws on mismatch.",
+      "description": "core Assert live Perps positions are present or absent for an explicit market selection or mode=all.",
       "schema": {
         "type": "object",
         "properties": {
-          "action": {
-            "const": "metamask.perps.assert_positions"
-          },
           "market": {
             "type": "string",
             "description": "Single market symbol, e.g. BTC or ETH. Alias: symbol."
@@ -871,7 +1042,41 @@
           },
           "selector": {
             "type": "object",
-            "description": "Optional structured selector with mode, symbols/markets, and side."
+            "properties": {
+              "mode": {
+                "type": "string",
+                "enum": [
+                  "matching",
+                  "all"
+                ]
+              },
+              "market": {
+                "type": "string"
+              },
+              "symbol": {
+                "type": "string"
+              },
+              "markets": {
+                "type": "array",
+                "items": {
+                  "type": "string"
+                }
+              },
+              "symbols": {
+                "type": "array",
+                "items": {
+                  "type": "string"
+                }
+              },
+              "side": {
+                "type": "string",
+                "enum": [
+                  "long",
+                  "short"
+                ]
+              }
+            },
+            "additionalProperties": false
           },
           "side": {
             "type": "string",
@@ -901,8 +1106,9 @@
           }
         },
         "required": [
-          "action"
-        ]
+          "state"
+        ],
+        "additionalProperties": false
       },
       "examples": [
         {
@@ -916,7 +1122,8 @@
         }
       ],
       "proof_effect": "E2E validation must record this action in trace.json; live-proof actions include liveAdapter/proofPath or controller output.",
-      "safety_notes": "Read-only HyperLiquid testnet HTTP query; must not inject controller state to fabricate proof."
+      "safety_notes": "Read-only HyperLiquid testnet HTTP query; must not inject controller state to fabricate proof.",
+      "execution_capabilities": []
     },
     {
       "name": "metamask.perps.ensure_positions",
@@ -925,9 +1132,6 @@
       "schema": {
         "type": "object",
         "properties": {
-          "action": {
-            "const": "metamask.perps.ensure_positions"
-          },
           "market": {
             "type": "string",
             "description": "Single market symbol, e.g. BTC or ETH. Alias: symbol."
@@ -960,7 +1164,41 @@
           },
           "selector": {
             "type": "object",
-            "description": "Optional structured selector with mode, symbols/markets, and side."
+            "properties": {
+              "mode": {
+                "type": "string",
+                "enum": [
+                  "matching",
+                  "all"
+                ]
+              },
+              "market": {
+                "type": "string"
+              },
+              "symbol": {
+                "type": "string"
+              },
+              "markets": {
+                "type": "array",
+                "items": {
+                  "type": "string"
+                }
+              },
+              "symbols": {
+                "type": "array",
+                "items": {
+                  "type": "string"
+                }
+              },
+              "side": {
+                "type": "string",
+                "enum": [
+                  "long",
+                  "short"
+                ]
+              }
+            },
+            "additionalProperties": false
           },
           "side": {
             "type": "string",
@@ -1001,8 +1239,9 @@
           }
         },
         "required": [
-          "action"
-        ]
+          "state"
+        ],
+        "additionalProperties": false
       },
       "examples": [
         {
@@ -1011,13 +1250,16 @@
             "action": "metamask.perps.ensure_positions",
             "state": "none",
             "market": "BTC",
-            "intent": "Converge Perps positions to the requested state via the headless controller",
-            "network": "testnet"
+            "intent": "Converge Perps positions to the requested state via the headless controller"
           }
         }
       ],
       "proof_effect": "E2E validation must record this action in trace.json; live-proof actions include liveAdapter/proofPath or controller output.",
-      "safety_notes": "May submit REAL signed orders to HyperLiquid testnet; must not mock the signer/provider or inject controller state to fabricate proof."
+      "safety_notes": "May submit REAL signed orders to HyperLiquid testnet; must not mock the signer/provider or inject controller state to fabricate proof.",
+      "execution_capabilities": [
+        "app-mutation",
+        "external-mutation"
+      ]
     },
     {
       "name": "metamask.perps.close_orders",
@@ -1026,9 +1268,6 @@
       "schema": {
         "type": "object",
         "properties": {
-          "action": {
-            "const": "metamask.perps.close_orders"
-          },
           "market": {
             "type": "string",
             "description": "Single market symbol, e.g. BTC or ETH. Alias: symbol."
@@ -1061,7 +1300,41 @@
           },
           "selector": {
             "type": "object",
-            "description": "Optional structured selector with mode, symbols/markets, and side."
+            "properties": {
+              "mode": {
+                "type": "string",
+                "enum": [
+                  "matching",
+                  "all"
+                ]
+              },
+              "market": {
+                "type": "string"
+              },
+              "symbol": {
+                "type": "string"
+              },
+              "markets": {
+                "type": "array",
+                "items": {
+                  "type": "string"
+                }
+              },
+              "symbols": {
+                "type": "array",
+                "items": {
+                  "type": "string"
+                }
+              },
+              "side": {
+                "type": "string",
+                "enum": [
+                  "long",
+                  "short"
+                ]
+              }
+            },
+            "additionalProperties": false
           },
           "side": {
             "type": "string",
@@ -1075,9 +1348,7 @@
             "type": "number"
           }
         },
-        "required": [
-          "action"
-        ]
+        "additionalProperties": false
       },
       "examples": [
         {
@@ -1085,8 +1356,7 @@
           "node": {
             "action": "metamask.perps.close_orders",
             "mode": "all",
-            "intent": "Cancel selected Perps orders before continuing",
-            "network": "testnet"
+            "intent": "Cancel selected Perps orders before continuing"
           }
         },
         {
@@ -1094,24 +1364,24 @@
           "node": {
             "action": "metamask.perps.close_orders",
             "market": "BTC",
-            "intent": "Cancel selected Perps orders before continuing",
-            "network": "testnet"
+            "intent": "Cancel selected Perps orders before continuing"
           }
         }
       ],
       "proof_effect": "E2E validation must record this action in trace.json; live-proof actions include liveAdapter/proofPath or target runtime output.",
-      "safety_notes": "Must not inject mid-recipe UI/app state to fabricate proof."
+      "safety_notes": "Must not inject mid-recipe UI/app state to fabricate proof.",
+      "execution_capabilities": [
+        "app-mutation",
+        "external-mutation"
+      ]
     },
     {
       "name": "metamask.perps.assert_orders",
       "owner": "metamask",
-      "description": "core Assert selected live Perps open orders are present or absent.",
+      "description": "core Assert live Perps open orders are present or absent for an explicit market selection or mode=all.",
       "schema": {
         "type": "object",
         "properties": {
-          "action": {
-            "const": "metamask.perps.assert_orders"
-          },
           "market": {
             "type": "string",
             "description": "Single market symbol, e.g. BTC or ETH. Alias: symbol."
@@ -1144,7 +1414,41 @@
           },
           "selector": {
             "type": "object",
-            "description": "Optional structured selector with mode, symbols/markets, and side."
+            "properties": {
+              "mode": {
+                "type": "string",
+                "enum": [
+                  "matching",
+                  "all"
+                ]
+              },
+              "market": {
+                "type": "string"
+              },
+              "symbol": {
+                "type": "string"
+              },
+              "markets": {
+                "type": "array",
+                "items": {
+                  "type": "string"
+                }
+              },
+              "symbols": {
+                "type": "array",
+                "items": {
+                  "type": "string"
+                }
+              },
+              "side": {
+                "type": "string",
+                "enum": [
+                  "long",
+                  "short"
+                ]
+              }
+            },
+            "additionalProperties": false
           },
           "side": {
             "type": "string",
@@ -1170,8 +1474,9 @@
           }
         },
         "required": [
-          "action"
-        ]
+          "state"
+        ],
+        "additionalProperties": false
       },
       "examples": [
         {
@@ -1185,7 +1490,8 @@
         }
       ],
       "proof_effect": "E2E validation must record this action in trace.json; live-proof actions include liveAdapter/proofPath or target runtime output.",
-      "safety_notes": "Must not inject mid-recipe UI/app state to fabricate proof."
+      "safety_notes": "Must not inject mid-recipe UI/app state to fabricate proof.",
+      "execution_capabilities": []
     },
     {
       "name": "metamask.perps.ensure_orders",
@@ -1194,9 +1500,6 @@
       "schema": {
         "type": "object",
         "properties": {
-          "action": {
-            "const": "metamask.perps.ensure_orders"
-          },
           "market": {
             "type": "string",
             "description": "Single market symbol, e.g. BTC or ETH. Alias: symbol."
@@ -1229,7 +1532,41 @@
           },
           "selector": {
             "type": "object",
-            "description": "Optional structured selector with mode, symbols/markets, and side."
+            "properties": {
+              "mode": {
+                "type": "string",
+                "enum": [
+                  "matching",
+                  "all"
+                ]
+              },
+              "market": {
+                "type": "string"
+              },
+              "symbol": {
+                "type": "string"
+              },
+              "markets": {
+                "type": "array",
+                "items": {
+                  "type": "string"
+                }
+              },
+              "symbols": {
+                "type": "array",
+                "items": {
+                  "type": "string"
+                }
+              },
+              "side": {
+                "type": "string",
+                "enum": [
+                  "long",
+                  "short"
+                ]
+              }
+            },
+            "additionalProperties": false
           },
           "side": {
             "type": "string",
@@ -1255,8 +1592,9 @@
           }
         },
         "required": [
-          "action"
-        ]
+          "state"
+        ],
+        "additionalProperties": false
       },
       "examples": [
         {
@@ -1265,13 +1603,16 @@
             "action": "metamask.perps.ensure_orders",
             "state": "none",
             "mode": "all",
-            "intent": "Converge Perps orders to the requested state",
-            "network": "testnet"
+            "intent": "Converge Perps orders to the requested state"
           }
         }
       ],
       "proof_effect": "E2E validation must record this action in trace.json; live-proof actions include liveAdapter/proofPath or target runtime output.",
-      "safety_notes": "Must not inject mid-recipe UI/app state to fabricate proof."
+      "safety_notes": "Must not inject mid-recipe UI/app state to fabricate proof.",
+      "execution_capabilities": [
+        "app-mutation",
+        "external-mutation"
+      ]
     },
     {
       "name": "metamask.perps.start_state",
@@ -1280,9 +1621,6 @@
       "schema": {
         "type": "object",
         "properties": {
-          "action": {
-            "const": "metamask.perps.start_state"
-          },
           "profile": {
             "type": "string",
             "description": "Optional profile such as clean_market_testnet, open_position_testnet, open_order_testnet, or provider_mainnet_readonly."
@@ -1320,34 +1658,249 @@
             }
           },
           "positions": {
-            "oneOf": [
-              {
-                "type": "object"
+            "type": [
+              "object",
+              "boolean"
+            ],
+            "properties": {
+              "mode": {
+                "type": "string",
+                "enum": [
+                  "matching",
+                  "all"
+                ]
               },
-              {
-                "const": false
+              "market": {
+                "type": "string"
+              },
+              "symbol": {
+                "type": "string"
+              },
+              "markets": {
+                "type": "array",
+                "items": {
+                  "type": "string"
+                }
+              },
+              "symbols": {
+                "type": "array",
+                "items": {
+                  "type": "string"
+                }
+              },
+              "side": {
+                "type": "string",
+                "enum": [
+                  "long",
+                  "short"
+                ]
+              },
+              "state": {
+                "type": "string",
+                "enum": [
+                  "none",
+                  "closed",
+                  "absent",
+                  "open",
+                  "present"
+                ]
+              },
+              "amount": {
+                "type": [
+                  "string",
+                  "number"
+                ]
+              },
+              "notional": {
+                "type": [
+                  "string",
+                  "number"
+                ]
+              },
+              "size": {
+                "type": [
+                  "string",
+                  "number"
+                ]
+              },
+              "leverage": {
+                "type": "number"
+              },
+              "order_type": {
+                "type": "string"
+              },
+              "orderType": {
+                "type": "string"
+              },
+              "limit_price": {
+                "type": "number"
+              },
+              "limitPrice": {
+                "type": "number"
+              },
+              "offset_pct": {
+                "type": "number"
+              },
+              "offsetPct": {
+                "type": "number"
+              },
+              "current_price": {
+                "type": "number"
+              },
+              "currentPrice": {
+                "type": "number"
+              },
+              "max_slippage_bps": {
+                "type": "number"
+              },
+              "maxSlippageBps": {
+                "type": "number"
+              },
+              "close_attempts": {
+                "type": "integer"
+              },
+              "close_retry_delay_ms": {
+                "type": "integer"
+              },
+              "timeout_ms": {
+                "type": "number"
               }
-            ],
-            "description": "Desired position baseline or false to skip."
+            },
+            "additionalProperties": false
           },
           "orders": {
-            "oneOf": [
-              {
-                "type": "object"
+            "type": [
+              "object",
+              "boolean"
+            ],
+            "properties": {
+              "mode": {
+                "type": "string",
+                "enum": [
+                  "matching",
+                  "all"
+                ]
               },
-              {
-                "const": false
+              "market": {
+                "type": "string"
+              },
+              "symbol": {
+                "type": "string"
+              },
+              "markets": {
+                "type": "array",
+                "items": {
+                  "type": "string"
+                }
+              },
+              "symbols": {
+                "type": "array",
+                "items": {
+                  "type": "string"
+                }
+              },
+              "side": {
+                "type": "string",
+                "enum": [
+                  "long",
+                  "short"
+                ]
+              },
+              "state": {
+                "type": "string",
+                "enum": [
+                  "none",
+                  "closed",
+                  "absent",
+                  "open",
+                  "present"
+                ]
+              },
+              "amount": {
+                "type": [
+                  "string",
+                  "number"
+                ]
+              },
+              "notional": {
+                "type": [
+                  "string",
+                  "number"
+                ]
+              },
+              "size": {
+                "type": [
+                  "string",
+                  "number"
+                ]
+              },
+              "leverage": {
+                "type": "number"
+              },
+              "order_type": {
+                "type": "string"
+              },
+              "orderType": {
+                "type": "string"
+              },
+              "limit_price": {
+                "type": "number"
+              },
+              "limitPrice": {
+                "type": "number"
+              },
+              "offset_pct": {
+                "type": "number"
+              },
+              "offsetPct": {
+                "type": "number"
+              },
+              "current_price": {
+                "type": "number"
+              },
+              "currentPrice": {
+                "type": "number"
+              },
+              "max_slippage_bps": {
+                "type": "number"
+              },
+              "maxSlippageBps": {
+                "type": "number"
+              },
+              "close_attempts": {
+                "type": "integer"
+              },
+              "close_retry_delay_ms": {
+                "type": "integer"
+              },
+              "timeout_ms": {
+                "type": "number"
               }
-            ],
-            "description": "Desired open-order baseline or false to skip."
+            },
+            "additionalProperties": false
           },
           "timeout_ms": {
             "type": "number"
+          },
+          "side": {
+            "type": "string",
+            "enum": [
+              "long",
+              "short"
+            ]
+          },
+          "account_name": {
+            "type": "string"
+          },
+          "mode": {
+            "type": "string",
+            "enum": [
+              "matching",
+              "all"
+            ]
           }
         },
-        "required": [
-          "action"
-        ]
+        "additionalProperties": false
       },
       "examples": [
         {
@@ -1384,7 +1937,11 @@
         }
       ],
       "proof_effect": "Runs in setup/teardown phase and must be visible in trace.json; proof videos can keep this as trace-only setup.",
-      "safety_notes": "Composes supported app/API paths and must not mutate React/Redux/MobX/DOM/local storage to fabricate proof."
+      "safety_notes": "Composes supported app/API paths and must not mutate React/Redux/MobX/DOM/local storage to fabricate proof.",
+      "execution_capabilities": [
+        "app-mutation",
+        "external-mutation"
+      ]
     },
     {
       "name": "metamask.perps.teardown_state",
@@ -1393,9 +1950,6 @@
       "schema": {
         "type": "object",
         "properties": {
-          "action": {
-            "const": "metamask.perps.teardown_state"
-          },
           "profile": {
             "type": "string",
             "description": "Optional profile such as clean_market_testnet, open_position_testnet, open_order_testnet, or provider_mainnet_readonly."
@@ -1433,34 +1987,249 @@
             }
           },
           "positions": {
-            "oneOf": [
-              {
-                "type": "object"
+            "type": [
+              "object",
+              "boolean"
+            ],
+            "properties": {
+              "mode": {
+                "type": "string",
+                "enum": [
+                  "matching",
+                  "all"
+                ]
               },
-              {
-                "const": false
+              "market": {
+                "type": "string"
+              },
+              "symbol": {
+                "type": "string"
+              },
+              "markets": {
+                "type": "array",
+                "items": {
+                  "type": "string"
+                }
+              },
+              "symbols": {
+                "type": "array",
+                "items": {
+                  "type": "string"
+                }
+              },
+              "side": {
+                "type": "string",
+                "enum": [
+                  "long",
+                  "short"
+                ]
+              },
+              "state": {
+                "type": "string",
+                "enum": [
+                  "none",
+                  "closed",
+                  "absent",
+                  "open",
+                  "present"
+                ]
+              },
+              "amount": {
+                "type": [
+                  "string",
+                  "number"
+                ]
+              },
+              "notional": {
+                "type": [
+                  "string",
+                  "number"
+                ]
+              },
+              "size": {
+                "type": [
+                  "string",
+                  "number"
+                ]
+              },
+              "leverage": {
+                "type": "number"
+              },
+              "order_type": {
+                "type": "string"
+              },
+              "orderType": {
+                "type": "string"
+              },
+              "limit_price": {
+                "type": "number"
+              },
+              "limitPrice": {
+                "type": "number"
+              },
+              "offset_pct": {
+                "type": "number"
+              },
+              "offsetPct": {
+                "type": "number"
+              },
+              "current_price": {
+                "type": "number"
+              },
+              "currentPrice": {
+                "type": "number"
+              },
+              "max_slippage_bps": {
+                "type": "number"
+              },
+              "maxSlippageBps": {
+                "type": "number"
+              },
+              "close_attempts": {
+                "type": "integer"
+              },
+              "close_retry_delay_ms": {
+                "type": "integer"
+              },
+              "timeout_ms": {
+                "type": "number"
               }
-            ],
-            "description": "Desired position baseline or false to skip."
+            },
+            "additionalProperties": false
           },
           "orders": {
-            "oneOf": [
-              {
-                "type": "object"
+            "type": [
+              "object",
+              "boolean"
+            ],
+            "properties": {
+              "mode": {
+                "type": "string",
+                "enum": [
+                  "matching",
+                  "all"
+                ]
               },
-              {
-                "const": false
+              "market": {
+                "type": "string"
+              },
+              "symbol": {
+                "type": "string"
+              },
+              "markets": {
+                "type": "array",
+                "items": {
+                  "type": "string"
+                }
+              },
+              "symbols": {
+                "type": "array",
+                "items": {
+                  "type": "string"
+                }
+              },
+              "side": {
+                "type": "string",
+                "enum": [
+                  "long",
+                  "short"
+                ]
+              },
+              "state": {
+                "type": "string",
+                "enum": [
+                  "none",
+                  "closed",
+                  "absent",
+                  "open",
+                  "present"
+                ]
+              },
+              "amount": {
+                "type": [
+                  "string",
+                  "number"
+                ]
+              },
+              "notional": {
+                "type": [
+                  "string",
+                  "number"
+                ]
+              },
+              "size": {
+                "type": [
+                  "string",
+                  "number"
+                ]
+              },
+              "leverage": {
+                "type": "number"
+              },
+              "order_type": {
+                "type": "string"
+              },
+              "orderType": {
+                "type": "string"
+              },
+              "limit_price": {
+                "type": "number"
+              },
+              "limitPrice": {
+                "type": "number"
+              },
+              "offset_pct": {
+                "type": "number"
+              },
+              "offsetPct": {
+                "type": "number"
+              },
+              "current_price": {
+                "type": "number"
+              },
+              "currentPrice": {
+                "type": "number"
+              },
+              "max_slippage_bps": {
+                "type": "number"
+              },
+              "maxSlippageBps": {
+                "type": "number"
+              },
+              "close_attempts": {
+                "type": "integer"
+              },
+              "close_retry_delay_ms": {
+                "type": "integer"
+              },
+              "timeout_ms": {
+                "type": "number"
               }
-            ],
-            "description": "Desired open-order baseline or false to skip."
+            },
+            "additionalProperties": false
           },
           "timeout_ms": {
             "type": "number"
+          },
+          "side": {
+            "type": "string",
+            "enum": [
+              "long",
+              "short"
+            ]
+          },
+          "account_name": {
+            "type": "string"
+          },
+          "mode": {
+            "type": "string",
+            "enum": [
+              "matching",
+              "all"
+            ]
           }
         },
-        "required": [
-          "action"
-        ]
+        "additionalProperties": false
       },
       "examples": [
         {
@@ -1487,19 +2256,11 @@
         }
       ],
       "proof_effect": "Runs in setup/teardown phase and must be visible in trace.json; proof videos can keep this as trace-only setup.",
-      "safety_notes": "Composes supported app/API paths and must not mutate React/Redux/MobX/DOM/local storage to fabricate proof."
-    }
-  ],
-  "state_refs": [
-    {
-      "name": "perps.positions",
-      "description": "Normalized Perps position state read from the headless controller."
-    }
-  ],
-  "pre_conditions": [
-    {
-      "id": "no-mid-recipe-state-injection",
-      "description": "Recipes must drive the real perps controller read path for proof state."
+      "safety_notes": "Composes supported app/API paths and must not mutate React/Redux/MobX/DOM/local storage to fabricate proof.",
+      "execution_capabilities": [
+        "app-mutation",
+        "external-mutation"
+      ]
     }
   ],
   "native_bindings": [
@@ -1575,9 +2336,5 @@
       "action": "metamask.perps.ensure_positions",
       "implementation": "@metamask/recipe-runner/core/perps"
     }
-  ],
-  "capability_notes": [
-    "core is a headless adapter: it instantiates @metamask/perps-controller against a resolved MetaMask/core checkout and reads HyperLiquid testnet over HTTP. No CDP, bridge, or UI is involved. Slice 1 implements read-only perps actions. Slice 2 adds a default viem signer + write actions (place_order, close_positions, ensure_positions, assert_positions) that submit real signed orders to HyperLiquid testnet via the controller's full provider path."
-  ],
-  "action_profiles": []
+  ]
 }