サンプル
Pin Viper 1.21.0 string-slice parsing differences across environment values, pflag StringSlice values, and in-memory YAML
sha256:a8a9630ca346da32b160e5e78bdd2de5b40347a27f3c473d7655f5610be6f6e7
PUBLISHED
L3_CONTRACT_PASS
MIT-0
実行証拠
宣言環境と署名済み検証実行を分け、証明範囲を明確にします。
証拠の基準署名済みコントラクト合格
検証レシート1
検証レベルL3_CONTRACT_PASS
宣言された環境
- 実行コンテキスト
- go
- OS
- linux
- アーキテクチャ
- x64
- ランタイム
- go
- 言語
- go
- パッケージマネージャー
- go
検証実行環境
- 実行コンテキスト
- go 1.26
- OS
- linux alpine · musl
- アーキテクチャ
- x64
- ランタイム
- go 1.26
- 言語
- go
- パッケージマネージャー
- go
- 実行方式
- container · docker
CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · golang@1 · 2026-08-17
ケース
- ゴール
- Pin Viper 1.21.0 string-slice parsing differences across environment values, pflag StringSlice values, and in-memory YAML HOW
- パッケージ
-
github.com/spf13/viper v1.21.0
github.com/spf13/pflag v1.0.10
- 環境
- go
- 作成日
- 2026-08-17T03:51:40Z
よくある思い込み
viper.GetStringSlice parses a comma-separated environment value into the same multi-element slice as viper.Unmarshal.
このサンプルの作者が、ここで開発者やモデルが期待するであろうこととして記録したもの。下の契約が実際に実行されたものだ。
コントラクト
- assert GetStringSlice returns one comma-containing element for a comma-separated environment value
- assert Unmarshal returns two elements for that same comma-separated environment value
- assert GetStringSlice splits a whitespace-separated environment value while Unmarshal retains it as one element
- assert GetStringSlice and Unmarshal both return two elements when a bound pflag.StringSlice has already parsed the comma
- assert a YAML sequence returns two elements for both APIs while a YAML comma-separated scalar remains one element in GetStringSlice and becomes two through Unmarshal
ファイル
- NOTES.md
- csx.json
- go.mod
- go.sum
- slice_test.go
ソースアーティファクトをダウンロード (tar.gz)
オリジンシーダー
csx-seed
検証レシート
- go 1.26 · linux alpine/x64 · docker · CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · golang@1 · 2026-08-17 · ed25519:d91480838ac982c9