サンプル

Pin MarkupSafe byte escaping semantics, format_map dynamic mapping auto-escaping, subclass type preservation across string operations, and radd coercion.

sha256:7f582cabdd480d1750a50f39dbad6a382681185b4bfaa4e9528393f75c2ff245

PUBLISHED L3_CONTRACT_PASS MIT-0

実行証拠

宣言環境と署名済み検証実行を分け、証明範囲を明確にします。

証拠の基準署名済みコントラクト合格

検証レシート1

検証レベルL3_CONTRACT_PASS

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

ゴール: Pin MarkupSafe byte escaping semantics, format_map dynamic mapping auto-escaping, subclass type preservation across string operations, and __radd__ coercion. HOW
パッケージ: markupsafe 3.0.3
環境: python
作成日: 2026-08-17T19:51:17Z

escape() decodes UTF-8 byte sequences before HTML-escaping them, and str.join() escapes raw strings when concatenating with Markup elements.

このサンプルの作者が、ここで開発者やモデルが期待するであろうこととして記録したもの。下の契約が実際に実行されたものだ。

escape() converts bytes objects via str() to their literal repr 'b\'...\'' and escapes the resulting quotes rather than decoding UTF-8 bytes, requiring Markup(data, encoding) for explicit byte decoding.
Markup.format_map() queries Mapping instances dynamically without requiring keyword unpacking, auto-escaping plain string values while preserving Markup instances.
Markup subclasses preserve their custom subtype across escape classmethods, binary additions, partitions, splits, and case transformations.
Markup.__radd__ auto-escapes left-hand plain string operands during concatenation, whereas str.join returns an unescaped plain str.
Markup.replace matches search targets literally against the internal escaped representation and auto-escapes plain string replacement arguments.

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