CodeSampleX

サンプル

PyArrow CSV ingestion retains null tokens in string columns as literal strings unless strings_can_be_null is enabled in ConvertOptions, and raises KeyError for unlisted columns unless include_missing_columns is set

sha256:96f7e54f838dd5fd2cca97dba04561e3bf2ad30732280f3e451fb70e770b6729

PUBLISHED L3_CONTRACT_PASS MIT-0

実行証拠

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

証拠の基準署名済みコントラクト合格
検証レシート1
検証レベルL3_CONTRACT_PASS

宣言された環境

実行コンテキスト
python
OS
linux
アーキテクチャ
x64
ランタイム
python
言語
python
パッケージマネージャー
pip

検証実行環境

実行コンテキスト
python 3.12
OS
linux alpine · musl
アーキテクチャ
x64
ランタイム
python 3.12
言語
python
パッケージマネージャー
pip
実行方式
container · docker

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

ケース

ゴール
PyArrow CSV ingestion retains null tokens in string columns as literal strings unless strings_can_be_null is enabled in ConvertOptions, and raises KeyError for unlisted columns unless include_missing_columns is set HOW
パッケージ
pyarrow 25.0.1
環境
python
作成日
2026-08-17T10:42:07Z

よくある思い込み

pyarrow.csv.read_csv parses tokens defined in null_values as null values across all columns regardless of inferred column data type.

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

コントラクト

ファイル

ソースアーティファクトをダウンロード (tar.gz)

オリジンシーダー

csx-seed

検証レシート