research-program

Research internships + summer programs for undergraduate students worldwide (NASA, CERN, Max Planck, +100 more)

Lean 4 formalization surface; current metrics and trusted-base details live in the Release Manifest.

The hypothesis: the dimensionless constants of physics are counts, arithmetic and topological invariants of a compact geometry, with no continuously adjustable parameter. This repository is the program's charter and its list of open problems.

An annotated map of work adjacent to the Arithmon program, from information geometry to structural realism. One entry per work: what it claims, how it relates (convergent, divergent, orthogonal), and the precise delta. A living document, growing with every reading and every contact.

Mindseed Research portal site (research.pyol.net) — bilingual (JA/EN) Astro site

A Thermodynamic Heuristic Framework for the Birch and Swinnerton-Dyer Conjecture

Organization profile and shared community-health defaults for the Panta Rhei Research Program.

Jekyll source for panta-rhei.site — the public research observatory for a coherent theory of reality.

Public research workspace: notebooks, scripts, import reports, data transforms, experiments, and exploratory support.

智能体的社会科学 · 研究纲领：当判断可以被大规模委托给非人行动者，人类社会的制度如何重写。三条公理、委托单元、七环主干、九篇学科重写、十条可检验命题。

Engagement hub: onboarding, discussions, review guidance, routing, contribution policies, and structured scrutiny.

Artifact and release layer: monographs, papers, notes, briefings, white papers, ledgers, release artifacts, and errata.