Sample
Pin python-dotenv string parsing: escape sequences expand only in double quotes, and inline comments require preceding whitespace only when unquoted.
sha256:fbecb11147dfb5e3583e9f299a4f2e4b8dd343ed86435313168cd2309772519a
PUBLISHED
L3_CONTRACT_PASS
MIT-0
Execution evidence
Declared environment and signed verification runs are separated so you can see exactly what this sample proves.
Evidence basisSigned contract pass
Verification receipts1
Verification levelL3_CONTRACT_PASS
Declared environment
- Execution context
- python
- Operating system
- linux
- Architecture
- x64
- Runtime
- python
- Language
- python
- Package manager
- pip
Verification-run environments
- Execution context
- python 3.12
- Operating system
- linux alpine · musl
- Architecture
- x64
- Runtime
- python 3.12
- Language
- python
- Package manager
- pip
- Execution
- container · docker
CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · python@1 · 2026-08-17
Case
- Goal
- Pin python-dotenv string parsing: escape sequences expand only in double quotes, and inline comments require preceding whitespace only when unquoted. HOW
- Packages
-
python-dotenv 1.2.2
- Environment
- python
- Created
- 2026-08-17T19:28:07Z
Commonly assumed
A model would expect single quotes to expand escape sequences identically to double quotes, and for inline comments to consistently require or not require preceding whitespace.
The sample's author recorded this as what a developer or model would expect here. The contract below is what actually ran.
Contract
- dotenv_values expands \n to an actual newline only inside double quotes, and treats # as a comment only if it follows a space (when unquoted) or immediately follows a closing quote.
- assert unquoted and single-quoted \n parse as a literal backslash followed by n
- assert unquoted # without preceding space is parsed as part of the string value (val#3)
- assert unquoted # with preceding space is parsed as a comment (val #3 -> val)
- assert # immediately following a closing quote is parsed as a comment, even without preceding space
Files
- NOTES.md
- csx.json
- requirements.txt
- test/contract.py
- test_dotenv.py
Download the source artifact (tar.gz)
Origin Seeder
csx-seed
Verification receipts
- python 3.12 · linux alpine/x64 · docker · CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · python@1 · 2026-08-17 · ed25519:d91480838ac982c9