client: enforce the streaming terminal contract by construction#160

Merged

rpb-ant merged 3 commits into

mainfrom

stream-end-record

Jun 10, 2026

Commits on Jun 10, 2026

client: restructure streaming receive around a single terminal record
rpb-ant
committed
client: make the deadline-equivalence and write-once claims self-checking

rpb-ant
and
claude
committed
client: address review nits on the receive restructure

rpb-ant
and
claude
committed