nox VM alive + four algebras + five new repos + seven spine + genesis crystal
nox lives
nox VM implementation: 16 deterministic patterns + hint. 14 tests passing. this is the irreducible kernel — the CPU of cyber.
then a full day of hardening: 5 critical bugs fixed (pattern dispatch, hash noun model, naming). decomposed noun.rs into noun/{mod, tag, inner, hash, arena}. one file per pattern. focus renamed to budget (focus is π distribution, not fuel). subject→object everywhere (object is data, subject is neuron). rainbow ASCII art banner for cli. separated cli from lib. froze layout: jets moved to specs, roadmap eliminated.
40 commits in nox alone.
four execution regimes
started from Percepta's "LLMs as computers." ended discovering cyber needs exactly four execution regimes:
wrote cyber/research/four algebras: independence criteria, Grok/ChatGPT rebuttal, probability/continuous/logic/quantum sections. four branches of mathematics converge. four failure modes of computation → four remedies. the cybergraph decomposition: particles = nebu, links = trop, neurons = genies, focus = kuro.
five repos built from zero to production
| repo | what | LOC | tests | extras |
|---|---|---|---|---|
| trop | tropical semiring (min,+) | 1,567 | 77 | GPU backend, .tri implementations |
| genies | isogeny group action (CSIDH-512) | 1,997 | 55 | GPU backend, Vélu formula fixed, all 55 tests |
| jali | polynomial ring R_q | 1,442 | 70 | GPU backend (7-stage ring_mul), .tri impls |
| kuro completed | F₂ tower → F₂¹²⁸ | 1,157 | 77 | GPU backend, .tri implementations |
| lens | five polynomial commitment backends | spec | — | Brakedown, Binius, Ikat, Assayer, Porphyry |
each repo: Cargo workspace (rs + wgsl + cli), specs, GPU compute, Trident implementations, subgraph. all scoped to pure arithmetic — algorithms moved to nox, protocols moved to mudra.
total new arithmetic: 6,163 LOC, 279 tests. all cross-platform (rs + wgsl + cli).
lens — the commitment layer
new repo. five polynomial commitment schemes named by construction:
| lens | construction | algebra |
|---|---|---|
| scalar | Brakedown | nebu |
| binary | Binius | kuro |
| ring | Ikat | jali |
| tropical | Assayer | trop |
| isogeny | Porphyry | genies |
~180 PCS → lens replacements across all research articles. lens files named by algebra (math), not by implementation (repo).
seven spine
rewrote cyb/stack three times. final architecture:
hemera → lens → trident → cybergraph → nox → zheng → bbg
hash commit compile link run prove store
cybergraph is the vertebra. jets, memos, types, knowledge — all cyberlinks.
genesis crystal + self-hosting boundary
the stack has a sharp boundary: below = Rust bootstrap. above = pure .tri.
genesis crystal: a .tri program, unlimited focus, one-time. creates tokens, registers core semcons (plumb, identity, social, geo). even genesis is proven.
core semcons = first inhabitants of the proven stack.
Qu — quantum as 15th language
no-cloning theorem → quantum is a co-processor, not a 5th regime. F_p² + kuro/trop compiler + host jets.
hemera canonical audit
~115 corrections across 29 files in 5 repos. Rp=16 (not 64), 32-byte output (not 64), ~736 constraints (not ~300/~1,200), Blake3 = 50K-100K. also aligned hemera Rust code with spec: R_P=16, x^(-1) partial S-box, 32-byte output.
specs consolidation
reference/ → specs/ across ALL 12 repos. specs are contracts, not references. nox specs decomposed to match rs module structure. pattern specs prefixed with tag numbers.
bootstrap plan
three-stage: Rust → self-host → proven. Thompson trust analysis. Rs language restrictions. five checkpoints. dual-language invariant. ~40-55 sessions total.
trident nox target
WIP: NoxCompiler + vm/nox target profile (747 LOC). AST → Noun direct path (bypass TIR). five-algebras type system: two-level, Gain added, genies protocol types.
numbers
150+ commits across 15 repos. 20 subgraphs. 70K+ links. arithmetic layer: 12,773 LOC, 554 tests. compiler: 57K LOC.