CodeSampleX

Exemplo

verify scheduler.unstable_getCurrentPriorityLevel in pkg:npm/scheduler@0.25.0

sha256:b0e37aa578f1c2e268d21abfcb413e88ec337100b1b539eda0bcad6c604349a2

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 linux 24 · ubuntu · glibc 2.39 x64 npm

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 scheduler.unstable_getCurrentPriorityLevel in pkg:npm/scheduler@0.25.0
Pacotes
Símbolos
  • scheduler.unstable_getCurrentPriorityLevel
Criado
2026-08-21T02:56:00Z

Contrato

  1. unstable_getCurrentPriorityLevel is exported as a function from scheduler
  2. unstable_getCurrentPriorityLevel returns unstable_NormalPriority (3) as default ambient priority level
  3. unstable_getCurrentPriorityLevel reflects priority level passed to unstable_runWithPriority during callback execution
  4. unstable_getCurrentPriorityLevel tracks nested priority scopes and restores previous priority on exit
  5. unstable_getCurrentPriorityLevel restores previous priority level when a callback throws an error
  6. unstable_getCurrentPriorityLevel inside a callback wrapped by unstable_wrapCallback reflects captured priority

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