CodeSampleX

Пример

verify pkg:npm/%40babel/types@8.0.4

sha256:f9050053b98521c44618f61ef894d6d2178097c3c28433612798ae91027631a1

Статус публикации. 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/types@8.0.4
Пакеты
Окружение
node 22.23.2
Создан
2026-08-20T21:33:36Z

Контракт

  1. types provides AST builder functions to construct literal nodes such as identifier, numericLiteral, stringLiteral, booleanLiteral, and nullLiteral
  2. types provides AST builder functions to construct complex expression nodes including binaryExpression, unaryExpression, and callExpression
  3. types provides AST builder functions to construct statements and declarations including variableDeclaration, variableDeclarator, and functionDeclaration
  4. types provides type predicate functions such as isIdentifier, isNumericLiteral, isExpression, and isStatement with optional property matching
  5. types provides type assertion functions such as assertIdentifier and assertNumericLiteral that throw an error on type mismatch
  6. types provides AST utility functions such as cloneNode to create structural duplicates and isNodesEquivalent to verify structural equality
  7. types provides AST utility functions such as removeProperties to strip location metadata from AST nodes

Файлы

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

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

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

аноним