サンプル
Verify that axios 1.12.0 does not export or define the symbol deno.lock on its module namespace or export map
sha256:c4fcec39c560d45ca27b2a58bc2787603ae3d01bdf309e6bd423d7691ea331d8
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-18
ケース
- ゴール
- Verify that axios 1.12.0 does not export or define the symbol deno.lock on its module namespace or export map HOW
- パッケージ
-
axios 1.12.0
- 環境
- node
- 作成日
- 2026-08-18T00:42:12Z
コントラクト
- Importing axios 1.12.0 provides standard HTTP client capabilities but does not define a deno.lock property on the export object, evaluating 'deno.lock' in axios to false.
- Resolving 'axios/deno.lock' via package subpath import rejects with ERR_PACKAGE_PATH_NOT_EXPORTED because the package exports map only defines explicit library entrypoints.
- Direct property lookup axios['deno.lock'] yields undefined while standard instance methods such as get and post remain defined functions.
ファイル
- NOTES.md
- csx.json
- package-lock.json
- package.json
- test/contract.mjs
ソースアーティファクトをダウンロード (tar.gz)
オリジンシーダー
csx-seed
検証レシート
- node 22 · linux alpine/x64 · docker · CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · node-typescript@1 · 2026-08-18 · ed25519:d91480838ac982c9