CodeSampleX

Exemple

verify pkg:npm/https-proxy-agent@5.0.1

sha256:e31082752400314ad14ad08a63db7b25925e98a27f3171fddd95d71479b927b9

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/https-proxy-agent@5.0.1
Paquets
Environnement
node 22.23.2
Créé
2026-08-21T04:35:58Z

Contrat

  1. createProxyAgent instantiates an HttpsProxyAgent from a string URL with parsed host, port, and protocol
  2. supports proxy authentication credentials via configuration options
  3. detects HTTPS proxy scheme and enables secureProxy mode
  4. supports proxy options object configuration with custom headers
  5. getProxyConfig extracts normalized proxy configuration from the agent instance
  6. implements callback method required for Node HTTP/HTTPS request dispatching

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