@deeeed/metamask-harness 0.47.4 → 0.48.0

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

@@ -0,0 +1,219 @@
+{
+  "$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.",
+  "proofTargets": [
+    {
+      "id": "screen-slopes",
+      "claim": "Eight representative Extension screens remain within separate post-GC retained-node and listener growth bounds during navigation churn."
+    },
+    {
+      "id": "detached-dom",
+      "claim": "Detached DOM retained after forced garbage collection does not grow beyond the declared bound."
+    },
+    {
+      "id": "idle-control",
+      "claim": "Navigation-attributable listener growth remains within its declared bound after subtracting an equal-duration idle control."
+    }
+  ],
+  "workflow": {
+    "entry": "require-cdp",
+    "nodes": {
+      "require-cdp": {
+        "action": "cdp.target",
+        "required": true,
+        "require_reachable": true,
+        "intent": "Confirm the live Extension CDP target is reachable before measuring retained memory.",
+        "next": "ensure-unlocked"
+      },
+      "ensure-unlocked": {
+        "action": "metamask.wallet.ensure_unlocked",
+        "intent": "Ensure the representative screens are reachable from an unlocked wallet.",
+        "next": "market-detail"
+      },
+      "market-detail": {
+        "action": "call",
+        "ref": "performance.navigation-memory",
+        "params": {
+          "screen_hash": "#/perps/market/ETH",
+          "screen_test_id": "parent-selector-perps-market-detail",
+          "return_hash": "#/",
+          "cycles": 8,
+          "timeout_ms": 400000,
+          "max_nodes_per_cycle": 2,
+          "max_listeners_per_cycle": 4
+        },
+        "intent": "Measure the post-GC navigation slope for Perps market detail.",
+        "proves": [
+          "screen-slopes"
+        ],
+        "next": "order-entry"
+      },
+      "order-entry": {
+        "action": "call",
+        "ref": "performance.navigation-memory",
+        "params": {
+          "screen_hash": "#/perps/trade/ETH?direction=long&mode=new",
+          "screen_test_id": "parent-selector-perps-order-entry",
+          "return_hash": "#/",
+          "cycles": 6,
+          "timeout_ms": 400000,
+          "max_nodes_per_cycle": 2,
+          "max_listeners_per_cycle": 4
+        },
+        "intent": "Measure the post-GC navigation slope for Perps order entry.",
+        "proves": [
+          "screen-slopes"
+        ],
+        "next": "perps-home"
+      },
+      "perps-home": {
+        "action": "call",
+        "ref": "performance.navigation-memory",
+        "params": {
+          "screen_hash": "#/perps-home",
+          "screen_test_id": "perps-home-page",
+          "return_hash": "#/",
+          "cycles": 6,
+          "timeout_ms": 400000,
+          "max_nodes_per_cycle": 2,
+          "max_listeners_per_cycle": 4
+        },
+        "intent": "Measure the post-GC navigation slope for Perps home.",
+        "proves": [
+          "screen-slopes"
+        ],
+        "next": "market-list"
+      },
+      "market-list": {
+        "action": "call",
+        "ref": "performance.navigation-memory",
+        "params": {
+          "screen_hash": "#/perps/market-list",
+          "screen_test_id": "parent-selector-perps-market-list",
+          "return_hash": "#/",
+          "cycles": 6,
+          "timeout_ms": 400000,
+          "max_nodes_per_cycle": 2,
+          "max_listeners_per_cycle": 4
+        },
+        "intent": "Measure the post-GC navigation slope for the Perps market list.",
+        "proves": [
+          "screen-slopes"
+        ],
+        "next": "perps-activity"
+      },
+      "perps-activity": {
+        "action": "call",
+        "ref": "performance.navigation-memory",
+        "params": {
+          "screen_hash": "#/perps/activity",
+          "screen_test_id": "parent-selector-perps-activity",
+          "return_hash": "#/",
+          "cycles": 6,
+          "timeout_ms": 400000,
+          "max_nodes_per_cycle": 2,
+          "max_listeners_per_cycle": 4
+        },
+        "intent": "Measure the post-GC navigation slope for Perps activity.",
+        "proves": [
+          "screen-slopes"
+        ],
+        "next": "asset-details"
+      },
+      "asset-details": {
+        "action": "call",
+        "ref": "performance.navigation-memory",
+        "params": {
+          "screen_hash": "#/asset/0x1/",
+          "screen_test_id": "asset-price-chart",
+          "return_hash": "#/",
+          "cycles": 6,
+          "timeout_ms": 400000,
+          "max_nodes_per_cycle": 2,
+          "max_listeners_per_cycle": 4
+        },
+        "intent": "Measure the post-GC navigation slope for asset details.",
+        "proves": [
+          "screen-slopes"
+        ],
+        "next": "swaps-bridge"
+      },
+      "swaps-bridge": {
+        "action": "call",
+        "ref": "performance.navigation-memory",
+        "params": {
+          "screen_hash": "#/cross-chain/swaps/prepare-bridge-page",
+          "screen_test_id": "bridge-source-button",
+          "return_hash": "#/",
+          "cycles": 6,
+          "timeout_ms": 400000,
+          "max_nodes_per_cycle": 2,
+          "max_listeners_per_cycle": 4
+        },
+        "intent": "Measure the post-GC navigation slope for Swaps and Bridge.",
+        "proves": [
+          "screen-slopes"
+        ],
+        "next": "settings-control"
+      },
+      "settings-control": {
+        "action": "call",
+        "ref": "performance.navigation-memory",
+        "params": {
+          "screen_hash": "#/settings",
+          "screen_test_id": "settings-tab-bar-grouped",
+          "return_hash": "#/",
+          "cycles": 6,
+          "timeout_ms": 400000,
+          "max_nodes_per_cycle": 2,
+          "max_listeners_per_cycle": 4
+        },
+        "intent": "Measure a non-Perps control screen with the same retained-memory gate.",
+        "proves": [
+          "screen-slopes"
+        ],
+        "next": "detached-market-detail"
+      },
+      "detached-market-detail": {
+        "action": "metamask.performance.measure_detached_dom",
+        "screen_hash": "#/perps/market/ETH",
+        "screen_test_id": "parent-selector-perps-market-detail",
+        "return_hash": "#/",
+        "cycles": 5,
+        "timeout_ms": 400000,
+        "max_detached_growth": 50,
+        "intent": "Compare retained detached DOM before and after market-detail navigation churn.",
+        "proves": [
+          "detached-dom"
+        ],
+        "next": "idle-control-market-detail"
+      },
+      "idle-control-market-detail": {
+        "action": "metamask.performance.compare_idle_navigation_memory",
+        "screen_hash": "#/perps/market/ETH",
+        "screen_test_id": "parent-selector-perps-market-detail",
+        "return_hash": "#/",
+        "rounds": 8,
+        "round_duration_ms": 10000,
+        "timeout_ms": 400000,
+        "max_attributable_listeners_per_cycle": 2,
+        "intent": "Subtract equal-duration idle growth from the market-detail navigation slope.",
+        "proves": [
+          "idle-control"
+        ],
+        "next": "return-home"
+      },
+      "return-home": {
+        "action": "ui.navigate",
+        "page": "home",
+        "intent": "Leave the Extension on a known screen after the audit.",
+        "next": "done"
+      },
+      "done": {
+        "action": "end",
+        "status": "pass"
+      }
+    }
+  }
+}

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

@@ -1,169 +1,74 @@
 {
   "$schema": "https://farmslot.io/schemas/recipe-v1.schema.json",
-  "title": "Extension navigation retained-memory audit",
-  "description": "Measures post-GC retained nodes and listeners across eight representative Extension screens, verifies detached DOM does not grow, and separates navigation-attributable listener growth from an equal-duration idle control.",
-  "proofTargets": [
-    {
-      "id": "screen-slopes",
-      "claim": "Eight representative Extension screens remain within separate post-GC retained-node and listener growth bounds during navigation churn."
-    },
-    {
-      "id": "detached-dom",
-      "claim": "Detached DOM retained after forced garbage collection does not grow beyond the declared bound."
-    },
-    {
-      "id": "idle-control",
-      "claim": "Navigation-attributable listener growth remains within its declared bound after subtracting an equal-duration idle control."
-    }
-  ],
-  "workflow": {
-    "entry": "require-cdp",
-    "nodes": {
-      "require-cdp": {
-        "action": "cdp.target",
-        "required": true,
-        "require_reachable": true,
-        "intent": "Confirm the live Extension CDP target is reachable before measuring retained memory.",
-        "next": "ensure-unlocked"
+  "title": "Extension one-screen retained-memory measurement",
+  "description": "Measure retained DOM-node and listener growth for one screen in an already-unlocked runtime. This does not prove detached-DOM or idle attribution; use performance.navigation-memory-suite for those checks. Run with --hud hide for a consistent measurement condition.",
+  "paramsSchema": {
+    "type": "object",
+    "additionalProperties": false,
+    "required": [
+      "screen_hash",
+      "screen_test_id"
+    ],
+    "properties": {
+      "screen_hash": {
+        "type": "string",
+        "description": "Exact in-app hash route to measure."
       },
-      "ensure-unlocked": {
-        "action": "metamask.wallet.ensure_unlocked",
-        "intent": "Ensure the representative screens are reachable from an unlocked wallet.",
-        "next": "market-detail"
-      },
-      "market-detail": {
-        "action": "metamask.performance.measure_navigation_memory",
-        "screen_hash": "#/perps/market/ETH",
-        "screen_test_id": "perps-market-detail-page",
-        "return_hash": "#/",
-        "cycles": 8,
-        "timeout_ms": 400000,
-        "max_nodes_per_cycle": 2,
-        "max_listeners_per_cycle": 4,
-        "intent": "Measure the post-GC navigation slope for Perps market detail.",
-        "proves": ["screen-slopes"],
-        "next": "order-entry"
+      "screen_test_id": {
+        "type": "string",
+        "description": "Current screen marker that must appear before each sample."
       },
-      "order-entry": {
-        "action": "metamask.performance.measure_navigation_memory",
-        "screen_hash": "#/perps/trade/ETH?direction=long&mode=new",
-        "screen_test_id": "perps-order-entry-page",
-        "return_hash": "#/",
-        "cycles": 6,
-        "timeout_ms": 400000,
-        "max_nodes_per_cycle": 2,
-        "max_listeners_per_cycle": 4,
-        "intent": "Measure the post-GC navigation slope for Perps order entry.",
-        "proves": ["screen-slopes"],
-        "next": "perps-home"
+      "return_hash": {
+        "type": "string",
+        "default": "#/",
+        "description": "Route to visit between measured-screen entries."
       },
-      "perps-home": {
-        "action": "metamask.performance.measure_navigation_memory",
-        "screen_hash": "#/perps-home",
-        "screen_test_id": "perps-home-page",
-        "return_hash": "#/",
-        "cycles": 6,
-        "timeout_ms": 400000,
-        "max_nodes_per_cycle": 2,
-        "max_listeners_per_cycle": 4,
-        "intent": "Measure the post-GC navigation slope for Perps home.",
-        "proves": ["screen-slopes"],
-        "next": "market-list"
+      "cycles": {
+        "type": "integer",
+        "minimum": 2,
+        "default": 8,
+        "description": "Post-GC samples; choose the count before measuring."
       },
-      "market-list": {
-        "action": "metamask.performance.measure_navigation_memory",
-        "screen_hash": "#/perps/market-list",
-        "screen_test_id": "market-list-view",
-        "return_hash": "#/",
-        "cycles": 6,
-        "timeout_ms": 400000,
-        "max_nodes_per_cycle": 2,
-        "max_listeners_per_cycle": 4,
-        "intent": "Measure the post-GC navigation slope for the Perps market list.",
-        "proves": ["screen-slopes"],
-        "next": "perps-activity"
+      "max_nodes_per_cycle": {
+        "type": "number",
+        "minimum": 0,
+        "default": 2,
+        "description": "Declared retained DOM-node growth budget per cycle."
       },
-      "perps-activity": {
-        "action": "metamask.performance.measure_navigation_memory",
-        "screen_hash": "#/perps/activity",
-        "screen_test_id": "perps-activity-page",
-        "return_hash": "#/",
-        "cycles": 6,
-        "timeout_ms": 400000,
-        "max_nodes_per_cycle": 2,
-        "max_listeners_per_cycle": 4,
-        "intent": "Measure the post-GC navigation slope for Perps activity.",
-        "proves": ["screen-slopes"],
-        "next": "asset-details"
+      "max_listeners_per_cycle": {
+        "type": "number",
+        "minimum": 0,
+        "default": 4,
+        "description": "Declared retained listener growth budget per cycle."
       },
-      "asset-details": {
-        "action": "metamask.performance.measure_navigation_memory",
-        "screen_hash": "#/asset/0x1/",
-        "screen_test_id": "asset-price-chart",
-        "return_hash": "#/",
-        "cycles": 6,
-        "timeout_ms": 400000,
-        "max_nodes_per_cycle": 2,
-        "max_listeners_per_cycle": 4,
-        "intent": "Measure the post-GC navigation slope for asset details.",
-        "proves": ["screen-slopes"],
-        "next": "swaps-bridge"
+      "screen_timeout_ms": {
+        "type": "integer",
+        "minimum": 1,
+        "default": 15000,
+        "description": "Maximum wait for each screen marker."
       },
-      "swaps-bridge": {
-        "action": "metamask.performance.measure_navigation_memory",
-        "screen_hash": "#/cross-chain/swaps/prepare-bridge-page",
-        "screen_test_id": "bridge-source-button",
-        "return_hash": "#/",
-        "cycles": 6,
-        "timeout_ms": 400000,
-        "max_nodes_per_cycle": 2,
-        "max_listeners_per_cycle": 4,
-        "intent": "Measure the post-GC navigation slope for Swaps and Bridge.",
-        "proves": ["screen-slopes"],
-        "next": "settings-control"
-      },
-      "settings-control": {
+      "timeout_ms": {
+        "type": "integer",
+        "minimum": 1,
+        "default": 120000,
+        "description": "Total bound for this one-screen measurement."
+      }
+    }
+  },
+  "workflow": {
+    "entry": "measure",
+    "nodes": {
+      "measure": {
         "action": "metamask.performance.measure_navigation_memory",
-        "screen_hash": "#/settings",
-        "screen_test_id": "settings-tab-bar-grouped",
-        "return_hash": "#/",
-        "cycles": 6,
-        "timeout_ms": 400000,
-        "max_nodes_per_cycle": 2,
-        "max_listeners_per_cycle": 4,
-        "intent": "Measure a non-Perps control screen with the same retained-memory gate.",
-        "proves": ["screen-slopes"],
-        "next": "detached-market-detail"
-      },
-      "detached-market-detail": {
-        "action": "metamask.performance.measure_detached_dom",
-        "screen_hash": "#/perps/market/ETH",
-        "screen_test_id": "perps-market-detail-page",
-        "return_hash": "#/",
-        "cycles": 5,
-        "timeout_ms": 400000,
-        "max_detached_growth": 50,
-        "intent": "Compare retained detached DOM before and after market-detail navigation churn.",
-        "proves": ["detached-dom"],
-        "next": "idle-control-market-detail"
-      },
-      "idle-control-market-detail": {
-        "action": "metamask.performance.compare_idle_navigation_memory",
-        "screen_hash": "#/perps/market/ETH",
-        "screen_test_id": "perps-market-detail-page",
-        "return_hash": "#/",
-        "rounds": 8,
-        "round_duration_ms": 10000,
-        "timeout_ms": 400000,
-        "max_attributable_listeners_per_cycle": 2,
-        "intent": "Subtract equal-duration idle growth from the market-detail navigation slope.",
-        "proves": ["idle-control"],
-        "next": "return-home"
-      },
-      "return-home": {
-        "action": "ui.navigate",
-        "page": "home",
-        "intent": "Leave the Extension on a known screen after the audit.",
+        "screen_hash": "{{params.screen_hash}}",
+        "screen_test_id": "{{params.screen_test_id}}",
+        "return_hash": "{{params.return_hash}}",
+        "cycles": "{{params.cycles}}",
+        "max_nodes_per_cycle": "{{params.max_nodes_per_cycle}}",
+        "max_listeners_per_cycle": "{{params.max_listeners_per_cycle}}",
+        "screen_timeout_ms": "{{params.screen_timeout_ms}}",
+        "timeout_ms": "{{params.timeout_ms}}",
+        "intent": "Measure post-GC retained-node and listener slopes for the requested screen",
         "next": "done"
       },
       "done": {

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

@@ -2,18 +2,27 @@
   "$schema": "https://farmslot.io/schemas/recipe-v1.schema.json",
   "title": "MetaMask Extension wallet smoke",
   "description": "Fixture-backed proof that the Extension wallet is reachable, unlocked, readable, and visually capturable without depending on a product feature domain.",
+  "paramsSchema": {
+    "type": "object",
+    "additionalProperties": false,
+    "properties": {
+      "capture_path": { "type": "string", "default": "screenshots/wallet-smoke.png" }
+    }
+  },
   "workflow": {
-    "entry": "status",
+    "entry": "fixture",
     "nodes": {
-      "status": {
-        "action": "app.status",
-        "next": "fixture",
-        "intent": "Confirm the Extension runtime is reachable"
-      },
       "fixture": {
         "action": "metamask.wallet.fixture_status",
+        "next": "require-fixture",
+        "intent": "Read the checkout's wallet fixture readiness without changing it"
+      },
+      "require-fixture": {
+        "action": "assert_output",
+        "source": "fixture",
+        "assert": { "path": "$.status", "operator": "eq", "value": "ready" },
         "next": "unlock",
-        "intent": "Confirm the checkout wallet fixture is ready"
+        "intent": "Require a ready on-disk fixture before interacting with the wallet; this does not prove imported account identity"
       },
       "unlock": {
         "action": "metamask.wallet.ensure_unlocked",
@@ -27,7 +36,7 @@
       },
       "screenshot": {
         "action": "ui.screenshot",
-        "path": "screenshots/wallet-smoke.png",
+        "path": "{{params.capture_path}}",
         "next": "done",
         "intent": "Record the visible wallet state as evidence"
       },

package/library/recipes/mobile/app/lifecycle.android-smoke.recipe.json

@@ -1,7 +1,19 @@
 {
   "$schema": "https://farmslot.io/schemas/recipe-v1.schema.json",
   "title": "MetaMask Mobile Android lifecycle smoke",
-  "description": "Isolated on-device proof for the standard app.lifecycle action on Android. The graph cold-relaunches the installed app without rebuilding, proves the React Native bridge is reachable, backgrounds and foregrounds the app, proves bridge recovery, and captures a screenshot.",
+  "description": "Cold-launch the installed Android dev client, verify its bridge, unlock the fixture-backed wallet, then prove same-process background/foreground recovery and capture the final app state. Requires a source-dev runtime; does not rebuild or reset wallet data.",
+  "paramsSchema": {
+    "type": "object",
+    "additionalProperties": false,
+    "properties": {
+      "runtime_ready_timeout_ms": {
+        "type": "integer",
+        "minimum": 1000,
+        "default": 60000,
+        "description": "Bound the selected bridge/route readiness check after each launch or foreground operation."
+      }
+    }
+  },
   "workflow": {
     "entry": "terminate-before",
     "nodes": {
@@ -10,6 +22,7 @@
         "platform": "android",
         "command": "background",
         "settle_ms": 1000,
+        "require_process_continuity": true,
         "intent": "Put the selected Android device on the launcher",
         "next": "foreground-app"
       },
@@ -17,8 +30,9 @@
         "action": "app.lifecycle",
         "platform": "android",
         "command": "foreground",
-        "settle_ms": 15000,
-        "intent": "Foreground the installed Android app through the Expo dev-client deep link",
+        "runtime_ready_timeout_ms": "{{params.runtime_ready_timeout_ms}}",
+        "require_process_continuity": true,
+        "intent": "Resume the installed Android app in the same process and await its selected bridge",
         "next": "bridge-after"
       },
       "bridge-after": {
@@ -46,13 +60,18 @@
         "action": "cdp.target",
         "require_reachable": true,
         "intent": "Confirm the mobile React Native debug bridge is reachable after setup relaunch",
+        "next": "ensure-unlocked"
+      },
+      "ensure-unlocked": {
+        "action": "metamask.wallet.ensure_unlocked",
+        "intent": "Unlock the fixture-backed wallet before the background/foreground proof and protected-screen capture boundary",
         "next": "start-state"
       },
       "launch-before": {
         "action": "app.lifecycle",
         "platform": "android",
         "command": "launch",
-        "settle_ms": 15000,
+        "runtime_ready_timeout_ms": "{{params.runtime_ready_timeout_ms}}",
         "intent": "Launch the installed Android app through the Expo dev-client deep link from a cold process",
         "next": "bridge-before"
       },

package/library/recipes/mobile/networks/release-custom-network-persistence.recipe.json

@@ -1,7 +1,7 @@
 {
   "$schema": "https://farmslot.io/schemas/recipe-v1.schema.json",
   "title": "Mobile release custom-network persistence",
-  "description": "Adds a custom network through native settings, proves it survives lock/unlock, and removes it.",
+  "description": "Adds a previously absent custom network through native settings, proves it survives lock/unlock, and removes only the network this run confirmed adding. Existing networks are preserved and refused as proof setup.",
   "paramsSchema": {
     "type": "object",
     "additionalProperties": false,
@@ -11,11 +11,14 @@
       "chain_id": { "type": "integer", "minimum": 1, "default": 369 },
       "symbol": { "type": "string", "default": "PLS" },
       "explorer_url": { "type": "string", "default": "https://scan.pulsechain.com" },
+      "before_capture_path": { "type": "string", "default": "screenshots/custom-network-before-lock.png" },
+      "after_capture_path": { "type": "string", "default": "screenshots/custom-network-after-unlock.png" },
       "timeout_ms": { "type": "integer", "minimum": 1000, "default": 60000 }
     }
   },
   "workflow": {
     "entry": "open-wallet",
+    "teardown": "require-owned-network",
     "nodes": {
       "open-wallet": {
         "action": "ui.navigate",
@@ -32,6 +35,14 @@
         "explorer_url": "{{params.explorer_url}}",
         "timeout_ms": "{{params.timeout_ms}}",
         "intent": "Add the custom network through visible settings",
+        "next": "require-added"
+      },
+      "require-added": {
+        "action": "assert_output",
+        "source": "add-network",
+        "stream": "added",
+        "match": "^true$",
+        "intent": "Refuse persistence proof when the requested network already existed",
         "next": "assert-added"
       },
       "assert-added": {
@@ -45,7 +56,7 @@
       },
       "capture-before": {
         "action": "ui.screenshot",
-        "path": "screenshots/custom-network-before-lock.png",
+        "path": "{{params.before_capture_path}}",
         "label": "Custom network before lock",
         "intent": "Preserve pre-lock network evidence",
         "next": "lock-wallet"
@@ -71,9 +82,22 @@
       },
       "capture-after": {
         "action": "ui.screenshot",
-        "path": "screenshots/custom-network-after-unlock.png",
+        "path": "{{params.after_capture_path}}",
         "label": "Custom network after unlock",
         "intent": "Preserve post-unlock network evidence",
+        "next": "done"
+      },
+      "require-owned-network": {
+        "action": "assert_output",
+        "source": "add-network",
+        "stream": "added",
+        "match": "^true$",
+        "intent": "Refuse deletion without completed evidence that this run added the network",
+        "next": "unlock-cleanup"
+      },
+      "unlock-cleanup": {
+        "action": "metamask.wallet.ensure_unlocked",
+        "intent": "Reach the task-owned network settings even if the lock-cycle proof failed",
         "next": "remove-network"
       },
       "remove-network": {
@@ -81,10 +105,11 @@
         "network": "{{params.network}}",
         "chain_id": "{{params.chain_id}}",
         "timeout_ms": "{{params.timeout_ms}}",
-        "intent": "Remove the custom network and prove it is absent",
-        "next": "done"
+        "intent": "Remove only the custom network this run confirmed adding and prove it is absent",
+        "next": "cleanup-done"
       },
-      "done": { "action": "end", "status": "pass" }
+      "done": { "action": "end", "status": "pass" },
+      "cleanup-done": { "action": "end", "status": "pass" }
     }
   }
 }