Skip to content
Shadow Theory

Appendix FSPC-2 · Version 2

Notation, claim status, and construction dependencies

Reading position 36 of 37

F.1 Principal notation

SymbolMeaning
SymbolMeaning
U\unsplitReality prior to operational distinction; an ontological notation, not a mathematical carrier.
Ωsrc\sourceLegacy ontological notation, interpreted through U\unsplit; not the working source SS.
S,TS,TStructure-side working source and record-side readout; TT is called XX in the descent theorem. Local horizons and kernels retain their separately defined symbols.
S,p:SXS,p:S\to XNominated complete realization domain and its readout.
OΔ\mathcal O\Delta\partialA supplied closure composition; its operators and fixed point are not U\unsplit.
H,Jnm,wnH,J_{nm},w_nQuantum Hamiltonian, directed Hamiltonian current, and coherent sector weight.
d,D,Kd,D,KFinite boundary differential, self-adjoint incidence completion, and squared response operator.
PR,PFP_R,P_FSource-provenance retained and complementary projections.
h(K),γ,Wth(K),\gamma,W_tReal spectral coherent generator, damping coefficient, and combined coherent–dissipative response.
V,B,U\mathcal V,\mathcal B,\mathcal URealized vessel, lineaged components, and admitted controls.
Gall,Gint,CG^{\mathrm{all}},G^{\mathrm{int}},CFull dependence graph, internally typed dependence graph, and a candidate strongly connected core.
Ma,yM_{a,y}Physical instrument matrix for an action and recorded output.
XC,Zr,Z,PCX_C,Z_r,Z_\infty,\mathfrak P_CActual intrinsic carrier, finite-horizon quotient, all-future quotient, and complete native predictive instrument object.
ΦC,ΨC\Phi_C,\Psi_CPhenomenal structural copy and constitutive identification with the predictive object.
Qk,Q^k,Q~kQ_k,\widehat Q_k,\widetilde Q_kPhysical, predictive-class, and induced phenomenal report kernels at fixed external context.
ΣV\Sigma_VLearned/retained scaffolding; not a separate source-awareness substance.

F.2 Claim-status register

ClaimStatus and dependence
ClaimStatus and dependence
Source/readout descent and target completionExact theorems on supplied domains and maps.
Controlled reduced dynamicsExact criterion on a supplied transition law, not a selection of that law.
Observer-independent massive modelConditional physical construction using guidance, complete initial equilibrium, and the specified writer/control laws.
Pilot-to-Bell path limitConditional physical comparison on a fixed graph/horizon with the named contact, preparation, export, and recombination laws.
Physical copying and finite retentionExact or quantitatively controlled under the displayed apparatus and resource assumptions.
SRC witness classificationExact finite linear results; positivity, retention, and physical accessibility are additional requirements.
CRR access and regulationTyped functional constructions; phenomenal unity requires additional laws.
O1/RSM classificationExact finite calculation from the stated provisional source-response data.
CSCF spectral responsesExact common-carrier operator construction for K,h(K),γK,h(K),\gamma; the same holomorphic family gives both boundaries when h(λ)=λh(\lambda)=\lambda.
Aperture error and witness robustnessExact/conditional mathematical bounds for nominated targets and calibrated preparations.
RR^\ast realization and interface typingConstitutive physical input; not universally selected by the source/readout theorem.
A0 primitive awarenessOntological hypothesis: awareness as the knowing aspect of U\unsplit; no extra physical dynamics.
A1 recurrent-core admissionConstitutive psychophysical law; actual-vessel certification and its empirical lower boundary remain unvalidated.
A2 predictive-profile completenessConstitutive structuralist psychophysical law, including its gauge convention.
A3 temporal episode identityNonbranching process-provenance continuation allowing support turnover; genuine qualification gaps end episodes.
Biological conscious/generative modesInterpretive account of scene organization; not a new admission condition or a scene gate in the finite theorem.
Cortical correlates of couplingCandidate mammalian implementation; network or band measures neither modify A1 nor establish A0 or A2.
Scene-less intervalsNo current scene or localized experiential subject. Physical/person continuity can persist; a qualification gap ends the episode and renewed qualification begins a new one.
Finite constitutive completionExact conditional construction for certified finite intrinsic carriers, rational native instruments, complete return catalogues, predictive-fibre congruence, grounded reports and explicit process provenance under RR^\ast and A0–A3.
Empirical conservativityExact equality of physical transcript laws when the aspect extension changes no physical kernel.
Contemplative correspondencesPhilosophical interpretation of reported experience, not a field measurement.
Human/animal/AI realizationOpen empirical and theoretical application; no validated universal criterion claimed.
All-finite native horizonsExact compatible construction on the certified finite intrinsic domain; unrestricted continuum/history domains need additional hypotheses.

F.3 Dependencies that cannot be omitted

The finite completion theorem depends on RR^\ast before it depends on a psychophysical axiom. Removing the typed boundaries, the physical preparation, the protocol grammar, or the lineage rule can make the assignment underdetermined. Removing A1 removes experiential admission; removing A2 removes the claimed completeness of relational content; removing A3 removes the stipulated identity rule. None is supplied by the word “canonical.”

The mathematical results of the earlier parts remain meaningful even when A0–A3 are rejected. A reader may accept the predictive quotient, the error theorem, and the material record constructions while declining their experiential interpretation. Conversely, accepting the philosophy does not excuse a failed physical estimate. This separation is what permits the monograph to serve as both a constructive proposal and a technically auditable theory.

F.4 Reproducibility and provenance

The accompanying coverage and verification materials map the technical claims to their chapters and record the mathematical and computational checks. The interpretive discussion is not presented as a verified biological model. The executable scripts and results expose the finite computations used here. These materials enable reproduction and targeted review of the stated claims.

Established methods—quotient descent, finite instrument representations, fixed-point estimates, reversible computation, and Bell/configuration dynamics—retain their intellectual provenance. No historical-priority claim is made for those ingredients. The proposed synthesis lies in how the source/readout and realization discipline organizes the consciousness question, and in the explicit conditional constitution that can now be examined as a whole.