# CORDIS / TRUE_MINIMUM

## Technical second-reader note

**Request:** one formal mathematician or computational geometer independently audits a small exact construction. No endorsement of its wider program is implied.

### The construction

CORDIS begins on the minimum real carrier \(V=\mathbb R^2\) with

\[
C_1=\begin{pmatrix}0&-1\\1&0\end{pmatrix},\qquad
Q=\begin{pmatrix}1&1\\1&0\end{pmatrix},\qquad
\Omega=-C_1.
\]

The exact root closes through

\[
C_1^2=-I,\quad C_1^4=I,\quad Q^2=Q+I,\quad
G=[C_1,Q]=\begin{pmatrix}-2&1\\1&2\end{pmatrix},\quad G^2=5I,
\]

and \(\operatorname{Alg}_{\mathbb R}(Q,C_1)=M_2(\mathbb R)\). Two root-derived involutions compose to an orientation-preserving golden carriage \(L\). The projective chart

\[
\xi_{\mathrm{ax}}(z)=\frac{\Phi-z}{z-\Psi}
\]

conjugates that carriage to dilation and yields Fermi coordinates in which the quotient is a hyperbolic cylinder, \(d\lambda\) is harmonic, its core period has magnitude \(2\log\Phi\), and \(\lVert d\lambda\rVert=\operatorname{sech}\delta\). Quotient position can return while lifted address, ordered provenance, and append-only execution receipt continue.

### What already exists

- a 33-page canonical paper with explicit type and scope walls;
- an executable browser witness: <https://cordis-true-minimum.anthonycoppa.chatgpt.site>;
- exact source checks and append-only computational receipts;
- a cross-field realization atlas that marks every bridge **exact**, **conditional**, **declared**, or **open**.

The candidate is **not** being asked to endorse every physical or philosophical implication. The first job is to attack the finite mathematical spine.

### The bounded first audit

On a first read:

1. reproduce or falsify the planar operator closure and reflection factorization;
2. audit the projective and hyperbolic orientation conventions, including the sign of forward carriage;
3. verify the Fermi metric, quotient, harmonic return form, and period;
4. identify every hidden hypothesis or category error;
5. mark the first failed line, or state that the finite spine merits a full audit;
6. return one of three outcomes: **reject**, **repair**, or **continue**.

Reads never overwrite the state they read. A correction is retained as evidence, not hidden. Falsification is a successful outcome.

### Best fit

Useful expertise includes real and symplectic linear algebra, Möbius and \(PSL_2(\mathbb R)\) actions, hyperbolic geometry, dynamical systems, covering spaces/cohomology, harmonic forms, or formal proof. Proof-assistant experience is especially valuable. Traditional affiliation is optional; exactness, intellectual independence, and the ability to collaborate across formal boundaries are not.

This first request is deliberately small. It asks for no money, affiliation, indefinite labor, or judgment outside the displayed construction. A correction is a useful result.

### Contact

Anthony Coppa — independent researcher and builder of CORDIS.  
Canonical paper, source, verification materials, and a short audit map are available immediately.