CodeSampleX

Пример

verify pkg:npm/semver@7.8.5

sha256:b6b85e7f8ec9fe58d8fb16b6b1be3b72ddc9f123a397c870d1649387ed9d8a56

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

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

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

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

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

Окружение Контракт Этапы Запуск
node 22 · linux alpine/x64 · docker ed25519:2175b912ea1c23b1 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · node-typescript@1		 2026-08-19

Кейс

HOW
Цель
verify pkg:npm/semver@7.8.5
Пакеты
Символы
  • RELEASE_TYPES
  • SEMVER_SPEC_VERSION
  • SemVer
  • compareIdentifiers
  • rcompareIdentifiers
  • truncate
Окружение
node 22.22.2
Создан
2026-08-19T08:38:31Z

Контракт

  1. assert semver.SemVer constructs version instances with parsed major, minor, patch, prerelease, and build metadata
  2. assert SemVer instance methods compareMain and comparePre isolate version core and prerelease comparison
  3. assert semver.compareIdentifiers compares identifier tokens by numeric precedence and ASCII lexicographical order
  4. assert semver.rcompareIdentifiers provides reverse ordering for identifier tokens
  5. assert semver.truncate shortens version numbers to major, minor, or patch resolution
  6. assert semver constants define SEMVER_SPEC_VERSION and all valid RELEASE_TYPES

Файлы

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

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

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

аноним