CodeSampleX

Пример

verify pkg:npm/levn@0.4.1

sha256:5ec5cf30077b7cbb8e4ada47ee5c099bd60caf25e53e72ab3690571db6cadec8

Статус публикации. 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/levn@0.4.1
Пакеты
Окружение
node 22.23.2
Создан
2026-08-20T22:03:18Z

Контракт

  1. levn.parse parses primitive types including Number, String, Boolean, Undefined, Null, and NaN from string notation
  2. levn.parse parses composite types including arrays, tuples, and objects with nested type specifications
  3. levn.parse parses special types including Date literals and RegExp patterns with optional delimiters and flags
  4. levn.parse parses union types by attempting candidate type conversions in left-to-right precedence order
  5. levn.parse supports explicit mode using wildcard type or explicit option to require unambiguous literal syntax
  6. levn.parse supports custom type definitions with custom typeOf, validate, and cast functions
  7. levn.parsedTypeParse parses input string values using a pre-parsed type structure from type-check
  8. levn.VERSION exposes the package version string

Файлы

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

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

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

аноним