샘플
certifi 2026.7.22: contents, where
검증된 샘플 — pypi certifi 2026.7.22: contents, where. python 3.12 · linux alpine/x64 · docker에서 contract를 실행해 통과했습니다: certifi.where returns an absolute path to…
sha256:cd307ca65382522eb54e786af81913a2befee63c0365c856bf9013d390576b74
이 네트워크가 제공하는 것은 하나입니다. 빌드되는 샘플. 샌드박스에서 돌리고 서명된 영수증을 보관합니다. 등급을 매기지 않고 무엇도 보증하지 않습니다 — 같은 코드가 당신 환경에서 빌드되는지는 측정한 적이 없습니다.
통과한 계약 영수증을 낸 서로 다른 서명 키의 수입니다. 하나면 작성자 혼자이고, 둘 이상이면 다른 사람도 빌드했다는 뜻입니다. 키는 스스로 만드는 것이고 뒤에 등록된 신원이 없으므로, 세는 것은 사람이 아니라 키입니다.
MIT-0
실행 증거
선언된 환경과 서명된 실행을 분리해 두었습니다. 이 샘플이 무엇을 어디서 실행했는지 그대로 볼 수 있습니다.
- 증거 기준
- 서명된 컨트랙트 통과
- 검증 영수증
- 1
- 빌드한 서명 키
- 1
선언된 환경
python linux 24 · ubuntu · glibc 2.39 x64 python python pip
검증 실행 환경
| 환경 | 컨트랙트 | 단계 | 실행일 |
|---|---|---|---|
| python 3.12 · linux alpine/x64 · docker ed25519:c1973797be207ac4 | PASS | compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS CONTAINER_RUN · python@1python:3.12-alpine@sha256:d09d15e60962… |
2026-08-28 |
케이스
HOW- 목표
- verify pkg:pypi/certifi@2026.7.22
- 심벌
-
- certifi.contents
- certifi.where
- 환경
- python
- 생성일
- 2026-08-28T04:09:18Z
컨트랙트
- certifi.where returns an absolute path to an existing and readable CA bundle PEM file
- certifi.contents returns a non-empty UTF-8 string containing PEM formatted root certificates
- ssl.create_default_context accepts cadata from certifi.contents and successfully loads trusted CA certificates
파일
- PROMPT.md
- csx.json
- requirements.txt
- sample.py
- spec.json
- test/contract.py
소스
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.7.22
Kind: HOW
Use EXACTLY these public packages and versions:
- pkg:pypi/certifi@2026.7.22
Demonstrate these symbols/APIs:
- certifi.contents
- certifi.where
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:9d99a2a2121c3cb5c037385a367a3d65b4d7a8b0a8d7818f47cbb48cbe07af32","contract":["certifi.where returns an absolute path to an existing and readable CA bundle PEM file","certifi.contents returns a non-empty UTF-8 string containing PEM formatted root certificates","ssl.create_default_context accepts cadata from certifi.contents and successfully loads trusted CA certificates"],"goal":"verify pkg:pypi/certifi@2026.7.22","kind":"HOW","packages":["pkg:pypi/certifi@2026.7.22"],"schemaVersion":1,"symbols":["certifi.contents","certifi.where"]},"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.7.22"],"schemaVersion":1,"subject":"pkg:pypi/certifi@2026.7.22","symbols":["certifi.contents","certifi.where"],"verifierAdapter":"python@1"}
certifi==2026.7.22
"""Sample demonstrating CA bundle path retrieval and in-memory SSLContext loading with certifi."""
import os
import ssl
from typing import List, Tuple
import certifi
def get_ca_bundle_path() -> str:
"""Return the filesystem path to the Mozilla CA certificate bundle."""
return certifi.where()
def get_ca_bundle_contents() -> str:
"""Return the text content of the Mozilla CA certificate bundle."""
return certifi.contents()
def create_ssl_context_with_cadata() -> ssl.SSLContext:
"""Create an SSL context and load root certificates from certifi.contents()."""
ca_data = certifi.contents()
ctx = ssl.create_default_context(cadata=ca_data)
return ctx
def verify_bundle_file() -> Tuple[str, bool, int]:
"""Verify that the CA bundle path exists and return its path, existence, and size."""
bundle_path = get_ca_bundle_path()
exists = os.path.isfile(bundle_path)
file_size = os.path.getsize(bundle_path) if exists else 0
return bundle_path, exists, file_size
def get_loaded_ca_cert_count() -> int:
"""Return the number of loaded CA certificates in the SSLContext configured via certifi cadata."""
ctx = create_ssl_context_with_cadata()
return len(ctx.get_ca_certs())
{
"schemaVersion": 1,
"goal": "verify pkg:pypi/certifi@2026.7.22",
"kind": "HOW",
"packages": [
"pkg:pypi/certifi@2026.7.22"
],
"symbols": [
"certifi.contents",
"certifi.where"
]
}
"""Contract verification test for certifi where and contents APIs."""
import os
import ssl
import sys
# Ensure sample module can be imported
sys.path.insert(0, os.path.dirname(os.path.dirname(os.path.abspath(__file__))))
import certifi
from sample import (
create_ssl_context_with_cadata,
get_ca_bundle_contents,
get_ca_bundle_path,
get_loaded_ca_cert_count,
verify_bundle_file,
)
def test_where_returns_valid_bundle_path():
"""Assertion 1: certifi.where returns an absolute path to an existing and readable CA bundle PEM file."""
path = get_ca_bundle_path()
assert isinstance(path, str), f"Expected str, got {type(path)}"
assert os.path.isabs(path), f"Path is not absolute: {path}"
assert os.path.isfile(path), f"Path is not a regular file: {path}"
assert os.access(path, os.R_OK), f"Path is not readable: {path}"
with open(path, "r", encoding="utf-8", errors="replace") as f:
data = f.read()
assert "-----BEGIN CERTIFICATE-----" in data
assert "-----END CERTIFICATE-----" in data
_, exists, size = verify_bundle_file()
assert exists is True
assert size > 0
def test_contents_returns_valid_pem_string():
"""Assertion 2: certifi.contents returns a non-empty UTF-8 string containing PEM formatted root certificates."""
contents = get_ca_bundle_contents()
assert isinstance(contents, str), f"Expected str, got {type(contents)}"
assert len(contents) > 0
assert "-----BEGIN CERTIFICATE-----" in contents
assert "-----END CERTIFICATE-----" in contents
def test_ssl_context_cadata_loading():
"""Assertion 3: ssl.create_default_context accepts cadata from certifi.contents and successfully loads trusted CA certificates."""
ctx = create_ssl_context_with_cadata()
assert isinstance(ctx, ssl.SSLContext)
assert ctx.verify_mode == ssl.CERT_REQUIRED
ca_certs = ctx.get_ca_certs()
assert isinstance(ca_certs, list)
assert len(ca_certs) > 0
count = get_loaded_ca_cert_count()
assert count == len(ca_certs)
assert count > 0
first_cert = ca_certs[0]
assert "subject" in first_cert
assert "issuer" in first_cert
def main():
test_where_returns_valid_bundle_path()
test_contents_returns_valid_pem_string()
test_ssl_context_cadata_loading()
print("All contract assertions passed successfully.")
if __name__ == "__main__":
main()
오리진 시더
익명