A supplied rank-two Complementarity-First carrier has a positive duality h and a canonical complement #. The companion time paper used the local twist h(x,y^#) to obtain an index-one form. Here the same complement acts on one leg of the identity-pairing tensor, Γ_# = e ⊗ e - Σ_{i=1}^m e_i ⊗ e_i, with ω_# = (1/4)Γ_#. Relative to the supplied duality this construction is basis independent, product-positive, and normalized by the rank-two deterministic effect. It gives P(a,b | n,m) = (1/4)(1 - ab n·m). The m = 1 branch is separable; for m ≥ 2, physical admission with the sharp product interface gives CHSH magnitude 2√2. On the selected complex-qubit carrier, ω_# is the Bell singlet projector. The structural complement is positive but not completely positive. For a separately supplied exchange generator we derive G(X) = 2i[ω_#,X]. A partial-swap witness rejects one specific statically self-dual partial-transpose-image cone under the frozen process representation; the stronger carrier-relative PSD closure remains an inherited result. Entangled extensions of Euclidean-ball systems and canonical maximally entangled cone tensors are established prior art. The contribution claimed here is the typed local/tensor/process synthesis, not priority for singlet correlations, maximally entangled tensors, probability, or the physical composite.
A supplied rank-two Complementarity-First carrier has a positive duality h and a canonical complement #. The companion time paper used the local twist h(x,y^#) to obtain an index-one form. Here the same complement acts on one leg of the identity-pairing tensor, Γ_# = e ⊗ e - Σ_{i=1}^m e_i ⊗ e_i, with ω_# = (1/4)Γ_#. Relative to the supplied duality this construction is basis independent, product-positive, and normalized by the rank-two deterministic effect. It gives P(a,b | n,m) = (1/4)(1 - ab n·m). The m = 1 branch is separable; for m ≥ 2, physical admission with the sharp product interface gives CHSH magnitude 2√2. On the selected complex-qubit carrier, ω_# is the Bell singlet projector. The structural complement is positive but not completely positive. For a separately supplied exchange generator we derive G(X) = 2i[ω_#,X]. A partial-swap witness rejects one specific statically self-dual partial-transpose-image cone under the frozen process representation; the stronger carrier-relative PSD closure remains an inherited result. Entangled extensions of Euclidean-ball systems and canonical maximally entangled cone tensors are established prior art. The contribution claimed here is the typed local/tensor/process synthesis, not priority for singlet correlations, maximally entangled tensors, probability, or the physical composite.
A partial-transpose image of the positive-semidefinite cone supplies an established alternative ordered presentation on a fixed composite carrier. Transporting both the cone and the processes preserves an abstract equivalence, whereas fixing the process representation can discriminate the two orders. We study the iteration of one specified right-argument transpose rule on supplied finite qubit carriers. With three standard leaves, its two bracketings have different cones, so no linear identification fixing every product operator pointwise can make them agree. Subset-orientation labels give an explicit repair. Relative to a separately supplied tensor-closed standard process category, we construct the raw tensor of arrows, associator, symmetry, asymmetric unit maps, and quasi-inverse tensorator, and prove symmetric monoidal equivalence by faithful transport. Complementary subsets define the same isolated cone, but their identification is not a congruence for the raw tensor product. At fixed rank, a precisely defined two-lift groupoid is a split central Z₂ extension; its odd lift is not an ordinary completely positive endomorphism at fixed representatives. A five-qubit example then separates matched reference transport, a fixed calibrated anchor, and an effect-based quotient. The latter loses a linear subspace rather than only a two-point transpose orbit and is preserved only by histories satisfying the standard kernel-invariance condition. A named real local unitary connects the anchor pair, while a real controlled-NOT (CNOT) gate exposes the limitation of an enlarged single-anchor history class. The contribution is an assumption-controlled analysis of one finite composition rule and its interfaces, not a new general coherence, orientation, or resource theorem, and not a derivation of quantum theory from primitive complementarity. Selected supporting statements and finite witnesses are accompanied by a partial Lean 4.19.0 formalization. A recorded local build and type/axiom audit accepted 117 theorem declarations and 57 definitions or abbreviations. The full symmetric monoidal category and equivalence in Theorems 4.5 and 4.6, and other explicitly listed manuscript links, remain incompletely formalized. The public source supplement also includes three preserved exact Python implementations, expected results, pinned dependencies and claim-to-code maps. Packaging and source/log audits are not another Lean compiler run or external peer review. The public evidence selection preserves the successful type/axiom output and the failure/success chronology. Machine-local account paths are omitted from derived run summaries, and one failed-build diagnostic has an explicitly normalized home-directory prefix. Accepted Lean proof sources remain unchanged; private review archives and original machine-local receipts are not public upload files.
Quantum theory combines three structures that are often introduced separately: complex norm-preserving evolution, entanglement of composite systems, and quadratic weights for measurement outcomes. This paper asks whether a complementarity-first architecture can organize their relation without importing one structure under the name of another. The motivating image is the Taichi Diagram: two distinguishable sides and two internal “eyes,” with each side carrying a trace of its complement. The image formulates a question; it is neither a historical anticipation nor a physical proof. On a supplied two-branch positive composite, a fixed-eye state family separates diagonal reciprocal inclusion from an off-diagonal coherent link. Positivity bounds that link, and within the declared two-qubit support the state is entangled exactly when the link is nonzero. On a supplied real two-plane, complement exchange as reversal admits elliptic, hyperbolic, nilpotent, and frozen generators. A non-fixed two-sided bounded orbit selects the elliptic branch, a positive invariant quadratic capacity, and a one-frequency Schrödinger normal form. One such plane is only one complex line and is projectively trivial, so relative phase and an entangling sector require an explicit aligned two-block lift. On that four-real-dimensional carrier, the complex-linear branch swap S is distinguished from the conjugating reciprocal reversal Theta = S C. A supplied exchange/XY Hamiltonian is Theta-even; its Schrödinger generator is Theta-odd, its unitary flow is reciprocal under Theta, and it produces an exact orbit from separability through maximal entanglement and back. Separately, passive repeatable lossless separators become orthogonal projections, while a nonnegative modular readout axiom uniquely linearizes channel response and yields a finite pure-projective Born-form valuation. This result is conditional and does not establish the density-operator trace rule, general effects or instruments, one actual outcome, or objective chance. Environmental restriction suppresses accessible pair coherence by an overlap factor and explains how a larger entangled whole can cast a classical-looking local shadow. The contribution is an assumption-controlled synthesis and countermodel chain, including an explicit carrier bridge and a typed distinction between branch exchange and reciprocal reversal; the component two-qubit, planar-flow, exchange, projection, and additive-response formulas are not claimed as individually new.
For finite-dimensional binary systems and their bipartite composites, this paper establishes a conditional representation chain from a physical–observation dual-axis structure to quantum Bell correlations. An observational fact is jointly generated by a complete physical state and a complete observation state. Additivity and associativity of coherent responses, two-sided cancellation, and a full circle group of scalar phase transport select C among finite-dimensional unital associative real response algebras. Reversible mixing then determines a Hermitian metric up to an overall positive factor. Normalized two-channel responses form S3, and quotienting by their common phase yields the rank-one observation-event space and, with an outcome label, the pure observation fiber S3/U(1)=CP1≃S2. The universal bilinear composite of two independent systems is C4. Probabilities are first assigned within complete measurement contexts. Events with the same response filter are operationally interchangeable, so the local assignments glue along the observation axis into a positive orthogonally additive measure on the full projection lattice. Gleason's theorem then gives the unique trace representation p(P∣x)=Tr(ρxP), while composite marginal consistency returns the trace pairing to each local binary fiber. Every two-qubit correlation therefore has the universal form Eρ(a,b)=aTTρb. Joint rotational invariance and perfect equal-axis anticorrelation uniquely fix Tρ=−I3, producing the singlet cosine law E=−a⋅b=−cosθ. Finally, the local commutators in the squared CHSH operator confine all realizable correlations to 22. Fine-measurement completeness supplies saturating directions, while sharp preparation and reversible covariance make the singlet accessible. Thus CP1, the Born pairing, the cosine correlation law, and the Tsirelson bound arise within one chain linking phase structure, independent composition, and cross-context probability consistency.
Quantum theory and Lorentzian geometry both make essential use of ordered cones, but a mathematical cone isomorphism does not show that the corresponding orders have the same physical origin. This paper asks whether quantum-statistical positivity and an independently reconstructed one-sided transfer order can be represented as two aspects of a single physical transfer sector. A finite-dimensional local transfer semigroup defines a proper cone CT . A statistical state–effect duality, pulled back through a dynamically faithful process–state representation, defines a typed map ♯T : VT → VT ∗ . Witness pullback completeness fixes the dual order operationally, while causal-sharp compatibility (CSC) requires ♯T (CT ) = CT ∗ . An explicit counterexample shows that CSC does not follow from statistical self-duality, witness completeness, or cone homogeneity alone. If admissible invertible order filters act transitively on int CT , the cone is symmetric and therefore Jordan-representable. Intersecting an independent complex-matrix branch JT ≃ Hermn (C) with a quadratic causal-transfer algebraic boundary forces n = 2, giving CT ≃ Herm2(C)+≃ L4. Familiar qubit–Lorentz identities then become cross-pipeline consistency tests between independently reconstructed quantities. The construction is local, finite-dimensional, and conditional; it does not derive spacetime dynamics or gravity.
This paper asks what must be added to the one normalized relational interval and selected finite-dimensional carriers inherited from the first two Complementarity-First Time papers before those carriers function as quantum clocks, support endpoint comparisons, and share a universal matter coupling. The analysis first separates four parameter types: raw relation magnitude ρ, normalized relational interval ℓ, supplied local proper interval τ, and a shared comparison parameter s. In the declared order-unit placement class, the raw interval and raw generator compensators cancel exactly, leaving phase evolution per ℓ. For any one chosen parameter, a selected state-readout statistic is minimally phase-readable exactly when its grouped Bohr-frequency expansion has nonzero weight in at least one nonzero mode. A declared endpoint observable factors into signal transport and local clock calibration after the signal law, path, observers, and transitions are supplied. Complete labeled gap transfer is affine on each connected spectral graph. On a supplied common semiclassical path, a complete mass-energy operator is sufficient for common internal spectral scaling at the retained weak-field order; it does not derive universal trajectories or a unique matter action. An explicitly typed worldline-reparameterization-covariant, complement-even scalar model gives species-dependent clock rates, proving that the inherited one-time geometry and complement parity do not force universality. A two-level commuting perturbation has an internal affine blind spot, whereas an addressed three-level sector supports an anchor-free spectral-shape contrast. The prospective multiclock architecture therefore has rank three, with independent vector z = (Δ_ST, Δ_01, N_3)^T. It remains at STOP-SOURCE. No second physical time dimension, universal matter action, unique signal action, executed experiment, numerical redshift prediction, absolute second, numerical ℏ, objective chance law, total-carrier completeness, or thermodynamic arrow is claimed.
A Kernel-Role Determinacy Theorem for Bell-Witness Fixation, No-Signaling, and Tensor-Level Compatibility This manuscript develops a fixed-domain AASC analysis of Bell-nonlocal quantum entanglement as a theorem of reusable witness determinacy. It does not introduce hidden variables, modify quantum mechanics, derive Hilbert-space formalism from below, or propose a new signaling mechanism. Instead, it asks a prior structural question: once a Bell-type operational family is used as the same non-degenerate witness across settings, lawful transformations, retained records, comparison, and later classification, what admissible same-domain standing form is forced? The governing claim is that AASC is not an optional interpretive overlay on physics. Once an operational Bell family is asserted as a determinate reusable witness, admissibility, standing, reference, and irreversibility are already active as minimal necessity conditions of same-witness objecthood. Target instantiation therefore carries governance occupancy: an alleged determinate Bell witness with no admissible governance realization is not an empty alternative, but a refusal or retyping of the target. The manuscript defines finite operational Bell objects with explicit setting carriers, outcome families, channel/interface data, standing-token valuations, continuation and report/reuse structure, comparison profiles, and act-time status. It then defines object-indexed query sorts, dependent response families, exactly recoverable operational simulations, lawful Bell groupoids, six governance-effect functors, and target-active extensional governance equivalence. The result is a typed interface in which arbitrary native formalisms can be compared by their target-bearing governance effects rather than by their internal syntax. The central Bell-specific theorem states that every same-target candidate-admissible Bell-governance construction is forced component by component into the certified boundary-compatible standing form on the complete target-active practice. Candidate admissibility does not assume the canonical form at the outset. Instead, target occupancy, lawful transport, standing-flow exclusion, compatibility certification, coordinate-deviation exhaustion, and componentwise closure force exact target-bearing realization and governance equivalence to the canonical representative CP∗C^{*}_{P}CP∗. The target-induced governance quotient therefore has exactly one element. The Bell carrier is treated as a compatible empirical model on a finite measurement cover. Bell-local completion is identified with the existence of a global section, and Bell nonlocality is the obstruction to such a section. The manuscript separates operational marginal invariance, absence of controllable communication, and exclusion of same-domain standing transport. No-signaling is therefore preserved without retyping Bell nonlocality as superluminal communication, metric transport, distant repair, or hidden standing transfer. The finite-dimensional quantum specialization uses the standard bipartite tensor-product and local-POVM carrier. Every separable realization in that carrier is Bell-local; therefore, if the fixed Bell-nonlocal empirical model has such a finite-dimensional quantum realization, every realizing state in that carrier is entangled. Post-quantum Bell-nonlocal no-signaling models remain within the general witness theorem but outside the quantum-entanglement corollary. The accompanying Lean 4 development, release v0.8.0, directly verifies the finite Bell-side witness carrier: denominator-32 vector/Born weights, structural no-signaling, CHSH numerator 808080, all sixteen deterministic local extrema, finite denominator-32 Bell-local-envelope exclusion, and conditional endpoint routing. Its direct witness certificate is vectorBorn_flagship_spine, and its deepest released endpoint is reasonableDeepestFiniteEntanglement_spine. The manuscript-level typed governance interface, empirical lawful groupoid, compatibility equivalence, coordinate-deviation exhaustion, completed role collapse, candidate-to-canonical derivation, and finite-dimensional quantum specialization are not attributed to the released Lean layer. This paper is the Bell-witness member of the paired AASC quantum determinacy arc. The record-side manuscript, Admissible Record Construction in Physically Non-Selective Quantum Regimes, fixes when local physical record occurrences stand as the same evidential record objects. The present manuscript fixes when the Bell operational family sampled by such records stands as the same reusable witness. The paired endpoint is therefore: record-role fixation+Bell-witness compatibility.\text{record-role fixation} + \text{Bell-witness compatibility}.record-role fixation+Bell-witness compatibility. The manuscript is classificatory and eliminative rather than mechanistic. It does not claim that AASC generates the Bell probabilities or supplies a hidden physical influence. Its claim is that reusable Bell-witness determinacy strongly constrains how Bell-nonlocal correlations may be coherently classified on a fixed domain: not as independently complete local states later connected by a mechanism, not as Bell-local hidden-variable value assignments, not as superluminal signaling, and not as same-act repair, but as boundary-level compatibility carried by one standing-preserving Bell witness.