サンプル

Measure process ownership, mailbox cleanup, and status-dependent response streaming in Req 0.7.2

sha256:4f8d9d74b976ae9799a5270273c117be48952a696f24a3e9c5d490ccd96161b7

PUBLISHED L3_CONTRACT_PASS MIT-0

実行証拠

宣言環境と署名済み検証実行を分け、証明範囲を明確にします。

証拠の基準署名済みコントラクト合格

検証レシート1

検証レベルL3_CONTRACT_PASS

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

ゴール: Measure process ownership, mailbox cleanup, and status-dependent response streaming in Req 0.7.2 HOW
パッケージ: req 0.7.2 plug 1.20.3
環境: elixir 1
作成日: 2026-08-17T04:47:12Z

An into: :self response body can be enumerated from another process, and a Collectable receives response bytes for every status code.

このサンプルの作者が、ここで開発者やモデルが期待するであろうこととして記録したもの。下の契約が実際に実行されたものだ。

assert an into: :self body is a Req.Response.Async tied to the requester pid and enumeration in another process raises RuntimeError
assert the requester can consume the same three queued chunks after the worker fails
assert an unconsumed three-chunk stream leaves three data messages and one done message for its ref in the requester mailbox
assert halting after two chunks drains the remaining messages for that response ref
assert a File stream receives a tested 200 body but a tested 404 body remains buffered and does not create the file
assert an into callback receives both chunks from the tested 500 response

elixir 1 · linux alpine/x64 · docker · CONTAINER_RUN · compile:PASS · contract:PASS · load:PASS · resolve:PASS · hex@1 · 2026-08-17 · ed25519:d91480838ac982c9