Remove run source tree from browser repo

2026-07-14 17:23:06 +08:00
parent 4f33f761a3
commit a57a5dbfcf
61 changed files with 118 additions and 5402 deletions
@@ -0,0 +1,21 @@
+# Split run into independent repository
+
+## Summary
+
+Remove the `run/` source tree from the browser repository now that the executor lives in `git@git.npc0.com:admin343/run.git`.
+
+## Motivation
+
+The run executor has its own repository and release boundary. Keeping the full source tree duplicated inside `browser.git` creates two owners for the same implementation and makes future commits ambiguous.
+
+## Scope
+
+- Remove tracked `run/` files from this repository.
+- Update root governance, README, Docker Compose, local debug scripts, and structure checks to treat run as an external checkout.
+- Keep platform-side run protocol/API contracts in `platform/` because browser still owns the platform control plane.
+
+## Out of Scope
+
+- Changing run protocol semantics.
+- Moving platform API routes or frontend run management screens.
+- Rewriting historical OpenSpec records that describe earlier monorepo milestones.