@@ -245,6 +245,7 @@ A tar `*` entry represents any value and if an event shows a transition
245from `*` to `*` that means that value is not altered by the transition. The
245from `*` to `*` that means that value is not altered by the transition. The
246transitions marked with `!!` are prohibited by the layer 1 Azimuth smart
246transitions marked with `!!` are prohibited by the layer 1 Azimuth smart
247contract and thus never occur. `A1` and `A2` represent two distinct ships.
247contract and thus never occur. `A1` and `A2` represent two distinct ships.
249Event | E_1 | E_2 | S_1 | S_2 | -> | E_1 | E_2 | S_1 | S_2
250Event | E_1 | E_2 | S_1 | S_2 | -> | E_1 | E_2 | S_1 | S_2
250L1-escape A1 | * | * | * | * | -> | A1 | A1 | * | *
251L1-escape A1 | * | * | * | * | -> | A1 | A1 | * | *
@@ -269,6 +270,29 @@ L2-detach A1 | * | * | * | A2 | -> | * | * | * | A2
269L2-detach A1 | * | * | * | ~ | -> | * | * | * | ~
270L2-detach A1 | * | * | * | ~ | -> | * | * | * | ~
273+| **Event** | **E_1** | **E_2** | **S_1** | **S_2** | **->** | **E_1** | **E_2** | **S_1** | **S_2** |
274+|--------------|---------|---------|---------|---------|--------|---------|---------|---------|---------|
275+| L1-escape A1 | * | * | * | * | -> | A1 | A1 | * | * |
276+| L1-cancel A1 | ~ | * | * | * | -> | !! | !! | !! | !! |
277+| L1-cancel A1 | A1 | * | * | * | -> | ~ | ~ | * | * |
278+| L1-adopt A1 | A1 | * | * | * | -> | ~ | ~ | A1 | A2 |
279+| L1-adopt A1 | ~ | * | * | * | -> | !! | !! | !! | !! |
280+| L1-adopt A1 | A2 | * | * | * | -> | !! | !! | !! | !! |
281+| L1-detach A1 | * | * | A1 | A1 | -> | * | * | ~ | ~ |
282+| L1-detach A1 | * | * | A1 | A2 | -> | * | * | ~ | A2 |
283+| L1-detach A1 | * | * | A1 | ~ | -> | * | * | ~ | ~ |
284+| L2-escape A1 | * | * | * | * | -> | * | A1 | * | * |
285+| L2-cancel A1 | * | * | * | * | -> | * | ~ | * | * |
286+| L2-adopt A1 | * | A1 | * | * | -> | * | ~ | * | A1 |
287+| L2-adopt A1 | * | A2 | * | * | -> | * | A2 | * | * |
288+| L2-adopt A1 | * | ~ | * | * | -> | * | ~ | * | * |
289+| L2-reject A1 | * | A1 | * | * | -> | * | ~ | * | * |
290+| L2-reject A1 | * | A2 | * | * | -> | * | A2 | * | * |
291+| L2-reject A1 | * | ~ | * | * | -> | * | ~ | * | * |
292+| L2-detach A1 | * | * | * | A1 | -> | * | * | * | ~ |
293+| L2-detach A1 | * | * | * | A2 | -> | * | * | * | A2 |
294+| L2-detach A1 | * | * | * | ~ | -> | * | * | * | ~ |
272## Aggregators
296## Aggregators
274An "aggregator" or "roller" is any Urbit node that collects signed layer 2
298An "aggregator" or "roller" is any Urbit node that collects signed layer 2