Module model
Structs§
Enums§
Constants§
Functions§
- classify_
header - encoded_
len - fits_
u32_ frame - frame_
complete - frame_
overhead - frame_
size - law_
assign_ advances_ next_ by_ one - law_
bad_ magic_ when_ prefix_ contradicts - law_
chained_ frame_ adds_ exactly_ digest_ len - law_
consecutive_ seqs_ have_ no_ gap - law_
empty_ header_ on_ no_ bytes - law_
encoded_ len_ at_ least_ overhead - law_
encoded_ len_ is_ overhead_ plus_ fields - law_
encoded_ len_ monotonic_ in_ payload - law_
first_ seq_ is_ one - law_
frame_ complete_ iff_ frame_ fits_ after_ prefix - law_
frame_ size_ at_ least_ overhead - law_
passing_ cap_ implies_ frame_ encodable - law_
replay_ order_ ignores_ timestamp - law_
seq_ overrides_ timestamp_ disagreement - law_
torn_ when_ consistent_ but_ incomplete - law_
unsupported_ flags_ when_ present_ and_ wrong - law_
unsupported_ version_ when_ present_ and_ wrong - law_
valid_ when_ complete_ and_ consistent - law_
within_ cap_ iff_ not_ greater - within_
cap