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 origin of AASC
AASC began with a personal puzzle: how could one experienced life fit the block universe and branching quantum descriptions? Follow the search for what stays fixed, from Lorentz invariance to the AMetric boundary.
A question about consciousness became a question about anything definite: what must a description preserve?
The big picture / Physics from below
Special relativity. General relativity. Quantum dynamics. Matter and interactions.
What must physical reality support before distance and duration can describe it? Explore AASC’s premetric starting point and how a common physical source connects the familiar theories.
An interactive overview connecting the foundations to the research tours.
Explore what comes before the metric
Gravity-quantum arc / Featured capstone
From the AASC Kernel to Einstein-form first-response dynamics and calibrated free-scalar Schrödinger dynamics.
A machine-checked, 49-field Lean composition connects the Kernel and downstream Kernel-faithful machinery through canonical metric licensing to both endpoints, with proved receiver maps and coverage, shared original preparations, and evolution compatibility.
The result covers the declared bounded Einstein–Hilbert response and free-scalar constructions.
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
Neutrinos / Guided tour
Explore a proposed neutrino carrier with three light sectors and a heavy sector, and the linked observations it would require.
Follow the arc from oscillation to two completed source-qualified branches. Explore the vectorlike pairing, match the light and heavy response, and follow a possible signal through the detector.
Explore the neutrino carrierReveal the pairing. Follow the detector response. Test the linked signals.
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? Explore a new physical test of inward braking, then follow the arc to the limit of spacetime and a fresh interior under the completed endpoint conditions.
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.
Paper repository
Browse the current published editions, with earlier versions and exact citations kept inside each paper's page.
Corpus search
Press / to search. Press Esc to clear.
Browse all 215 repository records Foundational formalism and dependencies
Browse by subject
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
