# T554 build handoff

Built and filled the private draft https://numberdb.org/T554, “Interior conformal radius of regular Euclidean and ideal hyperbolic polygons”. It contains 56 proven real values at 100 significant digits, ordered by geometry (euclidean, ideal-hyperbolic), then n=3,...,30. It has not been published, offered or reviewed. The controller must arrange a separate independent critique and any repair before offering it.

## Instructions and selection

The family was read with `python3 agents/queue.py show 222` before building. Both archived skills were read and matched. Manifest: `agents/runs/20261027T171124Z-build-skills/manifest.json`, copied into the attachments as skill-manifest.json. SHA-256 for both skill-local.md and skill-live.md: `e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c`.

The generator preserves the family's unit-circle vertices, centre zero, positive derivative, geometry identities, parameter order and increasing n. argument-selection.md separately justifies both discrete groups. The cutoff 30 is editorial, covering contiguous symmetry orders beyond the elementary cases before extending deeply towards the disk. There is no sampled continuous input and no exploratory grid. The geometry is a domain argument of one named quantity, not a quantity selector.

## Computation and checks actually performed

- 461-bit Arb Gamma arithmetic, with rational arguments constructed exactly and a 128-bit guard; the worst entry retained 455 bits of relative accuracy.
- Repository dry_run.py/check.py passed for all 56 entries. Written 100-digit values have maximum length 102 characters; serialized flat records total 9366 JSON bytes. The dry run measures the higher-precision ball displays separately (156 characters maximum, approximately 11.9 KB).
- Exact rational comparisons show that all 56 serialized decimal intervals contain their complete Arb balls.
- Independent smooth beta-integral quadrature without Gamma/beta evaluations, at 130 and 170 decimal digits, checked every value. Controls B(1,1)=1, B(1/2,1/2)=pi and B(1/3,2/3)=2*pi/sqrt(3) passed before each set. Maximum relative difference from an Arb midpoint: less than 2.7e-131.
- The Euclidean area formula from Barnard–Hadjicostas–Solynin equation (1.5) passed for n=3,...,30 at 600 bits. Strict r(H_n,0)<r(P_n,0)<1 passed throughout.
- Both n=4 values agree with a separately iterated, rigorously bracketed AGM. The AGM(1,1)=1 control passed first.
- The Programs snippet was executed and agreed on all 56 entries.
- Generator.verify(sample=None) reported 56/56 matched, zero differing/missing/extra. The stored entries were then independently checked against all quadratures and ball enclosures, all 28 cross-geometry identities and both AGM identities.
- The audit prompted moving the detailed domain construction from Definition to Comments. All Numbers and Parameters were compared exactly before and after this prose-only change. verification-status.json records that comparison; numerical-evidence.json retains the exact earlier readback document hash.

The numbers were filled once using the final document containing the numberdb serializer's checked output. The reproducible Generator is attached and verifies those entries. The source formulas and sources are documented in source-notes.md. The publisher and author PDF endpoints were unreachable; the complete paper was read via a public full-text mirror. No definition was guessed.

## Audit disposition and pending decisions

The final site audit still has two documented flags, detailed in audit-disposition.md. The structural named-parameter warning is a question that applies to this two-domain argument family; the shared quantity is explicitly r(D,0). The polygon tag warning uses the published count and excludes drafts; its published destination is T17, not T554. Retain this precise existing tag pending independent assessment. No automated check was bypassed or changed, and clean=true is not claimed.

The family proposes a new “conformal geometry” tag for T553 (logarithmic capacity), T554 (interior conformal radius), and the remaining proposal “Uniformization radius of the plane punctured at roots of unity”. The tag was absent in /tags and has not been created in this build. Existing analysis, polygon and special values tags are used. T553 was still unpublished when checked, so no public cross-link to it was added; connect the companion tables when their publication states permit it.

The corpus screening and sample lookups found no duplicate family. The Euclidean-square value appears in T348 in a hypergeometric context; that is not duplicate computation and no repeats property was declared. The proposal has not been marked built by this actor, because the controller's separate stages remain pending.

## Independent critique interface

Review both geometry groups and all numerical claims. The selection-defining source is generate.py; argument-selection.md explains it, and checks.py is the reproducible evidence program. The build fingerprint records all three attachment hashes without declaring acceptance. An independent critic must obtain a fresh fingerprint and write its own required -arguments.json beside its designated critique report, with the critic's NUMBERDB_RUN_ID as reviewer_run. This build creates no critique sidecar, review verdict, offer or controller completion receipt.