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 with poles 0, 0.25, 0.9, 0.99 and 0.9999; this node has no sample-rate parameter. Output and state match the TypeScript reference, with no observed allocations, reallocations or deallocations during the tested processing, control and reset calls. 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.
5 Lean 4 results: 4 proofs in exact arithmetic; 1 counterexample. These results concern the algorithm’s stated model and assumptions.
View algorithm properties and proofs