Systematic Verification and Validation of the LANA Agent-Based Spiking Neural Network Model

Spiking neural networks can exhibit complex emergent dynamics, but the credibility of spatially explicit agent-based implementations depends on systematic verification and validation (V&V). This study introduces LANA (Local Adaptive Neural Agents), an agent-based spiking neural network in which neurons, propagating signals, directed synapses, and a diffusive environmental field are represented as distinct interacting components. We present a five-level V&V framework spanning operator-level tests, single-neuron mechanisms, propagation behavior, network-level dynamics, and sensitivity/robustness analysis. Across 13 predefined tests and approximately 2000 simulation runs, the model satisfied all prespecified pass criteria: synaptic delays reproduced the expected propagation law exactly, environmental decay and diffusion matched analytical expectations, threshold and refractory mechanisms behaved as predicted, inhibition suppressed firing monotonically, and environmental coupling induced a transition toward higher variability and oscillatory-like activity. Matched-seed comparisons further showed that explicit signal transport and environmental feedback substantially amplify activity relative to a neuron-only baseline while leaving synaptic delay propagation unchanged. Additional regime and lesion experiments demonstrated distinct resting, hyperexcitable, and focal-lesion states, with the lesion condition producing an acute decline followed by only partial recovery. Together, these results provide a transparent V&V baseline for LANA and illustrate how agent-based spiking models can be tested and interpreted across multiple scales.