chore: point to toolset migration

2026-07-20 16:44:40 +02:00
parent 624011da51
commit 03dbc66c0c
17 changed files with 1645 additions and 374 deletions
@@ -0,0 +1,10 @@
+# facts — migrated
+
+The canonical `facts` agent tool moved to `/opt/repositories/toolset`.
+
+This repository no longer builds or releases an executable. Its Git history is the migration record; source, requirements, tests, installation, and release authority now live in toolset.
+
+```sh
+cd /opt/repositories/toolset
+zig build install-text -p "$HOME/.ink"
+```