namespace hmmmm.stream;

// Server → Client: memory region snapshot pushed by the server.
// tclk is the virtual clock tick at which this data became valid —
// clients may buffer and apply it at the appropriate simulation point.
table StreamDataPush {
    stream_id: uint32;
    tclk:      uint64;
    data:      [ubyte];
}

// Client → Server: write into a registered write-mode stream.
// offset is relative to the registered region start.
table StreamWritePush {
    stream_id: uint32;
    offset:    uint32;
    data:      [ubyte];
}