@riddledc/riddle-proof-packs 0.4.1 → 0.4.2

package/dist/index.cjs

@@ -751,11 +751,14 @@ var explore_songs_and_mixes_default = {
         label: "install-neon-exploration-proof",
         timeout_ms: 1e4,
         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};",
+        script: "window.__neonProofApi=()=>window.__NEON_MIX_PROOF__||window.__RIDDLE_SEQUENCER_PROOF__; const api=window.__neonProofApi(); const state=api?.getState?.()||api?.getSummary?.()||{}; return {available:Boolean(api),hasExplorationSweep:typeof api?.runExplorationSweep==='function',selectedSong:state.selectedSong||null};",
         return_summary_fields: [
           {
             path: "available"
           },
+          {
+            path: "hasExplorationSweep"
+          },
           {
             path: "selectedSong"
           }
@@ -769,8 +772,17 @@ var explore_songs_and_mixes_default = {
       },
       {
         type: "window_call",
-        label: "render-proof-windows",
-        path: "__neonProofWindows",
+        label: "run-exploration-sweep",
+        path: "__NEON_MIX_PROOF__.runExplorationSweep",
+        args: [
+          {
+            maxSongs: 4,
+            maxPartsPerSong: 2,
+            maxWindowsPerPart: 2,
+            monitorProfile: "smallSpeaker",
+            loadAllSources: true
+          }
+        ],
         store_return_to: "__neonProof.exploration",
         capture_return: true,
         timeout_ms: 18e4,
@@ -778,14 +790,26 @@ var explore_songs_and_mixes_default = {
           {
             path: "ok"
           },
+          {
+            path: "status"
+          },
           {
             path: "proofKind"
           },
           {
-            path: "windows.length"
+            path: "entryCount"
+          },
+          {
+            path: "findingCount"
           }
         ]
       },
+      {
+        type: "assert_window_value",
+        path: "__neonProof.exploration.proofKind",
+        expected_value: "neon-exploration-sweep",
+        timeout_ms: 1e4
+      },
       {
         type: "assert_window_value",
         path: "__neonProof.exploration.ok",
@@ -829,10 +853,12 @@ var explore_songs_and_mixes_default = {
     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.",
+    purpose: "Bounded exploration sweep over Neon songs, parts, mix profiles, and proof windows for prioritizing the next weakest review target.",
     required_receipts: [
-      "proof-window set returns ok",
-      "window receipts are captured",
+      "exploration sweep contract is available",
+      "song/part entries are captured",
+      "all sampled entries pass objective guardrails",
+      "prioritized findings are captured",
       "browser health is clean",
       "screenshot is captured"
     ],

package/dist/index.js

@@ -716,11 +716,14 @@ var explore_songs_and_mixes_default = {
         label: "install-neon-exploration-proof",
         timeout_ms: 1e4,
         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};",
+        script: "window.__neonProofApi=()=>window.__NEON_MIX_PROOF__||window.__RIDDLE_SEQUENCER_PROOF__; const api=window.__neonProofApi(); const state=api?.getState?.()||api?.getSummary?.()||{}; return {available:Boolean(api),hasExplorationSweep:typeof api?.runExplorationSweep==='function',selectedSong:state.selectedSong||null};",
         return_summary_fields: [
           {
             path: "available"
           },
+          {
+            path: "hasExplorationSweep"
+          },
           {
             path: "selectedSong"
           }
@@ -734,8 +737,17 @@ var explore_songs_and_mixes_default = {
       },
       {
         type: "window_call",
-        label: "render-proof-windows",
-        path: "__neonProofWindows",
+        label: "run-exploration-sweep",
+        path: "__NEON_MIX_PROOF__.runExplorationSweep",
+        args: [
+          {
+            maxSongs: 4,
+            maxPartsPerSong: 2,
+            maxWindowsPerPart: 2,
+            monitorProfile: "smallSpeaker",
+            loadAllSources: true
+          }
+        ],
         store_return_to: "__neonProof.exploration",
         capture_return: true,
         timeout_ms: 18e4,
@@ -743,14 +755,26 @@ var explore_songs_and_mixes_default = {
           {
             path: "ok"
           },
+          {
+            path: "status"
+          },
           {
             path: "proofKind"
           },
           {
-            path: "windows.length"
+            path: "entryCount"
+          },
+          {
+            path: "findingCount"
           }
         ]
       },
+      {
+        type: "assert_window_value",
+        path: "__neonProof.exploration.proofKind",
+        expected_value: "neon-exploration-sweep",
+        timeout_ms: 1e4
+      },
       {
         type: "assert_window_value",
         path: "__neonProof.exploration.ok",
@@ -794,10 +818,12 @@ var explore_songs_and_mixes_default = {
     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.",
+    purpose: "Bounded exploration sweep over Neon songs, parts, mix profiles, and proof windows for prioritizing the next weakest review target.",
     required_receipts: [
-      "proof-window set returns ok",
-      "window receipts are captured",
+      "exploration sweep contract is available",
+      "song/part entries are captured",
+      "all sampled entries pass objective guardrails",
+      "prioritized findings are captured",
       "browser health is clean",
       "screenshot is captured"
     ],

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@riddledc/riddle-proof-packs",
-  "version": "0.4.1",
+  "version": "0.4.2",
   "description": "Reusable proof pack profiles and metadata helpers for the Riddle proof framework.",
   "license": "MIT",
   "author": "RiddleDC",

package/packs/neon-step-sequencer/README.md

@@ -37,12 +37,13 @@ This pack's first concrete strategy is `mix-level-search`, which turns small lev
 
 ## Example evidence
 
-The `examples/` directory contains four local Playwright proof results captured against LilArcade Neon Step Sequencer on May 24, 2026:
+The `examples/` directory contains local Playwright proof results captured against LilArcade Neon Step Sequencer on May 24, 2026:
 
 - `run-001-fast-mix-health`: passing `current_target` audit with proof contract, source readiness, mix RMS `0.1234`, peak `0.8321`, and no clipping.
 - `run-002-mix-change`: passing `interaction_snapshots` proof where a bass-level edit moved bass RMS from `0.0507` to `0.1071` and mix RMS from `0.073` to `0.1264` without clipping.
 - `run-003-full-matrix`: passing `current_target` viewport matrix across desktop, phone, iPad Mini, and iPad with `0 px` horizontal overflow.
 - `run-004-ratchet-loop-mix-level-search`: passing `interaction_snapshots` proof where a bounded loop tested six mix-level change-claim candidates, found a supported `chord -0.10` candidate, recorded receipt-level verdicts, and restored app state without keeping the edit.
+- `run-005-explore-songs-and-mixes-final`: passing `current_target` exploration sweep across four songs and eight song/part entries, with `8` passing entries, `0` prioritized findings, and no clipping after the local app-contract and mix-headroom ratchet.
 
 ## Naming note
 

package/packs/neon-step-sequencer/case-study/findings.md

@@ -101,6 +101,17 @@ Pack summary guidance first; Riddle Proof core only if a general display primiti
 - rerun: passed on May 24, 2026.
 - next sharper question: can the loop run multiple strategy classes without changing the proof primitive?
 
+### Run 005 restored the exploration flywheel
+
+- run: `run-005-explore-songs-and-mixes-final`
+- claim: a bounded current-target sweep can explore multiple Neon songs/parts, classify findings, and end with a useful confidence map.
+- observed evidence: final run sampled `4` songs and `8` song/part entries; all `8` entries passed; prioritized findings dropped to `0`; source preparation loaded drums `samples`, bass/chord/guitar `hybrid`, and vocal `voice_oohs`; final sampled peaks stayed below the clipping threshold; console fatal count was `0`.
+- classification: resolved chain of `proof_insufficient`, `app_contract_gap`, and `product_regression` findings during the local ratchet.
+- smallest layer changed: app proof contract, app snapshot normalization, app fixture/mix data, and profile JSON.
+- change made: made the exploration profile call `runExplorationSweep`; added the app-contract sweep method; normalized arbitrary song/part tempo and bar count; preserved bass/chord/guitar lane enable flags in song snapshots; lowered only hot built-in Yakety and Monkberry Sheet mix data enough to clear clipping receipts.
+- rerun: passed on May 24, 2026 with `8` entries, `8` passed, and `0` findings.
+- next sharper question: can this exploration workflow become the normal local pack/profile loop before any changeset or npm release?
+
 ### Local runner shutdown needs a small ergonomics follow-up
 
 - run: `run-002-mix-change`, `run-003-full-matrix`, `run-004-ratchet-loop-mix-level-search`

package/packs/neon-step-sequencer/case-study/ratchet-card.md

@@ -34,7 +34,8 @@ The project shows that a complex audio app can improve proof confidence mostly b
 - Run 002: an `interaction_snapshots` proof showed a bass-level edit moving bass RMS from `0.0507` to `0.1071` and mix RMS from `0.073` to `0.1264` without clipping.
 - Run 003: a `current_target` matrix passed across desktop, phone, iPad Mini, and iPad with `0 px` horizontal overflow.
 - Run 004: a bounded loop tested six `mix-level-search` change-claim candidates, returned `chord -0.10` as a supported review candidate with receipt-level evidence, and restored app state.
+- Run 005: a `current_target` exploration sweep sampled four songs and eight song/part entries. The first real sweep exposed app-contract normalization gaps and hot built-in song presets; after the local ratchet fixes it passed with `8` entries, `0` findings, and no clipping.
 
 ## Honest boundary
 
-These runs prove objective claims about a running app target. They do not prove that the mix is tasteful, that every song section is healthy, or that a release candidate is better than production. The ratchet loop is a generic proof-loop shape; `mix-level-search` is only the first Neon strategy plugged into it.
+These runs prove objective claims about a running app target. They do not prove that the mix is tasteful, that every song section is healthy, or that a release candidate is better than production. Run 005 is still bounded to configured song/part limits. The ratchet loop is a generic proof-loop shape; `mix-level-search` is only the first Neon strategy plugged into it.

package/packs/neon-step-sequencer/case-study/ratchet-log.md

@@ -227,6 +227,61 @@ Next sharper question:
 
 Can the pack explore song/mix combinations and produce a prioritized confidence map?
 
+## Run 005 - Bounded song/mix exploration sweep
+
+Claim:
+
+Neon can run a bounded current-target exploration sweep across multiple songs and parts, produce a confidence map, classify weak layers, and close the loop after small user-controlled changes.
+
+Profile:
+
+`profiles/explore-songs-and-mixes.json`
+
+Evidence to capture:
+
+- route and proof-contract availability
+- sample/source preparation receipt
+- bounded song/part entries
+- per-window active-instrument, peak, headroom, and clipping receipts
+- prioritized findings
+- screenshot, console health, and layout health
+
+Possible outcomes:
+
+- `app_contract_gap`: the app cannot render arbitrary song/part proof states yet.
+- `proof_insufficient`: the exploration profile runs but cannot support the claim.
+- `profile_calibration`: proof windows or required-active receipts target the wrong musical window.
+- `product_regression`: a sampled song/part clips or violates objective guardrails.
+
+Observed status:
+
+Passed on May 24, 2026 with `local-playwright` after three local ratchet iterations.
+
+Observed evidence:
+
+- final run sampled `4` songs and `8` song/part entries
+- final run passed `8` entries with `0` prioritized findings
+- source preparation loaded drums `samples`, bass/chord/guitar `hybrid`, and vocal `voice_oohs`
+- final sampled peaks stayed below the clipping threshold: Yakety `0.9589` and `0.9756`, Monkberry Sheet `0.9734` and `0.9550`, Monkberry Full OMR `0.8345` and `0.8327`, Monkberry Tab proof windows `0.8328` to `0.8423`
+- console fatal count `0`
+- horizontal overflow `0 px`
+
+Failure classification:
+
+Resolved during the ratchet:
+
+- `proof_insufficient`: the first corrected sweep hit an `OfflineAudioContext` zero-frame error because historical song/part proof states did not normalize tempo/bar count.
+- `app_contract_gap`: the next sweep showed saved/song snapshots preserved `rhythmSynthEnabled` but not bass/chord/guitar enable flags.
+- `product_regression`: after lane flags were fixed, the sweep found clipping in Yakety Dark and Monkberry Sheet presets.
+
+Smallest layer changed:
+
+App proof contract, app snapshot normalization, app fixture/mix data, and the local exploration profile. Riddle Proof core did not need a change.
+
+Next sharper question:
+
+Can the same exploration shape become a reusable pack/profile workflow where a user can choose a bounded target set, run locally during iteration, and publish only after the evidence is worth sharing?
+
 ## Project note
 
 The ratchet is not a pass. The ratchet is the next sharper question.

package/packs/neon-step-sequencer/examples/README.md

@@ -12,11 +12,12 @@ The raw `profile-result.json` files are real runner outputs. They intentionally
 | `run-002-mix-change` | `interaction_snapshots` | passed | A bass-level edit changes rendered bass and mix metrics without clipping. |
 | `run-003-full-matrix` | `current_target` | passed | The mix-health proof holds across desktop, phone, iPad Mini, and iPad viewports. |
 | `run-004-ratchet-loop-mix-level-search` | `interaction_snapshots` | passed | A bounded ratchet loop tests mix-level change-claim candidates, records receipt verdicts, chooses a supported candidate for review, and restores app state. |
+| `run-005-explore-songs-and-mixes-final` | `current_target` | passed | A bounded exploration sweep samples four songs and eight song/part entries, producing a zero-finding confidence map after app-contract and mix-headroom fixes. |
 
 ## What these examples do not prove
 
 - They do not prove subjective mix taste.
-- They do not prove every song, section, or mix preset.
+- They do not prove every song, section, or mix preset. Run 005 is bounded to the configured song, part, and proof-window limits.
 - They do not prove production CDN asset availability; these were local dev-server runs.
 - They do not prove a reference/candidate release delta. The mix-change run uses pre-action/post-action snapshots inside one proof run, not a separate baseline deployment.
 - The ratchet-loop run does not prove that the loop primitive is mix-specific; `mix-level-search` is only this pack's first concrete strategy.

package/packs/neon-step-sequencer/examples/run-005-explore-songs-and-mixes-final/artifact-manifest.json

@@ -0,0 +1,32 @@
+{
+  "version": "riddle-proof-local-runner-manifest.v1",
+  "runner": "local-playwright",
+  "profile_name": "neon-step-sequencer-explore-songs-and-mixes",
+  "captured_at": "2026-05-24T05:09:43.225Z",
+  "artifacts": [
+    {
+      "name": "proof.json",
+      "path": "proof.json",
+      "kind": "text",
+      "bytes": 118797
+    },
+    {
+      "name": "console.json",
+      "path": "console.json",
+      "kind": "text",
+      "bytes": 38
+    },
+    {
+      "name": "dom-summary.json",
+      "path": "dom-summary.json",
+      "kind": "text",
+      "bytes": 815
+    },
+    {
+      "name": "profile-result.json",
+      "path": "profile-result.json",
+      "kind": "text",
+      "bytes": 118797
+    }
+  ]
+}

package/packs/neon-step-sequencer/examples/run-005-explore-songs-and-mixes-final/console.json

@@ -0,0 +1,4 @@
+{
+  "events": [],
+  "fatal_count": 0
+}

package/packs/neon-step-sequencer/examples/run-005-explore-songs-and-mixes-final/dom-summary.json

@@ -0,0 +1,40 @@
+{
+  "expected_viewport_count": 1,
+  "viewport_count": 1,
+  "partial": false,
+  "routes": [
+    {
+      "requested": "http://127.0.0.1:5173/games/drum-sequencer?song=monkberry-moon-delight-tab&mix=profile&view=trainer&instrument=bass",
+      "observed": "/games/drum-sequencer",
+      "expected_path": "/games/drum-sequencer",
+      "matched": true,
+      "http_status": 200
+    }
+  ],
+  "titles": [
+    "LilArcade"
+  ],
+  "overflow_px": [
+    0
+  ],
+  "bounds_overflow_px": [
+    0
+  ],
+  "overflow_offender_counts": [
+    0
+  ],
+  "frames": [
+    {
+      "viewport": "desktop",
+      "selectors": []
+    }
+  ],
+  "http_status": [],
+  "link_status": [],
+  "route_inventory": [],
+  "network_mock_count": 0,
+  "network_mock_hit_count": 0,
+  "dialog_count": 0,
+  "dialog_accept_count": 0,
+  "dialog_dismiss_count": 0
+}