Skip to content

Port batch log streaming onto streamOnce and follow#15

Merged
lnsp merged 1 commit into
masterfrom
fix/batch-stream
Jul 26, 2026
Merged

Port batch log streaming onto streamOnce and follow#15
lnsp merged 1 commit into
masterfrom
fix/batch-stream

Conversation

@lnsp

@lnsp lnsp commented Jul 26, 2026

Copy link
Copy Markdown
Member

Fixes a broken master. I cut #14 from a stale local master, before #11 replaced streamRequest with streamOnce plus a reconnecting follow helper. The squash merge produced no textual conflict — the removed symbol and my new call site sit in different parts of the file — so it built green on the branch and broken on trunk.

Batch log streaming now uses the same path service logs do, including reconnect-and-resume at an exact byte offset. It always starts at the beginning of the log rather than anchoring to the end: an execution's output is finite and usually short, so skipping the start risks missing all of it for nothing.

Verified against the live platform after the fix.

This branch was cut from a stale local master, before #11 replaced
streamRequest with streamOnce plus a reconnecting follow helper. The squash
merge of #14 produced no textual conflict -- the removed symbol and the new
call site are in different parts of the file -- so master built green in the
branch and broken on trunk.

Batch log streaming now uses the same path service logs do. A followed stream
reconnects and resumes at an exact byte offset. It always starts at the
beginning of the log rather than anchoring to the end: an execution's output is
finite and usually short, so there is nothing to gain from skipping the start
and a real chance of missing all of it.
@lnsp
lnsp merged commit f5cdc28 into master Jul 26, 2026
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant