CodeSampleX

Пример

Validate XML Name and QName productions with xml-name-validator

sha256:a6d25f601c327779e6c38483b5f6c400a74d57db62466e7cc53e2edddc2e7555

Статус публикации. 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
Цель
Validate XML Name and QName productions with xml-name-validator
Пакеты
Окружение
node 22.23.2
Создан
2026-08-20T21:52:16Z

Контракт

  1. assert name returns true for valid XML Name identifiers and false for invalid XML Name identifiers
  2. assert qname returns true for valid XML QNames and false for invalid XML QNames
  3. assert validateXmlName and validateXmlQName wrap xml-name-validator methods accurately

Файлы

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

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

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

аноним