@riddledc/riddle-proof-packs 0.3.0 → 0.4.0

package/packs/neon-step-sequencer/examples/run-004-ratchet-loop-mix-level-search/summary.md

@@ -0,0 +1,39 @@
+# Run 004 - Ratchet Loop Mix-Level Search
+
+- profile: `lilarcade-neon-ratchet-loop-mix-level-search`
+- evidence_role_pattern: `interaction_snapshots`
+- status: `passed`
+- captured_at: `2026-05-24T03:31:26.020Z`
+- runner: `local-playwright`
+- target: `http://127.0.0.1:5173/games/drum-sequencer?song=monkberry-moon-delight-tab&mix=profile&view=trainer&instrument=bass`
+
+## Atomic Claim
+
+The current Neon target 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 the app state after the run.
+
+## Evidence
+
+| Field | Value |
+| --- | --- |
+| strategy | `mix-level-search` |
+| focus tracks | `bass`, `chord`, `guitar`, `rhythmSynth` |
+| candidates tested | `6` |
+| 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` |
+| restored after run | `true` |
+
+Console fatal count was `0`.
+
+## Verdict
+
+Passed. The bounded loop produced a reviewable candidate packet without permanently applying the candidate.
+
+## What This Does Not Prove
+
+- subjective mix quality
+- that the candidate should be kept without listening review
+- that all possible mix edits were searched
+- that the ratchet loop primitive is mix-specific

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