rune language specification
rune K140 — working spec, mutations expected
see ../README.md for project overview and implementation status.
specification
| file |
what it covers |
| subject.md |
the subject noun — the environment every evaluation runs against |
| grammar.md |
computation digraphs — the variant axis and the 25 digraphs |
| model.md |
the core model, molds as functions, data structures as nouns |
| execution.md |
three execution modes, eval as intrinsic, instant start |
| architecture.md |
workload split, tier mechanics, reference + jets, the kernel |
| examples.md |
worked programs in both registers |
| trident.md |
relation to trident and Rs, the proven subset, Kelvin discipline |
| decisions.md |
rejected alternatives, resolved decisions, still-open questions |
three parents
from hoon — the model
the model is correct. the surface taxes adoption. take the model, keep the original surface as the pure register alongside a familiar classic register.
| inherit |
what it gives |
| subject-oriented evaluation |
environment IS a noun — modules, state, code, all in one tree |
| fixed-arity keywords |
precedence disappears |
| symbol-only keywords |
alphabetic names are always free, no reserved words |
| tall/flat duality |
one grammar at any scale |
| cores — gates, doors, traps |
functions, objects, thunks unified as [code data] |
| molds as functions |
types are runtime values that also drive static checking |
| wet and dry gates |
generics via inlined re-typecheck, no higher kinds |
| reference + jets |
spec stays small and correct; jets are fast and verified equivalent |
| Kelvin versioning |
the spec freezes by design |
| solid-state interpreter |
event log + subject = replayable, hot-upgradable kernel |
| eval as base operation |
.* is one digraph, no special eval() form |
from the current rune — the surface
| inherit |
what it gives |
| Rust-shape syntax option |
minutes to onboard anyone with ALGOL or Rust background |
hint for async |
explicit yield/resume tied to cybergraph events |
host() for FFI |
clear boundary to WASM, wGPU, glia |
eval() ergonomic form |
syntax sugar over .* for everyday code |
| instant start |
tree construction stands in for compilation — no build phase |
| three jet categories |
pure (proven), host (practical), hint (async) |
from cybermark — the address layer
| inherit |
what it gives |
# particle, @ neuron, ~ name |
address sigils ARE values in every expression context |
/ scope, ^ root, * wildcard |
path traversal is computation traversal |
! action, . pipeline |
verbs are first-class |
| sigil-based, language-neutral |
works equally in Russian, Mandarin, English |
| frozen sigil set |
the address language commits to a fixed alphabet |
the central idea
one language with one AST, parsed from two syntactic registers. both lower to the same Nox noun. files can mix registers freely.
| register |
tag |
who writes it |
rust |
rust |
every Rust, Go, or TypeScript programmer day one |
rune |
rune |
systems programmers, dialect authors, agent kernels |
rune fmt --to=rune converts mechanically. nothing forces movement. both coexist in the codebase forever.
relation to other layers
| layer |
role |
| cybermark |
the address sigil set — addresses everywhere in rune |
| Nox |
the target — every rune AST lowers to a Nox noun |
| hoon |
the inspiration for the subject model and pure register |
| zheng |
the prover — every pure Nox trace becomes a proof |
| cyb/robot |
the canonical consumer — kernel functions in rune |
| dialects |
first-class rune constructs |
| bbg |
event log storage substrate |
| radio |
source of async hints from the network |
Homonyms
soft3/specs
specs
soft3/nox/specs
nox reference canonical specification of the nox virtual machine. this is the source of truth — when code and reference disagree, fix reference first, then propagate to code. specifications | page | scope | status | |------|-------|--------| | vm.md | overview, field, hash, algebra polymorphism,…
soft3/cybergraph/specs
cybergraph specs cybergraph is exactly its structure, nothing more and nothing less: a cybergraph is built from signals; a signal is built from cyberlinks; each has a fixed, finite set of fields. these specs define those fields — one article per field — plus the two emergents that appear when you…
soft3/bbg/specs
specs
soft3/hemera/specs
Hemera: A Permanent Hash Primitive for Planetary-Scale Collective Intelligence | field | value | |----------|--------------------------------| | version | 2.0 | | status | Decision Record | | authors | mastercyb | | date | March 2026 | Abstract Hemera is the cryptographic hash primitive for cyber,…
cyb/evy/specs
specs
cyb/wysm/specs
wysm reference canonical specification of the cyber wysm runtime. this is the source of truth — when code and reference disagree, fix reference first, then propagate to code. `wysm` is cyber's name for its wasm runtime. `wasm`/`WASM` is the WebAssembly format. `wasmi` is the upstream project this…
soft3/mir/specs
specs
neural/eidos/specs
eidos reference canonical specification of the eidos proof assistant. this is the source of truth — when code and reference disagree, fix reference first, then propagate to code. specifications | page | scope | status | |------|-------|--------| | terms.md | CIC term syntax, encoding as nox nouns,…
soft3/tru/specs
tru specs the build map for tru — the convergence vm. one pipeline, `.graph` → φ* → Δφ* → reward, specified across four layers. focusing computes φ*; compilation freezes it into a model; **economics is why any of it runs** — the proven focus shift Δφ* is what a neuron self-mints against. this index…
soft3/lens/specs
lens reference canonical specification for polynomial commitment — five lenses for five algebras. the trait three operations. commit is O(N). open produces a proof. verify checks the proof. all transparent (no trusted setup), all post-quantum. see trait for the full specification. naming convention…
soft3/foculus/specs
specs
neural/inf/specs
inf specs — what canonical specification for inf, proof language #10 of the cyber stack (Infer — Horn clauses, relation/inference). the declarative twin of rune; sibling of Rs, Trident|Tri, Bt, Ten. specs/ is the source of truth. when specs/ and rs/ (implementation) disagree, resolve in specs/…
soft3/mudra/specs
mudra reference canonical specification for seven cryptographic primitives. each module proves a property. each module has its own security assumption. they share no cryptographic code with each other. modules | module | proves | security assumption | spec |…
soft3/zheng/specs
zheng: polynomial proof system one IOP: SuperSpartan + sumcheck (CCS constraints, O(N) prover, O(log N) verifier). one folding: HyperNova (CCS-native, ~30 field ops per fold, one decider at the end). one hash: hemera (~3 calls per proof — binding, Fiat-Shamir seed, domain separation). five…
soft3/glia/import/specs
import crate specification How external model formats become canonical `.model` files. Scope `import` reads source models (GGUF, safetensors, ONNX, HF PyTorch, MLX), normalizes naming, shapes, dtypes, and config, and writes the canonical `.model` file consumed by [run/](/soft3/glia/run).…
soft3/glia/run/specs
cyb-llm runtime specification Canonical spec for the cyb-llm runtime. Defines what models we run, how we represent them, how we execute them. Every backend (wgpu, metal, cpu, ane) is verified against this spec. Code disagreeing with spec is a bug. Spec disagreeing with reality is a spec bug — fix…
soft3/strata/nebu/specs
nebu specification canonical reference for the Goldilocks prime field, its arithmetic, and its hardware. spec pages | page | defines | |------|---------| | field | prime, elements, arithmetic, properties, why Goldilocks | | ntt | Number Theoretic Transform, roots of unity, butterfly, Cooley-Tukey |…
cyb/honeycrisp/acpu/specs
acpu — API specification pure Rust driver for Apple Silicon CPU compute. direct access to every useful compute unit in M1–M4: matrix coprocessor, vector engine, numeric extensions, atomics, memory system, performance counters. zero external dependencies — only inline assembly and system calls.…
cyb/honeycrisp/aruminium/specs
aruminium — API specification pure Rust driver for Apple Metal GPU. direct objc_msgSend FFI, zero external dependencies, only macOS system frameworks. concepts | concept | what it is | |---------|-----------| | device | a Metal GPU — discovered at runtime, owns all GPU resources | | buffer |…
cyb/prysm/molecules/specs
specs
cyb/honeycrisp/rane/specs
specs
soft3/strata/trop/specs
trop specification canonical reference for tropical semiring arithmetic: the (min, +) semiring, its matrix algebra, and dual certificate verification. spec pages | page | defines | |------|---------| | [semiring](/soft3/strata/trop/specs/semiring) | tropical semiring axioms, (min, +) definition,…
cyb/prysm/atoms/specs
specs
soft3/strata/jali/specs
jali reference canonical specification for polynomial ring arithmetic R_q = F_p[x]/(x^n+1) over Goldilocks. what jali is jali (जाली — lattice/mesh) is the fifth execution algebra for cyber. polynomial ring elements are structured vectors of n Goldilocks field elements with multiplication defined by…
cyb/prysm/chroma/specs
chroma cyb's UI is a **3×3 grid**: eight fixed overlay elements ("chroma") arranged around a central renderer slot ("spacetime"). Each chroma owns a fixed screen position, a single semantic role, and a strictly typed cyberlink interface. Chromas never share state directly — every interaction…
cyb/honeycrisp/unimem/specs
unimem: Zero-Copy Memory Driver for Apple Silicon Goal Single pinned buffer visible to CPU, GPU, AMX, and ANE — zero copies between pipeline stages. The memory layer for inference on unified memory. v1 adds NVMe DMA via DEXT — full zero-copy from disk to compute. Why this exists Every inference…
soft3/strata/genies/specs
genies specification canonical reference for isogeny group action arithmetic: F_q field operations, supersingular curves, isogeny computation, and class group action. spec pages | page | defines | |------|---------| | [prime](/soft3/strata/genies/specs/prime) | CSIDH prime form, selection criteria,…
soft3/strata/kuro/specs
kuro specification canonical reference for the F₂ tower field, its arithmetic, packed operations, and hardware targets. spec pages | page | defines | |------|---------| | [field](/soft3/strata/kuro/specs/field) | tower levels, all field operations, properties, cost model vs Goldilocks | |…
cyb/prysm/system/specs
specs