The original TypeScript implementation can be used directly in JavaScript applications.
The build passed; its output has not been compared with the reference implementation.
Verified on Apple Silicon macOS native and Node WASM at 8, 44.1, 48, 96 and 192 kHz. Output and state match the TypeScript reference, with no observed allocations, reallocations or deallocations during the tested processing, control and reset calls. Delay storage is prepared for 200 ms at 192 kHz; that prepared capacity is retained at lower rates. Browser hosts, plugins, other operating systems and realtime deadlines have not been verified. Performance has not been measured.
The build passed and its output matches the reference implementation.
Support has not been verified.
This target is under investigation and is not a released format.
8 Lean 4 results: 2 proofs in their stated domains; 5 proofs in exact arithmetic; 1 counterexample. These results concern the algorithm’s stated model and assumptions.
View algorithm properties and proofs