From 650e1bd8c4ad86a9f03828c66671ab2543555e15 Mon Sep 17 00:00:00 2001 From: allaun Date: Mon, 22 Jun 2026 21:52:36 -0500 Subject: [PATCH] docs: redirect all new work to SilverSight repository Research Stack is now explicitly read-only. All new formal work goes to https://github.com/allaunthefox/SilverSight SilverSight local clone: /tmp/SilverSight (or wherever you clone it) SilverSight formal modules: formal/SilverSight/ SilverSight AGENTS.md: AGENTS.md in SilverSight repo --- AGENTS.md | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) diff --git a/AGENTS.md b/AGENTS.md index 0405c424..879e2fdf 100644 --- a/AGENTS.md +++ b/AGENTS.md @@ -5,24 +5,24 @@ This file is the first stop for coding agents working in this repository. ## ⛔ READ-ONLY NOTICE — SilverSight Has Replaced This Repo **The Research Stack is a READ-ONLY archive.** SilverSight is the clean-slate -successor. All new formal work MUST go to `0-Core-Formalism/lean/SilverSight/`. +successor. All new formal work MUST go to the **SilverSight repository**. | Action | Allowed? | |--------|----------| -| Add new Lean modules to `Semantics/Semantics/` | **NO** → use `SilverSight/` | -| Add new Python shims to `4-Infrastructure/shim/` | **NO** → use SilverSight shim dir | +| Add new Lean modules to Research Stack | **NO** → use SilverSight repo | +| Add new Python shims to Research Stack | **NO** → use SilverSight repo | | Edit existing Research Stack files (bug fixes, doc updates) | **YES** | | Run `lake build` on existing modules | **YES** | | Run DB sync scripts | **YES** | | Add new AGENTS.md rules to Research Stack | **NO** → add to SilverSight | -**Enforcement:** Any agent that adds new files to the Research Stack Lean tree -(`0-Core-Formalism/lean/Semantics/Semantics/`) instead of SilverSight -(`0-Core-Formalism/lean/SilverSight/`) is violating this contract. +**SilverSight repository:** `https://github.com/allaunthefox/SilverSight` +**SilverSight local clone:** `/tmp/SilverSight` (or wherever you clone it) +**SilverSight formal modules:** `formal/SilverSight/` +**SilverSight AGENTS.md:** `AGENTS.md` in SilverSight repo -**SilverSight location:** `0-Core-Formalism/lean/SilverSight/` -**SilverSight AGENTS.md:** `0-Core-Formalism/lean/SilverSight/AGENTS.md` -**SilverSight build:** `lake build SilverSight` (from `0-Core-Formalism/lean/Semantics/`) +**Enforcement:** Any agent that adds new files to the Research Stack +instead of the SilverSight repository is violating this contract. ## Local Hermes Deployment (2026-06-20)