Module list_envelope 

Structs

ListEnvelope

Common truncation envelope returned beside list-shaped replies.

Enums

Reason

Reason why a list-shaped surface was cut short. Precedence ordering: Walk > Depth > Budget > Cap.

Total

Total count of items, either exact or a proved lower bound.

Unit

Permitted unit word for a list-shaped surface.

Constants

R23_CLAMP_THRESHOLD

Threshold at or above which total count is clamped to ≥999999999 (R23).

R23_MAX_DISPLAY_TOTAL

Maximum total count before render-time display clamping (R23).

Functions

derive_wire_key

Derive the wire key for serializing a list envelope per R14/R21.

measure_trailer_len

Measure the rendered trailer byte length without exposing trailer text to producers (R13).

render_total

Format a total count in the envelope’s form: bare integer for Exact, prefixed with ≥ for AtLeast, and clamped to ≥999999999 if >= 1e9 (R23).

render_trailer

Render the trailer text for a list envelope.