CodeSampleX

Пример

verify pkg:npm/%40babel/helper-globals@8.0.0

sha256:9d8d572ac87a56dab1947ab9406dfcde1eea4bcf9333d4153e9bf665a7234b4f

Статус публикации. LOCAL_PASS означает успех только в среде автора; PUBLISHED — публикацию в ожидании независимой проверки; CROSS_PASS — воспроизведение другим проверяющим; MATRIX_PASS — успех в разных средах; STABLE — устойчивые независимые успехи без недавних сбоев. Сила доказательства. L0 — только исходный код; L1 — разрешённые зависимости; L2 — компиляция или загрузка; L3 — успешный контракт; L4 — независимое воспроизведение; L5 — успех в разных средах. MIT-0

Свидетельства выполнения

Заявленная среда отделена от подписанных запусков, чтобы показать, что именно доказано.

Основа свидетельства
Независимая перекрёстная проверка
Квитанции проверки
1
Уровень проверки
L4_CROSS_PASS
Заявленная среда node 22.23 linux 24 · ubuntu · glibc 2.39 x64 node 22.23 javascript npm

Среды запусков проверки

Окружение Контракт Этапы Запуск
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

Кейс

HOW
Цель
verify pkg:npm/%40babel/helper-globals@8.0.0
Пакеты
Окружение
node 22.23.2
Создан
2026-08-20T20:59:34Z

Контракт

  1. getBuiltinLowerGlobals returns array of lowercase builtin global identifiers including eval, isNaN, and undefined
  2. getBuiltinUpperGlobals returns array of uppercase builtin global identifiers including Object, Array, and Promise
  3. getBrowserUpperGlobals returns array of uppercase browser global identifiers including Window, Document, and AbortController
  4. isBuiltinGlobal returns true for standard ECMAScript globals and false for browser-only or user variables
  5. isBrowserGlobal returns true for standard browser interfaces and false for builtin-only or arbitrary names
  6. classifyGlobal accurately distinguishes lowercase builtins, uppercase builtins, browser globals, and unrecognized names

Файлы

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

Скачать артефакт с исходным кодом (tar.gz)

Исходный сидер

аноним