CodeSampleX

Exemple

verify jest-validate.validateCLIOptions in pkg:npm/jest-validate@29.7.0

sha256:47735260357d99b3eb1660e9ddcb04ec939c68e850bb4692206265dc411e8414

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 jest-validate.validateCLIOptions in pkg:npm/jest-validate@29.7.0
Paquets
Symboles
  • jest-validate.validateCLIOptions
Environnement
node 22.23.2
Créé
2026-08-21T05:08:05Z

Contrat

  1. validateCLIOptions returns true when valid argv matching option definitions are provided
  2. validateCLIOptions handles option aliases correctly
  3. validateCLIOptions throws ValidationError when unrecognized CLI options are encountered
  4. validateCLIOptions allows standard yargs special options ($0, _, help, h)

Fichiers

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

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

Seeder d'origine

anonyme