# Neon Coverage Fast-Lane Report

## Plain-English Summary

Neon had a reusable audio exploration coverage helper in Riddle Proof packs, but LilArcade still carried its own local coverage summarizer and Markdown formatter. That meant the real app could drift from the reusable proof-pack language even after the package existed.

The fix made LilArcade consume `@riddledc/riddle-proof-packs@0.8.0`, removed the duplicated local coverage summary code, and added a documented fast lane for local and live post-deploy checks.

## What Changed

- `@riddledc/riddle-proof-packs@0.8.0` now owns the audio exploration coverage summary and Markdown receipt formatter.
- LilArcade PR #531 switched `scripts/neonDeepExplorationProof.mjs` to the reusable helper and removed 144 duplicated lines.
- LilArcade PR #532 added:
  - `npm run test:neon`
  - `npm run proof:sequencer:deep-explore-fast`
  - `npm run proof:sequencer:post-deploy-fast`
  - `docs/neon-ratchet-iteration.md`

## Verification

Local checks passed:

- `npm run test:neon`
- `npm run proof:sequencer:post-deploy-fast`
- `npm run build`

GitHub and deploy checks passed:

- LilArcade PR #531 GitHub CI passed and Amplify job 709 succeeded.
- LilArcade PR #532 GitHub CI passed and Amplify job 710 succeeded.

Live post-deploy proof passed against `https://lilarcade.com`:

- bounded deep exploration: 1 song, 1 part, 1 window
- finding count: 0
- restoration ok: true
- current-target durable audit: 2 overrides, 0 findings

## Proof Boundary

This proves that the app can consume the reusable coverage receipt layer and that the fast live audit still passes on the deployed target. It does not prove subjective mix quality, and the bounded post-deploy sample does not replace a full promotion batch when a broad release needs one.