@riddledc/riddle-proof-packs 0.2.2 → 0.4.0

package/packs/neon-step-sequencer/profiles/mix-change-before-after.json

@@ -0,0 +1,202 @@
+{
+  "version": "riddle-proof.profile.v1",
+  "name": "neon-step-sequencer-mix-change-before-after",
+  "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": 300,
+    "wait_for_selector": ".drum-sequencer h1",
+    "setup_actions": [
+      {
+        "type": "window_eval",
+        "label": "install-neon-mix-change-proof",
+        "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?.(); return api?.getState?.()||api?.getSummary?.()||diagnostic?.state||null;}; window.__neonProofRender=async(options={})=>{const api=window.__neonProofApi(); return await (api?.renderOfflineMetrics?.(options)||{ok:false,error:'missing renderOfflineMetrics'});}; window.__neonProofSetMixer=async(track,value)=>{const api=window.__neonProofApi(); if(api?.setMixerLevelForProof){return await api.setMixerLevelForProof(track,value);} const selector='.instrument-lane-'+track+' .instrument-lane-slider input[type=\"range\"]'; const input=document.querySelector(selector); if(!input) return {ok:false,track,value,error:'missing slider'}; const setter=Object.getOwnPropertyDescriptor(HTMLInputElement.prototype,'value')?.set; if(setter) setter.call(input,String(value)); else input.value=String(value); input.dispatchEvent(new Event('input',{bubbles:true})); input.dispatchEvent(new Event('change',{bubbles:true})); return {ok:true,track,value:Number(input.value)};}; return {available:Boolean(window.__neonProofApi())};"
+      },
+      {
+        "type": "assert_window_value",
+        "path": "__neonProof.install.available",
+        "expected_value": true,
+        "timeout_ms": 10000
+      },
+      {
+        "type": "window_call",
+        "label": "render-pre-action-metrics",
+        "path": "__neonProofRender",
+        "args": [
+          {
+            "bars": 1,
+            "seed": "neon-mix-change-pre-action",
+            "monitorProfile": "smallSpeaker"
+          }
+        ],
+        "store_return_to": "__neonProof.preAction",
+        "capture_return": true,
+        "timeout_ms": 120000,
+        "return_summary_fields": [
+          {
+            "path": "ok"
+          },
+          {
+            "path": "mixHealth.peak"
+          },
+          {
+            "path": "mixHealth.rms"
+          }
+        ]
+      },
+      {
+        "type": "window_call",
+        "label": "apply-bass-focus-change",
+        "path": "__neonProofSetMixer",
+        "args": [
+          "bass",
+          1.35
+        ],
+        "store_return_to": "__neonProof.mixEdit",
+        "capture_return": true,
+        "timeout_ms": 10000,
+        "return_summary_fields": [
+          {
+            "path": "ok"
+          },
+          {
+            "path": "track"
+          },
+          {
+            "path": "value"
+          }
+        ]
+      },
+      {
+        "type": "wait",
+        "ms": 400
+      },
+      {
+        "type": "window_call",
+        "label": "render-post-action-metrics",
+        "path": "__neonProofRender",
+        "args": [
+          {
+            "bars": 1,
+            "seed": "neon-mix-change-post-action",
+            "monitorProfile": "smallSpeaker"
+          }
+        ],
+        "store_return_to": "__neonProof.postAction",
+        "capture_return": true,
+        "timeout_ms": 120000,
+        "return_summary_fields": [
+          {
+            "path": "ok"
+          },
+          {
+            "path": "mixHealth.peak"
+          },
+          {
+            "path": "mixHealth.rms"
+          }
+        ]
+      },
+      {
+        "type": "window_eval",
+        "label": "classify-mix-change",
+        "timeout_ms": 10000,
+        "store_return_to": "__neonProof.mixChange",
+        "script": "const pre=window.__neonProof?.preAction||{}; const post=window.__neonProof?.postAction||{}; const edit=window.__neonProof?.mixEdit||{}; const preRms=Number(pre.mixHealth?.rms||0); const postRms=Number(post.mixHealth?.rms||0); const peak=Number(post.mixHealth?.peak||0); const metricMoved=Math.abs(postRms-preRms)>0.00001||Math.abs(Number(post.mixHealth?.peak||0)-Number(pre.mixHealth?.peak||0))>0.00001; const out={ok:Boolean(pre.ok&&post.ok&&edit.ok&&metricMoved&&peak<0.98),levelChanged:Boolean(edit.ok),metricMoved,preRms,postRms,postPeak:peak}; window.__neonProof.mixChange=out; return out;",
+        "return_summary_fields": [
+          {
+            "path": "ok"
+          },
+          {
+            "path": "levelChanged"
+          },
+          {
+            "path": "metricMoved"
+          },
+          {
+            "path": "postPeak"
+          }
+        ]
+      },
+      {
+        "type": "assert_window_value",
+        "path": "__neonProof.mixChange.levelChanged",
+        "expected_value": true,
+        "timeout_ms": 10000
+      },
+      {
+        "type": "assert_window_value",
+        "path": "__neonProof.mixChange.metricMoved",
+        "expected_value": true,
+        "timeout_ms": 10000
+      },
+      {
+        "type": "assert_window_number",
+        "path": "__neonProof.mixChange.postPeak",
+        "max_value": 0.98,
+        "timeout_ms": 10000
+      },
+      {
+        "type": "screenshot",
+        "label": "neon-mix-change-post-action",
+        "mode": "viewport"
+      }
+    ]
+  },
+  "checks": [
+    {
+      "type": "route_loaded",
+      "expected_path": "/games/drum-sequencer"
+    },
+    {
+      "type": "selector_visible",
+      "selector": ".drum-sequencer h1"
+    },
+    {
+      "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": "interaction_snapshots",
+    "purpose": "Interaction proof that a pre-action/post-action mix edit changes objective audio metrics without clipping.",
+    "required_receipts": [
+      "pre-action offline render metrics",
+      "visible/user-like bass mix change",
+      "post-action offline render metrics",
+      "metric movement classification",
+      "post-action clipping guardrail"
+    ],
+    "does_not_prove": [
+      "that the change sounds better",
+      "that every mix control affects every render window",
+      "cross-device control reachability"
+    ]
+  }
+}

package/packs/neon-step-sequencer/profiles/mobile-trainer-layout.json

@@ -0,0 +1,109 @@
+{
+  "version": "riddle-proof.profile.v1",
+  "name": "neon-step-sequencer-mobile-trainer-layout",
+  "target": {
+    "route": "/games/drum-sequencer?song=monkberry-moon-delight-tab&mix=profile&view=trainer&instrument=bass",
+    "viewports": [
+      {
+        "name": "phone",
+        "width": 390,
+        "height": 844
+      },
+      {
+        "name": "ipad-mini",
+        "width": 768,
+        "height": 1024
+      }
+    ],
+    "timeout_sec": 180,
+    "wait_for_selector": ".drum-sequencer h1",
+    "setup_actions": [
+      {
+        "type": "window_eval",
+        "label": "capture-mobile-trainer-state",
+        "timeout_ms": 10000,
+        "store_return_to": "__neonProof.mobile",
+        "script": "const api=window.__NEON_MIX_PROOF__||window.__RIDDLE_SEQUENCER_PROOF__; const state=api?.getState?.()||api?.getSummary?.()||{}; const trainer=document.querySelector('.instrument-trainer')||document.querySelector('[class*=trainer]'); const mix=document.querySelector('.mix-board')||document.querySelector('[class*=mix]'); const out={available:Boolean(api),route:state.route||location.pathname,selectedSong:state.selectedSong||null,trainerVisible:Boolean(trainer),mixVisible:Boolean(mix),scrollWidth:document.documentElement.scrollWidth,clientWidth:document.documentElement.clientWidth}; window.__neonProof={...(window.__neonProof||{}),mobile:out}; return out;",
+        "return_summary_fields": [
+          {
+            "path": "available"
+          },
+          {
+            "path": "trainerVisible"
+          },
+          {
+            "path": "mixVisible"
+          },
+          {
+            "path": "scrollWidth"
+          },
+          {
+            "path": "clientWidth"
+          }
+        ]
+      },
+      {
+        "type": "assert_window_value",
+        "path": "__neonProof.mobile.available",
+        "expected_value": true,
+        "timeout_ms": 10000
+      },
+      {
+        "type": "assert_window_value",
+        "path": "__neonProof.mobile.trainerVisible",
+        "expected_value": true,
+        "timeout_ms": 10000
+      },
+      {
+        "type": "screenshot",
+        "label": "neon-mobile-trainer-layout",
+        "mode": "viewport"
+      }
+    ]
+  },
+  "checks": [
+    {
+      "type": "route_loaded",
+      "expected_path": "/games/drum-sequencer"
+    },
+    {
+      "type": "selector_visible",
+      "selector": ".drum-sequencer h1"
+    },
+    {
+      "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": "Phone/tablet current-target audit for trainer reachability and overflow.",
+    "required_receipts": [
+      "mobile trainer state is readable",
+      "trainer surface is visible",
+      "viewport screenshot is captured",
+      "mobile overflow is clean"
+    ],
+    "does_not_prove": [
+      "all mixer controls are comfortable to use",
+      "audio output quality",
+      "desktop layout"
+    ]
+  }
+}

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

@@ -0,0 +1,126 @@
+{
+  "version": "riddle-proof.profile.v1",
+  "name": "neon-step-sequencer-playback-sync",
+  "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": 180,
+    "wait_for_selector": ".drum-sequencer h1",
+    "setup_actions": [
+      {
+        "type": "window_eval",
+        "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;",
+        "return_summary_fields": [
+          {
+            "path": "available"
+          },
+          {
+            "path": "state.selectedInstrument"
+          },
+          {
+            "path": "state.currentStep"
+          }
+        ]
+      },
+      {
+        "type": "assert_window_value",
+        "path": "__neonProof.prePlayback.available",
+        "expected_value": true,
+        "timeout_ms": 10000
+      },
+      {
+        "type": "click",
+        "selector": "button.drum-play",
+        "timeout_ms": 10000
+      },
+      {
+        "type": "wait",
+        "ms": 900
+      },
+      {
+        "type": "window_eval",
+        "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;",
+        "return_summary_fields": [
+          {
+            "path": "isPlaying"
+          },
+          {
+            "path": "state.currentStep"
+          },
+          {
+            "path": "state.selectedInstrument"
+          }
+        ]
+      },
+      {
+        "type": "assert_window_value",
+        "path": "__neonProof.postPlayback.available",
+        "expected_value": true,
+        "timeout_ms": 10000
+      },
+      {
+        "type": "screenshot",
+        "label": "neon-playback-sync",
+        "mode": "viewport"
+      }
+    ]
+  },
+  "checks": [
+    {
+      "type": "route_loaded",
+      "expected_path": "/games/drum-sequencer"
+    },
+    {
+      "type": "selector_visible",
+      "selector": ".drum-sequencer h1"
+    },
+    {
+      "type": "selector_visible",
+      "selector": "button.drum-play"
+    },
+    {
+      "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": "interaction_snapshots",
+    "purpose": "Interaction proof that visible playback state and proof-contract playback state can be captured together.",
+    "required_receipts": [
+      "pre-action playback state",
+      "play button interaction",
+      "post-action playback state",
+      "screenshot after interaction"
+    ],
+    "does_not_prove": [
+      "long-running transport timing",
+      "audio output quality",
+      "song-wide playback correctness"
+    ]
+  }
+}

package/packs/neon-step-sequencer/profiles/ratchet-loop-mix-level-search.json

@@ -0,0 +1,137 @@
+{
+  "version": "riddle-proof.profile.v1",
+  "name": "neon-step-sequencer-ratchet-loop-mix-level-search",
+  "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": "capture-neon-contract",
+        "timeout_ms": 10000,
+        "store_return_to": "__neonMixProof.contract",
+        "script": "const contract=window.__NEON_MIX_PROOF__; const diagnostic=contract?.captureDiagnostic?.(); window.__neonMixProof={...(window.__neonMixProof||{}),contract:{available:Boolean(contract),diagnostic}}; return window.__neonMixProof.contract;",
+        "return_summary_fields": [
+          {
+            "path": "available"
+          },
+          {
+            "path": "diagnostic.selectedSong.selectedSong"
+          }
+        ]
+      },
+      {
+        "type": "assert_window_value",
+        "path": "__neonMixProof.contract.available",
+        "expected_value": true,
+        "timeout_ms": 10000
+      },
+      {
+        "type": "window_call",
+        "label": "run-ratchet-loop-mix-level-search",
+        "path": "__NEON_MIX_PROOF__.runRatchetLoop",
+        "args": [
+          {
+            "strategy": "mix-level-search",
+            "focusTracks": [
+              "bass",
+              "chord",
+              "guitar",
+              "rhythmSynth"
+            ],
+            "maxIterations": 6,
+            "monitorProfile": "smallSpeaker",
+            "restore": true,
+            "applyBest": false,
+            "minImprovement": 0.1
+          }
+        ],
+        "store_return_to": "__neonMixProof.ratchetLoop",
+        "capture_return": true,
+        "timeout_ms": 240000,
+        "return_summary_fields": [
+          {
+            "path": "ok"
+          },
+          {
+            "path": "status"
+          },
+          {
+            "path": "strategy"
+          },
+          {
+            "path": "improvement"
+          },
+          {
+            "path": "best.candidate.track"
+          }
+        ]
+      },
+      {
+        "type": "assert_window_value",
+        "path": "__neonMixProof.ratchetLoop.ok",
+        "expected_value": true,
+        "timeout_ms": 10000
+      },
+      {
+        "type": "screenshot",
+        "label": "neon-ratchet-loop-mix-level-search",
+        "mode": "viewport"
+      }
+    ]
+  },
+  "checks": [
+    {
+      "type": "route_loaded",
+      "expected_path": "/games/drum-sequencer"
+    },
+    {
+      "type": "selector_visible",
+      "selector": ".drum-sequencer h1"
+    },
+    {
+      "type": "no_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",
+    "needs_human_review": "review",
+    "product_regression": "fail"
+  },
+  "metadata": {
+    "pack_id": "neon_step_sequencer",
+    "pack_public_name": "Neon Step Sequencer Pack",
+    "evidence_role_pattern": "interaction_snapshots",
+    "purpose": "Run a bounded automated ratchet loop using the Neon mix-level-search strategy.",
+    "required_receipts": [
+      "ratchet loop returns ok",
+      "baseline proof-window summary is captured",
+      "candidate attempts are captured",
+      "best candidate or human-review status is captured"
+    ],
+    "does_not_prove": [
+      "subjective mix quality",
+      "that the best objective candidate should be kept",
+      "all possible mix edits"
+    ]
+  }
+}

package/packs/neon-step-sequencer/profiles/source-readiness.json

@@ -0,0 +1,114 @@
+{
+  "version": "riddle-proof.profile.v1",
+  "name": "neon-step-sequencer-source-readiness",
+  "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": 300,
+    "wait_for_selector": ".drum-sequencer h1",
+    "setup_actions": [
+      {
+        "type": "window_eval",
+        "label": "install-neon-source-proof",
+        "timeout_ms": 10000,
+        "store_return_to": "__neonProof.install",
+        "script": "window.__neonProofApi=()=>window.__NEON_MIX_PROOF__||window.__RIDDLE_SEQUENCER_PROOF__; window.__neonProofPrepare=async(options={})=>{const api=window.__neonProofApi(); return await (api?.prepareForAudioProof?.(options)||api?.prepareSampleSourcesForProof?.(options)||{ok:false,error:'missing prepareForAudioProof'});}; return {available:Boolean(window.__neonProofApi())};"
+      },
+      {
+        "type": "assert_window_value",
+        "path": "__neonProof.install.available",
+        "expected_value": true,
+        "timeout_ms": 10000
+      },
+      {
+        "type": "window_call",
+        "label": "load-required-sources",
+        "path": "__neonProofPrepare",
+        "args": [
+          {
+            "loadAll": true
+          }
+        ],
+        "store_return_to": "__neonProof.sources",
+        "capture_return": true,
+        "timeout_ms": 120000,
+        "return_summary_fields": [
+          {
+            "path": "ok"
+          },
+          {
+            "path": "states.drums.status"
+          },
+          {
+            "path": "states.bass.status"
+          },
+          {
+            "path": "states.guitar.status"
+          },
+          {
+            "path": "states.vocal.status"
+          }
+        ]
+      },
+      {
+        "type": "assert_window_value",
+        "path": "__neonProof.sources.ok",
+        "expected_value": true,
+        "timeout_ms": 10000
+      },
+      {
+        "type": "screenshot",
+        "label": "neon-source-readiness",
+        "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"
+  },
+  "metadata": {
+    "pack_id": "neon_step_sequencer",
+    "pack_public_name": "Neon Step Sequencer Pack",
+    "evidence_role_pattern": "current_target",
+    "purpose": "Current-target audit for sample/source readiness before metric claims.",
+    "required_receipts": [
+      "source proof helper is available",
+      "required source loaders complete",
+      "sample/source states are captured",
+      "console health is clean"
+    ],
+    "does_not_prove": [
+      "offline metric quality",
+      "subjective source quality",
+      "full song playback"
+    ]
+  }
+}