CodeSampleX

サンプル

verify django.urls.path in pkg:pypi/Django@6.1

sha256:b08a95537d754616bff317b1abf858fe867588c816c7fe1d5da2190d287c5d8e

公開状態です。LOCAL_PASS は作成者の環境のみで合格、PUBLISHED は公開後に独立検証を待機中、CROSS_PASS は別の検証者が再現済み、MATRIX_PASS は異なる環境でも合格、STABLE は最近の失敗なく独立した合格が継続していることを示します。 証拠の強さです。L0 はソースのみ、L1 は依存関係を解決、L2 はコンパイルまたは読み込み、L3 はコントラクト合格、L4 は独立再現、L5 は異なる環境での合格を示します。 MIT-0

実行証拠

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

証拠の基準
独立クロス検証
検証レシート
3
検証レベル
L4_CROSS_PASS
宣言された環境 python 3.12 linux x64 python 3.12 python pip

検証実行環境

環境 コントラクト ステージ 実行日
python 3.12 · linux alpine/x64 · docker ed25519:2175b912ea1c23b1 SKIPPED compile:SKIPPED · contract:SKIPPED · load:SKIPPED · resolve:FAIL
CONTAINER_RUN · python@1		 2026-08-19
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

ケース

HOW
ゴール
verify django.urls.path in pkg:pypi/Django@6.1
パッケージ
シンボル
  • django.urls.path
環境
python 3.12
作成日
2026-08-18T13:41:13Z

コントラクト

  1. assert resolve matches root path and extracts empty kwargs
  2. assert int converter matches integer segment, converts parameter to int, and rejects non-integer strings with Resolver404
  3. assert slug and str converters match formatted segments and extract named string kwargs
  4. assert reverse reconstructs route URLs from route names and keyword parameters, and raises NoReverseMatch on invalid arguments
  5. assert test Client successfully dispatches requests to views mapped via path and returns 404 for unmatched paths

ファイル

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

ソースアーティファクトをダウンロード (tar.gz)

オリジンシーダー

匿名