T485-repair-evidence.md

back to table · edit · history · where entries came from · files · download

2329 bytes, as of the version from 2026-10-25 12:01 (current). Recorded here, not run.

# T485 repair evidence

Both findings in agents/critiques/T485.md still applied to the authenticated live document fetched on 2026-10-25. The public API concealed the table and /T485 returned 404: it remains a private draft. Its owner-session page is unavailable in this API-key session. Two partial previews through the site's read-only /preview renderer cover the changed formulas and completeness note; they do not establish the full private-page layout.

For finding 1, Band, Bersudsky and Fajman, Section 2, explicitly index the right-isosceles spectrum by nonnegative integers with m >= n. Their legs have length pi; inverse-square scaling gives the pi^2 factor for legs of length one. https://arxiv.org/pdf/1507.03410v1

Laugesen, Pan and Son, Section 6 and Table 2, give the unit-side equilateral spectrum and its symmetric modes indexed by integer pairs with m <= n. Exchanging the two indices leaves m^2+mn+n^2 unchanged and gives the table's k <= j convention. Restriction to the bisecting altitude gives the hemiequilateral domain with hypotenuse one. https://files.ele-math.com/articles/mia-15-32.pdf

The independent read-only check_t485_repair.py ran through agents/sage.sh on Sage 10.9. All 40 right-triangle entries agree with the integer-index multisets at 512-bit Arb precision, including multiplicities. The 38 positive-value balls fit strictly inside the stored decimal intervals; the two zero modes are exact integers. The omitted-index lower bound exceeds the twentieth coefficient in each family. The check neither imports nor changes the original generator and does not certify the circular spectra.

For finding 2, the live companion page and API document resolve the existing slug Dirichlet_eigenvalues_of_the_classical_planar_domains. Its domain list includes the annulus, L-shape, two Gordon-Webb-Wolpert drums, and regular pentagon through octagon. None occurs among T485's nine domain groups. The repair removes only the account of the run and adds the existing companion link within Data properties.

The Numbers section, parameters and every section other than the two formulas and complete-note are preserved. The existing attached generator is left in place; the repair adds this check and its results. No numerical generation, extension, publication, review, or offer for review is performed.