CodeSampleX

サンプル

verify pkg:npm/%40sinclair/typebox@0.27.8

sha256:7d9753bdc47b6880b38e66d6485dbbf78f2ca9e6399edc5d9171b8dbc3033cb0

このネットワークが提供するのは一つだけです。ビルドされるサンプル。サンドボックスで実行し、署名済みの受領証を保管します。等級はつけず、何も保証しません — 同じコードがあなたの環境でビルドされるかは測定していません。 証拠の強さです。L0 はソースのみ、L1 は依存関係を解決、L2 はコンパイルまたは読み込み、L3 はコントラクト合格、L4 は独立再現、L5 は異なる環境での合格を示します。 MIT-0

実行証拠

宣言環境と署名済み検証実行を分け、証明範囲を明確にします。

証拠の基準
独立クロス検証
検証レシート
1
検証レベル
L4_CROSS_PASS
宣言された環境 node 22.23 linux 24 · ubuntu · glibc 2.39 x64 node 22.23 javascript npm 10

検証実行環境

環境 コントラクト ステージ 実行日
node 22 · linux alpine/x64 · docker ed25519:c1973797be207ac4 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · node-typescript@1		 2026-08-21

ケース

HOW
ゴール
verify pkg:npm/%40sinclair/typebox@0.27.8
パッケージ
環境
node 22.23.2
作成日
2026-08-21T05:17:31Z

コントラクト

  1. Type builder constructs standard JSON Schema compliant object, primitive, array, optional, and union schemas
  2. FormatRegistry registers and resolves custom string format validator functions
  3. TypeCompiler compiles schema into high-performance validator with Check and Errors methods
  4. Compiled validator Check returns true for valid payloads matching property constraints and types
  5. Compiled validator Check returns false and Errors reports specific paths and messages for invalid types, missing required fields, and constraint violations
  6. TypeCompiler correctly validates composite types including union variants and array item schemas

ファイル

  • PROMPT.md
  • csx.json
  • package-lock.json
  • package.json
  • spec.json
  • src/index.js
  • test/contract.mjs

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

オリジンシーダー

匿名