@@ -1,5 +1,5 @@
2−title = "Tutorial: Move Trace"
2+title = "Move Trace"
4template = "doc.html"
4template = "doc.html"
@@ -7,7 +7,7 @@ template = "doc.html"
7In this tutorial we will run a simple "move trace" and use the output to get a
7In this tutorial we will run a simple "move trace" and use the output to get a
8picture of what the Arvo kernel proper does during the routine task of setting a
8picture of what the Arvo kernel proper does during the routine task of setting a
9timer. Some level of familiarity with the kernel is required for this section,
9timer. Some level of familiarity with the kernel is required for this section,
10−which can be obtained in our [Arvo kernel tutorial](@/docs/arvo/arvo.md#the-kernel).
10+which can be obtained in our [Arvo kernel tutorial](@/docs/arvo/overview.md#the-kernel).
12## Running a move trace
12## Running a move trace
@@ -20,7 +20,7 @@ has elapsed.
20To follow along yourself, boot up a fake `~zod` and enter `|verb` into the dojo
20To follow along yourself, boot up a fake `~zod` and enter `|verb` into the dojo
21and press Enter to enable verbose mode (this is tracked by the laconic bit
21and press Enter to enable verbose mode (this is tracked by the laconic bit
22introduced in the section on [the
22introduced in the section on [the
23−state](@/docs/arvo/arvo.md#the-state)) in the kernel documentation, followed by `-time ~s1`
23+state](@/docs/arvo/overview.md#the-state)) in the kernel documentation, followed by `-time ~s1`
24followed by Enter. Your terminal should pretty print a series of `move`s that looks something like this:
24followed by Enter. Your terminal should pretty print a series of `move`s that looks something like this:
@@ -105,7 +105,7 @@ arrow to Vane B, this represents either a `%pass` `note/task` sequence or a
105`%give` `gift/sign` sequence that actually has the Arvo kernel in the middle.
105`%give` `gift/sign` sequence that actually has the Arvo kernel in the middle.
106That is to say, Vane A `%pass`es a `note` to the Arvo kernel addressed to Vane
106That is to say, Vane A `%pass`es a `note` to the Arvo kernel addressed to Vane
107B, and the Arvo kernel then `%pass`es a `task` to Vane B. For more information,
107B, and the Arvo kernel then `%pass`es a `task` to Vane B. For more information,
108−see the [Arvo kernel tutorial](@/docs/arvo/arvo.md#the-kernel).
108+see the [Arvo kernel tutorial](@/docs/arvo/overview.md#the-kernel).
110This simple action ends up involving four vanes - Dill, Gall, Behn, and Ford -
110This simple action ends up involving four vanes - Dill, Gall, Behn, and Ford -
111as well as four applications - hood, spider, dojo, and time.
111as well as four applications - hood, spider, dojo, and time.
@@ -118,7 +118,7 @@ This tells us that Unix has sent a `%belt` `card`, which corresponds to
118terminal input (the Enter keystroke) at time `~2020.1.14..19.01.25..7556`
118terminal input (the Enter keystroke) at time `~2020.1.14..19.01.25..7556`
120Here is the line of code in `arvo.hoon`, found in the [section
120Here is the line of code in `arvo.hoon`, found in the [section
121−3bE core](@/docs/arvo/arvo.md#section-3be-core), that generated the output:
121+3bE core](@/docs/arvo/overview.md#section-3be-core), that generated the output:
124 ~? !lac ["" %unix -.q.ovo p.ovo now]
124 ~? !lac ["" %unix -.q.ovo p.ovo now]
@@ -170,7 +170,7 @@ Here, Dill `%pass`es a `task` `card` saying to `%poke` Gall's hood app (with the
170Enter keystroke).
170Enter keystroke).
172Let's glance at part of the `+jack` arm in `arvo.hoon`, located in the [section 3bE
172Let's glance at part of the `+jack` arm in `arvo.hoon`, located in the [section 3bE
173−core](@/docs/arvo/arvo.md#section-3be-core). This arm is what the Arvo kernel uses to send `card`s,
173+core](@/docs/arvo/overview.md#section-3be-core). This arm is what the Arvo kernel uses to send `card`s,
174and here we look at the segment that includes `%pass` `move`s.
174and here we look at the segment that includes `%pass` `move`s.