Module net_stack 

ネットワークスタックの階層抽象化トレイト（アプリ⇄カーネル境界の疎結合層）。

[kernel::net] の具体実装（TCP/DNS/HTTP 等）を LinkLayerApi/InternetLayerApi/ TransportLayerApi/ApplicationLayerApi としてラップし、TcpIpStack の web_get/web_post/web_get_binary を単一の入口として提供する。

設計意図: アプリ（ブラウザ等）とカーネル内部（DNS/TCP/TLS/HTTP パーサ）を疎結合にし、 この入口で host/path を検証する（validate_web_request）ことで、カーネル内部は 「検証済みの入力しか来ない」前提で実装できる。エラーは TcpIpError（層情報付き）で 返り、不正入力でパニックしない。詳細は spec/DESIGN.md §2「API 境界の事前条件検証」参照。

Structs

AppHttpResponse

TcpIpError

TcpIpStack

TlsSessionMeta

Enums

TcpIpLayer

Constants

MAX_REQUEST_BODY 🔒

POST ボディの上限（メモリ枯渇・異常要求の防御）。

Traits

ApplicationLayerApi

InternetLayerApi

LinkLayerApi

TransportLayerApi

Functions

validate_web_request

アプリ⇄カーネルのネットワーク API 境界での事前条件検証。