|
1 | | -;;; ============================================================ |
2 | | -;;; ECOSYSTEM.a2ml — echo-types relationships across the |
3 | | -;;; hyperpolymath repository constellation |
4 | | -;;; ============================================================ |
5 | | -;;; |
6 | | -;;; Format: ecosystem-a2ml (S-expression, SRFI-30 conventions) |
7 | | -;;; Schema reference: |
8 | | -;;; github.com/hyperpolymath/standards/blob/main/ecosystem-a2ml/spec/abnf/ecosystem.abnf |
9 | | -;;; Sibling reference (cached pattern): |
10 | | -;;; github.com/hyperpolymath/standards/blob/main/playbook-a2ml/spec/PLAYBOOK-FORMAT-SPEC.adoc |
11 | | -;;; |
12 | | -;;; Purpose: record cross-repo dependencies and conventions so a future |
13 | | -;;; session understands echo-types' position in the constellation |
14 | | -;;; without re-deriving it. |
15 | | -;;; |
16 | | -;;; SPDX-License-Identifier: MPL-2.0 |
17 | | -;;; SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell |
18 | | - |
19 | | -(define-module (echo-types ecosystem) |
20 | | - #:export (constellation-membership |
21 | | - schema-dependencies |
22 | | - sibling-projects |
23 | | - cross-repo-conventions |
24 | | - integrity-checks)) |
25 | | - |
26 | | -;;; ============================================================ |
27 | | -;;; Constellation membership |
28 | | -;;; ============================================================ |
29 | | - |
30 | | -(define constellation-membership |
31 | | - '((primary-constellation . governance) |
32 | | - (constellation-rationale |
33 | | - . "echo-types is a formal-verification library but its docs are governed by RSR 2026 / 6SCM Architecture, placing it under the governance constellation for operational purposes.") |
34 | | - (other-constellations-touched |
35 | | - . ((languages . "Imports from agda-stdlib; conceptual proximity to formal-methods work in nextgen-languages.") |
36 | | - (research . "Theoretical artefact; downstream consumer of HoTT and category-theoretic concepts."))))) |
37 | | - |
38 | | -;;; ============================================================ |
39 | | -;;; Schema dependencies (other hyperpolymath repos echo-types relies on) |
40 | | -;;; ============================================================ |
41 | | - |
42 | | -(define schema-dependencies |
43 | | - '(((repo . "github.com/hyperpolymath/standards") |
44 | | - (subpath . "a2ml/SPEC-v1.0.adoc") |
45 | | - (consumes-as . "a2ml surface markup spec (Djot-like)") |
46 | | - (consumed-by . "documentation files (.adoc)") |
47 | | - (status . current)) |
48 | | - |
49 | | - ((repo . "github.com/hyperpolymath/standards") |
50 | | - (subpath . "meta-a2ml/spec/abnf/meta.abnf") |
51 | | - (consumes-as . "ABNF metalanguage governing all six *-a2ml types") |
52 | | - (consumed-by . "META.scm, STATE.scm, ECOSYSTEM.scm, AGENTIC.scm, NEUROSYM.scm, PLAYBOOK.scm in this audit-output/") |
53 | | - (status . current)) |
54 | | - |
55 | | - ((repo . "github.com/hyperpolymath/standards") |
56 | | - (subpath . "playbook-a2ml/spec/PLAYBOOK-FORMAT-SPEC.adoc") |
57 | | - (consumes-as . "Concrete shape exemplar for module-form S-expression files") |
58 | | - (consumed-by . "All .scm files in audit-output/") |
59 | | - (status . current)) |
60 | | - |
61 | | - ((repo . "github.com/hyperpolymath/standards") |
62 | | - (subpath . "k9-svc/") |
63 | | - (consumes-as . "Service definition format (not yet inspected)") |
64 | | - (consumed-by . "n/a yet — would govern any k9 service descriptors") |
65 | | - (status . unread) |
66 | | - (note . "URL was provided but not yet fetched; if k9-svc descriptors are added to echo-types in future, this entry must be filled in.")) |
67 | | - |
68 | | - ((repo . "github.com/hyperpolymath/rhodium-standard-repositories") |
69 | | - (subpath . "RSR-2026/") |
70 | | - (consumes-as . "Repository compliance standard") |
71 | | - (consumed-by . "echo-types repository structure conventions (e.g., docs/ layout, MAINTAINERS.md, CODE_OF_CONDUCT.md)") |
72 | | - (status . current)))) |
73 | | - |
74 | | -;;; ============================================================ |
75 | | -;;; Sibling projects (same constellation or close conceptual relation) |
76 | | -;;; ============================================================ |
77 | | - |
78 | | -(define sibling-projects |
79 | | - '(((name . "echidna") |
80 | | - (relation . "Conceptual sibling — neurosymbolic theorem-proving platform; echo-types is a single-domain formal verification library, echidna is the broader prover ecosystem.") |
81 | | - (cross-references . none-yet)) |
82 | | - |
83 | | - ((name . "affinescript") |
84 | | - (relation . "Languages-constellation sibling — affine-typed WASM language. Conceptually downstream of echo-types' formal-loss reasoning if cross-disciplinary tie-ins are pursued.") |
85 | | - (cross-references . none-yet)) |
86 | | - |
87 | | - ((name . "my-lang") |
88 | | - (relation . "Conceptual neighbour — Me/Solo/Duet/Ensemble dialect family. Could consume echo-types-style fiber reasoning in a future axis but no current dependency.") |
89 | | - (cross-references . none-yet)) |
90 | | - |
91 | | - ((name . "manifesto") |
92 | | - (relation . "Constellation overview document referencing all hyperpolymath projects. echo-types is one of 275+ governed by RSR 2026.") |
93 | | - (cross-references . "Listed under Research / Formal Verification.")))) |
94 | | - |
95 | | -;;; ============================================================ |
96 | | -;;; Cross-repo conventions echo-types follows |
97 | | -;;; ============================================================ |
98 | | - |
99 | | -(define cross-repo-conventions |
100 | | - '(((convention . "Forge workflow: GitHub canonical, GitLab and Codeberg as mirrors") |
101 | | - (source . "Standing decision sd-003 in STATE.scm") |
102 | | - (artefacts . (".github/workflows/mirror.yml" "MIRROR_SETUP.adoc"))) |
103 | | - |
104 | | - ((convention . "License: MPL-2.0 for code and docs") |
105 | | - (source . "META.scm SPDX header pattern; constellation default") |
106 | | - (artefacts . ("LICENSE-PMPL-1.0.txt" ; if present |
107 | | - "SPDX headers in all .scm files"))) |
108 | | - |
109 | | - ((convention . "Cross-platform builds: Linux primary, Windows secondary") |
110 | | - (source . "Standing decision sd-004 in STATE.scm") |
111 | | - (artefacts . (".gitattributes"))) |
112 | | - |
113 | | - ((convention . "Documentation: AsciiDoc, not Markdown") |
114 | | - (source . "User preference (avoid Python-adjacent ecosystems where possible; AsciiDoc preferred over Markdown for technical docs)") |
115 | | - (note . "README.md is the exception per GitHub default-render convention; everything in docs/ is AsciiDoc.")) |
116 | | - |
117 | | - ((convention . "Configuration: Nickel/CUE/Dhall preferred over YAML") |
118 | | - (source . "User standing preference") |
119 | | - (note . "echo-types currently uses YAML only for GitHub Actions (no choice); no other config files.")) |
120 | | - |
121 | | - ((convention . "Containers: Podman > Docker") |
122 | | - (source . "User preference") |
123 | | - (note . "echo-types has no current container needs; if added in v0.2+, must be Podman-first.")) |
124 | | - |
125 | | - ((convention . "justfile over Makefile, AsciiDoc over Markdown") |
126 | | - (source . "User standing preference") |
127 | | - (note . "echo-types has neither justfile nor Makefile currently; uses agda --compile direct invocation. If a build-driver is added, justfile.")))) |
128 | | - |
129 | | -;;; ============================================================ |
130 | | -;;; Integrity checks (cross-file invariants ECOSYSTEM enforces) |
131 | | -;;; ============================================================ |
132 | | - |
133 | | -(define integrity-checks |
134 | | - '(((check . "STATE.scm and META.scm referenced ADRs must exist") |
135 | | - (assertion . "Every standing-decision sd-NNN in STATE.scm should have a corresponding adr-NNN in META.scm or a clear rationale embedded.") |
136 | | - (current-status . pass) |
137 | | - (note . "sd-001..sd-006 in STATE.scm align with adr-001..adr-006 in META.scm.")) |
138 | | - |
139 | | - ((check . "Forbidden rebrandings list is non-empty post-EI-2") |
140 | | - (assertion . "STATE.forbidden-rebrandings must contain at least the six EI-2-related entries.") |
141 | | - (current-status . pass)) |
142 | | - |
143 | | - ((check . "do-not-redo register coverage") |
144 | | - (assertion . "Every artefact in artefacts.agda-characteristic-lane must appear either in cascade-applied or in do-not-redo, or be flagged as 'still active work'.") |
145 | | - (current-status . pass-by-inspection) |
146 | | - (note . "All EI-2 phase files are referenced in either artefacts list or via do-not-redo entries.")) |
147 | | - |
148 | | - ((check . "Schema dependency completeness") |
149 | | - (assertion . "All a2ml-family files must reference their schema (meta-a2ml ABNF) in their header comment.") |
150 | | - (current-status . pass) |
151 | | - (note . "All .scm files in audit-output/ reference meta-a2ml ABNF in header comments.")) |
152 | | - |
153 | | - ((check . "Reading order alignment") |
154 | | - (assertion . "INDEX.adoc reading order must be consistent across STATE.scm header, STATE.a2ml header, and INDEX.adoc itself.") |
155 | | - (current-status . pass) |
156 | | - (verification . "Cross-checked at last update.")))) |
157 | | - |
158 | | -;;; ============================================================ |
159 | | -;;; END OF ECOSYSTEM |
160 | | -;;; ============================================================ |
| 1 | +# SPDX-License-Identifier: MPL-2.0 |
| 2 | +# SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell |
| 3 | +# |
| 4 | +# ECOSYSTEM.a2ml — echo-types relationships across the hyperpolymath |
| 5 | +# repository constellation |
| 6 | +# |
| 7 | +# Format: TOML-A2ML (estate convention; `#` comments, [section], key = "value") |
| 8 | +# |
| 9 | +# Provenance: converted 2026-06-12 from the Guile S-expression body |
| 10 | +# `(define-module (echo-types ecosystem) ...)` that previously occupied |
| 11 | +# this file. Faithful translation; stale references to the .scm-era file |
| 12 | +# names and the pre-estate layout were updated at conversion time (noted |
| 13 | +# inline). The original S-expr schema reference was: |
| 14 | +# https://github.com/hyperpolymath/standards/blob/main/ecosystem-a2ml/spec/abnf/ecosystem.abnf |
| 15 | +# |
| 16 | +# Purpose: record cross-repo dependencies and conventions so a future |
| 17 | +# session understands echo-types' position in the constellation without |
| 18 | +# re-deriving it. |
| 19 | + |
| 20 | +[metadata] |
| 21 | +project = "echo-types" |
| 22 | +last-updated = "2026-06-12" |
| 23 | + |
| 24 | +# ============================================================ |
| 25 | +# Constellation membership |
| 26 | +# ============================================================ |
| 27 | + |
| 28 | +[constellation-membership] |
| 29 | +primary-constellation = "governance" |
| 30 | +constellation-rationale = """ |
| 31 | +echo-types is a formal-verification library but its docs are governed by |
| 32 | +RSR 2026 / 6SCM Architecture, placing it under the governance |
| 33 | +constellation for operational purposes. |
| 34 | +""" |
| 35 | + |
| 36 | +[constellation-membership.other-constellations-touched] |
| 37 | +languages = "Imports from agda-stdlib; conceptual proximity to formal-methods work in nextgen-languages." |
| 38 | +research = "Theoretical artefact; downstream consumer of HoTT and category-theoretic concepts." |
| 39 | + |
| 40 | +# ============================================================ |
| 41 | +# Schema dependencies (other hyperpolymath repos echo-types relies on) |
| 42 | +# ============================================================ |
| 43 | + |
| 44 | +[[schema-dependencies]] |
| 45 | +repo = "https://github.com/hyperpolymath/standards" |
| 46 | +subpath = "a2ml/SPEC-v1.0.adoc" |
| 47 | +consumes-as = "a2ml surface markup spec (Djot-like)" |
| 48 | +consumed-by = "documentation files (.adoc)" |
| 49 | +status = "current" |
| 50 | + |
| 51 | +[[schema-dependencies]] |
| 52 | +repo = "https://github.com/hyperpolymath/standards" |
| 53 | +subpath = "meta-a2ml/spec/abnf/meta.abnf" |
| 54 | +consumes-as = "ABNF metalanguage that governed the S-expr-era *-a2ml types" |
| 55 | +consumed-by = ".machine_readable/6a2/{META,STATE,ECOSYSTEM,AGENTIC,NEUROSYM,PLAYBOOK}.a2ml (S-expr bodies until 2026-06-12; now TOML-A2ML per estate convention)" |
| 56 | +status = "historical" # refreshed 2026-06-12: the 6a2 bodies are TOML-A2ML now |
| 57 | + |
| 58 | +[[schema-dependencies]] |
| 59 | +repo = "https://github.com/hyperpolymath/standards" |
| 60 | +subpath = "playbook-a2ml/spec/PLAYBOOK-FORMAT-SPEC.adoc" |
| 61 | +consumes-as = "Concrete shape exemplar for the S-expr-era module-form files" |
| 62 | +consumed-by = "6a2 files (S-expr era); retained as historical shape reference" |
| 63 | +status = "historical" # refreshed 2026-06-12, same reason as above |
| 64 | + |
| 65 | +[[schema-dependencies]] |
| 66 | +repo = "https://github.com/hyperpolymath/k9-svc" |
| 67 | +subpath = "SPEC.adoc" |
| 68 | +consumes-as = "K9 self-validating component format (Nickel, leash security model)" |
| 69 | +consumed-by = ".machine_readable/self-validating/ (template set + examples, added at the 2026-06-12 governance checkpoint)" |
| 70 | +status = "current" |
| 71 | +# Pre-2026-06-12 this entry was status = "unread" with a note that no k9 |
| 72 | +# descriptors existed in echo-types yet; the self-validating/ set now |
| 73 | +# exists, so the entry is filled in as the original note required. |
| 74 | + |
| 75 | +[[schema-dependencies]] |
| 76 | +repo = "https://github.com/hyperpolymath/rhodium-standard-repositories" |
| 77 | +subpath = "RSR-2026/" |
| 78 | +consumes-as = "Repository compliance standard" |
| 79 | +consumed-by = "echo-types repository structure conventions (e.g., docs/ layout, MAINTAINERS.adoc, CODE_OF_CONDUCT.md, GOVERNANCE.adoc)" |
| 80 | +status = "current" |
| 81 | + |
| 82 | +# ============================================================ |
| 83 | +# Sibling projects (same constellation or close conceptual relation) |
| 84 | +# ============================================================ |
| 85 | + |
| 86 | +[[sibling-projects]] |
| 87 | +name = "echidna" |
| 88 | +relation = "Conceptual sibling — neurosymbolic theorem-proving platform; echo-types is a single-domain formal verification library, echidna is the broader prover ecosystem." |
| 89 | +cross-references = "none-yet" |
| 90 | + |
| 91 | +[[sibling-projects]] |
| 92 | +name = "affinescript" |
| 93 | +relation = "Languages-constellation sibling — affine-typed WASM language. Conceptually downstream of echo-types' formal-loss reasoning if cross-disciplinary tie-ins are pursued." |
| 94 | +cross-references = "none-yet" |
| 95 | + |
| 96 | +[[sibling-projects]] |
| 97 | +name = "my-lang" |
| 98 | +relation = "Conceptual neighbour — Me/Solo/Duet/Ensemble dialect family. Could consume echo-types-style fiber reasoning in a future axis but no current dependency." |
| 99 | +cross-references = "none-yet" |
| 100 | + |
| 101 | +[[sibling-projects]] |
| 102 | +name = "manifesto" |
| 103 | +relation = "Constellation overview document referencing all hyperpolymath projects. echo-types is one of 275+ governed by RSR 2026." |
| 104 | +cross-references = "Listed under Research / Formal Verification." |
| 105 | + |
| 106 | +# Cross-repo bridge consumers recorded since the original S-expr entry |
| 107 | +# (see docs/echo-types/cross-repo-bridge-status.md for the live ledger): |
| 108 | +# ephapax (L3 NARROW bridge, PRs #161-#163), EchoTypes.jl (finite-domain |
| 109 | +# Julia companion), eclexia (thermodynamic consumer bridge, PR #180), |
| 110 | +# Valence Shell / Ochránce (exploratory downstream consumer, PR #177), |
| 111 | +# arghda-core (extracted to standalone repo, PR #160). |
| 112 | + |
| 113 | +# ============================================================ |
| 114 | +# Cross-repo conventions echo-types follows |
| 115 | +# ============================================================ |
| 116 | + |
| 117 | +[[cross-repo-conventions]] |
| 118 | +convention = "Forge workflow: GitHub canonical, GitLab and Codeberg as mirrors" |
| 119 | +source = "Standing decision sd-003 in STATE.a2ml" |
| 120 | +artefacts = [".github/workflows/mirror.yml", "MIRROR_SETUP.adoc"] |
| 121 | + |
| 122 | +[[cross-repo-conventions]] |
| 123 | +convention = "License: MPL-2.0 for code; CC-BY-4.0 for prose docs" |
| 124 | +source = "SPDX header pattern (PR #150 normalization); constellation default; LICENSE + LICENSE-docs at root" |
| 125 | +artefacts = ["LICENSE", "LICENSE-docs", "SPDX headers in all machine-readable files"] |
| 126 | +# Refreshed 2026-06-12: the S-expr entry referenced a conditional |
| 127 | +# LICENSE-PMPL-1.0.txt; the repo migrated to MPL-2.0 (PR #115) with |
| 128 | +# prose under CC-BY-4.0 (PR #150). |
| 129 | + |
| 130 | +[[cross-repo-conventions]] |
| 131 | +convention = "Cross-platform builds: Linux primary, Windows secondary" |
| 132 | +source = "Standing decision sd-004 in STATE.a2ml" |
| 133 | +artefacts = [".gitattributes"] |
| 134 | + |
| 135 | +[[cross-repo-conventions]] |
| 136 | +convention = "Documentation: AsciiDoc, not Markdown" |
| 137 | +source = "User preference (avoid Python-adjacent ecosystems where possible; AsciiDoc preferred over Markdown for technical docs)" |
| 138 | +note = "README.md is the exception per GitHub default-render convention; it is the canonical README after the 2026-06-12 dedup (readme.adoc and EXPLAINME.adoc are pointers). docs/ is predominantly AsciiDoc." |
| 139 | + |
| 140 | +[[cross-repo-conventions]] |
| 141 | +convention = "Configuration: Nickel/CUE/Dhall preferred over YAML" |
| 142 | +source = "User standing preference" |
| 143 | +note = "echo-types uses YAML only for GitHub Actions (no choice); the self-validating/ k9 set is Nickel." |
| 144 | + |
| 145 | +[[cross-repo-conventions]] |
| 146 | +convention = "Containers: Podman > Docker" |
| 147 | +source = "User preference" |
| 148 | +note = "Containerfile + stapeln.toml at root are Podman-first; no Dockerfile." |
| 149 | + |
| 150 | +[[cross-repo-conventions]] |
| 151 | +convention = "justfile over Makefile" |
| 152 | +source = "User standing preference" |
| 153 | +note = "Root Justfile is the primary command runner (build-echo / build-tests / per-bridge test recipes); .machine_readable/contractiles/Justfile is the estate-supplied governance copy." |
| 154 | +# Refreshed 2026-06-12: the S-expr entry predated the root Justfile and |
| 155 | +# claimed neither justfile nor Makefile existed; contradicted by reality. |
| 156 | + |
| 157 | +# ============================================================ |
| 158 | +# Integrity checks (cross-file invariants ECOSYSTEM enforces) |
| 159 | +# ============================================================ |
| 160 | + |
| 161 | +[[integrity-checks]] |
| 162 | +check = "STATE and META referenced ADRs must exist" |
| 163 | +assertion = "Every standing-decision sd-NNN in STATE.a2ml should have a corresponding adr-NNN in META.a2ml or a clear rationale embedded." |
| 164 | +current-status = "pass" |
| 165 | +note = "sd-001..sd-006 in STATE.a2ml align with adr-001..adr-006 in META.a2ml (adr-007..adr-011 extend beyond the sd list with their own rationale)." |
| 166 | + |
| 167 | +[[integrity-checks]] |
| 168 | +check = "Forbidden rebrandings list is non-empty post-EI-2" |
| 169 | +assertion = "STATE forbidden-rebrandings must contain at least the six EI-2-related entries." |
| 170 | +current-status = "pass" |
| 171 | + |
| 172 | +[[integrity-checks]] |
| 173 | +check = "do-not-redo register coverage" |
| 174 | +assertion = "Every artefact in artefacts.agda-characteristic-lane must appear either in cascade-applied or in do-not-redo, or be flagged as 'still active work'." |
| 175 | +current-status = "pass-by-inspection" |
| 176 | +note = "All EI-2 phase files are referenced in either artefacts list or via do-not-redo entries." |
| 177 | + |
| 178 | +[[integrity-checks]] |
| 179 | +check = "Schema dependency completeness" |
| 180 | +assertion = "All 6a2 files must carry their format + provenance reference in their header comment." |
| 181 | +current-status = "pass" |
| 182 | +note = "All six 6a2 .a2ml files carry TOML-A2ML format + S-expr-conversion provenance headers (2026-06-12)." |
| 183 | + |
| 184 | +[[integrity-checks]] |
| 185 | +check = "Reading order alignment" |
| 186 | +assertion = "INDEX.adoc reading order must be consistent with the 6a2 headers and INDEX.adoc itself." |
| 187 | +current-status = "pass" |
| 188 | +verification = "Cross-checked at last update." |
| 189 | + |
| 190 | +# ============================================================ |
| 191 | +# END OF ECOSYSTEM |
| 192 | +# ============================================================ |
0 commit comments