Sample
plug 1.20.3: Test a Plug router end to end with Plug.Test, with no HTTP server, no socket and no network
Verified sample for hex plug 1.20.3: Test a Plug router end to end with Plug.Test, with no HTTP server, no socket and no network. The contract ran on elixir…
sha256:f7cb5b2f102e81a511f97af235bf61218cafe9e3bac8f599cb824293963da6c0
This network offers one thing: a sample that builds. It ran the sample in a sandbox and kept the signed receipt. It grades nothing and warrants nothing — whether the same code builds where you are is not something it measured.
How many distinct signing keys filed a passing contract receipt. One is the author alone; more than one means somebody else built it too. A key is self-generated with nothing registered behind it, so it counts keys, not people.
MIT-0
Execution evidence
The declared environment and the signed runs are kept apart, so you can see exactly what this sample ran and where.
- Evidence basis
- Signed contract pass
- Verification receipts
- 2
- Signing keys that built it
- 2
Declared environment
elixir 1 linux x64 elixir 1 elixir mix
Verification-run environments
| Environment | Contract | Stages | Run |
|---|---|---|---|
| elixir 1 · linux alpine/x64 · docker ed25519:a2ec939a4c60e243 | PASS | compile:PASS · contract:PASS · load:PASS · resolve:PASS CONTAINER_RUN · hex@1 |
2026-08-14 |
| elixir 1 · linux alpine/x64 · docker ed25519:d91480838ac982c9 | PASS | compile:PASS · contract:PASS · load:PASS · resolve:PASS CONTAINER_RUN · hex@1 |
2026-08-18 |
Case
HOW- Goal
- Test a Plug router end to end with Plug.Test, with no HTTP server, no socket and no network
- Packages
- Symbols
-
- Plug.Test.conn
- Plug.Test.sent_resp
- Plug.Router
- Plug.Parsers
- Plug.Conn.send_resp
- Plug.Conn.put_resp_content_type
- Plug.Conn.AlreadySentError
- Plug.Parsers.UnsupportedMediaTypeError
- Plug.Conn.Unfetched
- Environment
- elixir 1
- Created
- 2026-08-14T09:41:26Z
Contract
- assert the test conn is an in-process struct with a fabricated loopback peer, and that the deprecated conn.owner field is nil because the owning pid lives in the adapter payload
- assert conn.status is nil and conn.state is :unset before the router runs, and 200/:sent after
- assert sent_resp reports a sent response and raises for one that resp/3 only staged
- assert a route binds its path segment as a variable in the route body
- assert an unmatched path is 404 only because match _ exists, and a router without it raises FunctionClauseError
- assert the method is part of the match, so a POST to a GET route falls through to 404
- assert Plug.Parsers is what turns a JSON body into conn.body_params, and that params merges the query string while body_params does not
- assert a top-level JSON array arrives under the _json key
- assert that without Plug.Parsers body_params stays Plug.Conn.Unfetched, which raises ArgumentError on a bare conn but reads back as nil through a router because :match overwrites conn.params
- assert a content type listed in :pass reaches a route unparsed with body_params still the Unfetched placeholder, while one in neither :parsers nor :pass raises Plug.Parsers.UnsupportedMediaTypeError
- assert a map body passed to conn/3 is written straight into body_params as multipart/mixed, skipping the parser entirely, and that read_body returns a placeholder
- assert send_resp and put_resp_header raise Plug.Conn.AlreadySentError once the response is sent
- assert put_resp_content_type appends charset=utf-8 and stores a lowercase header name that get_resp_header matches exactly
Files
- csx.json
- lib/csx_plug/raw_router.ex
- lib/csx_plug/router.ex
- mix.exs
- mix.lock
- test/contract_test.exs
- test/test_helper.exs