Admissibility
definitionadmissibilityinterface-theory
Archive placeholder for the stabilized admissibility definition; exact source text and canonical citation must be supplied before public deployment.
Public source pending
Open archive record →Mathematical registry
Definitions
Canonical meanings, specializations, provenance, and historical genealogy.
85public records
Finite Refinement Proposal
source-verifiedgat
A finite proposed refinement datum before physical realization is imposed.
Open archive record →Well-Typed Proposal
source-verifiedgat
A finite proposal whose declared components and comparison slots are type-correct.
Open archive record →Realization-Complete Proposal
source-verifiedgat
A well-typed proposal carrying the additional data required for the declared realization problem.
Open archive record →Formal Equivalence
source-verifiedgat
Equivalence at the formal proposal level, kept distinct from later physical realization equivalence.
Open archive record →Thick Wilson Candidate
source-verifiedgat
A positive-thickness Wilson-type candidate entering the finite recognition problem.
Open archive record →Finite Physical Realization Predicate
source-verifiedgat
The predicate determining when a finite candidate satisfies the declared physical realization requirements.
Open archive record →Admissible Realization Fiber
source-verifiedgat
The inverse-image fiber π_D^{-1}(R_D); by definition this alone carries no fibration or lifting claim.
Open archive record →Finite Physical Realization
source-verifiedgat
A finite candidate satisfying the declared physical realization predicate.
Open archive record →Complete Defect Ledger
source-verifiedgat
The typed collection of comparison and realization defects retained by the finite source certificate.
Open archive record →Finite Physical-Cohomological-Coercive Certificate
source-verifiedgat
The finite certificate packaging physical realization, cohomological data, exact ground information, and coercive reserves.
Open archive record →Finite Gauge-Presentation Cover
source-verifiedgat
The finite cover indexing the gauge-presentation Čech direction.
Open archive record →Finite Spacetime Cover
source-verifiedgat
The finite cover indexing the spacetime-localization Čech direction.
Open archive record →Rectangular Compatibility
source-verifiedgat
Compatibility data for mixed gauge/spacetime rectangles without identifying the two Čech directions.
Open archive record →Finite Gauge-Spacetime Index
source-verifiedgat
The combined finite index retaining gauge and spacetime coordinates as distinct directions.
Open archive record →Bigraded Finite Realization Carrier
source-verifiedgat
The finite carrier supporting the two-direction realization bookkeeping.
Open archive record →Finite Yang-Mills Physical Package
source-verifiedgat
The finite Yang–Mills physical data package presented for downstream certification.
Open archive record →Detector Readout
source-verifiedgat
The finite detector output associated with the declared physical packet.
Open archive record →Finite Admissible Region System
source-verifiedgat
The finite system of admitted regions used by the local algebraic and Ward data.
Open archive record →Fiberwise Local Algebra
source-verifiedgat
The local algebra attached to one declared realization fiber and region.
Open archive record →Finite Gauss Certificate
source-verifiedgat
The finite certificate recording Gauss-law compatibility on the declared carrier.
Open archive record →Finite Ward Profile
source-verifiedgat
The finite Ward data retained as a distinct physical coordinate.
Open archive record →Ward Seed over the Two-Nerve Carrier
source-verifiedgat
Ward data seeded over the separately retained gauge and spacetime nerve directions.
Open archive record →Finite AQFT Probe Seed
source-verifiedgat
A finite algebraic-QFT probe datum exported without asserting continuum reconstruction.
Open archive record →Representation-Family Slot
source-verifiedgat
The explicitly typed slot for representation-family information in the finite source package.
Open archive record →Strict Defect Coefficient System
source-verifiedgat
The coefficient system in which the finite defect calculus is evaluated.
Open archive record →Filling Obstruction
source-verifiedgat
The obstruction to existence of the declared filling; its vanishing does not force the later relative class to vanish.
Open archive record →Internal Coefficient-Band Class
source-verifiedgat
The degree-three coefficient-band associator class b_D in H^3(BB_D;U(1)).
Open archive record →Finite Coherence Type
source-verifiedgat
Classification of the finite coefficient coherence as strictifiable or intrinsically twisted according to the band class.
Open archive record →Selector-Comparison Certificate
source-verifiedgat
The certified comparison data used to define selected transgression information.
Open archive record →Banded Tensor-Selector Class
source-verifiedgat
The selected degree-two class obtained by controlled transgression of the internal degree-three band class.
Open archive record →Plaquette-Local Physical Hamiltonian Seed
source-verifiedgat
The plaquette-local Hamiltonian seed entering the finite analytic certificate.
Open archive record →Hamiltonian Descent Certificate on the Two-Nerve
source-verifiedgat
The Hamiltonian descent package retaining electric, magnetic, seam, mixed-cell, and residual-budget information.
Open archive record →Exact Complete-Ground Projection
source-verifiedgat
The projection whose range is exactly the kernel of the centered finite Hamiltonian.
Open archive record →Coercive Cone
source-verifiedgat
The declared cone of quantitative coercive estimates compatible with the exact-ground splitting.
Open archive record →Seam Reserve Vector
source-verifiedgat
The quantitative seam reserve data retained for finite comparison and surgery.
Open archive record →Spectrally Legal Finite Surgery
source-verifiedgat
A finite surgery preserving the declared topological, physical, defect-kernel, and analytic comparison data.
Open archive record →Finite Analytic Shadow
source-verifiedgat
The analytic shadow retaining declared operator/form data while deliberately forgetting the cohomological coordinates.
Open archive record →Banded 2-Transport Certificate
source-verifiedgat
The certified two-dimensional transport datum used in the mixed-interaction construction.
Open archive record →Calibrated Mixed Interaction Shadow
source-verifiedgat
The calibrated U(1)-valued mixed interaction phase Π_square.
Open archive record →Finite Admissible Decoupling
source-verifiedgat
The finite decoupling notion tested by the calibrated mixed interaction shadow.
Open archive record →Hamiltonian-Bearing Admissible Comparison
source-verifiedgat
An admissible comparison strengthened to preserve exact-ground, Hamiltonian-descent, Beck–Chevalley, and residual-budget data.
Open archive record →Admissible Grassmannian Transport Category
source-verifiedgat
The Grassmannian transport category of admissible projections and compatible partial-isometry passages.
Open archive record →Global Admissible Realization
source-verifiedgat
A coherent section of the Grassmannian fibered object over the selected indexing category.
Open archive record →Admissible Section Module
source-verifiedgat
A module-valued pseudosection; not automatically one ordinary module or a Hilbert space.
Open archive record →Representable Physical Section
source-verifiedgat
An admissible section equipped with the representation and strictification data required for a represented Hilbert realization.
Open archive record →Restricted Admissible Grassmannian
source-verifiedgat
The admissible Grassmannian restricted by a declared transport-stable ideal relative to a reference polarization.
Open archive record →Total Comparison Form
source-verifiedgat
The homogenized comparison form q_tot(V,λ)=||D̂(V,λ)||² used to measure comparison escape.
Open archive record →Genuine Admissible Transport
source-verifiedgat
Transport satisfying carrier, algebra, reference, Čech, refinement-path, higher-curvature, and admissibility requirements on the represented branch.
Open archive record →Spatially Effective Selected Correspondence
source-verifiedgat
A selected correspondence carrying the additional spatial effectivity needed for Hilbert-space realization.
Open archive record →Local Linking Defect
source-verifiedgat
The local defect measuring failure of the selected correspondence to reduce to the desired linking/graph form.
Open archive record →Sector-Faithful Central Transport
source-verifiedgat
Central transport retaining the selected sector marking faithfully.
Open archive record →Uniformly Separated Central Marking
source-verifiedgat
A central marking with uniform separation across the certified comparison family.
Open archive record →Pre-Spectral Branch Retention
source-verifiedgat
Retention of the selected branch before terminal spectral identification.
Open archive record →Asymptotically Central Source-Native Marker
source-verifiedgat
A source-native marker becoming central in the auxiliary marked comparison algebra, not automatically in the physical local algebra.
Open archive record →Separating Marker Subfamily
source-verifiedgat
A marker subfamily sufficient to separate the declared retained destinations.
Open archive record →Relative Linking Obstruction
source-verifiedgat
The obstruction to coherent graph reduction of the selected source/destination correspondence on the declared branch.
Open archive record →Effective Twisted Spatialization
source-verifiedgat
A spatialization retaining the prescribed twisted coefficient data rather than forcing strict trivialization.
Open archive record →Finite-Window Zero-Cost Normalizer
source-verifiedgat
A finite-window normalizer realizing the declared zero comparison cost without erasing sector data.
Open archive record →Transport and Migration Spaces
source-verifiedgat
The zero-mode decomposition into retained transport and inequivalent admissible migration destinations.
Open archive record →Represented Destination Family
source-verifiedgat
The represented family of admissible destination sectors used in the transport/migration/escape trichotomy.
Open archive record →Compactness Modulo Admissible Sector Transport
source-verifiedgat
Compactness after all represented admissible transport and migration destinations have been accounted for.
Open archive record →Branch Certificate
source-verifiedgat
A branch certificate C=(D,W,B,T) comprising data, witnesses, bounds/identities, and a cofinal validity tail.
Open archive record →Coherent Certificate
source-verifiedgat
A branch certificate whose witness data are coherent under the declared comparison structure.
Open archive record →Derived Certificate Package
source-verifiedgat
A package of certificates derived from already certified branch data and theorem-level implications.
Open archive record →Finite Physical Yang-Mills Cargo
source-verifiedgat
A transport-ready packaging of already certified finite physical Yang–Mills data; it introduces no new finite physical coordinate.
Open archive record →Certified Admissible Continuation
source-verifiedgat
A full-package comparison across an admitted passage that records each in-scope coordinate as preserved, controlled defect, externalized, or out of scope.
Open archive record →Orbit-Covariant Spectral System
source-verifiedgat
A spectral system (H,X,G,V,E,h,Z,Π) supporting covariant orbit-floor transfer.
Open archive record →Orbit Floor
source-verifiedgat
The invariant lower envelope ρ_G(x)=inf_g h(gx) along the symmetry orbit.
Open archive record →Thin Dynamical Packet
source-verifiedgat
The packet (q,K,H_thin,P_Ω,κ,Π_thin) supplied before invariant spectral identification.
Open archive record →Selected Transport Base
source-verifiedgat
The selected transport-oriented base retaining gauge, spacetime, scale, and marking coordinates without collapsing their variances.
Open archive record →Liftable Locus
source-verifiedgat
For a base arrow f, the source objects admitting at least one certified physical comparison over f.
Open archive record →Raw Certified Realization
source-verifiedgat
A substantive reconstruction datum together with a selected certificate and auxiliary enhancement.
Open archive record →Raw Certified Comparison
source-verifiedgat
A full-package source-certified physical comparison over an admitted base arrow.
Open archive record →Certificate Refinement Class
source-verifiedgat
Comparison data treated as refinements of certification witnesses and localized away in the intrinsic reduction.
Open archive record →Enhancement Change Class
source-verifiedgat
Auxiliary anchor/root/Cauchy enhancement changes removed only after a separate contractible-fiber argument.
Open archive record →Substantive Physical Comparison
source-verifiedgat
The comparison information retained as intrinsic physical continuation geometry.
Open archive record →Configured Persistent Floor
source-verifiedgat
The branchwise infimum of endpoint-configured coercive floors, required to be positive for uniform persistence.
Open archive record →Gauge-Invariant Markov Ancestor
source-verifiedgat
The pre-sharp-detector electric–magnetic Dirichlet-form structure on the gauge-invariant configuration-space carrier.
Open archive record →Ground-State Markovization
source-verifiedgat
The Doob/ground-state transform of an independently certified Dirichlet realization with strictly positive rank-one ground.
Open archive record →Markov Coarse-Graining Shadow
source-verifiedgat
A finite-rank gauge-compatible Markov shadow kept distinct from the sharp physical detector.
Open archive record →Measurement Markov Interface
source-verifiedgat
The downstream abstract analytic package exporting Markov relaxation data without identifying a measurement record algebra.
Open archive record →Fiber / Fibration Distinction
canonical-distinctionfiberfibrationgrothendieck
A realization fiber may be only an inverse image; a genuine fibration is earned only after coherent certified reindexing/lift data are constructed.
Open archive record →Admissible Transport
canonical-family-definitiongattransportcomparison
Typed comparison geometry for source-certified physical data across admitted contexts. Distributor-valued comparison is primitive; ordinary functorial transport requires representability.
Open archive record →Vacuum Lineage
source-audited-summaryvacuumlineageground-sector
Carrier-dependent complete-ground representatives belong to one vacuum structure through certified, coherently composable retention/transport, rather than by symbol equality across carriers.
Open archive record →