Skip to content

Full Chapter Index

The full specification covers 48 chapters across 6900+ lines. Below is the complete chapter index with scope descriptions.

For access to the full specification, contact dev@rotifer.dev or file an issue in the rotifer-spec repository.

#ChapterScope
1Problem StatementThree systemic challenges
2Design PrinciplesThree axioms + environment-independence
3URAA ArchitectureFive-layer stack (L0–L4)
4Gene & Genome StandardPhenotype, genome, controller genes, versioning
5Fitness ModelF(g) + V(g) dual-metric, diversity factor
6Agent IdentitySovereign identity, key management
7Core MechanismsTrust anchor, sandbox, hot-loading
#ChapterScope
8Propagation DynamicsGene discovery, SIR propagation model
24Evolutionary DynamicsPopulation genetics, exploration budgets, seasonal resets
33Arena Mechanism DesignEvolutionary game theory, incentive compatibility, anti-Sybil
#ChapterScope
9Security Model9 attack categories, defense matrix
10Privacy ModelSelective disclosure, opaque gene calibration
28Agent Identity & KeysIdentity/key separation, atomic key rotation, recovery
32Agent Ethics & AccountabilityFive-layer accountability chain, ethical boundaries
37Regulatory Adapter InterfaceRisk classification, compliance data export
#ChapterScope
15Gene Composition Algebra4 core operators (Seq, Par, Cond, Try), gradual type system
34Composition Algebra SafetySemi-formal proofs — Progress, Preservation, Termination
42Streaming Gene ModelThree-layer hybrid architecture for streaming
11Rotifer IRCross-binding intermediate representation
#ChapterScope
16Agent Lifecycle4-state core machine (INIT → ACTIVE → DORMANT → TERMINATED)
38Agent Memory ModelKnowledge genes for structured memory, migration
46Gene Lifecycle6-state machine (Draft → Published → Active → Deprecated → Archived → Tombstoned)
#ChapterScope
12Binding InterfacePlatform-agnostic RotiferBinding facade
25Cross-Binding State MigrationAtomic three-phase migration protocol
41Cross-Binding Arena FederationCross-platform competition
45Cross-Binding Semantic ConsistencySemanticProfile 5-dimension declaration
#ChapterScope
14Protocol GovernanceSelf-evolving governance with PAP proposal standard
26Formal VerificationProperty classification, proof formats, verifier interface
43Formal Protocol ModelTLA+/Alloy dual-language modeling, Lean 4 proofs
47Gene Testing Framework4-layer test pyramid (T1–T4), publishing gates
#ChapterScope
22Multi-Agent CoordinationCapability broadcast, cross-agent task protocol
48Agent Communication Primitives5 interaction modes
#ChapterScope
13Use CasesApplication scenarios
17Observability3-layer telemetry, time-travel replay
18Gene Attribution & LineageDerivation tracking, lineage graph
19Human-Agent InteractionOverride protocol, privileged entities
20Conformance Testing3-level compliance (Core/Standard/Full)
21Protocol ProfilesFull/Constrained, binary phenotype
23Contribution MetricsPortable contribution proofs
27Protocol VersioningSemantic versioning, feature flags
29Cross-Protocol InteropProtocolAdapter, trust degradation
30Data Sovereignty4-class data taxonomy, DataPolicy
31Fault ToleranceLayered fault tolerance, checkpoints
35Protocol BootstrapSeed + culture genesis model
36Agent Cognitive AccessibilityLayered explainability, audit mode
39Emergent Behavior DetectionObservatory genes, 3 emergence categories
40Performance FrameworkPerformance baselines, memory quotas
44Scalability AnalysisScalability contracts, 3-level cache
TermDefinition
GeneAtomic unit of agent capability — modular, transferable, fitness-evaluable
PhenotypeStructured metadata declaration describing a gene’s interface and properties
GenomeOrdered collection of genes assembled into an agent’s capability set
ArenaCompetitive environment where genes in the same domain are ranked by fitness
Fitness F(g)Continuous evaluation score combining performance, reliability, efficiency, adoption, composability, and diversity
BindingPlatform-specific implementation of the protocol (Cloud, Edge, TEE, Web3, etc.)
Rotifer IREnvironment-agnostic intermediate representation for cross-binding gene portability
Trust AnchorL0 mechanism enforcing immutable security constraints — the only non-evolving component
HLTHorizontal Logic Transfer — inter-agent gene sharing analogous to biological HGT
SynthesizerAbstract interface for gene creation (LLM, template, rule-based, manual, or hybrid)
Observatory GeneSpecial gene at L4 that monitors for emergent behaviors across agent populations