CodeSampleX

Пример

verify pkg:npm/xmlchars@2.2.0

sha256:fab49ad109b61c77f8bf640951b1bf2b0b482ea83d4b63ff597ca5e671f66f94

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

Контракт

  1. isChar validates XML 1.0 character code points including valid Unicode ranges and rejects disallowed code points
  2. isS identifies XML whitespace characters space, tab, line feed, and carriage return
  3. isNameStartChar and isNameChar determine valid XML name starter and continuation characters
  4. isNCNameStartChar and isNCNameChar validate XML namespace non-colonized name characters
  5. NAME_RE and NC_NAME_RE validate full XML Name and NCName strings according to XML and XML Namespaces specifications

Файлы

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

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

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

аноним