CodeSampleX

Пример

verify pandas.merge in pkg:pypi/pandas@3.0.5

sha256:9497731711d6252100a5bf41c3ade2e4f710509e602c1db3f7ad78e8cea5d97d

Статус публикации. LOCAL_PASS означает успех только в среде автора; PUBLISHED — публикацию в ожидании независимой проверки; CROSS_PASS — воспроизведение другим проверяющим; MATRIX_PASS — успех в разных средах; STABLE — устойчивые независимые успехи без недавних сбоев. Сила доказательства. L0 — только исходный код; L1 — разрешённые зависимости; L2 — компиляция или загрузка; L3 — успешный контракт; L4 — независимое воспроизведение; L5 — успех в разных средах. MIT-0

Свидетельства выполнения

Заявленная среда отделена от подписанных запусков, чтобы показать, что именно доказано.

Основа свидетельства
Независимая перекрёстная проверка
Квитанции проверки
1
Уровень проверки
L4_CROSS_PASS

Заявленная среда

Контекст выполнения
python 3.14
Операционная система
linux · musl
Архитектура
x64
Среда выполнения
python 3.14
Язык
python 3.14
Менеджер пакетов
pip

Среды запусков проверки

python 3.14 · linux alpine/x64 · docker PASS
Контекст выполнения
python 3.14
Операционная система
linux alpine · musl
Архитектура
x64
Среда выполнения
python 3.14
Язык
python
Менеджер пакетов
pip
Выполнение
container · docker

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

Кейс

HOW
Цель
verify pandas.merge in pkg:pypi/pandas@3.0.5
Пакеты
Символы
  • pandas.merge
  • pandas.array
  • pandas.NA
  • pandas.errors.MergeError
Окружение
python 3.14
Создан
2026-08-18T13:40:54Z

Контракт

  1. An outer top-level pandas.merge matches one missing Int64 key across both sides and reports three both, two left_only, and one right_only rows.
  2. validate='one_to_one' raises pandas.errors.MergeError when an ordinary left join key is duplicated.
  3. left_anti returns only keys 1 and 4 while right_anti returns only key 2, excluding the missing key because pandas treats it as matched.

Файлы

  • PROMPT.md
  • csx.json
  • requirements.lock
  • requirements.txt
  • spec.json
  • test/contract.py

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

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

аноним

Квитанции проверки

  • python 3.14 · linux alpine/x64 · docker PASS
    CONTAINER_RUN compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS python@1
    ed25519:2175b912ea1c23b1