research/the-generator

The proofs under The Generator. The engine is the testable source of truth; the page inlines a byte-mirrored copy.

• engine.mjs — temperament (stack-of-fifths), the SJT extent, the logistic map (generic-seed orbit, period detection, λ), the sandpile (re-exported from the verified avalanche engine), the first 24 ζ zeros with weights; plus the export layer — a Standard MIDI File writer and a deterministic event renderer (the scheduler's math with the audio removed) that emits each voice's own notes, the scene-chain arrangement codec, Per Nørgård's infinity series (the melodic lead voice), and the WAV + store-mode ZIP writers behind the offline audio bounce.
• verify.mjs — 102/102: exact commas and thirds, beat rates, n! distinct rows each one adjacent swap apart and closing, periods 2/4/8/3 at named r, λ(4)=ln 2, grain conservation, the abelian cross-check, |ρ|=√(¼+γ²) — plus the v2 layer: percolation P∞ snap and spanning crossing ½ at p_c≈0.5927 (Jacobsen 2015), the GWW/Driscoll spectrum fingerprint to 5e-7, and the share-URL codec round-tripping exactly with clamped mangling — plus the export layer: VLQ + a hand-written SMF parser round-tripping the rendered event stream out of the encoded bytes, the 12-EDO note-choice theorem across the whole 694–703¢ fifth range, and the arrangement codec round-trip (back-compatible with single-state links).
• verify-page.mjs — 92/92 in a real browser, desktop + mobile (run against the live page): the page's live tables equal the engine's, the voices fire, the share-URL survives a real reload, record toggles, shortcuts work, the Witness Marks tape draws — plus the .mid export (a real MThd file with one track per armed voice, FIELD excluded) and the scene-chain arrangement (capture / play set / share set, with an #A|… link restored on reload); no errors, no overflow.

Run: node research/the-generator/verify.mjs