Skip to content

dancinlab/echoes-experience

Folders and files

NameName
Last commit message
Last commit date

Latest commit

Β 

History

6 Commits
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 

Repository files navigation

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

Note

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.

About

πŸͺž Οƒ(n)Β·Ο†(n) = nΒ·Ο„(n) interactive proof widget β€” uniquely true at n=6 Β· sister of anima-experience

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

 
 
 

Contributors

Languages