@deeeed/metamask-harness 0.47.4 → 0.49.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-smoke.recipe.json

@@ -0,0 +1,89 @@
+{
+  "$schema": "https://farmslot.io/schemas/recipe-v1.schema.json",
+  "title": "MetaMask Mobile lifecycle smoke",
+  "description": "Cold-launch the installed dev client on the selected Android device or iOS simulator, 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": {
+      "capture_path": {
+        "type": "string",
+        "default": "screenshots/app-lifecycle-smoke.png",
+        "description": "Use a distinct path when composing repeated lifecycle checks."
+      },
+      "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": {
+      "background-app": {
+        "action": "app.lifecycle",
+        "command": "background",
+        "settle_ms": 1000,
+        "require_process_continuity": true,
+        "intent": "Background the selected app without terminating its process",
+        "next": "foreground-app"
+      },
+      "foreground-app": {
+        "action": "app.lifecycle",
+        "command": "foreground",
+        "runtime_ready_timeout_ms": "{{params.runtime_ready_timeout_ms}}",
+        "require_process_continuity": true,
+        "intent": "Resume the selected app in the same process and await its bridge",
+        "next": "bridge-after"
+      },
+      "bridge-after": {
+        "action": "cdp.target",
+        "require_reachable": true,
+        "intent": "Confirm the mobile React Native debug bridge recovered after foregrounding",
+        "next": "screenshot-after"
+      },
+      "screenshot-after": {
+        "action": "ui.screenshot",
+        "path": "{{params.capture_path}}",
+        "intent": "Record the foreground app state as evidence",
+        "next": "end"
+      },
+      "end": {
+        "action": "end",
+        "status": "pass"
+      },
+      "start-state": {
+        "action": "app.status",
+        "intent": "Record the stable run start status after setup relaunch",
+        "next": "background-app"
+      },
+      "bridge-before": {
+        "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",
+        "command": "launch",
+        "runtime_ready_timeout_ms": "{{params.runtime_ready_timeout_ms}}",
+        "intent": "Launch the selected app through the Expo dev-client deep link from a cold process",
+        "next": "bridge-before"
+      },
+      "terminate-before": {
+        "action": "app.lifecycle",
+        "command": "terminate",
+        "settle_ms": 3000,
+        "intent": "Terminate the selected app before lifecycle smoke",
+        "next": "launch-before"
+      }
+    }
+  }
+}