Skip to content
ASTRAL GATELaboratory

Bug / correction ledger

Withdrawn, repaired, and reclassified

October corrections sit above the September ledger. Confirmation is no longer an undated running scan. A blanket trace pass is not the current claim. Older stamps stay, with their dates.

  1. 2026-10-09

    Blanket massless skip omitted nonzero tail coefficients

    massless specialization drops every logarithmic and rational tail→18 nonzero log coefficients and 6 nonzero rational-tail coefficients restored

    105 stored expressions specialize exactly to massless Schwarzschild. A notebook reparse found 21 log cells and 15 rational-tail cells. The skip was an implementation error, not a statement that those coefficients vanish. Older scalar PASS stamps keep their dates and tolerances.

  2. 2026-10-09

    Archived static-mode outer boundary had the wrong sign and denominator

    γ = +α(3α+2)/(2α−1)→γ = −α(3α+2)/(2α+1), with α = ℓ+1 and M = 1

    For ℓ = 0 those are +5 versus −5/3. Fresh static modes use exact Legendre solutions. Exact g00 = log(r/(r−2))/8 = 0.05068313851352055 against archived 0.05068410711710673. That mode shifts φ² by about 1.22675×10⁻⁸, most of the old/new scalar difference. The archived first derivative is close to exact, so the offset is not itself the earlier derivative discrepancy.

  3. 2026-10-09

    A blanket TRACE PASS is not the current claim

    TRACE PASS as a universal current stamp, including “complete m=6” and “no blockers”→TRACE_R6_NUMERICAL_PASS_UNDER_EMPIRICAL_BUDGET at r=6M only

    The residual 1.5474844313788875×10⁻¹¹ exceeds the scalar-only allowance 5.251546195221486×10⁻¹² and is covered by the combined allowance 3.861830391164996×10⁻⁹, which is dominated by the inherited PMR estimate. Historical conformal trace machinery is a different lane. Minimal coupling is not relabeled as conformal.

  4. 2026-10-09

    Current self-cancellation uses the average, not the 19 September sum

    unnormalized T_λ[H] = H(ω)+H(ω+λ/2) as the undated current operator→T_λ[H] = (H(ω)+H(ω+λ/2))/2, applied to the running integral, finite support only

    The 19 September unnormalized sum stays as dated history. Normalized repeated multi-frequency operators were already in the 3 October records. Finite-support success is not an infinite-support proof. ABEL_PRODUCTION_VALIDATED stays false in that sense. This is not a claim that a paper or its tables are wrong.

  5. 2026-10-09

    The confirmatory scan is no longer running

    undated CONFIRM SCAN RUNNING / CNG NOT YET→narrow pass on 2026-09-21 · global structure still not established

    As written on 20 September the window had not been computed. On 21 September this pipeline recorded C1–C6 PASS on ω∈[10.40,10.90], ε₁=37.5 fixed. C5 was corrected to joint-H1 transfer plus a fresh target cubic. Discovery D=FAIL and F=CRITERIA_GAP stay. OUR_NUMERICAL_CNG_STRUCTURE_CONFIRMED stays false.

  6. 2026-10-07

    Published-curve agreement is not full tensor validation

    independent benchmark agreement not yet, or a 12/12 agreement read as HH RSET→DIG_AGREE 12/12 narrow · MRX_R_INVALID retained · HH_INDEPENDENT_RSET false

    Component values at r=5.5, 6, 6.5, and 7 agree with digitized published curves within stated tolerances. Those table values are not in the public JSON. r=5 remains ANALYSIS_R_INVALID under analysis v1.0. A supplementary v1.1 pass does not replace it. The stored r=6 conservation diagnostic passes its primary tolerance and is not Ward closure.

  7. 2026-09-20

    F is CRITERIA_GAP, not HOLD; overall is UNCLASSIFIED_CRITERIA_GAP

    F=HOLD / CNG_STRUCTURE_NOT_RESOLVED under frozen rules→F_CRITERIA_GAP · OFFLINE_RESCORE_UNCLASSIFIED_CRITERIA_GAP

    A_obs > p99 but A_obs/A_med≈3.28 < 5. Frozen F rules did not define that combination. The overall decision table did not define A/B/C/E PASS + D FAIL + F CRITERIA_GAP. Do not retroactively alter thresholds. Historical D=FAIL is retained.

  8. 2026-09-20

    Original CNG surrogate discriminator retired

    use the first surrogate-normalized spectral-magnitude test for a CNG verdict→INVALIDATED_DO_NOT_USE_FOR_CNG_DECISION

    Phase-randomized power-preserving surrogates cannot detect the target sinusoid (synthetic ε₁ ratio ∼1.013). The old rule also selected ε₄=135.5 by surrogate ratio instead of argmax |P|. Actual dominant projection is ε₁=37.5 by 6.72×. Do not retune the old discriminator.

  9. 2026-09-19

    Large-ω |F_reg| growth is the expected pre-GI remainder, not a missing F_sing term

    certified |F_reg| growth through ω=12 looks like a subtraction bug / decaying tail still expected after F_sing→GROWTH_EXPECTED_PRE_GI · DECAY_EXPECTED_POST_SUBTRACTION not selected

    Levi–Ori t-splitting subtracts only the local coincidence polynomial. Remote caustic oscillations remain. Levi (2017) at r=6M: F_rr^Reg amplitude ∝ ω^{5/2}. Ordinary ∫ F_reg dω need not converge. A missing leading ω³ term is disfavored by certified ω=8 |F_reg|/|F|_tt ≈ 0.0124. Do not fit a power law on {8,10,12}. Do not run Abel.

  10. 2026-09-19

    Sparse ω=10,12 accepted; not frequency-support convergence

    ω≤8 is still the high-ω ceiling / a decaying tail has been shown / frequency support has converged→CERTIFIED_POINTWISE_DOMAIN_TO_OMEGA12 = PASS_CONDITIONAL_ON_ELL_GATE · DECAYING_HIGH_OMEGA_TAIL_DEMONSTRATED = FALSE · FREQUENCY_SUPPORT_CONVERGED = FALSE

    Both ω=10 and ω=12 are ANGULAR_ACCEPTED with confirmation under the frozen adaptive gate and predeclared L_ceiling=180. |F_reg^tt| grew relative to ω=8. This is not a dense spectrum, not Abel, and not an HH RSET reproduction. L* for 10 and 12 is not published.

  11. 2026-09-19

    Adaptive angular-convergence gate prospectively validated

    under-resolved frequency points could enter later integration merely because the radial/mode calculation completed→ADAPTIVE_GATE_PROSPECTIVE_PASS · silent accept forbidden · ANGULAR_UNRESOLVED at ceiling

    The gate requires healthy cancellation, D_ℓ < 0.05 in tt/rr/θθ, and two consecutive passing ΔL=15 windows. Prospective unused-ω test at ω=7 selected L*=90. Confirmation at L=105 left F_reg unchanged. Not Abel production. Not HH RSET.

  12. 2026-09-19

    ω=8 late-settling plateau closed as the same ℓ-support problem

    ω=8 cancellation at L=75 still looked like a separate systematic versus L=60→ANGULAR_PLATEAU_STATUS = PASS

    Dedicated staircase with a frozen D_ℓ < 0.05 rule: L=75 vs 60 FAIL; L=90 vs 75 PASS; L=105 vs 90 PASS. Not a new high-ω pathology.

  13. 2026-09-19

    Apparent high-ω PMR blow-up isolated as insufficient ℓ-support

    PMR_HIGH_OMEGA_INPUT_VALIDITY = FAIL (blanket high-ω pathology)→historical FAIL retained · ELL_SUPPORT_CAUSE_SUPPORTED = TRUE · PMR_HIGH_OMEGA_INPUT_VALIDITY = UNESTABLISHED_BEYOND_OMEGA12

    Fixed ℓ_max ≈ 35 probes failed for ω ≳ 5. A precision/rtol ladder disfavored ordinary float64/ODE noise. Changing ONLY ℓ_max at ω=8, r=6M, ξ=5 restored cancellation at L=75. The original FAIL is retained as chronology step 01. Old under-resolved high-ω points must not be used as production Abel input.

  14. 2026-09-19

    Global Ward sign patch rejected

    a single universal sign error might repair Ward HOLD→WARD_GLOBAL_SIGN_FIX = REJECTED · WARD_DEV = HOLD · TRACE_DEV = PASS

    Latest residual localization indicates there is no single universal sign error. Near horizon: derivative / connection terms dominate depending on decomposition. Farther out: angular anisotropy becomes important. Internal Ward-RMS diagnostics remain labeled NOT PROOF OF THE LITERATURE SIGN.

  15. 2026-09-19

    Mτ lane paused; not the live frontier

    Mτ EXTERNALLY REVIEWABLE as live B1 frontier→PAUSED_PENDING_EXTERNAL_CLARIFICATION · SIGN_VERDICT = UNRESOLVED · not the live instrument frontier

    Internal derivations 3/3 PLUS. Public archaeology UNKNOWN. Production sign not flipped. Author note unsent. Live instrument work moved through the PMR angular gate to the analytic large-ω expectation audit.

  16. 2026-09-19

    Casimir route recorded CLOSED

    (not previously advertised as live on this site)→CASIMIR_ROUTE = CLOSED

    Not a live production path. Do not revive as a current claim. History is retained.

  17. 2026-09-19

    ~10⁷² species route withdrawn

    (not previously advertised as viable on this site)→SPECIES_10E72_ROUTE = WITHDRAWN

    Withdrawn. Do not advertise as viable. A later PASS elsewhere does not restore this route.

  18. 2026-09-19

    Rig-1 hardware / procurement frozen

    (not a live procurement claim)→RIG1_HARDWARE = FROZEN

    Hardware and procurement remain frozen. Not a physics result.

  19. 2026-09-15

    Displayed mixed-time formula is a potential, not a confirmed, literature error

    possible internal referee-operator bug / possible confirmed published-table error→EXTERNALLY REVIEWABLE · NOT CONFIRMED · PRODUCTION_SIGN_FLIP = NO

    The +d²/dΔτ² operator bug was REFUTED. Independent symbolic and numerical packs recover a DERIVED PLUS under the printed conventions versus a displayed MINUS. That does not establish that the authors' private numerical code used the displayed sign, and it does not imply that published RSET tables are wrong.

Say the weaker true thing

NotYes
numerical CNG confirmed / we have confirmed the connecting-null-geodesic structuresubstantial numerical evidence for the predicted ε₁ CNG oscillatory structure; discovery, not confirmation; confirmatory scan running
the old surrogate discriminator can be retuned / ε₄=135.5 is the dominant CNG modeINVALIDATED_DO_NOT_USE_FOR_CNG_DECISION; dominant predeclared projection is ε₁=37.5 by 6.72×
F is HOLD / overall is CNG_STRUCTURE_NOT_RESOLVED under frozen rulesF_CRITERIA_GAP; OFFLINE_RESCORE_UNCLASSIFIED_CRITERIA_GAP; D=FAIL retained
pointwise decay of F_reg is required after F_sing / invent a new local subtraction term to force decayASYMPTOTIC_STRUCTURE_MIXED remains the correct classification; sparse growth through ω=12 is not automatically subtraction failure; GLOBAL_CONFIRM = FALSE
the paper is wrong / the authors made an error / confirmed sign error / published tables contain a confirmed sign errorindependently reproducible potential sign inconsistency in a displayed mixed-time formula; externally reviewable; not confirmed; archaeology unknown; lane paused
RSET validated / Hartle–Hawking reproduced / Abel production validated / Howard reproducedpre-RSET stack and PMR instrument gates have passed inside stated domains; B1_HH_REPRODUCTION_CLAIMED = FALSE; ABEL_PRODUCTION_VALIDATED = FALSE
a traversable gate has been demonstrated / a self-consistent semiclassical throat has been found / Branch G worksGATE = NO; Branch G is OPEN only in the audited-theorem sense, not viable and not dead
the latest PMR numbers are physical RSET measurementsthe latest PMR numbers are angular-gated frequency-point diagnostics, not an HH RSET
ω≤8 is still the high-ω ceiling / sparse 10/12 is a dense certified spectrumcertified pointwise domain to ω=12 is conditional on the ℓ gate; not every integer ω≤12 is certified; L* for 10 and 12 is not published
certified |F_reg| growth proves a missing F_sing termleading ω³ omission is disfavored by ω=8 |F_reg|/|F|≪1; remainder is the object GI is for; GI has not been run
old fixed-ℓ high-ω PMR data are trustworthy production Abel inputhistorical high-ω FAIL is retained; under-resolved points must not enter Abel