Research ledger

The canonical scientific record behind the book, rendered directly from the repository's ledger files — the book cites it, it does not duplicate it. Every identifier (CGT-DEF, -THM, -PROP, -OBS, -NEG, -OPEN, …) has a stable anchor.

• Results ledger RESULTS.md
• Definitions DEFINITIONS.md
• Hypotheses HYPOTHESES.md
• Counterexamples and rejected hypotheses COUNTEREXAMPLES.md
• Open problems OPEN_PROBLEMS.md
• Experiments EXPERIMENTS.md
• Provenance PROVENANCE.md
• Literature review LITERATURE_REVIEW.md
• Decision log DECISION_LOG.md
• Research charter RESEARCH_CHARTER.md
• Publication audit PUBLICATION_AUDIT.md
• Experimental summary (generated) experiments/results/SUMMARY.md