back to table · edit · history · where entries came from · files · download
4600 bytes, as of the version from 2026-11-11 08:15 (current). Recorded here, not run.
# T714 build evidence (no independent verdict)
Quantity and selection are documented in argument-selection.md and the live
mathematical definition. The only created/filled table is T714. It must remain
private and unoffered until controller-led independent scientific and argument
reviews succeed. The builder does not write either independent verdict.
Instructions: coordinated archive
../20261111T015755Z-build-skills/manifest.json, copied as skill-manifest.json;
matching bundle SHA-256 d6661c2f21613524889fa3a57d3c95f8330344ca62e5a856211c08a282b7dbab.
All archived resource hashes were recomputed and verified before the build.
One archived core and its six task-relevant references were read.
Generator: generate.py; Sage 10.9, Python 3.12.3, numberdb 0.1.10.
The DLMF product-series method and rigorous integrated tail are derived in
computation.md. At 100 significant digits, N=160 and 614 working bits give
44 finite native RealBall values with minimum accuracy 552 bits. Endpoints
are reconstructed in ball arithmetic; their uncertainty is propagated.
The decimal intervals contain the complete certified enclosures. See
offline-rows.json, offline-summary.json, runtime-versions.json and
serialization-check.json. No exact values were inferred from decimal patterns.
Deterministic existing checks: agents/table-build/dry_run.py and check.py.
They pass every generated row, imports, native enclosure/type checks, suspicious
exactness, prose and size checks. Report: deterministic-checks.log. The measured
raw ball block is 10.8 KB with longest entry 202 characters; no size exception.
Independent implementation: checks.py, mpmath 1.4.1, direct transformed
quadrature t=x exp(-v) at 140 decimal digits for all 44 values. Four cases
(1,9,a), (5,5,a), (8,2,a), (8,2,2a) are repeated at 175 digits. This shares
the mathematical definition and exact endpoint formula, but neither Arb nor
the generator's series, tail code or polynomial arithmetic. Its agreement is
numerical corroboration; the rigorous enclosure is justified separately.
Additional checks: two H_(1,2) dilogarithm evaluations; eight direct
harmonic-weighted central-binomial series with 400 terms (CGLXZ eq. (2.5),
z=1/4, p=1..8); eight duplication relations with pure-sinh boundaries
recomputed directly, never read from T713; the incomplete-beta generating
function at alpha=1/3, beta=2/5, x=a. The series ratio approaches 1/4;
these independent numerical checks do not certify their own quadrature error.
Known controls H_(1,1)(a)=-a and the nonzero H_(1,2) dilogarithm pass.
Deliberately wrong sign, shifted interval, NaN, infinite and vacuously wide
intervals are all rejected. Results: check-results.json.
Readback checks: stored-rows.json derives exact decimal intervals from the
live draft. stored-check-results.json tests those intervals against the saved
independent quadrature references and reruns the identities, with all linear
combinations propagating stored radii. The code hash and parameter identities
bind reusable references. verify.log records all-entry generator reproduction;
verify() is not independent mathematical validation.
Presentation: browser_check.py renders the actual authenticated live HTML with
public assets, preserving credentials outside the browser. browser-results.json
records all 44 decimals, all formulas and internal citations, and four visible
Similar tables relationships with verified targets. T713 is still an offered
private sibling: its public page returns 404, while authenticated metadata and
page reads succeed. The other three targets are public and return 200.
companion-link-check.json preserves the distinction; no publication is implied. Screenshots and rendered
text remain in the run's artifact directory. No old keyed Similar tables mapping
was used; the document has a supported list of sentences.
Audit assessment: the only live finding treats x labels logphi and 2logphi as
two named quantities. These are two exact real inputs of the same H_(m,n)(x),
not quantity switches. The parameter has type R, the definition and comments
specify both endpoints, and the generator reconstructs them. The heuristic
finding does not justify splitting or renaming this table. No actionable
mathematical or presentation fault remains in the builder's checks.
History provenance: creation and amendments retain the exact proposal #317
and contributes-to #263 URLs. This is partial progress and not an issue closure.
Engine codex-cli, model gpt-6-astra, run 20261111T015755Z are upload attribution,
not hard-coded generator authorship. No sibling table has been edited.