Skip to content
ASTRAL GATELaboratory

VAL-B1-EXTCOORD-RSET-4PT · HOLD · NOT A B1 PASS

Four-Point Hartle–Hawking RSET Development Certification

Initial four-point assembly machinery exists. RSET_ASSEMBLY_DEV and FOUR_POINT_DEV remain HOLD. The historical trace machinery is not the 9 October minimal-coupling comparison at r=6M. Production sign is not flipped. The 35-row grid stays locked. Abel production is not validated. Tensor components stay HOLD.

RSET ASSEMBLY DEV = HOLDFOUR_POINT DEV = HOLDWARD HOLDABEL FALSEPRODUCTION GRID LOCKED

Checkpoint ladder

  1. ASSEMBLY

    RSET source assembly

    PASS

  2. ASSEMBLY

    Synge reconstruction

    PASS

  3. REFEREE

    Direct TBO referee source

    PASS

  4. REFEREE

    Angular referee

    PASS

  5. IDENTITY

    Trace

    PASS

  6. IDENTITY

    Ward

    HOLD

  7. SCOREBOARD

    Howard four-point comparison

    HOLD

  8. LITERATURE

    Mτ displayed-formula question

    EXTERNALLY REVIEWABLE · PAUSED

  9. DEV

    RSET assembly DEV

    HOLD

  10. DEV

    Four-point DEV

    HOLD

  11. SCOREBOARD

    Production grid

    LOCKED

Assembly machinery PASS is not an RSET validation. Ward and Howard 4pt remain HOLD. The displayed mixed-time formula is a separate externally reviewable literature/reproducibility question, now paused.

Preferred next internal action: do not flip the production Mτ sign. Do not run Abel. Continue to hold RSET_ASSEMBLY_DEV, FOUR_POINT_DEV, and WARD_DEV.

No 35-row production grid. This website task does not launch the computation.

Qualifiers

  • Do not mark any RSET result PASS.
  • B1 remains PARTIAL.

Updated 2026-09-19. All checkpoints · VAL-B1-SCALAR-TRACE-R6 · VAL-B1-PMR-CNG-CONFIRMATION · VAL-B1-PUBLISHED-HH-CURVES · VAL-B1-HADAMARD-E-CANDIDATE · VAL-B1-PMR-CNG-DISCOVERY · VAL-B1-PMR-ASYMPTOTIC-AUDIT · VAL-B1-PMR-ANGULAR-GATE · VAL-B1-MTAU-SIGN-REPRO · VAL-B1-EXTCOORD-HH · VAL-B1-EXTCOORD-PHI2-DERIV · VAL-B1-HOWARD-242-246