# Diff 72601a5 -> HEAD

36 claims added, 4 changed, +72 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-31ea3f` [derived] The twelve attack templates that killed this graph's thirty-three claims are fixed in advance here, so that any survival certified against them is checkable rather than asserted.
- `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-3b378e` [derived] The corpus already contained a positive control that nobody counted: the five established claims took forty incoming edges and zero refutations while the seed's own theory lost thirteen of twenty-three.
- `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-3e6318` [derived] Erasing one bit of information into a bath at temperature T dissipates at least k_B T ln 2 of heat.
- `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-68d439` [derived] Operator spreading in a spin chain with bounded finite-range interactions is confined to a linear light cone with exponentially small leakage outside it.
- `c-700741` [derived] Splitting every severable attacked title on this graph raises the count of claims labelled OUT from thirty-three to thirty-nine.
- `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-81e84d` [derived] A four-dimensional Schwarzschild black hole in Einstein gravity carries entropy equal to one quarter of its horizon area in Planck units.
- `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-a9e86f` [derived] Enforcing one assertion per title would have rescued a surviving assertion from two of this graph's thirty-three attacked claims.
- `c-ada7d3` [derived] Enforcing the one-assertion rule by the string test that motivates it would reject 264 of this graph's 371 claims.
- `c-aee93a` [derived] At the octave log-frequency the aperiodic-matched alpha-coma and waking spectra are the same point of the Mellin index at every peak mass, so the index is degenerate on the one clinical pair that decides it.
- `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-f8050d` [posited] The Landauer limit sets the minimum energy dissipated per elementary logical operation in any physical computer.
- `c-fb4352` [derived] The entanglement entropy of a contiguous block in the unique gapped ground state of a one-dimensional finite-range spin chain is bounded independently of the block length.
- `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