soft3/cybergraph/specs.md

cybergraph specs

cybergraph is exactly its structure, nothing more and nothing less:

cybergraph  ←  signals  ←  cyberlinks

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 read or group the structure (axon, attention) and the query interface that reads it. deep mechanics of a field live in the repo that owns them (zheng proof construction, tru focus/impulse, tok tokens / plumb value ops, mudra identity, sync ordering); cybergraph defines the field and references them.

the structure

  • cybergraph.md — the triple $(P, N, L)$, six axioms, derived adjacency
  • signal.md — the broadcast unit a neuron commits
  • cyberlink.md — the atomic unit a signal carries
  • intent.md — an unsealed signal: declared and identity-proven, not yet sealed

signal fields

$$s = (\nu,\; \mathit{net},\; \vec\ell,\; \Delta\phi^*,\; \sigma,\; h_0,\; h_1)$$

name fields deep mechanics
subject $\nu$ identity in mudra
network $\mathit{net}$
links $\vec\ell$
impulse $\Delta\phi^*$ computed/rewarded in tru
proof $\sigma$ constructed by zheng
inception, sealing $h_0, h_1$ ordering in sync; pre-seal state in intent

cyberlink — link + box + valence

the five stored fields group into three concepts: a link (the edge), a box (the conviction), a valence (the prediction).

$$\text{cyberlink} \;=\; \text{link}(from,\,to) \;+\; \text{box}(coin,\,amount) \;+\; valence$$

name fields deep mechanics
link $from, to$ cardcard
from $from$ the source — a card (a particle is a knowledge card)
to $to$ the target — a card
box $coin, amount$ coin (token layer tok) × amount; mutator set in bbg
amount $a$ the box magnitude
coin $token$ the denomination (a coin; a card for transfers)
valence $v$ BTS / markets in tru

emergents — what appears when you read or group the structure

  • axon.md — the bundle of all cyberlinks between two particles (groups links; homoiconic, axiom A6)
  • attention.md — the focus a neuron projects onto a target (a read; query(from, to)). complete form in tru

process — what cybergraph does (mechanism)

the structure above is what cybergraph is; these four verbs are what it does. each is a static handoff to one companion — deterministic mechanism, no decisions.

verb does routes to
validate.md verify the proof σ against the root zheng
order.md place in the neuron's chain; reject equivocation sync
apply.md move each box into state bbg
expose.md answer reads over the committed graph inf, tru

validate→order→apply is the write path (inside link/seal); expose is the read (query).

the seal binding — promise to proof

a signal's life is a promise then a proof: intent.md intend(scope) commits a signed scope; the neuron runs it (nox) and proves it (zheng); seal commits the result. the commit gate enforces one rule — seal(i, s) accepted iff σ(s) ⊢ scope_hash(i). that binding makes intent and signal one transaction, and is the alignment property at the commit port. see intent.md ## completion.

what cybergraph does NOT do — orchestration is soma's

cybergraph and soma are one processor: cybergraph is the dumb half (store · events · commit-gate), soma the smart half (the runtime). the decision loop — read an intent, collect recomputed state from bbg, run it through nox, judge what is left to compute, iterate, and only then emit a signal — is dynamic control, not a static pipeline. it falls out, upward, to soma. soma calls cybergraph's four verbs and drives the fetch→execute→prove→commit cycle; it is not one of the verbs. cybergraph is fast, correct, stateless; soma is the mind that drives it. see the whitepaper.

staking — placing weight

  • staking.md — the two write paths that produce attention: will (broad, → tru) and conviction (per-link box)

query

Folder

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/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/rune/specs
rune language specification rune K140 — working spec, mutations expected see [../README.md](/neural/rune/readme) for project overview and implementation status. specification | file | what it covers | |------|----------------| | [subject.md](/neural/rune/specs/subject) | the subject noun — the…
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

Graph