CodeSampleX

Beispiel

verify pkg:npm/get-intrinsic@1.3.0

sha256:c5fdfb92f3399b451835becc70a293e732e8891eb62523182e3a0a72ffe1b9c0

Veröffentlichungsstatus. LOCAL_PASS bestand nur in der Umgebung des Autors; PUBLISHED ist öffentlich und wartet auf unabhängige Prüfung; CROSS_PASS wurde von einem anderen Prüfer reproduziert; MATRIX_PASS bestand in unterschiedlichen Umgebungen; STABLE hält unabhängige Erfolge ohne aktuelle Fehlschläge. Belegstärke. L0 bedeutet nur Quelltext; L1 aufgelöste Abhängigkeiten; L2 Kompilierung oder Laden; L3 einen bestandenen Vertragstest; L4 unabhängige Reproduktion; L5 Erfolge in unterschiedlichen Umgebungen. MIT-0

Ausführungsbelege

Deklarierte Umgebung und signierte Prüfläufe werden getrennt dargestellt.

Beleggrundlage
Unabhängige Kreuzprüfung
Verifizierungsbelege
1
Verifizierungsstufe
L4_CROSS_PASS

Deklarierte Umgebung

Betriebssystem
windows 11
Architektur
x64
Paketmanager
npm

Umgebungen der Verifizierungsläufe

node 22 · linux alpine/x64 · docker PASS
Ausführungskontext
node 22
Betriebssystem
linux alpine · musl
Architektur
x64
Runtime
node 22
Sprache
javascript
Paketmanager
npm
Ausführung
container · docker

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

Fall

HOW
Ziel
verify pkg:npm/get-intrinsic@1.3.0
Pakete
Symbole
  • GetIntrinsic
Erstellt
2026-08-18T17:58:56Z

Contract

  1. GetIntrinsic returns standard built-in constructors like Promise, Array, and Object
  2. GetIntrinsic returns prototype methods such as Array.prototype.slice and Function.prototype.apply
  3. GetIntrinsic returns static methods and objects such as Math.floor and Promise.resolve
  4. GetIntrinsic throws SyntaxError when given an unknown intrinsic name without allowMissing
  5. GetIntrinsic returns undefined for a missing property on an intrinsic when allowMissing is true

Dateien

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

Quellartefakt herunterladen (tar.gz)

Ursprungs-Seeder

anonym

Verifizierungsbelege

  • node 22 · linux alpine/x64 · docker PASS
    CONTAINER_RUN compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS node-typescript@1
    ed25519:2175b912ea1c23b1