Constraint Systems Institute

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.

Browse manuscripts View Lean 4 projects

01 Kernel 02 AMetric boundary 03 Research arcs

Manuscript Repository

Theoretical research organized by formal dependency.

Major Research Arcs

Current centerpiece first.

Current Centerpiece ARC

Gravity-quantum closure arc

Plainly: this arc is the long-form closure of the gravity-quantum line. It starts from the Kernel and uniqueness thesis, passes through gravity, Einstein, Schrodinger, and structural unification, then completes the constructive physical realization through Modules A-D and the final complete certificate closure.

Technically: the sequence establishes the necessary physical constraint role, derives the minimal metric and Hamiltonian projections, proves their common admissible physical interior, and then closes operational metric-source attachment, mass-charge matching, upstream continuation, projection intertwining, certificate-fibre exhaustion, and unique lawful role occupancy.

Foundational entry

Non-Degenerate Construction and the Kernel of Admissibility Unus Solus Possibilis Est

Physical projection spine

Gravity as Structural Necessity Einstein Dynamics Schrodinger Dynamics Structural Unification

Constructive physical realization

Centerpiece ARC

Standard Model carrier-exhaustion sequence

Plainly: this is the current Standard Model centerpiece. The recent carrier-exhaustion arc is presented as the main line, with older Standard Model papers kept inside the same card as background.

Technically: the arc moves from classifier-level primitive closure through gauge, matter, charges/couplings, flavor/generation, and global residual primitive deletion, while keeping older structural and cross-sector papers as supporting context rather than equal anchors.

Recent carrier-exhaustion center

SM-1 Classifier-Level Prediction Closure SM-2 Gauge Carriers SM-3 Matter Carriers SM-4 Charges, Couplings, and Renormalization SM-5 Flavor Transition and Mixing SM-6 Carrier Exhaustion Closure Generation Cardinality Endpoint

Earlier support in the same arc

Standalone Standard Model Structure Cross-Sector Extraction Higgs Bridge Carrier Generation Count and Residual Parameters Charge-Lattice Rigidity

Millennium Card

Seven Clay-style endpoint solutions and audit surfaces

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.

Seven Clay endpoints

Yang-Mills Mass Gap Riemann Hypothesis P vs NP Navier-Stokes Existence and Smoothness Hodge Conjecture Birch and Swinnerton-Dyer Poincare Conjecture

Yang-Mills five-paper arc inside the Clay series

Local-net mass gap Companion I: Route 1 chain Companion II: Lane A construction Companion III: reconstruction Endpoint well-definedness

Major Recent ARC

Black Hole endpoint sequence, Papers 0-4

Plainly: this five-paper sequence treats black holes as licensed limit regimes and follows what happens when horizon reconstruction, interior standing, and boundary inheritance fail.

Technically: the arc runs from role classification through exterior reconstruction obstruction, standingless residual interiors, AMetric normal-form homology, and counter-boundary origin status.

Paper 0: Licensed Limit Regimes Paper 1: Horizon Instability Paper 2: Standingless Interiors Paper 3: AMetric Homology Paper 4: Constraint-Forced Origins

Quantum Boundary Pair

Measurement and entanglement as boundary problems

Plainly: measurement and entanglement belong together because both ask how records, compatibility, and boundary standing work without hidden selectors or illicit transport.

Technically: measurement supplies record-fixation and non-selective update discipline; entanglement supplies boundary-level compatibility without same-scope signaling, repair, or hidden metric transport.

Admissible Record Construction Quantum Entanglement as Boundary-Level Compatibility

Time Pair

Standing monotonicity and the physical clock

Plainly: these two papers separate temporal direction from physical clock use: first the arrow, then the quotient object that functions as a clock.

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.

The Arrow of Time as Standing Monotonicity The Physical Clock as a Quotient

Mind / Agency Card

Consciousness, qualia, free will, and responsible authorship

Plainly: this card treats consciousness and free will as standing problems: how experience gets referential fixation, and how responsibility attaches without outcome selection.

Technically: consciousness is typed as a subject-indexed referential quotient interface with qualitative tensors, while free will is typed as admissible authored commitment under standing rather than indeterminism, randomness, or causal exemption.

Primary mind and agency papers

The AASC Description of Consciousness Free Will as Admissible Commitment

Supporting structure

Mentis Umbra Agency as a Bookkeeping Projection

The Kernel

The formalism rests first on the Kernel of Admissibility: admissibility, standing, reference, and irreversibility as the governance roles required for non-degenerate construction.

AMetric boundary invariant

The second pillar is the AMetric boundary: the interface that prevents illicit metric reanchoring, scope transport, and hidden crossing beneath admissibility.

Downstream arcs

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

Find papers by concept, title, DOI, or repository.

Search the visible archive surface for terms such as kernel, mass, charge, covariant, sunflower, consciousness, or Lean.

Search corpus papers

Start typing to surface matching papers.

Formal Dependency Order

The reading path starts with two load-bearing papers.

01 / First Foundation

Non-Degenerate Construction and the Kernel of Admissibility

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 DOI

02 / Second Foundation

The AMetric boundary invariant

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.

Structure of Admissibility AMetric Boundary Interface Constraint Map

Kernel AMetric boundary Admissible interior Metric and quantum projections ARC papers and Lean audits

Themed Manuscript Shelves

Major anchors first, supporting papers kept with their arc.

Foundation: Kernel and AMetric Boundary

Primary Anchor

Non-Degenerate Construction and the Kernel of Admissibility

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.19324199

The Structure of Admissibility: AMetric Boundary, Bivalence, and the Unique Admissible Interior The AMetric Boundary as Non-Transmissive Interface The AMetric Boundary Admissibility Constraint Map The Impossibility of Deeper Invariants Under the AMetric Boundary Anchor, Tensor, and Skin Covariant Differentiation from the AASC Kernel A Fixed-Domain Exhaustion Theorem Boundary-Trace Fixation under Admissibility Constraint-Bundle Forcing

Standard Model ARC

Major Anchor

The Standalone Standard Model Structure from First Principles

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.20305720

The Standard Model Carrier Exhaustion Closure Matter Carriers Gauge Carriers Generation Cardinality Endpoint Cross-Sector Extraction The Higgs Bridge Carrier

Gravity / Quantum Unification

Current Arc

Gravity-quantum closure arc

Plainly: this shelf follows the full gravity-quantum line: gravity, Einstein, Schrodinger, and structural unification, then the constructive physical realization through Modules A-D, culminating in Complete Certificate Closure.

Technically: the arc moves from structural-constraint results into 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.21616613

Module A: operational metric-source attachment Module B: common mass-charge matching Module C: upstream continuation and projection intertwining Module D: certificate-fibre exhaustion and unique lawful role occupancy Structural Unification Einstein Dynamics Schrodinger Dynamics Gravity as Structural Necessity Covariant Differentiation from the AASC Kernel Measurement Problem Quantum Entanglement Hilbert Geometry and Schrodinger-Form Dynamics

Cosmology / Constants

Major Anchor

Metricity as Licensed Description

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.20338474

Null Propagation Hubble Transport Closure The Dark Sector as a Classification Error Zero-Point Vacuum Energy Classification Theorem for Physical Constants

Millennium / Mathematics

Seven Clay Endpoints

Millennium mathematics endpoint family

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 DOI

Yang-Mills Mass Gap Riemann Hypothesis P vs NP Navier-Stokes Existence and Smoothness Hodge Conjecture Birch and Swinnerton-Dyer Poincare Conjecture Yang-Mills Companion I: Route 1 chain Yang-Mills Companion II: Lane A construction Yang-Mills Companion III: reconstruction Yang-Mills Endpoint Constructions Yang-Mills Lean Audit AASC-Combinatorics Sunflower Endpoint Bridge Closure by Exhaustion

Governance / Mind / AI

Major Anchor

Claim Standing and Legitimacy

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.20312075

Governance-First AI Artificial Epistemic Agents Coherent Evaluability No Legal Claim Beyond Its Carrier

Topic Routes

Conceptual entry points through the archive.

Mass

Mass gap, inertial scale, and Higgs standing

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.

Yang-Mills Mass Gap Higgs Bridge Carrier Schrodinger Dynamics

Fields

Gauge, matter, metric, and quantum field roles

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.

Covariant Differentiation Gauge Carriers Matter Carriers Structural Unification

Charge

Charge lattice, couplings, and redescription rigidity

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.

Charge-Lattice Rigidity Charges and Couplings Gauge-Coupling Parameters

Zenodo DOI Index

Recent manuscripts and archive records, linked by all-version DOI.

Foundation

Non-Degenerate Construction and the Kernel of Admissibility

The base manuscript for the formalism: the fixed-domain kernel of admissibility, standing, reference, and irreversibility required for determinate construction.

All-version DOI: 10.5281/zenodo.19324199
Latest fetched version: 10.5281/zenodo.20727360

Foundation

The Structure of Admissibility

Primitive sequel to the Kernel paper: AMetric boundary, bivalence, and unique admissible interior structure.

All-version DOI: 10.5281/zenodo.19198249
Latest fetched version: 10.5281/zenodo.20762258

Differential Geometry

Covariant Differentiation from the AASC Kernel

Derives connection type as the smooth first-jet realization of kernel-forced standing-preserving transport, with Levi-Civita closure in the minimal metric branch.

All-version DOI: 10.5281/zenodo.21318224
Latest fetched version: 10.5281/zenodo.21318225

Quantum

Structural Unification of Gravity and Quantum Dynamics under AASC

Culminating downstream synthesis connecting the Kernel, AMetric standing discipline, gravity, quantum dynamics, measurement, and entanglement.

All-version DOI: 10.5281/zenodo.21255943
Latest fetched version: 10.5281/zenodo.21255944

Dynamics

Schrodinger Dynamics as the Unique Minimal First-Response Hamiltonian Projection

Derives closed autonomous scalar nonrelativistic Schrodinger dynamics as a minimal same-scope projection.

All-version DOI: 10.5281/zenodo.21254589
Latest fetched version: 10.5281/zenodo.21254590

Gravity

Einstein Dynamics as the Unique Minimal First-Response Metric Projection

Same-scope curvature-response exhaustion theorem from admissibility, standing, and source continuation.

All-version DOI: 10.5281/zenodo.20538579
Latest fetched version: 10.5281/zenodo.21252204

Combinatorics

The AASC-Combinatorics Sunflower Endpoint Bridge: An Integrated Hybrid Closure for the Three-Petal Theorem

Manuscript developing an integrated combinatorics and AASC endpoint-closure treatment of the three-petal sunflower theorem.

All-version DOI: 10.5281/zenodo.21242672
Latest fetched version: 10.5281/zenodo.21242673

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

A broader spine of major manuscripts across the archive.

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

Machine-checked projects that make selected structures inspectable.

Formalisation repositories

Lean 4 projects house theorem spines, certificate objects, proof-routing surfaces, and local audit scripts.

Build and audit status

Repository pages should show what builds, what scans cleanly, what axioms are expected, and what remains outside Lean.

Strong but bounded claims

The formal layer can be substantive without claiming a first-principles reconstruction of every downstream domain proof.

GitHub Project Index

Current public Lean and manuscript-linked repositories.

Foundation

Non-Degenerate Construction and Kernel of Admissibility

Lean 4 formalization and audit surface for the Kernel paper: the foundational admissibility, standing, reference, and irreversibility layer used by downstream arcs.

Open repository Foundational Lean project

Foundation

Necessity of Admissibility / AMetric Boundary

Lean 4 theorem surface for the AMetric boundary, bivalence, no-repair, no-generator, and unique admissible interior consequence layer.

Open repository AMetric boundary formal surface

Lean Audit

AASC Sunflower Endpoint

Manuscript-faithful Lean A+ audit for the AASC Sunflower endpoint-transfer proof class.

Open repository Updated July 7, 2026

Lean

Standard Model Carrier Exhaustion / Generation Cardinality

AASC ARC extension Lean audit for carrier exhaustion and generation-cardinality layers.

Open repository Updated July 6, 2026

Lean

AASC Hubble Transport

Lean audit archive for downstream Hubble transport closure and endpoint-recognition work.

Open repository Updated June 23, 2026

Lean

AASC Yang-Mills Lean Audit

Dedicated Lean 4 audit archive for the AASC Yang-Mills local-net and Clay-extension endpoint.

Open repository Updated June 12, 2026

More public Lean repositories

AASC BSD Endpoint Lean Audit AASC Hodge Endpoint Lean Audit AASC Navier-Stokes Lean Audit AASC Poincare Endpoint Lean Audit AASC P vs NP SAT Endpoint Lean Audit AASC RH Endpoint Lean Audit Godel Non-Instantiability Lean Encoding Lean Millennium Prize Problems

Research Archive

A public surface for papers, code, releases, and verification notes.

Manuscripts

Papers and preprints

Downloadable manuscripts, abstracts, source packages, and revision notes for each research thread.

Submit a paper listing

Lean 4

Formalisation projects

Repository links, build targets, theorem inventories, audit scripts, and status summaries.

Add a Lean project

Releases

Evidence bundles

Versioned releases pairing manuscripts with formal artifacts, claim-boundary notes, and reproducibility checks.

Prepare a release

Recommended entry fields Title, abstract, manuscript, repository, build status, audit status, claim boundary.

Review posture Readable for visitors, exact enough for technical inspection.

Next step

Send manuscripts, Lean repositories, or release material for inclusion.

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