GARDEN-041CLOSED_CLASSICALS1
GARDEN-041 · Brun’s constant
RERUN FROM EXECUTED OVERLAY RECORD · STANDING CLOSED_CLASSICAL
| context |
WHAT THIS CERTIFICATE RECORDS, IN PLAIN TERMS. Brun's constant is overlaid on the MuncyNautics frame: the seat names WHERE the problem lives in the frame, the species (S1 — The Ceiling) names WHAT KIND of owe its residual is, the forbidder is the executed witness — the rare entry already CLOSED classically, included as the anchor for entry 2. Brun proved the sum converges, meaning twins are sparse enough to sum — and crucially this does NOT decide whether they are infinite. Measured here: 2371 twin pairs below 224,737 give a partial sum of 1.687832 against the accepted constant 1… — and the structured residual states exactly what remains open: NONE — proven by Brun in 1919. It marks the boundary: convergence is not finiteness, and mistaking one for the other is the classic error this Codex exists to avoid… Standing is honest: SUPPORTED means the overlay reading is demonstrated and measured but the named residual is not yet discharged. Method: MuncyNautics Seam Recovery, Derrick E. Muncy. |
|---|---|
| schema |
MN-RECOVERY-CERTIFICATE-1.1 |
| certificate_id |
MN-CERT-GARDEN-041-RERUN-20260830 |
| supersedes |
MN-CERT-GARDEN-041-INTAKE-20260830 (intake stub: all channels NOT_COMPUTED) |
| job_id |
GARDEN-041 |
| title |
Brun's constant |
| author |
Derrick E. Muncy |
| method |
MuncyNautics Seam Recovery Method v1.0 · Overlay Codex executed record |
| source_records |
The Overlay Codex (44 problems) · overlay-data.js (project record) · Overlay Codex, Annals format |
| species |
S1 — The Ceiling |
| overlay_verb |
pair |
| seat (the address the overlay assigns) |
the twin census summed — Σ(1/p + 1/(p+2)) over twin pairs, whose FINITENESS is Brun 1919 and is proven |
| forbidder / executed witness |
the rare entry already CLOSED classically, included as the anchor for entry 2. Brun proved the sum converges, meaning twins are sparse enough to sum — and crucially this does NOT decide whether they are infinite. Measured here: 2371 twin pairs below 224,737 give a partial sum of 1.687832 against the accepted constant 1.902160583, still 11% short and converging as 1/ln exactly as expected. The pairing is the point — a convergent sum over a (conjecturally) infinite set is the frame's energy·coenergy closure in miniature |
| governing_equation_as_projected (the seam) |
Σ(1/p + 1/(p+2)) over twins — the sum audited for finiteness |
| complete_governing_equation (the repair) |
PROVEN (Brun 1919): convergence kept as the energy·coenergy closure in miniature — a convergent sum over a (conjecturally) infinite set; measured partial 1.6878 vs 1.9022, converging as 1/ln; convergence is NOT finiteness — the boundary marker |
| structured_residual |
NONE — proven by Brun in 1919. It marks the boundary: convergence is not finiteness, and mistaking one for the other is the classic error this Codex exists to avoid |
| correction_rule |
Correction = reconstruction from the recovery: restored arguments, seats, phases and arms in the equation itself. No raw appended constants; any finite term must be derived from the recovered channels, never fitted. |
| phase_retained |
True — seat, verb, and species carried; no bare-magnitude reduction performed |
| precision |
Measured figures in the witness computed cold in double precision on the session record; classification exact (no numeric claim promoted beyond its precision) |
| falsifier |
Classical record (proven/disproved) — falsifier discharged by the literature cited in the witness |
| standing |
CLOSED_CLASSICAL |
| promotion_authority |
GREEN_CLASSICAL — closed on the classical record; no MN claim required |
| honesty_state |
EXACT (classical) |
| generated_utc |
2026-08-31T03:05:49.533Z |