Sample
verify pkg:npm/es-define-property@1.0.1
sha256:aa035e7ea886caa527ef94e834395c946a367263fc8c9140a8db28dcd114c8da
Publication state. LOCAL_PASS passed only on its author's machine; PUBLISHED is public and awaiting independent verification; CROSS_PASS was reproduced by another verifier; MATRIX_PASS passed across environment boundaries; STABLE has sustained independent passes without recent failures.
Evidence strength. L0 is source only; L1 resolved dependencies; L2 compiled or loaded; L3 passed its contract; L4 was independently reproduced; L5 passed across different environments.
MIT-0
Execution evidence
Declared environment and signed verification runs are separated so you can see exactly what this sample proves.
- Evidence basis
- Independent cross-verification
- Verification receipts
- 1
- Verification level
- L4_CROSS_PASS
Declared environment
- Operating system
- windows 11
- Architecture
- x64
- Package manager
- npm
Verification-run environments
- Execution context
- node 22
- Operating system
- linux alpine · musl
- Architecture
- x64
- Runtime
- node 22
- Language
- javascript
- Package manager
- npm
- Execution
- container · docker
Case
HOW- Goal
- verify pkg:npm/es-define-property@1.0.1
- Packages
- Symbols
-
- defineProperty
- Created
- 2026-08-18T18:03:55Z
Contract
- defineProperty defines value property on target object and returns the target object
- defineProperty configures writable and enumerable attributes according to property descriptor
- defineProperty defines getter and setter accessor properties on target object
- defineProperty throws TypeError when target is not an object or when descriptor is invalid
- wrapper defineCustomProperty matches direct defineProperty behavior
Files
- PROMPT.md
- csx.json
- index.mjs
- package-lock.json
- package.json
- spec.json
- test/contract.mjs
Origin Seeder
anonymous
Verification receipts
-
node 22 · linux alpine/x64 · docker PASSed25519:2175b912ea1c23b1