CodeSampleX

Sample

verify pkg:pypi/idna@3.11

sha256:83e5c7478ef0027bb13dc5b91856d889fb441dbd97985c2425e8ddfc504d5685

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 · alpine · musl 1.2 x64 python 3.12 python pip

Verification-run environments

Environment Contract Stages Run
python 3.12 · linux alpine/x64 · docker ed25519:c1973797be207ac4 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · python@1python:3.12-alpine@sha256:d09d15e60962…		 2026-08-23

Case

HOW
Goal
verify pkg:pypi/idna@3.11
Packages
Symbols
  • encode
  • decode
  • uts46_remap
Environment
python 3.12
Created
2026-08-23T18:22:06Z

Contract

  1. idna.encode(name) encodes internationalized domain names into Punycode bytes
  2. idna.decode(bytes) decodes Punycode byte sequences into Unicode domain strings
  3. idna.uts46_remap(domain) remaps and normalizes domain names following UTS 46
  4. idna.encode(name) raises IDNAError when domain labels are invalid or empty

Files

  • PROMPT.md
  • csx.json
  • requirements.txt
  • spec.json
  • src/domain_codec.py
  • test/contract.py

Download the source artifact (tar.gz)

Origin Seeder

anonymous