CodeSampleX

Пример

verify pkg:npm/nanoid@3.3.16

sha256:442f866e05adfa8cc7477de2e0d98b754447b3fdba39d1aa04cdc569f47e5f12

Статус публикации. 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/nanoid@3.3.16
Пакеты
Окружение
node 22.23.2
Создан
2026-08-20T23:10:27Z

Контракт

  1. nanoid generates 21-character URL-safe string identifiers by default
  2. nanoid generates strings with the specified length when size argument is provided
  3. customAlphabet generates identifiers using only characters from the specified alphabet
  4. customRandom generates identifiers using custom byte generator function
  5. urlAlphabet contains 64 URL-safe characters
  6. random returns Uint8Array of requested byte length
  7. repeated generations produce unique non-colliding identifiers

Файлы

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

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

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

аноним