Kid mode 🧒

This page checks every music claim in the book against the actual song notes. There are two checks: one against a short walkthrough of the song, and one against the full song. Green means the notes match the book. Yellow means only some match. Red means the notes disagree. Gray means the computer could not check yet.

Believeyoume validation · P4 of P1–P5 · 2026-07-07 · updated with full-song MIDI

Ledger vs beat-parse verdicts — Asleep In The Trunk

Runs the P3 claim ledger against BOTH the 55-bar walkthrough MIDI (initial pass) and the newly-arrived 264-bar full-song MIDI (the actual source the book text names).
Update 2026-07-07: the user handed over Shiner-Asleep In The Trunk-05-05-2026.mid mid-session. Nine claims that were previously untestable because their bar ranges (102–195) fell outside the walkthrough are now verifiable. See the full-song verdict panel below.

Walkthrough MIDI (163 beats · 55 bars)

0
Supported
0
Partial
2
Contradicted
9
Untestable
VerdictKindBarExpectedReasonObserved
contradictedvocal_sequence13vox = B♭3→C4→C♯4only 0/3 beats match{"vocal_pcs": [9]}
untestablevocal_sequence14vox = C4→B♭3→A3no vocal events in bar 14{"vocal_pcs": []}
contradictedvocal_sequence16vox = B3→C4→B♭3→A3only 1/4 beats match{"vocal_pcs": [1, 0, 0]}
untestablepedal_tone102–146F-pedalbars 102-146 outside MIDI extent-
untestablebass_pitch188–191bass = C2bars 188-191 outside MIDI extent-
untestablebass_pitch192–195bass = F1bars 192-195 outside MIDI extent-
untestablegtr_stack188–191gtr ⊇ C+Gbars 188-191 outside MIDI extent-
untestablegtr_stack192–195gtr ⊇ C+F+Gbars 192-195 outside MIDI extent-
untestablechord_at_bars135–143chord Fmbars 135-143 outside MIDI extent-
untestablechord_at_bars144–151chord F5bars 144-151 outside MIDI extent-
untestablechord_at_bars147–151chord Fm7bars 147-151 outside MIDI extent-

Full-song MIDI (790 beats · 264 bars, source: Shiner-Asleep In The Trunk-05-05-2026.mid)

0
Supported
4
Partial
6
Contradicted
1
Untestable
VerdictKindBarExpectedReasonObserved
contradictedvocal_sequence13vox = B♭3→C4→C♯4only 0/3 beats match{"vocal_pcs": [3, 3, 3]}
contradictedvocal_sequence14vox = C4→B♭3→A3only 0/3 beats match{"vocal_pcs": [3, 3, 3]}
untestablevocal_sequence16vox = B3→C4→B♭3→A3no vocal events in bar 16{"vocal_pcs": []}
contradictedpedal_tone102–146F-pedalonly 50/135 beats match{"bass_root_counter": {"3": 3, "5": 50, "0": 16, "1": 24, "10": 24, "8": 18}}
contradictedbass_pitch188–191bass = C2only 0/12 beats match{"bass_root_counter": {"5": 12}}
partialbass_pitch192–195bass = F19/12 beats match{"bass_root_counter": {"3": 1, "2": 1, "9": 1, "5": 9}}
contradictedgtr_stack188–191gtr ⊇ C+Gonly 0/12 beats match{"gtr_pc_counter": {"0": 12, "8": 3, "3": 3, "5": 6}}
contradictedgtr_stack192–195gtr ⊇ C+F+Gonly 0/12 beats match{"gtr_pc_counter": {"0": 12, "5": 12}}
partialchord_at_bars135–143chord Fmbass_ok=21/27 gtr_ok=0/27{"bass_match": 21, "gtr_match": 0, "checked": 27}
partialchord_at_bars144–151chord F5bass_ok=24/24 gtr_ok=12/24{"bass_match": 24, "gtr_match": 12, "checked": 24}
partialchord_at_bars147–151chord Fm7bass_ok=15/15 gtr_ok=6/15{"bass_match": 15, "gtr_match": 6, "checked": 15}
Book-vs-MIDI disagreement surfaced: zero claims verify cleanly against the full-song MIDI. Four probe to "partial" (bar-root matches, chord stack partially matches), six to "contradicted", one still untestable. The most striking result is the F-pedal claim for bars 102–146: only 50 of 135 beats have F as the bass root. Either the book text overstates how contiguous the F-pedal is, the bar numbering is shifted, or the MIDI export represents a different arrangement pass than the book describes. P5 auto-fix (below) probes ±10 bar shifts and finds no clean fix.

What P5 says on the full-song verdicts

The P5 autofix pass probed 6 contradicted claims × 21 offsets = 126 shifts. Zero flipped to supported. Three probe to manual_review (some partial matches at nearby offsets), three probe to keep_as_is (no partial anywhere in ±10). Full details on /believeyoume-p5-autofix.

Artifacts