CodeSampleX

Ejemplo

verify pkg:npm/flat-cache@4.0.1

sha256:88ff90274b65a138a83726a14af69361160fcddaa8f38d85e3a88b5885075fcb

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

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/flat-cache@4.0.1
Paquetes
Entorno
node 22.23.2
Creado
2026-08-20T22:16:41Z

Contrato

  1. create initializes a new cache instance and setKey stores in-memory values
  2. getKey retrieves stored values and returns undefined for non-existent keys
  3. all returns all key-value pairs and keys returns all stored key names
  4. save persists the cache data to disk
  5. load recovers persisted key-value pairs from disk storage
  6. save with noPrune false removes keys that were not visited during the session
  7. removeKey deletes specific keys from the cache
  8. destroy clears in-memory state and removes the underlying cache file from disk
  9. clearCacheById deletes a cache file by identifier and directory

Archivos

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

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

Seeder de origen

anónimo