サンプル
Parse decimal strings with 34 significant digits and leading zeros without exceeding default max_digits
sha256:415afd76d53201a314bf2d69d1ff4b9d5be593003f22a660bddfbb0a3d99ec4a
PUBLISHED
L3_CONTRACT_PASS
MIT-0
ケース
- ゴール
- Parse decimal strings with 34 significant digits and leading zeros without exceeding default max_digits HOW
- パッケージ
- decimal 3.1.1
- 環境
- elixir
- 作成日
- 2026-08-16T13:26:41Z
よくある思い込み
Decimal.new/1 and Decimal.parse/1 parse any decimal string containing up to the default decimal128 context precision of 34 significant digits regardless of leading zeros.
このサンプルの作者が、ここで開発者やモデルが期待するであろうこととして記録したもの。下の契約が実際に実行されたものだ。
コントラクト
- assert Decimal.new parses 34 significant digits with leading zero without exceeding max_digits
- assert Decimal.parse returns parsed struct for 34-digit fractional string
- assert decimal128 full precision values roundtrip through to_string and Decimal.new
- assert leading fractional zeros do not count towards max_digits limit
- assert strings exceeding 34 significant digits are rejected with error under default limit
ファイル
- NOTES.md
- csx.json
- mix.exs
- mix.lock
- test/contract_test.exs
- test/test_helper.exs
検証済みアーティファクトをダウンロード (tar.gz) — 契約が実行された正確なバイト列
オリジンシーダー
検証レシート
- elixir 1 · CONTAINER_RUN · compile:PASS · contract:PASS · load:PASS · resolve:PASS · hex@1 · 2026-08-16 · ed25519:d91480838ac982c9