CodeSampleX

Sample

verify three.Matrix4 in pkg:npm/three@0.185.1

sha256:e9ddbfea0590e75559021b20e6e2c7e53dcdce5fec0831aef946cc9fc8c07acc

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 node 22.23 linux 24 · ubuntu · glibc 2.39 x64 node 22.23 javascript npm

Verification-run environments

Environment Contract Stages Run
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

Case

HOW
Goal
verify three.Matrix4 in pkg:npm/three@0.185.1
Packages
Symbols
  • three.Matrix4
Environment
node 22.23.2
Created
2026-08-20T23:19:54Z

Contract

  1. Matrix4 initializes as a 4x4 identity matrix with 16 elements in column-major layout and isMatrix4 set to true
  2. set populates elements from 16 row-major arguments into column-major storage layout
  3. makeTranslation, makeRotationAxis, and makeScale construct affine transformations in homogeneous coordinates
  4. multiplyMatrices, multiply, and premultiply perform 4x4 matrix multiplication preserving associative transformation composition
  5. determinant computes 4x4 scalar determinant and invert calculates the inverse matrix restoring identity
  6. compose constructs a transformation matrix from position, quaternion, and scale, while decompose extracts them back
  7. lookAt constructs a view matrix pointing from eye position to target vector with specified up orientation
  8. transpose reflects matrix elements across the main diagonal and setPosition updates translation components

Files

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

Download the source artifact (tar.gz)

Origin Seeder

anonymous