CodeSampleX

Пример

verify Req.Request in pkg:hex/req@0.7.2

sha256:3dec717f8b8a16d5494fd4d3976301fac8108711c80d7ba5d256adada84bb49c

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

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

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

Основа свидетельства
Независимая перекрёстная проверка
Квитанции проверки
1
Уровень проверки
L4_CROSS_PASS

Заявленная среда

Контекст выполнения
elixir 1
Операционная система
linux
Архитектура
x64
Среда выполнения
elixir 1
Язык
elixir
Менеджер пакетов
mix

Среды запусков проверки

elixir 1 · linux alpine/x64 · docker PASS
Контекст выполнения
elixir 1
Операционная система
linux alpine · musl
Архитектура
x64
Среда выполнения
elixir 1
Язык
elixir
Менеджер пакетов
mix
Выполнение
container · docker

CONTAINER_RUN · compile:PASS · contract:PASS · load:PASS · resolve:PASS · hex@1 · 2026-08-19

Кейс

HOW
Цель
verify Req.Request in pkg:hex/req@0.7.2
Пакеты
Символы
  • Req.Request
  • Req.Request.put_header
  • Req.Request.put_new_header
  • Req.Request.put_private
  • Req.Request.get_private
  • Req.Request.append_request_steps
  • Req.Request.append_response_steps
  • Req.Request.run!
Окружение
elixir 1
Создан
2026-08-18T13:46:05Z

Контракт

  1. Req.Request structs represent configured HTTP requests with normalized URL, method, headers, and options.
  2. Req.Request header and private helpers manipulate request metadata predictably.
  3. Req.Request.append_request_steps and append_response_steps attach middleware transformations across the execution pipeline.
  4. Req.Request.run! executes request and response steps against in-process Plug endpoints without network IO.

Файлы

  • PROMPT.md
  • csx.json
  • lib/csx_req.ex
  • mix.exs
  • mix.lock
  • spec.json
  • test/contract_test.exs
  • test/test_helper.exs

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

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

аноним

Квитанции проверки

  • elixir 1 · linux alpine/x64 · docker PASS
    CONTAINER_RUN compile:PASS · contract:PASS · load:PASS · resolve:PASS hex@1
    ed25519:2175b912ea1c23b1