🐈 SnapKittyAll collections
📚 Collection

Research and Papers

Published research, tournament results and open scholarship with traceable evidence.

NewdatasetGPL-3.0+

cpsc-qft-paper

Paper: conservation-preserving compilation for a 1+1D lattice shadow of φ⁴, with Lean operator-commutation proofs for every admitted Trotter schedule.

lean4qsharppdf
NewmodelAGPL-3.0

foundry-j

Pure-J recreation of Foundry F1's math cores: Goldilocks field, prime monomial matrices, spectral governor, Banach recurrence.

NewmodelAGPL-3.0

hcalc

Nested contraction recurrence specified in prose, checked in Alloy, formalized in Lean 4 and implemented in J.

NewmodelAGPL-3.0

sedona-k

Layer-1 Sedona Spine constants read as a classical Riemann gas over the first 64 primes, computed in ngn/k.

datasetAGPL-3.0

cartographer-corpus

67 domain-specific training examples across 9 chapters: credit repair, trust architecture, ACH disputes, FCRA law, fiduciary agents, bankruptcy, IRS audit codes.

jsonl67 records
datasetAGPL-3.0

sovereign-papers

25 LaTeX research papers: mathematical foundations, AI agent research, tournament papers, cryptanalysis, and architecture. Includes compiled PDFs.

latex25 papers
datasetAGPL-3.0

sovereign-training-corpus

882 curated prompt/completion pairs from WORM-sealed agent execution. Primary training corpus, chat format, adversarial sessions, PAX-Coder splits.

jsonl882 records
datasetAGPL-3.0

worm-chain-archive

Append-only SHA-256 audit chain logs from 11 sovereign agents. 39 MB of cryptographically sealed execution records.

jsonl39 MB

Commercial license

SnapKitty code is free and open under AGPL-3.0 for open-source use. Building a commercial product or service? A proprietary commercial license from Snapkitty Collective LLC lets you ship SnapKitty code without the AGPL's source-sharing and network-use obligations.

Get a commercial license