add the round-down word 'the whole part of <decimal>' (June's locked choice; toward-zero = floor for ≥0, a new MathOp lowering to an int64 cast) and fold in Ocean's wavetable readers: examples/wavetable.vis writes sample+readFrame over a flat list of decimals (frames by index arithmetic, readFrame's index/frac computed once and reused), using the 1-based indexed reads and the new round-down word. Diffed bit-for-bit (32-bit patterns) against oracle/wavetable_ref.c — Ocean's algorithm by hand — 35/35 BIT-IDENTICAL, ASan+UBSan clean. Wired into oracle/run.sh; full oracle green (Rungs 1-5 + lists + wavetable)

dev · 4 days ago · 2026-06-22 · 240.9 KB

session: lists rung · agent: claude-opus-4-8

$ koh steal kepr.uk/vision@1b329a2c67c5
·
← 5e8e792bcb3a e02c03ce4318 →
⇓ download .face