@riddledc/riddle-proof-packs 0.2.0

package/packs/handled-recovery-list-load/README.md

@@ -0,0 +1,21 @@
+# handled-recovery-list-load
+
+Handled Recovery List Load proof pack profile. Include this profile JSON directly in any profile-mode execution path.
+
+## Proof claims and evidence roles
+
+- evidence_role: `interaction_snapshots`
+- atomic claim
+  - claim: list-recovery failures are surfaced without replacing baseline page-level information and without leaking parser errors.
+  - target: `/account` account page list section.
+  - setup/actions: seed mocks, enter a controlled save/load interaction, then capture pre-action and post-action UI states.
+  - evidence: list/state assertions, recovery text presence, absence of contradictory/invalid backend text, and clean console.
+  - verdict: pass when recovery path is explicit and unrelated UI state remains present.
+- does not prove
+  - successful list loading performance or pagination contracts.
+  - backend pagination or auth policy behavior outside the exercised endpoint.
+  - long-running retry/resubmission behavior.
+
+## Usage
+
+Load the profile JSON from `profile.json` and supply it to profile mode or a local runner input file.

package/packs/handled-recovery-list-load/profile.json

@@ -0,0 +1,101 @@
+{
+  "version": "riddle-proof.profile.v1",
+  "name": "handled-recovery-list-load",
+  "target": {
+    "route": "/account",
+    "viewports": [
+      { "name": "mobile", "width": 390, "height": 844 },
+      { "name": "tablet", "width": 820, "height": 1180 },
+      { "name": "desktop", "width": 1440, "height": 1000 }
+    ],
+    "timeout_sec": 300,
+    "wait_ms": 800,
+    "network_mocks": [
+      {
+        "label": "account-summary",
+        "url": "**/api/account/summary",
+        "method": "GET",
+        "status": 200,
+        "content_type": "application/json",
+        "required_hit_count": 3,
+        "json": {
+          "available_time": "4h 0m",
+          "active_jobs": 2
+        }
+      },
+      {
+        "label": "recent-jobs",
+        "url": "**/api/jobs?limit=10",
+        "method": "GET",
+        "status": 200,
+        "content_type": "application/json",
+        "required_hit_count": 3,
+        "json": {
+          "jobs": [
+            {
+              "id": "job_recovery_template_survives",
+              "status": "completed"
+            }
+          ]
+        }
+      },
+      {
+        "label": "saved-items-unavailable-load",
+        "url": "**/api/saved-items",
+        "method": "GET",
+        "status": 503,
+        "content_type": "application/json",
+        "required_hit_count": 3,
+        "json": {
+          "error": "Synthetic saved items unavailable"
+        }
+      }
+    ],
+    "setup_actions": [
+      { "type": "clear_storage", "storage": "both", "reload": true },
+      { "type": "wait_for_selector", "selector": "[data-testid='account-page']", "timeout_ms": 30000 },
+      { "type": "wait_for_text", "selector": "body", "text": "4h 0m", "timeout_ms": 30000 },
+      { "type": "wait_for_text", "selector": "body", "text": "job_recovery_template_survives", "timeout_ms": 30000 },
+      { "type": "wait_for_text", "selector": "body", "text": "Failed to load saved items", "timeout_ms": 30000 },
+      { "type": "screenshot", "label": "saved-items-malformed-load-visible-recovery" },
+      { "type": "assert_text_absent", "selector": "body", "text": "No saved items yet", "timeout_ms": 1000 },
+      { "type": "assert_text_absent", "selector": "body", "text": "Synthetic saved items unavailable", "timeout_ms": 1000 },
+      { "type": "assert_text_absent", "selector": "body", "text": "saved_items_temporarily_unavailable", "timeout_ms": 1000 },
+      { "type": "assert_text_absent", "selector": "body", "text": "Expected property name", "timeout_ms": 1000 },
+      { "type": "assert_text_absent", "selector": "body", "text": "SyntaxError", "timeout_ms": 1000 },
+      { "type": "assert_text_absent", "selector": "body", "text": "[object Object]", "timeout_ms": 1000 }
+    ]
+  },
+  "checks": [
+    { "type": "route_loaded", "expected_path": "/account" },
+    { "type": "selector_visible", "selector": "[data-testid='account-page']" },
+    { "type": "selector_visible", "selector": "[data-testid='saved-items-error']" },
+    { "type": "text_visible", "text": "4h 0m" },
+    { "type": "text_visible", "text": "2 active" },
+    { "type": "text_visible", "text": "job_recovery_template_survives" },
+    { "type": "text_visible", "text": "Failed to load saved items" },
+    { "type": "text_absent", "text": "No saved items yet" },
+    { "type": "text_absent", "text": "Synthetic saved items unavailable" },
+    { "type": "text_absent", "text": "saved_items_temporarily_unavailable" },
+    { "type": "text_absent", "text": "Expected property name" },
+    { "type": "text_absent", "text": "SyntaxError" },
+    { "type": "text_absent", "text": "[object Object]" },
+    { "type": "text_absent", "text": "Application error" },
+    { "type": "selector_count_equals", "selector": "[data-testid='saved-items-error']", "expected_count": 1 },
+    { "type": "selector_count_equals", "selector": "[data-testid='recent-job-row']", "expected_count": 1 },
+    { "type": "selector_count_equals", "selector": "[data-testid='saved-item-row']", "expected_count": 0 },
+    { "type": "no_horizontal_overflow", "max_overflow_px": 1 },
+    { "type": "no_fatal_console_errors" },
+    { "type": "no_console_warnings" }
+  ],
+  "artifacts": ["screenshot", "console", "dom_summary", "proof_json"],
+  "baseline_policy": "invariant_only",
+  "failure_policy": {
+    "environment_blocked": "neutral",
+    "proof_insufficient": "fail",
+    "product_regression": "fail"
+  },
+  "metadata": {
+    "purpose": "Template for handled list-load recovery: prove independent page data still renders, the failed list shows one recovery message, contradictory empty-state copy, raw backend text, parser text, and object leakage stay absent, and browser console evidence remains clean. Do not add max_hit_count to idempotent GET mocks unless exact call count is the product contract."
+  }
+}

package/packs/mobile-layout-smoke/README.md

@@ -0,0 +1,21 @@
+# mobile-layout-smoke
+
+Mobile Layout Smoke proof pack profile. Include this profile JSON directly in any profile-mode execution path.
+
+## Proof claims and evidence roles
+
+- evidence_role: `current_target`
+- atomic claim
+  - claim: the target renders without layout clipping at mobile viewport size.
+  - target: `/` route on the configured target URL.
+  - setup/actions: standard mobile viewport load and baseline wait.
+  - evidence: root visibility, copy presence, overflow checks, and no-fatal console checks.
+  - verdict: pass when critical copy and layout remain visible/usable without overflow.
+- does not prove
+  - tablet/desktop responsive behavior.
+  - interaction correctness or route mutations.
+  - protected feature behavior behind auth gates.
+
+## Usage
+
+Load the profile JSON from `profile.json` and supply it to profile mode or a local runner input file.

package/packs/mobile-layout-smoke/profile.json

@@ -0,0 +1,64 @@
+{
+  "version": "riddle-proof.profile.v1",
+  "name": "mobile-layout-smoke",
+  "target": {
+    "route": "/",
+    "viewports": [
+      {
+        "name": "mobile",
+        "width": 390,
+        "height": 844
+      }
+    ],
+    "auth": "none",
+    "wait_for_selector": "body",
+    "setup_actions": [
+      {
+        "type": "wait",
+        "ms": 250
+      }
+    ]
+  },
+  "checks": [
+    {
+      "type": "route_loaded",
+      "expected_path": "/"
+    },
+    {
+      "type": "selector_visible",
+      "selector": "body"
+    },
+    {
+      "type": "text_visible",
+      "text": "Example"
+    },
+    {
+      "type": "no_mobile_horizontal_overflow"
+    },
+    {
+      "type": "no_fatal_console_errors"
+    }
+  ],
+  "artifacts": [
+    "screenshot",
+    "console",
+    "dom_summary",
+    "proof_json"
+  ],
+  "failure_policy": {
+    "environment_blocked": "neutral",
+    "proof_insufficient": "fail",
+    "product_regression": "fail"
+  },
+  "metadata": {
+    "pack_id": "layout_mobile",
+    "pack_public_name": "Mobile Layout Pack",
+    "purpose": "Template for high-signal mobile layout smoke checks.",
+    "required_receipts": [
+      "primary visible root on mobile viewport",
+      "no horizontal overflow",
+      "critical copy presence",
+      "clean browser console"
+    ]
+  }
+}

package/packs/page-content-basic/README.md

@@ -0,0 +1,21 @@
+# page-content-basic
+
+Page Content Basic proof pack profile. Include this profile JSON directly in any profile-mode execution path.
+
+## Proof claims and evidence roles
+
+- evidence_role: `current_target`
+- atomic claim
+  - claim: the configured route renders expected baseline content and remains visually and console-clean.
+  - target: `/` route on the configured target URL.
+  - setup/actions: basic load/visibility setup without route transitions.
+  - evidence: route/text/viewport visibility checks plus overflow and console safety assertions.
+  - verdict: pass when baseline content is present and no fatal runtime errors are observed.
+- does not prove
+  - feature behavior beyond baseline smoke checks.
+  - dynamic state transitions or stateful business logic.
+  - multi-step auth or account-specific behavior.
+
+## Usage
+
+Load the profile JSON from `profile.json` and supply it to profile mode or a local runner input file.

package/packs/page-content-basic/profile.json

@@ -0,0 +1,29 @@
+{
+  "version": "riddle-proof.profile.v1",
+  "name": "page-content-basic",
+  "target": {
+    "route": "/",
+    "viewports": [
+      { "name": "mobile", "width": 390, "height": 844 },
+      { "name": "desktop", "width": 1440, "height": 1000 }
+    ],
+    "auth": "none",
+    "wait_for_selector": "body",
+    "setup_actions": [
+      { "type": "wait", "ms": 250 }
+    ]
+  },
+  "checks": [
+    { "type": "route_loaded", "expected_path": "/" },
+    { "type": "selector_visible", "selector": "body" },
+    { "type": "text_visible", "text": "Example" },
+    { "type": "no_mobile_horizontal_overflow" },
+    { "type": "no_fatal_console_errors" }
+  ],
+  "artifacts": ["screenshot", "console", "dom_summary", "proof_json"],
+  "failure_policy": {
+    "environment_blocked": "neutral",
+    "proof_insufficient": "fail",
+    "product_regression": "fail"
+  }
+}

package/packs/route-inventory-basic/README.md

@@ -0,0 +1,21 @@
+# route-inventory-basic
+
+Route Inventory Basic proof pack profile. Include this profile JSON directly in any profile-mode execution path.
+
+## Proof claims and evidence roles
+
+- evidence_role: `current_target`
+- atomic claim
+  - claim: expected route inventory is present and navigable from the configured route list.
+  - target: `/` route list source with route inventory checks.
+  - setup/actions: wait for route inventory container and validate expected entries.
+  - evidence: route inventory receipt, overflow checks, and no-fatal console checks.
+  - verdict: pass when listed routes are discoverable with stable inventory output.
+- does not prove
+  - the full routing graph or server-side route auth correctness.
+  - behavior after navigating into each listed route.
+  - route accessibility/accessibility quality across all devices.
+
+## Usage
+
+Load the profile JSON from `profile.json` and supply it to profile mode or a local runner input file.

package/packs/route-inventory-basic/profile.json

@@ -0,0 +1,29 @@
+{
+  "version": "riddle-proof.profile.v1",
+  "name": "route-inventory-basic",
+  "target": {
+    "route": "/",
+    "viewports": [
+      { "name": "desktop", "width": 1280, "height": 900 },
+      { "name": "mobile", "width": 390, "height": 844 }
+    ],
+    "wait_for_selector": "[data-testid='route-list']",
+    "timeout_sec": 180
+  },
+  "checks": [
+    {
+      "type": "route_inventory",
+      "expected_routes": [
+        { "name": "Example Route", "path": "/example" }
+      ],
+      "link_selector": "a[href='/example']",
+      "source_selector": "[data-testid='route-list']",
+      "route_path_prefix": "/example",
+      "timeout_ms": 30000
+    },
+    { "type": "no_mobile_horizontal_overflow", "max_overflow_px": 1 },
+    { "type": "no_fatal_console_errors" }
+  ],
+  "artifacts": ["screenshot", "console", "dom_summary", "proof_json"],
+  "baseline_policy": "invariant_only"
+}

package/packs/spa-route-exit-state-hygiene/README.md

@@ -0,0 +1,21 @@
+# spa-route-exit-state-hygiene
+
+Spa Route Exit State Hygiene proof pack profile. Include this profile JSON directly in any profile-mode execution path.
+
+## Proof claims and evidence roles
+
+- evidence_role: `interaction_snapshots`
+- atomic claim
+  - claim: route-local state is established on entry and removed after navigation cleanup.
+  - target: `/games/example?proof=1` and the resulting home route after exit.
+  - setup/actions: capture pre-action active-route state, navigate home, then capture post-action cleanup state.
+  - evidence: pre/post runtime globals, screenshots at route-active/route-exit boundaries, DOM/route checks, and console warnings/fatal checks.
+  - verdict: pass when route state remains active only while expected and stale state is not retained after exit.
+- does not prove
+  - that all routes share the same cleanup contract.
+  - backend persistence cleanup or cache invalidation guarantees.
+  - security boundaries across route transitions.
+
+## Usage
+
+Load the profile JSON from `profile.json` and supply it to profile mode or a local runner input file.

package/packs/spa-route-exit-state-hygiene/profile.json

@@ -0,0 +1,87 @@
+{
+  "version": "riddle-proof.profile.v1",
+  "name": "spa-route-exit-state-hygiene",
+  "target": {
+    "route": "/games/example?proof=1",
+    "viewports": [
+      { "name": "phone", "width": 390, "height": 844 },
+      { "name": "ipad-mini", "width": 768, "height": 1024 },
+      { "name": "ipad", "width": 820, "height": 1180 },
+      { "name": "desktop", "width": 1440, "height": 1000 }
+    ],
+    "timeout_sec": 300,
+    "wait_for_selector": "#game-root",
+    "screenshot_mode": "viewport",
+    "setup_actions": [
+      { "type": "clear_storage", "storage": "both", "reload": true },
+      { "type": "wait_for_selector", "selector": "#game-root", "timeout_ms": 20000 },
+      { "type": "wait_for_selector", "selector": "#game-root canvas, #game-root [data-proof-ready='true']", "timeout_ms": 20000 },
+      {
+        "type": "window_eval",
+        "label": "capture-route-active-state",
+        "timeout_ms": 10000,
+        "store_return_to": "__rpRouteExit.active",
+        "script": "const proof=window.__exampleRouteProof?.read?.()||{};const watched=['__exampleRouteProof','__exampleProofLastReceipt','exampleTouchState'];const activeGlobals=watched.filter((name)=>window[name]!==undefined);const out={ready:proof.ready===true,route:location.pathname,activeGlobals,activeGlobalCount:activeGlobals.length,receiptId:String(proof.receiptId||''),mode:String(proof.mode||'')};out.ok=out.ready===true&&out.activeGlobalCount>0;window.__rpRouteExit={...(window.__rpRouteExit||{}),active:out};return out;",
+        "return_summary_fields": [
+          { "path": "ok" },
+          { "path": "ready" },
+          { "path": "route" },
+          { "path": "activeGlobalCount" },
+          { "path": "activeGlobals" }
+        ]
+      },
+      { "type": "assert_window_value", "path": "__rpRouteExit.active.ok", "expected_value": true, "timeout_ms": 10000 },
+      { "type": "screenshot", "label": "route-active-state", "mode": "viewport" },
+      { "type": "click", "selector": "[data-testid='nav-home'], .nav-logo, a[href='/']", "timeout_ms": 10000 },
+      { "type": "wait_for_selector", "selector": "[data-testid='home-page'], main, [data-route='home']", "timeout_ms": 20000 },
+      {
+        "type": "window_eval",
+        "label": "capture-route-exit-cleanup",
+        "timeout_ms": 10000,
+        "store_return_to": "__rpRouteExit.cleanup",
+        "script": "const watched=['__exampleRouteProof','__exampleProofLastReceipt','exampleTouchState'];const staleNames=watched.filter((name)=>window[name]!==undefined);const out={ok:location.pathname==='/'&&staleNames.length===0,route:location.pathname,staleNames,staleCount:staleNames.length};window.__rpRouteExit={...(window.__rpRouteExit||{}),cleanup:out};return out;",
+        "return_summary_fields": [
+          { "path": "ok" },
+          { "path": "route" },
+          { "path": "staleCount" },
+          { "path": "staleNames" }
+        ]
+      },
+      { "type": "assert_window_value", "path": "__rpRouteExit.cleanup.ok", "expected_value": true, "timeout_ms": 10000 },
+      { "type": "assert_window_number", "path": "__rpRouteExit.cleanup.staleCount", "expected_value": 0, "timeout_ms": 10000 },
+      { "type": "screenshot", "label": "home-after-route-exit-cleanup", "mode": "viewport" }
+    ]
+  },
+  "checks": [
+    { "type": "route_loaded", "expected_path": "/" },
+    { "type": "selector_visible", "selector": "[data-testid='home-page'], main, [data-route='home']" },
+    { "type": "text_absent", "pattern": "\\bNaN\\b" },
+    { "type": "text_absent", "pattern": "undefined", "flags": "i" },
+    { "type": "text_absent", "pattern": "\\[object Object\\]" },
+    { "type": "no_horizontal_overflow", "max_overflow_px": 1 },
+    { "type": "no_mobile_horizontal_overflow", "max_overflow_px": 1 },
+    { "type": "no_fatal_console_errors" },
+    { "type": "no_console_warnings" }
+  ],
+  "artifacts": ["screenshot", "console", "dom_summary", "proof_json"],
+  "baseline_policy": "invariant_only",
+  "failure_policy": {
+    "environment_blocked": "neutral",
+    "proof_insufficient": "fail",
+    "product_regression": "fail"
+  },
+  "metadata": {
+    "pack_id": "state_hygiene",
+    "pack_public_name": "State Hygiene Pack",
+    "required_receipts": [
+      "active route-local proof helpers and route state receipt",
+      "route-exit affordance inventory before cleanup",
+      "route or mode exit action receipt through visible UI",
+      "post-cleanup stale-state inventory after route cleanup",
+      "screenshots at active and post-cleanup boundaries",
+      "console and warning accounting",
+      "proof JSON and artifact links"
+    ],
+    "purpose": "Template for SPA route-exit hygiene profiles. Replace the example route, selectors, and watched globals with route-local proof helpers, receipts, timers, input state, or touch state that must exist while the feature route is active and must be removed after visible UI navigation returns home."
+  }
+}

package/packs/terminal-result-partial-evidence/README.md

@@ -0,0 +1,21 @@
+# terminal-result-partial-evidence
+
+Terminal Result Partial Evidence proof pack profile. Include this profile JSON directly in any profile-mode execution path.
+
+## Proof claims and evidence roles
+
+- evidence_role: `interaction_snapshots`
+- atomic claim
+  - claim: partial terminal evidence path is honest when a run finishes in an error/timeout state.
+  - target: `/playground` console workflow.
+  - setup/actions: submit a terminal payload that returns partial evidence and capture pre-action and post-action result evidence.
+  - evidence: screenshot/log/ HAR indicators, status text polarity, and explicit no-failure copy checks.
+  - verdict: pass when terminal result markers align with the returned contract and all artifact classes are present.
+- does not prove
+  - successful terminal execution path.
+  - correctness of backend command execution semantics.
+  - long-running timeout recovery workflows.
+
+## Usage
+
+Load the profile JSON from `profile.json` and supply it to profile mode or a local runner input file.

package/packs/terminal-result-partial-evidence/profile.json

@@ -0,0 +1,122 @@
+{
+  "version": "riddle-proof.profile.v1",
+  "name": "terminal-result-partial-evidence",
+  "target": {
+    "route": "/playground",
+    "viewports": [
+      { "name": "mobile", "width": 390, "height": 844 },
+      { "name": "tablet", "width": 820, "height": 1180 },
+      { "name": "desktop", "width": 1440, "height": 1000 }
+    ],
+    "timeout_sec": 300,
+    "wait_ms": 800,
+    "network_mocks": [
+      {
+        "label": "api-console-sync-terminal-error-with-partial-evidence",
+        "url": "**/v1/run",
+        "method": "POST",
+        "status": 200,
+        "content_type": "application/json",
+        "required_hit_count": 3,
+        "max_hit_count": 3,
+        "capture_request_body": true,
+        "request_body_contains": [
+          "\"sync\":true",
+          "\"include\":[\"screenshots\",\"console\",\"har\"]",
+          "terminal-result-template-screenshot"
+        ],
+        "json": {
+          "status": "completed_error",
+          "success": false,
+          "job_id": "job_terminal_result_template",
+          "error": {
+            "message": "Synthetic terminal result template failed after collecting partial evidence"
+          },
+          "screenshots": [
+            {
+              "name": "terminal-result-template-screenshot",
+              "url": "https://cdn.example.invalid/terminal-result-template-screenshot.png"
+            }
+          ],
+          "console": [
+            {
+              "type": "log",
+              "text": "terminal result template collected console evidence"
+            }
+          ],
+          "har": {
+            "log": {
+              "entries": [
+                {
+                  "request": {
+                    "method": "GET",
+                    "url": "https://example.com/terminal-result-template-resource"
+                  },
+                  "response": {
+                    "status": 500
+                  }
+                }
+              ]
+            }
+          },
+          "billing": {
+            "actual_seconds": 30,
+            "cost_usd": 0.004
+          }
+        }
+      }
+    ],
+    "setup_actions": [
+      { "type": "clear_storage", "storage": "both", "reload": true },
+      { "type": "wait_for_selector", "selector": "[data-testid='api-console-page']", "timeout_ms": 30000 },
+      { "type": "fill", "selector": "[data-testid='api-console-json']", "value": "{ \"steps\": [{ \"screenshot\": \"terminal-result-template-screenshot\" }], \"sync\": true, \"include\": [\"screenshots\", \"console\", \"har\"] }" },
+      { "type": "clear_console" },
+      { "type": "screenshot", "label": "terminal-result-before-submit" },
+      { "type": "click", "selector": "[data-testid='run-api-console']", "text": "Run" },
+      { "type": "wait_for_text", "selector": "body", "text": "Synthetic terminal result template failed after collecting partial evidence", "timeout_ms": 30000 },
+      { "type": "wait_for_text", "selector": "body", "text": "partial results available", "timeout_ms": 30000 },
+      { "type": "assert_text_visible", "selector": "body", "text": "terminal-result-template-screenshot", "timeout_ms": 5000 },
+      { "type": "assert_text_visible", "selector": "body", "text": "terminal result template collected console evidence", "timeout_ms": 5000 },
+      { "type": "assert_text_visible", "selector": "body", "text": "terminal-result-template-resource", "timeout_ms": 5000 },
+      { "type": "assert_text_absent", "selector": "body", "text": "Success", "timeout_ms": 1000 },
+      { "type": "assert_text_absent", "selector": "body", "text": "No screenshots captured", "timeout_ms": 1000 },
+      { "type": "assert_text_absent", "selector": "body", "text": "No console output captured", "timeout_ms": 1000 },
+      { "type": "assert_text_absent", "selector": "body", "text": "No network requests captured", "timeout_ms": 1000 },
+      { "type": "screenshot", "label": "terminal-result-partial-evidence-expanded" }
+    ]
+  },
+  "checks": [
+    { "type": "route_loaded", "expected_path": "/playground" },
+    { "type": "selector_visible", "selector": "[data-testid='api-console-page']" },
+    { "type": "text_visible", "text": "Error" },
+    { "type": "text_visible", "text": "Synthetic terminal result template failed after collecting partial evidence" },
+    { "type": "text_visible", "text": "partial results available" },
+    { "type": "selector_text_visible", "selector": "[data-testid='api-console-screenshots']", "text": "terminal-result-template-screenshot" },
+    { "type": "selector_text_visible", "selector": "[data-testid='api-console-output']", "text": "terminal result template collected console evidence" },
+    { "type": "selector_text_visible", "selector": "[data-testid='api-console-har']", "text": "terminal-result-template-resource" },
+    { "type": "text_absent", "text": "Success" },
+    { "type": "text_absent", "text": "No screenshots captured" },
+    { "type": "text_absent", "text": "No console output captured" },
+    { "type": "text_absent", "text": "No network requests captured" },
+    { "type": "text_absent", "text": "Application error" },
+    { "type": "selector_count_equals", "selector": "[data-testid='api-console-error-indicator']", "expected_count": 1 },
+    { "type": "selector_count_equals", "selector": "[data-testid='api-console-timeout-indicator']", "expected_count": 0 },
+    { "type": "selector_count_equals", "selector": "[data-testid='api-console-success-indicator']", "expected_count": 0 },
+    { "type": "selector_count_equals", "selector": "[data-testid='api-console-screenshot-item']", "expected_count": 1 },
+    { "type": "selector_count_at_least", "selector": "[data-testid='api-console-output']", "min_count": 1 },
+    { "type": "selector_count_at_least", "selector": "[data-testid='api-console-har']", "min_count": 1 },
+    { "type": "no_horizontal_overflow", "max_overflow_px": 1 },
+    { "type": "no_fatal_console_errors" },
+    { "type": "no_console_warnings" }
+  ],
+  "artifacts": ["screenshot", "console", "dom_summary", "proof_json"],
+  "baseline_policy": "invariant_only",
+  "failure_policy": {
+    "environment_blocked": "neutral",
+    "proof_insufficient": "fail",
+    "product_regression": "fail"
+  },
+  "metadata": {
+    "purpose": "Template for API-console terminal result honesty: return a terminal error or timeout JSON response with partial screenshot, console, and HAR evidence; require visible status honesty, partial-results copy, each artifact class, correct success/error/timeout selector polarity, no contradictory empty-evidence copy, and clean browser evidence. For timeout variants, change the mocked status and visible status checks to the product's timeout indicator while preserving the same partial-evidence contract."
+  }
+}