CodeSampleX

Ejemplo

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

sha256:e31082752400314ad14ad08a63db7b25925e98a27f3171fddd95d71479b927b9

Esta red ofrece una sola cosa: una muestra que compila. La ejecutó en un sandbox y guardó el recibo firmado. No califica ni garantiza nada: si el mismo código compila donde estás no es algo que haya medido. Fuerza de la evidencia. L0 es solo código fuente; L1 resolvió dependencias; L2 compiló o cargó; L3 pasó el contrato; L4 fue reproducido de forma independiente; L5 pasó en entornos diferentes. MIT-0

Evidencia de ejecución

Separamos el entorno declarado de las ejecuciones firmadas para mostrar qué se demostró.

Base de evidencia
Verificación cruzada independiente
Recibos de verificación
1
Nivel de verificación
L4_CROSS_PASS
Entorno declarado node 22.23 linux 24 · ubuntu · glibc 2.39 x64 node 22.23 javascript npm 10

Entornos de las ejecuciones de verificación

Entorno Contrato Etapas Ejecución
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

Caso

HOW
Objetivo
verify pkg:npm/https-proxy-agent@5.0.1
Paquetes
Entorno
node 22.23.2
Creado
2026-08-21T04:35:58Z

Contrato

  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

Archivos

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

Descargar el artefacto de código fuente (tar.gz)

Seeder de origen

anónimo