back to table · edit · history · where entries came from · files · download
1419 bytes, as of the version from 2026-11-02 20:37 (current). Recorded here, not run.
# T684 audit disposition
The final audit has one finding, the structural question about two symbolic
values of `normalization`. Its `clean` field is false; this is preserved in
the evidence rather than suppressed.
The definition now explicitly states that these are two conventions for one
Petersson self-product. The Formulas section gives the invertible conversion
P_integral(f) = mu(N) P_index-normalized(f), with
mu(N) = [SL_2(Z):Gamma_0(N)] = N product_{p|N}(1+1/p). Both conventions are
required by family issue 303 and are explicitly permitted by the canonical
skill's one-number-in-two-conventions rule. Every pair was checked after
reading the values back from NumberDB. Splitting these rows into separate
tables would discard the requested convention relationship.
The audit implementation intentionally does not read prose when emitting
this question; `numberdb_app/test_audit_one_quantity.py` documents that limit.
Clarifying the definition therefore answers the question for the independent
critic without making the structural message disappear. No parameter was
recoded as a number and no audit code or gate was changed to suppress it.
The other initial finding, a long definition, was resolved by moving the
integral and conversion identities to Formulas. All 276 stored numerical
strings remained byte-for-byte identical. No independent critique or human
review acceptance is claimed by this note.