The directory names follow the kebab-case style.
Repo structure
.
├── docs/ # Global documentation, philosophical and architectural design
├── flake.nix # NixOS entry point
├── justfile # Global task runner (e.g., `just boot`, `just test`)
├── nix/ # Nix modules, devshells, and packages
├── sandbox/ # Temporary files, experiments, and crash tests
├── tests/ # Global end-to-end tests for the entire ecosystem
│
├── syneth-lean/ # [STAGE 1] The Initial Seed (Bootstrapper in Lean 4)
│ ├── c-bindings/ # Mock hardware and C primitives to run the Seed
│ ├── docs/ # Bootstrapper Technical Documentation
│ ├── justfile # Lean-Specific Commands
│ ├── src/ # Lean Sources (formerly Syneth/)
│ └── tests/ # Unit Tests for Lean
│
└── syneth/ # [STAGE 2] The Self-Hosted Operating System and Compiler
├── bin/ # Final Executables (`synethc`, `syneth_daemon`)
├── c-bindings/ # The Ring-0 Hardware Layer (Linux syscalls, allocators, IO)
├── docs/ # Official Native Language Documentation
├── ide-plugin/ # Neovim/LSP extensions written in Lua or Syneth
├── justfile # Native kernel-specific commands
├── libs/ # The Core Library written in pure Syneth (.syn)
├── src/ # The compiler source code written in Syneth
└── tests/ # Unit tests