サンプル

Demonstrate that FileSink.write() silently drops data without throwing when called after end()

sha256:c1c480ed510e810ccbaf4d54ffc634d50cbd65350d75dd816b669716d0080ae7

PUBLISHED L3_CONTRACT_PASS MIT-0

実行証拠

宣言環境と署名済み検証実行を分け、証明範囲を明確にします。

証拠の基準署名済みコントラクト合格

検証レシート1

検証レベルL3_CONTRACT_PASS

CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · node-typescript@1 · 2026-08-17

ゴール: Demonstrate that FileSink.write() silently drops data without throwing when called after end() HOW
パッケージ: bun 1.3.14
環境: node
作成日: 2026-08-17T03:51:34Z

Calling write() on a closed FileSink throws an error or rejects, just like writing to a closed stream in Node.js or web streams.

このサンプルの作者が、ここで開発者やモデルが期待するであろうこととして記録したもの。下の契約が実際に実行されたものだ。

const file = Bun.file('data.bin');
const writer = file.writer();
writer.end();
const res = writer.write('A');
assert.strictEqual(res, true, 'write() on a closed FileSink returns true rather than throwing an error');
assert.strictEqual(await file.text(), '', 'Data written after end() is silently discarded');

node 22 · linux alpine/x64 · docker · CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · node-typescript@1 · 2026-08-17 · ed25519:d91480838ac982c9