202def coppeliusCheckpointContract : (family CheckpointEnvelopeContract) =
203 (constructor CheckpointEnvelopeContract CheckpointEnvelopeContractValue
204 (bytes-append coppeliusRawCheckpointSchemaIdentity
205 (bytes-append b"|" (bytes-append coppeliusParameterOrderingIdentity (coppeliusIdentityPart b"payload" coppeliusCheckpointPayloadBytesNatural))))
206 (bytes-append coppeliusObjectiveIdentity
207 (bytes-append b"|halves=" (bytes-append coppeliusHalfFormatIdentity
208 (bytes-append b"|" (bytes-append coppeliusLearnerIdentity
209 (bytes-append (coppeliusIdentityPart b"lr" coppeliusLearningRateNumerator) (bytes-append (coppeliusIdentityPart b"/" coppeliusLearningRateDenominator)
210 (bytes-append (coppeliusIdentityPart b"beta1" coppeliusBeta1Numerator) (bytes-append (coppeliusIdentityPart b"/" coppeliusBeta1Denominator)
211 (bytes-append (coppeliusIdentityPart b"beta2" coppeliusBeta2Numerator) (bytes-append (coppeliusIdentityPart b"/" coppeliusBeta2Denominator)
212 (bytes-append (coppeliusIdentityPart b"decay" coppeliusWeightDecayNumerator) (bytes-append (coppeliusIdentityPart b"/" coppeliusWeightDecayDenominator)
213 (bytes-append (coppeliusIdentityPart b"epsilon" coppeliusEpsilonNumerator) (coppeliusIdentityPart b"/" coppeliusEpsilonDenominator)))))))))))))))
214 (bytes-append b"coppelius-token-stream"
215 (bytes-append (coppeliusIdentityPart b"vocabulary" (stdU32ToNatural modelCoppeliusVocab))
216 (bytes-append (coppeliusIdentityPart b"context" coppeliusInputSequence)
217 (bytes-append (coppeliusIdentityPart b"header" coppeliusTokenStreamHeaderBytes) (coppeliusIdentityPart b"token" coppeliusTokenBytes)))))
218 (bytes-append b"coppelius-initialization:random-normal" (coppeliusIdentityPart b"seed" coppeliusRunSeed))
219 coppeliusCheckpointPayloadBytesNatural
220 coppeliusCheckpointChunkBytes
221 coppeliusRunSteps)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.