VAL-B1-HADAMARD-E-CANDIDATE · DERIVATION ONLY · TARGET-EXPOSED · E_VALIDATED FALSE
Hadamard e derivation candidate
A separate general-Hadamard derivation matches a, b, and e exactly, with c = d = 0. Sixteen checks are recorded as passing. Status E_DERIVATION_ONLY_CANDIDATE. The derivation was target-exposed, not blind. It is not a second Christensen/AHS implementation. E_VALIDATED stays false.
Checkpoint ladder
DERIVATION
a, b, e
MATCH EXACTLYDERIVATION
c and d
0CHECK
Recorded verification checks
16 PASSEXPOSURE
Blindness
TARGET-EXPOSEDREPLAY
Derived e on five stored radii
UNCHANGED TO ROUNDOFFLOCK
E_VALIDATED
FALSE
| Layer | Checkpoint | Status |
|---|---|---|
| DERIVATION | a, b, e | MATCH EXACTLY |
| DERIVATION | c and d | 0 |
| CHECK | Recorded verification checks | 16 PASS |
| EXPOSURE | Blindness | TARGET-EXPOSED |
| REPLAY | Derived e on five stored radii | UNCHANGED TO ROUNDOFF |
| LOCK | E_VALIDATED | FALSE |
Recorded replay: reapplying the derived e to five stored radii leaves those tensors unchanged to roundoff. At r = 6 the replay is described as bitwise equal to the stored tensor. Largest relative engine difference about 2.15×10⁻¹⁵. Largest absolute replay change about 4.24×10⁻²². Those figures are recorded in the continuation report. This website did not recompute them.
Stored and replayed r = 6 samples, not independently validated components: T^t_t = −1.9003562948375721×10⁻⁶, T^r_r = +1.2457783689119693×10⁻⁶, T^θ_θ = +2.6685647800409226×10⁻⁷.
The 7 October stored-tensor prediction Box⟨φ²⟩ = 3.141187598810884×10⁻⁷ is a prediction. It is distinct from the 9 October independent Box.
Hadamard scripts and verification JSON are not a public runnable package.
Qualifiers
- Matching local counterterms is not a state-dependent tensor validation.
- Do not set E_VALIDATED true from this candidate.
Updated 2026-10-07. All checkpoints · VAL-B1-SCALAR-TRACE-R6 · VAL-B1-PMR-CNG-CONFIRMATION · VAL-B1-PUBLISHED-HH-CURVES · 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-EXTCOORD-RSET-4PT · VAL-B1-HOWARD-242-246