Formal methods

Scope, procedure, and quality controls

The rules governing the independent review, including what has been completed, what remains provisional, and what cannot be established from a YouTube-derived recording.

This framework improves documentation and reproducibility. It does not convert the project into an accredited laboratory examination.

Phase 1

Methods and documentation

Scope, procedure, confidence, evidence, and change controls

Complete

Defined scope

The examination question, source, candidate intervals, permitted conclusions, and excluded claims are fixed in writing.

Evidence manifest

Repository audio files are inventoried with SHA-256 hashes, byte sizes, media metadata, and source limitations.

Standard procedure

Raw listening precedes processing and wording prompts. Processing must remain disclosed, conservative, and directly comparable with the source.

Confidence framework

Technical findings and speech interpretations use different criteria. Existing speech conclusions remain provisional until rescored and independently reviewed.

Observation separation

Acoustic observations, free responses, proposed wording, alternatives, model output, and confidence decisions are recorded in separate fields.

Change and review controls

Method or conclusion changes require a recorded reason. Independent review has a defined checklist and remains explicitly incomplete until performed.

Current limits

Method documents

Phase 2

Browser audio-engine validation

35/35 known-answer checks passed

Complete

Known test signals check the actual channel routing, filter presets, gain, selection, looping, and WAV-export behavior in the browser. Results are not treated as complete until all tests have been run and the report has been imported.

Open browser audio validation
Completed 2026-08-05 in Chrome 151 on Windows: 35 passed, 0 failed, 0 pending. The test recorded the 48 kHz source media and the browser's separate 8 kHz waveform-analysis buffer. Live playback routing, gain, filtering, cancellation, looping, selection arithmetic, media integrity and WAV encoding all passed.
View latest validation summary

Phase 3

Processing-residue audit

41/41 known-answer checks passed

Complete

The listening interface can now switch between the routed signal before filtering, the processed output, and raw minus processed. This makes the filter's effect directly audible.

Residue is a difference signal, not recovered speech. It includes attenuation, phase, compressor timing, and other processing changes.
Read the processing-residue method
Completed 2026-08-05 in Microsoft Edge 151 on Windows: 41 passed, 0 failed, 0 pending. Raw, processed, and residue routing passed; bypass residue approached numerical zero; the rumble-filter residue emphasized the removed low-frequency component; and the raw audit path preserved the known multitone.
View latest validation summary Run Phase 3 validation
Return to the audio review