Module nagumo_sato_map 

Checked implementation of the Nagumo–Sato reduction (Aihara 1989, Eqs. 1-7).

Structs

NagumoSatoMapBatchResult

Complete state/output trajectory and final receipts for one atomic batch.

NagumoSatoMapNeuron

Source-faithful internal state and parameters of the Nagumo–Sato map.

Enums

NagumoSatoMapError

Validation failures produced by the checked source map and batch runner.

Functions

simulate_nagumo_sato_map

Run an atomically validated complete Nagumo–Sato batch.