An array of ClippedChannelEntry — a channel ref plus the at/count the SAME latch
store derives for its own per-channel row (an internal spec §2,
§6.2). Only the engine's capture may claim an over, so the one write a client may ever make
through this codec is the empty list (the row's own refuse rejects anything else) — but a
non-empty write still decodes STRUCTURALLY here, through channelRefOf, so a bad shape
is refused as BAD_TYPE and a well-shaped-but-forbidden one is refused as CLIP_IS_MEASURED,
never the same code hiding two different reasons. at/count on a decoded element are not
trusted from the wire (only the engine's store may say so); they are junk on any write that
reaches this decoder because the only WRITABLE list is [].
An array of ClippedChannelEntry — a channel ref plus the
at/countthe SAME latch store derives for its own per-channel row (an internal spec§2, §6.2). Only the engine's capture may claim an over, so the one write a client may ever make through this codec is the empty list (the row's ownrefuserejects anything else) — but a non-empty write still decodes STRUCTURALLY here, through channelRefOf, so a bad shape is refused asBAD_TYPEand a well-shaped-but-forbidden one is refused asCLIP_IS_MEASURED, never the same code hiding two different reasons.at/counton a decoded element are not trusted from the wire (only the engine's store may say so); they are junk on any write that reaches this decoder because the only WRITABLE list is[].