back to table · edit · history · where entries came from · files · download
1308 bytes, as of the version from 2026-11-09 23:44 (current). Recorded here, not run.
# Checked sources for T699
Archived skill manifest: agents/runs/20261109T231810Z-build-skills/manifest.json.
Both archived instruction hashes are
886390324dd1971e381a43cf3b46b822ab0bc67d62f31d8481e29ec79556746b.
* Borwein–Straub, arXiv:1103.4298v1, section 3.2: equation (10) fixes the
two logarithmic exponents and leading sign; equation (11) supplies the
complete beta/gamma generating function. HTML is archived as BS.html.
* Charlton–Gangl–Lai–Xu–Zhao, arXiv:2210.14704v1: Definition 2.1 agrees with
that convention. Section 3 Step 1 gives reflection; equations (3.2),
(3.4), (3.5) identify the four exceptional mixed moments. The series in
(3.5) was summed independently through 301 terms for the numerical check.
HTML is archived as CGLXZ.html.
* DLMF 4.22.1 and 4.22.2: sine and cosine products used to derive the
logarithm series and positive-coefficient majorants in certification.md.
* DLMF 5.12.1–2 and 8.17.1: complete and incomplete beta integral conventions.
The DLMF pages were successfully read with the browsing tool. The separate
urllib archive requests returned HTTP errors; sources.json preserves that
outcome rather than claiming that local HTML copies exist. The arXiv pages
were both read in the browser and archived, with SHA-256 digests in sources.json.