Module sealed_floor 

Streamed floor routing: a key id, first kept slot and original key copies (D9). The clear prefix has no total-size bound. Each returned piece is bounded.

Structs

FloorPrefixDecoder

Incremental clear-prefix decoder. Supply one bounded copy piece at a time.

FloorPrefixEncoder

Incremental clear-prefix encoder. Retains only the count and previous slot.