There is a section called "agent-order", which describes the mathematical property which is satisfied by the [[AgentOrder]] field of candidate executions. This section has an AOID, which is normally used for invocable algorithms, not for terms. Also, it is not totally clear from this section what the term "agent-order" actually means; for example, a note in this section says "It is assumed those events are appended to agent-order during evaluation".
Similarly for "reads-bytes-from", "reads-from", "host-synchronizes-with", "synchronizes-with", and "happens-before". All of these sections should have actual <dfn>s for the terms they introduce, and stop using AOIDs.
There is a section called "agent-order", which describes the mathematical property which is satisfied by the
[[AgentOrder]]field of candidate executions. This section has an AOID, which is normally used for invocable algorithms, not for terms. Also, it is not totally clear from this section what the term "agent-order" actually means; for example, a note in this section says "It is assumed those events are appended to agent-order during evaluation".Similarly for "reads-bytes-from", "reads-from", "host-synchronizes-with", "synchronizes-with", and "happens-before". All of these sections should have actual
<dfn>s for the terms they introduce, and stop using AOIDs.