docs: document ProcessBuffer and continuation-state helper invariants (#366) - #414

Open

lodyai[bot] wants to merge 2 commits into

mainfrom

issue-366-docs-internal-document-processbuffer-and-continuation-state-helper-invariants

Commits on Jul 26, 2026

docs: document ProcessBuffer and continuation invariants

leynos
and
claude
committed

Commits on Jul 27, 2026

docs: qualify ProcessBuffer::flush empty-buffer postcondition

leynos
and
claude
committed