edition: journal title: The Geometric and Formal Determination of the Math Floor subtitle: A Verification Functional, Its Fixed Ground Γ = Fix(σ) = ℝ, and a Three-Axis-Then-Reflective Route to It, With No New Mathematics Claimed author_line: Mohammad F Islam^1^ journal: Tractatus Mathematicus article_type: Foundations · Verification Theory goal: Determining a verification system's foundational ground by two native routes, the geometric and the formal, and pinning their coincidence to its single posit doi: MD-Φ · Reflective Kernel Series · No. 2 volume: 1 pages: 1–14 date: 2026 accent: copper
:::affiliations ^1^ Independent Researcher, USA. Correspondence: islamm@alumni.iu.edu. The verification apparatus invoked in the body is a framework-internal construction; every load-bearing mathematical result is classical and is named to its source in Table 1, and the change in mathematical mass is zero. :::
:::abstract A verification system that grades propositions on a determinant of warrant has a foundational ground, the locus its verdicts are measured against, and the natural question is whether that ground can be determined by the system's own instruments rather than imported. This paper answers it for one such system in two ways and reconciles them. The verification functional is det(R) = λ², the squared scalar part of a product of three warrant axes carried as pure quaternions, equivalently the squared determinant of their frame. Read geometrically, the functional has two distinct floors that are routinely conflated, the degeneracy floor det(R) = 0 where the axes collapse and carry no volume, a failure locus, and the determined ground Fix(σ) = ℝ, the real line fixed by conjugation, onto which the composed triad lands its scalar part. Read formally, the same line Fix(σ) = ℝ is the achiral bridge of the conjugation involution, the decidable component a proposition shares with its mirror, while the orientation-odd residue occupies the three-dimensional pure-imaginary space forced by Frobenius. The two determinations coincide on Fix(σ) = ℝ, and the coincidence holds if and only if a single involution serves both routes. That single involution is RA's native monist reading, the formal ground held as one L1 imprint within RA rather than two. It is premise-grade. The pluralist alternative is field-permitted at the verification register, and the two do not contradict, since the externality the verification registers and the monist premise beneath it range over different registers and the verdict reads only the first. No new mathematics is claimed. Every theorem-grade result is classical, Frobenius's classification of the real division algebras, the algebra of quaternion conjugation, the Gram determinant as a squared volume, and the closed-form identity det(R) = λ². The binding of geometry to the foundations of mathematics, and of geometry to inference, is established mathematics, and it is named where it stands; the change in mathematical mass is zero. The contribution is the native route, the determination of the ground by the system's own geometry and its own reflective split, and the warrant typing of every claim at its true grade. :::
:::keywords verification functional, Gram determinant, quaternion conjugation, division-algebra classification, orientation-blindness, foundational ground, fixed-point-bearing involution, topos theory, univalent foundations, information geometry, warrant typing :::
1 Introduction and the Two Determinations
A verification system that issues a discrete verdict on a proposition by reading a determinant of its warrant must answer to a foundational ground, the locus against which the determinant is read and onto which a successful verification returns. Whether that ground can be exhibited by the system's own machinery, rather than posited from outside, is a fair structural question, and it is the question of this paper for one concrete system. The system carries three orthogonal warrant axes and grades their joint independence by a Gram determinant. The grading functional, derived below, is det(R) = λ², where λ is the scalar part of the product of the three axes carried as pure quaternions, equal up to sign to the determinant of their frame.
The functional admits two readings of its ground, and the paper's first task is to keep them apart, because conflating them is a standing error. The geometric reading sees a determinant bounded in the unit interval, with a floor at zero, where the three axes become linearly dependent and enclose no volume, and a ceiling at one, full mutual orthogonality. The formal reading sees the same algebra split by conjugation into a part a proposition shares with its mirror image and a part that is orientation-odd. The geometric floor det(R) = 0 is a failure locus, the collapse of warrant, and it is not the foundational ground. The foundational ground is the line Fix(σ) = ℝ, the center of the quaternions, fixed by conjugation, and the paper shows it is determined twice, once as the line the composed triad's scalar part lands on, and once as the decidable component the conjugation split isolates. These two determinations coincide, and the paper's second task is to state precisely what the coincidence costs, which is a single posit and no more.
The discipline of the paper is honest warrant typing, and it is held without exception. A theorem-grade claim is established by proof and carries the warrant the literature already assigns it. A structural-grade claim is an organizational or interpretive commitment, real and unsealed as a theorem. A premise-grade claim is a posit, granted and not derived. The load-bearing mathematics is theorem-grade and classical throughout. The two-route determination and the reading of Fix(σ) as the ground are structural. The coincidence of the two determinations rides one premise, named where it falls. The change in mathematical mass across the paper is zero, written ΔM = 0, meaning no new mathematics is invented; the work reorganizes established results into a formalism and types its own organizational claims at their true grade.
2 The Structural Setting
The setting is fixed before the functional is derived, so that the ground is read off a definite object and not a metaphor.
Warrant is carried on a real division algebra. By Frobenius's classification the only finite-dimensional associative division algebras over the reals are the reals, the complex numbers, and the quaternions, and the quaternions ℍ are the unique such algebra carrying more than one independent imaginary direction. This fixes the dimension of the orientation-odd warrant space at three before any axis is assigned, and the fixing is theorem-grade and classical. The three warrant axes of the system are realized as three pure-imaginary directions, and their joint structure is read by a Gram determinant.
Conjugation on ℍ, the map sending a + bi + cj + dk to a − bi − cj − dk, is an involution, its square the identity, and it splits the algebra into eigenspaces. The plus-one eigenspace is the real line ℝ, of dimension one. The minus-one eigenspace is the pure-imaginary space, of dimension three. The fixed locus of conjugation is therefore nonempty, the real line, and conjugation is in this precise sense fixed-point-bearing, a property that will matter when the formal determination is read in Section 6. The system reads Fix(σ) = ℝ as the foundational ground Γ, the center against which warrant is measured; that reading is structural, while the eigenspace identity and its dimensions are theorem-grade.
3 Prior Approaches and Positioning
The binding of geometry to the foundations of mathematics, and of geometry to inference, is established mathematics. Naming where it stands is the precondition for typing this work honestly. W_social is zero, applied evenly: the established bindings are credited as established, neither inflated nor diminished by their standing, and this work's own contribution is typed at its grade and no higher.
Categorical logic binds geometry and logic at the deepest level. Lawvere's framework and the topos theory built on it establish that a topos is at once a generalized space and a model of higher-order intuitionistic logic, so that geometry and the foundations of reasoning are two faces of one structure. The standard reference carries the binding in its title, geometry and logic together. This paper's determinantal functional is a far narrower object, and it does not reconstruct or extend that binding.
Univalent foundations bind geometry and the foundations of mathematics outright. Homotopy type theory founds mathematics on homotopy, with types read as spaces, propositions as spaces, and equality as paths, the strongest contemporary statement that the foundations are geometric. This work reaches its own ground by RA's native route and adds no mass to that program; it is named here because honesty requires the territory be marked.
Information geometry binds geometry and inference. The space of probability models carries a Riemannian structure under the Fisher metric, and inference is a geometric process on a statistical manifold. The verification functional of this paper is a determinant of warrant independence, and its natural neighbor is this geometry of inference; the paper presents one functional and its ground, not a new geometry of inference.
The common point is that geometry's foundational and inferential roles are established, with rigorous occupants named above. This work presents one verification functional, determines its ground by two native routes, the geometric Return and the reflective split, and reconciles them, with ΔM = 0 throughout. The contribution is the native determination and the warrant typing. The determination is RA reaching its own ground by its own geometry, and it makes no claim on the established mathematics it stands beside.
4 Method
The object is a formalism rather than a physical process, so the methodology is formal and is held to four conditions, the fourth supplying the analog of independent replication.
First, formal derivation. Every theorem-grade claim descends from an established result by proof, with the source named in Table 1, and adds no mathematical mass. The spine is Frobenius's classification, the elementary algebra of conjugation, the Gram determinant as a squared volume, and the closed-form identity det(R) = λ², each classical.
Second, reproducibility by a fixed-seed battery. Every numerical claim is produced by a single date-seeded computation, seed 20260622, over N = 24 contexts, standing on linear algebra and the quaternion product alone, so that no result depends on who runs it and social agreement carries no weight. The battery residues are quoted in Sections 5 through 7.
Third, invariance under relabeling. The labeling of the three axes to the three pure-imaginary directions is conventional, and the functional is invariant under the inner automorphisms of ℍ, which act as the rotation group on the pure-imaginary space. The determined ground and the functional are the invariant content; the labels are not.
Fourth, the analog of independent verification. Where an empirical paper demands confirmation by orthogonal instruments, a formal paper demands that its load-bearing results be independently checkable, by hand and by machine alike. The spine here is elementary linear algebra and the division-algebra classification, both independently verifiable, and the battery is re-runnable from the seed, so no single authority is the warrant.
5 The Geometric Determination
The geometric determination reads the ground as the line the composed triad returns to, and reads the functional's two floors apart.
Carry the three post-projection warrant axes as unit pure quaternions q̂_F, q̂_E, q̂_ER. The scalar part of their ordered product is λ = Re(q̂_F q̂_E q̂_ER), and a short computation gives λ equal to minus the determinant of the frame formed by the three axes, so that the Gram determinant of the frame equals λ². This is the closed-form identity, and it is theorem-grade and classical.
:::box 1 The verification functional and its identity For three unit pure-imaginary warrant axes carried in ℍ, with frame matrix M whose rows are the axes in a fixed orthonormal basis of the pure-imaginary space, the scalar part of the ordered quaternion product satisfies
λ = Re(q̂_F q̂_E q̂_ER) = − det(M),
and the Gram determinant of the frame satisfies
det(R) = det(M Mᵀ) = det(M)² = λ².
The determinant is bounded, det(R) ∈ [0, 1], by Hadamard's inequality on the frame and Hurwitz's bound on the unit axes. The maximum det(R) = 1 is full mutual orthogonality, the Hamilton relation among the axes. Warrant: theorem-grade, classical, the identity a direct computation and the bounds Hadamard and Hurwitz. :::
The Return is the event in which the composed triad lands its scalar part on the real line, λ not zero, equivalently the composed product projects nonzero onto Z(ℍ) = ℝ = Fix(σ). The geometric ground is therefore this real line, the one line no inner automorphism of ℍ moves, and the Return is the verification's contact with it. The battery confirms the identity and the Return at machine precision. A three-axis lock returns λ equal to −0.965027450462, det(R) equal to 0.931277980144, with the identity residual the absolute value of λ² − det(R) at 5.551 × 10⁻¹⁶ and the frame-to-Gram factorization residual zero exactly. A second independent triad returns λ equal to −0.992576937299, det(R) equal to 0.985208976457, identity residual 8.882 × 10⁻¹⁶. The full Return on a mutually orthonormal triad returns det(R) equal to 1.000000000000, the absolute value of λ equal to 1.000000000000, identity residual 1.110 × 10⁻¹⁵.
The two floors are now distinguished sharply, and this is the section's load-bearing clarification. The determinant's lower bound det(R) = 0 is the degeneracy floor, reached when the three axes are linearly dependent and enclose no volume; it is a failure locus, the collapse of warrant, and it is not the foundational ground. The foundational ground is Fix(σ) = ℝ, the line the nondegenerate Return lands on, a one-dimensional locus the functional points to rather than collapses to. Reading det(R) = 0 as the ground confuses the floor of the bound with the center of the algebra. Only the second is the determined ground.
The geometric determination carries one more theorem-grade fact that limits what the lock can certify. The functional det(R) = λ² is invariant under reflection of any single axis, since reflecting an axis flips the sign of λ and the square restores it. So the lock for a proposition and the lock for its negation are numerically identical, and the lock certifies the dimensionality and independence of the approach to the ground, never the truth-sign. The battery exhibits this: under reflection of one axis in a fixed basis, λ flips from −0.662414711262 to 0.662414711262, the ratio exactly minus one, while det(R) holds at 0.438793249697 unchanged, the change zero exactly. The sign reads from a fixed frame, never from the determinant.
6 The Formal Determination
The formal determination reads the same ground off the conjugation split, and finds it decidable for a reason that does not transcend any limit.
Conjugation σ splits a warrant-bearing proposition into its achiral bridge, the component fixed by σ, lying in Fix(σ) = ℝ, and its chiral residence, the orientation-odd component lying in the three-dimensional pure-imaginary space. The achiral bridge is the part a proposition shares with its mirror image, and it is the determined ground from the formal side.
:::box 2 The conjugation split and the determined ground Conjugation σ on ℍ is a fixed-point-bearing involution, σ² the identity, with eigenspaces
Fix(σ) = ℝ, dimension one, the achiral bridge Γ, Im ℍ = span(i, j, k), dimension three, the chiral residence,
the residence dimension forced by Frobenius once more than one imaginary direction is required of an associative real division algebra. The battery returns the eigenvalues of σ as −1, −1, −1, +1, the fixed locus of dimension one and the residence of dimension three. Warrant: theorem-grade on the eigenspace identity and its dimensions, classical; structural on the reading of Fix(σ) as the foundational ground. :::
The achiral bridge Fix(σ) = ℝ is decidable, and the reason is plain and not a transcendence. It is a finite one-dimensional locus that cannot encode its own provability, so it sits outside the reach of the limitative theorems for that reason alone, not because the formal route escapes them. The orientation-odd residence is where any undecidability relocates, and where a proposition's determinacy beyond the bridge is read or left open. The formal determination therefore reaches the same ground the geometric route reaches, the line Fix(σ) = ℝ, as the decidable achiral bridge, and it relocates rather than removes the limit. This is the honest statement, and the paper makes it in place of any claim to have crossed a limitative boundary.
The contrast that organizes the formal side is between the fixed-point-bearing involution σ, whose nonempty fixed locus is the ground, and the fixed-point-free involution of negation, whose empty fixed locus is the engine of the standard diagonal arguments. The ground exists as a determined locus precisely because the involution that isolates it bears fixed points; the route reads off σ, not off negation. That contrast is theorem-grade on the eigenspace facts and structural on the identification of the engine of self-reference with the fixed-point-free involution.
7 The Coincidence and Its Single Posit
The geometric determination lands the ground at the real line the Return touches, and the formal determination lands it at Fix(σ) = ℝ. These are the same line, and what the coincidence rests on is named exactly.
The coincidence is the identity Γ_geometric = Γ_formal = Fix(σ) = ℝ. It holds because one and the same involution, conjugation, both fixes the line the Return lands on and isolates the achiral bridge. Were two distinct involutions carried, one for each route, two distinct fixed lines would stand and the two determinations would not coincide. The coincidence is therefore equivalent to the choice of a single involution for both routes, and that choice is a monist posit, the commitment that the two routes ground on one locus rather than two.
:::box 3 The coincidence as a biconditional Let σ govern the geometric Return and σ′ govern the formal split. Then
Γ_geometric = Γ_formal ⟺ σ = σ′ (one involution for both routes),
and the right side is a posit, not a theorem. The pluralist alternative is constructible and equally consistent: the battery builds a second fixed-point-bearing involution σ′ in a rotated basis, with its own fixed locus of dimension one and a fixed-line overlap with the first of 0.429299, two distinct grounds both internally valid. The verification lock cannot select one involution over two, since by Section 5 it certifies dimension and not the line's identity. Warrant: theorem-grade that σ′ is a valid involution with a one-dimensional fixed locus; structural that the coincidence is the one-involution identity; premise-grade on the one-involution posit itself. :::
The coincidence of the two determinations is real as a construction and unsealed as a fact, and its entire warrant is the warrant of the one-involution reading. That reading is RA's native monism, the formal ground held as one L1 imprint within RA. By the Imprint-Honesty Law a residence seals imprinted only on a supplied determinacy witness and ghost only on a supplied independence proof; neither is in hand for the one-involution structure, so the coincidence is premise-grade, the from-other-side input located across the aperture and not crossed by the instrument. The externality of the classical algebra and this monist premise do not contradict. The externality is a verification-register fact, the algebra classical and ΔM = 0; the monism is the premise beneath, the same algebra read as imprint within RA; the two range over different registers and the verdict reads only the first. A proof settling whether one involution or two is the right structure would settle the coincidence and move it off premise-grade. The theological reading of the one ground routes to the apophatic register and is load-bearing for nothing in the verdict.
8 The Route, Formalized
The two determinations are reached along one ordered route, the system's native method, and the route is stated here as a sequence with its grades, the geometric and formal determinations its two faces.
The route runs in six stages. A foundational posit supplies the existence-bearing premise. Its content decomposes into three orthogonal axes, the count forced operationally by a decomposition test and forced again, theorem-conditional on a composition law, by Frobenius. The three axes compose and their scalar part lands on Fix(σ) = ℝ, the geometric Return, and the one-axis degenerate case of this composition, a single directed line folded to its point, is the system's primitive contained inside the three-axis method rather than an external one. The verification lock at the ground is field-permission and not yet an imprint, and an imprint test reads determinacy at the ground or leaves it open, orientation-blind throughout. The conjugation split then isolates the achiral bridge, the formal determination of the same ground. The ground is reached, and the limit, where one is present, is relocated to the chiral residence rather than removed.
Two facts hold across the route and are quoted once. The whole route runs on one involution, so it is conditional on the one-involution posit throughout, the single premise. And the route is the system's arrangement of established algebra into three leadings and a conjugation split; the ground and the algebra under it are classical and are named, so the route is the expression and not a new result, ΔM = 0.
Table: Table 1 | Warrant typing of the principal claims
| Claim | Established by | Grade |
|---|---|---|
| The orientation-odd warrant space has dimension three | Frobenius classification of real division algebras | theorem-grade |
| The verification identity det(R) = λ², bounds in [0,1] | direct computation; Hadamard and Hurwitz | theorem-grade |
| Conjugation split: Fix(σ) = ℝ dim 1, Im ℍ dim 3 | eigenspace algebra of conjugation on ℍ | theorem-grade |
| Orientation-blindness: lock for P and ¬P identical | det(R) = λ² invariant under axis reflection | theorem-grade |
| A second involution σ′ has a one-dimensional fixed locus | eigenspace algebra in a rotated basis | theorem-grade |
| Fix(σ) = ℝ read as the foundational ground | framework interpretation | structural-grade |
| The two-route determination and their reconciliation | organizational commitment | structural-grade |
| The geometric Return as the verification's contact | framework interpretation | structural-grade |
| The coincidence is the one-involution identity | structural reading | structural-grade |
| One involution serves both routes (the coincidence holds) | foundational posit | premise-grade |
| Note: change in mathematical mass ΔM = 0; the theorem-grade rows are classical and the formalism adds no mass of its own. |
9 Formal Predictions and Falsification
The predictions are formal and decidable, and falsification means exhibiting a counterexample rather than missing a threshold.
Prediction one, the determined dimension. The orientation-odd warrant space has dimension exactly three. Confirmation, Frobenius's classification, uniform. Falsification, an associative real division algebra with more than one imaginary direction and a dimension other than four. Status, confirmed and classical, no counterexample possible.
Prediction two, the two floors are distinct. The degeneracy floor det(R) = 0 and the determined ground Fix(σ) = ℝ are different loci, the first a collapse of warrant and the second the center of the algebra. Confirmation, the bound det(R) ∈ [0,1] with the Return landing on ℝ at nonzero scalar part. Falsification, a nondegenerate triad whose Return scalar part is zero, or a degenerate triad landing on the center. Status, confirmed by the identity and the battery.
Prediction three, orientation-blindness. The functional returns the identical value for a proposition and its negation. Confirmation, the reflection invariance of det(R) = λ², exhibited at ratio minus one with the determinant unmoved. Falsification, a single counterexample triad whose determinant changes under reflection of one axis. Status, confirmed, with the discarded sign read only from a fixed frame.
Prediction four, the coincidence is conditional. The two determinations coincide if and only if one involution serves both routes. Confirmation, the biconditional of Box 3. Falsification, a proof that one involution is forced over two, or two over one, which would convert the coincidence from posit to theorem or refute it. Status, open by design, the prediction being precisely that the coincidence is premise-grade and not a theorem.
The four predictions share a form. Each is decidable, each is confirmed by a uniform argument or a reproducible computation, and the load-bearing ones are checkable by hand and by machine. None contains a fitted constant.
10 Discussion
The construction reorganizes established facts and leaves the mathematics untouched, and three points fix what it does and does not establish.
The ground is determined, and determined twice, but as a locus the system points to and not as a theorem of mathematics. The geometric Return lands on the real line, and the conjugation split isolates the same real line as the decidable achiral bridge. Both determinations rest on classical algebra, the division-algebra classification and the eigenspaces of conjugation, and the determination is the system's identification of its own ground, not a claim about the foundations of mathematics, which Section 3 located in settled and rigorous hands.
The limit is relocated and never escaped. The achiral bridge is decidable because it cannot encode its own provability, and any undecidability relocates to the orientation-odd residence. The paper makes this the honest statement in place of any claim to have crossed a limitative theorem, and the orientation-blindness result is the sharp internal check on that honesty, since a functional that cannot tell a proposition from its negation cannot be a truth-verdict and is only a structural one.
The coincidence is the paper's one posit, named and costed. The two determinations coincide exactly when one involution serves both, and the pluralist alternative is constructible and equally consistent. So the reconciliation is structural-commitment riding a monist premise, and the paper neither hides the premise nor cashes the coincidence as a theorem.
The honest limits are four. First, the two-route determination and the reading of Fix(σ) as the ground are structural, a clarifying stance and not a theorem. Second, the realization of warrant on the quaternions is the framework's chosen representation, and the load-bearing logical content is carried by the classical theorems and not by the choice of algebra. Third, the coincidence is premise-grade on the one-involution posit, and a reader who declines it keeps every theorem-grade result in Table 1 and loses only the reconciliation. Fourth, the established bindings of geometry to the foundations and to inference are named and credited, and this work reaches the floor by RA's native route with ΔM = 0, adding no mathematical mass and claiming none. None of these limits touches the spine, and all are typed where they fall.
11 Conclusion
A verification system that grades on a determinant of warrant has been shown to determine its own foundational ground twice over, geometrically as the real line its composed triad returns to, with the degeneracy floor det(R) = 0 kept sharply apart from that ground, and formally as the achiral bridge Fix(σ) = ℝ that conjugation isolates, decidable because it cannot encode its own provability and not because any route transcends a limit. The two determinations coincide on the same real line, and the coincidence holds if and only if one involution serves both routes, a monist posit the pluralist alternative is shown to rival, so the reconciliation is structural-commitment with a single named premise beneath it. The mathematics throughout is classical, Frobenius and the algebra of conjugation and the Gram determinant and the closed-form identity, and no new mathematics is claimed. The contribution is the two-route determination, the separation of the functional's two floors, and the warrant typing of every claim, and the change in mathematical mass is zero.
Appendix A. Foundational Posits, Softly Veiled
The following posits are drawn from a broader framework and are presented here as standalone principles, each independently typed. They carry no result the body has not earned, and the body's spine does not depend on them.
A.1 The existence-bearing posit, bilayer
The framework's root posit holds that to exist is to actuate. It is bilayer, and the bilayer is load-bearing. The transition reading, that any actuation leaving a distinguishable trace carries a nonzero energy-time signature bounded by the quantum speed limit, is theorem-grade as physics and externally anchored. The universal reading, that existence as such mandates actuation across all existents, is premise-grade and rides a monism, with its universal extension open. The body uses only the structural decomposition that follows, never the universal reading.
A.2 The triaxial decomposition, theorem-grade on the algebra
The orientation-odd warrant space has dimension three, forced by Frobenius once more than one imaginary direction is required of an associative real division algebra. The framework reads the three directions as three independent warrant axes. The dimension count is theorem-grade; the reading of the directions as warrant is structural-grade.
A.3 The ground-first stance, structural-grade
The framework reads verification from its ground outward and is topology-first by its own design, a stated methodological commitment and not a derived result, typed structural-grade. A reader who declines the stance keeps every theorem of this paper and reads the same classical facts under a different framing, losing only the ground-first reading.
References
- Lawvere, F. W. 1969. Diagonal arguments and cartesian closed categories. In Category Theory, Homology Theory and their Applications II, Lecture Notes in Mathematics 92, 134–145. Springer.
- Mac Lane, S., and Moerdijk, I. 1992. Sheaves in Geometry and Logic: A First Introduction to Topos Theory. Springer.
- The Univalent Foundations Program. 2013. Homotopy Type Theory: Univalent Foundations of Mathematics. Institute for Advanced Study.
- Amari, S. 2016. Information Geometry and Its Applications. Applied Mathematical Sciences 194. Springer.
- Frobenius, G. 1878. Über lineare Substitutionen und bilineare Formen. Journal für die reine und angewandte Mathematik 84: 1–63.
- Hurwitz, A. 1898. Über die Composition der quadratischen Formen von beliebig vielen Variablen. Nachrichten von der Königlichen Gesellschaft der Wissenschaften zu Göttingen: 309–316.
- Hamilton, W. R. 1844. On a new species of imaginary quantities connected with a theory of quaternions. Proceedings of the Royal Irish Academy 2: 424–434.
- Horn, R. A., and Johnson, C. R. 2013. Matrix Analysis, 2nd ed. Cambridge University Press. (Hadamard's inequality and the Gram determinant as a squared volume.)
- Conway, J. H., and Smith, D. A. 2003. On Quaternions and Octonions. A K Peters.
- Islam, M. F. 2026. On the Topology of Theories of Everything. PhilArchive, ISLTOT. Framework foundational deposit providing the root posit and the triaxial decomposition.
:::endmatter
Author Contributions
Single author. The paper reorganizes established results and introduces no new mathematics; the contribution is the two-route determination of the ground, the separation of the functional's degeneracy floor from its determined ground, and the warrant typing of every claim.
Competing Interests
The author declares no competing interests.
Data and Verification
No empirical data are used. All numerical residues are produced by a single date-seeded computation, seed 20260622, over twenty-four contexts, standing on linear algebra and the quaternion product alone, and are re-runnable from the seed. The load-bearing mathematical results are classical and independently checkable by hand and by machine.
Note on Warrant
Theorem-grade claims are proved and classical. Structural-grade claims are organizational or interpretive and are unsealed as theorems. Premise-grade claims are posits. The change in mathematical mass is zero.
Correspondence
islamm@alumni.iu.edu :::