JP Journal · local arithmetic artifact

Gradient accumulation receipt lab

Compare bounded token-loss and gradient numerators with one full-batch reference. No model files, prompts, labels, training data, network calls, or storage are accepted.

Window summary

Canonical receipt

Truth boundary

This lab evaluates arithmetic and clock declarations only. It does not execute autograd, distributed collectives, mixed precision, an optimizer, or a training run, and it does not prove throughput, convergence, or bitwise identity.