@riddledc/riddle-proof-packs 0.4.4 → 0.4.6

package/packs/neon-step-sequencer/examples/run-007-approved-candidate-applied/summary.md

@@ -0,0 +1,32 @@
+# Run 007 - Approved candidate applied
+
+- profile: `lilarcade-neon-ratchet-loop-approved-candidate`
+- evidence_role_pattern: `interaction_snapshots`
+- runner: `local-playwright`
+- status: `passed`
+- captured_at: `2026-05-24T13:41:23.987Z`
+- target: `http://127.0.0.1:5177/games/drum-sequencer?song=monkberry-moon-delight-tab&mix=profile&view=trainer&instrument=bass`
+
+## Claim
+
+Neon can take a supported mix-level change-claim candidate, use an explicit operator-approval surrogate, apply that candidate for listening review, and preserve a proof packet that still separates objective receipts from subjective taste.
+
+## Evidence
+
+| field | value |
+| --- | --- |
+| loop status | `claim_candidate_supported` |
+| human-review packet status | `candidate_applied_for_listening_review` |
+| approval mode | `mixing_canon_surrogate` |
+| recommended candidate | `chord -0.10` |
+| applied candidate receipt | `passed` |
+| applied level | `0.28` |
+| supported candidates | `6` |
+| rejected candidates | `0` |
+| state restored before apply | `true` |
+| ranking role | `review_order_only` |
+| fatal console errors | `0` |
+
+## Verdict
+
+Passed. The proof supports that the candidate was objectively supported, the loop restored state before the final apply step, and the approved candidate was applied for listening review. It does not prove that the candidate is musically preferable; the packet keeps the listening-review caveat explicit.

package/packs/neon-step-sequencer/profiles/ratchet-loop-approved-candidate.json

@@ -0,0 +1,177 @@
+{
+  "version": "riddle-proof.profile.v1",
+  "name": "neon-step-sequencer-ratchet-loop-approved-candidate",
+  "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": "apply-approved-claim-candidate",
+        "path": "__NEON_MIX_PROOF__.runRatchetLoop",
+        "args": [
+          {
+            "intent": "turn the chord part down a little",
+            "strategy": "mix-level-search",
+            "focusTracks": [
+              "bass",
+              "chord",
+              "guitar",
+              "rhythmSynth"
+            ],
+            "maxIterations": 6,
+            "monitorProfile": "smallSpeaker",
+            "restore": true,
+            "applyBest": true,
+            "approval": {
+              "mode": "mixing_canon_surrogate",
+              "approvedBy": "codex",
+              "basis": "subtle level reduction after objective receipts pass; this keeps development moving while preserving a listening-review caveat"
+            }
+          }
+        ],
+        "store_return_to": "__neonMixProof.approvedCandidateLoop",
+        "capture_return": true,
+        "timeout_ms": 240000,
+        "return_summary_fields": [
+          {
+            "path": "ok"
+          },
+          {
+            "path": "status"
+          },
+          {
+            "path": "best.claimVerdict.status"
+          },
+          {
+            "path": "best.claimCandidate.action.track"
+          },
+          {
+            "path": "appliedCandidateReceipt.ok"
+          },
+          {
+            "path": "humanReviewPacket.status"
+          },
+          {
+            "path": "humanReviewPacket.request.approval.mode"
+          },
+          {
+            "path": "humanReviewPacket.ranking.role"
+          }
+        ]
+      },
+      {
+        "type": "assert_window_value",
+        "path": "__neonMixProof.approvedCandidateLoop.ok",
+        "expected_value": true,
+        "timeout_ms": 10000
+      },
+      {
+        "type": "assert_window_value",
+        "path": "__neonMixProof.approvedCandidateLoop.appliedCandidateReceipt.ok",
+        "expected_value": true,
+        "timeout_ms": 10000
+      },
+      {
+        "type": "assert_window_value",
+        "path": "__neonMixProof.approvedCandidateLoop.humanReviewPacket.status",
+        "expected_value": "candidate_applied_for_listening_review",
+        "timeout_ms": 10000
+      },
+      {
+        "type": "assert_window_value",
+        "path": "__neonMixProof.approvedCandidateLoop.humanReviewPacket.request.candidateActionsAreTransient",
+        "expected_value": false,
+        "timeout_ms": 10000
+      },
+      {
+        "type": "assert_window_value",
+        "path": "__neonMixProof.approvedCandidateLoop.humanReviewPacket.guardrails.approvedCandidateApplied",
+        "expected_value": true,
+        "timeout_ms": 10000
+      },
+      {
+        "type": "screenshot",
+        "label": "neon-step-sequencer-ratchet-loop-approved-candidate",
+        "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, use an explicit operator-approval surrogate, apply the supported claim candidate, and preserve a listening-review packet.",
+    "required_receipts": [
+      "ratchet loop returns ok",
+      "a supported claim candidate is selected",
+      "approved candidate application receipt is captured",
+      "compact human-review packet is captured",
+      "ranking remains review-order only",
+      "listening-review caveat remains explicit"
+    ],
+    "does_not_prove": [
+      "subjective mix quality",
+      "that the approval surrogate is a real listener preference",
+      "all possible mix edits"
+    ]
+  }
+}