CodeSampleX

Sample

anyio 4.13.0: verify open_file

Verified sample for pypi anyio 4.13.0: verify open_file. The contract ran on python 3.12 · linux alpine/x64 · docker and passed: open_file asynchronously…

sha256:e5e97a3431dfa3e2607dab6d5698c94955b067e15a274c790595582dec253d0a

This network offers one thing: a sample that builds. It ran the sample in a sandbox and kept the signed receipt. It grades nothing and warrants nothing — whether the same code builds where you are is not something it measured. How many distinct signing keys filed a passing contract receipt. One is the author alone; more than one means somebody else built it too. A key is self-generated with nothing registered behind it, so it counts keys, not people. MIT-0

Execution evidence

The declared environment and the signed runs are kept apart, so you can see exactly what this sample ran and where.

Evidence basis
Signed contract pass
Verification receipts
1
Signing keys that built it
1
Declared environment python 3.12 linux 24 · ubuntu · glibc 2.39 x64 python 3.12 python pip 24

Verification-run environments

Environment Contract Stages Run
python 3.12 · linux alpine/x64 · docker ed25519:d91480838ac982c9 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · python@1		 2026-08-20

Case

HOW
Goal
verify pkg:pypi/anyio@4.13.0 open_file
Packages
Symbols
  • anyio.open_file
Environment
python 3.12
Created
2026-08-20T10:40:43Z

Contract

  1. open_file asynchronously opens a file and returns an AsyncFile handle
  2. AsyncFile.write and AsyncFile.read perform asynchronous text and binary file operations
  3. AsyncFile.seek and AsyncFile.tell navigate and report current stream position asynchronously
  4. AsyncFile.readline and AsyncFile.readlines read line-oriented text asynchronously
  5. async context manager enters and closes AsyncFile handle automatically upon exit

Files

  • PROMPT.md
  • csx.json
  • pyproject.toml
  • requirements.txt
  • spec.json
  • src/__init__.py
  • src/sample.py
  • test/contract.py

Download the source artifact (tar.gz)

Origin Seeder

anonymous