}
~~~
+An enumeration field can have an integral value for which the associated
+enumeration type does not map to a string.
+
### 4.2 Compound types
Compound are aggregation of type declarations. Compound types include
range between these timestamps should include all event timestamps
assigned to events contained within the packet. The timestamp at the
beginning of an event packet is guaranteed to be below or equal the
- timestamp at the end of that event packet. The timestamp at the end
- of an event packet is guaranteed to be below or equal the
- timestamps at the end of any following packet within the same stream.
- See [Clocks](#spec8) for more detail.
+ timestamp at the end of that event packet. The timestamp at the
+ beginning of an event packet is guaranteed to be above or equal the
+ timestamps at the beginning of any prior packet within the same
+ stream. The timestamp at the end of an event packet is guaranteed to
+ be below or equal the timestamps at the end of any following packet
+ within the same stream. See [Clocks](#spec8) for more detail.
* **Events discarded count**. Snapshot of a per-stream
free-running counter, counting the number of events discarded that
were supposed to be written in the stream after the last event in
};
~~~
-If the magic number is not present, tools such as `file` will have no
-mean to discover the file type.
+If the magic number (`magic` field) is not present,
+tools such as `file` will have no mean to discover the file type.
-If the uuid is not present, no validation that the metadata actually
-corresponds to the stream is performed.
+If the `uuid` field is not present, no validation that the metadata
+actually corresponds to the stream is performed.
-If the stream_id packet header field is missing, the trace can only
+If the `stream_id` packet header field is missing, the trace can only
contain a single stream. Its `id` field can be left out, and its events
don't need to declare a `stream_id` field.