Spaces:
Running
Running
ghost Claude Opus 4.7 (1M context) commited on
Commit Β·
b32cbea
1
Parent(s): c72191b
docs: align README to atlas/README-FORMAT.md (centered header + sections)
Browse filesAdds centered header blocks 1-6 (logo + h1 + tagline + badges + keyword row +
separator), missing ## Status / ## Install / ## Run / ## Repo layout / ## License
sections, and a 140Γ140 gold (#bf8700) generated logo. PRESERVES the HF Space
frontmatter at the very top so static-sdk publishing keeps working.
Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
- README.md +74 -5
- docs/logo.svg +12 -0
README.md
CHANGED
|
@@ -8,9 +8,27 @@ pinned: false
|
|
| 8 |
license: mit
|
| 9 |
---
|
| 10 |
|
| 11 |
-
|
|
|
|
|
|
|
| 12 |
|
| 13 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 14 |
|
| 15 |
```
|
| 16 |
Ο(n) Β· Ο(n) = n Β· Ο(n)
|
|
@@ -18,6 +36,9 @@ Interactive proof-by-inspection of the arithmetic identity at the centre of [`da
|
|
| 18 |
|
| 19 |
uniquely at `n = 6`. Slide `n` from 2 to 1000 and watch the equation collapse to equality only at n=6 (and at no other `n` in the swept range β confirmed by exhaustive Lean 4 proof on `[2, 30]` and Python proof on `[2, 10000]` in the parent repo).
|
| 20 |
|
|
|
|
|
|
|
|
|
|
| 21 |
## Math
|
| 22 |
|
| 23 |
- **Ο(n)** β sum of divisors of n. For n=6: `1 + 2 + 3 + 6 = 12`.
|
|
@@ -35,8 +56,56 @@ uniquely at `n = 6`. Slide `n` from 2 to 1000 and watch the equation collapse to
|
|
| 35 |
|
| 36 |
The arithmetic identity is **mathematically true** and unique to n=6 on the swept range (Monte Carlo z = 3.06, p = 0.003 vs n=28 / n=496). The claim *"optimal designs are derived from this identity"* is a **research hypothesis** about how natural systems organize, **not a measurement**. See [`echoes/LATTICE_POLICY.md`](https://github.com/dancinlab/echoes/blob/main/LATTICE_POLICY.md): the n=6 lattice is an organizing tool, never a substitute for real math / physics / engineering limits.
|
| 37 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 38 |
## Sister
|
| 39 |
|
| 40 |
-
-
|
| 41 |
-
-
|
| 42 |
-
-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 8 |
license: mit
|
| 9 |
---
|
| 10 |
|
| 11 |
+
<p align="center">
|
| 12 |
+
<img src="docs/logo.svg" width="140" alt="echoes-experience">
|
| 13 |
+
</p>
|
| 14 |
|
| 15 |
+
<h1 align="center">πͺ echoes-experience</h1>
|
| 16 |
+
|
| 17 |
+
<p align="center"><strong>Echoes Experience</strong> β interactive ΟΟΟ proof widget Β· HF Space Β· slider n=2..1000 Β· vanilla JS/Canvas Β· zero roundtrip</p>
|
| 18 |
+
|
| 19 |
+
<p align="center">
|
| 20 |
+
<a href="LICENSE"><img alt="License" src="https://img.shields.io/badge/license-MIT-blue"></a>
|
| 21 |
+
<a href="https://huggingface.co/spaces/dancinlab/echoes-experience"><img alt="HF Space" src="https://img.shields.io/badge/HF%20Space-static-yellow"></a>
|
| 22 |
+
<img alt="Identity" src="https://img.shields.io/badge/n%3D6-ΟΟΟ-success">
|
| 23 |
+
<img alt="Runtime" src="https://img.shields.io/badge/runtime-vanilla%20JS-informational">
|
| 24 |
+
<img alt="Parent" src="https://img.shields.io/badge/parent-dancinlab%2Fechoes-blueviolet">
|
| 25 |
+
</p>
|
| 26 |
+
|
| 27 |
+
<p align="center">ΟΟΟ Β· identity Β· n=6 Β· slider Β· canvas Β· proof-by-inspection Β· static Β· no-python</p>
|
| 28 |
+
|
| 29 |
+
---
|
| 30 |
+
|
| 31 |
+
`echoes-experience` is an interactive proof-by-inspection of the arithmetic identity at the centre of [`dancinlab/echoes`](https://github.com/dancinlab/echoes):
|
| 32 |
|
| 33 |
```
|
| 34 |
Ο(n) Β· Ο(n) = n Β· Ο(n)
|
|
|
|
| 36 |
|
| 37 |
uniquely at `n = 6`. Slide `n` from 2 to 1000 and watch the equation collapse to equality only at n=6 (and at no other `n` in the swept range β confirmed by exhaustive Lean 4 proof on `[2, 30]` and Python proof on `[2, 10000]` in the parent repo).
|
| 38 |
|
| 39 |
+
> [!NOTE]
|
| 40 |
+
> Companion to [`dancinlab/echoes`](https://github.com/dancinlab/echoes) (Discoveries catalog Β· parent repo). Dual-remote: pushes to GitHub (`origin`) AND HuggingFace Spaces (`hf`).
|
| 41 |
+
|
| 42 |
## Math
|
| 43 |
|
| 44 |
- **Ο(n)** β sum of divisors of n. For n=6: `1 + 2 + 3 + 6 = 12`.
|
|
|
|
| 56 |
|
| 57 |
The arithmetic identity is **mathematically true** and unique to n=6 on the swept range (Monte Carlo z = 3.06, p = 0.003 vs n=28 / n=496). The claim *"optimal designs are derived from this identity"* is a **research hypothesis** about how natural systems organize, **not a measurement**. See [`echoes/LATTICE_POLICY.md`](https://github.com/dancinlab/echoes/blob/main/LATTICE_POLICY.md): the n=6 lattice is an organizing tool, never a substitute for real math / physics / engineering limits.
|
| 58 |
|
| 59 |
+
## Status
|
| 60 |
+
|
| 61 |
+
- live on HuggingFace Spaces β `https://huggingface.co/spaces/dancinlab/echoes-experience`
|
| 62 |
+
- static sdk Β· single `index.html` Β· zero build step
|
| 63 |
+
- slider sweep n=2..1000 Β· client-side math Β· instant render
|
| 64 |
+
- dual-remote: `origin` (GitHub) + `hf` (HuggingFace Space)
|
| 65 |
+
|
| 66 |
+
## Install
|
| 67 |
+
|
| 68 |
+
No install. It's a static page β clone and open `index.html`, or visit the HF Space.
|
| 69 |
+
|
| 70 |
+
```sh
|
| 71 |
+
git clone https://github.com/dancinlab/echoes-experience.git
|
| 72 |
+
cd echoes-experience
|
| 73 |
+
open index.html # macOS Β· or `xdg-open` / drag into browser
|
| 74 |
+
```
|
| 75 |
+
|
| 76 |
+
## Run
|
| 77 |
+
|
| 78 |
+
```sh
|
| 79 |
+
# local preview
|
| 80 |
+
open index.html
|
| 81 |
+
|
| 82 |
+
# or serve over HTTP (any static server)
|
| 83 |
+
python3 -m http.server 8000
|
| 84 |
+
# β http://localhost:8000
|
| 85 |
+
|
| 86 |
+
# push to BOTH remotes (GitHub + HuggingFace Space)
|
| 87 |
+
git push origin main
|
| 88 |
+
git push hf main
|
| 89 |
+
```
|
| 90 |
+
|
| 91 |
+
## Repo layout
|
| 92 |
+
|
| 93 |
+
```
|
| 94 |
+
echoes-experience/
|
| 95 |
+
βββ AGENTS.tape # governance + identity (.tape v1.2)
|
| 96 |
+
βββ CLAUDE.md # symlink β AGENTS.tape
|
| 97 |
+
βββ README.md # this file (atlas/README-FORMAT.md compliant)
|
| 98 |
+
βββ index.html # the widget Β· HTML + inline Canvas + JS
|
| 99 |
+
βββ docs/
|
| 100 |
+
βββ logo.svg # repo logo (gold #bf8700)
|
| 101 |
+
```
|
| 102 |
+
|
| 103 |
## Sister
|
| 104 |
|
| 105 |
+
- [dancinlab/echoes](https://github.com/dancinlab/echoes) β Discoveries catalog (the parent repo this widget proves the central identity for).
|
| 106 |
+
- [dancinlab/anima-experience](https://huggingface.co/spaces/dancinlab/anima-experience) β mutual-information visualizer (60 fps emergence demo).
|
| 107 |
+
- [dancinlab/anima](https://github.com/dancinlab/anima) β consciousness implementation (working research code).
|
| 108 |
+
|
| 109 |
+
## License
|
| 110 |
+
|
| 111 |
+
[MIT](LICENSE) β permissive, do-as-thou-wilt.
|
docs/logo.svg
ADDED
|
|