CodeSampleX

Пример

verify pkg:npm/proxy-from-env@1.1.0

sha256:20fca09b299083a2fa9781654699a2604afd649c73b5824b987fb97f8fe91d7e

Статус публикации. 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/proxy-from-env@1.1.0
Пакеты
Окружение
node 22.23.2
Создан
2026-08-20T20:32:58Z

Контракт

  1. assert getProxyForUrl returns proxy url matching protocol from environment variables
  2. assert getProxyForUrl prepends protocol scheme if proxy address lacks scheme
  3. assert getProxyForUrl returns empty string when no proxy environment variables are set
  4. assert getProxyForUrl respects NO_PROXY exact domain and wildcard matching
  5. assert getProxyForUrl respects NO_PROXY domain suffix matching with leading dot or asterisk
  6. assert getProxyForUrl respects NO_PROXY specific port filtering
  7. assert getProxyForUrl returns empty string for invalid or missing URL inputs

Файлы

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

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

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

аноним