Independent researcher and builder of the AXZ / Axezent AI verification ecosystem.
I develop open-source systems for:
- Mathematical verification
- Deterministic receipts
- Proof-audit workflows
- Reproducible research artifacts
- Trace replay and validation
- Finite certificate generation
- Structured evaluation frameworks
Repository:
https://github.com/shawncalvinsnelling/axz-research-atlas
Website:
https://shawncalvinsnelling.github.io/axz-research-atlas/
The AXZ Research Atlas is the central public index for the entire AXZ ecosystem.
It organizes all work into explicit truth categories:
- PROVED
- FINITE_PROVED
- CANDIDATE
- BLOCKED
and serves as the authoritative truth ledger for the project.
classification
↓
reduction
↓
verification
↓
receipt
↓
truth label
The objective is not unsupported claims.
The objective is to build public repositories with:
- clear scope
- reproducible artifacts
- deterministic verification
- transparent truth boundaries
- AXZ Research Atlas
- AXZ-ReceiptCI
- AXZ CSL Kernel
- AXZ CTR Kernel
- PRK Fuzzer
- Poly Reduce Kernel
- Verification dashboards
- Receipt generation systems
- Defect Homology Theory
- Modular Compression Gates
- Graph Obstruction Frameworks
- Finite Certificate Repositories
- Candidate Lemma Discovery
- Proof-Audit Systems
- Reproducibility workflows
- Trace replay systems
- Deterministic verification pipelines
- Evidence-chain logic
- Source audits
- Release receipts
The strongest current mathematical lane is:
Lucas parameterization
↓
24k+1 primitive compression
↓
Modulo-240 survivor lattices
↓
CRT survivor spaces
↓
Centered difference graphs
↓
Additive-diamond obstruction theory
↓
Finite graph sweeps
Current status:
FINITE_VERIFICATION_PROVED
GLOBAL_PROBLEM_UNRESOLVED
Public research atlas, truth ledger, candidate lemmas, finite verification artifacts, receipts, and documentation.
Repository:
https://github.com/shawncalvinsnelling/axz-research-atlas
Website:
https://shawncalvinsnelling.github.io/axz-research-atlas/
Finite proof-audit framework for defect homology, obstruction classes, nano-gap stability, and replayable receipts.
Open-source verification kernel for finite sparse-state trace replay.
Public scope:
Finite trace replay under declared local laws.
Truth boundary:
Does not claim P = NP, RH, universal compression, or global correctness of external solvers.
Deterministic CI receipt engine that verifies tests, hashes artifacts, and emits reproducible JSON release certificates.
Open-core receipt verification dashboard for finite AI, software, mathematics, and research claims.
These repositories publish exact finite verification artifacts with explicit bounded scope.
- AXZ-Forward-NoDivision-0123456789
- AXZ-Reverse-NoDivision-9876543210
- AXZ-Hexadecimal-Base16-Ring-V1
- AXZ-Palindromic-Byte-12488421
- AXZ-Asymptotic-Gap-Frontier-V1
- AXZ-Fibonacci-Digit-1123581321
- AXZ-Factorial-Digit-12624120
- AXZ-Square-Digit-149162536
- AXZ-Cube-Digit-182764125
- AXZ-Triangular-Digit-136101521
- AXZ-Pentagonal-Digit-1512223551
- AXZ-Hexagonal-Digit-1615284566
Every public claim should map to a reproducible artifact.
Finite verification is not automatically global proof.
Truth labels must match evidence.
Research artifacts must clearly distinguish:
PROVED
FINITE_PROVED
CANDIDATE
BLOCKED
FINITE_VERIFICATION_ATLAS
PROVED:
finite receipts
algebraic reductions
deterministic modular counts
repository artifacts
CANDIDATE:
research-stage lemmas
obstruction theories
open problem investigations
BLOCKED:
unsupported global claims
unverified theorem claims
infinite conclusions without bridge theorems
I create public research-stage systems that combine:
- Mathematical reduction
- Finite verification
- Exact certificate generation
- Reproducibility workflows
- Trace replay
- Source auditing
- Evidence-chain logic
- Receipt-backed releases
- GitHub-ready research packages
GitHub:
https://github.com/shawncalvinsnelling
Research Atlas:
https://github.com/shawncalvinsnelling/axz-research-atlas
Research Website:
https://shawncalvinsnelling.github.io/axz-research-atlas/
Collaboration: