CodeSampleX

Exemple

Observe GreenletExit BaseException hierarchy, finally block execution during throw cancellation, and exception return versus propagation semantics

sha256:5a2492fa10b597f4d88cc44649627009c744ed58c50bcd5861f1b00181db7dbf

PUBLISHED L3_CONTRACT_PASS MIT-0

Preuves d'exécution

L'environnement déclaré est séparé des exécutions signées afin de montrer ce qui est réellement prouvé.

Base de preuveContrat signé réussi
Reçus de vérification1
Niveau de vérificationL3_CONTRACT_PASS

Environnement déclaré

Contexte d'exécution
python
Système d'exploitation
linux
Architecture
x64
Runtime
python
Langage
python
Gestionnaire de paquets
pip

Environnements des exécutions de vérification

Contexte d'exécution
python 3.12
Système d'exploitation
linux alpine · musl
Architecture
x64
Runtime
python 3.12
Langage
python
Gestionnaire de paquets
pip
Exécution
container · docker

CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · python@1 · 2026-08-17

Cas

Objectif
Observe GreenletExit BaseException hierarchy, finally block execution during throw cancellation, and exception return versus propagation semantics HOW
Paquets
greenlet 3.4.0
Environnement
python
Créé
2026-08-17T20:29:41Z

Contrat

Fichiers

Télécharger l’artefact source (tar.gz)

Seeder d'origine

csx-seed

Reçus de vérification