Expand description
Versioned data model for schedule-independent external network input.
This module deliberately contains no recorder, replayer, or scheduler hook.
It defines the fail-closed v1 envelope and its framing so a future runtime
integration cannot accidentally reuse the schedule-coupled syscall event
stream. Merely constructing a NetworkTraceConfig does not enable any
behavior today.
Structs§
- Network
Channel V1 - The only channel supported by v1: one outbound TCP client connection.
- Network
Input Event V1 - One globally ordered external observation.
- Network
Output V1 - One contiguous recorded fragment of the expected outbound TCP byte stream.
- Network
Release V1 - Conditions that must both hold before an input becomes observable.
- Network
Trace Config - Configuration reserved for the future network recorder/replayer seam.
- Network
Trace V1 - Version-one schedule-independent network input trace.
Enums§
- Network
Address V1 - Internet address recorded without host-layout
sockaddrpadding. - Network
Endpoint Role V1 - Connection role admitted by v1. Server-side
acceptneeds a different identity and arrival model and is intentionally not representable. - Network
Input Kind V1 - Supported external observations for the initial TCP byte-stream model.
- Network
Trace Codec Error - Failure to decode or encode the framed v1 representation.
- Network
Trace Config Error - Invalid combinations in
NetworkTraceConfig. - Network
Trace Mode - Whether the future runtime integration records or replays external input.
- Network
Trace Validation Error - Semantically invalid v1 trace.
- Network
Transport V1 - Transport admitted by the v1 trace envelope.
Constants§
- MAX_
NETWORK_ TRACE_ PAYLOAD_ BYTES - Refuse hostile or corrupt length headers before allocating memory.
- NETWORK_
TRACE_ MAGIC - The on-disk format magic. The version is stored in the following four bytes.
- NETWORK_
TRACE_ VERSION_ V1 - The only network trace format this build accepts.