# Open-source architecture studies

This directory records focused studies of external open-source systems. Each study identifies an observed mechanism, the problem it solves, what Kyna adopts or rejects, the owning Kyna seam, and a verification requirement.

- [Kani](/docs/kyna/source-kani) — compiler/verifier separation, stable IR boundaries, and RFC discipline.
- [Go architecture study](/docs/kyna/source-readme-2) — compiler, source layout, language types, documentation, tooling, runtime, and standard-library lessons.
- [Cross-compiler research](https://github.com/qentrah/Kyna/blob/main/docs/compiler-architecture-research.md) — Rust, LLVM, MLIR, Cranelift, Clang, GCC, Swift, distribution, and library decisions.

These records are evidence, not vendored designs. Kyna's adopted rules live in [architecture.md](https://github.com/qentrah/Kyna/blob/main/docs/architecture.md), module relationships live in [source-layout.md](/docs/kyna/source-source-layout), and mechanical enforcement lives in `AGENTS.md` and the repository verifier.