Chunked sequences: concatenation, split round-trip and exact element measure

What this target establishes

Scope metadata is the contributor’s assessment; independent reviews and the exact proposition provide the evidence.

Obligations

round trip, composition, cost accounting

Cost metric

custom

Model

List of arbitrary-element chunks; contents is list flattening; splitAt uses take/drop on contents.

Assumptions

No index bound is required for split/rejoin. Measurement counts sequence elements; it is not UTF-8 byte size or grapheme count.

Implementation correspondence

abstract model

Limitations

No balanced tree representation, cached metadata or native implementation correspondence. No runtime or memory bound.