@riddledc/riddle-proof-packs 0.4.6 → 0.4.8

package/packs/neon-step-sequencer/examples/run-008-durable-mix-patch-handoff/summary.md

@@ -0,0 +1,39 @@
+# Run 008 - Durable mix patch handoff
+
+- profile: `lilarcade-neon-fast-mix-health`
+- runner: `local-playwright`
+- evidence-role pattern: `current_target`
+- target: `/games/drum-sequencer?song=monkberry-moon-delight-tab&mix=profile&view=trainer&instrument=bass`
+- status: `passed`
+
+## Claim
+
+After an explicitly applied human-review packet, Neon can turn the supported `chord -0.10` candidate into a scoped source-level mix override, then prove the running app sees that durable level without turning the packet into a taste verdict.
+
+## Handoff chain
+
+1. Run 007 produced `candidate_applied_for_listening_review`.
+2. The packet recorded `mixing_canon_surrogate`, `approvedCandidateApplied: true`, `candidateActionsAreTransient: false`, and `ranking.role: review_order_only`.
+3. The durable candidate patch plan targeted `src/Games/songs/neon-approved-mix-overrides.json`.
+4. The durable edit scoped `chord: 0.28` to `Monkberry Moon Delight (Tab)` and `monkberry-moon-delight-eq-lane-mix-v7`.
+5. This current-target proof reloaded Neon and verified the browser contract reported `chordLevel: 0.28`.
+
+## Objective receipts
+
+| receipt | value |
+| --- | --- |
+| selected song | `Monkberry Moon Delight (Tab)` |
+| durable chord level | `0.28` |
+| mix RMS | `0.1234` |
+| peak | `0.8303` |
+| clipping | `false` |
+| low-level window | `false` |
+| active instruments | `6` |
+| route | `/games/drum-sequencer` |
+| fatal console count | `0` |
+
+## Verdict
+
+Passed. The proof supports that the source-level durable override is visible to the running app and stays inside the current mix-health guardrails.
+
+It does not prove subjective mix quality, listener preference, or that this is the best musical balance. It proves the handoff from approved candidate packet to scoped durable state and then verifies that durable state in the browser.

package/packs/neon-step-sequencer/profiles/playback-sync.json

@@ -18,16 +18,16 @@
         "label": "capture-pre-playback-state",
         "timeout_ms": 10000,
         "store_return_to": "__neonProof.prePlayback",
-        "script": "const api=window.__NEON_MIX_PROOF__||window.__RIDDLE_SEQUENCER_PROOF__; const state=api?.getPlaybackState?.()||api?.getSummary?.()?.trainer||null; window.__neonProof={...(window.__neonProof||{}),prePlayback:{available:Boolean(api),state}}; return window.__neonProof.prePlayback;",
+        "script": "const api=window.__NEON_MIX_PROOF__||window.__RIDDLE_SEQUENCER_PROOF__; const raw=api?.getPlaybackState?.()||api?.getSummary?.()||null; const trainer=raw?.trainer||raw||{}; const out={available:Boolean(api),isPlaying:Boolean(raw?.isPlaying),currentStep:Number(trainer.currentStep??-1),selectedInstrument:trainer.selectedInstrument||null,state:raw}; window.__neonProof={...(window.__neonProof||{}),prePlayback:out}; return out;",
         "return_summary_fields": [
           {
             "path": "available"
           },
           {
-            "path": "state.selectedInstrument"
+            "path": "selectedInstrument"
           },
           {
-            "path": "state.currentStep"
+            "path": "currentStep"
           }
         ]
       },
@@ -42,6 +42,12 @@
         "selector": "button.drum-play",
         "timeout_ms": 10000
       },
+      {
+        "type": "wait_for_text",
+        "selector": "button.drum-play",
+        "text": "Stop",
+        "timeout_ms": 30000
+      },
       {
         "type": "wait",
         "ms": 900
@@ -51,16 +57,19 @@
         "label": "capture-post-playback-state",
         "timeout_ms": 10000,
         "store_return_to": "__neonProof.postPlayback",
-        "script": "const api=window.__NEON_MIX_PROOF__||window.__RIDDLE_SEQUENCER_PROOF__; const state=api?.getPlaybackState?.()||api?.getSummary?.()?.trainer||null; const summary=api?.getState?.()||api?.getSummary?.()||{}; const out={available:Boolean(api),isPlaying:Boolean(summary.isPlaying),state}; window.__neonProof={...(window.__neonProof||{}),postPlayback:out}; return out;",
+        "script": "const api=window.__NEON_MIX_PROOF__||window.__RIDDLE_SEQUENCER_PROOF__; const raw=api?.getPlaybackState?.()||api?.getSummary?.()||null; const trainer=raw?.trainer||raw||{}; const pre=window.__neonProof?.prePlayback||{}; const currentStep=Number(trainer.currentStep??-1); const preStep=Number(pre.currentStep??-1); const out={available:Boolean(api),isPlaying:Boolean(raw?.isPlaying),currentStep,preStep,selectedInstrument:trainer.selectedInstrument||null,movedForward:currentStep>preStep,state:raw}; window.__neonProof={...(window.__neonProof||{}),postPlayback:out}; return out;",
         "return_summary_fields": [
           {
             "path": "isPlaying"
           },
           {
-            "path": "state.currentStep"
+            "path": "currentStep"
+          },
+          {
+            "path": "selectedInstrument"
           },
           {
-            "path": "state.selectedInstrument"
+            "path": "movedForward"
           }
         ]
       },
@@ -70,6 +79,18 @@
         "expected_value": true,
         "timeout_ms": 10000
       },
+      {
+        "type": "assert_window_value",
+        "path": "__neonProof.postPlayback.isPlaying",
+        "expected_value": true,
+        "timeout_ms": 10000
+      },
+      {
+        "type": "assert_window_value",
+        "path": "__neonProof.postPlayback.movedForward",
+        "expected_value": true,
+        "timeout_ms": 10000
+      },
       {
         "type": "screenshot",
         "label": "neon-playback-sync",
@@ -114,7 +135,9 @@
     "required_receipts": [
       "pre-action playback state",
       "play button interaction",
-      "post-action playback state",
+      "visible Stop state after interaction",
+      "post-action playback state is playing",
+      "post-action trainer step moved forward",
       "screenshot after interaction"
     ],
     "does_not_prove": [