The real-run register has three lanes: exact token IDs, REAL CAPTURED floating-point cells, and provenance locks over the captured bytes.

highlighted = computed this step

Exact discrete spine

The exact lane is still integer bookkeeping. The prompt IDs are [7454, 2402, 257, 640], and the greedy run appends 11, 612, and 373.

exact IDs: [7454,2402,257,640][11,612,373]\text{exact IDs: }[7454,2402,257,640]\rightarrow[11,612,373]
Exact Spine, Captured CellsMap exact token IDs, REAL CAPTURED cells, and provenance locks.Exact Spine, Captured CellsMap exact token IDs, REAL CAPTURED cells, and provenance locks.REAL CAPTURED register map1 exact discrete spineprompt IDs [7454, 2402, 257, 640]appended greedy IDs [11, 612, 373]output text 'Once upon a time, there was'2 captured fp32 cellsembedding cell ≈0.268982attention cell ≈0logit cell ≈19.32643 provenance lockmodel roneneldan/TinyStories-1Mrevision 77f1b168e219...image digest sha256:ba5614c41210e...seed 12345; trace hash b5aca0aae10fa602...captured panels: embeddings shape [1, 4, 64] (6 shown); attention shape [1, 16, 4, 4] (16 shown); logits shape [1, 50257] (5 shown)all captured magnitudes use ≈ and fp32 precision labels; rounded page text is inspection onlyprovenance locks model/revision/image/seed/trace hash/raw tensor bytesexact IDs plus REAL CAPTURED fp32 plus provenance; not exact arithmetic; not invented decimals; not learning; not meaning; not understanding

Captured cells

Embeddings, attention, and logits move into the REAL CAPTURED fp32 lane. Their page values are inspection labels with an approximate marker, not exact equalities.

captured fp32 cells use  labels\text{captured fp32 cells use }\approx\text{ labels}
Exact Spine, Captured CellsMap exact token IDs, REAL CAPTURED cells, and provenance locks.Exact Spine, Captured CellsMap exact token IDs, REAL CAPTURED cells, and provenance locks.REAL CAPTURED register map1 exact discrete spineprompt IDs [7454, 2402, 257, 640]appended greedy IDs [11, 612, 373]output text 'Once upon a time, there was'2 captured fp32 cellsembedding cell ≈0.268982attention cell ≈0logit cell ≈19.32643 provenance lockmodel roneneldan/TinyStories-1Mrevision 77f1b168e219...image digest sha256:ba5614c41210e...seed 12345; trace hash b5aca0aae10fa602...captured panels: embeddings shape [1, 4, 64] (6 shown); attention shape [1, 16, 4, 4] (16 shown); logits shape [1, 50257] (5 shown)all captured magnitudes use ≈ and fp32 precision labels; rounded page text is inspection onlyprovenance locks model/revision/image/seed/trace hash/raw tensor bytesexact IDs plus REAL CAPTURED fp32 plus provenance; not exact arithmetic; not invented decimals; not learning; not meaning; not understanding

Provenance lock

The lock lane names the model, revision, Docker image digest, seed 12345, trace hash, and raw tensor bytes. Rounded page text is for inspection only.

model + revision + image + seed 12345 + trace hash + bytes\text{model + revision + image + seed }12345\text{ + trace hash + bytes}
Exact Spine, Captured CellsMap exact token IDs, REAL CAPTURED cells, and provenance locks.Exact Spine, Captured CellsMap exact token IDs, REAL CAPTURED cells, and provenance locks.REAL CAPTURED register map1 exact discrete spineprompt IDs [7454, 2402, 257, 640]appended greedy IDs [11, 612, 373]output text 'Once upon a time, there was'2 captured fp32 cellsembedding cell ≈0.268982attention cell ≈0logit cell ≈19.32643 provenance lockmodel roneneldan/TinyStories-1Mrevision 77f1b168e219...image digest sha256:ba5614c41210e...seed 12345; trace hash b5aca0aae10fa602...captured panels: embeddings shape [1, 4, 64] (6 shown); attention shape [1, 16, 4, 4] (16 shown); logits shape [1, 50257] (5 shown)all captured magnitudes use ≈ and fp32 precision labels; rounded page text is inspection onlyprovenance locks model/revision/image/seed/trace hash/raw tensor bytesexact IDs plus REAL CAPTURED fp32 plus provenance; not exact arithmetic; not invented decimals; not learning; not meaning; not understanding

Boundary

Read the register as exact IDs plus REAL CAPTURED fp32 plus provenance. It is not exact arithmetic, not invented decimals, not learning, not meaning, and not understanding.

exact IDs+captured fp32+provenance\text{exact IDs}+\text{captured fp32}+\text{provenance}
Exact Spine, Captured CellsMap exact token IDs, REAL CAPTURED cells, and provenance locks.Exact Spine, Captured CellsMap exact token IDs, REAL CAPTURED cells, and provenance locks.REAL CAPTURED register map1 exact discrete spineprompt IDs [7454, 2402, 257, 640]appended greedy IDs [11, 612, 373]output text 'Once upon a time, there was'2 captured fp32 cellsembedding cell ≈0.268982attention cell ≈0logit cell ≈19.32643 provenance lockmodel roneneldan/TinyStories-1Mrevision 77f1b168e219...image digest sha256:ba5614c41210e...seed 12345; trace hash b5aca0aae10fa602...captured panels: embeddings shape [1, 4, 64] (6 shown); attention shape [1, 16, 4, 4] (16 shown); logits shape [1, 50257] (5 shown)all captured magnitudes use ≈ and fp32 precision labels; rounded page text is inspection onlyprovenance locks model/revision/image/seed/trace hash/raw tensor bytesexact IDs plus REAL CAPTURED fp32 plus provenance; not exact arithmetic; not invented decimals; not learning; not meaning; not understanding