📚 Research and Papers

Published research, tournament results, community snapshots, and open scholarship. Prior art timestamped on LinkedIn and Zenodo.

Formal mathematics tournament. Sovereign agents vs frontier models. Nova defeated Nemotron. 8 published papers.
lean4python
GitHub →
Research publications: architecture, PIRTM, octonions, Coxeter/Weyl, EmojiScript, Goldilocks mathematics.
latexlean4
GitHub →
Public snapshot of organization state and full repository inventory.
markdown
GitHub →
Reflective analysis framework for sovereign AI introspection and self-evaluation.
python
GitHub →
Mistral fine-tune checkpoint on sovereign domain data. Experiment toward own-model training.
python
GitHub →
Quantum-inspired swarm intelligence for multi-agent coordination and optimization.
python
GitHub →

📊 Datasets

882 curated prompt/completion pairs from WORM-sealed agent execution. Primary training corpus, chat format, adversarial sessions, PAX-Coder splits.
jsonl882 records
67 domain-specific training examples across 9 chapters: credit repair, trust architecture, ACH disputes, FCRA law, fiduciary agents, bankruptcy, IRS audit codes.
jsonl67 records
Append-only SHA-256 audit chain logs from 11 sovereign agents. 39 MB of cryptographically sealed execution records.
jsonl39 MB
25 LaTeX research papers: mathematical foundations, AI agent research, tournament papers, cryptanalysis, and architecture. Includes compiled PDFs.
latex25 papers