This archive develops a foundational constraint formalism from a premise taken seriously across quantum gravity and emergent-spacetime research, but pressed here to its full consequence: metricity is not the primitive ground of physics. Before anything can be measured, localized, evolved, or modeled, the admissible structure of determinate instantiation must already be fixed. The corpus follows that prior order outward, treating familiar mathematical and physical descriptions as consequences of constraint, exclusion, and invariant closure.
Guided Research Tours
Start here / The foundations
Two maps can look completely different and still take you to the same place. What has to stay the same? Begin with that familiar question, then follow the argument behind the whole research program.
A journey, a map, and a bridge introduce the necessary foundations of definite construction, why measurement comes downstream, and how the same discipline carries into physics.
Current Centerpiece ARC
Gravity and quantum theory are two descriptions of one underlying physical interior. Follow the full argument from its necessary foundations, through spacetime and quantum evolution, to physical clocks, common sources, and a complete matched realization.
Technically: the sequence establishes the necessary physical constraint role, derives the minimal metric and Hamiltonian projections, proves their common admissible physical interior, gives the Wheeler-DeWitt system its constrained canonical descent, and then closes operational metric-source attachment, mass-charge matching, upstream continuation, projection intertwining, certificate-fibre exhaustion, and unique lawful role occupancy.
Standard Model / Guided Tour
Follow the completed eleven-paper arc from a common persistence bearer through three generation roots, matter roles, gauge and Higgs responses, to a common physical realization with gravity.
FCGS establishes the rooted fermionic structure; BCRS develops the bosonic response atlas; CSP integrates the structural, classical, and physical source constructions, culminating in the bearer-first reconstruction.
Explore the Standard Model
Symmetry / Guided tour
Turn the description, or transform the state? Explore why those are different, then change local gauge frames, test anomaly cancellation, and discover which symmetries survive extra physical terms.
The symmetry arc distinguishes domain anchors, redescription and physical action, then carries those distinctions through the Standard Model to its symmetry atlas and exhaustion closure.
Black Holes / Guided Tour
What becomes of matter and energy when their connection to the outside is lost? Follow the arc to the limit of spacetime, and a fresh interior that inherits nothing from the old.
Nothing crosses the new boundary. The necessary foundations begin anew.
Time Pair
Why does change have a direction, and what makes something a clock? The time pair separates these questions. The guided tour follows them into WDW 10's three different local clocks: matter, volume, and curvature.
Technically: temporal directionality is treated as standing monotonicity after primitive-arrow routes are exhausted; a physical clock is then typed as a use-relative quotient of certified same-scope clock behavior.
Mind / Agency
What makes an experience yours, and a commitment your own? Follow a color, a memory, and a promise to distinguish what is experienced from what is reported, and what is authored from how it turns out.
Consciousness as a qualified subject-indexed referential interface; qualia as invariant qualitative differences; free will as valid authored commitment, without randomness or causal exemption.
Entanglement & quantum measurement
Two distant measurements. One joint standing class. The Bell paper treats the two sides as local faces of a common compatibility object, admitted at the AMetric boundary before distance or clock order can supply standing authority.
Joint standing requires no later communication channel and supplies no hidden local answer sheet. Explore that argument first, then follow local measurement into physical amplification, persistent records and actual-event questions.
Manuscript Repository
The formalism rests first on the Kernel of Admissibility: admissibility, standing, reference, and irreversibility as the governance roles required for non-degenerate construction.
The second pillar is the AMetric boundary: the interface that prevents illicit metric reanchoring, scope transport, and hidden crossing beneath admissibility.
Physics, mathematics, governance, and Lean releases are presented as consequence layers. Each keeps its manuscript claim, formal surface, and non-claim boundary explicit.
Corpus Search
Search the visible archive surface for terms such as kernel, mass, charge, covariant, sunflower, consciousness, or Lean.
Formal Dependency Order
01 / First Foundation
Plainly: this paper asks what has to be in place before a sequence of steps can count as constructing a determinate object rather than merely changing descriptions.
Technically: it isolates the fixed-domain kernel K = {Adm, St, Ref, Irr}: admissibility, standing, reference, and irreversibility. The later archive inherits this as the governance layer for identity-bearing construction.
Read the all-version DOI02 / Second Foundation
Plainly: this is the rule that prevents a theory from smuggling in distances, measures, probabilities, gradients, or hidden crossings before those structures have standing.
Technically: the AMetric boundary fixes a non-transmissive interface for admissibility. It blocks re-metricization, illicit scope transport, and claims of deeper pre-metric invariants beneath the admissibility boundary.
Themed Manuscript Shelves
Primary Anchor
Plainly: this is the base paper for the formalism. It explains what must be fixed before construction, reasoning, measurement, or continuation can have determinate standing.
Technically: it identifies the fixed-domain governance kernel K = {Adm, St, Ref, Irr}; downstream papers use this kernel as the admissibility, standing, reference, and irreversibility layer for identity-preserving construction.
10.5281/zenodo.19324199Guided tour / Eleven-paper arc
An interactive reading path through the persistence bearer, exact-three root structure, matter and bosonic responses, and the common physical source with gravity.
Explore the guided tour and all eleven manuscriptsMajor Anchor
Plainly: this arc tries to explain why the Standard Model's structural roles appear as forced positions rather than a hand-entered catalogue.
Technically: it treats carrier roles, gauge and matter sectors, generation count, Higgs standing, charge lattice rigidity, and residual parameters through AASC endpoint constraints.
10.5281/zenodo.20305720Current Arc
Plainly: this shelf follows the full gravity-quantum line: gravity, Einstein, Schrodinger, structural unification, and the Wheeler-DeWitt canonical branch, then the constructive physical realization through Modules A-D, culminating in Complete Certificate Closure.
Technically: the arc moves from structural-constraint results into canonical Wheeler-DeWitt descent, operational metric-source attachment, common mass-charge matching, upstream continuation and projection intertwining, exact certificate-fibre exhaustion, and unique lawful role occupancy.
10.5281/zenodo.21616613Major Anchor
Plainly: this shelf separates the underlying invariant structure from the measurements, units, and coordinates used to describe it.
Technically: it treats metricity, null causal structure, vacuum-energy non-predictivity, Hubble transport, dark-sector classification, and parameter fixity as standing-sensitive descriptions.
10.5281/zenodo.20338474Seven Clay Endpoints
Plainly: this shelf collects the full Clay-style mathematics cluster, not only the Yang-Mills anchor. Yang-Mills remains the deepest visible subseries, but the seven-problem family stays together.
Technically: the mathematics arc is presented as endpoint manuscripts plus audit surfaces: Yang-Mills, Riemann, P vs NP, Navier-Stokes, Hodge, Birch and Swinnerton-Dyer, and Poincare, with supporting Lean repositories listed below for theorem-surface inspection.
Open the Yang-Mills anchor DOIMajor Anchor
Plainly: this shelf asks when a claim, agent, institution, or model has the standing needed to be evaluated honestly.
Technically: it applies admissibility and standing to artificial epistemic agents, governance-first architectures, legal claim-status warrant, and coherent evaluability.
10.5281/zenodo.20312075Research Collections
Millennium Card
Plainly: the Millennium work should be seen as a complete seven-problem cluster rather than a Yang-Mills-only subsection.
Technically: each item is kept as an endpoint paper or formal audit surface, with the Lean repositories listed later for reproducibility and theorem-surface inspection.
Topic Routes
Mass
Plainly: the mass route collects papers where mass appears as a constraint-bearing role rather than a free descriptive label.
Technically: this route connects Yang-Mills local-net mass gap, Schrodinger inertial-scale anchoring, Higgs bridge carrier standing, and parameter classification under admissible fixed-domain scope.
Fields
Plainly: the fields route separates the role a field plays from the notation used to write it down.
Technically: it groups gauge carriers, matter carriers, covariant differentiation, Einstein metric projection, Schrodinger Hamiltonian projection, and structural unification as licensed downstream projections of admissible standing.
Charge
Plainly: the charge route follows why charge structure is treated as a standing-bearing invariant rather than an arbitrary bookkeeping convention.
Technically: it links charge-lattice rigidity, coupling-parameter redescription, Standard Model charge closure, and overlap-level forced uniqueness across co-scoped admissible regimes.
Zenodo DOI Index
Foundation
The base manuscript for the formalism: the fixed-domain kernel of admissibility, standing, reference, and irreversibility required for determinate construction.
Foundation
Primitive sequel to the Kernel paper: AMetric boundary, bivalence, and unique admissible interior structure.
Differential Geometry
Derives connection type as the smooth first-jet realization of kernel-forced standing-preserving transport, with Levi-Civita closure in the minimal metric branch.
Quantum
Culminating downstream synthesis connecting the Kernel, AMetric standing discipline, gravity, quantum dynamics, measurement, and entanglement.
Dynamics
Derives closed autonomous scalar nonrelativistic Schrodinger dynamics as a minimal same-scope projection.
Gravity
Same-scope curvature-response exhaustion theorem from admissibility, standing, and source continuation.
Combinatorics
Manuscript developing an integrated combinatorics and AASC endpoint-closure treatment of the three-petal sunflower theorem.
DOI data was fetched from the authenticated Zenodo API. The all-version DOI is the preferred citation target because it resolves to the latest version of each record. The recent API export is available as JSON and CSV.
Major Paper Catalogue
The authenticated Zenodo crawl found 542 submitted records and is available as JSON and CSV. The earlier GitHub DOI registry is also available as JSON and CSV.
Lean 4 Formalisation
Lean 4 projects house theorem spines, certificate objects, proof-routing surfaces, and local audit scripts.
Repository pages should show what builds, what scans cleanly, what axioms are expected, and what remains outside Lean.
The formal layer can be substantive without claiming a first-principles reconstruction of every downstream domain proof.
GitHub Project Index
Foundation
Lean 4 formalization and audit surface for the Kernel paper: the foundational admissibility, standing, reference, and irreversibility layer used by downstream arcs.
Foundation
Lean 4 theorem surface for the AMetric boundary, bivalence, no-repair, no-generator, and unique admissible interior consequence layer.
Lean Audit
Manuscript-faithful Lean A+ audit for the AASC Sunflower endpoint-transfer proof class.
Lean
AASC ARC extension Lean audit for carrier exhaustion and generation-cardinality layers.
Lean
Lean audit archive for downstream Hubble transport closure and endpoint-recognition work.
Lean
Dedicated Lean 4 audit archive for the AASC Yang-Mills local-net and Clay-extension endpoint.
Research Archive
Manuscripts
Downloadable manuscripts, abstracts, source packages, and revision notes for each research thread.
Submit a paper listingLean 4
Repository links, build targets, theorem inventories, audit scripts, and status summaries.
Add a Lean projectReleases
Versioned releases pairing manuscripts with formal artifacts, claim-boundary notes, and reproducibility checks.
Prepare a releaseMetadata
Canonical DOI landing pages with citation metadata, Dublin Core records, and a sitemap route for academic indexing.
Open metadata indexNext step
Include the paper title, a short abstract, the current manuscript status, any Lean 4 repository link, and the exact claim boundary you want the archive to preserve.
amos@constraintsystemsinstitute.org
