@riddledc/riddle-proof-packs 0.3.0 → 0.4.0

package/dist/index.cjs

@@ -1626,6 +1626,145 @@ var playback_sync_default = {
   }
 };
 
+// packs/neon-step-sequencer/profiles/ratchet-loop-mix-level-search.json
+var ratchet_loop_mix_level_search_default = {
+  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: 1e3
+      }
+    ],
+    timeout_sec: 360,
+    wait_for_selector: ".drum-sequencer h1",
+    setup_actions: [
+      {
+        type: "window_eval",
+        label: "capture-neon-contract",
+        timeout_ms: 1e4,
+        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: 1e4
+      },
+      {
+        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: 24e4,
+        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: 1e4
+      },
+      {
+        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"
+    ]
+  }
+};
+
 // packs/neon-step-sequencer/profiles/source-readiness.json
 var source_readiness_default = {
   version: "riddle-proof.profile.v1",
@@ -2055,7 +2194,8 @@ var rawProfiles = {
   "neon-step-sequencer-mix-change-before-after": mix_change_before_after_default,
   "neon-step-sequencer-mobile-trainer-layout": mobile_trainer_layout_default,
   "neon-step-sequencer-full-mix-health-matrix": full_mix_health_matrix_default,
-  "neon-step-sequencer-explore-songs-and-mixes": explore_songs_and_mixes_default
+  "neon-step-sequencer-explore-songs-and-mixes": explore_songs_and_mixes_default,
+  "neon-step-sequencer-ratchet-loop-mix-level-search": ratchet_loop_mix_level_search_default
 };
 var sourcePathOverrides = Object.freeze({
   "neon-step-sequencer-fast-mix-health": "packs/neon-step-sequencer/profiles/fast-mix-health.json",
@@ -2064,7 +2204,8 @@ var sourcePathOverrides = Object.freeze({
   "neon-step-sequencer-mix-change-before-after": "packs/neon-step-sequencer/profiles/mix-change-before-after.json",
   "neon-step-sequencer-mobile-trainer-layout": "packs/neon-step-sequencer/profiles/mobile-trainer-layout.json",
   "neon-step-sequencer-full-mix-health-matrix": "packs/neon-step-sequencer/profiles/full-mix-health-matrix.json",
-  "neon-step-sequencer-explore-songs-and-mixes": "packs/neon-step-sequencer/profiles/explore-songs-and-mixes.json"
+  "neon-step-sequencer-explore-songs-and-mixes": "packs/neon-step-sequencer/profiles/explore-songs-and-mixes.json",
+  "neon-step-sequencer-ratchet-loop-mix-level-search": "packs/neon-step-sequencer/profiles/ratchet-loop-mix-level-search.json"
 });
 var RIDDLE_PROOF_PACK_PROFILES = Object.freeze(
   Object.fromEntries(

package/dist/index.js

@@ -1591,6 +1591,145 @@ var playback_sync_default = {
   }
 };
 
+// packs/neon-step-sequencer/profiles/ratchet-loop-mix-level-search.json
+var ratchet_loop_mix_level_search_default = {
+  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: 1e3
+      }
+    ],
+    timeout_sec: 360,
+    wait_for_selector: ".drum-sequencer h1",
+    setup_actions: [
+      {
+        type: "window_eval",
+        label: "capture-neon-contract",
+        timeout_ms: 1e4,
+        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: 1e4
+      },
+      {
+        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: 24e4,
+        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: 1e4
+      },
+      {
+        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"
+    ]
+  }
+};
+
 // packs/neon-step-sequencer/profiles/source-readiness.json
 var source_readiness_default = {
   version: "riddle-proof.profile.v1",
@@ -2020,7 +2159,8 @@ var rawProfiles = {
   "neon-step-sequencer-mix-change-before-after": mix_change_before_after_default,
   "neon-step-sequencer-mobile-trainer-layout": mobile_trainer_layout_default,
   "neon-step-sequencer-full-mix-health-matrix": full_mix_health_matrix_default,
-  "neon-step-sequencer-explore-songs-and-mixes": explore_songs_and_mixes_default
+  "neon-step-sequencer-explore-songs-and-mixes": explore_songs_and_mixes_default,
+  "neon-step-sequencer-ratchet-loop-mix-level-search": ratchet_loop_mix_level_search_default
 };
 var sourcePathOverrides = Object.freeze({
   "neon-step-sequencer-fast-mix-health": "packs/neon-step-sequencer/profiles/fast-mix-health.json",
@@ -2029,7 +2169,8 @@ var sourcePathOverrides = Object.freeze({
   "neon-step-sequencer-mix-change-before-after": "packs/neon-step-sequencer/profiles/mix-change-before-after.json",
   "neon-step-sequencer-mobile-trainer-layout": "packs/neon-step-sequencer/profiles/mobile-trainer-layout.json",
   "neon-step-sequencer-full-mix-health-matrix": "packs/neon-step-sequencer/profiles/full-mix-health-matrix.json",
-  "neon-step-sequencer-explore-songs-and-mixes": "packs/neon-step-sequencer/profiles/explore-songs-and-mixes.json"
+  "neon-step-sequencer-explore-songs-and-mixes": "packs/neon-step-sequencer/profiles/explore-songs-and-mixes.json",
+  "neon-step-sequencer-ratchet-loop-mix-level-search": "packs/neon-step-sequencer/profiles/ratchet-loop-mix-level-search.json"
 });
 var RIDDLE_PROOF_PACK_PROFILES = Object.freeze(
   Object.fromEntries(

package/package.json

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

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

@@ -27,14 +27,22 @@ This pack is the first app-specific lab for the open Riddle Proof architecture.
 - `profiles/mobile-trainer-layout.json`: current-target audit for phone/tablet trainer reachability.
 - `profiles/full-mix-health-matrix.json`: current-target matrix across desktop, phone, iPad Mini, and iPad.
 - `profiles/explore-songs-and-mixes.json`: exploration sweep for proof-window health.
+- `profiles/ratchet-loop-mix-level-search.json`: bounded ratchet loop using the Neon `mix-level-search` strategy.
+
+## Ratchet loop strategy
+
+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 tries small level edits against Neon proof windows and returns objective evidence for the best candidate. It still does not decide subjective mix taste; the output is a listening and review packet.
 
 ## Example evidence
 
-The `examples/` directory contains three local Playwright proof results captured against LilArcade Neon Step Sequencer on May 24, 2026:
+The `examples/` directory contains four 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 candidates and returned `chord -0.10` as the best objective candidate without keeping the edit.
 
 ## Naming note
 

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

@@ -90,9 +90,20 @@ Pack summary guidance first; Riddle Proof core only if a general display primiti
 - rerun: passed on May 24, 2026.
 - next sharper question: can the exploration profile produce a prioritized song/mix confidence map?
 
+### Run 004 proved the bounded loop shape without making it mix-specific
+
+- run: `run-004-ratchet-loop-mix-level-search`
+- claim: a bounded ratchet loop can try candidate edits, collect proof-window evidence, rank candidates, and restore state.
+- observed evidence: `mix-level-search` tested `6` candidates; baseline score was `28.83345`; best score was `27.0708`; best candidate was `chord -0.10` to level `0.28`; loop status was `candidate_found`; console fatal count was `0`.
+- classification: none; passing `interaction_snapshots` proof with subjective listening caveat.
+- smallest layer changed: generic app proof-contract loop plus one Neon strategy.
+- change made: added `runRatchetLoop` with a `mix-level-search` strategy and a proof-pack profile that calls it.
+- rerun: passed on May 24, 2026.
+- next sharper question: can the loop run multiple strategy classes without changing the proof primitive?
+
 ### Local runner shutdown needs a small ergonomics follow-up
 
-- run: `run-002-mix-change`, `run-003-full-matrix`
+- run: `run-002-mix-change`, `run-003-full-matrix`, `run-004-ratchet-loop-mix-level-search`
 - claim: proof artifacts should be written and the CLI process should exit cleanly.
 - observed evidence: complete passing artifacts were written, but the wrapper process lingered after artifact write and had to be stopped.
 - classification: `proof_insufficient` for operator ergonomics, not a Neon product regression.

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

@@ -33,7 +33,8 @@ The project shows that a complex audio app can improve proof confidence mostly b
 - Run 001: a `current_target` audit connected the Neon route, proof contract, source readiness, and offline mix-health metrics.
 - 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` candidates, returned `chord -0.10` as the best objective candidate, and restored app state.
 
 ## 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. Those are separate proof claims with separate evidence roles.
+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.

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

@@ -173,26 +173,58 @@ Next sharper question:
 
 Can the pack explore song/mix combinations and produce a prioritized confidence map?
 
-## Run 004 - Exploration sweep
+## Run 004 - Bounded mix-level ratchet loop
 
 Claim:
 
-The pack can identify which proof windows or song/mix combinations need attention.
+Neon 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 app state.
 
 Profile:
 
-`profiles/explore-songs-and-mixes.json`
+`profiles/ratchet-loop-mix-level-search.json`
 
 Evidence to capture:
 
-- app-provided proof windows
-- window-level render verdicts
-- failing or review-needed windows
-- compact summary for human handoff
+- baseline proof-window score
+- per-candidate proof-window score
+- best candidate and objective improvement
+- state restoration receipt
+- compact caveats for human handoff
 
-Expected outcome:
+Possible outcomes:
+
+- `candidate_found`: at least one candidate improves objective metrics.
+- `needs_human_review`: evidence is valid but no objective candidate clears the threshold.
+- `proof_insufficient`: the app contract or proof window does not provide enough evidence.
+- `profile_calibration`: the chosen tracks, windows, or thresholds do not fit the target.
+
+Observed status:
+
+Passed on May 24, 2026 with `local-playwright`.
+
+Observed evidence:
+
+- strategy `mix-level-search`
+- tested `6` candidates across `bass`, `chord`, `guitar`, and `rhythmSynth`
+- 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`
+- app state restored after the run
+- console fatal count `0`
 
-Either a clean confidence map or a prioritized finding list.
+Failure classification:
+
+None. This was a passing `interaction_snapshots` loop proof, with an explicit listening-review caveat.
+
+Smallest layer changed:
+
+The app proof contract gained a generic `runRatchetLoop` method. The Neon-specific part is the `mix-level-search` strategy.
+
+Next sharper question:
+
+Can the pack explore song/mix combinations and produce a prioritized confidence map?
 
 ## Project note
 

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

@@ -25,3 +25,7 @@ Large metrics belong in artifacts. The summary should answer:
 ## 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.
+
+## Loops are generic
+
+A ratchet loop should be domain-neutral: propose a candidate, apply it, collect evidence, classify the result, restore or keep state, and repeat within a budget. Neon `mix-level-search` is a strategy plugged into that loop, not the loop's identity.

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

@@ -11,6 +11,7 @@ The raw `profile-result.json` files are real runner outputs. They intentionally
 | `run-001-fast-mix-health` | `current_target` | passed | The current Neon target exposes a proof contract, source receipts, and a bounded offline mix-health render. |
 | `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 candidates, returns the best objective candidate, and restores app state. |
 
 ## What these examples do not prove
 
@@ -18,3 +19,4 @@ The raw `profile-result.json` files are real runner outputs. They intentionally
 - They do not prove every song, section, or mix preset.
 - 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.