THALis: theory directory and open-problem index

proof/ → theory/, plus a place for open problems. separate what needs a derivation from what needs an experiment; otherwise i just keep circling the same questions

reorganization (3fda9ec): src/proof/ becomes src/theory/; formal documents and analysis code move together. open_problems.tex/pdf and proposal.tex/pdf are added, with revisions to the formal setup.

reference structure: use the proposal for the research scope, formal setup for definitions/assumptions, open-problem document for unresolved claims, and code/results for what has actually been tested. These are complementary records, not interchangeable evidence.

version note: later commits remove or replace several proposals. A historical path/filename identifies the draft available at this point; it should not be presented as the final theory without following the revision history.

archived code references: 3fda9ec.

• review questions: which assumption is currently unsupported by data? Which proof obligation remains open? What experiment could disambiguate an observation from a preprocessing artifact? Preserve an explicit distinction between a derivation target and a result already established.

AUTO/MatCont continuation proposal