Content

Back to Gnosis

This directory holds manuscript-facing and publication-facing content served by the research surface. It is not the canonical home for proofs, ledgers, Lean modules, or TLA+ specs.

Getting Started

• What: manuscript-facing content and publication metadata connected to the Gnosis research surface.
• Why: it keeps papers, companion notes, and publication proof files near the code and proof artifacts they describe.
• How: update these files when the published narrative or companion-test explanation changes; use the formal ledgers for canonical proof claims.
• Next: read the listed manuscript or companion file, then cross-check formal claims in the root ledgers.

The canonical formal surface lives in ../FORMAL_LEDGER.md and ../THEOREM_LEDGER.md.

• ch17-arxiv-manuscript.md: Chapter 17 manuscript mirror.
• military-strategy-topology-course.md: the military-strategy-via-topology corpus course (companion to gnosis-math/Gnosis/MilitaryStrategy/).
• companion-tests-README.md: manuscript-facing companion-check notes.
• ch17-publish-proof.json: content hash and publication metadata for the Chapter 17 manuscript artifact.