All notable changes to this project will be documented in this file.
The format is based on Keep a Changelog and this project adheres to Semantic Versioning.
converge-perturbcrate: four fault operators (ei_scale,spike_jitter,gain,prune) on a uniform severity axis, five invariants checked against an unperturbed baseline, and a sweep that reports the severity at first violationconverge perturbcommand with--out,--steps,--bisectand--operatorsdocs/perturbation.mdexamples/envelope.cv, a network with sustained activity in both layers for fault sweeps- Public
elaborateandruninconverge-sim, so a pass can perturb a network between them - Per-layer spike counts bucketed into 16 windows, and a non-finite membrane counter
- Voltage as a unit kind (
V,mV,uV) with the volt as the canonical membrane unit - Golden tests pinning CVIR output byte for byte
- LIF update applied the leak to charge arriving in the same step, so a unit input could never
reach a unit threshold.
examples/poisson.cvsimulated to zero spikes - Zero-delay synapses were delivered
queue_lensteps late instead of one, andqueue_lendepends on the longest delay anywhere in the network. Delays now floor at one step - Off-grid delays were a hard error, which made
NormalandUniformdelay distributions unusable and leftexamples/hello.cvunsimulatable. They round to the nearest step and the coercion is reported in the summary v_thread its unit and discarded it, so1.0 Vand1.0 mVwere the same thresholdtau_mbeing a time andwbeing well formed were unchecked in the front end- Unknown
neuronandconnectbody keys were silently ignored - The RNG stored the seed as its state, so the default
seed 0produced exactly 0.0 as its first draw. Replaced with SplitMix64 and per-site streams - Box-Muller could take
ln(0), putting an infinity into a weight or a delay - A run whose step exceeds
tau_mis refused instead of flipping the membrane sign each step
- Simulator spike counts moved once, from the LIF ordering and RNG fixes above, and are now pinned by tests
SimSummarygainedwindows,nonfiniteanddelay_quantization. CVIR is unchanged
- Converge Rust workspace with
converge-langandconverge-cli - Lexer and parser for a small Converge subset
- Basic semantic validation for neurons layers and connections
converge checkandconverge astdeveloper commandsconverge cvircanonical JSON IR emitter- Example programs in
examples/