THALis: formal setup and technical summary

write out latent dynamics → EEG observation → readout assumptions. where does the actual code fit into this, and what would make the model inapplicable?

archived documents (5cb035f): m1_reservoir_formal.tex and technical_summary.md, initially in src/proof/, with a compiled PDF. The framework models cortical dynamics using a reservoir/dynamical-systems formulation.

reading order: define the latent state and dynamics; specify the EEG observation map; state the assumptions required for the intended readout; then connect those assumptions to the implemented features and outputs. Avoid treating a model analogy as a measured identification of the biological system.

archived code references: 5cb035f.

• review questions: which quantities are observable, which parameters are fitted, and which are assumed? What would refute the model or make a theorem inapplicable to the recorded data? Separate a theorem under assumptions from an empirical demonstration that the assumptions hold.

• artifact status: formal-writing milestone. The log records creation of a mathematical document, not independent verification of every result. The later expanded theory documents and review notes should retain their own version provenance.

Takens embedding theorem

Homebrew LaTeX installation error