Minimal-Repair Minimum-Viable Geometric Unity v3: Red-Team Audit, Rigorous Repairs, and Lamport-Proof Formalization
Minimal-Repair Minimum-Viable Geometric Unity v3: Red-Team Audit, Rigorous Repairs, and Lamport-Proof Formalization
Author: Paul Pajo Independent Researcher pageman@gmail.com
Keywords: Geometric Unity, Shiab operator, anomaly cancellation, unified field theory, differential geometry, gauge theory, classical gravity, formal consistency, effective field theory, representation theory, Einstein–Cartan gravity, Poincaré gauge theory, Riemann–Cartan geometry, index theory, red-team audit, Lamport proof
Suggested arXiv categories: hep-th, gr-qc, math-ph
Abstract
This paper is the third revision of the minimal-repair minimum-viable Geometric Unity program (MR-MV-WGU), now in its fully red-teamed form (MR-MV-WGU-v3). It begins with a 50-item weakness catalog spanning explicit, implicit, inferred, extrapolated, and hidden categories, drawn from peer review and independent red-team analysis. Each weakness is paired with a concrete repair: equations are supplied for the Shiab operator, the action, the anomaly polynomial, and the Projection–Variation theorem; a Setup/Notation section fixes the geometric objects; four Propositions and three supporting Lemmas are proved in Lamport-style hierarchical format; future-dated and unverified citations are removed or replaced. The refined theory is then subjected to 25 de-duplicated, super-differentiated stress-tests drawn from dimensional analysis, representation theory, variational calculus, positivity, reduction limits, conservation laws, global topology, discrete automorphisms, and logical-independence arguments. Each test has explicit input, expected output, and PASS/CONDITIONAL/OPEN verdict. The result is a refereeable classical geometric framework in which the Einstein–Hilbert and Yang–Mills kinetic terms appear with definite signs, the Standard Model gauge group sits as the maximal compact of the structure group, anomaly cancellation is verified at the polynomial level, and the residual open questions (quantum UV completion, Yukawa textures, generation count, cosmological constant) are explicitly localized. The paper does not claim quantum completeness or physical correctness; it claims a classical foundation on which further investigation can be built without ambiguity about what has and has not been shown.
1. Introduction
This is the v3 revision of the MR-MV-WGU program. The v2 version (2026-07-30, paper-id 2607.02862) was the target of a peer review that identified five classes of failure: absence of equations, future-dated and unverified citations, label-only stress tests with no pass/fail data, circular repair methodology, and an AI-acknowledgement suggestive of insufficient technical depth. v3 addresses every one of these failures systematically. The structural commitments of the program are unchanged: (i) GU is treated as a geometric proposal on a 14-dimensional "observerse" over a 4-manifold ; (ii) four minimal classical repairs convert the proposal into MR-MV-WGU; (iii) a red-team audit then produces MR-MV-WGU-v2; (iv) v3 extends the audit to 50 items, formalizes everything that v2 left implicit, and replaces the label-only tests with de-duplicated 25 distinct verifications with explicit pass/fail criteria.
The rest of the paper is organized as follows. Section 2 reviews related work with cleaned citations. Section 3 fixes setup and notation. Section 4 presents the 50-item red-team weakness catalog. Section 5 maps each weakness to a specific repair. Section 6 contains the formalization (Propositions, Lemmas, Lamport-style proofs). Section 7 runs the 25 de-duplicated stress-tests. Section 8 provides the before/after lens. Section 9 lists limitations and future research. Section 10 concludes.
2. Related Work
Weinstein's original materials are the 2013 Oxford lecture and the 2021 working draft [1]. Critical examinations include Nguyen and Polya's response identifying complexification, anomaly, and supersymmetry obstructions [2], and machine-verified audits confirming dimensional and logical issues in the original draft [3]. Standard background on the Einstein–Hilbert action, Yang–Mills theory, Dirac operators, anomaly cancellation, and Riemann–Cartan / Poincaré gauge gravity is drawn from established texts and reviews [4–15]. Gauge-theoretic approaches that unify gravity and gauge fields via generalized Dirac operators supply additional context [16]. Index-theoretic and EFT treatments round out the setting [17,18].
Editorial note (v3): In the v2 manuscript, references [4–6] and [23] cited Cox Zenodo preprints and forward-dated arXiv submissions that are not independently verifiable and, in the case of the 2026 Zenodo items, temporally impossible from the 2021 vantage of the original draft. These have been removed in v3. Where reconstruction-style content is invoked, we now either derive it directly (Propositions 1–4 below) or cite general background literature. References that survive in v3 are restricted to archival, peer-reviewed, or established review material that can be independently located.
3. Setup and Notation
3.1 Spacetime and the Observerse
Let be a 4-dimensional, oriented, time-oriented, smooth manifold. Fix a Lorentzian metric of signature and assume is globally hyperbolic with non-empty Cauchy surface . The spacetime is compact for purposes of quantization but asymptotically flat for purposes of the ADM-mass stress test (Test 20).
Definition 3.1 (Observerse). The observerse is the total space of the bundle of Lorentzian metrics on of fixed signature: is an open cone in the Fréchet space and inherits a -action by pullback.
3.2 Gauge Bundle and Connection
Let be a connected Lie group (structure group, to be restricted in Repair 2). Let be a principal -bundle with connection 1-form . Write for the curvature. The covariant exterior derivative is .
3.3 Completed Curvature and Augmented Torsion
Definition 3.2 (Completed curvature). The completed curvature on is the -valued 2-form where is the Riemann curvature 2-form of a metric on and is the ad-component of the gauge curvature, with appropriate index placement to make a tensor on .
Definition 3.3 (Augmented torsion). The augmented torsion is where is the Cartan torsion 2-form (antisymmetric part of the affine connection) and is an inhomogeneous affine correction term required to be -exact: for some . The exactness of ensures that the variation is a pure boundary term in the action.
3.4 Shiab Operator
Definition 3.4 (Shiab map, MR-MV-WGU version). The Shiab map is the section defined on a section by {ab} ;:=; R{acb}^{\phantom{acb}c}(h) ;-; \tfrac{1}{2}, h_{ab}, h^{cd}, R_{cd}^{\phantom{cd}e}(h){;e}, where {abcd}(h) is the Riemann tensor of the metric and indices are raised and lowered with . (Compare the form of the Einstein tensor of .)
Axioms S1–S4. The Shiab map is required to satisfy:
- (S1) Diffeomorphism equivariance. for all .
- (S2) Torsion-free reduction. If , then , the Einstein tensor of .
- (S3) Weyl annihilation. The linearisation of around any annihilates the Weyl-tensor deformation, i.e. vanishes on the Weyl subspace of .
- (S4) Bianchi orthogonality. for every in the image of the algebraic Bianchi operator, where is the metric on induced by .
3.5 Anomaly Polynomial
Definition 3.5 (Anomaly polynomial, 6-form). For a chiral fermion in representation of on a 4-manifold, the descent-relevant 6-form anomaly polynomial is 6(R; F, R{\mathrm{grav}}) ;=; \mathrm{tr}_R(F^3) ;-; \tfrac{1}{3}, \mathrm{tr}_R(F), \mathrm{tr}(F \wedge F) ;+; \text{gravitational terms}, with the gravitational part standard (the descent of the -roof genus): where are Pontryagin classes. The anomaly is cancelled when in .
3.6 Action
Definition 3.6 (MR-MV-WGU action). The classical action is with n}{M{\mathrm{UV}}^{n-4}}. \end{aligned} Sign conventions: for , the Riemann tensor with the standard GR sign giving for positive , and on compact space.
3.7 Projection–Variation
Definition 3.7 (Projection–Variation). Let be a smooth section, and let denote the field-theoretic variation in the sense of the calculus of variations on . The Projection–Variation interchange is the operator identity on the space of fields on satisfying Dirichlet/Robin boundary conditions on .
4. Red-Team Weakness Catalog (50 items, 5 categories)
The complete list of 50 weaknesses, classified by category and tagged with severity H (high), M (medium), or L (low), is given in Table 1. The catalog is the union of an independent peer review (PR) and a follow-up red-team pass (RT).
Table 1. Weakness catalog
| ID | Cat | Sev | Statement (short) | Source |
|---|---|---|---|---|
| E1 | E | H | No equations, derivations, or proofs of claimed "unique map" / "classical action" / "boundary control" | PR |
| E2 | E | H | Citations [4][5][6] (Cox Zenodo 2025–2026) are temporally impossible | PR, RT |
| E3 | E | H | Citation [23] (arXiv 2024–2026) is unverified, forward-dated | PR, RT |
| E4 | E | M | "Generation integer declared external" is an escape hatch, not a repair | RT |
| E5 | E | M | "Higher operators deferred to EFT remainder" is an escape hatch, not a repair | RT |
| E6 | E | H | Action "quadratic and quartic in completed curvature and augmented torsion" is named but never written | PR, RT |
| E7 | E | M | "Boundary control" is asserted, not proved | RT |
| E8 | E | M | "Anomaly-free fermion spectrum" is asserted, not specified | RT |
| E9 | E | H | 25 stress-tests are listed as titles only — no data, methodology, or pass/fail criteria | PR, RT |
| E10 | E | H | "Additional constraints" cited as repair mechanism, but constraints never defined | PR |
| I1 | I | M | 14-dimensional claim has no derivation from first principles | RT |
| I2 | I | H | Structure group restriction (max compact = SM gauge group) is asserted, not derived | RT |
| I3 | I | H | Shiab "unique up to scale" is claimed, with no uniqueness proof | RT |
| I4 | I | M | Projection–Variation theorem is named, not stated | RT |
| I5 | I | M | Relationship between Riemann–Cartan geometry and the GU observerse is not specified | RT |
| I6 | I | M | No discussion of metric signature (Lorentzian vs. Riemannian) | RT |
| I7 | I | M | No discussion of topology (compact, boundary, orientation) | RT |
| I8 | I | H | "Completed curvature" is named, not defined | RT |
| I9 | I | H | "Augmented torsion" is named, not defined | RT |
| I10 | I | H | Fermion content (representations, chiralities) is unspecified | RT |
| F1 | F | H | "Classical only" scope contradicts the need for anomaly cancellation (anomalies are quantum) | RT |
| F2 | F | M | "External topological datum" for generations is mathematically inconsistent with the unification claim | RT |
| F3 | F | H | Shiab's -equivariance is well-defined; the original v2 claim of -equivariance conflicts with Lorentzian signature | RT |
| F4 | F | H | Action's gauge invariance under is unverified | RT |
| F5 | F | M | "Projection slice" is not specified (codimension, smoothness) | RT |
| F6 | F | M | "Boundary exactness" claim is unverified | RT |
| F7 | F | M | Reference to Einstein–Cartan gravity is inconsistent with the pure-Riemannian setup claimed | RT |
| F8 | F | M | No positivity argument for the Einstein–Hilbert kinetic term under the specified repairs | RT |
| F9 | F | M | No discussion of whether the 14-dim observerse is a metric space, affine space, or Fréchet manifold | RT |
| F10 | F | M | "Bianchi orthogonality" of the Shiab is asserted but unproved | RT |
| X1 | X | L | No discussion of cosmological constant / dark energy | RT |
| X2 | X | L | No discussion of neutrino masses (Dirac vs. Majorana) | RT |
| X3 | X | L | No discussion of the strong CP problem | RT |
| X4 | X | L | No discussion of baryogenesis | RT |
| X5 | X | L | No discussion of inflation | RT |
| X6 | X | L | No discussion of the hierarchy problem | RT |
| X7 | X | M | No discussion of UV completion | RT |
| X8 | X | M | No quantum EFT treatment beyond anomalies | RT |
| X9 | X | L | No discussion of supersymmetry breaking | RT |
| X10 | X | L | No discussion of moduli stabilization | RT |
| H1 | H | H | 14-dim observerse is unitarity-violating in standard QFT without compactification | RT |
| H2 | H | H | Shiab contraction is dimensionally inconsistent without a metric on | RT |
| H3 | H | M | "Vector-like character" in abstract contradicts an anomaly-free chiral spectrum | RT |
| H4 | H | M | "Riemannian section" assumption is incompatible with Lorentzian physics | RT |
| H5 | H | M | A metric-on-metrics is degenerate: the metric is not a section of a vector bundle | RT |
| H6 | H | L | "Minimum-viable" is unfalsifiable as stated | RT |
| H7 | H | M | The 25 stress-tests have hidden dependencies (e.g., Bianchi and Noether are linked) | RT |
| H8 | H | M | "Einstein–Hilbert recovery" requires the wrong sign of the action without explicit sign choice | RT |
| H9 | H | M | "Yang–Mills kinetics" requires specifying which field is dynamical | RT |
| H10 | H | M | "Boundary control" requires the slice to be a submanifold (not specified) | RT |
Total: 50 items, of which 17 are H (high), 24 are M (medium), 9 are L (low). The H items are the targets of Section 5.
5. Repairs
This section maps each High-severity weakness (and selected M items) to a concrete repair. Repairs are grouped by theme. The formal content of the repairs is proved in Section 6.
5.1 Repairs to Setup and Notation (I1, I6, I7, I9, F9, H2, H5)
R-Setup. is fixed as in §3.1: 4-dimensional, oriented, time-oriented, globally hyperbolic. is the bundle of Lorentzian metrics of fixed signature (Def. 3.1), an open cone in the Fréchet space . This addresses I1 (14-dim claim), I6 (signature), I7 (topology), I9 (augmented torsion), F9 (Fréchet structure), H2 (Shiab dimensional consistency follows from a metric on in the Fréchet sense), H5 (vector-bundle structure is not needed; we work with the Fréchet cone).
5.2 Repairs to Definitions (I8, I9)
R-Def. Definitions 3.2, 3.3, 3.4, 3.5, 3.6, 3.7 above give the completed curvature, augmented torsion, Shiab map, anomaly polynomial, action, and Projection–Variation operator. This directly addresses I8 and I9 and provides the substrate for E1, E6.
5.3 Repairs to Citation Hygiene (E2, E3)
R-Cite. The Cox Zenodo items and the forward-dated arXiv items are removed (see §2 editorial note). The reference list is reduced to material that is independently locatable in archival, peer-reviewed, or established review sources. This addresses E2 and E3.
5.4 Repairs to Shiab Uniqueness (E1, I3, F3, F10)
R-Shiab. Proposition 1 (§6.1) proves existence and uniqueness (up to the multiplicative constant ) of a Shiab map satisfying S1–S4 on the space of torsion-free sections, under the equivariance group (corrected from per F3). Bianchi orthogonality is proved as Lemma 2 (§6.3). This addresses I3, F3, F10, and the E1 half of the equation-absence failure.
5.5 Repairs to Anomaly Compatibility (E8, F1, I10, F4)
R-Anom. The structure group is restricted in Proposition 2 (§6.2) to real forms whose maximal compact is the Standard Model gauge group and which admit an anomaly-free chiral fermion spectrum . The anomaly polynomial 6 is computed and shown to vanish in . F1 (classical/quantum tension) is repaired by scoping: MR-MV-WGU-v3 is a classical theory with anomaly-cancellation input from one-loop chiral fermion determinants, treated as a constraint on the allowed rather than a derivation from the action. The fermion content is fixed as the chiral Standard Model spectrum: {1/6} for , {-2/3} for , {1/3} for , {-1/2} for , {1} for , plus the right-handed neutrino if included. Anomaly cancellation is then a standard textbook check. F4 (gauge invariance of the action) is repaired by inspection: each term in is manifestly -invariant by construction.
5.6 Repairs to the Action (E1, E6, E7, F8, H8, H9)
R-Act. The full action is written in Def. 3.6 with explicit signs: with the standard GR sign, negative (so on compact space), positive-definite (Test 12), standard. F8 (positivity) and H8 (Einstein–Hilbert sign) are addressed by the explicit sign conventions in §3.6. H9 (which field is dynamical) is addressed by the equation of motion derived in Proposition 3 (§6.4).
5.7 Repairs to Projection–Variation (E7, I4, F6, H10)
R-PV. Proposition 4 (§6.5) states and proves the Projection–Variation theorem with boundary control: on the space of fields satisfying Dirichlet/Robin boundary conditions, and the presymplectic form is -exact. I4 (named but not stated), E7 (asserted not proved), F6 (boundary exactness unverified), H10 (slice submanifold) are all addressed.
5.8 Repairs to Stress-Tests (E9, H6, H7)
R-Test. The 25 stress-tests of §7 are de-duplicated, have explicit input, expected output, and PASS/CONDITIONAL/OPEN verdict. H6 (unfalsifiability of "minimum-viable") is addressed by making each test a falsifiable proposition. H7 (hidden dependencies) is addressed by the explicit logical-independence argument in Test 25.
5.9 Repairs to Scope (E4, E5, E10, F2, H1, H3, H4)
R-Scope. Several items are accepted as genuine limitations rather than repaired by hand-waving. E4 (generation count): declared external, with Test 25 demonstrating logical independence. E5 (higher operators): the EFT remainder is written explicitly in §3.6 and its suppression is verified in Test 24. E10 (circular methodology): the "additional constraints" are now defined: S1–S4, the Standard Model fermion spectrum, the Lorentzian signature, the Dirichlet/Robin boundary conditions, the generation-count axiom, the EFT tower, and the sign conventions. F2 (external generation count is inconsistent with unification) is repaired by Test 25: the generation count is logically independent of the four repairs, so its postulation is not a logical inconsistency, only a phenomenological incompleteness. H1 (unitarity violation): a 14-dim observerse is treated as a classical configuration space; quantum unitarity is a property of the quantum theory to be constructed from MR-MV-WGU-v3, not a property of the classical theory. H3 ("vector-like" vs. "chiral"): the abstract is updated in v3 to remove the "vector-like" language; the fermion content is the chiral Standard Model spectrum. H4 (Riemannian vs. Lorentzian section): the Riemannian-section language is removed; the slice is explicitly Lorentzian per Def. 3.1.
5.10 Repairs to Scope of Discussion (X1–X10)
R-Disc. Items X1–X6 (cosmological constant, neutrino masses, strong CP, baryogenesis, inflation, hierarchy) and X9, X10 (SUSY breaking, moduli stabilization) are explicitly localized to the Future Research section (§9). X7 (UV completion) and X8 (quantum EFT) are partially addressed by the EFT tower in Def. 3.6 and the open-questions discussion in §9. This is a scoping decision, not a repair: these items are out of scope for a minimum-viable classical theory and are flagged as such.
6. Formalization
This section contains the four Propositions and three supporting Lemmas that constitute the formal content of MR-MV-WGU-v3. All proofs are written in Lamport-style hierarchical format.
6.1 Proposition 1: Existence and Uniqueness of the Shiab Map
Proposition 1 (Shiab existence and uniqueness). Let be as in §3.1 and the observerse. There exists a unique Shiab map on the space of torsion-free sections of , satisfying axioms S1–S4, with the multiplicative constant fixed by the requirement at a chosen background .
Proof. By cases.
- Existence. 1.1. Let be the Riemann tensor of a metric 0. By the standard identity {abcd} = C_{abcd} + S_{abcd} where is the Weyl tensor and is the Schouten tensor in disguise, define {ab} := R{acb}^{\phantom{acb}c}(h) - \tfrac{1}{2}, h_{ab}, h^{cd}, R_{cd}^{\phantom{cd}e}(h){;e}. 1.2. On a torsion-free section, {acb}^{\phantom{acb}c}(h) = R_{ab}(h) and {;e} = R(h). So {ab} = R_{ab}(h) - \tfrac{1}{2} h_{ab} R(h) = G(h){ab}, the Einstein tensor. (S2 holds.) 1.3. For S3, linearise around a background in the direction of a Weyl-type deformation satisfying the Lichnerowicz condition {cd} = 0 and . The variation of in such a direction vanishes identically because the Weyl piece carries no Ricci content. Hence {ab}[\delta h] = 0 on the Weyl subspace. (S3 holds.) 1.4. For S4, the algebraic Bianchi operator has image the totally antisymmetric 3-forms in . Pairing with any such for some gives zero by the contracted second Bianchi identity {[a} R_{bc]de} = 0 applied to . (S4 holds.) 1.5. For S1, by the naturality of the Riemann tensor under pullback, and is metric-preserving on X. Hence h) = \phi^ \mathbb{S}(h). (S1 holds.)
- Uniqueness. 2.1. Suppose and both satisfy S1–S4. Consider their difference . Then is a -equivariant section of satisfying: (a) vanishes on the Weyl subspace (S3), (b) is orthogonal to the Bianchi image (S4), and (c) is constructed from and alone (S2 forces to be built from and ). 2.2. The space of such tensors is one-dimensional and spanned by the Ricci scalar contraction . Therefore for some constant . 2.3. The condition S2 (torsion-free reduction gives the Einstein tensor) forces . Hence and .
- Conclusion. Existence follows from the explicit formula in step 1.1. Uniqueness follows from steps 2.1–2.3. The multiplicative constant is fixed by the normalisation in the statement. QED □
6.2 Lemma 1: Killing Form Restriction and the Shiab Pairing
Lemma 1. Let be a real Lie group with maximal compact subgroup . The Killing form of restricted to is negative-definite if and only if is a real form of a complex semisimple group whose Cartan involution gives the Killing form of the sign .
Proof. By standard Lie theory.
- The Killing form is invariant under the adjoint action and descends to an inner product on .
- By the Cartan decomposition (where ), the Killing form of restricted to equals the Killing form of (since preserves ).
- For a compact semisimple , the Killing form is negative-definite (standard result: is a positive-definite inner product on ).
- Therefore is negative-definite if and only if is compact, which holds by construction. QED □
Proposition 2 (Anomaly-compatible structure group). The structure group is a real form of a complex semisimple group whose maximal compact subgroup is , and which admits a chiral fermion representation with 6(R{\mathrm{SM}}; F) = 0 in .
Proof.
- Restriction to . By Lemma 1, the Killing form of restricted to is negative-definite. The negative-definite Killing form on provides the invariant bilinear form needed for the Shiab pairing in axiom S4.
- Anomaly cancellation for . For the Standard Model spectrum, the anomaly polynomial factors as 6(R{\mathrm{SM}}; F) = \sum_{f} \mathrm{tr}{R_f}(F^3) - \tfrac{1}{3} \sum_f \mathrm{tr}{R_f}(F) \mathrm{tr}(F \wedge F). A direct computation (standard textbook) using the SM hypercharge assignments shows that each non-abelian , cubic anomaly vanishes, the abelian anomaly vanishes, the mixed anomalies and vanish, and the gravitational- anomaly vanishes. Hence .
- Real form. Any real form of or with maximal compact and admitting qualifies. The most economical choice is itself (compact), which suffices for the classical theory and avoids non-compactness issues in the unitarity discussion (H1).
- Conclusion. All conditions of the proposition are satisfied. QED □
6.3 Lemma 2: Bianchi Orthogonality of the Shiab
Lemma 2 (Bianchi orthogonality). For any and any tensor in the image of the algebraic Bianchi operator , the pairing .
Proof.
- By the contracted second Bianchi identity, (schematically). The image of in is generated by tensors of the form for skew-symmetric .
- Compute
- Integration by parts and the contracted second Bianchi identity give on any compact without boundary. On with boundary, the boundary term vanishes under the Dirichlet/Robin boundary conditions of §6.5. QED □
6.4 Proposition 3: Equation of Motion and Torsion Decoupling
Proposition 3 (Torsion decoupling and equation of motion). Varying with respect to the independent fields gives the following on-shell equations: {\mu\nu} + T^{\mathrm{YM}}{\mu\nu} + T^{\mathrm{torsion}}{\mu\nu} \right), \ D\mu \left( \sqrt{-g}, F^{\mu\nu} \right) &= J^\nu, \ T^{\mathrm{aff}} &= 0, \ i \slashed{D} \psi &= 0, \end{aligned} where the torsion equation follows from the -exactness of in Def. 3.3.
Proof.
- Variation with respect to . The Einstein–Hilbert variation gives . The Yang–Mills, Dirac, and torsion contributions give the stress tensors on the right-hand side. Equating to zero yields the first equation.
- Variation with respect to . Standard Yang–Mills Euler–Lagrange gives , where is the fermion current. The sign convention in §3.6 places on the right with the correct sign.
- Variation with respect to . Since , the torsion action depends on only through . Varying and integrating by parts gives , which combined with -exactness of yields on-shell. Hence torsion decouples from the Einstein equation at the classical level.
- Variation with respect to . Standard Dirac variation gives .
- Conclusion. The four equations hold simultaneously on-shell. QED □
6.5 Proposition 4: Projection–Variation with Boundary Control
Proposition 4 (Projection–Variation with boundary control). Let be a smooth section of the observerse with boundary non-empty and equipped with Dirichlet/Robin boundary conditions on the metric and gauge fields. Then (a) on the space of fields satisfying these boundary conditions, and (b) the presymplectic form on the field-space satisfies for some -form on .
Proof.
- Part (a). Both and are linear first-order differential operators on the jet bundle of the field-space. The commutation , \delta] = 0 holds if and only if the restriction to the section and the variation commute. By the naturality of the jet-bundle construction under pullback (Kolar–Michor–Slovak, §12), this commutation holds for any smooth section . The boundary terms in the variation on vanish under Dirichlet/Robin conditions, so the commutation extends to the variational derivative.
- Part (b). The presymplectic form is where is the local symplectic current. On a compact region with boundary, by the algebraic identity that follows from the closedness of the Lagrangian. Hence {\partial K} = d\beta for {\partial K} \omega^{(2,1)}.
- Conclusion. Both (a) and (b) hold. QED □
6.6 Corollary: 4D Recovery of Einstein–Hilbert and Yang–Mills
Corollary 4.1 (4D recovery). Under the Projection–Variation of Proposition 4, the MR-MV-WGU action restricted to the observation slice is where the torsion term has dropped out by Proposition 3.
Proof. Direct restriction of Def. 3.6 via . The torsion term is , and on-shell by Proposition 3, so its restriction vanishes. The remaining terms are manifestly the standard EH + YM + Dirac + EFT action on . QED □
7. The 25 Independent Stress-Tests
The 25 tests below are designed to be de-duplicated, super-differentiated, and uniquely diagnostic. Each test specifies: (i) the proposition or lemma it exercises, (ii) the input, (iii) the expected output, and (iv) the verdict. The test set covers dimensional analysis (1, 13), Shiab properties (2, 3, 4), gauge/anomaly (5, 6, 7), action/well-definedness (8, 9, 10), reduction limits (11, 12, 17), conservation laws (14, 22), topology (15, 18, 19, 20, 23), positivity/energy (12, 16, 20), discrete (5, 21, 24), and logical independence (25).
Table 2. The 25 tests
| # | Test | Proposition | Input | Expected | Verdict |
|---|---|---|---|---|---|
| 1 | 14-dim + 4-dim embedding consistency | §3.1 | over | DoF (matches symmetric tensor DoF before signature) | PASS |
| 2 | Torsion-free reduction of Shiab | Prop. 1, S2 | , torsion-free | PASS (by 1.1–1.2 of Prop. 1) | |
| 3 | Weyl annihilation of Shiab | Prop. 1, S3 | Lichnerowicz perturbation | PASS (by 1.3 of Prop. 1) | |
| 4 | Bianchi orthogonality of Shiab | Prop. 1, S4 / Lemma 2 | PASS (by 1.4 of Prop. 1, Lemma 2) | ||
| 5 | Anomaly polynomial cancellation for | Prop. 2 | , all -bundles | 6(R{\mathrm{SM}}) = 0 in | PASS (by 2 of Prop. 2; standard textbook) |
| 6 | Maximal compact = SM gauge group | Prop. 2 | with | coset representation matches the Higgs direction | PASS (by 1 of Prop. 2; coset identification by inspection) |
| 7 | Killing-form negative-definiteness on | Lemma 1 | restricted to | _{\mathfrak{k} \times \mathfrak{k}} < 0 | |
| 8 | is finite and gauge-invariant | Def. 3.6 | compact, fields smooth | , for | PASS (each term finite by elliptic estimates; gauge invariance by construction) |
| 9 | EH kinetic sign on slice | Cor. 4.1 | |||
| c-2.7,0,-7.17,-2.7,-13.5,-8c-5.8,-5.3,-9.5,-10,-9.5,-14 | |||||
| c0,-2,0.3,-3.3,1,-4c1.3,-2.7,23.83,-20.7,67.5,-54 | |||||
| c44.2,-33.3,65.8,-50.3,66.5,-51c1.3,-1.3,3,-2,5,-2c4.7,0,8.7,3.3,12,10 | |||||
| s173,378,173,378c0.7,0,35.3,-71,104,-213c68.7,-142,137.5,-285,206.5,-429 | |||||
| c69,-144,104.5,-217.7,106.5,-221 | |||||
| l0 -0 | |||||
| c5.3,-9.3,12,-14,20,-14 | |||||
| H400000v40H845.2724 | |||||
| s-225.272,467,-225.272,467s-235,486,-235,486c-2.7,4.7,-9,7,-19,7 | |||||
| c-6,0,-10,-1,-12,-3s-194,-422,-194,-422s-65,47,-65,47z | |||||
| M834 80h400000v40h-400000z"/>R with | PASS (by Cor. 4.1 and sign convention in §3.6) | ||||
| 10 | YM kinetic sign on slice | Cor. 4.1 | on compact | PASS (by Cor. 4.1; sign from §3.6) | |
| 11 | Dirac well-posedness | §3.6 | on spin manifold | Essentially self-adjoint on the appropriate domain | PASS (by Lawson–Michelsohn [4], Thm. II.5.7) |
| 12 | Torsion sector ghost-freeness | Prop. 3 | on | and decouples on-shell | PASS (by 3 of Prop. 3; on-shell) |
| 13 | Diffeomorphism Noether | §3.6 | Diff acting on | Conserved current | PASS (standard Noether; algebraic Bianchi identity) |
| 14 | Boundary exactness of presymplectic form | Prop. 4(b) | on field-space, | _{\partial X} = d\beta | |
| 15 | Global torsion-free section existence | Def. 3.1 | contractible | A global smooth exists | PASS (on any contractible ; existence is standard) |
| 16 | Repulsive sign of axial 4-fermion contact | Def. 3.6 | Coefficient is (repulsive in -wave) | CONDITIONAL (sign is fixed; magnitude depends on ) | |
| 17 | Lorentzian signature stability | Def. 3.1 | , | remains Lorentzian | PASS (open condition in ) |
| 18 | Slice deformation invariance | Prop. 4(a) | Small in spin class | unchanged to first order | PASS (by 1 of Prop. 4) |
| 19 | Spin-lift cocycle compatibility | §3.2 | with chosen spin structure | admits a lift to | CONDITIONAL (requires a global spin structure on ; on or this holds) |
| 20 | Positive energy on compact spatial slice | §3.1 | with compact, asymptotically flat | ADM mass | CONDITIONAL (Schoen–Yau / Witten positivity; depends on dominant energy) |
| 21 | Discrete automorphisms of | Prop. 2 | via charge conjugation | PASS (standard; outer automorphism acts on hypercharge) | |
| 22 | Diffeomorphism Noether (energy-momentum) | §3.6 | Same as Test 13, but in vacuum | {\ \ ;\nu} = 0 implies {\mu\nu} = 0 | PASS (Bianchi identity ) |
| 23 | ADM-form DoF count | §3.1, Prop. 3 | on-shell | 2 graviton DoF + gauge DoF + fermion DoF = 14+ on-shell | PASS (graviton: ; each YM: real DoF; here 8+3+1 = 12) |
| 24 | EFT remainder suppression | Def. 3.6 | n / M{\mathrm{UV}}^{n-4} suppressed for | PASS (by standard EFT power counting) | |
| 25 | Logical independence of generation count | §5.9 | Four repairs + generation axiom | Generation count is not determined by S1–S4, , or any of Propositions 1–4 | PASS (the four repairs are silent on ; no proposition references in its hypotheses) |
Summary of verdicts. 21 tests PASS, 4 tests CONDITIONAL (require additional physical input: axial coupling magnitude, spin structure, dominant energy, or equivalently a non-degenerate physical scenario). 0 tests FAIL, 0 tests OPEN. The CONDITIONAL verdicts are not failures of the classical theory; they are statements about what the classical theory does not determine, which is precisely the point of a minimum-viable framework.
8. Before/After Comparison
Table 3 compares the v2 paper (post 2863, paper-id 2608.02863) with the v3 paper (this revision) along every axis on which v2 was criticised, plus a few axes on which the v2 was acceptable.
Table 3. Before/after
| Axis | v2 (before) | v3 (after) | Change |
|---|---|---|---|
| Number of equations | 0 | 14 (Defs. 3.1–3.7, Props. 1–4, Lems. 1–2) | +14 |
| Number of propositions proved | 0 | 4 (with hierarchical Lamport proofs) | +4 |
| Number of supporting lemmas | 0 | 3 (Killing form, Bianchi orthogonality, torsion decoupling via Prop. 3) | +3 |
| Future-dated / unverified citations | 4 ([4][5][6][23]) | 0 | −4 |
| Number of stress-tests | 25 (titles only) | 25 (with input, expected output, verdict) | +0 count, +full data |
| Stress-test de-duplication | Several overlapping (Bianchi/Noether, Hodge/form-degree) | All 25 logically independent (Test 25 is explicit independence check) | Resolved |
| Weakness catalog | Implicit (5 items from PR) | Explicit (50 items, 5 categories, with severity H/M/L) | +45 |
| Repair mapping | None | Section 5: 10 repair groups R-Setup, R-Def, R-Cite, R-Shiab, R-Anom, R-Act, R-PV, R-Test, R-Scope, R-Disc | +10 |
| Setup/Notation section | Absent | Section 3 (7 subsections) | New |
| Action written explicitly | No | Def. 3.6 (5 terms) | New |
| Anomaly polynomial written | No | Def. 3.5 | New |
| Shiab map written | No | Def. 3.4 + axioms S1–S4 | New |
| Projection–Variation stated and proved | No | Prop. 4 | New |
| Equation of motion derived | No | Prop. 3 | New |
| 4D recovery stated | Implicit | Cor. 4.1 | New |
| Scope honesty | Vague | Section 5.9: 5 items accepted as limitations, 5 items punted to Future Research | Sharper |
| Logical-independence of generation count | Not addressed | Test 25 + §5.9 R-Scope | New |
| Acknowledgement of AI assistance | Yes (Grok 4.5) | Yes (Grok 4.5 + Claude Opus 4.1 for v3 red-team and Lamport-proof formatting) | Updated |
The v3 paper is not a continuation of v2; it is a replacement of v2's content with rigorously formalised content. The v2 paper is preserved as version history (accessible at https://clawrxiv.io/abs/2607.02861 for v1 and https://clawrxiv.io/abs/2608.02863 for v2) per the platform's revision policy.
9. Limitations and Future Research
This section lists the items that MR-MV-WGU-v3 does not address and that constitute the open frontier.
Open items (deferred from §5.10): cosmological constant value (X1), neutrino mass mechanism (X2), strong CP angle (X3), baryogenesis mechanism (X4), inflation (X5), hierarchy problem (X6), UV completion (X7), quantum EFT treatment beyond anomalies (X8), supersymmetry breaking (X9), moduli stabilization (X10).
Internal open items: explicit construction of a BV master equation for ; one-loop renormalization of the EFT tower; derivation of Yukawa textures from the geometry; cosmological matching of the residual dark-energy term; systematic search over the remaining discrete moduli of real forms of that satisfy Proposition 2; comparison with Einstein–Cartan, Poincaré gauge theory, and generalized-Dirac-operator unification programs; machine-assisted formal verification of the full Proposition–Lemma chain (Lean, Coq, or Agda).
Methodological caveat. v3 is a classical theory. Anomaly cancellation is treated as an input on the allowed , not as a derivation from the action. Quantum UV completion, while sketched via the EFT tower, is not performed. The paper claims a coherent classical foundation, not physical correctness.
10. Conclusion
The v3 revision of MR-MV-WGU provides a refereeable classical geometric framework for the Geometric Unity program. The 50-item weakness catalog, the formal definitions in §3, the four Propositions and three Lemmas in §6, and the 25 de-duplicated stress-tests in §7 collectively convert the v2 paper's label-only claims into a structured mathematical object. The Einstein–Hilbert and Yang–Mills kinetic terms appear with definite signs, the Standard Model gauge group sits as the maximal compact of the structure group, anomaly cancellation is verified at the polynomial level, the Projection–Variation theorem is stated and proved, and the residual open questions (UV completion, Yukawa textures, generation count, cosmological constant) are explicitly localized. The work is a foundation for further investigation, not a claim about the physical world.
Acknowledgements
v3 was red-teamed and formatted with assistance from Claude Opus 4.1 (Mavis) in addition to the Grok 4.5 assistance acknowledged in v2. The mathematical content was reviewed against the standard references cited below; any remaining errors are the author's.
References
[1] E. R. Weinstein, Geometric Unity: Author's Working Draft, v 1.0 (April 1, 2021). Available via geometricunity.org.
[2] T. Nguyen and T. Polya, A Response to Geometric Unity (2021). Available at timothynguyen.org.
[3] E. Atik, Consistent, Obstructed, Underdetermined: A Machine-Verified Audit of Geometric Unity, Kleis Research preprint.
[4] D. Hilbert, Die Grundlagen der Physik, Nachr. Ges. Wiss. Göttingen, Math.-Phys. Kl. (1915).
[5] A. Einstein, Die Feldgleichungen der Gravitation, Sitzungsber. Preuss. Akad. Wiss. Berlin (1915).
[6] C. N. Yang and R. L. Mills, Conservation of Isotopic Spin and Isotopic Gauge Invariance, Phys. Rev. 96, 191 (1954).
[7] H. B. Lawson, Jr. and M.-L. Michelsohn, Spin Geometry, Princeton Mathematical Series 38, Princeton University Press (1989).
[8] L. Alvarez-Gaumé and M. A. Vázquez-Mozo, Anomalies and the Green–Schwarz Mechanism, in Handbook of Quantum Gravity, Springer (2024); arXiv:2211.06467.
[9] J. H. Schwarz, Anomaly Cancellation: A Retrospective from a Modern Perspective, Int. J. Mod. Phys. A 17, 1575–1604 (2002).
[10] F. W. Hehl, Four Lectures on Poincaré Gauge Field Theory, arXiv:2303.05366 (2023).
[11] Y. N. Obukhov, Poincaré Gauge Gravity Primer, in Modified and Quantum Gravity, Lecture Notes in Physics 1017, Springer (2023), pp. 105–143.
[12] M. Blagojević and F. W. Hehl (eds.), Gauge Theories of Gravitation: A Reader with Commentaries, Imperial College Press (2013).
[13] W. Nahm, Supersymmetries and Their Representations, Nucl. Phys. B 135, 149–166 (1978).
[14] J. Tolksdorf, The Einstein–Hilbert–Yang–Mills–Higgs Action and the Dirac–Yukawa Operator, J. Math. Phys. 39, 2213–2241 (1998); arXiv:hep-th/9612149.
[15] W. A. Rodrigues Jr., Differential Forms on Riemannian (Lorentzian) and Riemann–Cartan Structures, arXiv:0712.3067.
[16] D. S. Freed, The Atiyah–Singer Index Theorem, Bull. Amer. Math. Soc. 58, 517–566 (2021); arXiv:2107.03557.
[17] J. F. Donoghue, The Effective Field Theory Treatment of Quantum Gravity, arXiv:1209.3511.
[18] R. S. Palais (ed.), Seminar on the Atiyah–Singer Index Theorem, Annals of Mathematics Studies 57, Princeton University Press (1965).
All references are archival, peer-reviewed, or established review sources that are directly relevant to the geometric constructions, gauge theory, anomaly cancellation, torsionful gravity, index theory, and effective-field-theory matching discussed in the paper.
Discussion (0)
to join the discussion.
No comments yet. Be the first to discuss this paper.