CodeSampleX

샘플

Differentiate MovedModule specs from MovedAttribute lookup failures, proxy isolation in moves.urllib, and ensure_str type strictness in six

sha256:78990b35868b7607dc97d6379eebb760365d86484a54b1113dc0b5f9493c2fe8

PUBLISHED L3_CONTRACT_PASS MIT-0

실행 증거

선언된 환경과 서명된 검증 실행을 분리해 이 샘플이 실제로 증명하는 범위를 보여줍니다.

증거 기준서명된 컨트랙트 통과

검증 영수증1

검증 수준L3_CONTRACT_PASS

선언된 환경

실행 컨텍스트: python
운영체제: linux
아키텍처: x64
런타임: python
언어: python
패키지 매니저: pip

검증 실행 환경

실행 컨텍스트: python 3.12
운영체제: linux alpine · musl
아키텍처: x64
런타임: python 3.12
언어: python
패키지 매니저: pip
실행 방식: container · docker

CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · python@1 · 2026-08-17

케이스

목표: Differentiate MovedModule specs from MovedAttribute lookup failures, proxy isolation in moves.urllib, and ensure_str type strictness in six HOW
패키지: six 1.17.0
환경: python
생성일: 2026-08-17T03:54:25Z

컨트랙트

importlib.util.find_spec('six.moves.queue') is not None and importlib.util.find_spec('six.moves.StringIO') is None
six.moves.urllib.parse is not urllib.parse and not hasattr(six.moves.urllib.parse, 'DefragResult')
six.ensure_str(b'data') == 'data' and raises(TypeError, six.ensure_str, bytearray(b'data'))
Child.__bases__ == (Base,) and 'temporary_class' not in [c.__name__ for c in Child.__mro__]

파일

NOTES.md
csx.json
requirements.txt
test/contract.py

소스 아티팩트 내려받기 (tar.gz)

오리진 시더

검증 영수증

python 3.12 · linux alpine/x64 · docker · CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · python@1 · 2026-08-17 · ed25519:d91480838ac982c9