# Neon Deep Exploration Proof

- Profile status: `passed`
- Sweep status: `passed`
- OK: `true`
- Entry count: `1`
- Finding count: `0`
- Restoration ok: `true`

## Coverage

```json
{
  "availableSongCount": 6,
  "proofCapableSongCount": 6,
  "skippedSongCount": 0,
  "sampledSongCount": 1,
  "sampledPartCount": 1,
  "sampledWindowCount": 1
}
```

## Audio Exploration Coverage

- Role: `deterministic_audio_app_coverage`
- Entry count: `1`
- Finding count: `0`

## Song Coverage

| Song | Parts | Windows | Findings | Peak | Min Headroom dB | Clipping | Low Level | Missing Active |
| --- | --- | --- | --- | --- | --- | --- | --- | --- |
| Monkberry Moon Delight (Tab) | 1 | 1 | 0 | 0.7527 | 2.47 | false | false | none |

## Part Coverage

| Song | Part | Status | Windows | Findings | Peak | Min Headroom dB | Clipping | Low Level | Missing Active |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| Monkberry Moon Delight (Tab) | 1-16 | passed | 1 | 0 | 0.7527 | 2.47 | false | false | none |

## Boundary

Audio/app coverage receipts report deterministic guardrails such as clipping, low-level windows, headroom, and missing active lanes; they do not prove subjective mix quality.

## Boundary

Objective guardrails only; this does not prove subjective mix taste.