Interactive runner that walks a Technique (#103)

Introduces an interactive runner that walks a Technique, prompts the
user with the details of the next step, takes their input, then records
the result.

This branch adds _technique run_ and _technique resume_ to the
command-line interface. The _run_ subcommand reads a Technique document
as parameter and starts presenting its steps. the _resume_ subcommand
resumes an interrupted run, taking a "run id" parameter to do so. This
functionality is carried out in a new top-level `runner::` module, with
an `evaluate()` effectively taking an Operation and an Environment and
evaluating it to a Value.

The Value type is now defined in a new top-level `value::` module,
following the naming convention originally established in Technique v0.

This lands an initial local state store for holding PFFTT files, written
in _.store/_ in the present directory. These are named for the Technique
document being executed and include basic information recording when
each step is completed.

Branch also addresses a few corner cases that emerged while improving
test coverage.

Author: istathar

.github/workflows/check.yaml

@@ -2,6 +2,8 @@ name: Check
 on:
     pull_request:
     workflow_dispatch:
+permissions:
+    contents: read
 
 jobs:
     build:

.github/workflows/release.yaml

@@ -2,6 +2,8 @@ name: Release
 on:
     release:
         types: [published]
+permissions:
+    contents: read
 
 jobs:
     build:

.gitignore

@@ -5,6 +5,7 @@
 # rendering artifacts
 *.pdf
 .*.typ
+/.store
 
 # documentation symlinks
 /doc/references

Cargo.lock

@@ -16,6 +16,7 @@ owo-colors = "4"
 regex = "1.11.1"
 serde = { version = "1.0.209", features = [ "derive" ] }
 serde_json = "1.0"
+time = { version = "0.3", features = [ "formatting" ] }
 tinytemplate = "1.2.1"
 
 tracing = "0.1.40"

Cargo.toml

@@ -79,12 +79,7 @@ impl<'i> Scope<'i> {
     /// Filters out ResponseBlock, CodeBlock, AttributeBlock, etc.
     pub fn substeps(&self) -> impl Iterator<Item = &Scope<'i>> {
         self.children()
-            .filter(|s| {
-                matches!(
-                    s,
-                    Scope::DependentBlock { .. } | Scope::ParallelBlock { .. }
-                )
-            })
+            .filter(|s| s.is_step())
     }
 
     /// Returns the text content of this step (first paragraph).
@@ -168,10 +163,10 @@ impl<'i> Scope<'i> {
 
     /// Returns true if this scope represents a step (dependent or parallel).
     pub fn is_step(&self) -> bool {
-        matches!(
-            self,
-            Scope::DependentBlock { .. } | Scope::ParallelBlock { .. }
-        )
+        match self {
+            Scope::DependentBlock { .. } | Scope::ParallelBlock { .. } => true,
+            _ => false,
+        }
     }
 
     /// Returns section info (numeral, title) if this is a SectionChunk.

src/domain/engine.rs

@@ -51,9 +51,19 @@ fn inline_procedures(doc: &mut Document) {
         }
     }
 
-    doc.body.retain(|node| {
-        !matches!(node, Node::Sequential { title: None, invocations, .. } if !invocations.is_empty())
-    });
+    doc.body
+        .retain(|node| {
+            if let Node::Sequential {
+                title: None,
+                invocations,
+                ..
+            } = node
+            {
+                invocations.is_empty()
+            } else {
+                true
+            }
+        });
 }
 
 /// Collect ordinals from invocation-only steps: procedure_name -> ordinal.

src/domain/nasa_esa_iss/adapter.rs

@@ -685,7 +685,13 @@ impl<'i> Formatter<'i> {
                             if func
                                 .parameters
                                 .iter()
-                                .any(|p| matches!(p, Expression::Multiline(_, _, _))) =>
+                                .any(|p| {
+                                    if let Expression::Multiline(_, _, _) = p {
+                                        true
+                                    } else {
+                                        false
+                                    }
+                                }) =>
                         {
                             line.flush();
                             self.add_fragment_reference(Syntax::Neutral, " ");

src/formatting/formatter.rs

@@ -74,7 +74,11 @@ mod check {
         let result = escape_typst(input);
 
         // Should return borrowed reference when no quotes to escape
-        assert!(matches!(result, Cow::Borrowed(_)));
+        if let Cow::Borrowed(_) = result {
+            // ok
+        } else {
+            panic!("expected Cow::Borrowed");
+        }
         assert_eq!(result, "hello world");
     }
 
@@ -84,7 +88,11 @@ mod check {
         let result = escape_typst(input);
 
         // Should return owned string when quotes need escaping
-        assert!(matches!(result, Cow::Owned(_)));
+        if let Cow::Owned(_) = result {
+            // ok
+        } else {
+            panic!("expected Cow::Owned");
+        }
         assert_eq!(result, "hello \\\"world\\\"");
     }
 

src/highlighting/typst.rs

@@ -5,5 +5,7 @@ pub mod language;
 pub mod parsing;
 pub mod program;
 pub(crate) mod regex;
+pub mod runner;
 pub mod templating;
 pub mod translation;
+pub mod value;