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.
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.
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.
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.
This paper develops the state and measurement layer of Variable-Signature QuantumTheory and Obstruction Theory. Building on the projected positive-sector geometry ofVSQT-OT I, it defines θ-density states, algebraic states, effects, finite POVMs, sectorcompletely positive maps, and passive instruments intrinsically on the physical sectorEθ = Pθ K, Hphys,θ = (Eθ , ⟨·, ·⟩θ ).The paper fixes the sector trace, θ-adjoint, sector positivity, amplified sector positivity, andsector complete-positivity conventions, carefully distinguishing abstract sector endomorphismsfrom ambient representatives. Its main results prove compact convexity of the θ-density statespace, Born positivity and normalization for sector POVMs, selected-operator-system states,algebraic-state restriction and positive-extension representation on finite-dimensional ∗θ-subalgebras, finite-dimensional sector Kraus representation, Schrödinger–Heisenberg dualityfor sector CP maps, passive instrument normalization, instrument-to-POVM compatibility,admissibility of stratumwise measurement families, pointwise equivalence with ordinary finite-dimensional measurement theory, a fixed-Hilbert obstruction criterion, and fixed-Hilbertrecovery in Born-pair, POVM, and instrument forms. The paper does not introduce a newfinite-dimensional Born rule or a new Kraus theorem; pointwise sector measurement theoryis ordinary finite-dimensional measurement theory written in the sector Hilbert structure.Its contribution is the sector-typed formulation of the standard measurement calculus overvariable positive sectors, together with a first obstruction class detecting when the sectorbundle cannot be globally reduced to one admissible fixed-Hilbert carrier, gauge-compatibleadmissibility rules for stratumwise families, a formal admissible comparison class, and arecovery criterion identifying when that layer is ordinary after compatible admissible transport.The selected-observable layer is an operator-system layer by default, with selected ∗θ -algebrastreated as a stronger optional case. All operator-algebraic statements are finite-dimensionaland algebraic; no infinite-dimensional, unbounded, spectral, semigroup, or von Neumannalgebraic operator theory is claimed. The paper is finite-dimensional, stratumwise, andnon-dynamical. Active inter-sector instruments are isolated as a separate typed skeletonrather than claimed as a consequence of passive measurement calculus
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.
Port closure is not identifiable from a scalar trace alone. For every finite signed BV trace measure μ and load I>0, Theorem 1 characterizes the positive accounting fiber μ=I K+A−B and shows that its K-projection is the entire cone of finite nonnegative measures. The Jordan decomposition is classical; the contribution is the port-specific maximality statement: no nonconstant port property is informative before extra-trace restrictions are supplied. Relative to fixed Q and declared information C, a port predicate is certified only when constant over a nonempty compatible class; a property-changing admissible gauge exposes certificate insufficiency. Empirical validity of C and causal exhaustivity remain separate premises. Once a valid certificate fixes an exhaustive one-port allocation, Bᵢ=Dᵢ+I Kᵢ+Aᵢ. A uniform restorative bound yields Kᵢ≤(B*−Δ)/I and makes time above any certified coupling floor O(1/I). Proposition 7.4 supplies a complementary obstruction: in the pumped qubit, any fixed C¹ strictly increasing coordinate preserving fixed-depth return at unbounded load forces ess sup cᵢ≥Δ I, so P3 and L1 cannot hold together. The qubit witness has unit port density and closes only by duration collapse; an affine shelving witness closes through depletion of the pumpable population, G=O(1/I). Direct and displaced finite-rate counting demonstrate record ambiguity, while a frozen Morris-Lecar audit shows growing restorative capacity and eventual loss of fixed-depth return. These model results do not establish a distinct reduced-coupling mechanism in a real device, which still requires an independently produced certificate, empirical one-port exhaustivity, and measured exposure under a frozen episode rule. All conclusions are relative to (Q,C). Keywords: maximal port ambiguity; data informativity; certification; coordinate-relative identifiability; bounded variation; positive accounting fiber; gauge-insufficiency test; port closure; unknown-input reconstruction; port-Hamiltonian identifiability; finite-capacity exposure law; quantum trajectories; electron shelving; Morris-Lecar; hybrid systems
We develop a mathematical framework in which physical description is organized through predictively sufficient closure of richer realization spaces. A closure map identifies realizations that are equivalent relative to specified observables, while dynamic sufficiency requires the induced reduced state to support autonomous evolution. This yields a precise formulation of the principle that law can close before realization does: a law-level state may be fully predictive within a declared domain even when multiple underlying realizations remain possible. We distinguish quotient closure, realization fibers, idempotent closure maps, refinement, partial closure, closure memory, obstruction, and saturation of multiple closure constraints. These structures are then tested against explicit physical examples involving compact phase winding, topological defects, gauge compensation, exchange statistics, spinorial closure, quantum measurement channels, and effective propagation geometry. The analysis exposes several limitations of a motivating one-scalar coherence construction. In particular, a smooth exact phase connection has vanishing local curvature; a relative phase does not generate orthogonality or Pauli exclusion; winding alone does not supply spin- or the observed electric-charge spectrum; and a single scalar gradient cannot define a generic nondegenerate four-dimensional metric. Rather than abandoning the coherence hypothesis, these obstructions motivate a minimally enriched effective architecture involving amplitude/phase, gauge connection, spinor, and geometric frame sectors. We distinguish this effective reconstruction from the stronger hypothesis that all such structures descend from a common parent coherence object. The resulting framework does not claim a completed derivation of the Standard Model, general relativity, or quantum measurement. Instead, it identifies the mathematical and physical gates such derivations must satisfy and isolates noncommuting saturation, closure obstruction, representation reconstruction, stable particle sectors, and universal emergent geometry as principal theorem and physics programs. Keywords: closure mathematics; predictive sufficiency; quotient dynamics; gauge theory; topological defects; particle identity; quantum foundations; emergent geometry; noncommuting closure; unification.