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.
18family CoppeliusTrainingRunSemantics : Type 0
19constructor CoppeliusTrainingRunSemanticsValue
20field unrestricted coppeliusRunUpdatesPerInvocation : Nat
21field unrestricted coppeliusRunCheckpointInterval : Nat
22field unrestricted coppeliusRunLossControlsTermination : Nat
23field unrestricted coppeliusRunDeterministicInitialization : Nat
24field unrestricted coppeliusRunFreshCheckpointInputBytes : ByteCount
25field unrestricted coppeliusRunResumeCheckpointRequired : Nat
26field unrestricted coppeliusRunCheckpointOutputRequired : Nat
27field unrestricted coppeliusRunFreshProcessResumeRequired : Nat
28field unrestricted coppeliusRunNativeOnlyRequired : Nat
29field unrestricted coppeliusRunAllowedHostFallbacks : NatThe compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.