@riddledc/riddle-proof-packs 0.3.0 → 0.4.1

package/dist/index.cjs

@@ -1626,6 +1626,149 @@ 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: "test-claim-candidates-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
+          }
+        ],
+        store_return_to: "__neonMixProof.ratchetLoop",
+        capture_return: true,
+        timeout_ms: 24e4,
+        return_summary_fields: [
+          {
+            path: "ok"
+          },
+          {
+            path: "status"
+          },
+          {
+            path: "strategy"
+          },
+          {
+            path: "best.claimVerdict.status"
+          },
+          {
+            path: "best.claimCandidate.action.track"
+          },
+          {
+            path: "supportedClaimCandidateCount"
+          }
+        ]
+      },
+      {
+        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 loop that tests Neon mix-level change-claim candidates using the mix-level-search strategy.",
+    required_receipts: [
+      "ratchet loop returns ok",
+      "baseline proof-window summary is captured",
+      "claim candidates are captured",
+      "each candidate records claim receipts",
+      "best supported claim candidate or human-review status is captured",
+      "state restoration receipt is captured"
+    ],
+    does_not_prove: [
+      "subjective mix quality",
+      "that a supported claim 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 +2198,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 +2208,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,149 @@ 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: "test-claim-candidates-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
+          }
+        ],
+        store_return_to: "__neonMixProof.ratchetLoop",
+        capture_return: true,
+        timeout_ms: 24e4,
+        return_summary_fields: [
+          {
+            path: "ok"
+          },
+          {
+            path: "status"
+          },
+          {
+            path: "strategy"
+          },
+          {
+            path: "best.claimVerdict.status"
+          },
+          {
+            path: "best.claimCandidate.action.track"
+          },
+          {
+            path: "supportedClaimCandidateCount"
+          }
+        ]
+      },
+      {
+        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 loop that tests Neon mix-level change-claim candidates using the mix-level-search strategy.",
+    required_receipts: [
+      "ratchet loop returns ok",
+      "baseline proof-window summary is captured",
+      "claim candidates are captured",
+      "each candidate records claim receipts",
+      "best supported claim candidate or human-review status is captured",
+      "state restoration receipt is captured"
+    ],
+    does_not_prove: [
+      "subjective mix quality",
+      "that a supported claim 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 +2163,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 +2173,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.1",
   "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 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.
 
 ## 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 change-claim candidates, found a supported `chord -0.10` candidate, recorded receipt-level verdicts, and restored app state without keeping the edit.
 
 ## Naming note
 

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

@@ -41,7 +41,7 @@ Profile render window, song fixture, or authoring guide.
 
 ### Subjective boundary
 
-Metrics pass, but deciding whether the mix is better requires listening.
+Receipts can support that a requested mix-level change happened and stayed inside guardrails, but deciding whether the mix is musically better requires listening.
 
 Likely change:
 
@@ -90,13 +90,24 @@ 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 change-claim candidates, collect proof-window evidence, record receipt verdicts, select a supported candidate for review, and restore state.
+- observed evidence: `mix-level-search` tested `6` candidates; baseline candidate-ranking metric was `28.8336`; best candidate-ranking metric was `27.07095`; best supported claim candidate was `chord -0.10` to level `0.28`; loop status was `claim_candidate_supported`; receipt checks covered edit acceptance, contract level agreement, rendered target metric movement, required instrument activity, no clipping, and no low-level proof window; console fatal count was `0`.
+- classification: none; passing `interaction_snapshots` proof with subjective listening caveat. The ranking metric is a review-order hint, not a proof verdict.
+- 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.
 - smallest layer changed: none in this pack.
-- change made: documented the issue and used an outer timeout for the matrix run.
-- rerun: not yet rerun after a runner fix.
+- change made: fixed the local Playwright runner timeout cleanup in `@riddledc/riddle-proof-runner-playwright`.
+- rerun: later runner smoke tests and the published `0.4.3` package exited cleanly.
 - next sharper question: should the local runner force-close browser handles or expose a clearer artifact-written exit phase?

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` change-claim candidates, returned `chord -0.10` as a supported review candidate with receipt-level evidence, 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,59 @@ 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 change-claim candidates, applies each candidate action, captures proof-window evidence, records receipt-level verdicts, selects a supported candidate for review, 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 candidate-ranking metric
+- per-candidate receipt verdicts
+- supported claim candidate and ranking metric delta
+- state restoration receipt
+- compact caveats for human handoff
 
-Expected outcome:
+Possible outcomes:
+
+- `claim_candidate_supported`: at least one candidate has the receipts needed to support its change claim.
+- `needs_human_review`: evidence is valid but no candidate has enough receipts to support the proposed claim automatically.
+- `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 candidate-ranking metric `28.8336`
+- best candidate-ranking metric `27.07095`
+- ranking metric delta `1.7627`
+- best supported claim candidate `chord -0.10` to level `0.28`
+- claim receipts recorded for edit acceptance, contract level agreement, rendered target metric movement, required instrument activity, no clipping, and no low-level proof window
+- loop status `claim_candidate_supported`
+- 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 and a ranking metric that is only a review-order hint.
+
+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 claim candidate, apply its action, collect evidence, classify receipt-level support, 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 change-claim candidates, records receipt verdicts, chooses a supported candidate for review, and restores app state. |
 
 ## What these examples do not prove
 
@@ -18,3 +19,5 @@ 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.
+- 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.