CodeSampleX

Exemple

verify OutputPass in pkg:npm/three@0.185.1

sha256:eee0eb6b285043bff17d328b860f07fc4d05d95161efea786dff7454f3cd2483

État de publication. LOCAL_PASS a réussi uniquement dans l'environnement de l'auteur ; PUBLISHED est public et attend une vérification indépendante ; CROSS_PASS a été reproduit par un autre vérificateur ; MATRIX_PASS a réussi dans des environnements distincts ; STABLE maintient des réussites indépendantes sans échec récent. Force de la preuve. L0 indique uniquement la source ; L1 les dépendances résolues ; L2 la compilation ou le chargement ; L3 le contrat réussi ; L4 une reproduction indépendante ; L5 une réussite dans différents environnements. MIT-0

Preuves d'exécution

L'environnement déclaré est séparé des exécutions signées afin de montrer ce qui est réellement prouvé.

Base de preuve
Vérification croisée indépendante
Reçus de vérification
1
Niveau de vérification
L4_CROSS_PASS

Environnement déclaré

Contexte d'exécution
chrome 134
Système d'exploitation
linux
Architecture
x64
Runtime
node 22
Langage
javascript
Gestionnaire de paquets
npm

Environnements des exécutions de vérification

chrome 134 · linux debian/x64 · docker PASS
Contexte d'exécution
chrome 134
Système d'exploitation
linux debian · glibc
Architecture
x64
Runtime
node 22
Langage
javascript
Gestionnaire de paquets
npm
Exécution
container · docker

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

Cas

HOW
Objectif
verify OutputPass in pkg:npm/three@0.185.1
Paquets
Symboles
  • OutputPass
  • OutputPass.render
  • WebGLRenderer.toneMapping
  • WebGLRenderer.toneMappingExposure
  • WebGLRenderer.outputColorSpace
Environnement
chrome 134
Créé
2026-08-18T13:42:24Z

Contrat

  1. OutputPass reads the current WebGLRenderer toneMappingExposure on every render and updates its uniform without rebuilding the shader program.
  2. Changing WebGLRenderer.toneMapping after OutputPass construction rebuilds the pass defines on the next render, replacing ACES_FILMIC_TONE_MAPPING with NEUTRAL_TONE_MAPPING.
  3. Changing WebGLRenderer.outputColorSpace after construction rebuilds the pass defines and removes SRGB_TRANSFER for LinearSRGBColorSpace.
  4. OutputPass binds the current readBuffer texture on every render and completes a real WebGL 2 draw in offline Chrome 134.

Fichiers

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

Télécharger l’artefact source (tar.gz)

Seeder d'origine

anonyme

Reçus de vérification

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