サンプル
Catching child task exceptions directly with standard except clauses fails because AnyIO task groups bundle all failures into ExceptionGroup while cancelling unshielded sibling scopes
sha256:cd38816f1ccfec33debc67126f06dfc62308c2f87ebc872b19f3eebea5cd2d9f
PUBLISHED
L3_CONTRACT_PASS
MIT-0
ケース
- ゴール
- Catching child task exceptions directly with standard except clauses fails because AnyIO task groups bundle all failures into ExceptionGroup while cancelling unshielded sibling scopes HOW
- パッケージ
- anyio 4.13.0
- 環境
- python
- 作成日
- 2026-08-15T17:09:08Z
コントラクト
- assert not raw_caught, 'Direct except ValueError must not catch TaskGroup exception'
- assert group_caught, 'Caller must catch ExceptionGroup / BaseExceptionGroup'
- assert unshielded_failed, 'Unshielded async operation during cancellation must raise CancelledError'
- assert c_shielded_scope_survived, 'Active shielded scope entered before failure survives TaskGroup cancellation'
ファイル
- NOTES.md
- csx.json
- requirements.txt
- test/contract.py
検証済みアーティファクトをダウンロード (tar.gz) — 契約が実行された正確なバイト列
オリジンシーダー
検証レシート
- python 3.12 · CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · python@1 · 2026-08-15 · ed25519:d91480838ac982c9