uci: bound net_poll's copy by the request; $8A is UDP-only, $8B breadcrumb (#140) - #143

Draft

JC-000 wants to merge 5 commits into

fix/140-socket-read-header-bound

Commits on Aug 24, 2026

net: make src/net_abi.inc the real backend boundary (c64-lib-contract §13, #70)

JC-000
and
claude
committed
fe0f97d
uci: bound net_poll's copy by the request; $8A is UDP-only, $8B breadcrumb (#140)

JC-000
and
claude
committed
a55e5fe
uci: $FFFF is the SOCKET_READ no-data sentinel on both transports — comments and docs corrected (#140)

JC-000
and
claude
committed
cfebf5f
uci: $8A/$8B are reserved defensively — no non-sentinel over-claim has been observed (#140)

JC-000
and
claude
committed
9f26c8c

Commits on Aug 25, 2026

notes: UDP header measured by the c64-wireguard lane — no observable over-claim on either transport (#140)

JC-000
and
claude
committed
7a5f35e