@deeeed/metamask-harness 0.17.5 → 0.19.0

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

@@ -12,6 +12,7 @@
     "index_artifacts",
     "end",
     "call",
+    "switch",
     "ui.navigate",
     "ui.press",
     "ui.key_press",
@@ -35,7 +36,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.",
@@ -47,7 +69,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.",
@@ -59,7 +118,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.",
@@ -78,7 +159,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.",
@@ -102,30 +231,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"
+          },
+          "hash": {
+            "type": "string"
+          },
+          "path": {
+            "type": "string"
           },
           "route": {
-            "type": "string",
-            "description": "Raw React Navigation route."
+            "type": "string"
           },
           "screen": {
-            "type": "string",
-            "description": "Alias for route."
+            "type": "string"
           },
           "params": {
-            "type": "object",
-            "description": "Raw React Navigation params."
+            "type": "object"
+          },
+          "timeout_ms": {
+            "type": "number"
           }
-        }
+        },
+        "additionalProperties": false
       },
       "examples": [
         {
@@ -156,13 +292,49 @@
       ]
     },
     "ui.press": {
-      "description": "Press/tap/click a UI target through the platform adapter.",
+      "description": "Press a React Native component by exact testID/test_id, selector identifier, or contained visible text.",
+      "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
+      },
       "examples": [
         {
+          "description": "Press by stable React Native testID",
+          "node": {
+            "action": "ui.press",
+            "test_id": "perps-tab",
+            "intent": "Open Perps through its stable testID"
+          }
+        },
+        {
+          "description": "Press a component that is reachable only by visible text",
           "node": {
             "action": "ui.press",
-            "target": "Perps",
-            "intent": "Press/tap/click a UI target through the platform adapter"
+            "text": "Ethereum",
+            "intent": "Press the component containing the visible Ethereum label"
           }
         }
       ]
@@ -187,23 +359,94 @@
           }
         }
       ],
-      "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 mounted React Native testID/test_id. Optional text validates text returned by that testID; text alone is not supported on Mobile.",
       "schema": {
         "type": "object",
         "properties": {
-          "action": { "const": "ui.wait_for" },
-          "test_id": { "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", "hidden", "not_present"]
+            "enum": [
+              "present",
+              "visible",
+              "absent",
+              "hidden",
+              "not_present"
+            ]
+          },
+          "visible": {
+            "type": "boolean"
           },
-          "timeout_ms": { "type": "number" }
+          "timeout_ms": {
+            "type": "number"
+          }
         },
-        "required": ["action", "test_id"]
+        "additionalProperties": false
       },
       "examples": [
         {
@@ -211,7 +454,7 @@
             "action": "ui.wait_for",
             "test_id": "perps-home-heading",
             "expected": "present",
-            "intent": "Wait for a React Native testID to be mounted"
+          "intent": "Confirm the requested mobile content is visible"
           }
         },
         {
@@ -219,7 +462,7 @@
             "action": "ui.wait_for",
             "test_id": "conditional-banner",
             "expected": "absent",
-            "intent": "Prove a React Native testID is not mounted"
+          "intent": "Confirm the conditional mobile content is absent"
           }
         }
       ]
@@ -234,7 +477,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
+      }
     },
     "app.lifecycle": {
       "description": "Drive outer mobile app lifecycle for deterministic performance start states without rebuilding: foreground/launch, background, terminate, or restart the installed app.",
@@ -247,7 +508,101 @@
             "intent": "Send the selected Android device to the launcher before a warm-resume measurement"
           }
         }
-      ]
+      ],
+      "schema": {
+        "type": "object",
+        "properties": {
+          "command": {
+            "type": "string",
+            "enum": [
+              "launch",
+              "foreground",
+              "background",
+              "terminate",
+              "restart"
+            ]
+          },
+          "event": {
+            "type": "string",
+            "enum": [
+              "launch",
+              "foreground",
+              "background",
+              "terminate",
+              "restart"
+            ]
+          },
+          "state": {
+            "type": "string",
+            "enum": [
+              "launch",
+              "foreground",
+              "background",
+              "terminate",
+              "restart"
+            ]
+          },
+          "settle_ms": {
+            "type": "integer"
+          },
+          "timeout_ms": {
+            "type": "integer"
+          },
+          "platform": {
+            "type": "string",
+            "enum": [
+              "ios",
+              "android"
+            ]
+          },
+          "watcher_port": {
+            "type": "number"
+          },
+          "metro_port": {
+            "type": "number"
+          },
+          "launch_url": {
+            "type": "string"
+          },
+          "launchUrl": {
+            "type": "string"
+          },
+          "url": {
+            "type": "string"
+          },
+          "adb_serial": {
+            "type": "string"
+          },
+          "android_device": {
+            "type": "string"
+          },
+          "device": {
+            "type": "string"
+          },
+          "package_id": {
+            "type": "string"
+          },
+          "packageName": {
+            "type": "string"
+          },
+          "app_id": {
+            "type": "string"
+          },
+          "simulator": {
+            "type": "string"
+          },
+          "ios_simulator": {
+            "type": "string"
+          },
+          "bundle_id": {
+            "type": "string"
+          },
+          "bundleId": {
+            "type": "string"
+          }
+        },
+        "additionalProperties": false
+      }
     },
     "assert_file": {
       "description": "Assert that a project file exists and optionally contains text.",
@@ -260,7 +615,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.",
@@ -277,7 +647,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.",
@@ -290,7 +722,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.",
@@ -304,10 +751,80 @@
             "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.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.",
+      "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",
@@ -326,6 +843,12 @@
       "schema": {
         "type": "object",
         "properties": {
+          "clear": {
+            "type": "boolean"
+          },
+          "title": {
+            "type": "string"
+          },
           "status": {
             "type": "string",
             "enum": [
@@ -334,442 +857,176 @@
               "fail"
             ]
           },
-          "intent": {
+          "node_id": {
             "type": "string"
           },
-          "progress": {
-            "type": "object",
-            "properties": {
-              "current": {
-                "type": "number"
-              },
-              "total": {
-                "type": "number"
-              }
-            },
-            "required": [
-              "current",
-              "total"
-            ]
-          },
-          "detail": {
+          "nodeId": {
             "type": "string"
           },
-          "error": {
-            "type": "string"
-          },
-          "display": {
-            "type": "object",
-            "properties": {
-              "showDetail": {
-                "type": "boolean"
-              },
-              "showDebug": {
-                "type": "boolean"
-              },
-              "showTitle": {
-                "type": "boolean"
-              },
-              "layout": {
-                "type": "string"
-              },
-              "position": {
-                "type": "string"
-              }
-            }
-          },
-          "clear": {
-            "type": "boolean"
-          }
-        }
-      }
-    },
-    "ui.set_input": {
-      "description": "Set text on a React Native TextInput by testID through the app control bridge.",
-      "schema": {
-        "type": "object",
-        "properties": {
-          "test_id": {
+          "phase": {
             "type": "string"
           },
-          "testID": {
+          "action_name": {
             "type": "string"
           },
-          "value": {
+          "recipe_action": {
             "type": "string"
           },
           "text": {
             "type": "string"
           },
-          "next": {
-            "type": "string"
-          }
-        },
-        "additionalProperties": true
-      },
-      "examples": [
-        {
-          "node": {
-            "action": "ui.set_input",
-            "test_id": "network-selector-network-search-input",
-            "value": "Sepolia",
-            "intent": "Set text on a React Native TextInput by testID through the app control bridge"
-          }
-        }
-      ]
-    },
-    "ui.key_press": {
-      "description": "Send a trusted keyboard press to the currently focused UI element through the UI transport.",
-      "schema": {
-        "type": "object",
-        "properties": {
-          "key": {
+          "detail": {
             "type": "string"
           },
-          "next": {
+          "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",
-            "require_reachable": true,
-            "intent": "Confirm the mobile React Native debug bridge 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 a React Native TextInput by testID through the app control bridge.",
+      "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",
+            "test_id": "network-selector-network-search-input",
+            "value": "Sepolia",
+            "intent": "Set text on a React Native TextInput by testID through the app control bridge"
           }
         }
       ]
     },
-    "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 first restores the fixture-backed unlocked wallet, then 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",
+            "require_reachable": true,
+            "intent": "Confirm the mobile React Native debug bridge 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"
           }
         }
       ]
@@ -782,14 +1039,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": [
         {
@@ -801,7 +1052,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",
@@ -809,14 +1061,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": [
         {
@@ -828,7 +1074,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",
@@ -837,13 +1086,14 @@
       "schema": {
         "type": "object",
         "properties": {
-          "action": {
-            "const": "metamask.wallet.ensure_unlocked"
+          "target_timeout_ms": {
+            "type": "number"
+          },
+          "unlock_timeout_ms": {
+            "type": "number"
           }
         },
-        "required": [
-          "action"
-        ]
+        "additionalProperties": false
       },
       "examples": [
         {
@@ -855,7 +1105,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",
@@ -864,9 +1117,6 @@
       "schema": {
         "type": "object",
         "properties": {
-          "action": {
-            "const": "metamask.wallet.select_account"
-          },
           "address": {
             "type": "string",
             "description": "EVM address of the account to select."
@@ -880,26 +1130,7 @@
             "description": "Display name of the account to select."
           }
         },
-        "required": [
-          "action"
-        ],
-        "anyOf": [
-          {
-            "required": [
-              "address"
-            ]
-          },
-          {
-            "required": [
-              "id"
-            ]
-          },
-          {
-            "required": [
-              "name"
-            ]
-          }
-        ]
+        "additionalProperties": false
       },
       "examples": [
         {
@@ -920,22 +1151,53 @@
         }
       ],
       "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.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": [
         {
@@ -947,18 +1209,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": "mobile Read live Perps positions and return the selected subset.",
+      "description": "mobile 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."
@@ -991,7 +1251,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",
@@ -1005,9 +1299,7 @@
             "type": "number"
           }
         },
-        "required": [
-          "action"
-        ]
+        "additionalProperties": false
       },
       "examples": [
         {
@@ -1020,18 +1312,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": "mobile Read live Perps open orders and return the selected subset.",
+      "description": "mobile 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."
@@ -1064,7 +1354,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",
@@ -1078,9 +1402,7 @@
             "type": "number"
           }
         },
-        "required": [
-          "action"
-        ]
+        "additionalProperties": false
       },
       "examples": [
         {
@@ -1093,7 +1415,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",
@@ -1102,9 +1425,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."
@@ -1137,7 +1457,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",
@@ -1151,9 +1505,7 @@
             "type": "number"
           }
         },
-        "required": [
-          "action"
-        ]
+        "additionalProperties": false
       },
       "examples": [
         {
@@ -1161,8 +1513,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"
           }
         },
         {
@@ -1173,13 +1524,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",
@@ -1188,9 +1542,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."
@@ -1223,7 +1574,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",
@@ -1237,9 +1622,7 @@
             "type": "number"
           }
         },
-        "required": [
-          "action"
-        ]
+        "additionalProperties": false
       },
       "examples": [
         {
@@ -1247,8 +1630,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"
           }
         },
         {
@@ -1256,13 +1638,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",
@@ -1271,9 +1656,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."
@@ -1306,7 +1688,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",
@@ -1332,12 +1748,11 @@
             "description": "Base asset size when supported."
           },
           "leverage": {
-            "type": "number"
+            "type": "number",
+            "default": 3
           }
         },
-        "required": [
-          "action"
-        ]
+        "additionalProperties": false
       },
       "examples": [
         {
@@ -1348,24 +1763,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": "mobile Assert selected live Perps positions are present or absent.",
+      "description": "mobile 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."
@@ -1398,7 +1813,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",
@@ -1424,8 +1873,9 @@
           }
         },
         "required": [
-          "action"
-        ]
+          "state"
+        ],
+        "additionalProperties": false
       },
       "examples": [
         {
@@ -1439,18 +1889,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": "mobile Assert selected live Perps open orders are present or absent.",
+      "description": "mobile 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."
@@ -1483,7 +1931,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",
@@ -1509,8 +1991,9 @@
           }
         },
         "required": [
-          "action"
-        ]
+          "state"
+        ],
+        "additionalProperties": false
       },
       "examples": [
         {
@@ -1524,7 +2007,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",
@@ -1533,9 +2017,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."
@@ -1568,7 +2049,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",
@@ -1594,8 +2109,9 @@
           }
         },
         "required": [
-          "action"
-        ]
+          "state"
+        ],
+        "additionalProperties": false
       },
       "examples": [
         {
@@ -1604,8 +2120,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"
           }
         },
         {
@@ -1614,13 +2129,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",
@@ -1629,9 +2147,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."
@@ -1662,141 +2177,411 @@
             ],
             "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": "mobile Default to testnet for Perps mutations; mainnet is read-only unless explicitly requested. Recommended configurable Perps start state that first restores the fixture-backed unlocked wallet, then 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": {
+            "description": "Initial Perps page target; omit it to use the profile or market default.",
+            "type": "string",
+            "enum": [
+              "home",
+              "perps",
+              "perps_home",
+              "market",
+              "market_details"
+            ]
+          },
+          "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": "mobile Default to testnet for Perps mutations; mainnet is read-only unless explicitly requested. Recommended configurable Perps start state that first restores the fixture-backed unlocked wallet, then 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": {
-            "oneOf": [
-              {
-                "type": "string"
-              },
-              {
-                "const": false
-              }
-            ],
-            "description": "Final page target; false skips navigation for teardown."
+          "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": [
         {
@@ -1833,7 +2618,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",
@@ -1842,9 +2631,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."
@@ -1882,48 +2668,287 @@
             }
           },
           "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",
+              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": [
         {
@@ -1951,23 +2976,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": [
@@ -2067,6 +3080,10 @@
       "action": "metamask.wallet.select_account",
       "implementation": "@metamask/recipe-runner/mobile/wallet"
     },
+    {
+      "action": "metamask.wallet.list_accounts",
+      "implementation": "@metamask/recipe-runner/mobile/wallet"
+    },
     {
       "action": "metamask.wallet.read_state",
       "implementation": "@metamask/recipe-runner/mobile/wallet"
@@ -2115,9 +3132,5 @@
       "action": "metamask.perps.teardown_state",
       "implementation": "@metamask/recipe-runner/mobile/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": []
+  ]
 }