@deeeed/metamask-harness 0.91.4 → 0.91.6

package/CHANGELOG.md

@@ -2,6 +2,23 @@
 
 ## Unreleased
 
+## 0.91.6 - 2026-10-13
+
+### Fixed
+
+- Keep all bundled recipe intents within the shared conformance limit, with a full-library regression check.
+- Adopt recipe-cli 0.14.3 so proof plans reject invalid intents before execution.
+
+## 0.91.5 - 2026-10-13
+
+### Changed
+
+- Bundled Perps journeys establish and verify their configurable network before proof, defaulting to testnet. Mainnet requires an explicit recipe parameter and retains its policy guards. Read-only observation subrecipes preserve their caller's state.
+
+### Fixed
+
+- Restore Mobile `stop` success after owned Metro/helper cleanup. Simulator power and resource retention follow the slot lifecycle; a running simulator does not make dev-server cleanup fail.
+
 ## 0.91.4 - 2026-10-13
 
 ### Fixed

package/dist/adapters/extension/actions.js

@@ -21,7 +21,8 @@ const extensionActions = {
     "metamask.perps.assert_visible_consistency",
     "metamask.settings.set_basic_functionality",
     "metamask.perps.read_snapshot",
-    "metamask.perps.set_network"
+    "metamask.perps.set_network",
+    "metamask.perps.start_state"
   ],
   liveNeedsCdpPort: true,
   cdpTarget: { transport: "chrome-extension-cdp", probePath: "json/version" },

package/dist/adapters/mobile/surface.js

@@ -1,4 +1,4 @@
-import { EXIT, recipeRuntimePath, shellQuote, writeInteractiveProgress } from "@farmslot/recipe-cli/harness";
+import { recipeRuntimePath, shellQuote, writeInteractiveProgress } from "@farmslot/recipe-cli/harness";
 import { spawnSync } from "node:child_process";
 import path from "node:path";
 import { defineAdapter } from "@farmslot/adapter-sdk";
@@ -60,10 +60,9 @@ const mobileSurface = defineAdapter({
       const args = ["--target", target];
       if (process.env.WATCHER_PORT) args.push("--port", process.env.WATCHER_PORT);
       const result = spawnSync("bash", [leaf, ...args], { encoding: "utf8" });
-      const metroStatus = result.status ?? 1;
-      const status = metroStatus === 0 ? EXIT.runtime : metroStatus;
+      const status = result.status ?? 1;
       const output = `${result.stdout ?? ""}${result.stderr ?? ""}`.trim();
-      const summary = metroStatus === 0 ? `Metro cleanup completed for ${target}, but Mobile app/device restoration is unverified: no initial state is recorded. Restore and verify the device through its lifecycle owner.` : `failed to stop Metro for ${target}`;
+      const summary = status === 0 ? `stopped Metro dev server for ${target}` : `failed to stop Metro for ${target}`;
       return { kind: "stopped", status, summary, output };
     }
   },

package/library/actions/core/perps/start_state.mjs

@@ -1,7 +1,7 @@
 // Prepare selected testnet baselines before proof, handling positions before orders.
 // Omitted domains are skipped; this headless action performs no UI navigation.
 
-import { isDirectRun, resolveNetwork, runAdapter } from './_controller.mjs';
+import { getCoreController, isDirectRun, resolveNetwork, runAdapter } from './_controller.mjs';
 import { ensureOrders } from './ensure_orders.mjs';
 import { ensurePositions } from './ensure_positions.mjs';
 
@@ -54,11 +54,13 @@ export async function startState(input) {
   const network = resolveNetwork(input);
   const positionsBaseline = normalizeBaseline(input.node?.positions, 'positions');
   const ordersBaseline = normalizeBaseline(input.node?.orders, 'orders');
+  const { controller } = await getCoreController(input);
 
   const result = {
     action: input.action,
     source: 'perps-controller-composite',
     network,
+    isTestnet: controller.state.isTestnet,
     profile: input.node?.profile ?? null,
     converged: { positions: null, orders: null },
     proofPath: 'perps-controller-start_state',

package/library/actions/extension/perps/start_state.mjs

@@ -0,0 +1,9 @@
+// Establish the requested Perps network before proof through the existing guarded toggle.
+import { runAdapter } from '../platform/cdp.mjs';
+import { setNetwork } from './perps.mjs';
+
+runAdapter(async (input) => ({
+  action: input.action,
+  phase: 'start_state',
+  network: await setNetwork(input),
+}));

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

@@ -5167,6 +5167,62 @@
         "app-mutation"
       ]
     },
+    "metamask.perps.start_state": {
+      "description": "Apply the requested Perps network through the supported product toggle and verify readback before proof. Explicit false positions/orders preserve trading state. Mainnet keeps the existing opt-in, order guard and run cleanup policy.",
+      "schema": {
+        "type": "object",
+        "properties": {
+          "network": {
+            "type": "string",
+            "enum": [
+              "testnet",
+              "mainnet"
+            ]
+          },
+          "page": {
+            "type": "boolean",
+            "enum": [
+              false
+            ],
+            "description": "No additional route setup; network selection uses the Perps home surface."
+          },
+          "positions": {
+            "type": "boolean",
+            "enum": [
+              false
+            ]
+          },
+          "orders": {
+            "type": "boolean",
+            "enum": [
+              false
+            ]
+          },
+          "timeout_ms": {
+            "type": "number",
+            "minimum": 1
+          }
+        },
+        "additionalProperties": false,
+        "required": [
+          "network"
+        ]
+      },
+      "examples": [
+        {
+          "action": "metamask.perps.start_state",
+          "network": "testnet",
+          "page": false,
+          "positions": false,
+          "orders": false,
+          "intent": "Establish and verify testnet before Perps proof without clearing trading state",
+          "next": "done"
+        }
+      ],
+      "execution_capabilities": [
+        "app-mutation"
+      ]
+    },
     "metamask.perps.set_network": {
       "description": "Switch the Extension's Perps network through the background perpsToggleTestnet request and wait until the app reports it. The fixture loads testnet; network=mainnet is the explicit opt-in and lasts one run: the run's teardown switches back to testnet (success, failure or abort).",
       "schema": {

package/library/recipes/core/health/check.recipe.json

@@ -1,35 +1,50 @@
 {
   "$schema": "https://farmslot.io/schemas/recipe-v1.schema.json",
   "title": "MetaMask Core health check",
-  "description": "Read-only check to run before ticket work: the headless Perps controller imports and answers one bounded HyperLiquid testnet account read. A failed precondition stops at the node named after its error; that node's intent gives the recovery. Places no orders.",
+  "description": "Sets and verifies the configured Perps network, default testnet, before proof. Read-only check to run before ticket work: the headless Perps controller imports and answers one bounded HyperLiquid account read on the requested network. A failed precondition stops at the node named after its error; that node's intent gives the recovery. Places no orders.",
   "paramsSchema": {
     "type": "object",
     "additionalProperties": false,
     "properties": {
+      "network": {
+        "type": "string",
+        "enum": [
+          "testnet",
+          "mainnet"
+        ],
+        "default": "testnet",
+        "description": "Perps setup network before proof. Mainnet requires this explicit parameter and the existing funding/cleanup policy."
+      },
       "timeout_ms": { "type": "integer", "minimum": 1000, "default": 60000 }
     }
   },
   "workflow": {
     "entry": "status",
     "nodes": {
+      "NETWORK_SETUP_FAILED": {
+        "action": "metamask.perps.start_state",
+        "network": "{{params.network}}",
+        "next": "CONTROLLER_UNAVAILABLE",
+        "intent": "Network setup failed before proof. Next: mm-harness doctor --fix"
+      },
       "status": {
         "action": "app.status",
-        "next": "CONTROLLER_UNAVAILABLE",
+        "next": "NETWORK_SETUP_FAILED",
         "intent": "Record the resolved Core checkout"
       },
       "CONTROLLER_UNAVAILABLE": {
         "action": "metamask.perps.read_account",
-        "network": "testnet",
+        "network": "{{params.network}}",
         "timeout_ms": "{{params.timeout_ms}}",
         "next": "ACCOUNT_READ_FAILED",
-        "intent": "CONTROLLER_UNAVAILABLE unless the Perps controller imports and reads the testnet account in time. Recovery: mm-harness doctor --fix"
+        "intent": "Perps controller is unavailable on the selected network. Next: mm-harness doctor --fix"
       },
       "ACCOUNT_READ_FAILED": {
         "action": "assert_output",
         "source": "CONTROLLER_UNAVAILABLE",
         "assert": { "path": "$.accountState.totalBalance", "operator": "matches", "value": "^-?[0-9]+(\\.[0-9]+)?$" },
         "next": "done",
-        "intent": "ACCOUNT_READ_FAILED unless the read returned a numeric balance; the controller reports an unreachable venue as a placeholder. Recovery: check network access to HyperLiquid testnet, then rerun"
+        "intent": "Account read returned no numeric balance. Next: check HyperLiquid testnet access"
       },
       "done": {
         "action": "end",

package/library/recipes/core/perps/smoke.recipe.json

@@ -1,7 +1,7 @@
 {
   "$schema": "https://farmslot.io/schemas/recipe-v1.schema.json",
   "title": "MetaMask core Perps smoke",
-  "description": "Non-mutating Perps domain smoke for the headless core adapter: instantiates the Perps controller and reads live positions, orders, and account state.",
+  "description": "Sets and verifies the configured Perps network, default testnet, before proof. Perps domain smoke for the headless core adapter: instantiates the Perps controller and reads live positions, orders, and account state.",
   "paramsSchema": {
     "type": "object",
     "additionalProperties": false,
@@ -22,9 +22,16 @@
   "workflow": {
     "entry": "status",
     "nodes": {
+      "start-state": {
+        "action": "metamask.perps.start_state",
+        "network": "{{params.network}}",
+        "account": "{{params.account}}",
+        "next": "read-positions",
+        "intent": "Verify the configured Perps network before proof; default testnet. Keep accounts and orders."
+      },
       "status": {
         "action": "app.status",
-        "next": "read-positions",
+        "next": "start-state",
         "intent": "Resolve the core checkout and report headless compatibility mode"
       },
       "read-positions": {

package/library/recipes/core/perps/snapshot.recipe.json

@@ -1,7 +1,7 @@
 {
   "$schema": "https://farmslot.io/schemas/recipe-v1.schema.json",
   "title": "MetaMask core Perps snapshots",
-  "description": "Reads global market and account snapshots through the public PerpsController API used by wallet clients. Configure CORE_PERPS_TERMINAL_GLOBAL_SNAPSHOT_URL to exercise a Terminal schema-v2 endpoint.",
+  "description": "Sets and verifies the configured Perps network, default testnet, before proof. Reads global market and account snapshots through the public PerpsController API used by wallet clients. Configure CORE_PERPS_TERMINAL_GLOBAL_SNAPSHOT_URL to exercise a Terminal schema-v2 endpoint.",
   "paramsSchema": {
     "type": "object",
     "additionalProperties": false,
@@ -28,9 +28,16 @@
   "workflow": {
     "entry": "status",
     "nodes": {
+      "start-state": {
+        "action": "metamask.perps.start_state",
+        "network": "{{params.network}}",
+        "account": "{{params.account}}",
+        "next": "read_snapshot",
+        "intent": "Verify the configured Perps network before proof; default testnet. Keep accounts and orders."
+      },
       "status": {
         "action": "app.status",
-        "next": "read_snapshot",
+        "next": "start-state",
         "intent": "Resolve the Core checkout and report headless compatibility"
       },
       "read_snapshot": {

package/library/recipes/extension/health/check.recipe.json

@@ -54,7 +54,7 @@
       "CONSOLE_ERRORS": {
         "action": "metamask.app.assert_no_console_errors",
         "next": "screenshot",
-        "intent": "CONSOLE_ERRORS if the app logged an error outside the console allowlist since launch. Recovery: fix the error, or allowlist known noise with a reason in a library's diagnostics/console-allowlist.json"
+        "intent": "Unexpected app console error. Next: fix it or add explained noise to diagnostics/console-allowlist.json"
       },
       "screenshot": {
         "action": "ui.screenshot",

package/library/recipes/extension/performance/navigation-memory-suite.recipe.json

@@ -1,7 +1,7 @@
 {
   "$schema": "https://farmslot.io/schemas/recipe-v1.schema.json",
   "title": "Extension multi-screen retained-memory suite",
-  "description": "Broad maintainer suite: retain all eight screen slopes, detached-DOM checks, and equal-duration idle attribution. Use performance.navigation-memory for one screen. Verify these reference screen markers against the tested build.",
+  "description": "Sets and verifies the configured Perps network, default testnet, before proof. Broad maintainer suite: retain all eight screen slopes, detached-DOM checks, and equal-duration idle attribution. Use performance.navigation-memory for one screen. Verify these reference screen markers against the tested build.",
   "proofTargets": [
     {
       "id": "screen-slopes",
@@ -16,9 +16,33 @@
       "claim": "Navigation-attributable listener growth remains within its declared bound after subtracting an equal-duration idle control."
     }
   ],
+  "paramsSchema": {
+    "type": "object",
+    "additionalProperties": false,
+    "properties": {
+      "network": {
+        "type": "string",
+        "enum": [
+          "testnet",
+          "mainnet"
+        ],
+        "default": "testnet",
+        "description": "Perps setup network before proof. Mainnet requires this explicit parameter and the existing funding/cleanup policy."
+      }
+    }
+  },
   "workflow": {
     "entry": "require-cdp",
     "nodes": {
+      "start-state": {
+        "action": "metamask.perps.start_state",
+        "network": "{{params.network}}",
+        "page": false,
+        "positions": false,
+        "orders": false,
+        "next": "market-detail",
+        "intent": "Verify the configured Perps network before proof; default testnet. Keep accounts and orders."
+      },
       "require-cdp": {
         "action": "cdp.target",
         "required": true,
@@ -29,7 +53,7 @@
       "ensure-unlocked": {
         "action": "metamask.wallet.ensure_unlocked",
         "intent": "Ensure the representative screens are reachable from an unlocked wallet.",
-        "next": "market-detail"
+        "next": "start-state"
       },
       "market-detail": {
         "action": "call",

package/library/recipes/extension/perps/smoke.recipe.json

@@ -1,10 +1,34 @@
 {
   "$schema": "https://farmslot.io/schemas/recipe-v1.schema.json",
   "title": "MetaMask Extension Perps smoke",
-  "description": "Read-only Extension Perps smoke: verifies CDP, unlocks if needed, opens Perps, proves visible home with market data, and reads positions/orders. Requires approved wallet setup and completed onboarding gates; a visible tutorial is setup, not passing smoke.",
+  "description": "Sets and verifies the configured Perps network, default testnet, before proof. Extension Perps smoke: verifies CDP, unlocks if needed, opens Perps, proves visible home with market data, and reads positions/orders. Requires approved wallet setup and completed onboarding gates; a visible tutorial is setup, not passing smoke.",
+  "paramsSchema": {
+    "type": "object",
+    "additionalProperties": false,
+    "properties": {
+      "network": {
+        "type": "string",
+        "enum": [
+          "testnet",
+          "mainnet"
+        ],
+        "default": "testnet",
+        "description": "Perps setup network before proof. Mainnet requires this explicit parameter and the existing funding/cleanup policy."
+      }
+    }
+  },
   "workflow": {
     "entry": "status",
     "nodes": {
+      "start-state": {
+        "action": "metamask.perps.start_state",
+        "network": "{{params.network}}",
+        "page": false,
+        "positions": false,
+        "orders": false,
+        "next": "read-home",
+        "intent": "Verify the configured Perps network before proof; default testnet. Keep accounts and orders."
+      },
       "status": {
         "action": "app.status",
         "next": "cdp",
@@ -26,7 +50,7 @@
       "open-perps": {
         "action": "ui.navigate",
         "page": "perps",
-        "next": "read-home",
+        "next": "start-state",
         "intent": "Show the Perps home surface"
       },
       "read-positions": {

package/library/recipes/mobile/health/check.recipe.json

@@ -54,7 +54,7 @@
       "CONSOLE_ERRORS": {
         "action": "metamask.app.assert_no_console_errors",
         "next": "screenshot",
-        "intent": "CONSOLE_ERRORS if the app logged an error outside the console allowlist since launch. Recovery: fix the error, or allowlist known noise with a reason in a library's diagnostics/console-allowlist.json"
+        "intent": "Unexpected app console error. Next: fix it or add explained noise to diagnostics/console-allowlist.json"
       },
       "screenshot": {
         "action": "ui.screenshot",

package/library/recipes/mobile/perps/smoke.recipe.json

@@ -1,10 +1,34 @@
 {
   "$schema": "https://farmslot.io/schemas/recipe-v1.schema.json",
   "title": "MetaMask Mobile Perps smoke",
-  "description": "Non-mutating Perps domain smoke for debug-enabled MetaMask Mobile: unlock if needed, open Perps, assert live positions and orders, and retain a HUD screenshot. Teardown observes wallet home. Does not close positions or stop the app.",
+  "description": "Sets and verifies the configured Perps network, default testnet, before proof. Perps domain smoke for debug-enabled MetaMask Mobile: unlock if needed, open Perps, assert live positions and orders, and retain a HUD screenshot. Teardown observes wallet home. Does not close positions or stop the app.",
+  "paramsSchema": {
+    "type": "object",
+    "additionalProperties": false,
+    "properties": {
+      "network": {
+        "type": "string",
+        "enum": [
+          "testnet",
+          "mainnet"
+        ],
+        "default": "testnet",
+        "description": "Perps setup network before proof. Mainnet requires this explicit parameter and the existing funding/cleanup policy."
+      }
+    }
+  },
   "workflow": {
     "entry": "status",
     "nodes": {
+      "start-state": {
+        "action": "metamask.perps.start_state",
+        "network": "{{params.network}}",
+        "page": false,
+        "positions": false,
+        "orders": false,
+        "next": "observe-perps",
+        "intent": "Verify the configured Perps network before proof; default testnet. Keep accounts and orders."
+      },
       "status": {
         "action": "app.status",
         "next": "cdp",
@@ -27,7 +51,7 @@
       "open-perps": {
         "action": "ui.navigate",
         "page": "perps",
-        "next": "observe-perps",
+        "next": "start-state",
         "intent": "Show the Perps market list"
       },
       "observe-perps": {

package/library/recipes/shared/perps/release-market-details.recipe.json

@@ -1,12 +1,21 @@
 {
   "$schema": "https://farmslot.io/schemas/recipe-v1.schema.json",
   "title": "Perps release market details",
-  "description": "Opens one live Perps market through visible UI and proves its header price, change, statistics, and Long/Short controls; it does not assert chart data. Requires no existing position in the chosen market: held markets show Modify/Close instead. Verify the fixture with a supported read before selecting market; never close a position to satisfy this recipe.",
+  "description": "Sets and verifies the configured Perps network, default testnet, before proof. Opens one live Perps market through visible UI and proves its header price, change, statistics, and Long/Short controls; it does not assert chart data. Requires no existing position in the chosen market: held markets show Modify/Close instead. Verify the fixture with a supported read before selecting market; never close a position to satisfy this recipe.",
   "paramsSchema": {
     "type": "object",
     "additionalProperties": false,
     "required": ["market"],
     "properties": {
+      "network": {
+        "type": "string",
+        "enum": [
+          "testnet",
+          "mainnet"
+        ],
+        "default": "testnet",
+        "description": "Perps setup network before proof. Mainnet requires this explicit parameter and the existing funding/cleanup policy."
+      },
       "market": {
         "type": "string",
         "description": "Perps market symbol with no existing position, so Long/Short controls are expected."
@@ -21,12 +30,21 @@
   "workflow": {
     "entry": "open-perps",
     "nodes": {
+      "start-state": {
+        "action": "metamask.perps.start_state",
+        "network": "{{params.network}}",
+        "page": false,
+        "positions": false,
+        "orders": false,
+        "next": "open-market-list",
+        "intent": "Verify the configured Perps network before proof; default testnet. Keep accounts and orders."
+      },
       "open-perps": {
         "action": "ui.navigate",
         "page": "perps",
         "timeout_ms": "{{params.timeout_ms}}",
         "intent": "Reset transient market-list state on the Perps home surface",
-        "next": "open-market-list"
+        "next": "start-state"
       },
       "open-market-list": {
         "action": "ui.navigate",

package/library/recipes/shared/perps/release-market-search.recipe.json

@@ -1,11 +1,20 @@
 {
   "$schema": "https://farmslot.io/schemas/recipe-v1.schema.json",
   "title": "Perps release market search",
-  "description": "Searches the live Perps market list by product name through trusted keyboard input and proves the filtered result set without development-only bridges.",
+  "description": "Sets and verifies the configured Perps network, default testnet, before proof. Searches the live Perps market list by product name through trusted keyboard input and proves the filtered result set without development-only bridges.",
   "paramsSchema": {
     "type": "object",
     "additionalProperties": false,
     "properties": {
+      "network": {
+        "type": "string",
+        "enum": [
+          "testnet",
+          "mainnet"
+        ],
+        "default": "testnet",
+        "description": "Perps setup network before proof. Mainnet requires this explicit parameter and the existing funding/cleanup policy."
+      },
       "query": {
         "type": "string",
         "default": "Bitcoin"
@@ -29,11 +38,20 @@
   "workflow": {
     "entry": "open-perps",
     "nodes": {
+      "start-state": {
+        "action": "metamask.perps.start_state",
+        "network": "{{params.network}}",
+        "page": false,
+        "positions": false,
+        "orders": false,
+        "next": "open-market-list",
+        "intent": "Verify the configured Perps network before proof; default testnet. Keep accounts and orders."
+      },
       "open-perps": {
         "action": "ui.navigate",
         "page": "perps",
         "intent": "Reset transient market-list state on the Perps home surface",
-        "next": "open-market-list"
+        "next": "start-state"
       },
       "open-market-list": {
         "action": "ui.navigate",

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@deeeed/metamask-harness",
-  "version": "0.91.4",
+  "version": "0.91.6",
   "type": "module",
   "bin": {
     "mm-harness": "bin/mm-harness"
@@ -28,7 +28,7 @@
     "@farmslot/agent-runtime": "0.18.1",
     "@farmslot/handoff": "^0.3.1",
     "@farmslot/protocol": "0.40.0",
-    "@farmslot/recipe-cli": "0.14.2",
+    "@farmslot/recipe-cli": "0.14.3",
     "@farmslot/recipe-runner": "0.31.0",
     "agent-device": "0.19.3",
     "commander": "^12.0.0",