CodeSampleX

Пример

certifi 2026.7.22: contents, where

Проверенный пример — pypi certifi 2026.7.22: contents, where. Контракт выполнен на python 3.12 · linux alpine/x64 · docker и пройден.

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

Контракт

  1. certifi.where returns an absolute path to an existing and readable CA bundle PEM file
  2. certifi.contents returns a non-empty UTF-8 string containing PEM formatted root certificates
  3. 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

Скачать артефакт с исходным кодом (tar.gz)

Исходный код

PROMPT.md
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.
csx.json
{"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"}
requirements.txt
certifi==2026.7.22
sample.py
"""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())
spec.json
{
  "schemaVersion": 1,
  "goal": "verify pkg:pypi/certifi@2026.7.22",
  "kind": "HOW",
  "packages": [
    "pkg:pypi/certifi@2026.7.22"
  ],
  "symbols": [
    "certifi.contents",
    "certifi.where"
  ]
}
test/contract.py
"""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()

Исходный сидер

аноним