argument-selection.md

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

2545 bytes, as of the version from 2026-11-09 16:19 (current). Recorded here, not run.

# Argument selection for T693

The only free parameter is the integer asymptotic correction order `ell`, with
full domain ell >= 0. Its role is `discrete_index`: it indexes the successive
terms in one fixed asymptotic expansion, not evaluations of a continuously
variable function. The stored selection is the consecutive prefix 0 <= ell <= 60,
in increasing order. There are no omitted orders and no sign filtering.

This is a useful reference for successive truncations of the large-order
expansion of the normalized Taylor coefficients g_n of the order-zero
Bettin–Conrey reciprocity function. The prefix includes the leading term,
the six explicitly printed coefficients, all orders before the first negative
coefficient at 50, and ten further orders that show its neighboring behavior.
The cutoff 60 is a practical, noncanonical reference choice, not an intrinsic
threshold or a size target. The measured written values stay short at 100
significant digits; exact supporting polynomials are attachments rather than
a second quantity in the table.

Breadth was assessed before depth: both signs and every residue class of the
order are included, and no continuous input families are silently omitted.
The order-zero sum, the centre 1 fixed by reciprocal inversion, the positive
constant pi and the coefficient normalization are fixed parts of the definition.
The Taylor coefficients themselves are a different named sequence in T692.
The argument n in the asymptotic formula tends to infinity; it is not a second
stored parameter. Auxiliary polynomial indeterminates are not sampled inputs.
No exploratory reference_sample or mixed groups are present.

Checked sources: Akatsuka–Murakami, arXiv:2402.14216v1, equations (1.1), (1.2),
(1.6), (5.1), (5.2), Remark 1.2 and the proof of Corollary 5.6; DLMF 10.17.1
for the normalization of the Hankel coefficients. The issue #308 family map
and live T692, T639–T642, T13, T14, T569, T570 and T209 were read. Their
quantities, finite coverage and conventions do not duplicate this selection.

This reassessment uses the archived current skill, not the proposal as an
instruction to reproduce a range. The manifest is
`agents/runs/20261109T154709Z-build-skills/manifest.json`. Both versions have
SHA-256 `886390324dd1971e381a43cf3b46b822ab0bc67d62f31d8481e29ec79556746b`;
`skill-evidence.json` records the manifest and each read version. An independent
critique must assess this selection and bind its own sidecar to the live draft
and generate.py. This build does not write that acceptance.