The practical phase starts with a real TinyStories run. The environment, prompt, greedy setting, image digest, and trace hash make the run reproducible by re-execution.

highlighted = computed this step

A real model, pinned

This book shifts from exact toy engines to a real TinyStories model run. The Docker image, model revision, seed, prompt, greedy setting, and trace hash pin the computation for re-execution.

trace hashre-execution check\text{trace hash}\rightarrow\text{re-execution check}
Pinned real runManifest and hash-locked provenance.Pinned real runManifest and hash-locked provenance.run manifestmodel:roneneldan/TinyStories-1Mrevision:77f1b168e219585646439073245fe87e56b3023eimage digest:sha256:ba5614c41210ecdd54f73903dacbb0110672c0f848faf93cf0937da0ee0d2293trace hash:b5aca0aae10fa6029ca1a09e8ae9e1fe1d120cf85b4d9371396fee78398c29c6prompt:'Once upon a time'seed:12345output text:'Once upon a time, there was'repro:docker run --rm --network none -e REALTRACE_IMAGE_DIGEST=$IMAGE_ID -v $OUT:/out egtry-realtrace:bookb-spike --local-files-only --out /out/run1hash locks raw tensor bytes + shape/dtype/seed/env/image digest; not rounded decimals

The captured run

The fixed prompt is Once upon a time. The captured output text is Once upon a time, there was.

promptcaptured output text\text{prompt}\rightarrow\text{captured output text}
Pinned real runManifest and hash-locked provenance.Pinned real runManifest and hash-locked provenance.run manifestmodel:roneneldan/TinyStories-1Mrevision:77f1b168e219585646439073245fe87e56b3023eimage digest:sha256:ba5614c41210ecdd54f73903dacbb0110672c0f848faf93cf0937da0ee0d2293trace hash:b5aca0aae10fa6029ca1a09e8ae9e1fe1d120cf85b4d9371396fee78398c29c6prompt:'Once upon a time'seed:12345output text:'Once upon a time, there was'repro:docker run --rm --network none -e REALTRACE_IMAGE_DIGEST=$IMAGE_ID -v $OUT:/out egtry-realtrace:bookb-spike --local-files-only --out /out/run1hash locks raw tensor bytes + shape/dtype/seed/env/image digest; not rounded decimals

Summary

The discrete spine remains exact. Continuous magnitudes now enter the REAL CAPTURED register: literal floating-point cells, shown with approximate labels and backed by raw tensor bytes.

exact IDs+captured floating-point magnitudes\text{exact IDs}+\text{captured floating-point magnitudes}
Pinned real runManifest and hash-locked provenance.Pinned real runManifest and hash-locked provenance.run manifestmodel:roneneldan/TinyStories-1Mrevision:77f1b168e219585646439073245fe87e56b3023eimage digest:sha256:ba5614c41210ecdd54f73903dacbb0110672c0f848faf93cf0937da0ee0d2293trace hash:b5aca0aae10fa6029ca1a09e8ae9e1fe1d120cf85b4d9371396fee78398c29c6prompt:'Once upon a time'seed:12345output text:'Once upon a time, there was'repro:docker run --rm --network none -e REALTRACE_IMAGE_DIGEST=$IMAGE_ID -v $OUT:/out egtry-realtrace:bookb-spike --local-files-only --out /out/run1hash locks raw tensor bytes + shape/dtype/seed/env/image digest; not rounded decimals