soft3/tru/docs/terms.md

terms

the vocabulary tru owns — one definition page per concept, pinning the meaning the specs and the code both rely on.

truth & focus

focus — φ*, the collective attention distribution; the tri-kernel's fixed point

attention — one neuron's projection into φ*, and the mechanism the compiled model runs on

cyberank — focus per particle, φ*(p); the canonical ranking

syntropy — the order in the graph, in bits; the quantity tru exists to grow

convergence — iteration toward a destination that iteration itself defines

staking & honesty

will — committed capacity to act: balance locked for a duration

conviction — the capital a neuron stakes on a single link

valence — the ternary epistemic field of a link, v ∈ {−1, 0, +1}

karma — the unbuyable trust multiplier κ(ν), earned only by being right before the crowd

serum — Bayesian Truth Serum: honesty as the optimal strategy

honesty — why neurons act honestly: incentive, not enforcement

axon — the bundle of all links between two particles, itself a particle

cost — the costly signal a cyberlink represents

markets & epistemics

market · inhibition · coupling — the two-dimensional epistemic price, and why markets are load-bearing

true · false · void — the attractor states of a link

two kinds of knowledge — the irreducible split the graph holds

the true-false problem · standard inference — the foundational problem of cyber inference and its naive first answer

Folder

Homonyms

terms
terms the canonical vocabulary of the soft3 stack. one name per concept, grouped by layer. companion to types (the type theory) and cybergraph/specs/model (the graph ontology). where a term has a fuller spec, the definition here is the one-line anchor. substrate — the data model the value layer…
cybics/lang/terms
| concept | cyber term | meaning | |-------------|------------------------|--------------------------------| | file | data particle | hashed content | | particle | node in graph | e.g. IPFS hash | | neuron | cryptographic agent | signs links, holds stake | | cyberlink | atomic intent |…
neural/eidos/specs/terms
terms CIC term language for eidos. every program and every proof is a term. the type checker reasons about terms; the kernel accepts or rejects them. grammar nine constructors cover all of mathematics: all variables use de Bruijn indices. index 0 refers to the innermost binder; each enclosing…

Graph