@riddledc/riddle-proof-packs 0.4.1 → 0.4.3

package/README.md

@@ -90,12 +90,13 @@ Profiles are stored under `packs/<slug>/profile.json` and mirrored into the runt
 - `neon-step-sequencer-mobile-trainer-layout`
 - `neon-step-sequencer-full-mix-health-matrix`
 - `neon-step-sequencer-explore-songs-and-mixes`
+- `neon-step-sequencer-ratchet-loop-mix-level-search`
 
 ## Audio and Neon ratchet packs
 
 The `audio-mix` directory contains reusable audio-proof authoring guidance, a profile template, a metrics schema, a ratchet method, and a human-review rubric.
 
-The `neon-step-sequencer` directory contains the first app-specific ratchet lab under the new architecture. Its profiles declare `current_target` or `interaction_snapshots` evidence-role patterns and explicitly state what they do not prove. The case-study files record the claim, evidence, failure classification, smallest layer changed, and next sharper question for each run.
+The `neon-step-sequencer` directory contains the first app-specific ratchet lab under the new architecture. Its profiles declare `current_target` or `interaction_snapshots` evidence-role patterns and explicitly state what they do not prove. The ratchet-loop profile now expects a compact `humanReviewPacket` for listening handoff: supported/rejected candidates, objective guardrails, state restoration, review-order ranking, and taste caveats. The case-study files record the claim, evidence, failure classification, smallest layer changed, and next sharper question for each run.
 
 ## Usage
 

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"
     ],
@@ -1669,6 +1695,7 @@ var ratchet_loop_mix_level_search_default = {
         path: "__NEON_MIX_PROOF__.runRatchetLoop",
         args: [
           {
+            intent: "turn the chord part down a little",
             strategy: "mix-level-search",
             focusTracks: [
               "bass",
@@ -1703,6 +1730,15 @@ var ratchet_loop_mix_level_search_default = {
           },
           {
             path: "supportedClaimCandidateCount"
+          },
+          {
+            path: "humanReviewPacket.status"
+          },
+          {
+            path: "humanReviewPacket.recommendation.candidate.action.track"
+          },
+          {
+            path: "humanReviewPacket.ranking.role"
           }
         ]
       },
@@ -1712,6 +1748,24 @@ var ratchet_loop_mix_level_search_default = {
         expected_value: true,
         timeout_ms: 1e4
       },
+      {
+        type: "assert_window_value",
+        path: "__neonMixProof.ratchetLoop.humanReviewPacket.kind",
+        expected_value: "human_review_packet",
+        timeout_ms: 1e4
+      },
+      {
+        type: "assert_window_value",
+        path: "__neonMixProof.ratchetLoop.humanReviewPacket.ranking.role",
+        expected_value: "review_order_only",
+        timeout_ms: 1e4
+      },
+      {
+        type: "assert_window_value",
+        path: "__neonMixProof.ratchetLoop.humanReviewPacket.request.candidateActionsAreTransient",
+        expected_value: true,
+        timeout_ms: 1e4
+      },
       {
         type: "screenshot",
         label: "neon-ratchet-loop-mix-level-search",
@@ -1759,6 +1813,7 @@ var ratchet_loop_mix_level_search_default = {
       "claim candidates are captured",
       "each candidate records claim receipts",
       "best supported claim candidate or human-review status is captured",
+      "compact human-review packet is captured",
       "state restoration receipt is captured"
     ],
     does_not_prove: [

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"
     ],
@@ -1634,6 +1660,7 @@ var ratchet_loop_mix_level_search_default = {
         path: "__NEON_MIX_PROOF__.runRatchetLoop",
         args: [
           {
+            intent: "turn the chord part down a little",
             strategy: "mix-level-search",
             focusTracks: [
               "bass",
@@ -1668,6 +1695,15 @@ var ratchet_loop_mix_level_search_default = {
           },
           {
             path: "supportedClaimCandidateCount"
+          },
+          {
+            path: "humanReviewPacket.status"
+          },
+          {
+            path: "humanReviewPacket.recommendation.candidate.action.track"
+          },
+          {
+            path: "humanReviewPacket.ranking.role"
           }
         ]
       },
@@ -1677,6 +1713,24 @@ var ratchet_loop_mix_level_search_default = {
         expected_value: true,
         timeout_ms: 1e4
       },
+      {
+        type: "assert_window_value",
+        path: "__neonMixProof.ratchetLoop.humanReviewPacket.kind",
+        expected_value: "human_review_packet",
+        timeout_ms: 1e4
+      },
+      {
+        type: "assert_window_value",
+        path: "__neonMixProof.ratchetLoop.humanReviewPacket.ranking.role",
+        expected_value: "review_order_only",
+        timeout_ms: 1e4
+      },
+      {
+        type: "assert_window_value",
+        path: "__neonMixProof.ratchetLoop.humanReviewPacket.request.candidateActionsAreTransient",
+        expected_value: true,
+        timeout_ms: 1e4
+      },
       {
         type: "screenshot",
         label: "neon-ratchet-loop-mix-level-search",
@@ -1724,6 +1778,7 @@ var ratchet_loop_mix_level_search_default = {
       "claim candidates are captured",
       "each candidate records claim receipts",
       "best supported claim candidate or human-review status is captured",
+      "compact human-review packet is captured",
       "state restoration receipt is captured"
     ],
     does_not_prove: [

package/package.json

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

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

@@ -33,16 +33,18 @@ This pack is the first app-specific lab for the open Riddle Proof architecture.
 
 The loop is not mix-specific as a proof concept. The proof concept is a bounded ratchet loop: propose a candidate, apply it, collect evidence, classify the result, restore or keep state, and repeat until the budget is exhausted.
 
-This pack's first concrete strategy is `mix-level-search`, which turns small level edits into change-claim candidates. Each candidate says what action will be attempted, what receipts must support the claim, and what evidence should be reviewed afterward. The loop may include a ranking metric to order review, but the verdict comes from receipts and invariants, not from a universal mix-quality number. It still does not decide subjective mix taste; the output is a listening and review packet.
+This pack's first concrete strategy is `mix-level-search`, which turns small level edits into change-claim candidates. Each candidate says what action will be attempted, what receipts must support the claim, and what evidence should be reviewed afterward. The loop may include a ranking metric to order review, but the verdict comes from receipts and invariants, not from a universal mix-quality number. It still does not decide subjective mix taste; the output is a `humanReviewPacket` for listening handoff.
 
 ## 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.
+- `run-006-ratchet-loop-human-review-packet`: passing `interaction_snapshots` proof where the same bounded loop returned a compact `humanReviewPacket` with the recommended `chord -0.10` candidate, objective guardrails, `review_order_only` ranking, state restoration, and explicit listening caveats.
 
 ## Naming note
 

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

@@ -101,6 +101,28 @@ 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?
+
+### Run 006 made the listening handoff compact
+
+- run: `run-006-ratchet-loop-human-review-packet`
+- claim: a bounded ratchet loop can return a compact human-review packet that summarizes supported candidates, objective guardrails, state restoration, ranking-as-review-order, and listening caveats.
+- observed evidence: loop status was `claim_candidate_supported`; the packet kind was `human_review_packet`; packet status was `candidate_ready_for_listening_review`; the recommended candidate was `chord -0.10`; supported candidate count was `6`; rejected candidate count was `0`; ranking role was `review_order_only`; app state was restored after the loop; permanent edit was not kept.
+- classification: none; passing `interaction_snapshots` proof with subjective listening caveat.
+- smallest layer changed: app proof contract and proof-pack profile assertions.
+- change made: added `humanReviewPacket` to the Neon ratchet-loop result and updated the pack profile to assert the packet shape.
+- rerun: passed on May 24, 2026 with local Playwright.
+- next sharper question: can the packet become the standard output shape for one-off and background candidate operators across more than `mix-level-search`?
+
 ### 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,9 @@ 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.
+- Run 006: the bounded loop returned a compact `humanReviewPacket` with the supported `chord -0.10` candidate, objective guardrails, state restoration, review-order ranking, and listening caveats.
 
 ## 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. Run 006 makes the human handoff explicit: the packet is a compact review object, not an automated taste verdict. 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,116 @@ 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?
+
+## Run 006 - Human-review packet handoff
+
+Claim:
+
+Neon can turn the bounded `mix-level-search` loop into a compact handoff object that a human or follow-on agent can review without reading the full proof JSON.
+
+Profile:
+
+`profiles/ratchet-loop-mix-level-search.json`
+
+Evidence to capture:
+
+- loop status and supported candidate count
+- recommended candidate action
+- per-candidate objective guardrail summary
+- state restoration receipt
+- ranking role as review order only
+- listening-review caveats
+
+Possible outcomes:
+
+- `claim_candidate_supported`: at least one candidate has the receipts needed to support its change claim and the packet can recommend it for listening review.
+- `needs_human_review`: evidence is valid but no candidate satisfies every objective receipt.
+- `proof_insufficient`: the app contract does not expose a packet or enough candidate receipts.
+- `profile_calibration`: the packet exists but points to the wrong window, target, or candidate set.
+
+Observed status:
+
+Passed on May 24, 2026 with `local-playwright`.
+
+Observed evidence:
+
+- loop status `claim_candidate_supported`
+- packet kind `human_review_packet`
+- packet status `candidate_ready_for_listening_review`
+- recommended candidate `chord -0.10`
+- recommended action `set_mixer_level chord 0.38 -> 0.28`
+- supported candidates `6`
+- rejected candidates `0`
+- ranking role `review_order_only`
+- state restored after loop `true`
+- permanent edit kept `false`
+
+Failure classification:
+
+None. This was a passing `interaction_snapshots` proof with an explicit listening-review caveat.
+
+Smallest layer changed:
+
+App proof contract and proof-pack profile. Riddle Proof core did not need a change.
+
+Next sharper question:
+
+Can one-off commands and background runs use this packet as their common output surface while strategy-specific code remains behind the app contract?
+
 ## Project note
 
 The ratchet is not a pass. The ratchet is the next sharper question.

package/packs/neon-step-sequencer/case-study/reusable-lessons.md

@@ -22,6 +22,10 @@ Large metrics belong in artifacts. The summary should answer:
 - did the intended metric move?
 - what should a human review next?
 
+## Handoff packets beat raw JSON spelunking
+
+The full proof result should remain auditable, but one-off and background loops need a compact handoff object. A good `humanReviewPacket` lists supported and rejected candidates, objective guardrails, restoration status, review-order ranking, and caveats that separate proof from taste.
+
 ## Core changes are last
 
 Most ratchet steps should change profile JSON, pack docs, app proof contracts, or app fixtures. Riddle Proof core changes are justified only when the missing primitive applies beyond Neon.

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

@@ -12,12 +12,15 @@ 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. |
+| `run-006-ratchet-loop-human-review-packet` | `interaction_snapshots` | passed | A bounded ratchet loop returns a compact `humanReviewPacket` for handoff: supported candidates, objective guardrails, state restoration, review-order ranking, and listening caveats. |
 
 ## 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.
 - The ratchet-loop run does not prove that the supported candidate should be kept. Its ranking metric is a review-order hint, not a taste verdict.
+- The human-review packet does not replace listening judgment. It compresses objective receipts and caveats so a person or follow-on agent can decide what to review next.

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
+}