Skip to content

Decode split UTF-8 sequences correctly in NDJSON streams - #6998

Merged
tim-smart merged 2 commits into
mainfrom
audit/repro-unstable-rpc-rpcserialization-ndjson-utf8-split
Aug 4, 2026
Merged

Decode split UTF-8 sequences correctly in NDJSON streams#6998
tim-smart merged 2 commits into
mainfrom
audit/repro-unstable-rpc-rpcserialization-ndjson-utf8-split

Conversation

@fubhy

@fubhy fubhy commented Aug 4, 2026

Copy link
Copy Markdown
Member

Summary

A valid multibyte UTF-8 character split across transport chunks is replaced by invalid replacement characters before NDJSON parsing.

Important

This PR starts with focused failing reproduction tests. Add the implementation fix to this same branch; CI is expected to fail until that fix is included.

NDJSON decoding corrupts split UTF-8

Module: RpcSerialization
Audit ID: unstable-services-rpc-ndjson-utf8-chunk
Severity / confidence: high / high

What happens

A valid multibyte UTF-8 character split across transport chunks is replaced by invalid replacement characters before NDJSON parsing.

Why it happens

Each byte chunk is finalized with TextDecoder.decode(bytes) without streaming mode, so partial multibyte sequences are replaced instead of carried into the next chunk.

Expected behavior

A framed streaming parser must decode valid UTF-8 independently of transport chunk boundaries.

Relevant implementation

These links and excerpts are pinned to audit base c9b56ab507f224426ee8388dc450da447ec4715f.

View problematic code at packages/effect/src/unstable/rpc/RpcSerialization.ts:123-147
      const decoder = new TextDecoder()
      let buffer = ""
      const failMaxBufferSize = (maxBufferSize: number): never => {
        buffer = ""
        throw new MaxBufferSizeExceeded({ maxBufferSize })
      }
      return ({
        decode: (bytes) => {
          buffer += typeof bytes === "string" ? bytes : decoder.decode(bytes)
          let position = 0
          let nlIndex = buffer.indexOf("\n", position)
          const items: Array<unknown> = []
          while (nlIndex !== -1) {
            if (isBufferSizeExceeded(nlIndex - position, maxBufferSize)) {
              failMaxBufferSize(maxBufferSize)
            }
            const item = JSON.parse(buffer.slice(position, nlIndex))
            items.push(item)
            position = nlIndex + 1
            nlIndex = buffer.indexOf("\n", position)
          }
          buffer = buffer.slice(position)
          if (isBufferSizeExceeded(buffer.length, maxBufferSize)) {
            failMaxBufferSize(maxBufferSize)
          }

View exact lines on GitHub

Reproduction

pnpm test --run packages/effect/test/rpc/RpcSerialization.test.ts

Observed failure: FAIL: U+20AC decoded as three U+FFFD replacement characters.

Implementation handoff

The initial reproduction tests on this branch are the regression specification for the implementation fix that should follow in this PR.

  1. Start with the pinned implementation excerpts and the Why it happens analysis above.
  2. Change the implementation so it satisfies the stated Expected behavior; do not weaken or remove the reproduction assertions.
  3. Run the focused reproduction command(s) and confirm the observed failures become passing tests:
pnpm test --run packages/effect/test/rpc/RpcSerialization.test.ts
  1. Run the affected package's existing tests, then the repository lint and type checks before requesting review.

Audit provenance

  • Audit base: c9b56ab507f224426ee8388dc450da447ec4715f
  • Reproduction base: c9b56ab507f224426ee8388dc450da447ec4715f
  • Findings: unstable-services-rpc-ndjson-utf8-chunk
  • Initial patch: focused reproduction tests; implementation fix pending

Closes EFF-435

@fubhy fubhy added the audit Findings originating from the Effect runtime correctness audit label Aug 4, 2026
@changeset-bot

changeset-bot Bot commented Aug 4, 2026

Copy link
Copy Markdown

🦋 Changeset detected

Latest commit: d12579d

The changes in this PR will be included in the next version bump.

This PR includes changesets to release 30 packages
Name Type
effect Patch
@effect/opentelemetry Patch
@effect/platform-browser Patch
@effect/platform-bun Patch
@effect/platform-deno Patch
@effect/platform-node-shared Patch
@effect/platform-node Patch
@effect/vitest Patch
@effect/ai-anthropic Patch
@effect/ai-openai-compat Patch
@effect/ai-openai Patch
@effect/ai-openrouter Patch
@effect/atom-react Patch
@effect/atom-solid Patch
@effect/atom-vue Patch
@effect/sql-clickhouse Patch
@effect/sql-d1 Patch
@effect/sql-libsql Patch
@effect/sql-mssql Patch
@effect/sql-mysql2 Patch
@effect/sql-pg Patch
@effect/sql-pglite Patch
@effect/sql-sqlite-bun Patch
@effect/sql-sqlite-do Patch
@effect/sql-sqlite-node Patch
@effect/sql-sqlite-react-native Patch
@effect/sql-sqlite-wasm Patch
@effect/docgen Patch
@effect/doctest Patch
@effect/openapi-generator Patch

Not sure what this means? Click here to learn what changesets are.

Click here if you're a maintainer who wants to add another changeset to this PR

@effect-slopcop effect-slopcop Bot added 4.0 bug Something isn't working labels Aug 4, 2026

@pullfrog pullfrog Bot left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Important

The reproduction test is clear and currently fails as expected, but the implementation fix described in the PR body is missing from the branch.

Reviewed changes

  • packages/effect/test/rpc/RpcSerialization.test.ts — adds a single regression test that splits the 3-byte UTF-8 encoding of (U+20AC) across two ndjson decode calls.

⚠️ Implementation fix not yet present

The PR title and body describe a bug in RpcSerialization.ts:131 (TextDecoder.decode(bytes) without streaming mode), but the only change on the branch is the reproduction test. The test fails as expected:

expected [ { value: '€' } ] to deeply equal [ { value: '���' } ]

Per the PR body, the fix should be added to the same branch before this PR is merged.

Technical details
# Missing streaming UTF-8 decode fix

## Affected sites
- packages/effect/src/unstable/rpc/RpcSerialization.ts:123 — `TextDecoder` is constructed without planning for streaming state.
- packages/effect/src/unstable/rpc/RpcSerialization.ts:131 — `decoder.decode(bytes)` finalizes the chunk, so trailing bytes of an incomplete UTF-8 sequence are replaced and lost.

## Required outcome
- Splitting any valid UTF-8 multibyte character across arbitrary byte boundaries must not corrupt the decoded message.
- `ndJsonRpc` (which delegates to `makeNdjson`) must also be fixed automatically.
- Existing `maxBufferSize` behavior and tests must continue to pass.

## Suggested approach
Keep the `TextDecoder` instance scoped to the parser and use `decoder.decode(bytes, { stream: true })` so the decoder carries incomplete sequences across calls.

ℹ️ Nitpicks

  • The split point in the test is hardcoded via bytes.indexOf(0xe2) + 1; this is clear for the specific 3-byte sequence but does not exercise every split byte of a multibyte character. Once the fix lands, consider adding one or two extra cases (split after byte 2 of 3, and a 4-byte character such as U+1F600) to prevent regression at other boundaries.

Pullfrog  | ⚠️ this action is pinned to a commit SHA, which freezes the cleanup step — switch to @v0 or keep the SHA fresh with Dependabot | Fix it ➔View workflow run | Using Kimi K2 (free via Pullfrog for OSS) | 𝕏

@tim-smart
tim-smart enabled auto-merge (squash) August 4, 2026 22:57

@pullfrog pullfrog Bot left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

✅ No new issues found. The implementation fix addresses the prior review feedback.

Reviewed changes

  • packages/effect/src/unstable/rpc/RpcSerialization.ts — changed decoder.decode(bytes) to decoder.decode(bytes, { stream: true }) in makeNdjson, keeping the TextDecoder instance scoped to the parser so incomplete multibyte UTF-8 sequences carry across chunk boundaries.
  • packages/effect/test/rpc/RpcSerialization.test.ts — added a regression test splitting the 3-byte UTF-8 encoding of across two decode calls.
  • .changeset/fix-ndjson-split-utf8.md — added a patch changeset for the effect package.

The focused test suite passes (pnpm --filter effect test --run test/rpc/RpcSerialization.test.ts). The only remaining observation is a minor coverage consideration: the test currently exercises one split point of a 3-byte character; additional cases (second-byte split, 4-byte character) could further harden the regression suite.

Pullfrog  | ⚠️ this action is pinned to a commit SHA, which freezes the cleanup step — switch to @v0 or keep the SHA fresh with Dependabot | View workflow run | Using Kimi K2 (free via Pullfrog for OSS) | 𝕏

@tim-smart
tim-smart merged commit 6ef5f1a into main Aug 4, 2026
20 checks passed
@tim-smart
tim-smart deleted the audit/repro-unstable-rpc-rpcserialization-ndjson-utf8-split branch August 4, 2026 23:21
@github-actions

github-actions Bot commented Aug 4, 2026

Copy link
Copy Markdown
Contributor

Bundle Size Analysis

Generated from PR build output; treat the content below as untrusted.

File Name Current Size Previous Size Difference
basic.ts 7.06 KB 7.06 KB 0.00 KB (0.00%)
batching.ts 9.86 KB 9.86 KB 0.00 KB (0.00%)
brand.ts 6.34 KB 6.34 KB 0.00 KB (0.00%)
cache.ts 10.62 KB 10.71 KB -0.09 KB (-0.83%)
config.ts 20.60 KB 20.60 KB 0.00 KB (0.00%)
differ.ts 20.20 KB 20.20 KB 0.00 KB (0.00%)
http-client.ts 21.49 KB 21.58 KB -0.09 KB (-0.41%)
logger.ts 10.76 KB 10.84 KB -0.08 KB (-0.76%)
metric.ts 8.98 KB 8.98 KB 0.00 KB (0.00%)
optic.ts 7.18 KB 7.18 KB 0.00 KB (0.00%)
pubsub.ts 14.90 KB 14.99 KB -0.09 KB (-0.57%)
queue.ts 11.58 KB 11.66 KB -0.08 KB (-0.68%)
schedule.ts 10.74 KB 10.83 KB -0.09 KB (-0.80%)
schema-class.ts 19.14 KB 19.14 KB 0.00 KB (0.00%)
schema-fromJsonSchemaDocument.ts 28.96 KB 28.96 KB 0.00 KB (0.00%)
schema-representation-roundtrip.ts 25.29 KB 25.29 KB 0.00 KB (0.00%)
schema-string-transformation.ts 13.30 KB 13.38 KB -0.09 KB (-0.64%)
schema-string.ts 10.94 KB 10.94 KB 0.00 KB (0.00%)
schema-template-literal.ts 15.17 KB 15.17 KB 0.00 KB (0.00%)
schema-toArbitraryLazy.ts 21.94 KB 21.94 KB 0.00 KB (0.00%)
schema-toCodeDocument.ts 24.34 KB 24.34 KB 0.00 KB (0.00%)
schema-toCodecJson.ts 19.18 KB 19.18 KB 0.00 KB (0.00%)
schema-toEquivalence.ts 19.01 KB 19.01 KB 0.00 KB (0.00%)
schema-toFormatter.ts 18.87 KB 18.87 KB 0.00 KB (0.00%)
schema-toJsonSchemaDocument.ts 22.60 KB 22.60 KB 0.00 KB (0.00%)
schema-toRepresentation.ts 19.52 KB 19.52 KB 0.00 KB (0.00%)
schema.ts 18.41 KB 18.41 KB 0.00 KB (0.00%)
stm.ts 12.54 KB 12.63 KB -0.09 KB (-0.74%)
stream.ts 9.80 KB 9.80 KB 0.00 KB (0.00%)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

4.0 audit Findings originating from the Effect runtime correctness audit bug Something isn't working

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants