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 0, 1, 2, 127 and 2048 frame delays; 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. Boolean preparation results and unchanged state after invalid preparations were checked. 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.
3 Lean 4 results: 2 proofs in their stated domains; 1 counterexample. These results concern the algorithm’s stated model and assumptions.
View algorithm properties and proofs