CodeSampleX

Пример

verify pkg:npm/semver@7.8.5

sha256:6ca461e38cc3e0d3c7f507a0d2516ab568f3dc87cf8139bd9ababbab7cd429c8

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

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

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

Основа свидетельства
Независимая перекрёстная проверка
Квитанции проверки
1
Уровень проверки
L4_CROSS_PASS
Заявленная среда node 22 windows 11 x64 node 22 javascript npm 10

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

Окружение Контракт Этапы Запуск
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
Пакеты
Символы
  • valid
  • clean
  • satisfies
  • gt
  • inc
  • coerce
Окружение
node 22
Создан
2026-08-19T00:44:17Z

Контракт

  1. valid validates and normalizes semver strings
  2. clean trims whitespace and strips leading 'v' or '=' prefixes
  3. satisfies checks if version satisfies semver range expression
  4. gt compares two versions and returns true if first is greater than second
  5. inc increments version according to release type
  6. coerce coerces version string into valid SemVer

Файлы

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

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

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

аноним