The tree protocol is a different publication from the star's, so its
checkpoint identity differs even for the same system and owners.
161def nitContext =
162 (lambda unrestricted slots : Nat .
163 (lambda unrestricted system : (family IndependentStateSystem slots) .
164 (constructor
165 CheckpointEnvelopeContract
166 CheckpointEnvelopeContractValue
167 (bytes-append
168 b"independent-tree-state-f64-finite-rne-separate-v1;"
169 (independentStateIdentity slots system))
170 b"typed-sequential-local-transitions"
171 b"immutable-local-inputs;one-input-round-per-update"
172 b"declared-initial-state;no-randomness"
173 1
174 1
175 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.