cyber specs
Cyber owns integration contracts spanning soft3 components: network product
behavior, money, participation modes and neuron-facing operations. Component
repositories own algorithms, encodings and supported implementation profiles.
Cyb architecture defines the named robot,
attached neuron subjects and durable progs. specs/domain-ladder adapts those
definitions to nodes, shards, services and token books. Local execution,
authenticated endpoint acceptance and verified network finality have separate
contracts and evidence.
ownership
| home |
owns |
| neuron |
Subject model, prog execution, continuations, resources and recovery |
| cyb / soma |
Robot composition, explicit attachments, custody integration, cognition, sigma/sense/log interfaces |
| cybergraph / bbg / lens |
Graph/history, durable acceptance, transactions and supported openings |
| foculus / tru |
Ordering, structural sync, finality clocks and graph computation |
| tok |
Coin/Card semantics, PLUMB operations and conservation |
| zheng / nox |
Selected proof and execution machinery |
| cyber/specs |
Cross-component network and product requirements |
Constants belong in foculus parameters, value operations in tok, and
join details in structural sync. latency targets is explanatory
background; a target latency alone establishes no security guarantee.
documents
| document |
status |
contract |
| specs/domain-ladder |
accepted |
Subject/prog and graph-domain responsibilities; former cell roles |
| specs/cli |
draft with implemented baseline |
Commands, output, lifecycle and explicit migration boundaries |
| specs/worker |
draft |
Cyber/Joy jobs, proof binding, cancellation and acceptance |
| specs/node-product |
implementation |
Composition, local supported profile and remaining network gates |
| specs/releases |
implementation |
Shared soft3 qualification, draft candidates and exact dependency inventories |
| specs/cyb-node |
implementation |
Launcher configuration, live capability checks and signed-native client connection |
| specs/money-loop |
draft |
Balance, send/receive, multi-payee reward, events and certainty grades |
| specs/node-modes |
draft |
Full, partial and light state/validation/availability/finality duties |
| specs/light-money |
draft |
Folded-tip trust, openings and money on thin devices |
| specs/component-ownership |
draft |
Implementation boundaries, dependency direction and change control |
Draft network requirements describe required behavior when that profile ships.
Current source evidence is indexed in audit and the
neuron convergence implementation.
A linked library or passing local test does not certify deployed consensus.
scope
These contracts cover the native cyber money/finality profile, light clients,
multi-payee rewards and clocks A (transfer finality), B (attribution settlement)
and C (history trust). Identity attachments also preserve foreign domain/network
references, whose monetary rules and finality remain with their own profiles.
Attaching such a subject cannot silently convert its address or balance into
native cyber state.
Algorithmic tri-kernel math, PLUMB field encodings, UI layouts and interplanetary
parameter tables remain with their component/domain owners.
reading order
- Cyb architecture and specs/domain-ladder.
- specs/component-ownership and specs/node-product.
- specs/node-modes for the profile being implemented.
- specs/money-loop and specs/light-money for money-grade behavior.
- Component specifications for exact codecs, proofs, bounds and recovery.
implementation map
| boundary |
source owner |
| Native ID / bounded contexts |
neuron/id, neuron/model |
| Durable prog runtime / composition |
neuron/engine, neuron/node; soma task adapters |
| Named attachments / custody / native outbox |
cyb/core/src/robot/ |
| Local graph / public history |
cyb/core/src/graph_session.rs over cybergraph/BBG |
| Money proofs, local notes and settlement |
cyb/core/src/money.rs, private_notes.rs |
| Money notification projection |
cyb/core/src/sense.rs |
| Tip / clock C and finality evidence |
foculus/src/tip.rs, finality_evidence.rs |
| Pay proof |
foculus/src/pay_proof.rs |
| Native signed adapter |
soft3/crate/src/node/ |
| Product executable |
cyber/src/main.rs |
| Native client |
true-cyber/src/ |
| Robot commands |
cy neuron, cy task, cy notes; local money development commands |
The development cy fund/balance/send/events/sense/finalize path exercises
local money composition. Its local finalize operation alone cannot upgrade an
endpoint observation into distributed finality. Artifact/profile conformance
requires the applicable network gates.
discover all concepts
Homonyms
soft3/radio/specs
specs
cyberia/cyberia-my/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…
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…
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/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/foculus/specs
specs
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…
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,…
cyb/evy/specs
specs
cy/sigma/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,…
warriors/joy/specs
specs
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…
cyb/seer/specs
seer specs the contracts of seer, the miner of the mint. two pages: the mining loop and its boundary, and the first method that runs it. | spec | defines | status | |---|---|---| | [interface.md](/cyb/seer/specs/interface) | scope (existing→existing, no new files), inputs from tru and the…
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/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/conformance/specs
conformance specification | field | value | |----------|-----------------| | version | 0.2 | | status | implemented — stack snapshot in soft3 | | authors | mastercyb | | date | October 2026 | canonical encoding every `Conformant` type defines exactly one byte sequence as its canonical encoding.…
warriors/erga/specs
erga — specification What the application must do, and the invariants it may not break. The [docs](/warriors/erga/docs) explain how it does it. 1. purpose Mine Autolykos v2 on Apple Silicon and pay the proceeds to a wallet the user controls, with one visible action and no configuration required. 2.…
soft3/mir/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/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…
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/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/honeycrisp/rane/specs
specs
cyb/prysm/molecules/specs
specs
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/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/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/prysm/atoms/specs
specs
cy/chroma/sigma/specs
specs
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/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/prysm/system/specs
specs
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.…
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/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…