back to table · edit · history · where entries came from · files · download
2060 bytes, as of the version from 2026-11-10 23:40 (current). Recorded here, not run.
# Argument selection for T711
The sole free parameter is N, an integer N>=1, the index in Báez-Duarte's
published R_N (arXiv:math/0011254v1, §4.1, pp.16–17, definition immediately
before Proposition 4.3). The source was inspected directly. Category:
**discrete_index**. There is no free continuous coupling. Locations k/N,
weights M(floor(N/k))/k and the endpoint k=N-1 are fixed by that definition.
The target is log(x) on (0,1), zero elsewhere, and the norm uses dx.
The selected entries are every N=3,...,100, in increasing order. N=1,2 both
have identically zero approximants and exact squared error 2; these are
explained in Comments and checked, rather than stored as generic matches.
No other indices are pruned: squares, nonsquarefree endpoints and M(N)=0
are included. A consecutive prefix covers successive changes in the Mertens
floor pattern and the ordinary integer construction, rather than only famous
or unusually good approximants. There are no other argument families within
this one-quantity table requiring a separate slice.
100 is a noncanonical cost bound: the quadratic Gram sum has fewer than
10,000 terms per index; the independent periodic partition has fewer than
3,100 rational endpoints at the largest index. This supports comprehensive
independent 100-digit checking within a modest attachment/table size. It is
not an intrinsic endpoint or an entry-count target. The natural domain is
unbounded, hence complete: no. Enumerator, Programs and completeness note
must retain this same prefix. No exploratory probability grid or campaign
excluded quantile/critical-value family is involved.
T709 has different weights and indicator target; T640 supplies an ingredient,
not these aggregate errors. Their live metadata was refreshed before creating
T711. No companion values are precision-bearing inputs.
Policy: ../20261110T232855Z-build-skills/manifest.json, matching bundle SHA-256
d6661c2f21613524889fa3a57d3c95f8330344ca62e5a856211c08a282b7dbab.
This is the builder's justification, not the independent selection verdict.