A finite defect is never measured in the abstract. It is measured relative to a declared evaluation structure: what is compared, which repairs are admissible, which gauge measures the remaining defect, which transformations preserve the evaluation, and which terminal rule assigns status. This paper consolidates that structure into a single finite observer object. The observer object packages a carrier, local state assignment, comparison maps, defect map, repair coboundary, optional closure map, gauge, compatible transformation class, and terminalizer. It is a definitional companion to the finite obstruction calculus: it introduces no new tower and makes no physical, dynamical, empirical, or authority claim. The paper proves three elementary structural facts. First, the observer-relative obstruction is well defined on the quotient residual space when the admissible repair class is linear. Second, the observer triple already used in Papers 000 and 008 assembles into the larger observer-object packet once the carrier, repair class, closure map, and terminalizer are declared. Third, for fixed carrier and repair data, the residual class is independent of the gauge, while its measured magnitude is fixed by the declared observer gauge. The practical point is narrow: every reported measurement already assumes an observer. Without declaring that observer, the same defect can be reported as different numbers, or a proposal can be mistaken for an authorized judgment. This paper gives the corpus one finite place to ask: under what observer? Limits and scope. This paper does not claim observer-independent authority, derive quantum mechanics, derive the Born rule, solve the measurement problem, explain consciousness, or prove that every possible evaluation factors through this packet. Corpus-wide packet completeness remains an open bookkeeping obligation.
A finite defect is never measured in the abstract. It is measured relative to a declared evaluation structure: what is compared, which repairs are admissible, which gauge measures the remaining defect, which transformations preserve the evaluation, and which terminal rule assigns status. This paper consolidates that structure into a single finite observer object. The observer object packages a carrier, local state assignment, comparison maps, defect map, repair coboundary, optional closure map, gauge, compatible transformation class, and terminalizer. It is a definitional companion to the finite obstruction calculus: it introduces no new tower and makes no physical, dynamical, empirical, or authority claim. The paper proves three elementary structural facts. First, the observer-relative obstruction is well defined on the quotient residual space when the admissible repair class is linear. Second, the observer triple already used in Papers 000 and 008 assembles into the larger observer-object packet once the carrier, repair class, closure map, and terminalizer are declared. Third, for fixed carrier and repair data, the residual class is independent of the gauge, while its measured magnitude is fixed by the declared observer gauge. The practical point is narrow: every reported measurement already assumes an observer. Without declaring that observer, the same defect can be reported as different numbers, or a proposal can be mistaken for an authorized judgment. This paper gives the corpus one finite place to ask: under what observer? Limits and scope. This paper does not claim observer-independent authority, derive quantum mechanics, derive the Born rule, solve the measurement problem, explain consciousness, or prove that every possible evaluation factors through this packet. Corpus-wide packet completeness remains an open bookkeeping obligation.
Scalar obstruction is not universal. In finite obstruction calculus, a residual class may be fixed by the declared carrier and repair map while its measured magnitude depends on the observer gauge used to measure local defects. This paper develops two non-scalar observer geometries for finite cochain obstruction systems. The first is a Euclidean vector gauge, L1(E;L2), where residuals are additive over edges but measured by Euclidean magnitude inside each vector-valued edge stalk. A three-edge cycle shows the basic split: the same residual class has magnitude 2 under coordinate-channel sensing, but magnitude sqrt(2) under Euclidean vector-displacement sensing. The second is a quantum trace-distance gauge, L1(E; trace norm), where operator-valued edge defects are measured by one-half trace norm. The paper gives finite-dimensional dual-witness formulations, closure bounds, and CPTP monotonicity results for the chosen trace-distance observer gauge. It explicitly does not claim that CPTP monotonicity selects trace distance; trace distance is treated as an admissible gauge unless an additional operational distinguishability axiom is supplied. The central point is observer-relative measurement discipline: the quotient class is structural, but the reported scalar magnitude is fixed by the declared observer geometry. The paper is finite-dimensional and finite-graph throughout. It makes no physical, dynamical, Born-rule, or quantum-substrate claim.
The Witnessed Difference Programme: From Finite Distinction to Witnessed Measurement develops a finite obstruction calculus that makes the assumptions behind mathematical and operational constructions explicit. Starting from an exhibited distinction, it examines what additional structure is required for retained witnesses, succession, duration, finite probability, observers, measurement, and weighted histories. The mathematical core includes finite symmetry obstructions, cochain complexes, quotient defects, closure diagnostics, and exact optimization certificates. Matching repair and dual witnesses certify an optimum under declared hypotheses. Presentation and adapter theorems characterize when compressed reports preserve specified operations, relations, and queries; counterexamples identify information that compression loses. These results provide concrete criteria for checking whether a proposed representation preserves its intended meaning. A layered observer architecture distinguishes presentation, memory, evaluation, and policy. Observation requires a registered, witnessed, re-accessible interaction accepted by a declared evaluator. Measurement adds a specified measurand, reported-value map, calibration, uncertainty, provenance, and any claimed metrological traceability. Permission and authority require their own declared rules. Version 0.5.0 consolidates the primitive-axiomatics and Genesis-alpha sources and develops additional bridges to the actual Genesis raising and marked-result constructions. Complete quotient keys retain directed assertions, loops, and joint incidence, while ordered raw histories preserve the information needed to replay declared costs and transitions. Nineteen historical targets receive finite or conditional resolutions through constructions, exact criteria, or counterexamples; the wider Genesis reconstruction obligations remain separately registered. A further extension connects Meron orbit cancellation to finite character sums and gives precise conditions for preserving observable numerators. The CODA-CS/Q branch develops conditional interval enclosures and refinement interfaces. Exact finite transfer traces and rational extrapolation illustrate the distinction between arithmetic error and model error: an enclosure for a finite interpolation calculation bounds a thermodynamic limit only when justified scaling-remainder bounds are supplied. The accompanying evidence architecture connects statements to implementations, tests, selected Lean 4 formalizations, source provenance, and independently checked receipts. Formal proofs, computational demonstrations, and physical interpretations retain their separate scopes. The contribution is an explicit framework for locating the assumptions, preservation conditions, and missing interfaces in a derivation. Quantum-capable representations are developed under declared inputs; unrestricted quantum reconstruction, Born-rule uniqueness, continuum physics, and the proposed higher-dimensional field-theory targets remain open.
A Kernel-Role Determinacy Theorem for Record Fixation, Fixed-Domain Quotients, and Boundary-Trace Normal Form This paper specializes the AASC kernel to the construction and use of quantum measurement records. Its central question is not initially how outcomes are produced, whether a wavefunction collapses, or which interpretation of quantum theory is correct. It asks what must be fixed for a measurement record to function as the same determinate physical and evidential object across retention, prospective use, deliberation, comparison, and report. For any non-degenerate determinate physical object, state, carrier, transformation, record, comparison, or endpoint, the paper takes the governing kernel to be: NDObj(x) ⇒ K(x) = (Adm, Stand, Ref, Irr). Admissibility, standing, reference, and irreversibility are therefore treated as necessary role conditions of determinate record use, not as an optional interpretive overlay added to an otherwise complete physical description. Measurement-record determinacy The manuscript constructs a fixed-domain measurement-record target in which a record must preserve: reference to the same construction token; standing-bearing evidential eligibility; admissible reuse; original act-time qualification; lawful redescription; retained and prospective record use; deliberative and comparative use; reportability and downstream inheritance. The resulting assignment space is quotiented by equivalence of standing-bearing measurement-record content. A rival quotient claiming exactly the same content collapses to the canonical measurement-record quotient. Representational differences that preserve the complete role content are treated as skin; differences affecting record identity, evidential ordering, admissibility, continuation, or downstream use remain physically relevant. Physically non-selective quantum regimes The paper then studies a physically non-selective quantum regime containing unitary branching, entanglement, decoherence, branch-local records, and stable local reports. The central result is conditional and target-specific: The bare unitary-entangling-decohering package can support multiple stable branch-local records without supplying a unique standing evidential record for the fixed construction-relative target. This is not a claim that branch-local records are unreal, unstable, or physically useless. It is a distinction between: physical occurrence of branch-local record structures; local branch-relative reportability; evidential role fixation for a record reused as the same standing object across the measurement practice. The paper shows that non-selective structures may agree on branch weights, density content, decoherence, correlations, instrument sums, channel closure, effect weights, projector orthogonality, and repeatability without selecting one fine record as the standing evidential record. Fixed-domain quotient and fixation commutation The theorem ladder establishes: fixed-domain assignment-space forcing; exact quotient construction for standing-bearing record content; same-scope equivalence collapse; fixation commutation under admissible transformation; inheritance of the original qualification requirement; persistence-bearing reuse; asymmetry exhaustion; anti-weakening; selector exhaustion. If evidential ordering varies across admissible assignments while the target requires one fixed-domain ordering, the ordering is not defined on that scope merely because numerical values or branch-local reports happen to coincide. The paper therefore treats measurement-record fixation as prior to the theory-level evidential reuse that depends on it. Boundary-trace normal form After internal and provenance/indexical routes have been exhausted, the residual same-domain route is a singleton stable boundary trace. Such a trace is not collapse dynamics, hidden-variable selection, or a new physical mechanism. It is an admissibility-preserving role anchor that can fix a record-bearing assignment only when its channel, incidence, transport law, original authority, and singleton-positive condition are independently warranted. The result distinguishes: sound partial selection from complete role fixation; unique trace value from unique original occupant; class-valued record fixation from raw-token fixation; later discovery of an original qualification from retroactive repair; physical record occurrence from standing evidential identity. Finite quantum specialization The paper occupies the abstract structure with an explicit finite two-branch quantum measurement domain containing: two outcomes; two fine records and one merged record; denominator-two branch weights; a balanced integer-amplitude state; density-table realization; selective and non-selective instrument maps; environment-record maps; projective branch maps; complementary effects; zero-product projectors; repeatability operations. On the declared balanced witness, amplitude weights, density weights, branch-map traces, effect weights, pointer records, instrument records, environment records, and channel records agree on the same branch architecture. Selective surfaces preserve the fine-record distinction. Non-selective surfaces agree only on the merged record. The fine records therefore remain separated, while the declared non-selective surfaces supply no singleton fine-record selector. The finite selector-boundary theorem eliminates the disjunction of candidate hidden selectors across the state, instrument, environment, channel, effect, and repeatability surfaces. The resulting diagnosis is precise: the missing structure is admissible fine-record role fixation, not further branch production, weighting, decoherence, stabilization, or repeatability. Scope and non-claims The manuscript establishes a finite, conditional, manuscript-facing theorem. It does not claim: to derive Hilbert-space quantum mechanics; to derive general POVM theory; to derive full projection-valued-measure theory; to reconstruct the full operator algebra; to provide a general Kraus representation theorem; to reconstruct complete positivity; to derive the continuum Born rule; to derive universal physical decoherence theory; to introduce a new collapse dynamics; to prove that no physical collapse process occurs in nature; to prove physical branch selection; to establish interpretive truth; to classify every possible physical measurement mechanism. The absence of a hidden selector on the declared finite non-selective surfaces is therefore not a theorem that no physical collapse or selection process can occur elsewhere. It is the finite theorem that those declared surfaces do not themselves supply the required fine-record selector. Relation to quantum interpretations The result does not deny the practical success of quantum theory, decoherence, branch-relative reporting, instrumental updates, or decision-theoretic methods. A practice aimed only at prediction, branch-local reporting, or instrumental updating may be a different target from the construction-relative record use studied here. If a theory claims to underwrite retained, prospective, deliberative, and evidential reuse of the same record-bearing construction token, it must preserve the relevant kernel roles and admit a standing-bearing fixation regime. Bare Everettian dynamics, without additional dynamics, ontological privileging, or admissible restriction to one constructional class, supplies no fine-record selector on the declared target. A strategy that preserves non-selective physics while restricting admissible record-fixation assignments belongs to a restriction-to-one-constructional-class route. Instrumentalist and QBist strategies instead reduce or redirect the target explanatory burden. Role in the AASC programme This paper provides the record-fixation layer of the AASC Quantum Determinacy Pair. Its companion Bell-scope work addresses the compatibility and no-signaling side of quantum witness determinacy. Together, the pair treats quantum records and witnesses as kernel-governed standing structures rather than as automatically determinate physical occurrences. The paper’s principal contribution is to identify the first failure point in a physically non-selective measurement regime: The initial problem is not necessarily the production of branch-local outcomes. It is the admissible fixation of the record role through which outcomes are retained, reported, remembered, compared, and used as evidence. The public Lean 4 formalization is synchronized with the finite measurement-boundary release v0.9.1 and provides the finite artifact for the declared effect, projector, compatibility, closed-stack, boundary-certificate, and audit layers. Keywords AASC; measurement problem; quantum measurement; measurement-record fixation; physically non-selective regimes; Everettian non-selection; record-role determinacy; fixed-domain quotient; standing equivalence; boundary-trace fixation; selector exhaustion; decoherence; branch-local records; admissibility and irreversibility; Lean 4 formalization
This preprint develops the CPTP-compatible quantum observer instance of finite obstruction calculus. For finite directed networks whose edge defects are Hermitian trace-zero operator differences, the paper studies obstruction diagnostics whose local gauge is the operational trace distance and whose global aggregation is replica-extensive across edges. The main result is conditional: CPTP monotonicity alone does not uniquely force the trace norm. Instead, trace distance is selected only after adding further operational assumptions such as unitary invariance, tensor stability, exact reduction to classical total variation on diagonal trace-zero operators, and binary distinguishability structure. Under this declared observer class, the global obstruction geometry becomes l1(E; trace norm). The paper defines the corresponding quantum quotient obstruction Phi_tr as the minimum trace-distance residual modulo exact vertex repairs, and derives its dual witness formulation. The dual witnesses are divergence-free observable fields bounded in operator norm. With the convention ||X||_tr = 1/2 ||X||_1, the dual bound is ||M_e||_op <= 1/2; using the unhalved trace norm gives the bound ||M_e||_op <= 1. The result is observer-relative and finite-dimensional. It does not claim a derivation of quantum mechanics, a universal quantum metric, or trace-norm uniqueness from CPTP monotonicity alone. It identifies the trace-distance obstruction geometry for one explicitly declared quantum distinguishability observer class.
This paper develops a framework-relative ontology of determinacy. Its core question is not what the world is made of, but what must minimally be accounted for if a stable deter- minate identity is internally self-representing. The primitive and functional core of Version 3.8 is retained: Being, the possibility of distinction, and domain-relative realizability define the sparse primitive basis; coherent self-representation then requires three non-equivalent func- tional questions—Support, Internal Encoding, and Correspondence. Explicit finite witness pairs establish uniform non-determination of each role from the other two in the unrestricted baseline class, while stronger canonical or equivariant subclasses remain open. Version 4.1.1 is a corrective consolidation of Version 4.1 rather than a new upstream on- tology step. It retains the Version 4.0 bridge revision and the Version 4.1 constructional layer. That layer adds the reverse evaluative direction Physics ⇒ Mathematics ⇒ Ontology and records where downstream structures constrain, but do not retroactively constitute, the ontol- ogy. Several previous bridge claims are weakened or rejected. Symmetry classification, tensor factorization, entanglement of a state, and path-dependent dynamics are kept as four distinct mathematical layers. A conditional expectation is treated as a localization map rather than as actualization; a branch instrument defines possible conditional events but does not select one realized branch; and a projection onto admissible spectral sectors is not called conservative dynamics without an independently derived dilation. The causal and propagation bridge is sharpened in two directions. First, a previous can- didate definition of a null relation by vanishing accumulated interval volume is proved degen- erate: every comparable pair admits a chain of links, so that criterion vanishes throughout the causal order. Link ensembles remain useful near-null approximants, but the null sector is therefore a limiting or measure-relative object rather than a pair-local primitive in the de- clared causal-set model. Second, the long-range free-chain calculation at 𝛼 = 2 is separated into two non-commuting limits. The infinite-range spectral symbol has maximal group veloc- ity 𝜋𝐽𝑎, whereas the envelope of finite-cutoff maxima tends to 2𝐽𝑎 Si(𝜋). These are spectral group-velocity statements; a causal signal cone still requires separate Lieb–Robinson-type hy- potheses. Isotropy and a unique physical Lorentz cone remain open. The defect bridge is updated with the completed 𝐾 = 512 data layer of the frozen ratio campaign. All 903 prescribed values of 𝜃 are present with eight branches each; 897 aggregate points are admissible and six lie in a short rejected interval. Neither √ 2 nor 𝜙 is a local or global minimum. The original preregistered primary ratio test nevertheless remains non- evaluable because its 𝐾 = 64 training gate is universally degenerate. Thus 𝐾 = 512 completes a characterization block; it does not retrospectively repair the primary estimator. Provenance registration and cross-platform verification remain pending. Version 4.0 turned Test 28A into an explicit reconstruction audit, and Version 4.1 retains that audit unchanged. For the standard three one-body extractions on ℋ = (C 3 ) ⊗3 , the combined linear map has exact rank 25 and kernel dimension 704. The hidden space splits as 192 two-body plus 512 fully traceless three-body directions; even the full 𝑆3-invariant class retains an exact 156-dimensional hidden sector. The preregistered continuation identifies an exact energy-selected fixed point, the totally antisymmetric state |𝜀⟩, while holonomy and variance objectives yield set-valued argmin correspondences. The historical non-triviality gate is therefore preserved but shown not to be a universal criterion, and no retroactive 𝑉28.4 verdict is declared. A prospectively frozen two-local QPH family provides an exact computer-assisted existence witness: its cycle-phase differential has rank 704/704 on the marginal kernel for the primary family and two preregistered replications, so marginals plus relational cycle phases are locally in- formationally complete in the fixed regularity stratum. Canonical modular-mismatch selectors are then audited rather than assumed. Identical additive qutrit references and every single pure mismatch under exact 𝑆3 protection obey strict capacity/rank no-go bounds. On the protected 156-dimensional domain a physically generated mixed mismatch has sufficient raw capacity but standard phase-only QPH remains incomplete. Exact cumulant analysis explains why order three is the natural next layer: the 𝑆3-hidden sector decomposes as 156 = 36 + 120, and the third connected cumulant is a complete affine coordinate on fibres of fixed proper marginals. A historical preregistered cubic-moment completion is retained only as a delicate T-NUM wit- ness, not as a theorem premise. This is the declared stopping point of the arity/cubic line: selecting one specific cubic observable would require a new independent physical law. Test 28B remains suspended. Version 4.0 added one further macro-level correction, retained in Version 4.1. Causal and conformal structure, transport geometry, stable matter sectors, and quantum correlations are treated as parallel downstream representations of one substrate model, not as a serial matter– space–time chain. A proposed identification of the matter admissibility projector Πadm with spacetime volume is rejected in its literal form: the projector is matter-branch specific, need not be nested under generative updates, and has no canonical finite trace in a type-III con- tinuum. In its place a conditional causal–transport conformal closure theorem is proved. If a causal reconstruction supplies a Lorentzian conformal class and an independent transport limit supplies a positive spatial metric on the same spacelike distribution, the conformal factor is fixed pointwise exactly when the two induced spatial metrics are conformally compatible. A scale-free generalized-eigenvalue defect provides a direct falsifier. The corresponding clock– cone–matter gate is also corrected by conformal weight: frequencies and dimensionful spectral scales have lapse weight one under a pure lapse deformation, whereas spectral ratios, localiza- tion fractions, and dimensionless stability-window coordinates have weight zero. A Tolman– thermal-time comparison is retained only as a relative lapse-profile gate; absolute time units remain open. Version 4.1 introduced a controlled common-substrate realization. Version 4.1.1 corrects its scope: parity alone excludes only an odd or linear mass/source identification with the same signed coordinate; an even law such as 𝑀 ∝ 𝑑 2 is not excluded by parity. On the declared graph Klein–Gordon sector, charge conjugation reverses Noether/gauge-current orientation while leaving mode energy and localization intensity unchanged. A grounded-graph Green- kernel theorem fixes the spatial uniformity of the cross-term sign, while the Coulomb sign itself is conditional on realizing a non-dynamical 𝐴0-type constraint sector; the same kernel in a dynamical scalar sector gives the opposite sign. A separate no-go proves that matter Dirichlet energy alone cannot select a nontrivial interior geometry. A state-selected positive geometry Hessian yields the conditional linear response 𝑦 = 𝐾 −1 𝐸 𝜏 , so weak 𝐶-even stress sources add while 𝐶-odd currents can cancel. The principal new bridge is a conditional stationary common causal–transport–matter con- struction. If one protected center supplies a common base, the transport branch supplies a positive spatial metric ℎ, and several modular/physical clocks agree on one relative lapse 𝑁, then 𝑔CTM = −𝑐 2 *𝑁2𝑑𝑇2 + ℎ has one timelike sign, predicts the same null front for all canonically normalized matter sectors, and fixes its stationary volume element without an additional scalar measure. Different masses and opposite 𝑈(1) representation weights remain lower-order data and do not alter the characteristic cone. The independently reconstructed HSMI conformal class remains a held-out test rather than an input to this construction. A second independent Version 4.1 result supplies a conditional physical law selecting com- plex rank two. A nonzero-Chern line cannot be closed under conjugation at rank one on 𝑆 2 , whereas 𝐿 ⊕ 𝐿¯ is the minimal conjugation-closed carrier; independently, ClC 2 ≃ 𝑀2(C) has minimal irreducible complex module dimension two. The existing odd-Chern defect-link con struction realizes this pair. If its Clifford algebra is physically admissible, the local carrier has 𝑀2(C) qubit kinematics. This is not an assertion that opposite electric charges form a coherent qubit, nor that every particle is a qubit. The resulting Version 4.1.1 is a constrained foundational proposal with a frozen primitive core, stronger positive and negative bridge results, a first common stationary geometry can- didate, an independently motivated minimal rank-two carrier, and a reproducibility-oriented ledger for every step from ontological determinacy toward physics. It also makes the external spin-sign, soft-graviton, equivalence-principle, and mass-budget inputs explicit without treat- ing them as evidence for the ontology.
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.