From ffff04e97ab1f8748c7d0a8ca49a3bfcfe9578c9 Mon Sep 17 00:00:00 2001 From: "Jonathan D.A. Jewell" <6759885+hyperpolymath@users.noreply.github.com> Date: Sat, 19 Sep 2026 14:47:47 +0000 Subject: [PATCH] fix(docs): rebuild the mangled repository-structure tree MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit The tree block was hard-wrapped by the AsciiDoc->Markdown conversion, so it rendered as a paragraph rather than a tree, and it still listed CONTRIBUTING.md at the repository root, where the guide no longer lives. Rebuilt from the tree's own content: depth recovered from the `|` continuation bars that survived the wrap, the guide entry moved under `.github/`, `#` escapes unescaped, the last entry of each group restored to `└──`, and the block fenced so it renders as a tree. Every annotation ("Perimeter 1-2") is preserved - nothing is invented and nothing is dropped. --- .github/CONTRIBUTING.md | 44 ++++++++++++++++++++--------------------- 1 file changed, 21 insertions(+), 23 deletions(-) diff --git a/.github/CONTRIBUTING.md b/.github/CONTRIBUTING.md index 176cf97..0f036e4 100644 --- a/.github/CONTRIBUTING.md +++ b/.github/CONTRIBUTING.md @@ -22,29 +22,27 @@ just test # run the test suite ### Repository Structure - phronesis/ - ├── lib/phronesis/ # Reference implementation (Elixir/BEAM): - │ # lexer, parser, type checker, interpreter, - │ # consensus, LSP, debugger, profiler, reflexion - ├── compiler/ # Rust → WASM compiler (phronesis-ast, phronesis-wasm) - ├── spec/ # Grammar (EBNF) + formal semantics - ├── formal/ # TLA+ consensus specification - ├── academic/ # Formal proofs (Lean4 / Agda / Coq) - ├── conformance/ # Conformance test suites - ├── bench/ # Benchmarks - ├── docs/ # AsciiDoc design docs (incl. REFLEXION.adoc) - ├── examples/ # Example .phr policies - ├── test/ # ExUnit test suite - ├── editors/ # VSCode extension + grammars - ├── .machine_readable/ # A2ML metadata + contractiles - ├── .github/workflows/ # CI/CD - ├── CHANGELOG.md CODE_OF_CONDUCT.md CONTRIBUTING.md SECURITY.md - ├── GOVERNANCE.adoc MAINTAINERS.adoc README.adoc EXPLAINME.adoc - ├── LICENSE LICENSES/ # MPL-2.0 (code) + CC-BY-SA-4.0 (docs) - ├── mix.exs Justfile Mustfile - └── guix.scm - -’’’’’ +```text +phronesis/ +├── lib/phronesis/ # Reference implementation (Elixir/BEAM): +├── compiler/ # Rust → WASM compiler (phronesis-ast, phronesis-wasm) +├── spec/ # Grammar (EBNF) + formal semantics +├── formal/ # TLA+ consensus specification +├── academic/ # Formal proofs (Lean4 / Agda / Coq) +├── conformance/ # Conformance test suites +├── bench/ # Benchmarks +├── docs/ # AsciiDoc design docs (incl. REFLEXION.adoc) +├── examples/ # Example .phr policies +├── test/ # ExUnit test suite +├── editors/ # VSCode extension + grammars +├── .machine_readable/ # A2ML metadata + contractiles +├── .github/workflows/ # CI/CD +├── CHANGELOG.md CODE_OF_CONDUCT.md CONTRIBUTING.md SECURITY.md +├── GOVERNANCE.adoc MAINTAINERS.adoc README.adoc EXPLAINME.adoc +├── LICENSE LICENSES/ # MPL-2.0 (code) + CC-BY-SA-4.0 (docs) +├── mix.exs Justfile Mustfile +└── guix.scm ’’’’’ +``` ## How to Contribute