CodeSampleX

Exemplo

verify pkg:npm/%40date-fns/tz@1.4.1

sha256:d5037f3fda2b8567a2fde20618331370882cb123303fb666ef122a92a63959fb

Esta rede oferece uma coisa: uma amostra que compila. Ela a executou em um sandbox e guardou o recibo assinado. Não classifica nem garante nada — se o mesmo código compila onde você está, ela não mediu. 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 node 22.23 linux 24 · ubuntu · glibc 2.39 x64 node 22.23 javascript npm 10

Ambientes das execuções de verificação

Ambiente Contrato Etapas Execução
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/%40date-fns/tz@1.4.1
Pacotes
Ambiente
node 22.23.2
Criado
2026-08-21T04:41:55Z

Contrato

  1. TZDate constructs timezone-aware dates from ISO strings and timestamps
  2. TZDate provides calendar accessors reflecting the specified timezone
  3. TZDate.tz creates timezone-bound date instances
  4. withTimeZone converts date instance to a new timezone preserving instant
  5. tz creates timezone factory for date instantiation
  6. tzOffset calculates signed offset in minutes for target timezone
  7. tzName formats timezone name for date and style
  8. TZDateMini constructs minimal timezone date instances

Arquivos

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

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

Seeder de origem

anônimo