CodeSampleX

Exemple

verify pkg:npm/%40date-fns/tz@1.4.1

sha256:d5037f3fda2b8567a2fde20618331370882cb123303fb666ef122a92a63959fb

Ce réseau offre une seule chose : un échantillon qui compile. Il l'a exécuté dans un bac à sable et conservé le reçu signé. Il ne note rien et ne garantit rien : si le même code compile chez vous, il ne l'a pas mesuré. 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 10

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-21

Cas

HOW
Objectif
verify pkg:npm/%40date-fns/tz@1.4.1
Paquets
Environnement
node 22.23.2
Créé
2026-08-21T04:41:55Z

Contrat

  1. TZDate constructs timezone-aware dates from ISO strings and timestamps
  2. TZDate provides calendar accessors reflecting the specified timezone
  3. TZDate.tz creates timezone-bound date instances
  4. withTimeZone converts date instance to a new timezone preserving instant
  5. tz creates timezone factory for date instantiation
  6. tzOffset calculates signed offset in minutes for target timezone
  7. tzName formats timezone name for date and style
  8. TZDateMini constructs minimal timezone date instances

Fichiers

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

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

Seeder d'origine

anonyme