From 7188eb98a2bfe8710bdd3c065f8b99f91b363da9 Mon Sep 17 00:00:00 2001 From: "Jonathan D.A. Jewell" <6759885+hyperpolymath@users.noreply.github.com> Date: Tue, 21 Jul 2026 07:36:53 +0100 Subject: [PATCH] docs: resolve the SystemET/Anytype design-notes TODO with real links Both repos now have stable locations, and as of anytype PR #12 the kernel exists in code: AffineScript's {0,1,omega} quantity semiring (lib/quantity.ml) is one instantiation of anytype's L2 grade-algebra interface. Co-Authored-By: Claude Fable 5 --- README.adoc | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/README.adoc b/README.adoc index 9b1c10a9..e87825f2 100644 --- a/README.adoc +++ b/README.adoc @@ -112,7 +112,14 @@ AffineScript is one setting of a more general machine. the thing this design is built to avoid.) * *Faces to core.* Many surfaces, one core AST, one proof. -// TODO: link the SystemET / Anytype design notes once they have stable locations. +The design notes now have stable homes: +link:https://github.com/hyperpolymath/systemet[systemet] (the theory: layer +meanings, gates, proof obligations) and +link:https://github.com/hyperpolymath/anytype[anytype] (the kernel: a +parameterised graded checker). AffineScript's `{0,1,ω}` quantity semiring +(`lib/quantity.ml`) is one instantiation of anytype's L2 grade-algebra +interface — the same checking rules under a different algebra give a +different discipline. == Where this fits