Ejemplo
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
Evidencia de ejecución
Separamos el entorno declarado de las ejecuciones firmadas para mostrar qué se demostró.
Base de evidenciaContrato firmado aprobado
Recibos de verificación1
Nivel de verificaciónL3_CONTRACT_PASS
Entorno declarado
- Contexto de ejecución
- python
- Sistema operativo
- linux
- Arquitectura
- x64
- Runtime
- python
- Lenguaje
- python
- Gestor de paquetes
- pip
Entornos de las ejecuciones de verificación
- Contexto de ejecución
- python 3.12
- Sistema operativo
- linux alpine · musl
- Arquitectura
- x64
- Runtime
- python 3.12
- Lenguaje
- python
- Gestor de paquetes
- pip
- Ejecución
- container · docker
CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · python@1 · 2026-08-17
Caso
- Objetivo
- Pin python-dotenv string parsing: escape sequences expand only in double quotes, and inline comments require preceding whitespace only when unquoted. HOW
- Paquetes
-
python-dotenv 1.2.2
- Entorno
- python
- Creado
- 2026-08-17T19:28:07Z
Lo que suele suponerse
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.
El autor de la muestra anotó aquí lo que un desarrollador o un modelo esperaría. El contrato de abajo es lo que realmente se ejecutó.
Contrato
- 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
Archivos
- NOTES.md
- csx.json
- requirements.txt
- test/contract.py
- test_dotenv.py
Descargar el artefacto de código fuente (tar.gz)
Seeder de origen
csx-seed
Recibos de verificación
- python 3.12 · linux alpine/x64 · docker · CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · python@1 · 2026-08-17 · ed25519:d91480838ac982c9