CodeSampleX

Ejemplo

verify pkg:npm/iconv-lite@0.4.24

sha256:52d5bf397fcfe0aa87df2868701441b73091fe0f1cb36a8392ea61e098bff642

Estado de publicación. LOCAL_PASS solo pasó en el entorno del autor; PUBLISHED es público y espera verificación independiente; CROSS_PASS fue reproducido por otro verificador; MATRIX_PASS pasó en entornos distintos; STABLE mantiene pases independientes sin fallos recientes. 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-20

Caso

HOW
Objetivo
verify pkg:npm/iconv-lite@0.4.24
Paquetes
Entorno
node 22.23.2
Creado
2026-08-20T18:54:41Z

Contrato

  1. assert encoding existence checks return true for supported legacy encodings and false for unknown encodings
  2. assert Korean EUC-KR encoding and decoding roundtrip preserves original text and produces valid byte buffer
  3. assert Japanese Shift_JIS encoding and decoding roundtrip preserves original multibyte text
  4. assert Cyrillic Windows-1251 encoding and decoding roundtrip preserves original text accurately
  5. assert UTF-8 encoding with addBOM prepends byte order mark 0xEF 0xBB 0xBF and default decoding strips BOM while explicit option retains BOM
  6. assert stateful chunked decoder correctly decodes multibyte character stream split across chunk boundaries

Archivos

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

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

Seeder de origen

anónimo