CodeSampleX

Beispiel

verify Object3D.traverse in pkg:npm/three@0.185.1

sha256:e0cccd8a503497fa6541fefb14af3f78885bbdddbcc887d1e2be79d639d33a3a

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

Ausführungskontext
node
Betriebssystem
linux
Architektur
x64
Runtime
node
Sprache
node
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 Object3D.traverse in pkg:npm/three@0.185.1
Pakete
Symbole
  • Object3D.traverse
Umgebung
node
Erstellt
2026-08-18T13:42:19Z

Contract

  1. assert Object3D.traverse visits root and all descendants in depth-first pre-order matching children array ordering
  2. assert Object3D.traverse on a leaf node visits only the leaf itself once
  3. assert Object3D.traverseVisible skips hidden branches and their descendants when visible is false
  4. assert Object3D.traverseAncestors traverses upwards through all parent nodes up to the root

Dateien

  • PROMPT.md
  • csx.json
  • package-lock.json
  • package.json
  • spec.json
  • src/scene.mjs
  • 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