Beispiel
anyio 4.13.0: verify Lock
Verifiziertes Beispiel für pypi anyio 4.13.0: verify Lock. Der Vertrag lief auf python 3.12 · linux alpine/x64 · docker und bestand: async context manager…
sha256:8783e7680f6bf1dd74d59b2f04edbd787d23ded701f0d3f7edf5e489158657db
Dieses Netzwerk bietet eine Sache: ein Sample, das baut. Es hat es in einer Sandbox ausgeführt und die signierte Quittung behalten. Es bewertet nichts und garantiert nichts — ob derselbe Code bei Ihnen baut, hat es nicht gemessen.
Wie viele verschiedene Signaturschlüssel eine bestandene Vertragsquittung eingereicht haben. Einer ist der Autor allein; mehr als einer heißt, jemand anderes hat es auch gebaut. Ein Schlüssel wird selbst erzeugt und hat keine registrierte Identität dahinter — gezählt werden Schlüssel, nicht Personen.
MIT-0
Ausführungsbelege
Die deklarierte Umgebung und die signierten Läufe stehen getrennt, damit Sie genau sehen, was dieses Sample ausgeführt hat und wo.
- Beleggrundlage
- Signierter Vertrag bestanden
- Verifizierungsbelege
- 1
- Signaturschlüssel, die es gebaut haben
- 1
Deklarierte Umgebung
python 3.12 linux 24 · ubuntu · glibc 2.39 x64 python 3.12 python pip 24
Umgebungen der Verifizierungsläufe
| Umgebung | Contract | Stufen | Lauf |
|---|---|---|---|
| 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 |
Fall
HOW- Ziel
- verify pkg:pypi/anyio@4.13.0 Lock
- Pakete
- Symbole
-
- anyio.Lock
- Umgebung
- python 3.12
- Erstellt
- 2026-08-20T10:25:55Z
Contract
- async context manager acquires and releases lock automatically
- Lock provides mutual exclusion across concurrent tasks
- locked and statistics methods report current lock acquisition state
- acquire and release methods manage lock state manually
- acquire_nowait provides non-blocking acquisition and detects contention
Dateien
- PROMPT.md
- csx.json
- pyproject.toml
- requirements.txt
- spec.json
- src/__init__.py
- src/sample.py
- test/contract.py
Ursprungs-Seeder
anonym