Source/Systems

Coppelius.System

systems/coppelius/src/Coppelius/System.alpha

43 lines8 declarations1.6 KiBSHA-256 2d4bc38e2fbf

def · lines 31–43

coppeliusSystemIdentity

Full file
The readable artifact identity is projected through the complete system value so release roots retain one structural connection to model, learner, training-run and checkpoint semantics before whole-program erasure.
31def coppeliusSystemIdentity : Bytes =
32  (eliminate
33    CoppeliusSystemConfiguration
34    (lambda unrestricted current : (family CoppeliusSystemConfiguration) . Bytes)
35    coppeliusSystem
36    (branch
37      CoppeliusSystemConfigurationValue
38      model
39      learning
40      trainingRun
41      checkpointSchema
42      .
43      b"coppelius"))

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.