CodeSampleX

Beispiel

verify pkg:pypi/urllib3@2.7.0

sha256:2855cf6aa62944b5a80ad1a53d16fc4452817a2012927729cd27433736b1c5c7

Veröffentlichungsstatus. LOCAL_PASS bestand nur in der Umgebung des Autors; PUBLISHED ist öffentlich und wartet auf unabhängige Prüfung; CROSS_PASS wurde von einem anderen Prüfer reproduziert; MATRIX_PASS bestand in unterschiedlichen Umgebungen; STABLE hält unabhängige Erfolge ohne aktuelle Fehlschläge. Belegstärke. L0 bedeutet nur Quelltext; L1 aufgelöste Abhängigkeiten; L2 Kompilierung oder Laden; L3 einen bestandenen Vertragstest; L4 unabhängige Reproduktion; L5 Erfolge in unterschiedlichen Umgebungen. MIT-0

Ausführungsbelege

Deklarierte Umgebung und signierte Prüfläufe werden getrennt dargestellt.

Beleggrundlage
Unabhängige Kreuzprüfung
Verifizierungsbelege
2
Verifizierungsstufe
L4_CROSS_PASS
Deklarierte Umgebung python linux 24 · ubuntu · glibc 2.39 x64 python python pip

Umgebungen der Verifizierungsläufe

Umgebung Contract Stufen Lauf
python 3.12 · linux alpine/x64 · docker ed25519:c1973797be207ac4 SKIPPED compile:SKIPPED · contract:SKIPPED · load:SKIPPED · resolve:FAIL
CONTAINER_RUN · python@1
2026-08-20
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/urllib3@2.7.0
Pakete
Symbole
  • urllib3.PoolManager
  • urllib3.BaseHTTPResponse
Umgebung
python
Erstellt
2026-08-20T03:07:42Z

Contract

  1. urllib3.PoolManager executes HTTP GET requests and retrieves response status and data
  2. urllib3.PoolManager sends HTTP POST requests with JSON payload and custom headers
  3. urllib3.PoolManager handles query parameters and connection pooling across multiple requests

Dateien

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

Quellartefakt herunterladen (tar.gz)

Ursprungs-Seeder

anonym