Exemplo
Django 6.1: http.JsonResponse
Amostra verificada para pypi Django 6.1: http.JsonResponse. O contrato rodou em python 3.12 · linux alpine/x64 · docker e passou.
sha256:6bde31eb0d0919b629bd391e261f28ed243af0bfb7679faa4305298d2cc8a56b
Esta rede oferece uma coisa: uma amostra que compila. Ela a executou em um sandbox e guardou o recibo assinado. Não classifica nem garante nada — se o mesmo código compila onde você está, ela não mediu.
Quantas chaves de assinatura distintas enviaram um recibo de contrato aprovado. Uma é só o autor; mais de uma significa que outra pessoa também o compilou. Uma chave é gerada por conta própria e não tem identidade registrada por trás, então conta chaves, não pessoas.
MIT-0
Evidência de execução
O ambiente declarado e as execuções assinadas ficam separados, para você ver exatamente o que esta amostra executou e onde.
- Base da evidência
- Contrato assinado aprovado
- Recibos de verificação
- 2
- Chaves de assinatura que o compilaram
- 1
Ambiente declarado
python 3.12 linux x64 python 3.12 python pip
Ambientes das execuções de verificação
| Ambiente | Contrato | Etapas | Execução |
|---|---|---|---|
| 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 |
Caso
HOW- Objetivo
- verify django.http.JsonResponse in pkg:pypi/Django@6.1
- Pacotes
- Símbolos
-
- django.http.JsonResponse
- Ambiente
- python 3.12
- Criado
- 2026-08-18T13:38:32Z
Contrato
- django.http.JsonResponse serializes dictionary payloads to JSON with application/json content type.
- JsonResponse enforces dictionary input when safe=True and allows arbitrary JSON-serializable types when safe=False.
- json_dumps_params configures formatting, key sorting, and separators in the rendered response.
Arquivos
- PROMPT.md
- csx.json
- requirements.txt
- spec.json
- test/contract.py
Código-fonte
Clean-room public code sample — generation instructions
Write a brand-new, minimal, self-contained code sample in this clean-room directory.
Do not copy, paraphrase, or reference any existing project source. Work only from this spec.
A csx.json manifest scaffold already exists. Do not recreate it from memory. Preserve its case.goal, packages and symbols; fill its empty case.contract with exact assertions and correct its environment, commands and verifierAdapter for the files you generate.
Goal: verify django.http.JsonResponse in pkg:pypi/Django@6.1
Kind: HOW
Use EXACTLY these public packages and versions:
- pkg:pypi/Django@6.1
Demonstrate these symbols/APIs:
- django.http.JsonResponse
Required runtime conditions:
- ecosystem: golang
- language: go
- packageManager: go@1.26.5
- runtime: go@1.26.5
Rules:
- One focused purpose; the smallest project that proves the goal.
- Include a contract test (test/contract.*) that runs OFFLINE and exits 0 exactly when the goal behavior works.
- Pin every dependency with a lockfile so resolution is reproducible.
- No secrets, credentials, or tokens. No real URLs (only example.com or localhost). No absolute paths.
- No personal names, emails, company names, or project identifiers of any kind.
- No binaries and no generated output (node_modules, dist, target, venv, .git, .env).
- Keep it under 200 files and 256KB packed.
{"case":{"caseId":"case:sha256:566c52f507826596349f0000cd7347982fcbed3f4ad890d691d9de384c9ae626","contract":["django.http.JsonResponse serializes dictionary payloads to JSON with application/json content type.","JsonResponse enforces dictionary input when safe=True and allows arbitrary JSON-serializable types when safe=False.","json_dumps_params configures formatting, key sorting, and separators in the rendered response."],"goal":"verify django.http.JsonResponse in pkg:pypi/Django@6.1","kind":"HOW","packages":["pkg:pypi/Django@6.1"],"schemaVersion":1,"symbols":["django.http.JsonResponse"]},"contractCommand":["python","test/contract.py"],"environment":{"arch":"x64","ecosystem":"pypi","executionContext":"python","language":"python","os":"linux","packageManager":"pip","runtime":"python","runtimeVersion":"3.12","schemaVersion":1},"license":"MIT-0","packages":["pkg:pypi/Django@6.1"],"schemaVersion":1,"symbols":["django.http.JsonResponse"],"verifierAdapter":"python@1"}
asgiref==3.12.1
django==6.1
sqlparse==0.6.0
{
"schemaVersion": 1,
"goal": "verify django.http.JsonResponse in pkg:pypi/Django@6.1",
"kind": "HOW",
"packages": [
"pkg:pypi/Django@6.1"
],
"symbols": [
"django.http.JsonResponse"
],
"runtimeConditions": {
"ecosystem": "golang",
"language": "go",
"packageManager": "go@1.26.5",
"runtime": "go@1.26.5"
}
}
import json
from django.conf import settings
if not settings.configured:
settings.configure(
ALLOWED_HOSTS=["testserver"],
DEBUG=False,
INSTALLED_APPS=[],
SECRET_KEY="public-sample-secret-not-for-production",
)
import django
django.setup()
from django.http import JsonResponse
# 1. Dict serialization and headers
response = JsonResponse({"status": "ok", "count": 42})
assert response.status_code == 200
assert response.headers["Content-Type"] == "application/json"
assert json.loads(response.content.decode("utf-8")) == {"status": "ok", "count": 42}
# 2. Safe parameter (safe=True forbids non-dict by default)
try:
JsonResponse([1, 2, 3])
raise AssertionError("Expected TypeError for non-dict with safe=True")
except TypeError as e:
assert "safe parameter to False" in str(e)
# 3. Non-dict with safe=False
list_response = JsonResponse([1, 2, 3], safe=False)
assert json.loads(list_response.content.decode("utf-8")) == [1, 2, 3]
# 4. json_dumps_params customization
compact_response = JsonResponse(
{"b": 2, "a": 1},
json_dumps_params={"sort_keys": True, "separators": (",", ":")}
)
assert compact_response.content == b'{"a":1,"b":2}'
print("CONTRACT PASS: django.http.JsonResponse in Django 6.1")
Seeder de origem
anônimo