Document local mine repository authority

ober

bd8a48c7ecc8bb1e117a1467ae2b506d3e5c18fd

diff --git a/AGENTS.md b/AGENTS.md
index 8c65ec7..045825e 100644
--- a/AGENTS.md
+++ b/AGENTS.md
@@ -1,3 +1,9 @@
+## STOP: Local Mine Repositories Are Authoritative
+
+Always commit development changes only in the matching `/Users/user/mine/jerboa-*` repository. Never commit development changes in `vendor/jerboa-*`; vendor checkouts are read-only mirrors for reference and dependency inspection only.
+
+Before starting work that compares against or uses a vendor checkout, update that vendor checkout to the latest revision and verify it matches exactly with the corresponding `/Users/user/mine/jerboa-*` repository state. If they differ, stop and sync from `/Users/user/mine/jerboa-*` before making or committing changes. The `/Users/user/mine/jerboa-*` worktree must always represent the latest authoritative version.
+
 ## STOP: Forgejo Pull Requests Are Mandatory
 
 Every change to this repository must use the Forgejo pull-request workflow.
diff --git a/VERSION b/VERSION
index d917d3e..b1e80bb 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-0.1.2
+0.1.3