Inspect the formal work, its assumptions and the evidence behind it. Browse the AASC projects together with selected work from other frameworks.
AASC and Beyond AASC
AASC identifies projects using the AASC framework or its foundational machinery. Beyond AASC identifies work using other frameworks. These categories describe the work, not its author or institutional affiliation.
Read each verification status
Authorship, repository ownership and framework are recorded separately. A passing project build checks its declared formal result; it does not validate every physical interpretation. Catalogue inclusion is not independent proof verification.
15 projects
AASC · Foundations
Non-Degenerate Construction and the Kernel of Admissibility
Repository owner: somamaley-ux
Lean companion for necessity from original incidence, exact representation, conservation, typed composition and support transport.
Source / version
Public repository; consult its pinned releases and audit records.
Verification status
Repository documentation inspected; not rebuilt for this catalogue update.
Claim boundary
Theorems retain their declared domains and hypotheses; downstream physical constructions have their own inputs.
AASC · Foundations
Foundational Closure of Admissibility and Standing
Author: Amos Jay Maley Repository owner: somamaley-ux
Consequence families downstream of a fixed admissibility kernel, including preservation, no-repair, no-generator, interior uniqueness and conservation.
Source / version
Public repository; consult its pinned releases and audit records.
Verification status
Repository documentation inspected; not rebuilt for this catalogue update.
Claim boundary
The formal consequence layer uses the stated kernel and semantic domains.
AASC · Geometry & scalar dynamics
Premetric Structural Unification
Repository owner: somamaley-ux
An integrated AASC Kernel-governed construction of scoped geometry, scalar dynamics, quantitative recovery and operational relativity.
Source / version
v1.0.0 public release; completed pre-5A snapshot.
Verification status
The repository records a cache-cold source build and six endpoint audits. Full Lake object-hash identity remains unresolved. Not rebuilt for this catalogue update.
Claim boundary
Continuum carriers, dimension, branch, actions and parameters are declared construction choices. Sourced Einstein receiving requires combined-action stationarity; general interacting quantum theory and global coupled Einstein–Klein–Gordon existence are outside this baseline.
AASC · Combinatorics
Sunflower Endpoint Audit
Repository owner: somamaley-ux
An integrated finite-combinatorial/AASC endpoint bridge for the three-petal sunflower problem, with an explicit manuscript-to-Lean terminal handoff.
Source / version
Public repository; consult its pinned releases and audit records.
Verification status
Repository documentation inspected; not rebuilt for this catalogue update.
Claim boundary
The formal surface retains the manuscript handoff; this listing does not present it as an autonomous conventional proof or a kernel-only cardinality bound.
AASC · Standard Model
Standard Model Carrier Exhaustion / Generation Cardinality
Repository owner: somamaley-ux
An AASC/ARC role-occupancy audit receiving the SM-1–SM-6 framework and representing the generation-cardinality certificate.
Source / version
Public repository; consult its pinned releases and audit records.
Verification status
Repository documentation inspected; not rebuilt for this catalogue update.
Claim boundary
The source framework and certificate hypotheses remain explicit; this is not a first-principles reconstruction of all Standard Model physics or numerical mixing parameters.
AASC · Cosmology
Hubble Transport Audit
Repository owner: somamaley-ux
A typed redshift-active transport certificate with an AASC governance layer.
Source / version
Public repository; consult its pinned releases and audit records.
Verification status
Repository documentation inspected; not rebuilt for this catalogue update.
Claim boundary
Numerical Jacobian/SVD, convergence and posterior evidence are imported. Lean does not rerun cosmological inference.
AASC · Mathematics & field theory
Yang–Mills Audit
Repository owner: somamaley-ux
A manuscript-facing local-net and Clay-extension route, with seam, endpoint and audit-control formalization.
Source / version
Public repository; consult its pinned releases and audit records.
Verification status
Repository documentation inspected; not rebuilt for this catalogue update.
Claim boundary
External PDE, QFT, spectral and reconstruction theory remain declared boundaries.
AASC · Mathematics
BSD Endpoint Audit
Repository owner: somamaley-ux
An AASC rank-endpoint proof spine over represented analytic and arithmetic carriers, with a conditional refined-formula bridge.
Source / version
Public repository; consult its pinned releases and audit records.
Verification status
Repository documentation inspected; not rebuilt for this catalogue update.
Claim boundary
The refined-formula bridge is conditional; the archive does not formalize all underlying arithmetic geometry from first principles.
AASC · Mathematics
Hodge Endpoint Audit
Repository owner: somamaley-ux
An AASC empty cycle-fiber separator route over semantic Hodge and cycle-class carriers.
Source / version
Public repository; consult its pinned releases and audit records.
Verification status
Repository documentation inspected; not rebuilt for this catalogue update.
Claim boundary
The underlying algebraic-geometry carriers and their correspondence are declared parts of the formalization boundary.
AASC · Mathematics
Navier–Stokes Audit
Repository owner: somamaley-ux
Manuscript-facing theorem routing and obligation audits for the AASC Navier–Stokes endpoint.
Source / version
Public repository; consult its pinned releases and audit records.
Verification status
Repository documentation inspected; not rebuilt for this catalogue update.
Claim boundary
Classical analytic inputs remain external. An inventory row is not an independently proved PDE theorem.
AASC · Mathematics
Poincaré Endpoint Audit
Repository owner: somamaley-ux
An AASC sphere-readout endpoint proof spine with semantic manifold and homeomorphism carriers.
Source / version
Public repository; consult its pinned releases and audit records.
Verification status
Repository documentation inspected; not rebuilt for this catalogue update.
Claim boundary
Ricci flow appears as comparison material; the semantic carrier correspondence remains explicit.
AASC · Mathematics
P vs NP / SAT Endpoint Audit
Repository owner: somamaley-ux
An AASC SAT endpoint proof-spine audit, with an external complexity correspondence.
Source / version
Public repository; consult its pinned releases and audit records.
Verification status
Repository documentation inspected; not rebuilt for this catalogue update.
Claim boundary
The exact internal theorem retains its declared SAT encoding, admissibility conditions and external complexity correspondence. This listing makes no blanket P versus NP resolution claim.
AASC · Mathematics
RH Endpoint Audit
Repository owner: somamaley-ux
An AASC prime-trace amplitude separator route over represented zeta-zero and explicit-formula carriers.
Source / version
Public repository; consult its pinned releases and audit records.
Verification status
Repository documentation inspected; not rebuilt for this catalogue update.
Claim boundary
The underlying analytic number theory is represented through declared carriers rather than reconstructed in full from first principles.
AASC · Foundations & logic
Gödel Non-Instantiability
Repository owner: somamaley-ux
Same-domain threat-architecture classification and non-instantiability within the admissible-interior framework, importing foundational, uniqueness and equivalence-exhaustion machinery.
Source / version
Public repository; consult its pinned releases and audit records.
Verification status
Repository documentation inspected; not rebuilt for this catalogue update.
Claim boundary
A paper-facing classification surface, not full coding and diagonal machinery or a claim to overturn Gödel’s incompleteness theorems.
Beyond AASC · Lattice-model mathematical physics
Lean LFM-to-Dirac Derivation
Author: Greg Partin (G. D. Partin) Repository owner: gpartin
Conditional algebraic/modal free-Dirac factorization and spatial/time error estimates for a declared two-field C19 lattice model.
Project CI passed: Lean proof #85 and Independent evidence #16 at the tagged commit, checked 12 November 2026. Not independently rebuilt by CSI.
Claim boundary
Conditional on the declared lattice model, preparation and low-momentum hypotheses. No physical-electron or general solution-convergence claim. This is an external project; listing does not imply CSI affiliation, endorsement or independent verification.
No projects match this search. Try fewer words or choose All.