{
  "version": "riddle.good-catch.neon-durable-current-target-contract.v1",
  "date": "2026-05-24",
  "target": {
    "app": "LilArcade Neon Step Sequencer",
    "url": "https://lilarcade.com/games/drum-sequencer?song=monkberry-moon-delight-tab&mix=profile&view=trainer&instrument=chord",
    "song": "Monkberry Moon Delight (Tab)",
    "mixProfileId": "monkberry-moon-delight-eq-lane-mix-v7",
    "durableOverrideId": "monkberry-moon-delight-tab-chord-minus-01-approved-candidate",
    "expectedMixerLevels": {
      "chord": 0.18
    }
  },
  "boundary": "This catch proves deterministic current-target and proof-contract receipts for a durable mix override. It does not prove subjective mix taste.",
  "finding": {
    "classification": "proof_contract_gap",
    "summary": "The running app and visible UI reflected chord level 0.18, but the mix profile descriptor exposed through the proof contract did not include mixerLevels, so the durable current-target proof could not prove source/profile agreement.",
    "initialReceipt": {
      "status": "product_regression",
      "selectedSongMatches": true,
      "mixProfileMatches": true,
      "contractMatches": true,
      "visibleMatches": true,
      "profileMatches": false,
      "actualLevel": 0.18,
      "profileLevel": null,
      "visibleToken": "0.18X"
    },
    "secondaryGap": "The first summary parser did not read the runner's return_stored_to field, so the top-level summary hid the returned check as null even though profile-result.json preserved the useful receipt."
  },
  "fix": {
    "repository": "davisdiehl/lilarcade",
    "pullRequest": 501,
    "mergeCommit": "bb9d1e0d574f84e96432cd418c4f2ac3dbf6bf0b",
    "changes": [
      "Added npm run proof:sequencer:durable-current-target.",
      "Generated one current-target proof profile per active durable mix override.",
      "Exposed mixProfile.mixerLevels through Neon proof state, mixer state, and offline metric receipts.",
      "Updated the durable proof summary parser to read stored window_eval returns by return_stored_to."
    ]
  },
  "finalReceipt": {
    "status": "ready_for_promotion_review",
    "findingCount": 0,
    "selectedSong": "Monkberry Moon Delight (Tab)",
    "mixProfileId": "monkberry-moon-delight-eq-lane-mix-v7",
    "observations": [
      {
        "track": "chord",
        "expectedLevel": 0.18,
        "actualLevel": 0.18,
        "profileLevel": 0.18,
        "visibleToken": "0.18X",
        "contractMatches": true,
        "profileMatches": true,
        "visibleMatches": true
      }
    ],
    "mixHealth": {
      "rms": 0.1112,
      "peak": 0.7777,
      "clipping": false,
      "headroomDb": 2.18,
      "lowLevel": false
    }
  },
  "validation": [
    "node --test scripts/__tests__/neonDurableCurrentTargetProof.test.mjs src/proof/__tests__/neonProofContract.test.mjs",
    "npm run proof:sequencer:durable-current-target -- --dry-run --output /tmp/neon-durable-current-target-dry-run-20260524b",
    "npm run proof:sequencer:durable-current-target -- --url http://127.0.0.1:5175 --output /tmp/neon-durable-current-target-local-20260524",
    "npm test",
    "npm run build",
    "GitHub CI build for PR #501",
    "Deploy Notification run 26373544928",
    "npm run proof:sequencer:durable-current-target -- --url https://lilarcade.com --output /tmp/neon-durable-current-target-prod-after-contract-20260524"
  ]
}