CodeSampleX

Пример

verify pkg:npm/ipaddr.js@1.9.1

sha256:bc5db0d02b06919c8b3cc350eb3125834ee98127c097af357011828b64d9920b

Статус публикации. 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 10

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

Окружение Контракт Этапы Запуск
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/ipaddr.js@1.9.1
Пакеты
Окружение
node 22.23.2
Создан
2026-08-20T13:33:54Z

Контракт

  1. ipaddr.isValid validates IPv4 and IPv6 string formats
  2. ipaddr.IPv4.isValid and ipaddr.IPv6.isValid validate specific IP versions
  3. ipaddr.parse parses IPv4 address into object with kind ipv4, octets array, and private range
  4. ipaddr.parse parses IPv6 address into object with kind ipv6 and normalized string representation
  5. ipaddr.parseCIDR and match evaluate CIDR subnet membership
  6. ipaddr.process correctly processes IPv4-mapped IPv6 addresses to IPv4
  7. ipaddr.parse throws error on invalid IP format

Файлы

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

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

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

аноним