The supplied transport contains exactly the three assigned binary roles.
A short read or any trailing byte refuses binding before epoch entropy is
acquired. This proves framing, not the caller's coordinator authority.
39def telemetryAssignedBindingAdmission =
40 (lambda unrestricted received : Nat .
41 (lambda unrestricted trailing : Nat .
42 (naturalAnd
43 (naturalEqual received telemetryIdentityBindingBytes)
44 (naturalIsZero trailing))))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.