Files

2.2 KiB

docs/working/architecture/

Living system-design documentation: physics engine, HAL, heartbeat, pipelining, word-ACL, adaptive systems, getting-started, and dated design/finding notes for individual VM subsystems. This is the working-tier source material that docs/formal/scraps/architecture/ is generated from.

  • 03-architecture/ — Core architecture reference: OVERVIEW.md, plus adaptive-systems/, hal/, heartbeat-system/, physics-engine/, pipelining/, word-acl/ subtrees. Has its own README.md.
  • getting-started/ — New-user and developer setup guides (DEVELOPER.md, INSTALL.adoc, QUICKSTART.adoc, quick-start/). Has its own README.md.
  • architecture-internals/INIT_SYSTEM.adoc, MESSAGING.adoc.
  • build-and-tooling/BUILD_OPTIONS.adoc, DOCUMENTATION_README.adoc, INIT_TOOLS.adoc.
  • doxygen/DOXYGEN_QUICK_REFERENCE.adoc, DOXYGEN_STYLE_GUIDE.adoc.
  • MAMA_FORTH_SUPERVISOR_ARCHITECTURE.adoc — Mama VM supervisor design.
  • PHYSICS_CONE_OF_INFLUENCE_DESIGN.adoc, PHYSICS_CONTROL_SYSTEM_DESIGN.adoc, PHYSICS_SIGNAL_MAP.adoc — physics-engine control-system design notes.
  • VM_FORMALIZATION_PLAN.adoc — plan for Isabelle/HOL VM formalization.
  • heartbeat_csv_export.md — heartbeat CSV export design (implementation status tracked in .claude/CLAUDE.md).
  • Dated design/finding notes for the Tripod VMs: ARTEMIS-BAM-ACCEPTANCE-*, ARTEMIS-BLOCK-PHYSICS-DESIGN-*, ARTEMIS-FREEMAP-CAPSULE-RESERVATION-GAP-*, CAPSULE-BLOCK-PERSISTENCE-BOUNDARY-FINDING-*, CAPSULE-LOADER-DEFINITIONS-ONLY-DESIGN-*, HERMES-MESSAGE-BLOCK-STORAGE-DESIGN-*, HERMES-MESSAGE-CHANNEL-PHYSICS-DESIGN-*, K-PUSH-DICTIONARY-SHADOWING-BUG-*, VM-FLEET-ATTRACTOR-DESIGN-*, VM-PHYSICS-DYNAMIC-FLEET-DESIGN-*.

See also