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 <noreply@anthropic.com>

Author: hyperpolymath

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