The checkpoint's envelope (Checkpoint.Envelope): the state's schema (the
raw P/M/V layout, its order, its extent), the learner (objective,
optimizer, hyperparameters), the data (the token stream: vocabulary,
context, its layout), the initialization (the generator and its seed),
chunks of the staging window's size, a run's steps. A checkpoint of any
other is refused by name.
195def coppeliusCheckpointChunkBytes : Nat = 4194304The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.