The plan's submissions by ordinal (Coppelius.Build.Graph.
coppeliusSubmissionSchedule): initialize; two per checkpoint chunk; the
forward; the update (one step: forward, backward, AdamW, the half copies,
the step's loss copy); the final forward; a gather per chunk; the report
put back. The run issues the update, the final forward, the gathers and
the report again from their ordinals.
197def coppeliusForwardPiece : Nat = (naturalSaturatingSubtract coppeliusForwardSubmission 1)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.