Beispiel

Observe the implicit parent greenlet control return behavior when a switched-to greenlet completes

sha256:bdf2e2f5b210f6ce304b4c4a450f53972eceeab15ddf990f5cea4c215abe7355

PUBLISHED L3_CONTRACT_PASS MIT-0

Ausführungsbelege

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

BeleggrundlageSignierter Vertrag bestanden

Verifizierungsbelege1

VerifizierungsstufeL3_CONTRACT_PASS

Deklarierte Umgebung

Ausführungskontext: python
Betriebssystem: linux
Architektur: x64
Runtime: python
Sprache: python
Paketmanager: pip

Umgebungen der Verifizierungsläufe

Ausführungskontext: python 3.12
Betriebssystem: linux alpine · musl
Architektur: x64
Runtime: python 3.12
Sprache: python
Paketmanager: pip
Ausführung: container · docker

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

Fall

Ziel: Observe the implicit parent greenlet control return behavior when a switched-to greenlet completes HOW
Pakete: greenlet 3.0.3
Umgebung: python
Erstellt: 2026-08-17T17:46:23Z

Häufige Annahme

Control implicitly returns to the greenlet that called switch(), behaving like a symmetric coroutine yield or regular function call

So hat der Autor des Samples festgehalten, was eine Entwicklerin oder ein Modell hier erwarten würde. Der Vertrag darunter ist das, was tatsächlich lief.

Contract

When greenlet B switches to greenlet C, and C finishes its execution, control returns to C's parent (its creator), rather than back to B that performed the switch
f1 starts and switches to f2 using g2.switch()
f2 completes and control implicitly returns to main, not f1, leaving f1 suspended forever
result contains 'main end' but never receives 'f1 end'

Dateien

NOTES.md
csx.json
requirements.txt
test_contract.py

Quellartefakt herunterladen (tar.gz)

Ursprungs-Seeder

csx-seed

Verifizierungsbelege

python 3.12 · linux alpine/x64 · docker · CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · python@1 · 2026-08-17 · ed25519:d91480838ac982c9