Entities do not carry information about their generative paths (boundary postulate).
Science of Generation Portal
The Science of Generation takes generation itself as its object, with Shēng as the core operator. This portal publishes its claims, terms, sources and corrections with epistemic tiers, stating for every conclusion what it rests on and where it stops.
Foundation
Theorem
Proper classes (in the project's sense: circular self-embedding structures) have their mathematical home in terminal coalgebras νF ≅ F(νF).
Under the Anti-Foundation Axiom, every (flat) system of equations has a unique solution (Aczel's Solution Lemma); primordial equations replace axiomatic propositions on this basis.
Bisimulation serves as the identity criterion; in the finite case it is decidable via Paige–Tarjan partition refinement.
5 is the least integer admitting, on one element set, two mutually irreducible directed Hamiltonian cycles (steps 1 and 2); hence the "five" of the Five Phases is fixed by number theory.
Restraint = generation²: on ℤ₅ the overcoming map is the square of the generating map.
5 ∤ 2ᵏ: the Five-Phase track cannot be reduced to a binary (yin-yang track) representation.
Empirical
Li et al. 2004 yeast cell-cycle network (11 nodes, 34 edges) under the threshold (magnitude-component) model: 7 fixed points, basins [1764,151,109,9,7,7,1]; largest basin 1764 (86.1%) is the G1 steady state.
By phase
By discipline
- Mathematics 18
- Logic 5
- Computer science 3
- Physics 1
- Biology 7
- Artificial intelligence 1
- Philosophy 8
- Economics 1
The discipline entrances are dictionary-level correspondences: a ladder built in the other party's language, withdrawn once climbed. Method

