@riddledc/riddle-proof-packs 0.4.0 → 0.4.2

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/examples/run-005-explore-songs-and-mixes-final/artifact-manifest.json

@@ -0,0 +1,32 @@
+{
+  "version": "riddle-proof-local-runner-manifest.v1",
+  "runner": "local-playwright",
+  "profile_name": "neon-step-sequencer-explore-songs-and-mixes",
+  "captured_at": "2026-05-24T05:09:43.225Z",
+  "artifacts": [
+    {
+      "name": "proof.json",
+      "path": "proof.json",
+      "kind": "text",
+      "bytes": 118797
+    },
+    {
+      "name": "console.json",
+      "path": "console.json",
+      "kind": "text",
+      "bytes": 38
+    },
+    {
+      "name": "dom-summary.json",
+      "path": "dom-summary.json",
+      "kind": "text",
+      "bytes": 815
+    },
+    {
+      "name": "profile-result.json",
+      "path": "profile-result.json",
+      "kind": "text",
+      "bytes": 118797
+    }
+  ]
+}

package/packs/neon-step-sequencer/examples/run-005-explore-songs-and-mixes-final/console.json

@@ -0,0 +1,4 @@
+{
+  "events": [],
+  "fatal_count": 0
+}

package/packs/neon-step-sequencer/examples/run-005-explore-songs-and-mixes-final/dom-summary.json

@@ -0,0 +1,40 @@
+{
+  "expected_viewport_count": 1,
+  "viewport_count": 1,
+  "partial": false,
+  "routes": [
+    {
+      "requested": "http://127.0.0.1:5173/games/drum-sequencer?song=monkberry-moon-delight-tab&mix=profile&view=trainer&instrument=bass",
+      "observed": "/games/drum-sequencer",
+      "expected_path": "/games/drum-sequencer",
+      "matched": true,
+      "http_status": 200
+    }
+  ],
+  "titles": [
+    "LilArcade"
+  ],
+  "overflow_px": [
+    0
+  ],
+  "bounds_overflow_px": [
+    0
+  ],
+  "overflow_offender_counts": [
+    0
+  ],
+  "frames": [
+    {
+      "viewport": "desktop",
+      "selectors": []
+    }
+  ],
+  "http_status": [],
+  "link_status": [],
+  "route_inventory": [],
+  "network_mock_count": 0,
+  "network_mock_hit_count": 0,
+  "dialog_count": 0,
+  "dialog_accept_count": 0,
+  "dialog_dismiss_count": 0
+}