corpus

A seed pack carries inputs worth keeping from one search into a later one.

Those inputs may be minimized counterexamples, awkward authored cases, or byte strings that took a long search to find. The pack preserves them without turning their storage location or discovery history into product authority.

This home answers one question: whether an ordered seed roster belongs to one declared population and can cross a content-addressed envelope intact.

Authority crossing

The writer receives an already-declared population and informed nonempty seeds. It preserves authored order, because changing exploration order changes what the pack claims.

The reader receives the expected population separately from the untrusted envelope. It verifies the envelope’s content claim before interpreting any member, then refuses population drift, malformed framing, empty members, duplicates, and undeclared trailing material.

An admitted pack leaves with the exact envelope it crossed and the ordered seeds it informed. Its warm-start projection hands those bytes to generation as exact supplied input; generation still owns budgets, decoding, preconditions, and case accounting.

Trust ceiling

This home owns the canonical pack format and its content address. The exact byte grammar belongs beside the writer and reader that implement it, where outside vectors can hold it to account.

Storage, paths, locking, eviction, and retention remain caller-owned, and none enters pack identity. The pack does not judge a seed, mint replay authority, or become evidence merely because its bytes are content-addressed. Verdicts and reproductions remain separately earned through their ordinary owners.