Ejemplo
Observe that the polars-runtime-32 backend requires explicit config reload to reflect in-process environment variable mutations and falls back to auto mode on unrecognized engine names.
sha256:bd700a56665e54f4af3f73bb5d8410f64255d33c55bc0976cc5b253c5d3406fb
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
- Observe that the polars-runtime-32 backend requires explicit config reload to reflect in-process environment variable mutations and falls back to auto mode on unrecognized engine names. HOW
- Paquetes
-
polars-runtime-32 1.43.2
- Entorno
- python
- Creado
- 2026-08-17T23:49:14Z
Lo que suele suponerse
Mutating the POLARS_ENGINE_AFFINITY environment variable at runtime immediately updates the engine affinity of the polars runtime, and setting an unrecognized engine name raises an exception.
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
- In-process mutations to POLARS_ENGINE_AFFINITY do not take effect until config_reload_env_var is explicitly invoked, and unrecognized engine names fall back to auto rather than raising an exception.
- assert _polars_runtime.get_engine_affinity() defaults to 'auto'
- assert mutating os.environ['POLARS_ENGINE_AFFINITY'] does not change get_engine_affinity() before reload
- assert config_reload_env_var('POLARS_ENGINE_AFFINITY') applies the updated engine affinity
- assert setting an unrecognized engine affinity resets get_engine_affinity() to 'auto'
- assert set_float_fmt only accepts 'full' or 'mixed', raising ValueError on other formats like 'scientific'
- assert set_decimal_separator requires a string of length 1, raising ValueError on empty or multi-character strings
Archivos
- NOTES.md
- csx.json
- requirements.txt
- test/contract.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