Skip to content

Add the bounded private pipe frame codec - #198

Merged
arasovic merged 1 commit into
mainfrom
run/issue-197
Sep 6, 2026
Merged

Add the bounded private pipe frame codec#198
arasovic merged 1 commit into
mainfrom
run/issue-197

Conversation

@arasovic

@arasovic arasovic commented Sep 6, 2026

Copy link
Copy Markdown
Owner

Summary

  • add a private bounded frame codec for inherited background pipes
  • encode exact four-byte big-endian lengths followed by raw payload bytes
  • accept the 64 MiB boundary and reject larger frames before write/allocation
  • preserve clean EOF, partial EOF, arbitrary I/O errors, and short-write safety
  • keep JSON payloads, roles, process spawning, and public CLI behavior out of scope

Verification

  • go test -race ./internal/background -run TestFrame -count=50
  • go test -race ./internal/background -count=5
  • mutation proofs for endianness, pre-allocation size guard, and full-write loop
  • npm run verify
  • go build ./...
  • Windows amd64 and Linux 386 compile-only tests
  • independent Pi Worker Standards and Spec reviews; one false negative-limit test fixed, no remaining findings

Closes #197

Parent: #177

@arasovic
arasovic merged commit 22b6b01 into main Sep 6, 2026
23 checks passed
@arasovic
arasovic deleted the run/issue-197 branch September 6, 2026 20:22
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.

Add the bounded private-pipe frame codec

1 participant