# Front A Reading - Functional Equation Reflection as Receipt Scaffold > Draft reading note for the Riemann ledger Front A. Filed 2026-05-28 after > Probe 01 v1 and its audit clarification. This is not an RH claim, not a new > explicit formula, and not a spectral-realization proposal. ## Entry And Gate This note enters from [`SUNDOG_V_RIEMANN.md`](../SUNDOG_V_RIEMANN.md) after the Probe 01 v1 Path (i) receipt: > The natural Riemann symmetry is the functional-equation reflection > `s -> 1 - s`. Under the Z2 descent, gap-level zero-pair features are > identity-even by construction. The Front-A question is whether that same > reflection can still serve as a useful receipt scaffold on smoothed explicit > formulae, where the object is not a mirrored pair of ordinates but a > pre-registered decomposition of test-function contributions. The audit result is the gate: > If the reading only re-labels standard even-test-function practice, or if all > zero residuals are identity-zero by construction with no independent > falsifier, the Front-A reading is vacuous. Record, do not rescue. Draft verdict: **vacuity not yet adjudicated.** The reading produces a candidate distinction between forced parity cancellation and arithmetic residual, but it requires an explicit-formula cell set before it can count as a Sundog artifact rather than commentary. Cell-set status: v0 filed at [`RIEMANN_C1_CELLSET_V0.md`](RIEMANN_C1_CELLSET_V0.md). It pins a Gaussian even row, an odd negative-control row, and a mixed laundering-guard row, but it is unreviewed and unrun. Internal audit update: the v0 cell set appears to operationalize the vacuity rather than escape it, because the explicit formula is linear in the test function. Without reviewer rescue, expected disposition is `R-C1-NEG-A` or `R-C1-NEG-D`; the useful survivor is the `R-C1-NEG-B` hygiene guard against identity-zero laundering. A nonlinear pair-correlation lane is scoped at [`NONLINEAR_PAIR_CORRELATION_LANE.md`](NONLINEAR_PAIR_CORRELATION_LANE.md). ## Claim Boundary This note does **not** claim: - a proof or disproof of RH; - a new explicit formula; - a new trace formula; - a Hilbert-Polya operator; - a structural-zero receipt for Riemann zeros; - that Sundog replaces Montgomery-Odlyzko / GUE statistics or the Connes adele-class-space program. It claims only a reading and a falsifiable audit surface: 1. the completed zeta function's reflection symmetry is the natural Z2 object for any Sundog parity analysis in this lane; 2. Probe 01 v1 showed that applying this symmetry directly to `(gap, |center|)` zero-pair features produces identity-zero residuals, not empirical signal; 3. a non-vacuous Front-A artifact, if one exists here, must separate **forced parity cancellation** from **informative residual** in a smoothed explicit-formula setting with pre-registered kernels, cutoffs, and error floors. All prior-art boundaries for this note live in [`RIEMANN_LITPASS_MEMO.md`](../RIEMANN_LITPASS_MEMO.md), especially Track B and the Connes competitor note. ## Reading 1 - Reflection Gives A Scaffold, Not A Result The functional equation gives the completed zeta object a reflection symmetry. On the critical-line parametrization, this is naturally read as a parity structure in the ordinate variable. In the safest symbolic form: ```text critical-line readout: t <-> -t admitted symmetry: Z2 = {identity, reflection} ``` This is enough to define a decomposition of registered test data into even and odd sectors. It is not enough to produce a v0.3h structural-zero receipt, because the D3-standard sector that carried "absent by construction" in K_facet is not present here. The only safe Front-A use is therefore methodological: ```text even sector = terms invariant under the registered reflection odd sector = terms changing sign under the registered reflection receipt = a pre-registered statement about which sector is forced to cancel and which residual remains after truncation floors ``` This is a scaffold for reading formulae. It is not new mathematics by itself. ## Reading 2 - Probe 01 v1 Is The Negative Control Probe 01 v1 mirrored each positive-zero pair: ```text (gamma_i, gamma_{i+1}) -> (-gamma_{i+1}, -gamma_i) ``` For the registered features, this makes: ```text gap' = gap |center'| = |center| density' = density unfolded_spacing' = unfolded_spacing ``` So the zero residual is algebraic: ```text |unfolded_spacing - unfolded_spacing'| = 0 ``` The reading consequence is useful precisely because it is deflationary: > Any future Path (i) claim that only replays this gap / absolute-height > symmetry is a vacuous pass. It belongs in the receipt ledger as a null, not > in the claim ledger as evidence. This is the Front-A discipline the receipt earned: it tells us where the obvious Z2 descent has no bite. ## Reading 3 - Where The Scaffold Could Have Bite The explicit formula relates zero-side sums to prime-side sums under a chosen test function or smoothing kernel. The lit-pass already records that this machinery is mature. Sundog's possible contribution is not the formula. It is the operational discipline: - declare the exact smoothed formula form before running; - decompose the registered test function into reflection-even and reflection-odd parts; - name which cancellations are forced by symmetry before inspecting data; - name the truncation and numerical floors; - publish the residual, including the null. The candidate non-vacuous object is: ```text forced parity cancellation != arithmetic residual ``` A forced cancellation is allowed to be identity-zero. It must be labeled that way. An arithmetic residual is allowed to pass or fail a threshold. It must not borrow credibility from a forced cancellation. ## Candidate Cell Set For The Next Pass Before any Probe 03-style smoothed trace run, pin a small cell set: 1. **Formula form.** One explicit formula normalization, cited by source before execution. 2. **Kernel family.** One even kernel and one odd perturbation, both analytic or otherwise admissible for the chosen formula. 3. **Cutoffs.** A zero cutoff and a prime cutoff, fixed before inspection. 4. **Parity prediction.** Which sector is identity-zero by symmetry and which sector is a residual-bearing check. 5. **Error floor.** A truncation / numerical floor independent of the observed residual. 6. **Disposition branch.** The exact condition that files vacuity, residual breach, or bounded operational receipt. Suggested first cell, pending reviewer preference: ```text Formula: smoothed explicit formula in a standard Weil / Burnol-compatible form Kernel: Gaussian even kernel plus a single odd perturbation Window: small finite zero window + matched prime cutoff Output: parity ledger: forced cancellations, residual rows, truncation floor ``` The v0 instantiation of this sketch is [`RIEMANN_C1_CELLSET_V0.md`](RIEMANN_C1_CELLSET_V0.md). It is intentionally not executable yet. It is the thing an analytic number theorist should be able to reject quickly if it is merely standard bookkeeping. ## Named Negatives File the negative rather than widening the scope if any branch triggers: - **R-C1-NEG-A: Front-A vacuity.** The reading reduces to "use even test functions because the functional equation is symmetric," with no added receipt discipline beyond ordinary careful exposition. - **R-C1-NEG-B: identity-zero laundering.** A forced cancellation is presented as an empirical residual pass. - **R-C1-NEG-C: floor failure.** The truncation or numerical floor cannot be fixed independently of the observed residual. - **R-C1-NEG-D: competitor dominance.** Connes / standard explicit-formula treatments already supply the exact operational distinction being claimed, making Sundog's reading redundant. ## External Review Path Promotion requires an analytic number theorist familiar with explicit formulae and zero statistics to check three questions: 1. Is the parity/cancellation reading faithful to the chosen explicit-formula normalization? 2. Does the forced-cancellation versus residual distinction add anything beyond standard test-function bookkeeping? 3. Is the proposed cell set reviewable without smuggling in RH, a spectral realization, or a new trace formula? Until that review is complete, this artifact status is **draft reading note**. ## Cross-File Consequences If this note survives review: - update Probe 03 as an operational-residual receipt, not a new projection; - keep Probe 02 deferred or voided unless a separate representation bridge is defended; - update the Riemann ledger with a reviewed Front-A reading artifact. If this note fails review: - file `R-C1-NEG-A` or the relevant named negative in the Riemann ledger; - do not use functional-equation reflection as a Sundog-specific Riemann edge; - keep Probe 01 v1 as a clean null / vacuity-boundary receipt. ## Status - Drafted: 2026-05-28. - Inputs: lit-pass memo, representation bridge notes, Probe 01 v1 receipt and audit clarification. - Cell set: [`RIEMANN_C1_CELLSET_V0.md`](RIEMANN_C1_CELLSET_V0.md), drafted 2026-05-28. - Internal audit: linearity-vacuity finding recorded in the cell set; nonlinear pair-correlation lane opened at [`NONLINEAR_PAIR_CORRELATION_LANE.md`](NONLINEAR_PAIR_CORRELATION_LANE.md). - Execution: none. - Review: none. - Promotion: blocked on external sanity check and a pinned explicit-formula cell set.