043 read stdin no free

// NEGATIVE (under --auto-discharge=disable): read-stdin's twin of 335_042.
// The buffer carries `allocated!` and must reach `std/io:free` — see
// 335_042's header for the 2026-07-31 ruling (one label, one disposer).

import std/io

// Read all of stdin, use the content, drop it — the disposer exists now,
// and with the net disabled the drop is a loud refusal.
std/io:read-stdin()
| ok content |> std/io:print.ln("{{ content:s }}")
| eof |> _
| failed _ |> _