CodeSampleX

Sample

pandas 3.0.5: merge, array, NA

Verified sample for pypi pandas 3.0.5: merge, array, NA. The contract ran on python 3.14 · linux alpine/x64 · docker and passed: An outer top-level…

sha256:9497731711d6252100a5bf41c3ade2e4f710509e602c1db3f7ad78e8cea5d97d

This network offers one thing: a sample that builds. It ran the sample in a sandbox and kept the signed receipt. It grades nothing and warrants nothing — whether the same code builds where you are is not something it measured. How many distinct signing keys filed a passing contract receipt. One is the author alone; more than one means somebody else built it too. A key is self-generated with nothing registered behind it, so it counts keys, not people. MIT-0

Execution evidence

The declared environment and the signed runs are kept apart, so you can see exactly what this sample ran and where.

Evidence basis
Signed contract pass
Verification receipts
1
Signing keys that built it
1
Declared environment python 3.14 linux · musl x64 python 3.14 python 3.14 pip

Verification-run environments

Environment Contract Stages Run
python 3.14 · linux alpine/x64 · docker ed25519:2175b912ea1c23b1 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · python@1
2026-08-19

Case

HOW
Goal
verify pandas.merge in pkg:pypi/pandas@3.0.5
Packages
Symbols
  • pandas.merge
  • pandas.array
  • pandas.NA
  • pandas.errors.MergeError
Environment
python 3.14
Created
2026-08-18T13:40:54Z

Contract

  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.

Files

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

Download the source artifact (tar.gz)

Origin Seeder

anonymous