@riddledc/riddle-proof-packs 0.2.2 → 0.4.0

package/packs/neon-step-sequencer/examples/run-004-ratchet-loop-mix-level-search/summary.md

@@ -0,0 +1,39 @@
+# Run 004 - Ratchet Loop Mix-Level Search
+
+- profile: `lilarcade-neon-ratchet-loop-mix-level-search`
+- evidence_role_pattern: `interaction_snapshots`
+- status: `passed`
+- captured_at: `2026-05-24T03:31:26.020Z`
+- runner: `local-playwright`
+- target: `http://127.0.0.1:5173/games/drum-sequencer?song=monkberry-moon-delight-tab&mix=profile&view=trainer&instrument=bass`
+
+## Atomic Claim
+
+The current Neon target can run a bounded ratchet loop that proposes mix-level candidates, applies each candidate, captures proof-window evidence, ranks candidates by objective metrics, and restores the app state after the run.
+
+## Evidence
+
+| Field | Value |
+| --- | --- |
+| strategy | `mix-level-search` |
+| focus tracks | `bass`, `chord`, `guitar`, `rhythmSynth` |
+| candidates tested | `6` |
+| baseline score | `28.83345` |
+| best score | `27.0708` |
+| objective improvement | `1.7627` |
+| best candidate | `chord -0.10` to level `0.28` |
+| loop status | `candidate_found` |
+| restored after run | `true` |
+
+Console fatal count was `0`.
+
+## Verdict
+
+Passed. The bounded loop produced a reviewable candidate packet without permanently applying the candidate.
+
+## What This Does Not Prove
+
+- subjective mix quality
+- that the candidate should be kept without listening review
+- that all possible mix edits were searched
+- that the ratchet loop primitive is mix-specific

package/packs/neon-step-sequencer/profile.template.json

@@ -0,0 +1,75 @@
+{
+  "version": "riddle-proof.profile.v1",
+  "name": "neon-step-sequencer-template",
+  "target": {
+    "route": "/games/drum-sequencer?song=monkberry-moon-delight-tab&mix=profile&view=trainer&instrument=bass",
+    "viewports": [
+      {
+        "name": "desktop",
+        "width": 1440,
+        "height": 1000
+      }
+    ],
+    "timeout_sec": 240,
+    "wait_for_selector": ".drum-sequencer h1",
+    "setup_actions": [
+      {
+        "type": "window_eval",
+        "label": "install-neon-proof-helpers",
+        "timeout_ms": 10000,
+        "store_return_to": "__neonProof.install",
+        "script": "window.__neonProofApi=()=>window.__NEON_MIX_PROOF__||window.__RIDDLE_SEQUENCER_PROOF__; window.__neonProofRead=()=>{const api=window.__neonProofApi(); const diagnostic=api?.captureDiagnostic?.(); const state=api?.getState?.()||api?.getSummary?.()||diagnostic?.state||null; window.__neonProof={...(window.__neonProof||{}),state}; return {available:Boolean(api),route:state?.route||location.pathname,selectedSong:state?.selectedSong||state?.selected_song||null};}; window.__neonProofPrepare=async(options={})=>{const api=window.__neonProofApi(); return await (api?.prepareForAudioProof?.(options)||api?.prepareSampleSourcesForProof?.(options)||{ok:false,error:'missing prepareForAudioProof'});}; window.__neonProofRender=async(options={})=>{const api=window.__neonProofApi(); return await (api?.renderOfflineMetrics?.(options)||{ok:false,error:'missing renderOfflineMetrics'});}; return window.__neonProofRead();",
+        "return_summary_fields": [
+          {
+            "path": "available"
+          },
+          {
+            "path": "route"
+          },
+          {
+            "path": "selectedSong"
+          }
+        ]
+      },
+      {
+        "type": "assert_window_value",
+        "path": "__neonProof.install.available",
+        "expected_value": true,
+        "timeout_ms": 10000
+      }
+    ]
+  },
+  "checks": [
+    {
+      "type": "route_loaded",
+      "expected_path": "/games/drum-sequencer"
+    },
+    {
+      "type": "selector_visible",
+      "selector": ".drum-sequencer h1"
+    },
+    {
+      "type": "text_visible",
+      "text": "Neon Step Sequencer"
+    },
+    {
+      "type": "no_fatal_console_errors"
+    }
+  ],
+  "artifacts": [
+    "screenshot",
+    "console",
+    "dom_summary",
+    "proof_json"
+  ],
+  "metadata": {
+    "pack_id": "neon_step_sequencer",
+    "pack_public_name": "Neon Step Sequencer Pack",
+    "evidence_role_pattern": "current_target",
+    "purpose": "Template for Neon Step Sequencer proof-pack authoring.",
+    "does_not_prove": [
+      "subjective mix quality",
+      "full song coverage"
+    ]
+  }
+}

package/packs/neon-step-sequencer/profiles/explore-songs-and-mixes.json

@@ -0,0 +1,112 @@
+{
+  "version": "riddle-proof.profile.v1",
+  "name": "neon-step-sequencer-explore-songs-and-mixes",
+  "target": {
+    "route": "/games/drum-sequencer?song=monkberry-moon-delight-tab&mix=profile&view=trainer&instrument=bass",
+    "viewports": [
+      {
+        "name": "desktop",
+        "width": 1440,
+        "height": 1000
+      }
+    ],
+    "timeout_sec": 360,
+    "wait_for_selector": ".drum-sequencer h1",
+    "setup_actions": [
+      {
+        "type": "window_eval",
+        "label": "install-neon-exploration-proof",
+        "timeout_ms": 10000,
+        "store_return_to": "__neonProof.install",
+        "script": "window.__neonProofApi=()=>window.__NEON_MIX_PROOF__||window.__RIDDLE_SEQUENCER_PROOF__; window.__neonProofWindows=async()=>{const api=window.__neonProofApi(); if(api?.renderProofWindows) return await api.renderProofWindows({}); if(api?.renderOfflineMetrics) return {ok:true,proofKind:'offline-audio-window-set',windows:[await api.renderOfflineMetrics({bars:1,seed:'neon-explore-fallback',monitorProfile:'smallSpeaker'})]}; return {ok:false,error:'missing renderProofWindows'};}; const api=window.__neonProofApi(); const state=api?.getState?.()||api?.getSummary?.()||{}; return {available:Boolean(api),selectedSong:state.selectedSong||null};",
+        "return_summary_fields": [
+          {
+            "path": "available"
+          },
+          {
+            "path": "selectedSong"
+          }
+        ]
+      },
+      {
+        "type": "assert_window_value",
+        "path": "__neonProof.install.available",
+        "expected_value": true,
+        "timeout_ms": 10000
+      },
+      {
+        "type": "window_call",
+        "label": "render-proof-windows",
+        "path": "__neonProofWindows",
+        "store_return_to": "__neonProof.exploration",
+        "capture_return": true,
+        "timeout_ms": 180000,
+        "return_summary_fields": [
+          {
+            "path": "ok"
+          },
+          {
+            "path": "proofKind"
+          },
+          {
+            "path": "windows.length"
+          }
+        ]
+      },
+      {
+        "type": "assert_window_value",
+        "path": "__neonProof.exploration.ok",
+        "expected_value": true,
+        "timeout_ms": 10000
+      },
+      {
+        "type": "screenshot",
+        "label": "neon-explore-songs-and-mixes",
+        "mode": "viewport"
+      }
+    ]
+  },
+  "checks": [
+    {
+      "type": "route_loaded",
+      "expected_path": "/games/drum-sequencer"
+    },
+    {
+      "type": "selector_visible",
+      "selector": ".drum-sequencer h1"
+    },
+    {
+      "type": "no_fatal_console_errors"
+    }
+  ],
+  "artifacts": [
+    "screenshot",
+    "console",
+    "dom_summary",
+    "proof_json"
+  ],
+  "baseline_policy": "invariant_only",
+  "failure_policy": {
+    "environment_blocked": "neutral",
+    "proof_insufficient": "review",
+    "product_regression": "fail",
+    "needs_human_review": "review"
+  },
+  "metadata": {
+    "pack_id": "neon_step_sequencer",
+    "pack_public_name": "Neon Step Sequencer Pack",
+    "evidence_role_pattern": "current_target",
+    "purpose": "Exploration sweep over the app-provided proof windows for prioritizing the next weakest song/mix combination.",
+    "required_receipts": [
+      "proof-window set returns ok",
+      "window receipts are captured",
+      "browser health is clean",
+      "screenshot is captured"
+    ],
+    "does_not_prove": [
+      "every possible song/mix combination",
+      "subjective listening quality",
+      "mobile layout"
+    ]
+  }
+}

package/packs/neon-step-sequencer/profiles/fast-mix-health.json

@@ -0,0 +1,181 @@
+{
+  "version": "riddle-proof.profile.v1",
+  "name": "neon-step-sequencer-fast-mix-health",
+  "target": {
+    "route": "/games/drum-sequencer?song=monkberry-moon-delight-tab&mix=profile&view=trainer&instrument=bass",
+    "viewports": [
+      {
+        "name": "desktop",
+        "width": 1440,
+        "height": 1000
+      }
+    ],
+    "timeout_sec": 240,
+    "wait_for_selector": ".drum-sequencer h1",
+    "setup_actions": [
+      {
+        "type": "wait_for_selector",
+        "selector": ".drum-sequencer h1",
+        "timeout_ms": 20000
+      },
+      {
+        "type": "window_eval",
+        "label": "install-neon-proof-helpers",
+        "timeout_ms": 10000,
+        "store_return_to": "__neonProof.install",
+        "script": "window.__neonProofApi=()=>window.__NEON_MIX_PROOF__||window.__RIDDLE_SEQUENCER_PROOF__; window.__neonProofRead=()=>{const api=window.__neonProofApi(); const diagnostic=api?.captureDiagnostic?.(); const state=api?.getState?.()||api?.getSummary?.()||diagnostic?.state||null; window.__neonProof={...(window.__neonProof||{}),state}; return {available:Boolean(api),route:state?.route||location.pathname,selectedSong:state?.selectedSong||state?.selected_song||null,hasMixer:Boolean(state?.profile?.mixerLevels||state?.mixerState?.levels)};}; window.__neonProofPrepare=async(options={})=>{const api=window.__neonProofApi(); return await (api?.prepareForAudioProof?.(options)||api?.prepareSampleSourcesForProof?.(options)||{ok:false,error:'missing prepareForAudioProof'});}; window.__neonProofRender=async(options={})=>{const api=window.__neonProofApi(); return await (api?.renderOfflineMetrics?.(options)||{ok:false,error:'missing renderOfflineMetrics'});}; return window.__neonProofRead();",
+        "return_summary_fields": [
+          {
+            "path": "available"
+          },
+          {
+            "path": "selectedSong"
+          },
+          {
+            "path": "hasMixer"
+          }
+        ]
+      },
+      {
+        "type": "assert_window_value",
+        "path": "__neonProof.install.available",
+        "expected_value": true,
+        "timeout_ms": 10000
+      },
+      {
+        "type": "window_call",
+        "label": "prepare-audio-proof",
+        "path": "__neonProofPrepare",
+        "args": [
+          {
+            "loadAll": false
+          }
+        ],
+        "store_return_to": "__neonProof.sources",
+        "capture_return": true,
+        "timeout_ms": 90000,
+        "return_summary_fields": [
+          {
+            "path": "ok"
+          },
+          {
+            "path": "sources.drums"
+          },
+          {
+            "path": "sources.bass"
+          }
+        ]
+      },
+      {
+        "type": "window_call",
+        "label": "render-baseline-metrics",
+        "path": "__neonProofRender",
+        "args": [
+          {
+            "bars": 1,
+            "seed": "neon-fast-mix-health",
+            "monitorProfile": "smallSpeaker"
+          }
+        ],
+        "store_return_to": "__neonProof.baseline",
+        "capture_return": true,
+        "timeout_ms": 120000,
+        "return_summary_fields": [
+          {
+            "path": "ok"
+          },
+          {
+            "path": "mixHealth.peak"
+          },
+          {
+            "path": "mixHealth.rms"
+          },
+          {
+            "path": "mixHealth.clipping"
+          }
+        ]
+      },
+      {
+        "type": "assert_window_value",
+        "path": "__neonProof.baseline.ok",
+        "expected_value": true,
+        "timeout_ms": 10000
+      },
+      {
+        "type": "assert_window_number",
+        "path": "__neonProof.baseline.mixHealth.peak",
+        "max_value": 0.98,
+        "timeout_ms": 10000
+      },
+      {
+        "type": "assert_window_number",
+        "path": "__neonProof.baseline.mixHealth.rms",
+        "min_value": 0.005,
+        "timeout_ms": 10000
+      },
+      {
+        "type": "screenshot",
+        "label": "neon-fast-mix-health",
+        "mode": "viewport"
+      }
+    ]
+  },
+  "checks": [
+    {
+      "type": "route_loaded",
+      "expected_path": "/games/drum-sequencer"
+    },
+    {
+      "type": "selector_visible",
+      "selector": ".drum-sequencer h1"
+    },
+    {
+      "type": "text_visible",
+      "text": "Neon Step Sequencer"
+    },
+    {
+      "type": "selector_visible",
+      "selector": ".drum-sequencer"
+    },
+    {
+      "type": "no_horizontal_overflow",
+      "max_overflow_px": 1
+    },
+    {
+      "type": "no_fatal_console_errors"
+    }
+  ],
+  "artifacts": [
+    "screenshot",
+    "console",
+    "dom_summary",
+    "proof_json"
+  ],
+  "baseline_policy": "invariant_only",
+  "failure_policy": {
+    "environment_blocked": "neutral",
+    "proof_insufficient": "review",
+    "product_regression": "fail",
+    "needs_human_review": "review"
+  },
+  "metadata": {
+    "pack_id": "neon_step_sequencer",
+    "pack_public_name": "Neon Step Sequencer Pack",
+    "evidence_role_pattern": "current_target",
+    "purpose": "Fast current-target audit for Neon mixer state and one rendered audio-health receipt.",
+    "required_receipts": [
+      "Neon route is loaded",
+      "app proof contract is available",
+      "selected song and mixer state are readable",
+      "audio proof preparation returns a receipt",
+      "offline render metrics return ok",
+      "mix peak is below clipping threshold",
+      "mix RMS is above silence threshold"
+    ],
+    "does_not_prove": [
+      "subjective mix quality",
+      "that a visible mix edit affects rendered audio",
+      "full viewport or song/mix matrix coverage"
+    ]
+  }
+}

package/packs/neon-step-sequencer/profiles/full-mix-health-matrix.json

@@ -0,0 +1,154 @@
+{
+  "version": "riddle-proof.profile.v1",
+  "name": "neon-step-sequencer-full-mix-health-matrix",
+  "target": {
+    "route": "/games/drum-sequencer?song=monkberry-moon-delight-tab&mix=profile&view=trainer&instrument=bass",
+    "viewports": [
+      {
+        "name": "desktop",
+        "width": 1440,
+        "height": 1000
+      },
+      {
+        "name": "phone",
+        "width": 390,
+        "height": 844
+      },
+      {
+        "name": "ipad-mini",
+        "width": 768,
+        "height": 1024
+      },
+      {
+        "name": "ipad",
+        "width": 820,
+        "height": 1180
+      }
+    ],
+    "timeout_sec": 300,
+    "wait_for_selector": ".drum-sequencer h1",
+    "setup_actions": [
+      {
+        "type": "window_eval",
+        "label": "install-neon-matrix-proof",
+        "timeout_ms": 10000,
+        "store_return_to": "__neonProof.install",
+        "script": "window.__neonProofApi=()=>window.__NEON_MIX_PROOF__||window.__RIDDLE_SEQUENCER_PROOF__; window.__neonProofRender=async(options={})=>{const api=window.__neonProofApi(); return await (api?.renderOfflineMetrics?.(options)||{ok:false,error:'missing renderOfflineMetrics'});}; const api=window.__neonProofApi(); const state=api?.getState?.()||api?.getSummary?.()||{}; window.__neonProof={...(window.__neonProof||{}),state}; return {available:Boolean(api),route:state.route||location.pathname,selectedSong:state.selectedSong||null};",
+        "return_summary_fields": [
+          {
+            "path": "available"
+          },
+          {
+            "path": "selectedSong"
+          }
+        ]
+      },
+      {
+        "type": "assert_window_value",
+        "path": "__neonProof.install.available",
+        "expected_value": true,
+        "timeout_ms": 10000
+      },
+      {
+        "type": "window_call",
+        "label": "render-matrix-metrics",
+        "path": "__neonProofRender",
+        "args": [
+          {
+            "bars": 1,
+            "seed": "neon-full-mix-health-matrix",
+            "monitorProfile": "smallSpeaker"
+          }
+        ],
+        "store_return_to": "__neonProof.matrixMetrics",
+        "capture_return": true,
+        "timeout_ms": 120000,
+        "return_summary_fields": [
+          {
+            "path": "ok"
+          },
+          {
+            "path": "mixHealth.peak"
+          },
+          {
+            "path": "mixHealth.rms"
+          }
+        ]
+      },
+      {
+        "type": "assert_window_value",
+        "path": "__neonProof.matrixMetrics.ok",
+        "expected_value": true,
+        "timeout_ms": 10000
+      },
+      {
+        "type": "assert_window_number",
+        "path": "__neonProof.matrixMetrics.mixHealth.peak",
+        "max_value": 0.98,
+        "timeout_ms": 10000
+      },
+      {
+        "type": "assert_window_number",
+        "path": "__neonProof.matrixMetrics.mixHealth.rms",
+        "min_value": 0.005,
+        "timeout_ms": 10000
+      },
+      {
+        "type": "screenshot",
+        "label": "neon-full-mix-health-matrix",
+        "mode": "viewport"
+      }
+    ]
+  },
+  "checks": [
+    {
+      "type": "route_loaded",
+      "expected_path": "/games/drum-sequencer"
+    },
+    {
+      "type": "selector_visible",
+      "selector": ".drum-sequencer h1"
+    },
+    {
+      "type": "selector_visible",
+      "selector": ".drum-sequencer"
+    },
+    {
+      "type": "no_mobile_horizontal_overflow"
+    },
+    {
+      "type": "no_fatal_console_errors"
+    }
+  ],
+  "artifacts": [
+    "screenshot",
+    "console",
+    "dom_summary",
+    "proof_json"
+  ],
+  "baseline_policy": "invariant_only",
+  "failure_policy": {
+    "environment_blocked": "neutral",
+    "proof_insufficient": "review",
+    "product_regression": "fail"
+  },
+  "metadata": {
+    "pack_id": "neon_step_sequencer",
+    "pack_public_name": "Neon Step Sequencer Pack",
+    "evidence_role_pattern": "current_target",
+    "purpose": "Current-target matrix for Neon route, layout, proof contract, and one rendered mix-health receipt across device-shaped viewports.",
+    "required_receipts": [
+      "desktop, phone, iPad Mini, and iPad viewport evidence",
+      "proof contract available in every selected viewport",
+      "offline render metrics ok",
+      "no clipping",
+      "no low-level/silence regression",
+      "mobile overflow is clean"
+    ],
+    "does_not_prove": [
+      "subjective listening quality",
+      "every song/mix pair",
+      "long-running transport behavior"
+    ]
+  }
+}