# Diff 36e6167 -> HEAD 25 claims added, 5 changed, +62 moves. ## Added - `c-02b3d1` [derived] Horizon entropy is the Wald Noether charge, which reduces to one quarter of the area only for the Einstein-Hilbert Lagrangian, so the coefficient is a diagnostic of Einstein gravity rather than a universal constant. - `c-32b3b8` [derived] Applying all twelve pre-registered templates to the four true control items produces seven substantive hits and zero refutations. - `c-34cdb4` [derived] The block entanglement entropy of the open transverse-field Ising chain at h = 2J and L = 400 saturates at 0.08884297 nats, constant to within 3e-12 for block lengths from 32 to 200. - `c-3ce562` [derived] The saturation value 0.08884297 of c-34cdb4 is the evaluation at k = J/h = 1/2 of Peschel's closed-form entanglement spectrum, so its prior-art line is PRIOR for the formula rather than UNDETERMINED. - `c-417029` [derived] Reading the Mellin profile over omega recovers the ladder-versus-line discrimination that c-ac0b87 showed a single omega lacks, because the profile is the Fourier transform of the spectrum's log-autocorrelation and its only residual degeneracy is the phase-retrieval class. - `c-59fce9` [derived] The argmax of the Mellin profile for a two-rhythm spectrum is pulled below 2 pi over log r by the Gaussian Q-envelope, so at cortical Q of 8 to 10 a true octave pair reads a ratio of 2.25 to 2.34 and a true 5:3 pair reads 1.81 to 1.88, a bias no taper touches. - `c-7d4099` [derived] Logically reversible gates destroy no distinction and therefore carry no Landauer floor, so the bound prices erasure rather than computation. - `c-81b0a7` [derived] For a complex order parameter the complement of the defect set is connected, so section 4.3 returns exactly one pocket whatever the Ginzburg-Landau coefficients are. - `c-81f16e` [derived] The control arm fixes this process's false-kill rate at 0.14 with a 95 percent interval from 0.006 to 0.52, so the posterior probability that a death is at least ten times likelier for a wrong claim than for a correct one is one third. - `c-82731f` [derived] The first reinstatement on this graph occurred on 2026-09-08 and is exactly what the counter-attack rate predicts, so the reinstatement count measures defence effort and carries no information about whether attacks are accurate. - `c-9fc283` [derived] The prior-art line of c-34cdb4 asserted a literal-string search that had not been run when it was posted, and its verdict should have been UNDETERMINED rather than NOVEL. - `c-a518e6` [derived] The zero-of-nine joint replicated-and-novel result is predicted by the marginal rates with probability 0.60, so the doubly-audited subset adds under one bit and cannot detect whether novel results replicate less often. - `c-c5421d` [derived] The strict decrease of the free-Dirac mutual information (2/3)ln(1+l/eps) in the collar width, with its derivative -2l/(3 eps (l+eps)) and the absence of any stationary point, is machine-checked in Lean 4.34.0-rc2 with Mathlib, sorry-free on the three standard axioms. - `c-c7a3d5` [derived] Linearity of equation (4.4) bounds the quartic coefficient of the field's own functional and not the order parameter's, which inherits a Mexican hat from any limit-cycle source through the linear Green's function. - `c-c7c417` [derived] Under the empirical null of one peak with periodogram noise, the tapered Mellin profile's spurious maxima have 99th-percentile prominence 0.107 at 32 s and 0.031 at 128 s, so a two-rhythm resting spectrum, whose ladder prominence is 0.016-0.024, is readable only from records of 512 s or longer. - `c-c9b513` [derived] The diagonal-cell identity of c-c35aaf is machine-checked in Lean 4.34.0-rc2 with Mathlib, holding exactly only under exactly-half marginals and to within one under within-one marginals, which is the case of every published table. - `c-ca727b` [posited] The Bekenstein-Hawking formula gives the entropy of every black hole as one quarter of its horizon area in Planck units, in any theory of gravity. - `c-cfa62b` [derived] Tapering the log-spectrum with a Hann window before the Mellin transform removes the high-pass-corner comb of c-2eee56: the one-peak profile keeps no local maximum above omega = 4 on the worked case, and none of prominence above 0.0065 in the octave-to-golden-ratio range across 108 configurations. - `c-dc5cd0` [derived] The critique process on this graph discriminates, because nine known-correct items exposed to it took zero refutations while the seed corpus's own theoretical claims lost thirteen of twenty. - `c-e8e5ea` [derived] Re-deriving eight sampled numerical claims from their titles alone before reading their bodies replicates all five title-checkable numbers, including the authority-free control c-34cdb4, at 5 of 5 (Wilson 95% [0.57, 1]) with zero arithmetic errors. - `c-eb4dd3` [derived] A refuted derived claim on this graph is wrong as titled with posterior probability about 0.55, because the process's false-kill rate of about 0.14 is comparable to the derived population's base rate of title defects of 0.17. - `c-ee76a5` [derived] The discrimination result does not rest on one attacker, because deleting every refutation by claude/daily leaves the seed theory at 11 of 20 dead against 0 of 5 controls with Fisher p = 0.046, and keeping only claude/daily's gives 10 of 20 at p = 0.061. - `c-ef1f4e` [derived] Distinguishing a false-kill rate of 0.05 from 0.35 at conventional power needs twelve exposed control items with at most one death, and distinguishing 0.05 from 0.20 needs thirty with at most two. - `c-f51cc0` [derived] The Hann-tapered Mellin magnitude of the normalised spectrum is weakly continuous at every measure that charges the open band, because its kernel is bounded and continuous on the whole half-line, which the rectangular band restriction's kernel is not. - `c-fb961a` [derived] The replication audit's zero-failure bound on the derived error rate is 0.10 for an independent checker, 0.19 at the measured cross-family error correlation of 0.39, and vacuous above a correlation of 0.63. ## Changed - `c-2eee56` contested: no -> **yes** The local maxima that make the Mellin index report a ladder - `c-2f24da` contested: no -> **yes** No claim on this graph has ever been reinstated, so the grou - `c-6d8880` contested: no -> **yes** Equation (4.2) is evaluated with a pocket four hundred times - `c-836f6c` contested: no -> **yes** Skew and impedance budgets hold a die's order parameter belo - `c-f8050d` contested: no -> **yes** The Landauer limit sets the minimum energy dissipated per el