echoes-experience / README.md
ghost
docs: align README to atlas/README-FORMAT.md (centered header + sections)
b32cbea
metadata
title: Echoes Experience
emoji: πŸͺž
colorFrom: yellow
colorTo: blue
sdk: static
pinned: false
license: mit

echoes-experience

πŸͺž echoes-experience

Echoes Experience β€” interactive σφτ proof widget Β· HF Space Β· slider n=2..1000 Β· vanilla JS/Canvas Β· zero roundtrip

License HF Space Identity Runtime Parent

σφτ Β· identity Β· n=6 Β· slider Β· canvas Β· proof-by-inspection Β· static Β· no-python


echoes-experience is an interactive proof-by-inspection of the arithmetic identity at the centre of dancinlab/echoes:

Οƒ(n) Β· Ο†(n)  =  n Β· Ο„(n)

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).

Companion to dancinlab/echoes (Discoveries catalog Β· parent repo). Dual-remote: pushes to GitHub (origin) AND HuggingFace Spaces (hf).

Math

  • Οƒ(n) β€” sum of divisors of n. For n=6: 1 + 2 + 3 + 6 = 12.
  • Ο†(n) β€” Euler's totient β€” count of integers in [1, n] coprime to n. For n=6: {1, 5} β†’ Ο†(6) = 2.
  • Ο„(n) β€” number of divisors of n. For n=6: {1, 2, 3, 6} β†’ Ο„(6) = 4.
  • Identity check: Οƒ(n) Β· Ο†(n) ?= n Β· Ο„(n). At n=6: 12 Β· 2 = 24 and 6 Β· 4 = 24 βœ….

Tech

  • Static HF Space (sdk: static) β€” first paint < 1 s, no cold start, no Python runtime.
  • Vanilla JS / Canvas β€” single self-contained index.html, no framework, no bundler.
  • All math runs client-side (gcd / divisors / phi-set via stdlib loops). At n=1000 β‰ˆ instant.

Honest caveat

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: the n=6 lattice is an organizing tool, never a substitute for real math / physics / engineering limits.

Status

  • live on HuggingFace Spaces β€” https://huggingface.co/spaces/dancinlab/echoes-experience
  • static sdk Β· single index.html Β· zero build step
  • slider sweep n=2..1000 Β· client-side math Β· instant render
  • dual-remote: origin (GitHub) + hf (HuggingFace Space)

Install

No install. It's a static page β€” clone and open index.html, or visit the HF Space.

git clone https://github.com/dancinlab/echoes-experience.git
cd echoes-experience
open index.html   # macOS Β· or `xdg-open` / drag into browser

Run

# local preview
open index.html

# or serve over HTTP (any static server)
python3 -m http.server 8000
# β†’ http://localhost:8000

# push to BOTH remotes (GitHub + HuggingFace Space)
git push origin main
git push hf main

Repo layout

echoes-experience/
β”œβ”€β”€ AGENTS.tape       # governance + identity (.tape v1.2)
β”œβ”€β”€ CLAUDE.md         # symlink β†’ AGENTS.tape
β”œβ”€β”€ README.md         # this file (atlas/README-FORMAT.md compliant)
β”œβ”€β”€ index.html        # the widget Β· HTML + inline Canvas + JS
└── docs/
    └── logo.svg      # repo logo (gold #bf8700)

Sister

License

MIT β€” permissive, do-as-thou-wilt.