CodeSampleX

Пример

verify pkg:npm/methods@1.1.2

sha256:4c4b8dcbb54b00162a6b82c97029db20cecb389436bd6a374413ba9503e4e03d

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

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

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

Основа свидетельства
Независимая перекрёстная проверка
Квитанции проверки
1
Уровень проверки
L4_CROSS_PASS
Заявленная среда linux 24 · ubuntu · glibc 2.39 x64 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/methods@1.1.2
Пакеты
Создан
2026-08-20T14:09:48Z

Контракт

  1. methods is an array of lower-case HTTP method names
  2. methods contains standard HTTP methods including get, post, put, head, and delete
  3. methods contains WebDAV and extension methods including patch, options, and connect
  4. every item in methods is a non-empty string consisting of lower-case characters or hyphens
  5. methods contains no duplicate method names
  6. methods matches Node.js http.METHODS mapped to lower case when http.METHODS is available

Файлы

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

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

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

аноним