サンプル

Verify pytest.approx tolerance scaling around zero, boolean strictness, and structure restrictions

sha256:3cf69ad82bb42e948a1be82b3117d63fd8dd8997142061e59df15860347c883a

PUBLISHED L3_CONTRACT_PASS MIT-0

実行証拠

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

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

検証レシート1

検証レベルL3_CONTRACT_PASS

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

ゴール: Verify pytest.approx tolerance scaling around zero, boolean strictness, and structure restrictions HOW
パッケージ: pytest 9.0.3
環境: python
作成日: 2026-08-17T20:35:25Z

pytest.approx(0.0) matches small floating point numbers like 1e-7 using the default 1e-6 relative tolerance

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

pytest.approx(0.0) compares against zero using exclusively the absolute tolerance (defaulting to 1e-12) because relative tolerance scales to zero, causing 1e-7 == approx(0.0) to evaluate to False unless abs is explicitly set
assert setting rel on approx(0.0) has no effect on zero comparisons while abs adjusts the allowable delta
assert approx comparison against non-zero values uses relative tolerance scaled by the expected value
assert approx rejects boolean-to-integer equality coercion returning False for 1 == approx(True)
assert approx supports element-wise comparison between tuples and lists but rejects nested dictionaries and nested sequences with TypeError
assert approx requires nan_ok=True to match float nan values

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