CodeSampleX

Exemple

verify pkg:npm/%40sinonjs/fake-timers@15.4.0

sha256:d0bb23d5e72e56cf5cfa90e4be121630202da76344b58d68185c28e8609d02cb

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

Environnements des exécutions de vérification

Environnement Contrat Étapes Exécution
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

Cas

HOW
Objectif
verify pkg:npm/%40sinonjs/fake-timers@15.4.0
Paquets
Environnement
node 22.23.2
Créé
2026-08-20T17:48:50Z

Contrat

  1. createClock(start) creates an independent Clock instance with initial now matching start
  2. clock.setTimeout(fn, delay, ...args) schedules a timer and executes it with arguments when advanced
  3. clock.clearTimeout(id) cancels a pending scheduled timeout
  4. clock.setInterval(fn, interval) repeatedly executes callback at specified interval until clearInterval(id)
  5. clock.tick(ms) synchronously advances clock time by ms and fires expired timers in chronological order
  6. clock.tickAsync(ms) advances clock time asynchronously, awaiting async timer callbacks
  7. clock.runAll() exhausts all scheduled timers in the queue
  8. clock.runToLast() advances time to the timestamp of the last scheduled timer and executes pending timers
  9. clock.setSystemTime(now) adjusts current clock time without firing intermediate timers
  10. clock.reset() restores clock time to its initial start value and clears all scheduled timers
  11. install(config) replaces global timer functions with fake timers and uninstall() restores native global functions
  12. withGlobal(global) returns a fake timer controller bound to the provided global object

Fichiers

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

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

Seeder d'origine

anonyme