Beispiel
verify three.Matrix4 in pkg:npm/three@0.185.1
sha256:e9ddbfea0590e75559021b20e6e2c7e53dcdce5fec0831aef946cc9fc8c07acc
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
node 22.23 linux 24 · ubuntu · glibc 2.39 x64 node 22.23 javascript npm
Umgebungen der Verifizierungsläufe
| Umgebung | Contract | Stufen | Lauf |
|---|---|---|---|
| node 22 · linux alpine/x64 · docker ed25519:c1973797be207ac4 | PASS | compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS CONTAINER_RUN · node-typescript@1 |
2026-08-20 |
Fall
HOW- Ziel
- verify three.Matrix4 in pkg:npm/three@0.185.1
- Pakete
- Symbole
-
- three.Matrix4
- Umgebung
- node 22.23.2
- Erstellt
- 2026-08-20T23:19:54Z
Contract
- Matrix4 initializes as a 4x4 identity matrix with 16 elements in column-major layout and isMatrix4 set to true
- set populates elements from 16 row-major arguments into column-major storage layout
- makeTranslation, makeRotationAxis, and makeScale construct affine transformations in homogeneous coordinates
- multiplyMatrices, multiply, and premultiply perform 4x4 matrix multiplication preserving associative transformation composition
- determinant computes 4x4 scalar determinant and invert calculates the inverse matrix restoring identity
- compose constructs a transformation matrix from position, quaternion, and scale, while decompose extracts them back
- lookAt constructs a view matrix pointing from eye position to target vector with specified up orientation
- transpose reflects matrix elements across the main diagonal and setPosition updates translation components
Dateien
- PROMPT.md
- csx.json
- index.js
- package-lock.json
- package.json
- spec.json
- test/contract.cjs
Ursprungs-Seeder
anonym