Overview
This article follows O18 and sets out to remove a further layer of implementation dependence: the claim that the amplitude of the pair observable of O16–O17 still depends on the O12/O13 Gram–Schmidt pipeline normalisation, through a residual integer factor $r(c,q)$.
O19 proves two elementary, generic facts about the Gram–Schmidt span tracker: the residual increment is invariant under a global phase multiplying the seed vector, and the cumulative span equals the rank of the orbit matrix. Both hold for essentially any Gram–Schmidt construction and do not by themselves establish anything about O19's proposed normalisation.
The motivating premise fails on inspection: on the exact O12/O13 block observable, the conjugate-triple identity is exact, so the ratio the paper sets out to classify is identically $1$ — there is no residual factor to normalise on the real pipeline. O19's own discussion of $r(c,q)$ is carried out instead on a scalar-character seed-orbit construction that replaces O12's real triple-indexed frequency-set pipeline, and its normalisation factor $D$ is defined tautologically against an unspecified reference span rather than extracted from that pipeline.
The paper's two classification tests, varying the initial basis (P2) and varying the block instance (P3), are described and their expected outcomes assumed, but neither test is actually carried out: the pipeline-independence proposition that depends on their results contains an explicit “TO BE COMPLETED” placeholder. A separate asymptotic power-law corollary also contradicts the paper's own finite-dimensional saturation result for the cumulative span.
What O19 establishes
- Phase-invariance lemma: the Gram–Schmidt residual increment is invariant under global phase multiplication of the seed vector. This is a generic property of Gram–Schmidt orthogonalisation, not specific to O19's construction.
- Span–rank identity: the cumulative span $\Sigma^{(c)}(n)$ equals the rank of the orbit matrix. Again generic linear algebra.
- Conditional slope invariance: multiplying a genuine power law by a shell-independent constant leaves its log–log slope unchanged. This is an algebraic tautology; O19 does not establish that its proposed factors are shell-independent, or that the real pipeline contains them.
What O19 does not establish
- The motivating residual factor, on the real pipeline: the exact O12/O13 observable has conjugate-triple equality, hence ratio $1$; there is nothing for O19's $r(c,q)$ discussion to normalise away there. That discussion is instead carried out on O17's restricted toy model.
- $D$ as an extracted pipeline quantity: O19 defines $D=\Sigma/\Sigma_{\mathrm{ref}}$ against an unspecified reference span, which does not expose any implicit factor already present in O12/O13. The paper also substitutes a scalar-character seed-orbit construction of its own for O12's real triple-indexed frequency-set pipeline.
- The asymptotic power-law corollary: the same section proves the cumulative span reaches $q$ and saturates, then separately asserts $\Sigma(n)\sim A\,n^{\delta}$ as $n\to\infty$. Both cannot hold with positive $\delta$ on a fixed finite group.
- The central-phase mechanism: corrected O12 proves exact algebraic blindness to the central coordinate. O19's phase-coherence explanation and metaplectic-basis prescription therefore cannot describe the O12/O13 rank statistic.
- The basis test (P2) and instance test (P3): both are described, and their classification outcomes are used, but neither was actually performed; they remain labelled open problems in the paper's own text. The pipeline-independence proposition that relies on them contains an explicit “TO BE COMPLETED” proof.
- A canonical pair observable independent of pipeline conventions: since the motivating factor, its extraction, and the classification tests are all unestablished for the real pipeline, no such observable is constructed for O12/O13.
Interpretation
O19 does not alter the fibre-level observable discussed in O16, O17, and O18, and it does not remove pipeline dependence from it.
- O16: conjugate blocks are fibres of $\Pi$ only under two independent, open hypotheses
- O17: conjugate Weil blocks are exactly block-independent within a scalar toy model, not shown for the real pipeline
- O18: the Born–Infeld action is even; this does not derive the fibre structure of $\Pi$
- O19: two generic Gram–Schmidt identities are proved; the residual-factor classification and canonical observable are not established for the real pipeline
The conceptual point is that O19's entire normalisation programme is motivated by a factor that does not arise on the real O12/O13 observable in the first place. Its analysis of $r(c,q)$ is carried out on a toy model and on a substitute seed-orbit construction, neither of which is shown to describe the pipeline it is meant to canonicalise.
Relation to the Cosmochrony program
O19 inherits the two open bridges left by corrected O16 and O17, and does not close either of them. It proposes a normalisation construction for a residual factor whose presence on the real pipeline it does not establish.
The programme's registry (see program) records O19's generic linear-algebra identities as proved, and its canonical pair observable, residual factor $r(c,q)$, and pipeline-independence claim as open, on the same footing as the O16 hypotheses it was meant to discharge.
Current outcome and open directions
Generic Gram–Schmidt identities survive: phase invariance of the residual increment, and equality of cumulative span with orbit-matrix rank. The residual factor, the completed classification tests, and the pipeline-independent canonical observable are not established for the real pipeline: generic linear algebra is proved, the canonical observable remains open.
Two things would need to be supplied to make progress: an extraction of a genuine residual factor directly from the O12/O13 pipeline, rather than from a toy model or a substitute construction; and an actual completion of tests P2 and P3, rather than an assumed classification of their outcomes.
Downstream, O20 and O21 should not be read as building on a closed canonical observable: that step remains open, exactly as left by O16 and O17.
References
Jérôme Beau. Canonical Pair Observables in Weil Blocks: Structure of the Residual Amplitude Factor and Pipeline-Independent Formulation.