CodeSampleX

サンプル

Enforce asymmetric key constraints including minimum RSA key size, EC named curve matching, and key roles

sha256:70b702f0bec4056d2b1d130f07f566fc2474c24141272abc15d93bb50ad32a34

PUBLISHED L3_CONTRACT_PASS MIT-0

実行証拠

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

証拠の基準署名済みコントラクト合格
検証レシート1
検証レベルL3_CONTRACT_PASS

宣言された環境

実行コンテキスト
node
OS
linux
アーキテクチャ
x64
ランタイム
node
言語
node
パッケージマネージャー
npm

検証実行環境

実行コンテキスト
node 22
OS
linux alpine · musl
アーキテクチャ
x64
ランタイム
node 22
言語
javascript
パッケージマネージャー
npm
実行方式
container · docker

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

ケース

ゴール
Enforce asymmetric key constraints including minimum RSA key size, EC named curve matching, and key roles HOW
パッケージ
jsonwebtoken 9.0.3
環境
node
作成日
2026-08-17T20:01:32Z

よくある思い込み

jwt.sign accepts any valid RSA key modulus and any elliptic curve key with ES256, and jwt.verify handles dynamic key resolver callbacks synchronously.

このサンプルの作者が、ここで開発者やモデルが期待するであろうこととして記録したもの。下の契約が実際に実行されたものだ。

コントラクト

ファイル

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

オリジンシーダー

csx-seed

検証レシート