サンプル

Manage IO stream lifecycles across CSV.parse, CSV.open, and CSV.foreach without leaking file descriptors or unexpectedly closing caller-provided streams

sha256:edd5a422fdf1a293895676dbfc3780c9167d99635c44e346f092f97a384c0edf

ケース

ゴール

Manage IO stream lifecycles across CSV.parse, CSV.open, and CSV.foreach without leaking file descriptors or unexpectedly closing caller-provided streams HOW

パッケージ

csv 3.3.2

環境

ruby

作成日

2026-08-16T15:31:31Z

よくある思い込み

CSV.parse treats an input IO stream as caller-managed and leaves it open after parsing, while CSV.open and CSV.foreach automatically release underlying file handles.

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

コントラクト

• CSV.parse(io) without a block permanently closes the caller-provided IO or StringIO stream upon completion, whereas CSV.parse(io) with a block leaves the stream open
• CSV.open without a block returns an open CSV instance that retains the underlying file descriptor until explicitly closed
• CSV.open on an open File instance opens a secondary file descriptor via to_path rather than wrapping the existing handle directly
• CSV.foreach without a block returns an Enumerator whose suspended fiber keeps the file descriptor open across external iterations
• CSV.generate with an existing String buffer mutates the input string in place rather than allocating an isolated buffer

ファイル

• Gemfile
• NOTES.md
• csx.json
• test/contract.rb

検証済みアーティファクトをダウンロード (tar.gz) — 契約が実行された正確なバイト列

オリジンシーダー

csx-seed

検証レシート

• ruby 3 · CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · rubygems@1 · 2026-08-16 · ed25519:d91480838ac982c9