CodeSampleX

Exemple

verify pkg:npm/agent-base@6.0.2

sha256:7d9c98b1bce5270d1c28e2027527bba91cb005c10b587d35fb2daee5e7cc403f

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/agent-base@6.0.2
Paquets
Environnement
node 22.23.2
Créé
2026-08-21T04:38:57Z

Contrat

  1. createAgent wraps a synchronous or Promise-returning socket callback into an http.Agent compatible instance
  2. Agent routes HTTP requests through custom sockets created by async callbacks
  3. Agent supports 3-argument legacy style callback (req, opts, cb) with error and socket resolution
  4. Agent delegates request handling when the callback returns another http.Agent instance
  5. Agent emits ETIMEOUT on the request when the callback does not produce a socket within the specified timeout
  6. Agent defaultPort and protocol getters dynamically reflect secureEndpoint state unless explicitly overridden

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