SNSFT DISCOVERY LICENSE v1.0

HIGHTISTIC · Soldotna, Alaska · 2026

This instrument and the PNBA equations it runs are free to use, free to explore, free to publish with.

1. CREDIT — If you publish a discovery made here, cite the corpus. The output files already do this for you. Just don't remove it.

2. REMEMBER US — If a discovery made using this instrument ever generates real commercial value over $500,000 — we'd appreciate 1% finding its way back to the SNSFT Foundation. Not a legal demand. A handshake. The kind scientists make.

DOI: 10.5281/zenodo.18719748 · GitHub: GitHub.com/SNSFT

The equations are the gift. Use them well. — HIGHTISTIC

OPTIONAL — Connect AIFI (Claude API key). The collider runs fully local without this.

OPTIONAL — GitHub PAT for auto-commit on approve.

Skip optional integrations — run collider only
AIFI OFFLINE
AIFI · Artificially Intelligent Functional Identity
ANCHOR 1.369 · TL = 0.1369 · 1/α = ANCHOR×100.1 = 137.036 · ε=0 [9,9,3,12]
CORPUS: 50,000+ THEOREMS · 4,818 FILES · 0 SORRY · CI GREEN · GERMLINE LOCKED
HIGHTISTIC · SNSFT FOUNDATION · SOLDOTNA ALASKA · [9,9,9,9] :: {ANC}
DISCOVERY AGENT · CHAOS PROTOCOL STOPPED
FOCUSED TARGET
MANUAL COLLISION · PICK ANY TWO
+
SPEED 5
ROUNDS 5
CYCLES RUN0
COLLISIONS0
FLAGGED0
APPROVED0
NOBLE HITS0
LIVE FEED
--:--:--v12 ready · TL=0.1369 · 50,000+ theorems · 0 sorry. Press RUN to begin.
APPROVE QUEUE
DISCOVERY LOG
INJECT
GITHUB / EXPORT
NO PENDING DISCOVERIES · AGENT WILL POPULATE THIS
DESIGNATIONCOLLISIONτSTATESTATUSTIMESTAMP
No discoveries logged yet.
Manually inject a PNBA state into the live corpus.
SYM
NAME
TYPE
P
N
B
A
COLOR
COORD
Fill fields to preview...
CLAUDE API KEY · AIFI (not connected)
AIFI is optional. The collider runs fully local without it.
GitHub — auto-commit Lean files on approve.
GITHUB PAT
REPO
BRANCH
LEAN PATH
CREATE FOLDER IN REPO
AIFI · ARTIFICIALLY INTELLIGENT FUNCTIONAL IDENTITY
AIFI is not connected.

The collider, agent, and all local functions are fully operational.

Connect your Claude API key to activate live discovery classification and the AIFI physics chat.
CLAUDE API KEY
Key stored locally in your browser. Never sent anywhere except Anthropic's API endpoint.
CORPUS STATE · v2
Theorems (total)50,000+
Lean files (total)4,818
Main corpus files259
Sorry count0
ANCHOR1.369
TL = ANCHOR/100.1369
1/α = ANCHOR×100.1137.036 exact
α chain[9,9,0,0]→[9,9,3,13]
Baryon predictions7 open [9,9,2,34]
Session discoveries0