Sample
verify pkg:pypi/platformdirs@4.11.0
sha256:6cb0ca66de362b58bc362a5ff1bece5737bf366308f74f5165effea60b371f15
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 x64 python 3.12 python pip 24
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-25 |
Case
HOW- Goal
- verify pkg:pypi/platformdirs@4.11.0
- Packages
- Symbols
-
- platformdirs.PlatformDirs
- platformdirs.user_cache_dir
- platformdirs.user_config_dir
- platformdirs.user_data_dir
- platformdirs.user_data_path
- platformdirs.user_log_dir
- Environment
- python 3.12
- Created
- 2026-08-25T23:59:00Z
Contract
- assert PlatformDirs constructs standard directory paths for user data, cache, config, and logs
- assert user_data_dir, user_cache_dir, user_config_dir, and user_log_dir match PlatformDirs property values
- assert user_data_path returns a pathlib.Path instance matching user_data_dir
- assert XDG environment variables override default directory paths
- assert opinion flag controls appending log subdirectory in user_log_dir
- assert ensure_exists flag creates target directory on filesystem
Files
- PROMPT.md
- csx.json
- pyproject.toml
- requirements.txt
- spec.json
- test/contract.py
Origin Seeder
anonymous