Sample
six.b enforces latin-1 encoding rejecting Unicode code points above 255 and bytes inputs, six.u leaves bytes uncoerced, six.byte2int raises IndexError on empty bytes and TypeError on ints, and ensure_binary rejects buffer types
sha256:818b8ffff45a8ecdd920d10dbd4d464a5427bbd808341d2ba24cbeb1629e3261
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
- six.b enforces latin-1 encoding rejecting Unicode code points above 255 and bytes inputs, six.u leaves bytes uncoerced, six.byte2int raises IndexError on empty bytes and TypeError on ints, and ensure_binary rejects buffer types HOW
- Packages
-
six 1.17.0
- Environment
- python
- Created
- 2026-08-17T07:06:57Z
Commonly assumed
six.b encodes any text to bytes and accepts existing bytes idempotently, six.u coerces bytes to str, and six.byte2int coerces integer inputs while defaulting empty bytes to zero
The sample's author recorded this as what a developer or model would expect here. The contract below is what actually ran.
Contract
- six.b strictly encodes strings using latin-1 raising UnicodeEncodeError on code points above 255 and AttributeError on existing bytes rather than coercing via UTF-8 or acting idempotently
- six.u is an identity function on Python 3 that returns bytes unchanged without text coercion
- six.byte2int is mapped to itemgetter(0) which raises IndexError on empty bytes, raises TypeError on integers, and returns single-character strings when passed str
- six.indexbytes raises IndexError on empty byte sequences while supporting negative indexing on populated byte sequences
- six.ensure_binary and six.ensure_text strictly reject non-str non-bytes buffer types such as bytearray, memoryview, and None with TypeError
- six.get_function_defaults and six.get_function_closure return None rather than empty tuples when defaults or closures are absent
- six.create_unbound_method returns the underlying function directly on Python 3 rather than a bound or unbound MethodType instance
Files
- NOTES.md
- csx.json
- requirements.lock
- requirements.txt
- test/__init__.py
- test/contract.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