Sync with GitHub, license metadata from LICENSE files, commercial license notice
Browse filesmetadata license: None -> other (snapkitty-tri-license)
README: License section appended
README: GitHub source link added
README.md
CHANGED
|
@@ -1,82 +1,104 @@
|
|
| 1 |
-
|
| 2 |
-
|
| 3 |
-
|
| 4 |
-
|
| 5 |
-
|
| 6 |
-
|
| 7 |
-
|
| 8 |
-
|
| 9 |
-
|
| 10 |
-
|
| 11 |
-
|
| 12 |
-
|
| 13 |
-
|
| 14 |
-
|
| 15 |
-
---
|
| 16 |
-
|
| 17 |
-
|
| 18 |
-
|
| 19 |
-
|
| 20 |
-
|
| 21 |
-
|
| 22 |
-
|
| 23 |
-
|
| 24 |
-
|
| 25 |
-
|
| 26 |
-
|
| 27 |
-
|
| 28 |
-
|
| 29 |
-
|
| 30 |
-
|
| 31 |
-
#
|
| 32 |
-
|
| 33 |
-
|
| 34 |
-
|
| 35 |
-
|
| 36 |
-
|
| 37 |
-
|
| 38 |
-
|
| 39 |
-
|
| 40 |
-
|
| 41 |
-
|
| 42 |
-
|
| 43 |
-
|
| 44 |
-
#
|
| 45 |
-
|
| 46 |
-
|
| 47 |
-
|
| 48 |
-
|
| 49 |
-
|
| 50 |
-
#
|
| 51 |
-
|
| 52 |
-
|
| 53 |
-
|
| 54 |
-
|
| 55 |
-
|
| 56 |
-
```
|
| 57 |
-
|
| 58 |
-
|
| 59 |
-
|
| 60 |
-
|
| 61 |
-
|
| 62 |
-
|
| 63 |
-
|
| 64 |
-
|
| 65 |
-
|
| 66 |
-
|
| 67 |
-
|
| 68 |
-
|
| 69 |
-
|
| 70 |
-
|
| 71 |
-
|
| 72 |
-
|
| 73 |
-
``
|
| 74 |
-
|
| 75 |
-
|
| 76 |
-
|
| 77 |
-
|
| 78 |
-
``
|
| 79 |
-
|
| 80 |
-
|
| 81 |
-
|
| 82 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
---
|
| 2 |
+
license: other
|
| 3 |
+
license_name: snapkitty-tri-license
|
| 4 |
+
license_link: https://huggingface.co/Snapkitty/sovlm/blob/main/LICENSE.tri
|
| 5 |
+
tags:
|
| 6 |
+
- snapkitty
|
| 7 |
+
---
|
| 8 |
+
|
| 9 |
+
> Source: [github.com/SNAPKITTYWEST/sovlm](https://github.com/SNAPKITTYWEST/sovlm)
|
| 10 |
+
|
| 11 |
+
# sovlm
|
| 12 |
+
|
| 13 |
+

|
| 14 |
+

|
| 15 |
+

|
| 16 |
+

|
| 17 |
+

|
| 18 |
+
|
| 19 |
+
**Sovereign Statistical Language Model.**
|
| 20 |
+
N-grams + Kneser-Ney + BM25 Retrieval + QRNG sampling.
|
| 21 |
+
No training. No backprop. No GPU. Pure governance.
|
| 22 |
+
|
| 23 |
+
Part of the SnapKitty Collective sovereign AI stack.
|
| 24 |
+
|
| 25 |
+
---
|
| 26 |
+
|
| 27 |
+
## Install
|
| 28 |
+
|
| 29 |
+
```bash
|
| 30 |
+
pip install -e ".[dev]"
|
| 31 |
+
# or
|
| 32 |
+
uv pip install -e ".[dev]"
|
| 33 |
+
```
|
| 34 |
+
|
| 35 |
+
## Usage
|
| 36 |
+
|
| 37 |
+
```bash
|
| 38 |
+
# Build from your corpus (Lean proofs, Prolog, docs, anything)
|
| 39 |
+
sovlm build data/*.lean data/*.pl data/*.md --order 4
|
| 40 |
+
|
| 41 |
+
# Generate
|
| 42 |
+
sovlm generate -p "theorem main : " -m 200
|
| 43 |
+
|
| 44 |
+
# Stream
|
| 45 |
+
sovlm generate -p "The 49th Call is" --stream
|
| 46 |
+
|
| 47 |
+
# Quantum RNG sampling
|
| 48 |
+
sovlm generate -p "lemma " --qrng
|
| 49 |
+
|
| 50 |
+
# Serve HTTP API
|
| 51 |
+
sovlm serve --port 8080
|
| 52 |
+
```
|
| 53 |
+
|
| 54 |
+
## Python API
|
| 55 |
+
|
| 56 |
+
```python
|
| 57 |
+
from sovlm import Generator, build_from_paths
|
| 58 |
+
from pathlib import Path
|
| 59 |
+
|
| 60 |
+
# Build
|
| 61 |
+
d, ng, sg, inv, fz = build_from_paths([Path("corpus.md")], ...)
|
| 62 |
+
|
| 63 |
+
# Generate
|
| 64 |
+
gen = Generator(d, kn, sg, fz, inv, blender, sampler)
|
| 65 |
+
result = gen.generate("theorem xor_assoc : ", max_tokens=100)
|
| 66 |
+
```
|
| 67 |
+
|
| 68 |
+
## Architecture
|
| 69 |
+
|
| 70 |
+
| Component | Role |
|
| 71 |
+
|---|---|
|
| 72 |
+
| `Dictionary` | Vocabulary sovereignty β you own the tokens |
|
| 73 |
+
| `NGramIndex` | Local coherence β what follows what |
|
| 74 |
+
| `KneserNey` | Smoothing β handle unseen contexts |
|
| 75 |
+
| `SkipGramIndex` | Structural patterns at distance |
|
| 76 |
+
| `FuzzyPrefixIndex` | LSH near-miss β graceful degradation |
|
| 77 |
+
| `InvertedIndex + BM25` | Retrieval β what's relevant in corpus |
|
| 78 |
+
| `Blender` | Arbitration β Markov vs retrieval |
|
| 79 |
+
| `Sampler + QRNG` | Entropy β unbiased, quantum-seeded choice |
|
| 80 |
+
|
| 81 |
+
## SnapKitty Stack Integration
|
| 82 |
+
|
| 83 |
+
```
|
| 84 |
+
sovlm βββΊ abjad-machine (SUBLEQ address space)
|
| 85 |
+
βββΊ sovereign-transformer (plasma gate)
|
| 86 |
+
βββΊ the-49th-call (Lean 4 verified)
|
| 87 |
+
βββΊ bob-orchestrator (Byzantine council)
|
| 88 |
+
```
|
| 89 |
+
|
| 90 |
+
---
|
| 91 |
+
|
| 92 |
+
*Ahmad Ali Parr Β· SnapKitty Collective Β· 2026*
|
| 93 |
+
|
| 94 |
+
---
|
| 95 |
+
|
| 96 |
+
## License
|
| 97 |
+
|
| 98 |
+
Licensed under **SnapKitty Tri-License**. Full text: [LICENSE.tri](LICENSE.tri).
|
| 99 |
+
|
| 100 |
+
### πΌ Commercial License
|
| 101 |
+
|
| 102 |
+
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 this code without the AGPL's source-sharing and network-use obligations.
|
| 103 |
+
|
| 104 |
+
**[β Get a commercial license](mailto:A.parr@belespritdaccord.uk?subject=Commercial%20license:%20sovlm)** Β· A.parr@belespritdaccord.uk
|