@riddledc/riddle-proof-packs 0.3.0 → 0.4.1

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

@@ -0,0 +1,49 @@
+# 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-24T04:21:47.248Z`
+- 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 change-claim candidates, applies each candidate action, captures proof-window evidence, records receipt-level verdicts, selects a supported candidate for review, 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 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` |
+| loop status | `claim_candidate_supported` |
+| restored after run | `true` |
+
+Console fatal count was `0`.
+
+Claim receipts for the supported candidate:
+
+- mixer edit accepted
+- contract mixer level reflected the requested action
+- rendered target track metrics changed
+- required instruments remained active
+- no clipping
+- no low-level proof window
+
+## Verdict
+
+Passed. The bounded loop produced a reviewable claim-candidate packet without permanently applying the candidate. The ranking metric is a review-order hint only; the claim verdict is based on receipts and guardrails.
+
+## What This Does Not Prove
+
+- subjective mix quality
+- that the candidate should be kept without listening review
+- that the ranking metric is a universal proof metric
+- 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,141 @@
+{
+  "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": "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": 240000,
+        "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": 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 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"
+    ]
+  }
+}