chore: point to toolset migration

2026-07-20 16:44:40 +02:00
parent 5b9e5a384a
commit 7b232412f5
17 changed files with 1645 additions and 601 deletions
@@ -0,0 +1,10 @@
+# files — migrated
+
+The canonical `files` 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"
+```