Overview
This article follows O17, which left open why the minimal fibre of the non-injective projection $\Pi$ should be an involution at all. O18 proves one elementary fact cleanly: the Born–Infeld effective action depends on $\chi$ only through $F^2=(D\chi)^2$, hence $S_{\mathrm{BI}}[-\chi]=S_{\mathrm{BI}}[\chi]$. This is a genuine symmetry of the action.
An action symmetry is not, by itself, a statement about the fibres of $\Pi$: equality of a response functional for $\chi$ and $-\chi$ would define an observational equivalence relation chosen by the paper, not a proof that the independently postulated map $\Pi$ has exactly those equivalence classes. O18's argument for the stronger claim — that every fibre of $\Pi$ contains exactly $\{\chi,-\chi\}$ — compares the response of $\chi$ and $-\chi$ under opposite perturbations $\eta$ and $-\eta$, not under the same perturbation required by its own indiscernibility definition. The gap is not a technicality: the simplest even functional, $S(x)=x^2$, already gives $S(x+\epsilon\eta)\ne S(-x+\epsilon\eta)$ in general, so the inference does not hold as stated.
The paper's second step, identifying the abstract involution $\chi\mapsto-\chi$ with the Weil conjugation $c\mapsto q-c$, supplies no map from substrate configurations $\chi$ to character labels $c$. This is exactly O16's second open premise, restated rather than derived.
What O18 establishes
- Born–Infeld action parity: $S_{\mathrm{BI}}[\chi]$ depends only on $F^2=(D\chi)^2$, hence \[ S_{\mathrm{BI}}[-\chi]=S_{\mathrm{BI}}[\chi]. \] This is elementary and correct.
What O18 does not establish
- The BI-indiscernibility corollary, as proved: the argument compares $\chi$ under a perturbation $\eta$ with $-\chi$ under $-\eta$, not $-\chi$ under the same $\eta$ that the paper's own definition requires. Closure of the admissible perturbation set under $\eta\mapsto-\eta$ shows the set is symmetric; it does not turn that setwise pairing into pointwise equality at fixed $\eta$.
- That action symmetry determines the fibres of $\Pi$: even granting indiscernibility for every response functional considered, this defines an equivalence relation chosen by the paper. It does not prove that the independently postulated projection $\Pi$ has exactly those equivalence classes as fibres.
- The stated minimality theorem: its hypothesis already assumes that parity is the only effective equivalence; its conclusion restates that assumption. It does not derive a property of $\Pi$.
- The Weil-level identification $c\leftrightarrow q-c$: complex conjugation of $\rho_c$ reverses representation phases, but no map from substrate configurations $\chi$ to character labels $c$ is supplied. Asserting that $\rho_{q-c}=\overline{\rho_c}$ realises $\chi\mapsto-\chi$ restates O16's second open premise rather than deriving it.
- Any downstream numerical claim: since the fibre and Weil identifications are open, O18 does not close the pair-observable problem left by O16–O17, and does not establish a value for $\delta_{\mathrm{pair}}$.
Interpretation
O18 does not change the pair observable introduced in O16 and analysed in O17. It also does not supply the derivation of the fibre structure that would have justified it independently.
- 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$ or identify it with $c\leftrightarrow q-c$
The parity/fibre and substrate/character identifications remain open exactly as in O16 — restated with a Born–Infeld vocabulary, not closed by it.
Relation to the Cosmochrony program
O18 imports the structural necessity of non-injective projection and the Born–Infeld selection of the effective action, and correctly derives one elementary symmetry from them. It does not supply the missing bridge from that symmetry to a proved statement about the fibres of $\Pi$, nor the missing map from substrate configurations to Weil character labels.
The programme's registry (see program) records O18's action-parity lemma as proved, and its fibre and Weil identifications as open, on the same footing as O16's open premises.
Current outcome and open directions
The Born–Infeld action's parity is established. The identification of that parity with the fibre structure of $\Pi$, and with the Weil conjugation $c\mapsto q-c$, is not: both remain open, exactly as left by O16.
A derivation of either identification — from first principles within Cosmochrony, or from an explicit, independently motivated map between substrate configurations and Weil character labels — would close a genuine gap in the programme. It has not yet been supplied.
References
Jérôme Beau. Minimal Fibre Structure of the Non-Injective Projection from Born–Infeld Indiscernability: Derivation of the Parity Involution.