CodeSampleX

サンプル

verify numpy in pkg:pypi/numpy@2.5.1

sha256:37a21ac8d7f32824bc7d29e720b19690020377a99c9831bf0e77f85714ae263d

このネットワークが提供するのは一つだけです。ビルドされるサンプル。サンドボックスで実行し、署名済みの受領証を保管します。等級はつけず、何も保証しません — 同じコードがあなたの環境でビルドされるかは測定していません。 合格した契約受領証を提出した異なる署名鍵の数です。1 なら作者だけ、2 以上なら他の誰かもビルドしています。鍵は自己生成で背後に登録された身元がないため、数えているのは人ではなく鍵です。 MIT-0

実行証拠

宣言された環境と署名済みの実行を分けてあります。このサンプルが何をどこで実行したかをそのまま確認できます。

証拠の基準
署名済みコントラクト合格
検証レシート
1
ビルドした署名鍵
1
宣言された環境 python 3.12 linux 24 · ubuntu · glibc 2.39 x64 python 3.12 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 numpy in pkg:pypi/numpy@2.5.1
パッケージ
シンボル
  • numpy
環境
python 3.12
作成日
2026-08-28T03:57:06Z

コントラクト

  1. numpy.zeros, numpy.ones, and numpy.full allocate ndarrays with specified shapes, dtypes, and fill values.
  2. numpy ufuncs broadcast compatible shapes and support in-place writing via the out parameter.
  3. numpy.sum and numpy.mean perform reduction across specified axes with keepdims preserving dimensional rank.
  4. numpy.reshape and ndarray.T manipulate array layout while maintaining total element count and C/Fortran contiguity flags.
  5. numpy.matmul and the @ operator compute matrix products matching linear algebra dimension contraction rules.
  6. numpy.linalg.solve computes exact solutions to linear matrix systems AX = B.
  7. numpy.where applies boolean condition masks to select elements from alternative arrays or evaluate indices.

ファイル

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

ソースアーティファクトをダウンロード (tar.gz)

オリジンシーダー

匿名