allaun/Research-Stack
1
0
Fork 0
mirror of https://github.com/allaunthefox/Research-Stack.git synced 2026-07-31 03:05:21 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

docs: fix SilverSight local clone path

Browse source 
Local clone is at /home/allaun/SilverSight, not /tmp/SilverSight.
This commit is contained in:
allaun 2026-06-22 22:18:19 -05:00
parent 5e0f8b72f1
commit a7c7e3a51c
2 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
0-Core-Formalism/lean/SilverSight/AGENTS.md
View file

@ -5,7 +5,7 @@
## Repository ## Repository
**GitHub:** `https://github.com/allaunthefox/SilverSight` **GitHub:** `https://github.com/allaunthefox/SilverSight`
**Local clone:** `/tmp/SilverSight` (or wherever you clone it) **Local clone:** `/home/allaun/SilverSight`
**Formal modules:** `formal/SilverSight/` **Formal modules:** `formal/SilverSight/`
## Location (in Research Stack — for lake build integration) ## Location (in Research Stack — for lake build integration)

4
AGENTS.md
View file

@ -17,7 +17,7 @@ successor. All new formal work MUST go to the **SilverSight repository**.
| Add new AGENTS.md rules to Research Stack | **NO** → add to SilverSight | | Add new AGENTS.md rules to Research Stack | **NO** → add to SilverSight |
**SilverSight repository:** `https://github.com/allaunthefox/SilverSight` **SilverSight repository:** `https://github.com/allaunthefox/SilverSight`
**SilverSight local clone:** `/tmp/SilverSight` (or wherever you clone it) **SilverSight local clone:** `/home/allaun/SilverSight` (or wherever you clone it)
**SilverSight formal modules:** `formal/SilverSight/` **SilverSight formal modules:** `formal/SilverSight/`
**SilverSight AGENTS.md:** `AGENTS.md` in SilverSight repo **SilverSight AGENTS.md:** `AGENTS.md` in SilverSight repo
@ -375,7 +375,7 @@ git ls-remote --heads github <branch>
| Theorem | File | Status | | Theorem | File | Status |
|---------|------|--------| |---------|------|--------|
| `cleanMerge_preservesGap` | GraphRank.lean:204 | sorry with TODO(lean-port) — Q16_16↔Bool bridge for canonical 8-bin lists | | `cleanMerge_preservesGap` | GraphRank.lean:209 | sorry with TODO(lean-port) — computational kernel (`mergeCheck_all`) verified all 256×256 byte pairs; Q16_16↔byte bridge for 8-bin signatures pending |
## Q16_16 Unification Migration ## Q16_16 Unification Migration