Research
Research map
A conceptual map of the research program, not a decorative diagram. Each node carries its own status badge; arrows are labeled with the relationship they represent, and none imply a completed derivation unless the node's status says so.
Primary conceptual flow
The program's explanatory direction, not a completed proof chain -- see each node's status badge.
- Primitive TrinityAxiom
- motivatesRegistrationAxiom
- motivatesPersistent consequence / retained structureExact Model Result
- motivatesHost-resolved relational structureComputational
- motivatesGeometry / dimensionality / dynamicsExact Theorem
- opensOperational reconstructionOpen Problem
Registration order, operational time, and relative distance are kept distinct; a universal cross-host calibration remains open.
- opensPhysical spacetime and observable physicsOpen Problem
ACRF-4 current/retention branch and the present frontier
One source paper states the first four results together; the last step is the open reconstruction problem.
- H4: rank-three registration sectorExact Theorem
- extendsRank-three reciprocal retained sector EExact Model Result
- derives fromNormalized current/retained conjugacy (𝒥² = I)Exact Model Result
- motivatesFinite local consequence supportConditional Result
Conditional on faithful one-step locality of the native ACRF-4 update.
- Strict retained-edge densification and node-block nonautonomyExact Model Result
Exact within canonical ACRF-4; constrains, rather than establishes, a sparse-locality interpretation.
- constrainsUnresolved shared-event transfer (Hᵢ → Bᵢⱼ → Hⱼ)Open Problem
The forward-generated inter-host transfer carrier and boundary-growth dynamics required for physical propagation.
A withdrawn interpretation and its replacement
- superseded by
What supports the current interpretation
- Brokerage generator: hyperbolic (1,1) structureExact Theorem
- supports
Rank-three geometry lineage
- motivates
- extends
A supplementary finite theorem package for dimensionality
A supplement, not a derivation or replacement -- the official Zenodo record for the second paper declares isSupplementTo the first.
- extendsFinite resolved-operator existence and stabilityExact Model Result
For the full claim-by-claim ledger, see Status. For an interactive view of published papers and their sources, open the knowledge graph. For what remains unresolved, see the current frontier.