Skip to content

ARCHITECTURE.adoc

Latest commit

 

History

History
22 lines (17 loc) · 941 Bytes

ARCHITECTURE.adoc

File metadata and controls

22 lines (17 loc) · 941 Bytes
Raw

Architecture of marches

This document describes the layout of this repository as it actually exists, per the estate Required Files gate (substance over presence).

Layout

  • .github/ — GitHub workflows, labels and repository configuration

  • .machine_readable/ — .machine_readable — repository component

  • LICENSES/ — LICENSES — repository component

  • Marches/ — Marches — repository component

  • docs/ — design notes; kcut-correspondence.adoc pairs Lean and Agda names (a table, not a link)

  • scripts/ — shell glue: fetch-siblings.sh (pinned sibling clones into _build/dependencies, git-ignored) and check-correspondence.sh

Data flow

The entry points and the CI definition under .github/workflows/ are the authoritative description of how the pieces above fit together; where a README exists at the root it narrates usage. This file intentionally names only directories that exist here.