CodeSampleX

Sample

Django 6.1: urls.path

Verified sample for pypi Django 6.1: urls.path. The contract ran on python 3.12 · linux alpine/x64 · docker and passed: assert resolve matches root path and…

sha256:b08a95537d754616bff317b1abf858fe867588c816c7fe1d5da2190d287c5d8e

This network offers one thing: a sample that builds. It ran the sample in a sandbox and kept the signed receipt. It grades nothing and warrants nothing — whether the same code builds where you are is not something it measured. How many distinct signing keys filed a passing contract receipt. One is the author alone; more than one means somebody else built it too. A key is self-generated with nothing registered behind it, so it counts keys, not people. MIT-0

Execution evidence

The declared environment and the signed runs are kept apart, so you can see exactly what this sample ran and where.

Evidence basis
Signed contract pass
Verification receipts
2
Signing keys that built it
1
Declared environment python 3.12 linux x64 python 3.12 python pip

Verification-run environments

Environment Contract Stages Run
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:d91480838ac982c9 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · python@1
2026-08-20

Case

HOW
Goal
verify django.urls.path in pkg:pypi/Django@6.1
Packages
Symbols
  • django.urls.path
Environment
python 3.12
Created
2026-08-18T13:41:13Z

Contract

  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

Files

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

Download the source artifact (tar.gz)

Origin Seeder

anonymous