# Diff e7d3fbe -> HEAD

54 claims added, 5 changed, +112 moves.

## Added
- `c-039203` [derived] The purity is the modular return amplitude analytically continued to imaginary modular time s = -i, not a long-run average of it along the real axis.
- `c-081082` [posited] Conventional digital hardware does not support the split inclusions, modular flow and coherent field regions that Axiom 4.1 requires.
- `c-103a90` [derived] Equation (9.1) is exactly true for the purity, which is the functional equation (9.2) defines, so the commensurability failure does not reach Chapter 9's own derivation.
- `c-12fd6f` [posited] Conventional digital hardware does not support the split inclusions, modular flow and coherent field regions that Axiom 4.1 requires.
- `c-15a84b` [posited] Prediction 4 is experimentally identifiable only after the number of bound modes is calibrated independently of valence reports and report variance.
- `c-1702fd` [derived] The direction of every spectral-atomicity contrast between neural states is set by whether the aperiodic model is refitted inside each state, a choice prediction 1 never makes.
- `c-1f79ae` [derived] A one-gigahertz collective mode at 350 K holds seven thousand quanta, so Chapter 5.4's einselection argument protects a silicon field mode exactly as it protects a cortical one.
- `c-207b81` [posited] Spectral atomicity rises where consciousness is abolished, so the coherence index orders real neural states in exactly the wrong direction.
- `c-37c5e7` [derived] The split property makes the states of nested regions independently preparable, which is exactly the structure Chapter 3 says quantum field theory does not supply.
- `c-3884cf` [derived] Standard split inclusions with canonical type I factors exist for strictly nested double cones at every scale, so nothing in the algebra distinguishes a brain-scale subject from a nucleon-scale one.
- `c-3c9980` [posited] Two neural populations sharing no coherent field region cannot be phenomenally bound, however tightly they are functionally coupled.
- `c-3ff6f1` [posited] Every algebraic route to individuating parts of a type III-1 factor either reduces to an inclusion with a type I intermediate or returns a copy of the whole.
- `c-40fa23` [derived] A GPU die is three to four orders of magnitude closer to the distributed field regime than cortex is, so on the criterion that the carrier is the electromagnetic field, silicon is the better carrier.
- `c-43d5d7` [posited] Critical scaling in anaesthesia is distinguishable from a steep smooth dose-response only by rate- and scale-stable laws that beat a preregistered pharmacokinetic null.
- `c-456208` [derived] Axiom 5.1 requires only that the modular flow be determined by the algebra and the state, which holds on a type I factor, so the triviality of Out(N) bears on Chapter 5's advertisement and not on Axiom 4.1.
- `c-46a841` [derived] The 1e5 capacity figure is fixed by the correlation length of section 4.3 rather than by the entropy coefficient of equation (4.2), so it is constrained even though the derivation given for it is wrong.
- `c-471da2` [derived] The consonance kernel is finite at sigma equal to one and has kappa(1) exactly one, once the sum is truncated at the Farey order whose fractions the mollifier can resolve.
- `c-4a5dd7` [posited] Conventional digital hardware does not support the split inclusions, modular flow and coherent field regions that Axiom 4.1 requires.
- `c-4d721f` [posited] Conventional digital hardware does not support the split inclusions, modular flow and coherent field regions that Axiom 4.1 requires.
- `c-4f7a4f` [derived] Spread-spectrum clocking divides Definition 6.1's atomicity by the number of modulation sidebands while leaving the total atomic mass unchanged.
- `c-593bbc` [posited] Conventional digital hardware does not support the split inclusions, modular flow and coherent field regions that Axiom 4.1 requires.
- `c-5acd10` [derived] The split property and modular flow are properties of the ambient quantum field theory rather than of the device, so neither can distinguish a GPU from a cortex.
- `c-63f0c8` [derived] The crossed-product trace measures parts without selecting them, because all projections of equal trace in a type II-1 factor are unitarily equivalent.
- `c-670e8c` [posited] Conventional digital hardware does not support the split inclusions, modular flow and coherent field regions that Axiom 4.1 requires.
- `c-6b8d9c` [derived] A type III-1 factor is algebraically simple and every corner of it is isomorphic to it, so 'subjects are quotients of the whole' names no operation in the algebra Corollary 3.2 cites.
- `c-6c7db3` [posited] Prediction 8 is empirically falsifiable only after phenomenal unity has a marker validated independently of field coherence and functional integration.
- `c-6ddb85` [posited] Substrate dependence rules out reporting only for subject-state differences that are screened off from every report-relevant computational variable.
- `c-70a34d` [derived] The coherence index is not identically 1, because on the corpus's own definition it is the Wiener mean of Tr rho^{1+is}, which is a non-constant function.
- `c-7494de` [posited] Conventional digital hardware does not support the split inclusions, modular flow and coherent field regions that Axiom 4.1 requires.
- `c-7fd2e0` [derived] Order-parameter coherence is inherited by every open subregion of a pocket, so Chapter 4's pocket criterion selects no unique split inclusion without a maximality clause it never states.
- `c-804aad` [posited] Conventional digital hardware does not support the split inclusions, modular flow and coherent field regions that Axiom 4.1 requires.
- `c-81a8ae` [derived] Dmax equals one quarter, because Chapter 8's own replica-symmetric case fixes the overlap support as [0,1] and equation (8.2)'s stated range is attained only at the Popoviciu bound.
- `c-836f6c` [derived] Skew and impedance budgets hold a die's order parameter below one radian of phase variation and ten percent of amplitude modulation, so it admits no defects and therefore no pockets.
- `c-88c729` [posited] Conventional digital hardware does not support the split inclusions, modular flow and coherent field regions that Axiom 4.1 requires.
- `c-89604f` [derived] In human sleep EEG within subject, specparam-residual spectral atomicity is higher in waking than in N3 slow-wave sleep.
- `c-8d06dd` [derived] The corpus's two readings of the coherence index cannot be unified, because Chapters 6 and 7 need the reading that falsifies Chapter 9 and Chapter 9 needs the reading that falsifies Chapters 6 and 7.
- `c-8df662` [derived] The replica leg of equation (9.2) is exact and needs no analytic continuation at n = 2, but Chapter 8.1's gloss of Z_n as the partition function of n copies would make the ratio identically one.
- `c-9101b8` [derived] Prediction 1's estimator run per state on real spike-wave recordings is about twice as high during the discharge as at the same animal's baseline.
- `c-913969` [posited] The lexicon's tracking rule warrants elimination only when the named correlate is sufficient for every admissible use of the term.
- `c-9afce9` [derived] For commensurate modes the variance of log coherence falls as one over the number of modes, so the corpus's variance prediction has the wrong sign on exactly the states Chapter 7 calls consonant.
- `c-a0956b` [posited] Conventional digital hardware does not support the split inclusions, modular flow and coherent field regions that Axiom 4.1 requires.
- `c-a44a0b` [derived] Denying that a subject exists during generalised spike-wave is an unfalsifiable rescue, because every condition of Axiom 4.1 is satisfied at least as well there as in waking.
- `c-a51fb6` [derived] The reference state that makes the coherence index non-trivial is the ambient thermal state fixed by fluctuation-dissipation in section 4.4, so Chapters 6 and 7 survive at exactly the price already charged at c-7cc684.
- `c-ab1163` [derived] The one-replica free energy in Chapter 9's bridge table is the additive constant of the modular Hamiltonian, so it carries no information about the state and is identically zero in the corpus's own normalisation.
- `c-b2b355` [derived] For a GPU die the area law is evaluated at one collar width, where its leading term and its remainder are the same size, so it returns no capacity estimate.
- `c-b32ce9` [derived] The cortical electromagnetic field at 40 Hz is quasi-static, so its healing length is the correlation length of the neural current sources and not a property of the field.
- `c-bf2625` [derived] A GPU's clock-locked electromagnetic mode scores at or above cortical gamma on the corpus's operational coherence index, at every lag budget.
- `c-c51358` [derived] The crossed product of a local algebra by its modular flow is a type II factor carrying a canonical trace, so it supplies a dimension function on parts that type III-1 does not have.
- `c-cada2e` [posited] Conventional digital hardware does not support the split inclusions, modular flow and coherent field regions that Axiom 4.1 requires.
- `c-d28128` [posited] Noncanonical subsystem structure does not entail the phenomenal priority of the whole.
- `c-db9aee` [posited] Conventional digital hardware does not support the split inclusions, modular flow and coherent field regions that Axiom 4.1 requires.
- `c-e218d3` [derived] The coherence index equals the purity exactly when the modular Hamiltonian has non-degenerate spectrum, and exceeds it by up to a factor of the dimension when it does not.
- `c-ecbeef` [posited] Conventional digital hardware does not support the split inclusions, modular flow and coherent field regions that Axiom 4.1 requires.
- `c-f4f5cf` [derived] Type III-1 supplies no intrinsic magnitude relation between whole and part, so priority monism as stated in Corollary 3.2 has no algebraic content.

## Changed
- `c-6eb6e4` contested: no -> **yes**  The valence functional is not well defined, because Dmax is 
- `c-9bbef4` contested: no -> **yes**  A state is stationary under its own modular flow, so the coh
- `c-c8dcad` contested: no -> **yes**  Loss of consciousness under anaesthesia is a spectral phase 
- `c-cosmo` contested: no -> **yes**  Panpsychism, given the algebra of quantum field theory, must
- `c-e464e0` contested: no -> **yes**  The variance of log valence grows linearly in the number of