@deeeed/metamask-harness 0.17.5 → 0.19.0

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

@@ -12,6 +12,7 @@
     "index_artifacts",
     "end",
     "call",
+    "switch",
     "ui.navigate",
     "ui.press",
     "ui.key_press",
@@ -34,7 +35,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.",
@@ -46,7 +68,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.",
@@ -58,7 +117,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. Do not use after ui.screenshot; screenshots are registered by the runner.",
@@ -77,7 +158,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.",
@@ -101,30 +230,37 @@
               "home",
               "perps",
               "perps-market"
-            ],
-            "description": "Small stable page aliases; use raw route/hash when you need a route outside this list."
+            ]
           },
           "market": {
-            "type": "string",
-            "description": "Market symbol for page=perps-market, e.g. ETH."
+            "type": "string"
           },
           "symbol": {
-            "type": "string",
-            "description": "Alias for market."
+            "type": "string"
           },
           "url": {
-            "type": "string",
-            "description": "Raw extension URL."
+            "type": "string"
           },
           "hash": {
-            "type": "string",
-            "description": "Raw extension hash, e.g. #/perps-home."
+            "type": "string"
           },
           "path": {
-            "type": "string",
-            "description": "Alias for hash."
+            "type": "string"
+          },
+          "route": {
+            "type": "string"
+          },
+          "screen": {
+            "type": "string"
+          },
+          "params": {
+            "type": "object"
+          },
+          "timeout_ms": {
+            "type": "number"
           }
-        }
+        },
+        "additionalProperties": false
       },
       "examples": [
         {
@@ -160,11 +296,38 @@
         {
           "node": {
             "action": "ui.press",
-            "target": "Perps",
-            "intent": "Press/tap/click a UI target through the platform adapter"
+            "intent": "Press/tap/click a UI target through the platform adapter",
+            "text": "Perps"
           }
         }
-      ]
+      ],
+      "schema": {
+        "type": "object",
+        "properties": {
+          "selector": {
+            "type": "string"
+          },
+          "test_id": {
+            "type": "string"
+          },
+          "testID": {
+            "type": "string"
+          },
+          "text": {
+            "type": "string"
+          },
+          "label": {
+            "type": "string"
+          },
+          "timeout_ms": {
+            "type": "number"
+          },
+          "settle": {
+            "type": "boolean"
+          }
+        },
+        "additionalProperties": false
+      }
     },
     "ui.scroll": {
       "description": "Scroll through the UI through the Farmslot base platform adapter. Supports deltas and scroll_into_view for selector/test-id proof positioning.",
@@ -186,27 +349,87 @@
           }
         }
       ],
-      "proof_effect": "E2E validation must include a passing ui-scroll-into-view trace event with output.intoView=true."
+      "proof_effect": "E2E validation must include a passing ui-scroll-into-view trace event with output.intoView=true.",
+      "schema": {
+        "type": "object",
+        "properties": {
+          "selector": {
+            "type": "string"
+          },
+          "test_id": {
+            "type": "string"
+          },
+          "testID": {
+            "type": "string"
+          },
+          "delta_x": {
+            "type": "number"
+          },
+          "delta_y": {
+            "type": "number"
+          },
+          "deltaX": {
+            "type": "number"
+          },
+          "deltaY": {
+            "type": "number"
+          },
+          "offset": {
+            "type": "number"
+          },
+          "scroll_into_view": {
+            "type": "boolean"
+          },
+          "into_view": {
+            "type": "boolean"
+          },
+          "animated": {
+            "type": "boolean"
+          },
+          "timeout_ms": {
+            "type": "number"
+          },
+          "settle": {
+            "type": "boolean"
+          }
+        },
+        "additionalProperties": false
+      }
     },
     "ui.wait_for": {
       "description": "Wait for a UI condition through the Extension CDP adapter.",
       "schema": {
         "type": "object",
         "properties": {
-          "action": { "const": "ui.wait_for" },
-          "selector": { "type": "string" },
-          "text": { "type": "string" },
+          "selector": {
+            "type": "string"
+          },
+          "test_id": {
+            "type": "string"
+          },
+          "testID": {
+            "type": "string"
+          },
+          "text": {
+            "type": "string"
+          },
+          "text_match": {
+            "type": "string"
+          },
+          "textMatch": {
+            "type": "string"
+          },
           "expected": {
-            "type": "string",
-            "enum": ["present", "absent", "visible", "hidden", "not_present"]
+            "type": "string"
           },
           "visible": {
-            "type": "boolean",
-            "description": "Convenience alias: true means expected=visible; false means expected=absent."
+            "type": "boolean"
           },
-          "timeout_ms": { "type": "number" }
+          "timeout_ms": {
+            "type": "number"
+          }
         },
-        "required": ["action"]
+        "additionalProperties": false
       },
       "examples": [
         {
@@ -237,7 +460,25 @@
             "intent": "Capture visual evidence after a wait/assert step"
           }
         }
-      ]
+      ],
+      "schema": {
+        "type": "object",
+        "properties": {
+          "path": {
+            "type": "string"
+          },
+          "label": {
+            "type": "string"
+          },
+          "category": {
+            "type": "string"
+          },
+          "timeout_ms": {
+            "type": "number"
+          }
+        },
+        "additionalProperties": false
+      }
     },
     "assert_file": {
       "description": "Assert that a project file exists and optionally contains text.",
@@ -250,7 +491,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.",
@@ -267,7 +523,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.",
@@ -280,7 +598,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.",
@@ -294,473 +627,283 @@
             "intent": "Assert stdout or stderr captured from a command node output"
           }
         }
-      ]
-    },
-    "app.hud": {
-      "description": "Display minimal human-readable recipe progress. The intent must explain the current agent goal; debug metadata and flow/domain labels are hidden unless explicitly opted in.",
-      "examples": [
-        {
-          "description": "Default one-intent progress HUD",
-          "node": {
-            "action": "app.hud",
-            "status": "running",
-            "intent": "Open a small ETH long position",
-            "progress": {
-              "current": 12,
-              "total": 19
-            }
-          }
-        }
       ],
-      "safety_notes": "HUD is reviewer feedback only. It must not mutate product state or carry task assertions; trace/artifacts remain authoritative.",
       "schema": {
         "type": "object",
         "properties": {
-          "status": {
-            "type": "string",
-            "enum": [
-              "running",
-              "pass",
-              "fail"
-            ]
+          "source": {
+            "type": "string"
           },
-          "intent": {
+          "node": {
             "type": "string"
           },
-          "progress": {
-            "type": "object",
-            "properties": {
-              "current": {
-                "type": "number"
-              },
-              "total": {
-                "type": "number"
-              }
-            },
-            "required": [
-              "current",
-              "total"
-            ]
+          "stream": {
+            "type": "string"
           },
-          "detail": {
+          "contains": {
             "type": "string"
           },
-          "error": {
+          "match": {
             "type": "string"
           },
-          "display": {
+          "assert": {
             "type": "object",
             "properties": {
-              "showDetail": {
-                "type": "boolean"
+              "path": {
+                "type": "string"
               },
-              "showDebug": {
-                "type": "boolean"
+              "operator": {
+                "type": "string"
               },
-              "showTitle": {
-                "type": "boolean"
+              "value": {
+                "type": [
+                  "string",
+                  "number",
+                  "integer",
+                  "boolean",
+                  "object",
+                  "array"
+                ],
+                "items": {
+                  "type": [
+                    "string",
+                    "number",
+                    "integer",
+                    "boolean",
+                    "object"
+                  ]
+                }
               },
-              "layout": {
-                "type": "string"
+              "all": {
+                "type": "array",
+                "items": {
+                  "type": "object"
+                }
               },
-              "position": {
-                "type": "string"
+              "any": {
+                "type": "array",
+                "items": {
+                  "type": "object"
+                }
+              },
+              "none": {
+                "type": "array",
+                "items": {
+                  "type": "object"
+                }
               }
-            }
-          },
-          "clear": {
-            "type": "boolean"
+            },
+            "additionalProperties": false
           }
-        }
+        },
+        "additionalProperties": false
       }
     },
-    "ui.set_input": {
-      "description": "Set text on an extension DOM input through the CDP UI transport.",
+    "app.hud": {
+      "description": "Display minimal human-readable recipe progress. The intent must explain the current agent goal; debug metadata and grouping labels are hidden unless explicitly opted in.",
+      "examples": [
+        {
+          "description": "Default one-intent progress HUD",
+          "node": {
+            "action": "app.hud",
+            "status": "running",
+            "intent": "Open a small ETH long position",
+            "progress": {
+              "current": 12,
+              "total": 19
+            }
+          }
+        }
+      ],
+      "safety_notes": "HUD is reviewer feedback only. It must not mutate product state or carry task assertions; trace/artifacts remain authoritative.",
       "schema": {
         "type": "object",
         "properties": {
-          "selector": {
+          "clear": {
+            "type": "boolean"
+          },
+          "title": {
             "type": "string"
           },
-          "test_id": {
+          "status": {
+            "type": "string",
+            "enum": [
+              "running",
+              "pass",
+              "fail"
+            ]
+          },
+          "node_id": {
             "type": "string"
           },
-          "value": {
+          "nodeId": {
             "type": "string"
           },
-          "text": {
+          "phase": {
             "type": "string"
           },
-          "next": {
+          "action_name": {
             "type": "string"
-          }
-        },
-        "additionalProperties": true
-      },
-      "examples": [
-        {
-          "node": {
-            "action": "ui.set_input",
-            "selector": "[data-testid=multichain-account-list-search] input",
-            "value": "Account",
-            "intent": "Set text on an extension DOM input through the CDP UI transport"
-          }
-        }
-      ]
-    },
-    "ui.key_press": {
-      "description": "Send a trusted keyboard press to the currently focused UI element through the UI transport.",
-      "schema": {
-        "type": "object",
-        "properties": {
-          "key": {
+          },
+          "recipe_action": {
             "type": "string"
           },
-          "next": {
+          "text": {
             "type": "string"
+          },
+          "detail": {
+            "type": "string"
+          },
+          "error": {
+            "type": "string"
+          },
+          "display": {
+            "type": "object"
+          },
+          "progress": {
+            "type": "object"
           }
-        },
-        "required": [
-          "key"
-        ],
-        "additionalProperties": true
-      },
-      "examples": [
-        {
-          "node": {
-            "action": "ui.key_press",
-            "key": "Enter",
-            "intent": "Send a trusted Enter key press to the focused UI element"
-          }
-        }
-      ]
-    },
-    "app.status": {
-      "description": "Report the adapter's static status — platform, project root, resolved checkout shape, and headless compatibility mode (no live route or account).",
-      "examples": [
-        {
-          "node": {
-            "action": "app.status",
-            "intent": "Report the resolved checkout status"
-          }
-        }
-      ]
-    },
-    "cdp.target": {
-      "description": "Probe the platform debug transport — Chrome CDP for extension, the React Native debug bridge for mobile — and report whether it is reachable.",
-      "examples": [
-        {
-          "node": {
-            "action": "cdp.target",
-            "cdp_port": 9323,
-            "required": true,
-            "intent": "Confirm the extension CDP endpoint is reachable"
-          }
-        }
-      ]
-    },
-    "metamask.wallet.fixture_status": {
-      "description": "Report the on-disk wallet fixture status (accounts and password presence) without launching or mutating the app.",
-      "examples": [
-        {
-          "description": "Minimal node",
-          "node": {
-            "action": "metamask.wallet.fixture_status",
-            "intent": "Check wallet fixture status"
-          }
-        }
-      ]
-    },
-    "metamask.wallet.setup": {
-      "description": "Import the wallet fixture accounts and password so the app starts from a known signed-in state.",
-      "examples": [
-        {
-          "description": "Minimal node",
-          "node": {
-            "action": "metamask.wallet.setup",
-            "intent": "Prepare the wallet fixture for recipe execution"
-          }
-        }
-      ]
-    },
-    "metamask.wallet.ensure_unlocked": {
-      "description": "Unlock the wallet with the fixture password when it is currently locked.",
-      "examples": [
-        {
-          "description": "Minimal node",
-          "node": {
-            "action": "metamask.wallet.ensure_unlocked",
-            "intent": "Ensure the wallet is unlocked before proof steps"
-          }
-        }
-      ]
-    },
-    "metamask.wallet.select_account": {
-      "description": "Select a wallet account by address, id, or display name.",
-      "examples": [
-        {
-          "description": "Select by deterministic fixture address",
-          "node": {
-            "action": "metamask.wallet.select_account",
-            "address": "0x8dc623e964475d4d669da601fd15ea9125469003",
-            "intent": "Select the requested wallet account"
-          }
-        },
-        {
-          "description": "Select by fixture display name",
-          "node": {
-            "action": "metamask.wallet.select_account",
-            "name": "dev1",
-            "intent": "Select the requested wallet account"
-          }
-        }
-      ]
-    },
-    "metamask.wallet.read_state": {
-      "description": "Read the redacted wallet state (selected account, route, and device) from the running app.",
-      "examples": [
-        {
-          "description": "Minimal node",
-          "node": {
-            "action": "metamask.wallet.read_state",
-            "intent": "Read wallet state needed for the proof"
-          }
-        }
-      ]
-    },
-    "metamask.perps.read_positions": {
-      "description": "Read live Perps positions and return the selected subset.",
-      "examples": [
-        {
-          "description": "Read selected live state",
-          "node": {
-            "action": "metamask.perps.read_positions",
-            "market": "BTC",
-            "intent": "Read Perps positions needed for the proof"
-          }
-        }
-      ]
-    },
-    "metamask.perps.read_orders": {
-      "description": "Read live Perps open orders and return the selected subset.",
-      "examples": [
-        {
-          "description": "Read selected live state",
-          "node": {
-            "action": "metamask.perps.read_orders",
-            "market": "BTC",
-            "intent": "Read Perps open orders needed for the proof"
-          }
-        }
-      ]
-    },
-    "metamask.perps.close_positions": {
-      "description": "Default to testnet for Perps mutations; mainnet is read-only unless explicitly requested. Close selected live Perps positions. Use selector/mode params to close matching symbols or all positions. 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 every open position",
-          "node": {
-            "action": "metamask.perps.close_positions",
-            "mode": "all",
-            "intent": "Close selected Perps positions before continuing",
-            "network": "testnet"
-          }
-        },
-        {
-          "description": "Close selected BTC/ETH positions",
-          "node": {
-            "action": "metamask.perps.close_positions",
-            "markets": [
-              "BTC",
-              "ETH"
-            ],
-            "intent": "Close selected Perps positions before continuing",
-            "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.place_order": {
-      "description": "Place a Perps order through a supported app/API path. Default to testnet; mainnet order placement requires an explicit user request. 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 BTC market order",
-          "node": {
-            "action": "metamask.perps.place_order",
-            "market": "BTC",
-            "side": "long",
-            "notional": "10",
-            "leverage": 2,
-            "intent": "Place the requested Perps order",
-            "network": "testnet"
-          }
-        }
-      ]
-    },
-    "metamask.perps.assert_positions": {
-      "description": "Assert selected live Perps positions are present or absent.",
-      "examples": [
-        {
-          "description": "Assert BTC position is open",
-          "node": {
-            "action": "metamask.perps.assert_positions",
-            "state": "open",
-            "market": "BTC",
-            "intent": "Assert the expected Perps position state"
-          }
-        }
-      ]
+        },
+        "additionalProperties": false
+      }
     },
-    "metamask.perps.assert_orders": {
-      "description": "Assert selected live Perps open orders are present or absent.",
+    "ui.set_input": {
+      "description": "Set text on an extension DOM input through the CDP UI transport.",
+      "schema": {
+        "type": "object",
+        "properties": {
+          "selector": {
+            "type": "string"
+          },
+          "test_id": {
+            "type": "string"
+          },
+          "testID": {
+            "type": "string"
+          },
+          "value": {
+            "type": "string"
+          },
+          "text": {
+            "type": "string"
+          },
+          "timeout_ms": {
+            "type": "number"
+          },
+          "settle": {
+            "type": "boolean"
+          }
+        },
+        "additionalProperties": false
+      },
       "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"
+            "action": "ui.set_input",
+            "selector": "[data-testid=multichain-account-list-search] input",
+            "value": "Account",
+            "intent": "Set text on an extension DOM input through the CDP UI transport"
           }
         }
       ]
     },
-    "metamask.perps.ensure_positions": {
-      "description": "Default to testnet for Perps mutations; mainnet is read-only unless explicitly requested. Higher-level wrapper that reads selected positions, closes or places when needed, then asserts final position 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 BTC position before proof window",
-          "node": {
-            "action": "metamask.perps.ensure_positions",
-            "state": "none",
-            "market": "BTC",
-            "intent": "Converge Perps positions to the requested state",
-            "network": "testnet"
+    "ui.key_press": {
+      "description": "Send a trusted keyboard press to the currently focused UI element through the UI transport.",
+      "schema": {
+        "type": "object",
+        "properties": {
+          "key": {
+            "type": "string"
+          },
+          "timeout_ms": {
+            "type": "number"
+          },
+          "settle": {
+            "type": "boolean"
           }
         },
+        "required": [
+          "key"
+        ],
+        "additionalProperties": false
+      },
+      "examples": [
         {
-          "description": "Ensure any existing positions are closed",
           "node": {
-            "action": "metamask.perps.ensure_positions",
-            "state": "none",
-            "mode": "all",
-            "intent": "Converge Perps positions to the requested state",
-            "network": "testnet"
+            "action": "ui.key_press",
+            "key": "Enter",
+            "intent": "Send a trusted Enter key press to the focused UI element"
           }
         }
       ]
     },
-    "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.",
+    "app.status": {
+      "description": "Report the adapter's static status — platform, project root, resolved checkout shape, and headless compatibility mode (no live route or account).",
       "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"
+            "action": "app.status",
+            "intent": "Report the resolved checkout status"
           }
         }
-      ]
+      ],
+      "schema": {
+        "type": "object",
+        "properties": {},
+        "additionalProperties": false
+      }
     },
-    "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.",
+    "cdp.target": {
+      "description": "Probe the platform debug transport — Chrome CDP for extension, the React Native debug bridge for mobile — and report whether it is reachable.",
       "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"
+            "action": "cdp.target",
+            "cdp_port": 9323,
+            "required": true,
+            "intent": "Confirm the extension CDP endpoint is reachable"
           }
         }
-      ]
-    },
-    "metamask.perps.teardown_state": {
-      "description": "Recommended configurable Perps teardown state that restores the selected environment after proof.",
-      "examples": [
-        {
-          "description": "Return BTC test account to clean state",
-          "node": {
-            "action": "metamask.perps.teardown_state",
-            "market": "BTC",
-            "positions": {
-              "state": "none"
-            },
-            "orders": {
-              "state": "none"
-            },
-            "page": "home",
-            "intent": "Restore Perps state after the proof"
+      ],
+      "schema": {
+        "type": "object",
+        "properties": {
+          "cdp_port": {
+            "type": "number"
+          },
+          "metro_port": {
+            "type": "number"
+          },
+          "watcher_port": {
+            "type": "number"
+          },
+          "probe_timeout_ms": {
+            "type": "number"
+          },
+          "cdp_timeout_ms": {
+            "type": "number"
+          },
+          "timeout_ms": {
+            "type": "number"
+          },
+          "require_reachable": {
+            "type": "boolean"
+          },
+          "required": {
+            "type": "boolean"
           }
         },
-        {
-          "description": "Teardown only state created by selected market",
-          "node": {
-            "action": "metamask.perps.teardown_state",
-            "market": "BTC",
-            "intent": "Restore Perps state after the proof"
-          }
-        }
-      ]
+        "additionalProperties": false
+      }
     },
     "call": {
-      "description": "Invoke a named sub-recipe flow by ref and run its steps inline.",
+      "description": "Invoke a named recipe by ref and run its steps inline.",
       "examples": [
         {
           "node": {
             "action": "call",
             "ref": "mydev.open_perps_setup",
-            "intent": "Run a personal Perps setup flow segment"
+            "intent": "Run a personal Perps setup recipe"
           }
         }
       ]
@@ -773,14 +916,8 @@
       "description": "Report the on-disk wallet fixture status (accounts and password presence) without launching or mutating the app.",
       "schema": {
         "type": "object",
-        "properties": {
-          "action": {
-            "const": "metamask.wallet.fixture_status"
-          }
-        },
-        "required": [
-          "action"
-        ]
+        "properties": {},
+        "additionalProperties": false
       },
       "examples": [
         {
@@ -792,7 +929,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.wallet.setup",
@@ -800,14 +938,8 @@
       "description": "Import the wallet fixture accounts and password so the app starts from a known signed-in state.",
       "schema": {
         "type": "object",
-        "properties": {
-          "action": {
-            "const": "metamask.wallet.setup"
-          }
-        },
-        "required": [
-          "action"
-        ]
+        "properties": {},
+        "additionalProperties": false
       },
       "examples": [
         {
@@ -819,7 +951,10 @@
         }
       ],
       "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"
+      ]
     },
     {
       "name": "metamask.wallet.ensure_unlocked",
@@ -828,13 +963,11 @@
       "schema": {
         "type": "object",
         "properties": {
-          "action": {
-            "const": "metamask.wallet.ensure_unlocked"
+          "timeout_ms": {
+            "type": "number"
           }
         },
-        "required": [
-          "action"
-        ]
+        "additionalProperties": false
       },
       "examples": [
         {
@@ -846,7 +979,10 @@
         }
       ],
       "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"
+      ]
     },
     {
       "name": "metamask.wallet.select_account",
@@ -854,9 +990,6 @@
       "schema": {
         "type": "object",
         "properties": {
-          "action": {
-            "const": "metamask.wallet.select_account"
-          },
           "address": {
             "type": "string",
             "description": "EVM address of the account to select."
@@ -870,26 +1003,7 @@
             "description": "Display name of the account to select."
           }
         },
-        "required": [
-          "action"
-        ],
-        "anyOf": [
-          {
-            "required": [
-              "address"
-            ]
-          },
-          {
-            "required": [
-              "id"
-            ]
-          },
-          {
-            "required": [
-              "name"
-            ]
-          }
-        ]
+        "additionalProperties": false
       },
       "examples": [
         {
@@ -909,22 +1023,53 @@
           }
         }
       ],
-      "owner": "metamask"
+      "owner": "metamask",
+      "execution_capabilities": [
+        "app-mutation"
+      ]
     },
     {
-      "name": "metamask.wallet.read_state",
+      "name": "metamask.wallet.list_accounts",
       "owner": "metamask",
-      "description": "Read the redacted wallet state (selected account, route, and device) from the running app.",
+      "description": "List redacted wallet accounts and identify the selected account without mutating the app.",
       "schema": {
         "type": "object",
         "properties": {
-          "action": {
-            "const": "metamask.wallet.read_state"
+          "scope": {
+            "type": "string",
+            "default": "named",
+            "enum": [
+              "selected",
+              "named",
+              "evm",
+              "all"
+            ],
+            "description": "Account scope. Defaults to named human-visible accounts; use selected for the active account, evm for EVM accounts, or all for the full inventory."
           }
         },
-        "required": [
-          "action"
-        ]
+        "additionalProperties": false
+      },
+      "examples": [
+        {
+          "description": "List wallet accounts",
+          "node": {
+            "action": "metamask.wallet.list_accounts",
+            "intent": "Discover the available wallet accounts"
+          }
+        }
+      ],
+      "proof_effect": "E2E validation must record this action in trace.json; live-proof actions include liveAdapter/proofPath or target runtime output.",
+      "safety_notes": "Read-only account metadata; must never expose keys, mnemonics, vault data, or credentials.",
+      "execution_capabilities": []
+    },
+    {
+      "name": "metamask.wallet.read_state",
+      "owner": "metamask",
+      "description": "Read the redacted wallet state (selected account, route, and device) from the running app.",
+      "schema": {
+        "type": "object",
+        "properties": {},
+        "additionalProperties": false
       },
       "examples": [
         {
@@ -936,18 +1081,16 @@
         }
       ],
       "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.read_positions",
       "owner": "metamask",
-      "description": "extension Read live Perps positions and return the selected subset.",
+      "description": "extension Read live Perps positions; 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."
@@ -980,7 +1123,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",
@@ -994,9 +1171,7 @@
             "type": "number"
           }
         },
-        "required": [
-          "action"
-        ]
+        "additionalProperties": false
       },
       "examples": [
         {
@@ -1009,18 +1184,16 @@
         }
       ],
       "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.read_orders",
       "owner": "metamask",
-      "description": "extension Read live Perps open orders and return the selected subset.",
+      "description": "extension Read live Perps open orders; 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."
@@ -1053,7 +1226,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",
@@ -1067,9 +1274,7 @@
             "type": "number"
           }
         },
-        "required": [
-          "action"
-        ]
+        "additionalProperties": false
       },
       "examples": [
         {
@@ -1082,7 +1287,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.close_positions",
@@ -1091,9 +1297,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."
@@ -1126,7 +1329,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",
@@ -1140,9 +1377,7 @@
             "type": "number"
           }
         },
-        "required": [
-          "action"
-        ]
+        "additionalProperties": false
       },
       "examples": [
         {
@@ -1150,8 +1385,7 @@
           "node": {
             "action": "metamask.perps.close_positions",
             "mode": "all",
-            "intent": "Close selected Perps positions before continuing",
-            "network": "testnet"
+            "intent": "Close selected Perps positions before continuing"
           }
         },
         {
@@ -1162,13 +1396,16 @@
               "BTC",
               "ETH"
             ],
-            "intent": "Close selected Perps positions before continuing",
-            "network": "testnet"
+            "intent": "Close selected Perps positions 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.close_orders",
@@ -1177,9 +1414,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."
@@ -1212,7 +1446,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",
@@ -1226,9 +1494,7 @@
             "type": "number"
           }
         },
-        "required": [
-          "action"
-        ]
+        "additionalProperties": false
       },
       "examples": [
         {
@@ -1236,8 +1502,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"
           }
         },
         {
@@ -1245,13 +1510,16 @@
           "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.place_order",
@@ -1260,9 +1528,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."
@@ -1295,7 +1560,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",
@@ -1321,12 +1620,11 @@
             "description": "Base asset size when supported."
           },
           "leverage": {
-            "type": "number"
+            "type": "number",
+            "default": 3
           }
         },
-        "required": [
-          "action"
-        ]
+        "additionalProperties": false
       },
       "examples": [
         {
@@ -1337,24 +1635,24 @@
             "side": "long",
             "notional": "10",
             "leverage": 2,
-            "intent": "Place the requested Perps order",
-            "network": "testnet"
+            "intent": "Place the requested Perps order"
           }
         }
       ],
       "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_positions",
       "owner": "metamask",
-      "description": "extension Assert selected live Perps positions are present or absent.",
+      "description": "extension 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."
@@ -1387,7 +1685,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",
@@ -1413,8 +1745,9 @@
           }
         },
         "required": [
-          "action"
-        ]
+          "state"
+        ],
+        "additionalProperties": false
       },
       "examples": [
         {
@@ -1428,18 +1761,16 @@
         }
       ],
       "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.assert_orders",
       "owner": "metamask",
-      "description": "extension Assert selected live Perps open orders are present or absent.",
+      "description": "extension 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."
@@ -1472,7 +1803,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",
@@ -1498,8 +1863,9 @@
           }
         },
         "required": [
-          "action"
-        ]
+          "state"
+        ],
+        "additionalProperties": false
       },
       "examples": [
         {
@@ -1513,7 +1879,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_positions",
@@ -1522,9 +1889,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."
@@ -1557,7 +1921,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",
@@ -1583,8 +1981,9 @@
           }
         },
         "required": [
-          "action"
-        ]
+          "state"
+        ],
+        "additionalProperties": false
       },
       "examples": [
         {
@@ -1593,8 +1992,7 @@
             "action": "metamask.perps.ensure_positions",
             "state": "none",
             "market": "BTC",
-            "intent": "Converge Perps positions to the requested state",
-            "network": "testnet"
+            "intent": "Converge Perps positions to the requested state"
           }
         },
         {
@@ -1603,13 +2001,16 @@
             "action": "metamask.perps.ensure_positions",
             "state": "none",
             "mode": "all",
-            "intent": "Converge Perps positions to the requested state",
-            "network": "testnet"
+            "intent": "Converge Perps positions 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.ensure_orders",
@@ -1618,9 +2019,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."
@@ -1651,134 +2049,413 @@
             ],
             "description": "matching selects requested symbols; all selects every live item returned by the product."
           },
-          "selector": {
+          "selector": {
+            "type": "object",
+            "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",
+            "enum": [
+              "long",
+              "short"
+            ],
+            "description": "Optional position/order side filter."
+          },
+          "timeout_ms": {
+            "type": "number"
+          },
+          "state": {
+            "type": "string",
+            "enum": [
+              "none",
+              "absent",
+              "closed",
+              "open",
+              "present"
+            ],
+            "description": "Desired/expected selected collection state."
+          }
+        },
+        "required": [
+          "state"
+        ],
+        "additionalProperties": false
+      },
+      "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"
+          }
+        }
+      ],
+      "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.",
+      "execution_capabilities": [
+        "app-mutation",
+        "external-mutation"
+      ]
+    },
+    {
+      "name": "metamask.perps.start_state",
+      "owner": "metamask",
+      "description": "extension 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.",
+      "schema": {
+        "type": "object",
+        "properties": {
+          "profile": {
+            "type": "string",
+            "description": "Optional profile such as clean_market_testnet, open_position_testnet, open_order_testnet, or provider_mainnet_readonly."
+          },
+          "account": {
+            "type": "string"
+          },
+          "provider": {
+            "type": "string",
+            "description": "Requested Perps provider, e.g. hyperliquid."
+          },
+          "network": {
+            "type": "string",
+            "enum": [
+              "testnet",
+              "mainnet"
+            ]
+          },
+          "market": {
+            "type": "string"
+          },
+          "symbol": {
+            "type": "string"
+          },
+          "markets": {
+            "type": "array",
+            "items": {
+              "type": "string"
+            }
+          },
+          "symbols": {
+            "type": "array",
+            "items": {
+              "type": "string"
+            }
+          },
+          "page": {
+            "type": "string",
+            "enum": [
+              "home",
+              "perps",
+              "perps_home",
+              "market",
+              "market_details",
+              "trade",
+              "order"
+            ],
+            "description": "Initial Perps page target; omit it to use the profile or market default. Extension start_state always enters Perps before convergence."
+          },
+          "positions": {
+            "type": [
+              "object",
+              "boolean"
+            ],
+            "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"
+                ]
+              },
+              "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"
+              }
+            },
+            "additionalProperties": false
+          },
+          "orders": {
+            "type": [
+              "object",
+              "boolean"
+            ],
+            "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"
+                ]
+              },
+              "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"
+              }
+            },
+            "additionalProperties": false
+          },
+          "hud": {
             "type": "object",
-            "description": "Optional structured selector with mode, symbols/markets, and side."
-          },
-          "side": {
-            "type": "string",
-            "enum": [
-              "long",
-              "short"
-            ],
-            "description": "Optional position/order side filter."
+            "properties": {},
+            "additionalProperties": false
           },
           "timeout_ms": {
             "type": "number"
           },
-          "state": {
-            "type": "string",
-            "enum": [
-              "none",
-              "absent",
-              "closed",
-              "open",
-              "present"
-            ],
-            "description": "Desired/expected selected collection state."
-          }
-        },
-        "required": [
-          "action"
-        ]
-      },
-      "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"
-          }
-        }
-      ],
-      "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."
-    },
-    {
-      "name": "metamask.perps.start_state",
-      "owner": "metamask",
-      "description": "extension 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.",
-      "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."
-          },
-          "account": {
-            "type": "string"
-          },
-          "provider": {
-            "type": "string",
-            "description": "Requested Perps provider, e.g. hyperliquid."
-          },
-          "network": {
+          "side": {
             "type": "string",
             "enum": [
-              "testnet",
-              "mainnet"
+              "long",
+              "short"
             ]
           },
-          "market": {
-            "type": "string"
-          },
-          "symbol": {
+          "account_name": {
             "type": "string"
           },
-          "markets": {
-            "type": "array",
-            "items": {
-              "type": "string"
-            }
-          },
-          "symbols": {
-            "type": "array",
-            "items": {
-              "type": "string"
-            }
-          },
-          "page": {
-            "type": "string",
-            "description": "Initial Perps page target; omit it to use the profile or market default. Extension start_state always enters Perps before convergence."
+          "readyToTrade": {
+            "type": "boolean"
           },
-          "positions": {
-            "oneOf": [
-              {
-                "type": "object"
+          "balance": {
+            "type": "object",
+            "properties": {
+              "minWithdrawableUsd": {
+                "type": "number"
               },
-              {
-                "const": false
-              }
-            ],
-            "description": "Desired position baseline or false to skip."
-          },
-          "orders": {
-            "oneOf": [
-              {
-                "type": "object"
+              "minUsd": {
+                "type": "number"
               },
-              {
-                "const": false
+              "minSpendableUsd": {
+                "type": "number"
               }
-            ],
-            "description": "Desired open-order baseline or false to skip."
-          },
-          "hud": {
-            "type": "object"
+            },
+            "additionalProperties": false
           },
-          "timeout_ms": {
-            "type": "number"
+          "mode": {
+            "type": "string",
+            "enum": [
+              "matching",
+              "all"
+            ]
           }
         },
-        "required": [
-          "action"
-        ]
+        "additionalProperties": false
       },
       "examples": [
         {
@@ -1815,7 +2492,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",
@@ -1824,9 +2505,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."
@@ -1864,48 +2542,289 @@
             }
           },
           "page": {
-            "oneOf": [
-              {
-                "type": "string"
-              },
-              {
-                "const": false
-              }
+            "description": "Final page target; false skips navigation for teardown.",
+            "type": [
+              "string",
+              "boolean"
             ],
-            "description": "Final page target; false skips navigation for teardown."
+            "enum": [
+              "home",
+              "perps",
+              "perps_home",
+              "market",
+              "market_details",
+              "trade",
+              "order",
+              false
+            ]
           },
           "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
           },
           "hud": {
-            "type": "object"
+            "type": "object",
+            "properties": {},
+            "additionalProperties": false
           },
           "timeout_ms": {
             "type": "number"
+          },
+          "side": {
+            "type": "string",
+            "enum": [
+              "long",
+              "short"
+            ]
+          },
+          "account_name": {
+            "type": "string"
+          },
+          "readyToTrade": {
+            "type": "boolean"
+          },
+          "balance": {
+            "type": "object",
+            "properties": {
+              "minWithdrawableUsd": {
+                "type": "number"
+              },
+              "minUsd": {
+                "type": "number"
+              },
+              "minSpendableUsd": {
+                "type": "number"
+              }
+            },
+            "additionalProperties": false
+          },
+          "mode": {
+            "type": "string",
+            "enum": [
+              "matching",
+              "all"
+            ]
           }
         },
-        "required": [
-          "action"
-        ]
+        "additionalProperties": false
       },
       "examples": [
         {
@@ -1933,23 +2852,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": "wallet.redacted_state",
-      "description": "Redacted wallet state reported by metamask.wallet.read_state."
-    },
-    {
-      "name": "perps.positions",
-      "description": "Normalized Perps position state."
-    }
-  ],
-  "pre_conditions": [
-    {
-      "id": "no-mid-recipe-state-injection",
-      "description": "Recipes must drive real supported UI/app/API paths 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": [
@@ -2045,6 +2952,10 @@
       "action": "metamask.wallet.select_account",
       "implementation": "@metamask/recipe-runner/extension/wallet"
     },
+    {
+      "action": "metamask.wallet.list_accounts",
+      "implementation": "@metamask/recipe-runner/extension/wallet"
+    },
     {
       "action": "metamask.wallet.read_state",
       "implementation": "@metamask/recipe-runner/extension/wallet"
@@ -2093,9 +3004,5 @@
       "action": "metamask.perps.teardown_state",
       "implementation": "@metamask/recipe-runner/extension/perps-domain-dispatcher"
     }
-  ],
-  "capability_notes": [
-    "Perps safety: default to testnet for setup and order/position mutations. Mainnet is read-only unless the user explicitly requests a mainnet mutation."
-  ],
-  "action_profiles": []
+  ]
 }