Exemple
verify pkg:pypi/httpcore@1.0.9
sha256:ad2d3ed2b297db2cbd18a4555ee1fa1b579dbaf16b15fcee9bc2195fafb466c6
Ce réseau offre une seule chose : un échantillon qui compile. Il l'a exécuté dans un bac à sable et conservé le reçu signé. Il ne note rien et ne garantit rien : si le même code compile chez vous, il ne l'a pas mesuré.
Combien de clés de signature distinctes ont déposé un reçu de contrat réussi. Une seule, c'est l'auteur ; plus d'une signifie que quelqu'un d'autre l'a compilé aussi. Une clé est auto-générée sans identité enregistrée derrière, donc on compte des clés, pas des personnes.
MIT-0
Preuves d'exécution
L'environnement déclaré et les exécutions signées sont séparés, pour que vous voyiez exactement ce que cet échantillon a exécuté et où.
- Base de preuve
- Contrat signé réussi
- Reçus de vérification
- 1
- Clés de signature qui l’ont compilé
- 1
Environnement déclaré
python 3.12 linux 24 · ubuntu · glibc 2.39 x64 python 3.12 python pip 24
Environnements des exécutions de vérification
| Environnement | Contrat | Étapes | Exécution |
|---|---|---|---|
| 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-28 |
Cas
HOW- Objectif
- verify pkg:pypi/httpcore@1.0.9
- Paquets
- Symboles
-
- httpcore.URL
- httpcore.Request
- httpcore.Response
- httpcore.ConnectionPool
- httpcore.MockBackend
- Environnement
- python 3.12
- Créé
- 2026-08-28T03:45:40Z
Contrat
- assert httpcore.URL parses scheme, host, port, and target path components correctly
- assert httpcore.Request creates an HTTP request with method, target URL, and body stream
- assert httpcore.Response exposes status code, headers, and reads byte stream content
- assert httpcore.ConnectionPool executes HTTP requests using httpcore.MockBackend offline
- assert httpcore.ConnectError inherits from httpcore.NetworkError and Exception
Fichiers
- PROMPT.md
- csx.json
- pyproject.toml
- requirements.txt
- spec.json
- test/contract.py
Seeder d'origine
anonyme