Source/Systems

Coppelius.TrainingRun

systems/coppelius/src/Coppelius/TrainingRun.alpha

221 lines64 declarations11.3 KiBSHA-256 34fa64a5bc81

field · lines 26–26

coppeliusRunCheckpointOutputRequired

Full file
Coppelius trains under its run policy (below): one process, a fixed number of AdamW steps, each on the next context of a token stream. Loss is telemetry, never a stopping condition. A zero-byte checkpoint input selects fresh deterministic initialization; a full raw P/M/V image selects continuation.
26field unrestricted coppeliusRunCheckpointOutputRequired : Nat

The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.