A hand-built speech-to-text engine, proven correct against the reference