public source pinnedformative
Hyperchaos
An intentionally unresolved frame for the native structure of chaos.
Grounding: unresolved
One portal · every registered field
The formative foundations,
held in one place.
Hyperfields hosts a first-class explainer section for every public ecosystem repository and every explicitly marked unpublished candidate. Each section keeps checked Lean structure, source authority, and explanatory review status separate.
28hosted sections
23public repositories
5unpublished candidates
280/280kernel-checked declarations
Evidence boundary. The portal revision is ff739b69f4b4. All explanations are
source-derived-unreviewed. Lean checks the registry and section definitions; it does not by itself validate scientific or metaphysical claims.Complete directory
All ecosystem sections
21 sections
Hyperfields
Field-level accounts of recurring formative structure, including communicative fields.
public source pinnedformative · communicative
Hyperorder
A finite partial-order frame with explicit unknown relations.
Grounding: field-relative primitive
public source pinnedformative · integrative
Hyperemergence
A candidate cross-level coherence frame whose positive native criterion remains open.
Grounding: grounded in Hyperstratum
public source pinnedformative · communicative
Hyperobjectivity
Hyperobjects, hyperform instantiation, and invariance across situated reality presentations.
Grounding: grounded in Hyperreality
public source pinnedformative · communicative
Hypersubjectivity
Situated perspective, cross-reality linkage, and candidate novelty from hyperobjects.
Grounding: grounded in Hyperreality and Hyperobjectivity
public source pinnedformative · integrative
Hyperreality
A taxonomy of what a reality is and which kinds of reality are presented.
Grounding: field-relative primitive
public source pinnedformative · communicative
Hypertime
The axis of branching among reality presentations, where order need not become an outside clock.
Grounding: grounded in Hyperreality
public source pinnedformative · communicative
Hyperspace
The axis of placement among observable realities, preserving the source term hyperphere without fixing its geometry here.
Grounding: grounded in Hyperreality
local candidate; unpublishedformative
Hypergeometry
A local finite-frame candidate for charts, metrics, and exact path transport.
Grounding: unresolved
local candidate; unpublishedformative
Hypertopology
A local finite-frame candidate for opens, closure, boundary, and continuity.
Grounding: unresolved
local candidate; unpublishedformative · integrative
Hyperstructure
A local finite-frame candidate for typed structures, components, and presentation isomorphism.
Grounding: unresolved
local candidate; unpublishedformative · compositional
Hyperdynamics
A local finite-frame candidate for transitions, path lifting, and coupled products.
Grounding: unresolved
local candidate; unpublishedformative · compositional
Hypermechanics
A local finite-frame candidate for guarded rewrites, conservation, and connection rules.
Grounding: unresolved
public source pinnedformative · communicative
Hypergrammar
A source-defined grammatical layer whose current public description is: the solution.
Grounding: field-relative primitive
public source pinnedformative · communicative
Hyperlogic
Hypermath's logic counterpart.
Grounding: grounded in Hypermath
public source pinnedformative · communicative
Hypermath
A closed formal universe derived from one primitive operation, with a Lean translation and reproducible open-obligation audit.
Grounding: field-relative primitive
public source pinnedformative · compositional
Hyperphysics
Hypermath's physics counterpart.
Grounding: grounded in Hypermath
public source pinnedformative · communicative
Hyperethics
Hypermath for morals.
Grounding: grounded in Hypermath
public source pinnedformative · compositional
Hyperchemistry
The operation of operations within Hyperphysics, beginning with finite, refutable composition.
Grounding: grounded in Hyperphysics
public repository; no main ref pinnedformative · compositional
Hyperbiology
The study of the studies of how life interacts; no public main branch was available at inspection time.
Grounding: unresolved
public source pinnedformative · communicative
Hyperprobability
A field candidate for probability, guarantees, and bounded uncertainty.
Grounding: unresolved
2 sections
Grounded layers
Derived structures that explicitly depend on Hypermath or other non-lowest-level concepts.
public source pinnedcompositional · communicative
Grounded Hypercalculi
A derived execution and domain-calculus layer spanning language, meta, hyper, ordinal, real-analysis, and oracle calculi.
Grounding: grounded in Hypermath, Ordinatics, and Grounded Hyperset Theory
public source pinnedformative · compositional
Grounded Hyperset Theory
A derived reference implementation of non-well-founded set theory using APGs, bisimulation, and constructive membership under AFA.
Grounding: grounded in Hypermath and Ordinatics
2 sections
Structural hubs
Integrative accounts that organize structures and relations across fields.
public source pinnedintegrative · reflective
Hyperstratum
A recursive ontology of form, frame, field, node, relation, graph, structure, and representation across base, meta, and whole-form levels.
Grounding: unresolved
public source pinnedintegrative · reflective
Hyperorganization
A newly public organizational layer whose exact ecosystem role requires owner review.
Grounding: unresolved
1 sections
Ordinal infrastructure
Ordinal-first formal infrastructure that supports, but is not silently relabelled as, a hyperfield.
public source pinnedformative · compositional
Ordinatics
Ordinal arithmetic and an ordinal-first metalanguage for definable arithmetic truth.
Grounding: grounded in Hypermath
2 sections
Meta-frameworks
Reflective and cross-field frameworks whose authority remains separate from their sources.
public source pinnedintegrative · reflective
Metamathethicology
Metamath, metaphysics, metaethics, and metalogic in one meta-level framework.
Grounding: grounded in Hypermath, Hyperlogic, Hyperethics, and Hyperphysics
public source pinnedcommunicative · reflective
Meta-Morphoscripted-Origination
A framework for discoverable anchors and morphisms among origination narratives under limited cognition.
Grounding: grounded in Hypergrammar and Hyperreality
No ecosystem sections match that filter.