Manuscript Psy02-B@2 · Psy02-B-v2.tex · cfd06e2e
Psy02-B Quantitative Viability and Identifiability of a Branch-Matched Reduction Pilot: Complete Records, Collective Mass Energies, and a Self-Contained Interface to the Inherited Analytic Problem
Specifies version 2 of a branch-matched finite reduction pilot and an independent analytic interface. The same two conformational branches determine the coherence witness and the regularized gravitational self-energy. thm:colored gives exact colored dephasing for one finite thermal oscillator bath. thm:pilot gives the separate memoryless loss-dephasing semigroup and the trace-distance witness. The additional rate R equals E_G over hbar only as a phenomenological reduction hypothesis. thm:matrixunits and thm:energy convert finite-code and energy-constrained errors into diamond bounds and do not supply the biological estimates. thm:concentration and thm:filters keep temporal covariance separate from equal-time concentration. thm:patterns and thm:massstability calculate the four Gaussian displacement energies and their geometry allowances. thm:process and thm:overlap give a complete-process identification obstruction. thm:gap and thm:pilotexample exhibit one dimensionless robust gap whose parameters are not biological measurements. Track B prints its own spacetime conventions, thm:Euler, thm:tree, thm:descent, thm:lifting, thm:contactobstruction, thm:jets, and thm:admission. Those results are independent interface theorems. They do not reconstruct unavailable tensor components or the exact inherited shell ideal. prop:nontransfer separates the pilot formulas from the grouped characteristic map. thm:release is the analytical release. Supplied excerpts of XII-A, XII-C, XII-D, XII-E, XIII-C, XIV-H, XIV-I, XIV-J, and XV-B are documentary records and are not premises. Psy02-A, Em06-B, Em04-A, VII-H, and VII-J are source records and are not premises. Psy01-A is a different project and is not an input. The reported internal amplitude at I2 is not the full map. That map stays unresolved at I3, J2, and the XV-B interface. Biological branch matching is an unfulfilled assumption. This is not a derivation of Orch-OR, not neuronal quantum viability, not a gravity-specific empirical identification, and not conscious experience. This is not metric reconstruction, not Einstein dynamics, not holographic identification, not a Page curve, and not spacetime emergence. The inherited full characteristic map is not constructed. It does not repair XI-G. It does not close O.1. O.1 stays NOT_CLOSED. The series Route B is not discharged. XVI-N is not discharged. XV-B is not opened. XVI-P is registered and is not a premise. H2, I3, and J2 stay unresolved. Full spacetime emergence is not constructed. No quantum coefficient is admitted. No compilation is asserted. Numerical execution is not asserted. Independent execution is not asserted.
Front matter
abstractAbstractFront matter · lines 130–162
Open as its own pageWe study a finite branch-matched reduction pilot and construct an independent analytic interface for assessing an inherited characteristic-coefficient problem. The pilot uses the same two conformational branch labels for its coherence witness and regularized gravitational energy. An exact finite thermal-bath calculation is separated from a memoryless loss–dephasing model. Observation-specific, channel, instrument, and energy-constrained comparison bounds are proved. Gaussian mass profiles give explicit aligned, alternating, localized, and correlated-domain energies, including cross terms and geometry-dependent stability constants. A complete-process nuisance-overlap theorem gives an exact identification obstruction; a calibrated forward instrument gives a positive robust gap against explicitly restricted alternatives. For the analytic track, we supply spacetime and distributional conventions, a weighted Euler-source identity, response and compact-root interfaces, a tree-composition theorem, a fixed retarded pole, presentation reconstruction, supported normal jets, contact obstructions, and a conditional microcausal admission criterion. A dependency and notation index distinguishes definitions reproduced here from inherited components unavailable in the supplied excerpts. The reported internal-amplitude construction at XIV-I/I2 is not confused with the full map unresolved at I3, XIV-J/J2, and the subsequent XV-B interface. The finite pilot and independent interface theorems are self-contained; an exact reconstruction or completion of the unavailable full inherited model is not claimed. No biological viability finding, unique gravity-specific identification, inherited quantum-coefficient admission, or consciousness interpretation is asserted.
sectionFront matterFront matter · lines 162–168
Open as its own pageKeywords: Orch-OR; reduction pilot; instruments; complete quantum process; Coulomb energy; reconstruction descent; microcausal functionals; characteristic distributions; source audit.
Question, contribution, and evidence boundary
sectionQuestion, contribution, and evidence boundaryQuestion, contribution, and evidence boundary · lines 170–226
Open as its own pageOrchestrated objective reduction combines a proposed biological carrier, environmental dynamics, an additional reduction mechanism, and an interpretation in terms of experience HameroffPenrose,Penrose,Diosi. A mathematical treatment must distinguish these commitments.
Psy02-A separated concentration, coherence, measurement, response normalization, and causal support CheungPsy02A. The present paper provides two different developments:
Track A: a branch-matched finite pilot. Its carrier, branches, environmental laws, mass energies, forward instrument, and calibrated discrimination test are defined and calculated here.
Track B: an analytic interface and source-alignment audit. Its independent distributional theorems are fully specified here. The separate frozen XII–XV instance is documented using the supplied excerpts, without claiming that unavailable definitions or the missing joint characteristic map have been reconstructed.
“self-contained” means here. Every independent theorem in this paper has printed objects and hypotheses. Standard analytic inputs are identified. Source records are not relabeled as newly proved theorems. Parameters such as a selected cubic density or a complete contact catalogue are explicitly declared inputs when their exact inherited components were not supplied.
the supplied material does not contain. The full sources of XII-A, XII-C, XII-D, XII-E, XIII-C, XIV-H, XIV-I, XIV-J, and XV-B were not supplied. Selected passages from them were supplied. The additional information therefore improves the definition sheet, but does not permit a byte-complete reproduction or independent verification of those manuscripts. The four attempted companion pages did not provide accessible full sources during preparation of this revision.
scope. The defensible mathematical submission is the pilot plus the independent analytic interface and its explicit source limitations. A submission claiming the complete inherited construction would additionally require the exact full source package and verification of its defining data. That stronger claim is not made.
boundary. The conformational code is tubulin-inspired, not an identified neuronal subsystem. Cheung's open-XXZ study also expressly treats its microtubule interpretation as a toy-model analogy CheungSpinChains. Neither that spin carrier nor a free scalar carrier is silently identified with the conformational code below.
sectionQuestion, contribution, and evidence boundaryQuestion, contribution, and evidence boundary · lines 226–255
Open as its own pageexcluded from the mathematical claims.
Proposed transfer Required separate certificate Concentration to biological channel equivalence A reference-stable channel or complete-instrument comparison. Equal-time variance to noise spectrum Temporal covariance, filtering, and a declared spectral convention. Scalar input stability to bath or mass stability The corresponding parameter-to-bath and parameter-to-density estimates. Wick-square contacts to Coulomb contacts A distribution-specific ambiguity classification. One-time channel equality to complete-process equality An intervention-dependent process specification. Outcome effects to conditional residuals Equality or approximation of selective maps. Internal tree kernel to inherited quantum coefficient The complete grouped cross-line construction and admission theorem. Relative action symmetry to observable closure An independent observable and carrier-compatibility argument.
Track A1: carrier, matched branches, and exact dynamics
sectionCode and mass assignmentsTrack A1: carrier, matched branches, and exact dynamics › Code and mass assignments · Psy02-B@2#eq:massbranches · lines 259–301
Open as its own pageLet
and define
They vanish on . The level denotes loss from the prepared code, not disappearance of matter.
Successful preparation is
The comparison preparation is
Preparation succeeds with probability ; failure is recorded.
For centers , masses , displacement , pattern , and , put
Use and . The common rest density cancels.
assumptionAssumption: Physical branch matchingTrack A1: carrier, matched branches, and exact dynamics › Code and mass assignments · Psy02-B@2#ass:physical · lines 302–311
Open as its own pageA biological application must identify actual preparations, mass changes, coherent controls, bath couplings, leakage, measurement maps, and a time horizon corresponding to these same branch labels. An optical excitation witness cannot be combined with an unrelated conformational displacement energy without a separate state-identification and coupling theorem.
sectionFinite thermal bathTrack A1: carrier, matched branches, and exact dynamics › Finite thermal bath · Psy02-B@2#eq:Htot · lines 313–333
Open as its own pageDuring sensing, define
with finite , , , and an independent thermal bath of inverse temperature :
Conditional oscillator Hamiltonians are defined by displacement of the free oscillator Hamiltonians.
theoremTheorem: Exact colored dephasingTrack A1: carrier, matched branches, and exact dynamics › Finite thermal bath · Psy02-B@2#thm:colored, Psy02-B@2#eq:chi · proof attached · lines 334–370
Open as its own pageFor code inputs,
where
Populations are preserved. The reduced maps are CPTP. At zero coupling they recover the carrier's own free dynamics.
Proof. For branch ,
The branch-independent scalar phases cancel. The relative displacement has squared modulus . Thermal displacement expectation is
Multiplying the mode factors proves the formula. Unitary evolution and partial trace establish physicality.
sectionFinite thermal bathTrack A1: carrier, matched branches, and exact dynamics › Finite thermal bath · lines 370–376
Open as its own pageThis is a finite Gaussian-dephasing calculation, consistent with standard methods Riberi. A finite bath may recur; no exponential Markov approximation is inferred from (eq:chi).
sectionSeparate memoryless loss–dephasing modelTrack A1: carrier, matched branches, and exact dynamics › Separate memoryless loss–dephasing model · Psy02-B@2#eq:generator · lines 377–410
Open as its own pageWrite
The pilot generator is
with . The extra rate is a phenomenological hypothesis.
A fresh bath qubit is prepared in , with , before each collision
Its code-coherence multiplier is . Repeated fresh collisions converge to . Loss is realized by the Kraus family
These statements specify the Markov model rather than deriving it from the thermal bath.
theoremTheorem: Complete state and matched coherence witnessTrack A1: carrier, matched branches, and exact dynamics › Separate memoryless loss–dephasing model · Psy02-B@2#thm:pilot, Psy02-B@2#eq:witness · proof attached · lines 411–451
Open as its own pageThe generator (eq:generator) defines a CPTP semigroup. For ,
The comparison input has the same populations and zero code coherence. The complete-state witness is
With a common recorded preparation failure, and .
Proof. The finite generator has GKSL form GKS,Lindblad. Its code block satisfies
Trace gives ; the off-diagonal equation gives . The omitted trace appears in . The coherent-minus-dephased output has eigenvalues . Multiplication by the common preparation-success probability gives the last claim.
sectionSeparate memoryless loss–dephasing modelTrack A1: carrier, matched branches, and exact dynamics › Separate memoryless loss–dephasing model · lines 451–460
Open as its own pageFor a code Hamiltonian , the conditional state obeys
The explicit exponential witness requires . The vacuum-plus-code architecture is motivated by Em04-A CheungEm04A; its biological matching is not inherited.
Track A2: observation, channel, and instrument comparisons
sectionTrack A2: observation, channel, and instrument comparisonsTrack A2: observation, channel, and instrument comparisons · lines 462–471
Open as its own pageUse
Channels and their reference-stable distances are standard Watrous.
propositionProposition: Named-effect transferTrack A2: observation, channel, and instrument comparisons · Psy02-B@2#prop:effect · proof attached · lines 472–493
Open as its own pageFor an encoding channel , suppose
for effects . Then the corresponding expectation error is at most . The converse is false.
Proof. Insert the expectation in . An effect changes by at most trace distance, and the operator mismatch contributes at most . Identity and complete -dephasing agree on the effect for every input but are different channels.
theoremTheorem: Matrix-unit channel and instrument certificateTrack A2: observation, channel, and instrument comparisons · Psy02-B@2#thm:matrixunits · proof attached · lines 495–530
Open as its own pageFor channels on a common -dimensional input,
For complete instruments, replace the matrix-unit norm by
Proof. For a referenced state , positivity gives
A purification or positive-block factorization proves this bound. Therefore
The referenced output trace norm is at most . For channel differences, maximization over referenced states gives the diamond norm Watrous. For instruments use the channel . Its trace norm is the sum of block trace norms.
sectionTrack A2: observation, channel, and instrument comparisonsTrack A2: observation, channel, and instrument comparisons · lines 530–539
Open as its own pageEqual outcome effects do not determine residual states. For example,
have the same effects but different later -records.
propositionProposition: Dynamical residual boundsTrack A2: observation, channel, and instrument comparisons · Psy02-B@2#prop:dynamic · proof attached · lines 540–576
Open as its own pageFor common bounded Hamiltonians and independent bath states,
For bounded generators and a common encoding, if
then
Preparation errors are added separately.
Proof. Duhamel's formula bounds the unitary difference by the displayed Hamiltonian integral. Unitary-output trace distance is at most that operator norm. Bath-state and partial-trace contraction give the first assertion. Variation of constants expresses the second defect as
Channel composition contracts the diamond norm.
sectionTrack A2: observation, channel, and instrument comparisonsTrack A2: observation, channel, and instrument comparisons · lines 576–580
Open as its own pageThe bounded estimate is not applied to an unbounded oscillator interaction without a cutoff or an appropriate domain argument.
theoremTheorem: Energy-constrained finite-code routeTrack A2: observation, channel, and instrument comparisons · Psy02-B@2#thm:energy · proof attached · lines 581–616
Open as its own pageLet , let be finite rank, and suppose , . Reset the high block to a fixed low-energy vector:
For referenced inputs of energy at most ,
If two channels have finite-code error , then
The bound may be truncated at one.
Proof. The energy inequality proves the tail estimate. For a purification , projection gives a pure-state versus subnormalized-pure-state trace norm
The reset block contributes trace . Partial trace proves the state bound. Insert the reset input in both channel outputs and apply the finite-code bound to the reset state.
sectionTrack A2: observation, channel, and instrument comparisonsTrack A2: observation, channel, and instrument comparisons · lines 616–622
Open as its own pageThe energy-constrained norm has a named input-energy restriction Shirokov. Leakage flags and their reference blocks are retained; conditional renormalization is a different comparison.
Track A3: concentration and temporal fluctuations
sectionSeparate scalar benchmarkTrack A3: concentration and temporal fluctuations › Separate scalar benchmark · lines 626–634
Open as its own pageFor on bosonic Fock space, suppose
theoremTheorem: Exact uniform concentration criterionTrack A3: concentration and temporal fluctuations › Separate scalar benchmark · Psy02-B@2#thm:concentration · proof attached · lines 635–664
Open as its own pageFor the spectral laws in the displaced states,
Uniform convergence on is equivalent to
A sufficient bound is
Proof. The displacement identity gives the target-centered second moment. Distance to a point mass has that exact squared Wasserstein value. The number estimate follows from
Sum over a normal-state decomposition.
sectionSeparate scalar benchmarkTrack A3: concentration and temporal fluctuations › Separate scalar benchmark · lines 664–671
Open as its own pageThis is the observable-specific Em06-B interface CheungEm06B,CheungPsy02A, not a conformational-channel bridge. Normalized fluctuations retain the residual field law. Only vanishing pairwise symplectic form gives a common joint spectral law; ordered Weyl expectations do not specify apparatus instruments.
sectionBath covariances and filtersTrack A3: concentration and temporal fluctuations › Bath covariances and filters · lines 672–683
Open as its own pageFor the thermal bath, let
for a real integrable filter. Write .
theoremTheorem: Exact filtered varianceTrack A3: concentration and temporal fluctuations › Bath covariances and filters · Psy02-B@2#thm:filters · proof attached · lines 684–710
Open as its own pageThe symmetrized covariance is
and
For ,
Proof. Thermal anomalous moments vanish and different modes are independent. Expand the anticommutator, then integrate against . Fourier transformation of a cosine gives the two spectral atoms.
sectionBath covariances and filtersTrack A3: concentration and temporal fluctuations › Bath covariances and filters · lines 710–728
Open as its own pageThis convention is consistent with standard noise analysis Clerk. Equal-time variance alone does not determine the frequency placement or filtered variance.
For the memoryless carrier, put . In its specified Markov dilation, the phase-compensated has
Consequently
propositionProposition: Windowed carrier varianceTrack A3: concentration and temporal fluctuations › Bath covariances and filters · Psy02-B@2#prop:codevariance · proof attached · lines 729–753
Open as its own pageFor the named Markov process,
The displayed covariance is generally nonstationary.
Proof. For , the adjoint evolution multiplies the compensated by . The symmetrized regression expression becomes
because . Integrate the centered covariance. The dilation observable has norm at most one, giving the bound.
sectionBath covariances and filtersTrack A3: concentration and temporal fluctuations › Bath covariances and filters · lines 753–777
Open as its own pageThis regression calculation uses the declared Markov process. It is not substituted into the memory-bearing thermal bath.
Let
For two admissible measures,
These follow by integrating the exact formulas and using . They are bath-specific estimates, not renamed scalar input bounds.
Track A4: Gaussian mass energies and stability
sectionTrack A4: Gaussian mass energies and stabilityTrack A4: Gaussian mass energies and stability · lines 779–824
Open as its own pageFor real Schwartz densities,
With ,
This form is finite and positive. A wider admissible class can be controlled by Coulomb-energy or Hardy–Littlewood–Sobolev estimates Lieb. Our convention is
Define
Fourier transformation of the two Gaussians gives
Indeed the radial integral uses
obtained by differentiating in and integrating back from zero.
For equal masses, put
theoremTheorem: Four exact pattern calculationsTrack A4: Gaussian mass energies and stability · Psy02-B@2#thm:patterns · proof attached · lines 825–886
Open as its own pageThe matrix is positive semidefinite and
For , . In particular:
aligned:
alternating:
localized:
with value zero at , and
domain-correlated:
For independent symmetric domain signs,
Proof. Expand the four Gaussian pairings. For every , . The localized expansion follows from the Taylor series of . For domains,
Distinct unordered sign products are orthogonal in expectation.
sectionTrack A4: Gaussian mass energies and stabilityTrack A4: Gaussian mass energies and stability · lines 886–909
Open as its own pageIf and
then
This follows from . It gives linear scaling for full patterns in that regime.
If all , aligned energy is quadratic: . If each domain contains identical profiles and every domain profile has the same Coulomb norm, independent domain signs give mean . Neither regime is an asserted molecular geometry.
theoremTheorem: Energy and geometry stabilityTrack A4: Gaussian mass energies and stability · Psy02-B@2#thm:massstability · proof attached · lines 910–946
Open as its own pageFor admissible ,
For Gaussian profiles with widths at least ,
Writing
fixed masses and patterns satisfy
Proof. Expand the positive quadratic form and use Cauchy–Schwarz. The Gaussian derivative norms follow from radial Fourier integrals; rotational averaging contributes a factor for a directional derivative. Integrate translation and width derivatives along their parameter segments and sum the two branch changes.
sectionTrack A4: Gaussian mass energies and stabilityTrack A4: Gaussian mass energies and stability · lines 946–971
Open as its own pageThe kernel is locally integrable in three dimensions, with scaling degree one. Two extensions with scaling degree at most one differ by a point-supported distribution, whose nonzero terms have scaling degree at least three. Hence its extension is unique in that class. VII-H's four-dimensional Wick-square contact freedom is not imported CheungVIIH.
Euclidean translations and rotations preserve the energy. A general coordinate change must transform both mass measures and the distance kernel; retaining the Euclidean kernel in arbitrary new coordinates changes the prescription.
Finally, if a constraint root satisfies
the mean-value theorem gives . Without nondegeneracy, from is a counterexample to Lipschitz boundary movement.
Track A5: complete-process identification
sectionTrack A5: complete-process identificationTrack A5: complete-process identification · lines 973–990
Open as its own pageFor a finite instrument , each map is completely positive and trace nonincreasing, and their sum is trace preserving DaviesLewis. A Markov history law is
Adaptive settings are functions of previous records. For a memory-bearing bath, propagate the joint carrier–bath state between interventions rather than resetting it implicitly. This distinction is central to multitime process theory PollockProcess,PollockMarkov.
theoremTheorem: Complete-process equality and testing obstructionTrack A5: complete-process identification · Psy02-B@2#thm:process · proof attached · lines 991–1014
Open as its own pageTwo Markov models with identical initial accessible states, interval channels after every allowed setting and history, and complete instruments have identical record laws for all permitted adaptive experiments, including untouched references. For equal laws every randomized test has
For arbitrary laws,
Proof. Induction gives equality of every unnormalized conditional state. For ,
Use total variation.
exampleExample: One-time maps do not determine the processTrack A5: complete-process identification · lines 1016–1026
Open as its own pageProcess one SWAPs the input with an independent maximally mixed bath qubit and later SWAPs back. Process two applies a uniformly random Pauli, retains its classical label, and later applies the inverse. Without interventions both have a replacement channel at the first time and identity at the second. Replacing the carrier by between the steps makes the first process return the original input and the second return .
sectionTrack A5: complete-process identificationTrack A5: complete-process identification · lines 1026–1058
Open as its own pageFor reduction-only dynamics on the two-dimensional code, let . Both
and
have ensemble generator . The second process preserves norm by Itô's rule. Its branch populations are bounded martingales, and for ,
For , population convergence and finite force ; the selected code vertex has its initial population as probability. The random-unitary process instead preserves those populations trajectory by trajectory.
They nevertheless have identical complete system-only records if each conditional interval is specified by the same Markov channel and the hidden noises are inaccessible. This conclusion uses Theorem thm:process, not one-time equality alone.
theoremTheorem: Shared-amplitude nuisance overlapTrack A5: complete-process identification · Psy02-B@2#thm:overlap · proof attached · lines 1059–1077
Open as its own pageLet , , and suppose at every stage, setting, and history
with common apparatus. If , a null–alternative pair has identical complete records. No sample size distinguishes that pair.
Proof. Choose , . All conditional generators and instruments agree. Apply Theorem thm:process.
sectionTrack A5: complete-process identificationTrack A5: complete-process identification · lines 1077–1083
Open as its own pageThis is the carrier-specific analogue of En01-B's calibrated overlap logic CheungEn01B. The same nuisance coefficient must match all histories; independent refitting at every setting is a different null family.
Track A6–A7: forward instrument and robust viability
sectionTrack A6–A7: forward instrument and robust viabilityTrack A6–A7: forward instrument and robust viability · lines 1085–1103
Open as its own pageAt time , phase compensation gives projectors
Their selective maps are . A stochastic assignment matrix flips with probability , and independently erases with probability . Preparation failure, loss, and erasure are recorded.
Use the score
theoremTheorem: Complete forward expectation and robust gapTrack A6–A7: forward instrument and robust viability · Psy02-B@2#thm:gap · proof attached · lines 1104–1141
Open as its own pageLet , , and . Then
For rectangular calibrated families
the null and alternative have exact ideal oriented gap
For nonrectangular families enclosed by these intervals, the same expression is a lower bound, not necessarily the exact gap. Uniform complete-law errors give
For , the displayed ideal lower bound is positive exactly when
Proof. The ideal signed outcome mean is . Assignment, observation, and preparation multiply it by . Neutral outcomes have zero centered score. For a rectangle, the null supremum is , and the alternative infimum is . Subtract and apply total-variation control for a bounded score.
sectionTrack A6–A7: forward instrument and robust viabilityTrack A6–A7: forward instrument and robust viability · lines 1141–1189
Open as its own pageThe projective instrument has the mathematical isometry . No conformational Ramsey apparatus is thereby engineered.
For an independently justified additive-noise measurement,
This is a forward POVM. On an frequency band, stable inversion requires . A zero-free multiplier gives uniqueness on classes whose Fourier differences it does not annihilate, but unrestricted stability does not follow. Gaussian multipliers decay at high frequencies. At , the present detector destroys the score signal completely.
For a calibrated response , weights with give
A retained invariant signal exists exactly when . Thus a contrast can cancel the proposed gravitational response as well as the nuisance, as emphasized by En01-C CheungEn01C.
For unbounded setting-dependent records, randomize setting with probability , clip at , and use
If , clipping reduces an oriented mean-contrast gap by at most
since . Independent common erasure multiplies the nonconstant gap by its observation probability; arbitrary missingness must be included in the complete law.
sectionSurvival and independent viability conditionsTrack A6–A7: forward instrument and robust viability › Survival and independent viability conditions · lines 1190–1213
Open as its own pageFor , , the Markov survival test is
For a separately specified colored endpoint factor it becomes
Neither is an identification theorem.
Define a viability set by the independent conditions
theoremTheorem: Nonempty dimensionless pilot regionTrack A6–A7: forward instrument and robust viability › Survival and independent viability conditions · Psy02-B@2#thm:pilotexample · proof attached · lines 1214–1247
Open as its own pageFor a reference unit , choose
Sense at , take , , and a white-force pilot with filter and variance allowance . Then the robust score gap exceeds , survival holds at every allowed reduction time, and the filter allowance holds. These are design parameters, not biological measurements.
Proof. Here , and
Also ; every , and the witness decreases. The filtered force variance is . A nonzero localized Gaussian displacement has energy proportional to , so a declared mass scale can realize any selected positive pilot rate. This is not tubulin calibration.
theoremTheorem: Sampling with explicit dependence assumptionsTrack A6–A7: forward instrument and robust viability › Survival and independent viability conditions · Psy02-B@2#thm:sampling · proof attached · lines 1249–1276
Open as its own pageFor a score in , actual null mean at most , alternative mean at least , and , a midpoint test on independent attempted runs has
Thus bounds each error by .
The same result holds under dependence if these mean bounds hold conditional on every past record. Unconditional mean bounds alone do not suffice.
Proof. Hoeffding's bound gives the independent result Hoeffding. For dependence, the conditional Hoeffding lemma gives
Iterate and optimize the exponential bound. Repeating one common Bernoulli variable supplies a counterexample under arbitrary dependence.
sectionSurvival and independent viability conditionsTrack A6–A7: forward instrument and robust viability › Survival and independent viability conditions · lines 1276–1282
Open as its own pageBounding the sum of both errors uses . Calibration failure probability adds that probability when the test assumptions hold conditional on the successful calibration.
Track A8: causal and interpretive boundaries
sectionTrack A8: causal and interpretive boundariesTrack A8: causal and interpretive boundaries · lines 1284–1330
Open as its own pageFor a finite endpoint channel , absence of influence from all local trace-preserving interventions on , for every input, is equivalent to
and to
To prove the nontrivial implication, compare identity with replacement of by , and define . Factorization preserves equality with every untouched reference.
Backwards support in a complete block-channel schedule bounds actual influence by scheduled ancestors. Unital adjoints on disjoint blocks preserve identity factors. Persistent baths and controllers must be included CheungVIIJ,CheungVIIIC.
Positive influence instead requires a lower certificate: an ideal bounded-record contrast , with errors , has actual contrast at least . For the coherent-versus-dephased preparation, the present score contrast has magnitude
It concerns the apparatus record, not a constructed neuronal channel.
Apply scheduled support, actual intervention contrasts, and physical causal interpretation separately to each structural, quantum-carrier, and gravity-related hypothesis. The epothilone-B study's loss-of-righting endpoint Khan does not supply these branch, bath, or instrument certificates.
If physical axioms do not constrain an added consciousness predicate on a nonempty event set, two expansions with different predicates have identical physical predictions. This relative non-entailment does not claim that every physical account of consciousness is impossible.
Track B: source-aligned definitions and their exact scope
sectionThree different types of statementTrack B: source-aligned definitions and their exact scope › Three different types of statement · lines 1334–1361
Open as its own pageTrack B uses:
Definitions and proofs here: explicit retarded distributions, parameterized local-source and response interfaces, tree composition, reconstruction descent, contact obstructions, normal jets, and conditional admission.
Source records: mathematical statements reported in the supplied Cheung excerpts, with exact source labels where available. They are not independently re-proved merely by being restated.
Missing inherited data: exact density components, some response coefficients, the full selected characteristic locus, and the exact full-shell ideal and ordering conventions. No replacement choice is asserted to be the unchanged inherited model.
The frozen documentary data are the XII-C cubic representative, inverse coefficient , the two completion legs, XII-E insertion coefficient , the scalar-sourced slot, XII-A full-shell carrier, and XIII-C partial-diagonal ambiguity class CheungXIIA,CheungXIIC,CheungXIID,CheungXIIE,CheungXIIIC.
The additional excerpts establish filenames for
XII-A-v2.tex,XII-C.tex,XII-D.tex,XII-E.tex, andXIII-C.tex. Their full contents are still not included in the supplied package.sectionSpacetime, tests, and propagator conventionsTrack B: source-aligned definitions and their exact scope › Spacetime, tests, and propagator conventions · Psy02-B@2#eq:Rret · lines 1363–1413
Open as its own pageTake
All distributions act on compact smooth test densities; the fixed Minkowski volume identifies them with test functions. Set , , and for compactly supported distributions. For a finite species space, use componentwise distribution spaces.
The massless retarded fundamental solution is
The formula is understood as the standard cone measure, including its defined extension at the vertex, with . Use for convolution with on compact or suitably past-compact inputs, and for its transpose. Similarly are the Green operators of . Existence, causal support, and Cauchy uniqueness are standard BGP.
The fixed smooth observation and interaction switch are compactly supported. The fixed smooth ramp vanishes for , with fixed ; no sharp-ramp limit is used. Its precise transition profile is an input.
For a symmetric covariant tensor define trace reversal
In four dimensions . The metric response operator and prescribed inverse are
They must not be confused with the coordinate-response kernel below, or with Track A's rate .
lemmaLemma: Retarded convolution and fixed Fourier poleTrack B: source-aligned definitions and their exact scope › Spacetime, tests, and propagator conventions · Psy02-B@2#lem:retarded, Psy02-B@2#eq:pole · proof attached · lines 1414–1474
Open as its own pageThe causal convolution is defined and
For away from the vertex,
With temporal Fourier convention
and , the retarded multiplier is
On , , ,
The singular coefficient is fixed by retarded support.
Proof. For fixed output in a compact set, intermediate points in the convolution lie in a bounded causal diamond; thus causal convolution is defined. The spatial Fourier transform of is . Its temporal self-convolution is
This equals the spatial Fourier transform of the displayed , obtained by integrating over the ball . Differentiation proves the separated formula.
The identity
follows by positive damping. Partial fractions reconstruct . On one sheet the opposite denominator is smooth, giving (eq:pole). Changing its delta coefficient changes the existing retarded kernel.
sectionSpacetime, tests, and propagator conventionsTrack B: source-aligned definitions and their exact scope › Spacetime, tests, and propagator conventions · lines 1474–1480
Open as its own pageThis proves the explicit pole identity used as a source-aligned benchmark in XIV-I CheungXIVI. It does not reproduce that manuscript's entire uniform amplitude module, its topology, or its annular estimates.
Track B foundations: density weighting, response, and roots
sectionA fully specified parameterized Euler interfaceTrack B foundations: density weighting, response, and roots › A fully specified parameterized Euler interface · lines 1485–1501
Open as its own pageLet be the finitely many components of a symmetric metric perturbation. Fix a local cubic density
with symmetric second-derivative jet convention. Its exact coefficients are input data. Define
theoremTheorem: Weighted second-jet Euler identityTrack B foundations: density weighting, response, and roots › A fully specified parameterized Euler interface · Psy02-B@2#thm:Euler, Psy02-B@2#eq:weightedEuler · proof attached · lines 1502–1555
Open as its own pagePut
Then
There are no derivatives of beyond order two. If the chosen density's coefficient identifications are
then
For a time-only ramp the extra terms are .
Proof. Apply
and expand each product derivative. Symmetry of combines the two first-ramp-derivative terms. The coefficient identifications give the remaining formulas.
sectionA fully specified parameterized Euler interfaceTrack B foundations: density weighting, response, and roots › A fully specified parameterized Euler interface · Psy02-B@2#rec:source · lines 1555–1573
Open as its own pageThe supplied XII-C passage,
thm:actualsource, lines 718–760, gives the last displayed source for its selected unintegrated cubic representative CheungXIIC. The full density, , and component definitions were not included. Theorem thm:Euler proves the general variational rule; exact identification with the inherited representative still requires those components.Adding a divergence before multiplying by a nonconstant ramp is not an innocuous change: on compact supports. The unintegrated density representative therefore matters.
sectionPrescribed response and cutoff independenceTrack B foundations: density weighting, response, and roots › Prescribed response and cutoff independence · lines 1574–1582
Open as its own pageFor the chosen local quadratic source , define
propositionProposition: Local smooth responseTrack B foundations: density weighting, response, and roots › Prescribed response and cutoff independence · Psy02-B@2#prop:response · proof attached · lines 1583–1607
Open as its own pageSuppose the local source is smooth and vanishes for . On a finite slab, the response is the unique smooth zero-data solution of . On a compact observation region , it is determined by the source on
Spatial cutoffs agreeing near give the same local response. Its support lies in , not necessarily in the ramp-transition layer.
Proof. The truncated causal past is compact. Cut off the input fields spatially outside a neighborhood of its projection; locality preserves the source near . Wave Cauchy theory and finite propagation give equal responses near . These local constructions agree on overlaps. Zero-data uniqueness and finite propagation prove the final claims BGP.
sectionPrescribed response and cutoff independenceTrack B foundations: density weighting, response, and roots › Prescribed response and cutoff independence · lines 1607–1612
Open as its own pageThis is the independent response argument underlying the typed XII-D interface CheungXIID. It does not derive the nonlinear source coefficients.
sectionBoth completion legs and the compact collar rootTrack B foundations: density weighting, response, and roots › Both completion legs and the compact collar root · Psy02-B@2#eq:Aone, Psy02-B@2#eq:alpha · lines 1614–1658
Open as its own pageFor this interface, fix:
a finite-order coordinate operator
whose smooth differential coefficients vanish for ;
a bilinear scalar differential expression
with fixed smooth coefficients supported in a compact switched region.
All coefficients and signs are input data. They are not inferred from similarly named operators in another manuscript.
Define the two-leg completion
Its first term is the coordinate leg; its second is the switched scalar leg. Let be the exact formal-transpose root:
The star here denotes formal differential transpose, not a quantum product.
theoremTheorem: Two-leg root identityTrack B foundations: density weighting, response, and roots › Both completion legs and the compact collar root · Psy02-B@2#thm:root, Psy02-B@2#eq:rootidentity · proof attached · lines 1659–1709
Open as its own pageThe root is smooth, linear in , and has support in a fixed causal compact set determined by and the specified coefficients. It satisfies
For
choose a smooth time collar equal to one on the nonnegative-time causal support relevant to the source, and zero sufficiently far in the past. Then
is compactly supported and
The insertion is collar independent. The effective roots , , and are supported in nonnegative time.
Proof. Transpose the retarded Green operators and the finite differential operators in (eq:Aone). This gives (eq:alpha) and the first identity. Advanced support, compact , and the coefficient support restrictions give a common compact causal support for . All operations are continuous on the corresponding fixed smooth support stages.
The advanced image may extend to the past. A lower time collar makes it compact because the advanced causal past of the fixed compact set, truncated below in time, is compact. Transposing gives . The source vanishes in negative time and the advanced root vanishes above the observation, so multiplication by the chosen collar does not change this pairing. Ramp factors and their derivatives vanish at nonpositive times.
sectionBoth completion legs and the compact collar rootTrack B foundations: density weighting, response, and roots › Both completion legs and the compact collar root · lines 1709–1715
Open as its own pageThe sign, both legs, and the distinction between raw and effective roots reproduce the supplied XII-D handoff at the interface level. Exact equality of the operators with the inherited ones requires their coefficient sheet.
sectionThe insertion sign and full observableTrack B foundations: density weighting, response, and roots › The insertion sign and full observable · Psy02-B@2#eq:PhiD, Psy02-B@2#eq:Ocal, Psy02-B@2#rec:assembly · lines 1716–1780
Open as its own pageSuppose the selected second-order completion has the affine identity
With ,
If is nonzero as a family, no other insertion multiple represents the same fixed second slot. Indeed equality with coefficient would imply , hence .
The source-record scalar-sourced slot is
Here the inherited stress normalization remains a named source input; the full stress component sheet was not supplied.
XII-E supplies (eq:PhiD), the once-entered scalar-sourced slot, and the corresponding carrier admission for its completed tree functionals CheungXIIE. The nonzero-family premise, not admission alone, is what gives uniqueness of the insertion coefficient. The quantum two-line coefficient below is a different object.
For orientation, the reported eleven-branch inventory is
Here , , and . The remaining expressions are source inputs, not newly invented component definitions. The inventory is a record from XIII-C CheungXIIIC. The retained six-branch local calculation does not erase the other branches from the global observable.
Track B internal kernels, trees, and the grouped target
definitionDefinition: Balanced tree datumTrack B internal kernels, trees, and the grouped target › A tree theorem that does not extend to cycles · Psy02-B@2#def:tree · lines 1786–1795
Open as its own pageA tree datum consists of a finite tree on vertices , with external vertices , smooth vertex weights, and edge distributions whose wavefront covectors are balanced: an edge from to has endpoint covectors . Assume the closed graph support determined by all weights and edge supports is compact. Finite differentiations and species contractions are specified.
theoremTheorem: Balanced tree compositionTrack B internal kernels, trees, and the grouped target › A tree theorem that does not extend to cycles · Psy02-B@2#thm:tree · proof attached · lines 1797–1828
Open as its own pageThe edge product is defined by the ordinary wavefront product criterion. Its internal-vertex pushforward is compactly supported. Its external wavefront satisfies
Thus it excludes configurations in which all external covectors are nonzero-compatible future causal covectors or all are past causal covectors. For external field slots this gives a microcausal kernel.
Proof. A zero sum of all incident edge covectors at every vertex would, at a leaf, force the unique edge covector to vanish. Removing that edge and repeating proves that every edge covector would vanish, which is excluded in the product criterion. Zero covectors may occur in individual factors; the same induction applies to any proposed nontrivial cancellation.
Compact graph support makes the internal projection proper. In the pushforward wavefront condition all internal covectors are zero. Summing balanced edge covectors leaves the stated external sum. A sum of causal covectors with one common time orientation cannot vanish unless every covector vanishes. Differential operators and smooth weights preserve the bound Hormander.
sectionA tree theorem that does not extend to cyclesTrack B internal kernels, trees, and the grouped target › A tree theorem that does not extend to cycles · lines 1828–1835
Open as its own pageFor a cycle, nonzero edge covectors can circulate with zero sum at every vertex. The leaf proof is unavailable. This explains why tree admission and properness do not establish the two-cross-line product. It is not a proof that every cyclic prescription is impossible.
sectionCoordinate kernel and source incidenceTrack B internal kernels, trees, and the grouped target › Coordinate kernel and source incidence · Psy02-B@2#eq:Q · lines 1836–1879
Open as its own pageDefine the coordinate-response kernel by
For a chosen finite-order coordinate operator its kernel is a finite sum of smooth coefficients and derivatives of . This definition fixes its type. Its exact inherited signs and coefficients must be taken from the complete source, not guessed.
Let the polarized local quadratic source have kernel
It is defined by
The polarization convention is the mixed second derivative. Its coefficient list and derivative bound are part of the selected source data.
The map is a submersion. Consequently the two-delta product is defined, with support and underlying conormal covectors
The supplied XIV-H source incidence has total normal polynomial order at most two; in its stated conormal convention this gives upper order three in twelve dimensions CheungXIVH. That numerical order is not asserted for every possible cubic density in Section sec:Euler.
sectionBoth K 5 placements and the other retained termsTrack B internal kernels, trees, and the grouped target › Both K 5 placements and the other retained terms · Psy02-B@2#eq:K5, Psy02-B@2#eq:K47, Psy02-B@2#eq:K6, Psy02-B@2#eq:K8, Psy02-B@2#eq:K9 · lines 1880–1985
Open as its own pageLet
with fixed constant fiber maps from the inherited coefficient sheet. The supplied retained kernels are
They are source records with the types now printed.
Both products are internally defined:
The respective coordinate changes to root plus independent differences are diffeomorphisms. Thus they are pullbacks of tensor products, including at . Differentiation and smooth multiplication preserve existence. No quantum cross-line has yet been multiplied.
On the chronological separated patch, the supplied coordinate response term is
Lemma lem:retarded explains its retarded convolution and cone coefficient. Its source-specific finite order still depends on .
A type-complete scalar-leg definition can be given without inventing its absent component expansion:
For fixed coefficients and compact input tests, this is a continuous trilinear functional, by local smooth wave propagation and compact support control. The Schwartz kernel theorem therefore defines a distribution. Equation (eq:K9) matches the scalar-leg structure, but its identity with every inherited component requires the exact and source coefficients. It is not a numerical or microlocal completion of the full target.
Set
The first is the retained six-branch sum, because groups branches and contains both placements.
For an inserted smooth metric , the complete term retained in is represented by
Deleting its second contribution changes the grouped expression.
sectionThe actual quantum targetTrack B internal kernels, trees, and the grouped target › The actual quantum target · Psy02-B@2#eq:target, Psy02-B@2#rec:stops · lines 1987–2059
Open as its own pageLet and be the fixed species-valued Hadamard and time-ordered bidistributions of the selected free carrier. The source convention is
Their complete species normalizations and graded signs are inherited inputs. The even mixed sector considered here is .
For , define the grouped cross-line data
with the indicated shared-variable pullbacks performed only on their proved domains.
The source-selected interaction is
The formal retained target is
The contraction includes the specified vertex derivatives, fiber coefficients, and output operations. The difference remains grouped; no mixed – expansion is declared defined across the characteristic locus.
Let be the open domain on which the relevant product and pullback wavefront criteria are satisfied. Let be the selected closed characteristic locus. For the independent interface results, is an explicitly declared closed input set. The excerpts name the inherited , but do not give its complete defining chart and incidence equations. We therefore do not identify it with the complement of , nor claim to have recomputed its codimension.
The supplied releases report:
XIV-H: exact internal kernels and charts, but the uniform transition amplitude unresolved at H2;
XIV-I: that named internal amplitude constructed at I2, with both placements and lower-degree remainder; the full grouped characteristic map unresolved at I3;
XIV-J: a supported-sector reference off its characteristic locus and a conditional coefficient-extension interface; the full map unresolved at J2;
XV-B: abstract descent and relative-lifting theorems, but the inherited full map still unresolved at its B1 continuation.
These are source records CheungXIVH,CheungXIVI,CheungXIVJ,CheungXVB. The H2 amplitude gap is historical after I2. The missing operation is not reclassified as an absent internal tree distribution.
Track B reconstruction, contacts, and supported references
sectionAn explicit presentation modelTrack B reconstruction, contacts, and supported references › An explicit presentation model · lines 2063–2094
Open as its own pageOne local retarded presentation space can be defined independently. For a multi-normal variable , an internal difference , and passive variables , take finite sums of formal expressions
with smooth coefficient , polynomial , and the fixed tempered multiplier. Use inverse Fourier transforms in and define
This is well defined by tensor product and smooth multiplication. For a complete finite graph presentation use a direct sum of its declared coordinate charts and reconstructions. Let
with the quotient topology of the chosen presentation space.
This local definition makes the independent descent theorem concrete. It is not claimed to be the entire module of XIV-I, whose exact coefficient space, seminorms, uniform annular estimates, and remainder were not supplied in full.
theoremTheorem: Descent through reconstructionTrack B reconstruction, contacts, and supported references › An explicit presentation model · Psy02-B@2#thm:descent · proof attached · lines 2095–2115
Open as its own pageA linear candidate
factors uniquely through if and only if
If is continuous, the induced map is continuous for the quotient topology.
Proof. A factoring map kills the kernel. Equal reconstructions differ by a kernel element, so the condition makes the induced value well defined. Surjectivity onto the range gives uniqueness. The quotient topology gives continuity.
sectionAn explicit presentation modelTrack B reconstruction, contacts, and supported references › An explicit presentation model · lines 2115–2132
Open as its own pageFor one normal coordinate,
Under the printed inverse-Fourier convention, , hence
while its two summands reconstruct separately to and . This proves why a highest presentation degree alone is not an intrinsic joint symbol. One may define an image filtration, but its associated symbols must respect every reconstruction identity.
sectionThe frozen partial-diagonal classTrack B reconstruction, contacts, and supported references › The frozen partial-diagonal class · Psy02-B@2#eq:contacts · lines 2134–2168
Open as its own pageFor the source comparison, the supplied XIII-C class is reproduced: before pushforward a permitted contact change has form
Here:
is transverse to a specified collision diagonal ;
is the inherited spectator coefficient, with its two remaining field slots retained;
is built from the already present smooth graph weights and ;
is the fixed finite graph differential operator;
the change is even, has ghost number zero and field degree two, and lies in the existing compact graph closure;
it preserves the tree datum and observable-subgraph normalizations;
the product and pushforward in question must already be well defined.
Finite sums give ; total-diagonal terms give . The bound six is frozen bookkeeping, not a new power-counting theorem CheungXIIIC,CheungXIIIE. The exact graph catalogue is still required for an inherited application.
theoremTheorem: Relative lifting obstructionTrack B reconstruction, contacts, and supported references › The frozen partial-diagonal class · Psy02-B@2#thm:lifting · proof attached · lines 2169–2199
Open as its own pageLet be an open reference domain, let be restriction to , and . Suppose a preliminary continuous full lift already exists. For a linear permitted correction space , let , and define
assuming the reference restriction kills null presentations. A descending correction exists if and only if this obstruction is zero. When it exists, the descending candidates form an affine space over
All candidates have the same reference restriction.
Proof. The reference assumption makes . Descent is precisely . This is vanishing of the displayed quotient class. Subtract two solutions and use .
theoremTheorem: Contacts cannot repair an off-contact null defectTrack B reconstruction, contacts, and supported references › The frozen partial-diagonal class · Psy02-B@2#thm:contactobstruction · proof attached · lines 2201–2214
Open as its own pageSuppose every permitted correction to a preliminary lift is supported in a closed contact locus . If some and some test supported in satisfy , no permitted corrected lift descends.
Proof. Every allowed correction vanishes on . Thus the corrected candidate still fails to kill . Apply Theorem thm:descent.
sectionThe frozen partial-diagonal classTrack B reconstruction, contacts, and supported references › The frozen partial-diagonal class · lines 2214–2227
Open as its own pageThis is a conditional obstruction, not an evaluated obstruction for the actual absent inherited lift. It applies on the graph domain with the stated contact support. After propagation or pushforward, the image of a local contact can have a larger support; that image must be tracked rather than replaced by the original local contact.
Agreement only on does not prove that two extensions differ by permitted collision contacts. A characteristic-supported difference outside the collision locus can be invisible on that smaller reference domain.
sectionSupported normal jetsTrack B reconstruction, contacts, and supported references › Supported normal jets · lines 2229–2237
Open as its own pageIn , set
Normal order at most means annihilation of tests whose normal jets through vanish on .
theoremTheorem: Normal coefficients and supported extensionTrack B reconstruction, contacts, and supported references › Supported normal jets · Psy02-B@2#thm:jets · proof attached · lines 2238–2270
Open as its own pageEvery supported distribution of normal order at most has a unique representation
If it is specified only over , a supported extension of that order exists exactly when each coefficient admits an extension to . The unrestricted difference of two such extensions is
Finite normal order does not make the ambiguity finite dimensional.
Proof. Choose a compact normal cutoff near zero and let
Its jets select exactly the -coefficient. Set . Taylor decomposition modulo vanishing jets proves representation; the selectors prove uniqueness. Restriction commutes with finite insertion maps, proving the extension and ambiguity statements. The tangential coefficient spaces are infinite dimensional.
sectionSupported normal jetsTrack B reconstruction, contacts, and supported references › Supported normal jets · lines 2270–2284
Open as its own pageFor smooth ,
This follows by differentiating the product . For distributional coefficients, the traces and tangential products need independently checked wavefront conditions.
propositionProposition: Traceable supported-sector referenceTrack B reconstruction, contacts, and supported references › Supported normal jets · Psy02-B@2#prop:reference · proof attached · lines 2285–2313
Open as its own pageSuppose on an open set :
a supported kernel has normal form ;
the cross-line normal traces exist;
the products , and the relevant distributional product before restriction, satisfy the stated wavefront conditions.
Then its grouped reference product is
Proof. The identity holds for smooth cross-line coefficients. Regularize in a wavefront-compatible topology on the admitted domain. Continuity of the checked restriction and product operations passes the identity to the distributional limit Hormander,BrunettiFredenhagen.
sectionSupported normal jetsTrack B reconstruction, contacts, and supported references › Supported normal jets · lines 2313–2321
Open as its own pageThe supplied XIV-J reference applies to , not , on CheungXIVJ. Its reported wavefront bound adds response-normal covectors and the two traceable cross-line conormals. The hypotheses must be checked from the complete local chart; the source summary alone is not that check.
Track B continuation, microlocal output, and admission
sectionA limit route for the complete grouped expressionTrack B continuation, microlocal output, and admission › A limit route for the complete grouped expression · lines 2325–2335
Open as its own pageLet be closed and conic. Use with distributional test seminorms and localized Fourier decay seminorms
whenever .
theoremTheorem: Sufficient full-map certificateTrack B continuation, microlocal output, and admission › A limit route for the complete grouped expression · Psy02-B@2#thm:limit · proof attached · lines 2336–2359
Open as its own pageSuppose regularized complete grouped maps converge to a continuous , uniformly on bounded presentation sets. Assume:
for every ;
the limit agrees with canonical contraction on its proved domain;
the support and cone are those required for the complete graph;
all tensor coefficients, lower terms, and both placements are retained.
Then descends to a continuous full reconstructed-kernel map, with the stated reference, support, and wavefront.
Proof. The topology gives a distributional limit and Fourier decay outside , hence its wavefront bound. The null-presentation condition gives descent. Support and reference agreement pass to the distributional limit.
sectionA limit route for the complete grouped expressionTrack B continuation, microlocal output, and admission › A limit route for the complete grouped expression · lines 2359–2379
Open as its own pageThe theorem assumes convergence of the full graph, not just its internal pole. For two regulators to define the same off-collision prescription, they must agree on the whole off-collision domain, not merely on the smaller canonical subset. After that agreement, membership of their difference in the exact permitted contact class is another obligation.
A direct generalized composition is an alternative route: construct
with the actual source domains, canonical agreement, descent, characteristic value, and complete wavefront. No existence theorem for that inherited composition is asserted.
sectionSection, remainder, and transverse estimatesTrack B continuation, microlocal output, and admission › Section, remainder, and transverse estimates · lines 2380–2417
Open as its own pageIf a continuous section with has been constructed,
A descending map kills this remainder. An algebraic selection of representatives is not a continuity, uniformity, or intrinsic-symbol theorem.
For a restricted locally integrable transverse function satisfying
on compact tangential sets, choose integer with . The Taylor subtraction
gives the extension
The remainder is , so radial integrability is , with exponent greater than . This proves extension for that printed class. It does not prove a full characteristic extension from frequency homogeneity alone.
For general distributional transverse extensions, scaling and wavefront hypotheses must be checked against an applicable theorem Dang,BrunettiFredenhagen. One cannot cite such a theorem without establishing its domain, scaling, conormal-landing, and support conditions.
propositionProposition: Smoothness off a locus does not ensure extensionTrack B continuation, microlocal output, and admission › Section, remainder, and transverse estimates · Psy02-B@2#prop:noextension · proof attached · lines 2418–2434
Open as its own pageA smooth distribution on a punctured domain need not extend across the puncture.
Proof. Take on . A distribution extension near zero has finite order on every fixed compact interval. Evaluate it on a nonnegative bump centered at with width proportional to . Its test seminorms grow polynomially in , but its pairing is bounded below by . This contradicts finite-order continuity.
sectionSection, remainder, and transverse estimatesTrack B continuation, microlocal output, and admission › Section, remainder, and transverse estimates · lines 2434–2438
Open as its own pageThis proves why an off-characteristic normal form is not an extension theorem.
sectionOutput wavefront and a precisely defined admission interfaceTrack B continuation, microlocal output, and admission › Output wavefront and a precisely defined admission interface · Psy02-B@2#eq:carrierinterface · lines 2440–2489
Open as its own pageFor the independent even-sector interface, define
A compact polynomial functional has finitely many symmetric kernels . It is microcausal if
where the product causal cones allow zero components but exclude the all-zero cotangent vector. Let denote this specified even polynomial space.
Fix bidistribution for which the finite contractions are defined, and set
For polynomials the sum is finite at each pair. Associativity follows from the commuting contraction operators, provided all indicated products are defined. This is the standard deformation-quantization interface FredenhagenRejzner.
Now supply a named free solution space and an explicitly specified two-sided -ideal . Define
The ideal property is a hypothesis to verify, not a consequence of merely calling the ideal “on shell.”
This defines a complete abstract admission interface. It does not identify with XII-A's full graded carrier without its exact field multiplet, free equations, ideal, normalization, and graded contraction rules.
theoremTheorem: Conditional microcausal admissionTrack B continuation, microlocal output, and admission › Output wavefront and a precisely defined admission interface · Psy02-B@2#thm:admission · proof attached · lines 2490–2519
Open as its own pageSuppose a complete joint distribution has been constructed, all required vertex operations are defined, and its support is proper over the two surviving field slots. Let be that slot projection. Assume the output wavefront estimate proves
Then its appropriately symmetrized compact output kernel defines a quadratic element of , and hence a class under . Its normalization must be supplied by the selected binary retarded-coefficient convention.
Proof. Proper support makes the pushforward defined and compact. For the projection,
The assumed exclusion gives microcausality. Symmetrization preserves compactness and the same cone exclusion. Apply the defined quotient map Hormander,FredenhagenRejzner.
sectionOutput wavefront and a precisely defined admission interfaceTrack B continuation, microlocal output, and admission › Output wavefront and a precisely defined admission interface · lines 2519–2535
Open as its own pageFor a different map, the general pushforward theorem may also include covectors whose pullback vanishes. The formula above is used for a projection submersion, where that exception cannot occur for .
The inherited target remains
Its is the inherited quotient map, not a gauge differential; is the requested quantum-order coefficient, not the tree datum . This paper does not construct it. No Ward defect or differential is applied to an absent coefficient.
Classical continuation and non-transfer boundaries
sectionClassical continuation and non-transfer boundariesClassical continuation and non-transfer boundaries · lines 2537–2549
Open as its own pageThe source-record relative branch is XIV-A followed by XIV-B, not the analytic XIII-C–XIV-C––XIV-J route. Its classical fields include , with relative compact ghosts and compact antighosts and antifields.
A relative master equation on that space is not a master equation on unrestricted free ghosts and does not imply observable closure CheungXIVA,CheungXIVB. The following elementary fact explains one boundary without importing the full classical action.
lemmaLemma: Compact homogeneous ghosts vanishClassical continuation and non-transfer boundaries · Psy02-B@2#lem:ghost · proof attached · lines 2550–2563
Open as its own pageA smooth solution of , compactly supported inside an open time slab, is zero. The statement holds coefficientwise for a finite Grassmann algebra.
Proof. A Cauchy surface sufficiently near the lower end of the slab lies before the compact support. Both Cauchy data vanish there. Homogeneous uniqueness gives zero throughout the slab BGP.
sectionClassical continuation and non-transfer boundariesClassical continuation and non-transfer boundaries · lines 2563–2593
Open as its own pageConsequently a relative compact-ghost space cannot be identified, by inclusion, with the unrestricted free-ghost solution space. An equation-generating Koszul–Tate sector is not automatically a full resolution; acyclicity and grading conditions are additional. An algebra generated by local functionals contains multilocal products, so the set of single-integral local functionals is not silently treated as closed under ordinary multiplication.
The alternative XIII-E regulator route reports finite-regulator quadratic kernels and convergence on microlocally admissible open sets, while retaining its characteristic-limit and compatibility obligations CheungXIIIE. It is not imported as a completed prescription.
The supplied XIV-I/I2 record therefore advances the historical H2 amplitude problem, but neither classical relative symmetry nor finite-regulator admission supplies I3/J2. The new XV-B excerpt explicitly continues that missing full operation at B1 CheungXVB. “XV-B is closed” is interpreted only as the admission exit not being licensed; it does not deny that a separate XV-B interface manuscript exists.
Detailed F0 patch, XVI-N, and XVI-O comparisons are not used as premises or release claims here. Their full versioned sources are outside the indispensable package. This removes unsupported peripheral status claims from the main argument.
Source sufficiency and the complete construction ledger
definitionDefinition: Source-alignment certificateSource sufficiency and the complete construction ledger · Psy02-B@2#def:alignment · lines 2597–2610
Open as its own pageAn exact inherited application of an interface theorem requires:
versioned complete sources and byte-level artifact identification;
every defining density, tensor, operator, support condition, topology, and equivalence relation;
an explicit notation translation;
verification of the theorem's hypotheses on those objects;
no unrecorded change of coefficient, field space, regulator, or ambiguity class.
A summary of a source's conclusion is not such a certificate.
sectionSource sufficiency and the complete construction ledgerSource sufficiency and the complete construction ledger · Psy02-B@2#tab:Bgates · lines 2610–2673
Open as its own pageThe indispensable package is:
together with the exact admission-space definition and any additional source actually needed by the selected kernels. The newly supplied XIII-B properness and tree passages explain the tree handoff, but do not replace that package.
B construction and source status. Gate Independent result supplied here Inherited application status Gate Independent result supplied here Inherited application status Definitions Spacetime, retarded kernels, weighted Euler interface, both completion legs, response and roots, typed kernels, contact class. Exact inherited density, tensor sheets, locus, and full graded carrier are not completely supplied. B1 Reconstruction descent and complete-grouped limit criterion. I3/J2, and XV-B's B1 continuation, remain unconstructed for the full selected target. B2 Section–null-remainder bookkeeping. No actual continuous full joint section is constructed. B3 Restricted transverse extension theorem and explicit growth counterexample. The required full transverse estimates are not inferred from internal frequency homogeneity. B4 Relative correction obstruction, off-contact null-defect obstruction, normal-coefficient extension criterion. No preliminary full inherited lift or exhaustive evaluated correction obstruction is supplied. B5 Projection wavefront and compact-output admission criterion. No full inherited joint distribution is available for the required complete output theorem. B6 Exact abstract quotient and microcausal admission interface. No assertion . For Track A, the mathematical deliverables remain: carrier and matched masses; observation and channel bridges; temporal filters; all four mass patterns and stability; complete-law overlap; forward measurement; robust gap and sampling; causal factorization and interpretive boundary. Physical calibration and biological correspondence remain separate.
propositionProposition: No cross-track entailmentSource sufficiency and the complete construction ledger · Psy02-B@2#prop:nontransfer · proof attached · lines 2674–2687
Open as its own pageThe Track A formulas do not define Track B's grouped characteristic map. Conversely, admission of a Track B coefficient would not identify Track A's mass branches, bath, encoding, or instrument.
Proof. The domains and operations are explicitly different. No map identifying their states, distributions, generators, and observations has been supplied. The missing comparison is an additional premise in either direction.
Discussion and mathematical release
sectionDiscussion and mathematical releaseDiscussion and mathematical release · lines 2690–2713
Open as its own pageThe pilot has a decisive restricted verdict: complete-law overlap prevents identification, while independently calibrated families with a positive retained detector gap admit a bounded-record test. The illustrative viability region is a mathematical design, not a biological sensitivity result. A loss of coherence does not uniquely identify gravity when another complete process reproduces the records.
The analytic revision adds enough definitions to verify its independent theorems without chasing release summaries: the fixed retarded pole, weighted Euler rule, smooth response, both root legs, tree wavefront argument, reconstruction, normal coefficients, correction obstruction, and conditional admission are all printed. It does not pretend that a parameterized interface is the complete component expansion of the inherited frozen model.
This distinction preserves rather than weakens the contribution: an outside reader can check what is proved, determine precisely what is assumed, and locate the sources needed for a stronger claim.
theoremTheorem: Psy02-B releaseDiscussion and mathematical release · Psy02-B@2#thm:release · proof attached · lines 2714–2746
Open as its own pageFor the objects and hypotheses explicitly defined here:
the finite thermal environment and separate memoryless pilot have the stated exact dynamics;
observation, channel, instrument, energy, temporal-fluctuation, and mass-stability bounds hold;
complete-process overlap gives an exact obstruction, and the calibrated forward instrument gives the stated robust separation;
a nonempty dimensionless pilot viability region is proved;
weighted Euler-source, smooth-response, compact-root, balanced-tree, retarded-pole, reconstruction-descent, normal-jet, and relative-contact interface results hold;
the sufficient full-map and conditional microcausal admission criteria hold on their printed domains.
No biological correspondence, unrestricted gravity identification, complete inherited characteristic construction, inherited quantum admission, or consciousness assignment is established.
Proof. The preceding theorems prove each positive assertion. The physical correspondence remains Assumption ass:physical. The complete-process counterexamples prevent unrestricted mechanism identification. The missing inherited definitions and characteristic operation are listed explicitly in Sections sec:Bdefinition–sec:ledger. The abstract admission theorem assumes a constructed full joint distribution; none is asserted for the selected inherited target. The interpretation has no selecting premise.
sectionDiscussion and mathematical releaseDiscussion and mathematical release · lines 2746–2752
Open as its own pageNo clinical recommendation follows. The contrasting brain-decoherence calculations Tegmark,Hagan illustrate model dependence, not calibration of the present branches.
Declarations
sectionDeclarationsDeclarations · lines 2753–2779
Open as its own pageand competing interests. No specific funding or competing interests are declared.
. No new human or animal experimentation is reported.
and source availability. No new biological dataset is used. The dimensionless example is analytic. The manuscript is one self-contained
pdflatexsource. Internal Cheung references identify supplied excerpt records; no unavailable full manuscript is represented as appended, independently inspected, or reproduced here.provenance. The revision includes a static mathematical and source audit. It does not report an executed {} build, numerical reproduction, laboratory implementation, or machine-checked proof. Bibliographic information for public methodological sources was checked against primary-source records where accessible. Attempts to access the four immediate companion pages did not supply their full texts.
Dependency and notation index
sectionDependency and notation indexDependency and notation index · lines 2781–2892
Open as its own page, printed definitions, and source-alignment limitations. Symbol Definition or type here Inherited source and limitation Symbol Definition or type here Inherited source and limitation Massless retarded cone distribution, (eq:Rret); separate from Track A rate . XIV-H/I line convention; its normalization is reproduced. Metric operator , Section sec:Bspacetime. XII-D/E response sheet. Distribution kernel of , Section sec:Bkernels. Exact inherited coordinate coefficients are needed; not confused with . Compact observation and interaction tests. Frozen throughout XII–XIV. Exact profiles are inputs. Fixed smooth ramp, zero for . XII-C/D; exact transition profile and width are not changed. Local cubic density and weighted variational coefficients, Section sec:Euler. XII-C thm:actualsource, lines 718–760. Full component sheet not supplied.Fixed linear and polarized quadratic metric fiber maps. XIV-H/I; their component values are source inputs. Complete coordinate expression after (eq:K9). XIV-I regrouping; no term is discarded. Polarized local-source incidence, (eq:Q). XIV-H source incidence. Exact coefficient list remains needed. Coordinate-response kernel, (eq:K8). XIV-H prop:K8exact, lines 974–1016.Scalar-leg trilinear kernel, (eq:K9). Exact inherited component expansion not supplied; matching is conditional on the operator coefficient sheet. Grouped time-ordered minus Hadamard two-line data, Section sec:cross. XIV-I target; full species propagators are inherited inputs. Ambient four-vertex domain and selected closed characteristic set. XIV-G/H/J name . Full defining incidence equations not supplied. Explicit local Fourier reconstruction and chosen graph direct sum, Section sec:Bdescent. XIV-I/J exact full module must be supplied for identification. Range of the selected reconstruction with quotient topology. Not asserted identical to the unavailable full inherited module. Well-defined graphwise contacts with all printed restrictions, (eq:contacts). XIII-C def:Cpart, lines 440–474. Complete graph catalogue still needed.Explicit abstract quotient interface, (eq:carrierinterface). Not substituted for XII-A's exact full graded carrier. Inherited quotient map and full-shell carrier, source-record notation. XII-A and related convention sheets must define the actual ideal, equations, graded product, and normalization. Requested inherited quantum-order coefficient. XIII-C through XIV-J/XV-B: not constructed or admitted here. Separate reported tree-level binary datum. XIII-B; not substituted for .
Versioned source package required for the stronger claim
sectionVersioned source package required for the stronger claimVersioned source package required for the stronger claim · lines 2894–2923
Open as its own pageImmediate construction files:
XIV-H.tex,XIV-I.tex,XIV-J.tex, andXV-B.tex, each with its selected version and complete definitions.Frozen foundations:
XII-A-v2.tex,XII-C.tex,XII-D.tex,XII-E.tex, andXIII-C.tex.Additional analytic dependencies actually invoked: the precise source of the complete propagator convention, free-shell ideal, mixed Hessian, selected locus, graph catalogue, and output normalization; XIII-B and XIV-G where needed.
Secondary branch comparisons: full XIV-A, XIV-B, and XIII-E only if their detailed claims are retained beyond the restricted documentary comparison here.
Optional peripheral continuation claims: the exact versioned F0 and patch records, or XVI-N/O, if a future paper wishes to evaluate those programmes. They are not substitutes for the core construction.
A source deposit should supply stable archive identifiers, filenames, version dates, checksums computed from the deposited bytes, and a definition-location index. No hash is invented in this paper. A companion website's root URL alone is not a version-stable definition locator.
Mathematical and LaTeX debugging ledger
sectionMathematical and LaTeX debugging ledgerMathematical and LaTeX debugging ledger · lines 2925–3008
Open as its own page• Script alphabet. The source loads
mathrsfsfor every || expression.• Rate versus retarded kernel. The biological rate and the analytic retarded distribution are distinguished by context and the explicit macro .
• Coordinate kernel versus metric operator. and have different types.
• Fresh-bath preparation. The collision argument includes a bath state with zero mean; the unitary alone does not determine its reduced channel.
• Hamiltonian units. The generalized code Hamiltonian is , so has rate units.
• Exact gap versus enclosure. The formula is exact for rectangular families. For correlated calibration sets it is a certified lower bound.
• Code-only reduction trajectories. The two-eigenvalue collapse statement is restricted to the code. The leakage level adds another -eigenvalue if admitted.
• Phase noise and bath spectra. White-force calculations are separate from the finite thermal oscillator spectrum and use a specified Markov process.
• Completion sign. The uniqueness proof uses and a nonzero-family hypothesis, not an implication from admission to nonvanishing.
• Weighted density representative. Moving a divergence before ramp multiplication changes the action by ramp-derivative terms. The selected representative is retained.
• Both roots. The coordinate and scalar legs are transposed before introducing the collar root. The raw advanced root is not falsely assigned nonnegative-time support.
• Tree versus cycle. Balanced tree composition is proved by leaf elimination. It is not promoted to a cyclic two-cross-line theorem.
• Derivative-order claims. The source-specific order-two incidence is a record for the selected density, not a universal bound for arbitrary second-jet cubic densities.
• Inherited source components. Unavailable tensor values are not invented to make a displayed kernel look complete.
• Historical H2 and current I3/J2. I2 advances the internal amplitude stop. It does not define the full characteristic product.
• Presentation identities. The null identity is included. A candidate must kill the entire reconstruction kernel, not one selected null presentation.
• Contact support before and after propagation. The off-contact obstruction is stated on its actual graph domain. A propagated contact can have larger support.
• Normal jets. Finite normal order is not a finite-dimensional tangential normalization space.
• Pushforward map. The printed simple wavefront bound is for a projection submersion with proper support.
• Carrier ideal. An on-shell name does not establish a two-sided quantum ideal. The exact inherited full graded carrier is not replaced by the abstract even-sector interface.
sectionMathematical and LaTeX debugging ledgerMathematical and LaTeX debugging ledger · lines 3008–3022
Open as its own page• Scope of “closed exit.” The phrase refers to lack of inherited admission, not to nonexistence of the independently supplied XV-B manuscript.
• Bibliographic titles. Descriptive internal titles are used only when they occur in the supplied source records. Otherwise manuscript labels are retained.
• Verification. Static derivation, compilation, software execution, formal proof, and biological validation remain distinct evidence types.
bibliographyReferencesMathematical and LaTeX debugging ledger · lines 3023–3381
Open as its own pageHameroffPenrose
S. Hameroff and R. Penrose, Consciousness in the universe: a review of the “Orch OR” theory. Physics of Life Reviews 11 (2014), 39–78.
https://doi.org/10.1016/j.plrev.2013.08.002.Penrose
R. Penrose, On gravity's role in quantum state reduction. General Relativity and Gravitation 28 (1996), 581–600.
https://doi.org/10.1007/BF02105068.Diosi
L. Diósi, Models for universal reduction of macroscopic quantum fluctuations. Physical Review A 40 (1989), 1165–1174.
https://doi.org/10.1103/PhysRevA.40.1165.Tegmark
M. Tegmark, Importance of quantum decoherence in brain processes. Physical Review E 61 (2000), 4194–4206.
https://doi.org/10.1103/PhysRevE.61.4194.Hagan
S. Hagan, S. R. Hameroff, and J. A. Tuszyński, Quantum computation in brain microtubules: decoherence and biological feasibility. Physical Review E 65 (2002), 061901.
https://doi.org/10.1103/PhysRevE.65.061901.Riberi
F. Riberi, L. M. Norris, F. Beaudoin, and L. Viola, Frequency estimation under non-Markovian spatially correlated quantum noise. New Journal of Physics 24 (2022), 103011.
https://doi.org/10.1088/1367-2630/ac92a2. Author manuscript with extended title, arXiv:2204.10798.https://arxiv.org/abs/2204.10798.GKS
V. Gorini, A. Kossakowski, and E. C. G. Sudarshan, Completely positive dynamical semigroups of -level systems. Journal of Mathematical Physics 17 (1976), 821–825.
https://doi.org/10.1063/1.522979.Lindblad
G. Lindblad, On the generators of quantum dynamical semigroups. Communications in Mathematical Physics 48 (1976), 119–130.
https://doi.org/10.1007/BF01608499.Watrous
J. Watrous, The Theory of Quantum Information. Cambridge University Press, 2018. Author's manuscript:
https://cs.uwaterloo.ca/ watrous/TQI/.Shirokov
M. E. Shirokov, Energy-constrained diamond norms and their use in quantum information theory. Problems of Information Transmission 54 (2018), 20–33.
https://doi.org/10.1134/S0032946018010027.https://arxiv.org/abs/1706.00361.DaviesLewis
E. B. Davies and J. T. Lewis, An operational approach to quantum probability. Communications in Mathematical Physics 17 (1970), 239–260.
https://doi.org/10.1007/BF01647093.PollockProcess
F. A. Pollock, C. Rodríguez-Rosario, T. Frauenheim, M. Paternostro, and K. Modi, Non-Markovian quantum processes: complete framework and efficient characterization. Physical Review A 97 (2018), 012127.
https://doi.org/10.1103/PhysRevA.97.012127.PollockMarkov
F. A. Pollock, C. Rodríguez-Rosario, T. Frauenheim, M. Paternostro, and K. Modi, Operational Markov condition for quantum processes. Physical Review Letters 120 (2018), 040405.
https://doi.org/10.1103/PhysRevLett.120.040405.Clerk
A. A. Clerk, M. H. Devoret, S. M. Girvin, F. Marquardt, and R. J. Schoelkopf, Introduction to quantum noise, measurement, and amplification. Reviews of Modern Physics 82 (2010), 1155–1208.
https://doi.org/10.1103/RevModPhys.82.1155.Lieb
E. H. Lieb, Sharp constants in the Hardy–Littlewood–Sobolev and related inequalities. Annals of Mathematics 118 (1983), 349–374.
https://doi.org/10.2307/2007032.Hoeffding
W. Hoeffding, Probability inequalities for sums of bounded random variables. Journal of the American Statistical Association 58 (1963), 13–30.
https://doi.org/10.1080/01621459.1963.10500830.Hormander
L. Hörmander, The Analysis of Linear Partial Differential Operators I: Distribution Theory and Fourier Analysis. Second edition, Springer, 1990. Section 8.2 and the distributional support theorems.
BGP
C. Bär, N. Ginoux, and F. Pfäffle, Wave Equations on Lorentzian Manifolds and Quantization. European Mathematical Society, 2007.
https://arxiv.org/abs/0806.1036.BrunettiFredenhagen
R. Brunetti and K. Fredenhagen, Microlocal analysis and interacting quantum field theories: renormalization on physical backgrounds. Communications in Mathematical Physics 208 (2000), 623–661.
https://doi.org/10.1007/s002200050004.https://arxiv.org/abs/math-ph/9903028.Dang
N. V. Dang, The extension of distributions on manifolds, a microlocal approach. Annales Henri Poincaré 17 (2016), 819–859.
https://doi.org/10.1007/s00023-015-0419-8.https://arxiv.org/abs/1412.2808.FredenhagenRejzner
K. Fredenhagen and K. Rejzner, Perturbative algebraic quantum field theory. Lecture notes, arXiv:1208.1428v2, 2013.
https://arxiv.org/abs/1208.1428v2. Cited for functional domains and deformation quantization, not for an unverified inherited graph extension.Khan
S. Khan et al., Microtubule-stabilizer epothilone B delays anesthetic-induced unconsciousness in rats. eNeuro 11, no. 8 (2024), ENEURO.0291-24.2024.
https://doi.org/10.1523/ENEURO.0291-24.2024.CheungSpinChains
N. Cheung, Transient entanglement in minimal open XXZ spin chains: a toy-model analogy for microtubule-inspired quantum biology. Frontiers in Psychiatry 17 (2026), 1855963. Published 11 August 2026.
https://doi.org/10.3389/fpsyt.2026.1855963. Not a biological identification of the present code.CheungPsy02A
N. Cheung, Psy02-A: Conditional scalar-carrier bounds and operational separation: a mathematical framework for evaluating Orch-OR hypotheses. Undated manuscript,
Psy02-A.tex, supplied in full.CheungEm04A
N. Cheung, Manuscript Em04-A,
Em04-A-v2.tex, version 2, undated. Suppliedthm:reduction, lines 345–381, and release excerpt. Enter Calculus Companion; documentary excerpt record.CheungEm06B
N. Cheung, Manuscript Em06-B,
Em06-B-v1.tex, version 1, undated. Supplied displaced-state, fluctuation, ordered-Weyl, and commuting family records, including lines 923–1045. Enter Calculus Companion; documentary excerpt record.CheungVIIH
N. Cheung, Manuscript VII-H,
VII-H.tex, version 1, undated. Supplied free massless Wick-square response and normalization ledger, including lines 602–660. Enter Calculus Companion; separate model and ambiguity class.CheungVIIJ
N. Cheung, Manuscript VII-J,
VII-J.tex, version 1, undated. Suppliedthm:nosignal, lines 373–417, and causal-support release. Enter Calculus Companion; documentary excerpt record.CheungVIIIC
N. Cheung, Manuscript VIII-C,
VIII-C-v2.tex, version 2, undated. Suppliedthm:C5, lines 1512–1566. Prescribed finite support theorem; documentary excerpt record.CheungEn01B
N. Cheung, Manuscript En01-B,
En01-B-v2.tex, version 2, undated. Suppliedthm:width, lines 1215–1266, andthm:contrast, lines 1518–1562. Calibration and orientation hypotheses are retained.CheungEn01C
N. Cheung, Manuscript En01-C,
En01-C.tex, version 1, undated. Suppliedthm:prep, lines 1032–1073;thm:certificate, lines 1658–1723; and implementation ledger, lines 1859–1947.CheungXIIA
N. Cheung, Manuscript XII-A,
XII-A-v2.tex, version 2, undated. Supplied proof ledger and final decision, lines 1805–1888. Full-shell carrier release reported; its complete defining source was not supplied.CheungXIIC
N. Cheung, Landmark XII-C: One declared cubic weighting: actual Euler source, changed Noether identity, and the coupled-jet question.
XII-C.tex, version 1, undated. Title recorded in the supplied bibliography. Suppliedthm:actualsource, lines 718–760, and the historical unconstructed completion slot, lines 1277–1296.CheungXIID
N. Cheung, Manuscript XII-D,
XII-D.tex, version 1, undated. Supplied response, lines 488–528; two-leg insertion, lines 638–651; compact root, lines 710–756; and signed response law, lines 1139–1164. No unavailable descriptive title is inferred.CheungXIIE
N. Cheung, Landmark XII-E: Assembly of the second-order relational coefficient after admission of the density-weighted cubic insertion.
XII-E.tex, version 1, undated. Title recorded in the supplied bibliography. Supplied XII-D handoff, lines 317–370; insertion sign, lines 651–673; assembled variation, lines 782–800; tree support and admission records; scalar-sourced slot, lines 1227–1253.CheungXIIIC
N. Cheung, Landmark XIII-C: The joint two-line extension of one selected binary pair, on the unchanged carrier.
XIII-C.tex, version 1, undated. Supplied ambiguity class, lines 440–474; eleven-branch inventory, lines 534–560; primitive extension, lines 989–1028; and unresolved joint verdict, lines 1049–1070. The full joint prescription is not supplied by these excerpts.CheungXIIIE
N. Cheung, Manuscript XIII-E,
XIII-E.tex, version 1, undated. Supplied finite-regulator construction, lines 700–728; admissible-domain convergence, lines 812–844; remaining E1 obligations, lines 861–875; and selected-attempt release, lines 1261–1299. Alternative route, not an imported completed characteristic limit.CheungXIVH
N. Cheung, Landmark XIV-H: Internal kernel relations on the operator route.
XIV-H.tex, version 1, undated. Title recorded in the supplied bibliography. Source incidence, lines 760–807; coordinate kernel, lines 974–1016; both placements, lines 1217–1284; transition geometry, lines 1489–1545; H2 verdict, lines 1621–1664; release, lines 1929–1977.CheungXIVI
N. Cheung, Landmark XIV-I: Uniform internal retarded amplitudes at the diagonal–flow-out transition.
XIV-I.tex, version 1, undated. Title recorded in the supplied bibliography. Fixed pole, lines 808–908; I2 and precomposition records, lines 1370–1460; I3 verdict, lines 1541–1630; release and handoff, lines 1811–1988. Full amplitude-module definitions and estimates were not supplied.CheungXIVJ
N. Cheung, Manuscript XIV-J,
XIV-J.tex, version 1, undated. Supplied descent, lines 895–928; null presentation, lines 935–965; supported reference, lines 1297–1381; conditional coefficient interface, lines 1509–1552; J2 verdict, lines 1690–1731; release, lines 1976–2021. No full characteristic map or quantum admission is reported.CheungXVB
N. Cheung, Manuscript XV-B,
XV-B.tex, version 1, undated. Supplied relative-lifting criterion, lines 629–676; source status, lines 405–434; and release, lines 1431–1493. The release retains the inherited full map as unresolved at B1, continuing J2; the abstract interface is not its construction.CheungXIVA
N. Cheung, Manuscript XIV-A,
XIV-A.tex, version 1, undated. Supplied relative master equation, lines 969–997; carrier boundary, lines 1039–1056; and front-matter scope. Classical relative branch; not an analytic graph input.CheungXIVB
N. Cheung, Manuscript XIV-B,
XIV-B.tex, version 1, undated. Supplied field-space clarification, lines 457–491; free-shell ghost theorem, lines 751–786; no-interacting-differential corollary, lines 788–802; and release, lines 1045–1079. The exact graded action and any resolution theorem require the complete source.