Exemple
certifi 2026.2.25: where, contents
Échantillon vérifié pour pypi certifi 2026.2.25: where, contents. Le contrat s'est exécuté sur python 3.12 · linux alpine/x64 · docker et a réussi.
sha256:a0d4e9f69ae424fecc41a6d67b83fa0ef49c751123ae124135dd205563029526
Ce réseau offre une seule chose : un échantillon qui compile. Il l'a exécuté dans un bac à sable et conservé le reçu signé. Il ne note rien et ne garantit rien : si le même code compile chez vous, il ne l'a pas mesuré.
Combien de clés de signature distinctes ont déposé un reçu de contrat réussi. Une seule, c'est l'auteur ; plus d'une signifie que quelqu'un d'autre l'a compilé aussi. Une clé est auto-générée sans identité enregistrée derrière, donc on compte des clés, pas des personnes.
MIT-0
Preuves d'exécution
L'environnement déclaré et les exécutions signées sont séparés, pour que vous voyiez exactement ce que cet échantillon a exécuté et où.
- Base de preuve
- Contrat signé réussi
- Reçus de vérification
- 2
- Clés de signature qui l’ont compilé
- 2
Environnement déclaré
python linux 24 · ubuntu · glibc 2.39 x64 python python pip
Environnements des exécutions de vérification
| Environnement | Contrat | Étapes | Exécution |
|---|---|---|---|
| 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 |
| python 3.12 · linux debian/x64 · docker ed25519:c1973797be207ac4 | PASS | compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS CONTAINER_RUN · python@1python:3.12-slim@sha256:09f7da3bc104… |
2026-09-08 |
Cas
HOW- Objectif
- verify pkg:pypi/certifi@2026.2.25
- Paquets
- Symboles
-
- certifi.where
- certifi.contents
- Environnement
- python
- Créé
- 2026-08-20T10:21:37Z
Contrat
- certifi.where returns an existing file path pointing to the Mozilla CA certificate bundle containing PEM certificates
- certifi.contents returns the text content of the CA bundle containing PEM formatted root certificates
Fichiers
- PROMPT.md
- csx.json
- requirements.txt
- sample.py
- spec.json
- test/contract.py
Code source
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 pkg:pypi/certifi@2026.2.25
Kind: HOW
Use EXACTLY these public packages and versions:
- pkg:pypi/certifi@2026.2.25
Constraints:
- executionContext: node
Required runtime conditions:
- ecosystem: npm
- language: javascript
- moduleSystem: cjs
- packageManager: npm@10.9.8
- runtime: node@22.23.2
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:2bfa8c3dcbd8ce2f9a7cd370c463eb4efcb283bbc812f5a9b253d6da981e98fd","contract":["certifi.where returns an existing file path pointing to the Mozilla CA certificate bundle containing PEM certificates","certifi.contents returns the text content of the CA bundle containing PEM formatted root certificates"],"goal":"verify pkg:pypi/certifi@2026.2.25","kind":"HOW","packages":["pkg:pypi/certifi@2026.2.25"],"schemaVersion":1,"symbols":["certifi.where","certifi.contents"]},"contractCommand":["python","test/contract.py"],"environment":{"arch":"x64","distro":"ubuntu","ecosystem":"pypi","language":"python","libc":"glibc","libcVersion":"2.39","os":"linux","osVersionBucket":"24","packageManager":"pip","runtime":"python","schemaVersion":1},"license":"MIT-0","packages":["pkg:pypi/certifi@2026.2.25"],"schemaVersion":1,"symbols":["certifi.where","certifi.contents"],"verifierAdapter":"python@1"}
certifi==2026.2.25
"""Sample demonstrating certificate authority bundle path resolution and content retrieval with certifi."""
import os
from typing import Tuple
import certifi
def get_ca_bundle_path() -> str:
"""Return the filesystem path to the installed CA bundle."""
return certifi.where()
def get_ca_bundle_contents() -> str:
"""Return the text content of the CA bundle."""
return certifi.contents()
def inspect_ca_bundle() -> Tuple[str, bool, int]:
"""Inspect CA bundle path, existence, and text content length."""
bundle_path = certifi.where()
exists = os.path.isfile(bundle_path)
contents = certifi.contents()
return bundle_path, exists, len(contents)
{
"schemaVersion": 1,
"goal": "verify pkg:pypi/certifi@2026.2.25",
"kind": "HOW",
"packages": [
"pkg:pypi/certifi@2026.2.25"
],
"constraints": {
"executionContext": "node"
},
"runtimeConditions": {
"ecosystem": "npm",
"language": "javascript",
"moduleSystem": "cjs",
"packageManager": "npm@10.9.8",
"runtime": "node@22.23.2"
}
}
"""Contract verification test for certifi CA bundle resolution and contents."""
import os
import sys
# Ensure project root is on sys.path for local module imports
sys.path.insert(0, os.path.dirname(os.path.dirname(os.path.abspath(__file__))))
import certifi
from sample import (
get_ca_bundle_contents,
get_ca_bundle_path,
inspect_ca_bundle,
)
def test_where_returns_valid_pem_file():
"""Assertion 1: certifi.where returns an existing file path pointing to the Mozilla CA certificate bundle containing PEM certificates."""
bundle_path = get_ca_bundle_path()
assert isinstance(bundle_path, str)
assert len(bundle_path) > 0
assert os.path.exists(bundle_path), f"Bundle path does not exist: {bundle_path}"
assert os.path.isfile(bundle_path), f"Bundle path is not a regular file: {bundle_path}"
with open(bundle_path, "r", encoding="utf-8", errors="replace") as f:
file_content = f.read()
assert "-----BEGIN CERTIFICATE-----" in file_content
assert "-----END CERTIFICATE-----" in file_content
def test_contents_returns_ca_bundle_text():
"""Assertion 2: certifi.contents returns the text content of the CA bundle containing PEM formatted root certificates."""
contents = get_ca_bundle_contents()
assert isinstance(contents, str)
assert len(contents) > 0
assert "-----BEGIN CERTIFICATE-----" in contents
assert "-----END CERTIFICATE-----" in contents
bundle_path, exists, content_len = inspect_ca_bundle()
assert exists is True
assert content_len == len(contents)
def main():
test_where_returns_valid_pem_file()
test_contents_returns_ca_bundle_text()
print("All contract assertions passed successfully.")
if __name__ == "__main__":
main()
Seeder d'origine
anonyme