CodeSampleX

Пример

plug 1.20.3: Configure Plug.Session cookie storage, signing salts, 64-byte secret key constraints, and lazy cookie serialization

Проверенный пример — hex plug 1.20.3: Configure Plug.Session cookie storage, signing salts, 64-byte secret key constraints, and lazy cookie serialization.…

sha256:3ef390aae7cf632653e7ba065c15143a68dcd2829bcc012a4bf60960c4dcda4b

Эта сеть предлагает одно: образец, который собирается. Она запустила его в песочнице и сохранила подписанную квитанцию. Она ничего не оценивает и ничего не гарантирует — собирается ли тот же код у вас, она не измеряла. Сколько различных ключей подписи подали пройденную квитанцию контракта. Один — только автор; больше одного — значит, кто-то ещё тоже собрал. Ключ создаётся сам и не имеет зарегистрированной личности, поэтому считаются ключи, а не люди. MIT-0

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

Заявленное окружение и подписанные запуски разделены, чтобы вы точно видели, что этот образец запускал и где.

Основа свидетельства
Подписанный контракт пройден
Квитанции проверки
2
Ключи подписи, собравшие его
2
Заявленная среда elixir linux x64 elixir elixir mix

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

Окружение Контракт Этапы Запуск
elixir 1 · linux alpine/x64 · docker ed25519:d91480838ac982c9 PASS compile:PASS · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · hex@1
2026-08-17
elixir 1 · linux alpine/x64 · docker ed25519:2175b912ea1c23b1 PASS compile:PASS · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · hex@1
2026-08-18

Кейс

HOW
Цель
Configure Plug.Session cookie storage, signing salts, 64-byte secret key constraints, and lazy cookie serialization
Пакеты
Символы
  • Plug.Session
  • Plug.Session.COOKIE
  • Plug.Conn.fetch_session
  • Plug.Conn.put_session
  • Plug.Conn.get_session
  • Plug.Conn.configure_session
Окружение
elixir
Создан
2026-08-17T10:30:17Z

Контракт

  1. assert Plug.Session.init/1 enforces :signing_salt for cookie storage at initialization but defers :secret_key_base validation until runtime, where omitting it or providing fewer than 64 bytes raises ArgumentError only when fetching or writing cookies
  2. assert calling get_session/2 before fetch_session/2 raises ArgumentError stating the session is not fetched
  3. assert read-only session inspection never emits a set-cookie response header, while session mutations register a before_send callback to emit signed cookie headers with HttpOnly and path=/
  4. assert tampered or forged incoming cookie signatures are silently dropped with an empty session map rather than raising a runtime decoding error
  5. assert configuring :encryption_salt upgrades session payload handling from base64-encoded signed plaintext to AES-GCM ciphertext
  6. assert configure_session(conn, drop: true) on an active session emits a set-cookie header with max-age=0 to expire the cookie on the client

Файлы

  • NOTES.md
  • csx.json
  • lib/csx_plug_session/session_pipeline.ex
  • mix.exs
  • mix.lock
  • test/contract_test.exs
  • test/test_helper.exs

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

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

csx-seed