quantum · forth → lithos → oracle (live)

source /home/flux/quantum/breath/forth/forth_to_lithos_pipeline.py
sha256 f9758a3ebaee510443308f3c3eedde7ef54592d447e378a1dc387be82e747621
lines 210 · bytes 8499
rendered at 2026-06-01 03:58:33 (UTC) · eval 148 ms · auto-refresh every 30 s

PIPELINE PASS · 9/9 atoms certified

atom table

atom	forth body	lithos glyphs	order	plan	verdict
denorm	`F*`	`*`	L→R	`start=0 srcs=(1,)`	PASS
affine_pt	`F* F+`	`* +`	L→R	`start=0 srcs=(2, 1)`	PASS
clamp_pt	`FCLAMP-AT`	`△ ▽`	L→R	`start=0 srcs=(1, 2)`	PASS
dot8	`F* F+ F* F+ F* F+ F* F+ F* F+ F* F+ F* F+ F*`	`·`	L→R	`start=0 srcs=(1,)`	PASS
magnitude	`FDUP F* FSWAP FDUP F* F+ FSQRT`	`· √`	L→R	`start=0 srcs=('acc',)`	PASS
gain	`F*`	`*`	L→R	`start=0 srcs=(1,)`	PASS
square	`FDUP F*`	`*`	L→R	`start=0 srcs=('acc',)`	PASS
negate	`FNEGATE`	`⟲`	L→R	`start=0 srcs=()`	PASS
recip	`F1/X`	`⅟`	L→R	`start=0 srcs=()`	PASS

raw pipeline output

forth → lithos pipeline (single file, no external reads)
  source : /home/flux/quantum/breath/forth/forth_to_lithos_pipeline.py
  atoms  : 9 (4 v1 cold-path + 5 OBEP primitives)

  [PASS] denorm     Forth: 'F*'                                                     Lithos: '*'      order=L→R  start=0 srcs=(1,)
  [PASS] affine_pt  Forth: 'F* F+'                                                  Lithos: '* +'    order=L→R  start=0 srcs=(2, 1)
  [PASS] clamp_pt   Forth: 'FCLAMP-AT'                                              Lithos: '△ ▽'    order=L→R  start=0 srcs=(1, 2)
  [PASS] dot8       Forth: 'F* F+ F* F+ F* F+ F* F+ F* F+ F* F+ F* F+ F*'           Lithos: '·'      order=L→R  start=0 srcs=(1,)
  [PASS] magnitude  Forth: 'FDUP F* FSWAP FDUP F* F+ FSQRT'                         Lithos: '· √'    order=L→R  start=0 srcs=('acc',)
  [PASS] gain       Forth: 'F*'                                                     Lithos: '*'      order=L→R  start=0 srcs=(1,)
  [PASS] square     Forth: 'FDUP F*'                                                Lithos: '*'      order=L→R  start=0 srcs=('acc',)
  [PASS] negate     Forth: 'FNEGATE'                                                Lithos: '⟲'      order=L→R  start=0 srcs=()
  [PASS] recip      Forth: 'F1/X'                                                   Lithos: '⅟'      order=L→R  start=0 srcs=()

certified: 9/9 atoms
oracle   : inlined (linear-pipeline branch, n=128 samples, rtol=1e-4)

oracle parameters

n_samples       = 128
rtol            = 1e-4
atol            = 1e-6
branch          = linear-pipeline (inlined from lithos-oracle/oracle.py)
search space    = (token order) × (start input) × (per-slot operand source)
acceptance      = single interpretation consistent across all 128 samples
false-completion = bounded by ((nin · |srcs|^nslots) · 2) / 2^(128·prec_bits)

scope

certified  : cold-path forward map per cell, c = clamp(μ + σ⊙(V_d·clamp(z)))
            (4 atoms: denorm, affine_pt, clamp_pt, dot8)
NOT certified: stateful IIR (biquad poles), oscillator phase accumulator,
               noise generators, plate reverb delay lines, the 22-row sweep
               and staging logic. These sit outside the oracle's decidable
               domain by construction (see WHERE-WE-ARE.md).