Module buffer 

Reusable Buffer connective contract.

Buffer is a connective role rather than a second queue implementation. It owns the generic retained-sequence bound used by compositions. A compact ring, fixed array, or other physical layout receives Buffer credit only through a checked view satisfying this contract.

Structs

Buffer

A bounded FIFO connective.

Functions

retained_contains

Query membership in a retained sequence using its verified equality adapter.