Documentation
NeuroLab docs
How SynapseVM works end-to-end: blocks, stacks, compose, simulate, runtime ticks, receipts, and verification — with process diagrams.
SynapseVM is software infrastructure for building, running, and proving tiny deterministic neural controllers — the reflex layer machines need when a large model is too slow, too costly, or too opaque.
ArchitectureArchitectureHow NeuroBlocks, stacks, the runtime, and receipts fit together as one pipeline from biology-inspired modules to verifiable execution.
NeuroBlocksNeuroBlocksA NeuroBlock is a versioned neural module with typed interfaces — the reusable unit you discover, lock, and place on a stack.
NeuroStacksNeuroStacksA NeuroStack is a typed graph of sensors, NeuroBlocks, control, and actuators — packaged as a portable .synapse artifact.
ComposeCompose processHow you go from an empty canvas to a validated, compiled NeuroStack package.
SimulateSimulate processRun the same locked stack in a live loop to inspect behavior before you treat a path as evidence.
RuntimeSynapseVM runtimeHow a tick advances: fixed-point dynamics, ordered updates, and why two conforming engines must agree.
ReceiptsNeuroReceiptsA receipt is structured evidence of a critical tick — enough to replay, not a warranty about the physical world.
VerifyVerify processImport a stack and receipt, replay locally, and read claims honestly — match or open, never fabricated pass.
PackagesPackages (.synapse)What a SynapseVM package contains and how digests protect identity.
QuickstartQuickstartA short path through NeuroLab from first open to a verified mindset.