Model

Shape

16 → 8 → 4

Shift

4

Seed

7

Iterations

2,000

Batch

16

Chunk bytes

40

Edits

none

Training work

5,120,000 mul-adds

This URL is the provenance. Anyone who opens it derives the same bytes and the same root — which is not the root in the path; the canonical page for this recipe is:

Schema

cre8.tiny_model.v1

Name

cre8-tiny-demo

Weights sha256

cf4626abc479271cdf66ffce9cc7aea04cb0c16505609d06960d7875f2b28f2e

Basis root

4749998015ed26b0ad94bbf4ae1db50aba8878e2689a10a801c4ed7b27723b11

Total bytes

160

Chunk bytes

40

Chunk count

4

Input columns

16

Integer L1 loss over the fixed batch, sampled every 8 iteration(s): 63,946 → 7,251 across 2,000 iterations, 247 accepted moves. Hill-climbing keeps only improving deltas, so the curve never rises.

Cells are int8 weights: warm is positive, cool is negative, deeper is larger. Hover a cell for its index and value; a ringed cell was hand-edited.

4 chunk(s) of 40 bytes fold to root 4749998015ed26b0ad94bbf4ae1db50aba8878e2689a10a801c4ed7b27723b11. Custody is declared per chunk by the peers that hold it; the Foundry holds nothing, so every tile is unheld here. In the lane, a holder answers a custody challenge over the chunk bytes and a checker that holds the same chunk verifies the answer, or confirms membership alone when it does not.

Change one weight byte and watch what moves: the byte, its chunk's hash, the root, and — sometimes — the probe's outputs. The training receipt does not move; the card records the edit instead. Probe input [40, 59, -19, -84, -61, 23, -58, -51, 13, 63, 108, -90, 42, -85, 11, 81] → outputs [-964, -539, 809, -1051].

emulated == native The RV64 emulator, running each layer's ELF from the corpus slices, reproduced the native forward pass on the probe: [-964, -539, 809, -1051].

Each ELF's sha256 is the program binding a proof of that layer commits to, so the weight slice is bound through it. This run is local and unproven — a receipt, not a STARK; the lane's executors prove the same ELFs.

This page ran every layer itself. In the lane, layer k is a workunit_v1 parcel an executor peer runs and the requester admits (model_lane::admit_model_layer_response: witness-bound, artifact-bound, step-Merkle commitment present, kernel ir_hash) before settling cre8/compute/model to the executor. A durable run log lands with the scheduler tick; until then there are no receipts to list here, and this section says so rather than showing a stand-in.