From 294940c1f1e01e4e6573d9160ddd97049d927caa Mon Sep 17 00:00:00 2001
From: Robin Jadoul <robin.jadoul@3milabs.tech>
Date: Thu, 26 Feb 2026 11:37:23 +0100
Subject: [PATCH] spec: Add a version and title/front pages

---
 spec/book.typ  |  3 ++-
 spec/ebook.typ |  2 ++
 spec/front.typ | 11 +++++++++++
 3 files changed, 15 insertions(+), 1 deletion(-)
 create mode 100644 spec/front.typ

diff --git a/spec/book.typ b/spec/book.typ
index 190e63f17..bf8b044ec 100644
--- a/spec/book.typ
+++ b/spec/book.typ
@@ -6,6 +6,7 @@
 #let meta = (
   title: "Lambda VM specification",
   authors: ("3MI Labs", "Aligned"),
+  version: "0.2",
   summary: (
     ("logup.typ", [LogUp argument], <logup>),
     ("memory.typ", [Memory argument], <memory>),
@@ -31,7 +32,7 @@
 #book-meta(
   title: meta.title,
   authors: meta.authors,
-  summary: meta.summary.map(((ch, title, _ref)) => chapter(ch, title)).join()
+  summary: prefix-chapter("front.typ", meta.title) + meta.summary.map(((ch, title, _ref)) => chapter(ch, title)).join()
 )
 
 #let common-formatting(body) = {
diff --git a/spec/ebook.typ b/spec/ebook.typ
index 0e08536fd..c176dcec3 100644
--- a/spec/ebook.typ
+++ b/spec/ebook.typ
@@ -3,6 +3,8 @@
 #set document(author: meta.authors, title: meta.title)
 
 #align(center, title(meta.title))
+#align(center, text(style: "italic", fill: luma(40%))[Version #meta.version])
+#align(center, meta.authors.join(", "))
 #pagebreak(weak: true)
 #outline()
 
diff --git a/spec/front.typ b/spec/front.typ
new file mode 100644
index 000000000..d78b0a38e
--- /dev/null
+++ b/spec/front.typ
@@ -0,0 +1,11 @@
+#import "/book.typ": project, meta
+
+#show: project.with(title: "", cond: () => true)
+
+#align(center, title(meta.title))
+#align(center)[_Version #meta.version _]
+#align(center, meta.authors.join(", "))
+
+
+This is the specification for the #link("https://github.com/yetanotherco/lambda_vm/")[Lambda verifiable vm].
+