CodeSampleX

Exemplo

verify pkg:npm/debug@4.4.3

sha256:596d5bc47d11e59ab8fce94638c4ce618a07b966df865b4d347b50f1408ac699

Estado de publicação. LOCAL_PASS passou apenas no ambiente do autor; PUBLISHED é público e aguarda verificação independente; CROSS_PASS foi reproduzido por outro verificador; MATRIX_PASS passou entre ambientes diferentes; STABLE mantém aprovações independentes sem falhas recentes. Força da evidência. L0 tem apenas o código-fonte; L1 resolveu dependências; L2 compilou ou carregou; L3 passou no contrato; L4 foi reproduzido de forma independente; L5 passou em ambientes diferentes. MIT-0

Evidência de execução

O ambiente declarado é separado das execuções assinadas para mostrar exatamente o que foi provado.

Base da evidência
Verificação cruzada independente
Recibos de verificação
1
Nível de verificação
L4_CROSS_PASS

Ambiente declarado

Sistema operacional
windows 11
Arquitetura
x64
Gerenciador de pacotes
npm

Ambientes das execuções de verificação

node 22 · linux alpine/x64 · docker PASS
Contexto de execução
node 22
Sistema operacional
linux alpine · musl
Arquitetura
x64
Runtime
node 22
Linguagem
javascript
Gerenciador de pacotes
npm
Execução
container · docker

CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · node-typescript@1 · 2026-08-19

Caso

HOW
Objetivo
verify pkg:npm/debug@4.4.3
Pacotes
Símbolos
  • debug
  • debug.enable
  • debug.enabled
  • debug.extend
Criado
2026-08-18T18:19:44Z

Contrato

  1. debug creates a debugger instance with the given namespace property and enabled status
  2. debug.enable activates namespaces matching pattern and updates existing debug instance enabled property
  3. debug.disable deactivates all namespaces and returns previous namespaces string
  4. debug.enabled checks whether a namespace string matches current enabled configuration including wildcard and negation prefix
  5. debug.extend creates a child debugger with namespace appended using default colon delimiter
  6. debug.extend supports custom delimiter when creating extended child debugger
  7. debug executes custom log function only when enabled and forwards namespace prefix and arguments
  8. debug does not invoke log function when namespace is disabled
  9. debug supports registering custom formatter functions in debug.formatters
  10. configureLogging helper enables specified namespaces and updates debug instance state

Arquivos

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

Baixar o artefato de código-fonte (tar.gz)

Seeder de origem

anônimo

Recibos de verificação

  • node 22 · linux alpine/x64 · docker PASS
    CONTAINER_RUN compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS node-typescript@1
    ed25519:2175b912ea1c23b1