spec: Experimental switch from shiroa to typst html bundle export

spec/.gitignore

@@ -1,4 +1,3 @@
-dist/*
-interaction_count.json
-ebook.pdf
+bundle/*
+spec.pdf
 venv/*

spec/README.md

@@ -2,18 +2,18 @@
 
 Formal specification of the Lambda VM. Covers the per-chip AIR constraints (CPU, decode, bitwise, branch, LT, shift, MUL, DVRM, MEMW, LOAD, page, register, halt, commit, keccak), the memory argument, and the LogUp lookup framework that links the tables.
 
-The specification is written in [Typst](https://typst.app/) and rendered as either a PDF or a browsable HTML wiki using [shiroa](https://myriad-dreamin.github.io/shiroa/).
+The specification is written in [Typst](https://typst.app/) and rendered as either a PDF or a browsable bundle of web pages [Typst's HTML export](https://typst.app/docs/reference/bundle/).
 
 ## Rendering it locally
 
 1. [Install Typst](https://github.com/typst/typst?tab=readme-ov-file#installation).
-2. [Install shiroa](https://myriad-dreamin.github.io/shiroa/guide/installation.html).
-3. From this directory, run:
+2. From this directory, run:
 
    ```sh
-   shiroa serve
+   typst compile spec.typ
    ```
-
-   shiroa will host the HTML wiki locally and live-reload as you edit the `.typ` source files.
-
-To produce a PDF instead, see the shiroa documentation for the `build` command.
+   to compile the spec as a PDF (`spec.pdf`), or
+   ```sh
+   typst compile --features bundle,html --format bundle bundle.typ
+   ```
+   to compile the web format to `bundle/`.

spec/about_ecalls.typ

@@ -1,4 +1,4 @@
-#import "/book.typ": book-page, aside
+#import "/meta.typ": aside
 #import "/src.typ": load_config, load_chip
 #import "/chip.typ": (
   render_chip_variable_table,
@@ -11,8 +11,6 @@
 
 #let config = load_config()
 
-#show: book-page("about_ecalls.typ")
-
 ECALLs provide system-level functionalities to the guest program.
 
 When `ECALL` is executed, it is assumed that:

spec/add.typ

@@ -1,13 +1,11 @@
-#import "/book.typ": book-page, et
+#import "/meta.typ": et
 #import "/src.typ": load_config, load_chip
 #import "/chip.typ": render_chip_variable_table, render_chip_assumptions, render_constraint_table, set_nr_interactions, compute_nr_interactions,
 
 #let config = load_config()
 #let chip = load_chip("src/add.toml", config)
 #let subchip = load_chip("src/sub.toml", config)
 
-#show: book-page(chip.name)
-
 #set_nr_interactions(chip, name: "SUB")
 #let nr_interactions = compute_nr_interactions(chip)
 

spec/bitwise.typ

@@ -1,4 +1,3 @@
-#import "/book.typ": book-page, rj
 #import "/src.typ": load_config, load_chip
 #import "/chip.typ": (
   render_chip_assumptions,
@@ -12,8 +11,6 @@
 #let chip = load_chip("src/bitwise.toml", config)
 
 #let bitwise = raw(chip.name)
-
-#show: book-page(chip.name)
 #let bitwise = raw(chip.name)
 
 The #bitwise chips deal with precomputed lookup tables for bitwise boolean operations

spec/branch.typ

@@ -1,4 +1,3 @@
-#import "/book.typ": book-page, rj
 #import "/src.typ": load_config, load_chip
 #import "/chip.typ": (
   render_chip_assumptions,
@@ -12,8 +11,6 @@
 
 #let config = load_config()
 #let chip = load_chip("src/branch.toml", config)
-
-#show: book-page(chip.name)
 #let branch = raw(chip.name)
 
 The #branch chip computes the target address of a branching instruction.