@riddledc/riddle-proof-packs 0.4.0 → 0.4.1

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

@@ -3,13 +3,13 @@
 - profile: `lilarcade-neon-ratchet-loop-mix-level-search`
 - evidence_role_pattern: `interaction_snapshots`
 - status: `passed`
-- captured_at: `2026-05-24T03:31:26.020Z`
+- 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 candidates, applies each candidate, captures proof-window evidence, ranks candidates by objective metrics, and restores the app state after the run.
+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
 
@@ -18,22 +18,32 @@ The current Neon target can run a bounded ratchet loop that proposes mix-level c
 | 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` |
+| 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 candidate packet without permanently applying the candidate.
+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

@@ -36,7 +36,7 @@
       },
       {
         "type": "window_call",
-        "label": "run-ratchet-loop-mix-level-search",
+        "label": "test-claim-candidates-mix-level-search",
         "path": "__NEON_MIX_PROOF__.runRatchetLoop",
         "args": [
           {
@@ -50,8 +50,7 @@
             "maxIterations": 6,
             "monitorProfile": "smallSpeaker",
             "restore": true,
-            "applyBest": false,
-            "minImprovement": 0.1
+            "applyBest": false
           }
         ],
         "store_return_to": "__neonMixProof.ratchetLoop",
@@ -68,10 +67,13 @@
             "path": "strategy"
           },
           {
-            "path": "improvement"
+            "path": "best.claimVerdict.status"
           },
           {
-            "path": "best.candidate.track"
+            "path": "best.claimCandidate.action.track"
+          },
+          {
+            "path": "supportedClaimCandidateCount"
           }
         ]
       },
@@ -121,16 +123,18 @@
     "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.",
+    "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",
-      "candidate attempts are captured",
-      "best candidate or human-review status 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 the best objective candidate should be kept",
+      "that a supported claim candidate should be kept",
       "all possible mix edits"
     ]
   }