From f9aa7167e08d18f3d82eca8a5ada5d02b541f596 Mon Sep 17 00:00:00 2001 From: "Jonathan D.A. Jewell" <6759885+hyperpolymath@users.noreply.github.com> Date: Mon, 14 Sep 2026 22:14:05 +0100 Subject: [PATCH 1/4] Remove links and prose for the two homeless repos (R-3) pandoc-a2ml and tree-sitter-a2ml are gone -- both 404 by exit code -- and neither has an in-tree home. Before removing anything, two candidate successors were checked by CONTENT rather than by name: - metadata-grammar: 156-path tree, zero tree-sitter/pandoc machinery (no grammar.js, parser.c, scanner.*, queries/, corpus/, or .lua). - plasma-parser-writer: reads like a pandoc reader/writer successor from its name alone, but is an OCaml/Rust governance engine; every a2ml hit in it is the estate-standard .machine_readable boilerplate every repo carries. Neither is the successor, so the ruling's fallback applies: remove, do not redirect. Redirecting on the strength of a name match would have written new dead-ended links while faithfully following the census. The monorepo has no pandoc/ or tree-sitter/ directory and no in-tree grammar or Lua filter machinery anywhere, so these are genuinely homeless. Unlinking alone would have been a no-op on the worst cases, so the prose goes with the link: - showcase/content/integrations.adoc opens "This is not a roadmap -- these tools exist today", then gave two #Live#-badged integrations pointing at repositories that do not exist. Both sections are removed. - The LuaRocks #Live# section told users to run `luarocks install pandoc-a2ml`. That rock 404s and the hyperpolymath LuaRocks namespace does not exist at all, so the command could never have worked. Removed. - getting-started.adoc carried an "Install pandoc-a2ml" tutorial whose first step was `git clone` of a 404. Removed; unlinking would have left the instruction just as broken. - specification.adoc described the format as "implemented in the pandoc-a2ml toolchain"; it now points at the reference implementations in this repo. - rs/EXPLAINME.adoc told readers to use pandoc-a2ml for format conversion. Ecosystem list entries and table cells naming the dead repos are dropped, keeping the live siblings on the same lines. NOT touched, deliberately: - Every pandoc-k9 reference, including a #Live# "K9 Validators" section. pandoc-k9 is ALSO dead (404), but K9 is under a standing hands-off order, so it needs its own decision rather than being swept up here. - showcase/output/*.html -- generated, no in-tree generator. - ex/a2ml_ex-0.1.0/** -- vendored published hex release. - Bare-name (non-URL) references in showcase/EXPLAINME.adoc and scripts/init-submodules.sh, which the URL-based census could not see. Co-Authored-By: Claude Opus 5 Claude-Session: https://claude.ai/code/session_01HfgwLCdKNd5iZVo6VTiSim --- deno/README.adoc | 2 - ex/EXPLAINME.adoc | 1 - ex/README.adoc | 2 - haskell/EXPLAINME.adoc | 2 +- haskell/README.adoc | 2 - rs/EXPLAINME.adoc | 5 +-- rs/README.adoc | 2 - showcase/content/getting-started.adoc | 20 --------- showcase/content/index.adoc | 6 --- showcase/content/integrations.adoc | 59 --------------------------- showcase/content/specification.adoc | 5 ++- 11 files changed, 6 insertions(+), 100 deletions(-) diff --git a/deno/README.adoc b/deno/README.adoc index 601af65..83f8bb4 100644 --- a/deno/README.adoc +++ b/deno/README.adoc @@ -101,8 +101,6 @@ implementation implementation * https://github.com/hyperpolymath/deed-ecosystem/tree/main/gleam[gleam/] — Gleam implementation -* https://github.com/hyperpolymath/tree-sitter-a2ml[tree-sitter-a2ml] — -Tree-sitter grammar * https://github.com/hyperpolymath/deed-ecosystem/tree/main/members/tooling/vscode-a2ml[members/tooling/vscode-a2ml/] — VS Code extension diff --git a/ex/EXPLAINME.adoc b/ex/EXPLAINME.adoc index e8827bc..c8a424a 100644 --- a/ex/EXPLAINME.adoc +++ b/ex/EXPLAINME.adoc @@ -31,7 +31,6 @@ The `A2ML.Types.TrustLevel` enum in `lib/a2ml/types.ex` defines a four-tier hier a2ml_ex is part of the A2ML ecosystem, which includes: * link:https://github.com/hyperpolymath/deed-ecosystem/tree/main/deno[deno/] — Deno/AffineScript implementation (primary) -* link:https://github.com/hyperpolymath/tree-sitter-a2ml[tree-sitter-a2ml] — Tree-sitter grammar for syntax highlighting * link:https://github.com/hyperpolymath/deed-ecosystem/tree/main/haskell[haskell/] — Haskell implementation * link:https://github.com/hyperpolymath/standards[standards] — A2ML spec (K9 service specification) diff --git a/ex/README.adoc b/ex/README.adoc index 067939a..a513954 100644 --- a/ex/README.adoc +++ b/ex/README.adoc @@ -146,8 +146,6 @@ implementation implementation * https://github.com/hyperpolymath/deed-ecosystem/tree/main/gleam[gleam/] — Gleam implementation -* https://github.com/hyperpolymath/tree-sitter-a2ml[tree-sitter-a2ml] — -Tree-sitter grammar * https://github.com/hyperpolymath/deed-ecosystem/tree/main/members/tooling/vscode-a2ml[members/tooling/vscode-a2ml/] — VS Code extension diff --git a/haskell/EXPLAINME.adoc b/haskell/EXPLAINME.adoc index 4a24ebb..982db91 100644 --- a/haskell/EXPLAINME.adoc +++ b/haskell/EXPLAINME.adoc @@ -155,7 +155,7 @@ scaffolding for a future integration milestone. |=== | Technology | Also Used In -| **A2ML format** | https://github.com/hyperpolymath/deed-ecosystem/tree/main/rs[rs/] (Rust binding), https://github.com/hyperpolymath/pandoc-a2ml[pandoc-a2ml] (Lua Pandoc reader), https://github.com/hyperpolymath/tree-sitter-a2ml[tree-sitter-a2ml] (grammar) +| **A2ML format** | https://github.com/hyperpolymath/deed-ecosystem/tree/main/rs[rs/] (Rust binding) | **Haskell / GHC + cabal** | https://github.com/hyperpolymath/nextgen-languages[nextgen-languages] (Scaffoldia CLI, AffineScript compiler), https://github.com/hyperpolymath/hypatia[hypatia] (rule modules) diff --git a/haskell/README.adoc b/haskell/README.adoc index 47a07e1..3dac883 100644 --- a/haskell/README.adoc +++ b/haskell/README.adoc @@ -52,8 +52,6 @@ cabal test * https://github.com/hyperpolymath/deed-ecosystem/tree/main/rs[rs/] — Rust implementation -* https://github.com/hyperpolymath/pandoc-a2ml[pandoc-a2ml] — Pandoc Lua -reader/writer == License diff --git a/rs/EXPLAINME.adoc b/rs/EXPLAINME.adoc index e9d05df..09e13d6 100644 --- a/rs/EXPLAINME.adoc +++ b/rs/EXPLAINME.adoc @@ -30,8 +30,7 @@ into a `Vec`. The renderer in `src/renderer.rs` serialises the same handle nested block structures beyond one level of block-quote recursion. Multi-line directives (as used in the Haskell variant with `@name: ... @end` blocks) are not yet supported; directives here are single-line `@name value` -pairs only. No HTML or PDF output is built in — use `pandoc-a2ml` (the Lua -reader in `hyperpolymath/pandoc-a2ml`) for format conversion. +pairs only. No HTML or PDF output is built in. - Implementation: `src/parser.rs` (parse, parse_file), `src/renderer.rs` (render) - Core types: `src/types.rs` (Document, Block, Inline, Directive, Attestation, TrustLevel, Manifest) @@ -113,7 +112,7 @@ MPL-2.0 where the platform permits it. |=== | Technology | Also Used In -| **A2ML format** | https://github.com/hyperpolymath/deed-ecosystem/tree/main/haskell[haskell/] (Haskell binding), https://github.com/hyperpolymath/pandoc-a2ml[pandoc-a2ml] (Lua reader), https://github.com/hyperpolymath/tree-sitter-a2ml[tree-sitter-a2ml] (grammar) +| **A2ML format** | https://github.com/hyperpolymath/deed-ecosystem/tree/main/haskell[haskell/] (Haskell binding) | **Rust + thiserror** | https://github.com/hyperpolymath/panic-attacker[panic-attacker], https://github.com/hyperpolymath/patch-bridge[patch-bridge], https://github.com/hyperpolymath/protocol-squisher[protocol-squisher] diff --git a/rs/README.adoc b/rs/README.adoc index 702e901..cd3d5f1 100644 --- a/rs/README.adoc +++ b/rs/README.adoc @@ -57,8 +57,6 @@ Signature verification belongs in the Groove protocol stack. == Related -* https://github.com/hyperpolymath/pandoc-a2ml[pandoc-a2ml] — Pandoc -reader/writer for A2ML * https://github.com/hyperpolymath/deed-ecosystem/tree/main/haskell[haskell/] — Haskell implementation diff --git a/showcase/content/getting-started.adoc b/showcase/content/getting-started.adoc index 0d122af..e9f96ee 100644 --- a/showcase/content/getting-started.adoc +++ b/showcase/content/getting-started.adoc @@ -11,24 +11,6 @@ it, and integrating it into your project. ''''' -=== Install pandoc-a2ml - -Clone the pandoc-a2ml repository and note the path to the Lua scripts. -No compilation needed — the reader, writer, and filter are pure Lua. - -[source,bash] ----- -git clone https://github.com/hyperpolymath/pandoc-a2ml.git -cd pandoc-a2ml ----- - -The key files are: - `+a2ml-reader.lua+` — reads `+.a2ml+` files into -Pandoc’s AST - `+a2ml-writer.lua+` — writes Pandoc AST as `+.a2ml+` -output - `+a2ml-filter.lua+` — Lua filter for attestation processing - -You can either add these to your Pandoc data directory -(`+~/.local/share/pandoc/+`) or reference them by path. - === Install the VS Code Extension For syntax highlighting while editing `+.a2ml+` files: @@ -207,7 +189,5 @@ directives and fields * Browse link:examples.html[Examples] for real-world patterns * Explore link:integrations.html[Integrations] for editor and CI tooling * Check out the source repositories: -** https://github.com/hyperpolymath/pandoc-a2ml[pandoc-a2ml] ** https://github.com/hyperpolymath/deed-ecosystem/tree/main/members/tooling/vscode-a2ml[members/tooling/vscode-a2ml/] -** https://github.com/hyperpolymath/tree-sitter-a2ml[tree-sitter-a2ml] ** https://github.com/hyperpolymath/pandoc-k9[pandoc-k9] diff --git a/showcase/content/index.adoc b/showcase/content/index.adoc index fe0e8e3..45e49ef 100644 --- a/showcase/content/index.adoc +++ b/showcase/content/index.adoc @@ -63,14 +63,8 @@ multi-agent trust networks A2ML is not a paper specification. It ships with real, working tools: -* *https://pandoc.org[Pandoc]* reader, writer, filter, and template via -https://github.com/hyperpolymath/pandoc-a2ml[pandoc-a2ml] — convert A2ML -to HTML, PDF, Markdown, and 40+ other formats * *https://code.visualstudio.com[VS Code]* syntax highlighting via https://github.com/hyperpolymath/deed-ecosystem/tree/main/members/tooling/vscode-a2ml[members/tooling/vscode-a2ml/] -* *https://tree-sitter.github.io[Tree-sitter]* grammar via -https://github.com/hyperpolymath/tree-sitter-a2ml[tree-sitter-a2ml] — -works in Neovim, Helix, Zed, and GitHub * *GitHub Linguist* — language detection (submission pending) == Part of a Larger Ecosystem diff --git a/showcase/content/integrations.adoc b/showcase/content/integrations.adoc index 5ca9d84..fb7c1f4 100644 --- a/showcase/content/integrations.adoc +++ b/showcase/content/integrations.adoc @@ -5,37 +5,6 @@ ecosystems. This is not a roadmap — these tools exist today. ''''' -=== Pandoc [.badge .badge-live]#Live# - -Full Pandoc integration via -https://github.com/hyperpolymath/pandoc-a2ml[pandoc-a2ml]: custom -reader, writer, Lua filter, and HTML template. - -Convert A2ML to any of Pandoc’s 40+ output formats (HTML, PDF, DOCX, -LaTeX, Markdown, reStructuredText, EPUB, and more), or convert _from_ -any Pandoc input format into A2ML. - -[source,bash] ----- -# Read A2ML, output HTML -pandoc -f a2ml-reader.lua manifest.a2ml -o manifest.html - -# Read A2ML, output PDF -pandoc -f a2ml-reader.lua manifest.a2ml -o manifest.pdf - -# Convert Markdown to A2ML -pandoc README.md -t a2ml-writer.lua -o README.a2ml - -# Apply the A2ML filter for attestation validation -pandoc -f a2ml-reader.lua --lua-filter a2ml-filter.lua manifest.a2ml -o report.html ----- - -*Install:* Clone the repo and add the Lua scripts to your Pandoc data -directory, or reference them by path. - -*Repository:* -https://github.com/hyperpolymath/pandoc-a2ml[github.com/hyperpolymath/pandoc-a2ml] - === VS Code [.badge .badge-live]#Live# Syntax highlighting, bracket matching, and snippet support for `+.a2ml+` @@ -53,23 +22,6 @@ VSIX. *Repository:* https://github.com/hyperpolymath/deed-ecosystem/tree/main/members/tooling/vscode-a2ml[github.com/hyperpolymath/deed-ecosystem/tree/main/members/tooling/vscode-a2ml] -=== Tree-sitter [.badge .badge-live]#Live# - -A https://tree-sitter.github.io[tree-sitter] grammar for A2ML, enabling -syntax highlighting and structural queries in any editor that supports -tree-sitter. - -Works with: - *Neovim* (via nvim-treesitter) - *Helix* (built-in -tree-sitter support) - *Zed* (built-in tree-sitter support) - *GitHub* -(syntax highlighting in code views, via tree-sitter) - *Emacs* (via -tree-sitter-langs) - -The grammar parses the full A2ML syntax including nested directive -blocks, attestation fields, and inline formatting. - -*Repository:* -https://github.com/hyperpolymath/tree-sitter-a2ml[github.com/hyperpolymath/tree-sitter-a2ml] - === GitHub Linguist [.badge .badge-pending]#Pending# A pull request to add A2ML to @@ -98,17 +50,6 @@ validation. *Repository:* https://github.com/hyperpolymath/pandoc-k9[github.com/hyperpolymath/pandoc-k9] -=== LuaRocks [.badge .badge-live]#Live# - -The A2ML Pandoc components are available as a Lua library via -https://luarocks.org[LuaRocks], making it straightforward to integrate -A2ML parsing into any Lua-based toolchain. - -[source,bash] ----- -luarocks install pandoc-a2ml ----- - === Hypatia CI/CD Scanner [.badge .badge-live]#Live# https://github.com/hyperpolymath/hypatia[Hypatia] consumes A2ML diff --git a/showcase/content/specification.adoc b/showcase/content/specification.adoc index 64a562e..e1c14e2 100644 --- a/showcase/content/specification.adoc +++ b/showcase/content/specification.adoc @@ -4,8 +4,9 @@ A2ML (Attested Markup Language) is a text-based document format that combines human-readable markup with machine-verifiable attestation -blocks. This page describes the format as currently implemented in the -https://github.com/hyperpolymath/pandoc-a2ml[pandoc-a2ml] toolchain. +blocks. This page describes the format as currently implemented across +the reference implementations in +https://github.com/hyperpolymath/deed-ecosystem[deed-ecosystem]. === File Format From 3374322c608777da6c9834410e12628ddb1ca072 Mon Sep 17 00:00:00 2001 From: "Jonathan D.A. Jewell" <6759885+hyperpolymath@users.noreply.github.com> Date: Mon, 14 Sep 2026 22:20:55 +0100 Subject: [PATCH 2/4] docs(showcase): remove tutorial steps orphaned by the pandoc-a2ml removal MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Removing the "Install pandoc-a2ml" step left three consumers behind that still told a reader to run commands against files they were never told how to obtain (hyperpolymath/pandoc-a2ml is 404, and no in-tree home exists): - getting-started.adoc "Validate with Pandoc" — two `pandoc -f path/to/a2ml-reader.lua ...` invocations plus the `--lua-filter a2ml-filter.lua` variant - specification.adoc "Pandoc Integration" — "A2ML is a first-class Pandoc format" and four reader/writer command lines - the "Pandoc 3.0 or later" prerequisite, load-bearing for nothing once the above are gone, and the intro's promise of "validating it" (rs/src is a lib with no [[bin]]; there is no in-tree validator CLI to retarget at) Found because the R-3 gate grepped for repo NAMES while the real consumers of that install step were its ARTEFACTS (a2ml-reader/writer/filter.lua) — the guard asked a different question than its consumer. pandoc-k9 refs are deliberately untouched under the standing K9 hold. Co-Authored-By: Claude Opus 5 Claude-Session: https://claude.ai/code/session_01HfgwLCdKNd5iZVo6VTiSim --- showcase/content/getting-started.adoc | 28 ++------------------------- showcase/content/specification.adoc | 20 ------------------- 2 files changed, 2 insertions(+), 46 deletions(-) diff --git a/showcase/content/getting-started.adoc b/showcase/content/getting-started.adoc index e9f96ee..84e918e 100644 --- a/showcase/content/getting-started.adoc +++ b/showcase/content/getting-started.adoc @@ -1,11 +1,10 @@ == Get Started -A step-by-step guide to creating your first A2ML manifest, validating -it, and integrating it into your project. +A step-by-step guide to creating your first A2ML manifest and +integrating it into your project. === Prerequisites -* https://pandoc.org/installing.html[Pandoc] 3.0 or later * Git (for cloning the tooling) * A text editor (VS Code recommended for syntax highlighting) @@ -71,29 +70,6 @@ No AI agents currently operate on this repository. @end .... -=== Validate with Pandoc - -Check that your manifest parses correctly by converting it to HTML: - -[source,bash] ----- -pandoc -f path/to/a2ml-reader.lua 0-AI-MANIFEST.a2ml -o manifest.html ----- - -If the file is well-formed, Pandoc will produce clean HTML output. Open -`+manifest.html+` in a browser to verify the structure. - -For deeper validation using the A2ML filter (checks attestation -structure): - -[source,bash] ----- -pandoc -f path/to/a2ml-reader.lua \ - --lua-filter path/to/a2ml-filter.lua \ - 0-AI-MANIFEST.a2ml \ - -o validated.html ----- - === Add Machine-Readable Metadata For full Rhodium Standard compliance, create the `+.machine_readable/+` diff --git a/showcase/content/specification.adoc b/showcase/content/specification.adoc index e1c14e2..0ffee7e 100644 --- a/showcase/content/specification.adoc +++ b/showcase/content/specification.adoc @@ -259,23 +259,3 @@ Standard], A2ML files live in the `+.machine_readable/+` directory: The top-level `+0-AI-MANIFEST.a2ml+` serves as the entry point that all AI agents must read first. - -=== Pandoc Integration - -A2ML is a first-class Pandoc format. Convert between A2ML and any -Pandoc-supported format: - -[source,bash] ----- -# A2ML to HTML -pandoc -f a2ml-reader.lua input.a2ml -o output.html - -# A2ML to PDF (via LaTeX) -pandoc -f a2ml-reader.lua input.a2ml -o output.pdf - -# Markdown to A2ML -pandoc input.md -t a2ml-writer.lua -o output.a2ml - -# A2ML to A2ML (normalise) -pandoc -f a2ml-reader.lua input.a2ml -t a2ml-writer.lua -o normalised.a2ml ----- From 08126fc102c17ca43f06b1dbed59ea7f4ab76cc0 Mon Sep 17 00:00:00 2001 From: "Jonathan D.A. Jewell" <6759885+hyperpolymath@users.noreply.github.com> Date: Mon, 14 Sep 2026 22:31:36 +0100 Subject: [PATCH 3/4] docs(showcase): re-badge K9 Validators #Live# -> #Pending# (owner ruling R-15) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit hyperpolymath/pandoc-k9 returns 404, so a #Live# badge over it is a false claim in a document that opens "This is not a roadmap — these tools exist today". Per the owner's ruling this is a BADGE-ONLY change: the K9 Validators section, its prose and all four pandoc-k9 links are deliberately left untouched under the standing hands-off-K9 hold. Badge class matches the existing .badge-pending used by the GitHub Linguist section. Co-Authored-By: Claude Opus 5 Claude-Session: https://claude.ai/code/session_01HfgwLCdKNd5iZVo6VTiSim --- showcase/content/integrations.adoc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/showcase/content/integrations.adoc b/showcase/content/integrations.adoc index fb7c1f4..1e0ad42 100644 --- a/showcase/content/integrations.adoc +++ b/showcase/content/integrations.adoc @@ -33,7 +33,7 @@ preparation. Once merged, GitHub will: * Apply syntax highlighting using the tree-sitter grammar * Recognise `+application/vnd.a2ml+` as a registered media type -=== K9 Validators [.badge .badge-live]#Live# +=== K9 Validators [.badge .badge-pending]#Pending# https://github.com/hyperpolymath/pandoc-k9[pandoc-k9] provides contractile validation for A2ML files. K9 validators enforce structural From 2069bb79586ce9f679f2abce6fcb42310eecdca3 Mon Sep 17 00:00:00 2001 From: "Jonathan D.A. Jewell" <6759885+hyperpolymath@users.noreply.github.com> Date: Tue, 15 Sep 2026 03:15:35 +0100 Subject: [PATCH 4/4] docs: make bare owner/repo/issues refs resolvable URLs CodeRabbit flagged one instance on the gleam contributing guide; a sweep of the tree found four, all in the "Reporting issues" section of the per-language contributing guides. A bare `hyperpolymath/standards/issues` in backticks renders as literal text, not a link, so a reader cannot follow it. Reworked from CodeRabbit's suggestion rather than taking its commit: its push was unsigned, and this repo's ruleset requires signed commits. Co-Authored-By: Claude Opus 5 Claude-Session: https://claude.ai/code/session_01HfgwLCdKNd5iZVo6VTiSim --- ex/docs/contributing.adoc | 4 ++-- gleam/docs/contributing.adoc | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/ex/docs/contributing.adoc b/ex/docs/contributing.adoc index 7c03f09..2b84190 100644 --- a/ex/docs/contributing.adoc +++ b/ex/docs/contributing.adoc @@ -85,6 +85,6 @@ When you make a non-obvious design decision, write it down: == Reporting issues -* Bugs in `a2ml_ex`: file at `hyperpolymath/deed-ecosystem/issues`. +* Bugs in `a2ml_ex`: file at https://github.com/hyperpolymath/deed-ecosystem/issues. * Estate-wide concerns (policy, conventions, CI): file at - `hyperpolymath/standards/issues`. + https://github.com/hyperpolymath/standards/issues. diff --git a/gleam/docs/contributing.adoc b/gleam/docs/contributing.adoc index bcead55..4fb1f1f 100644 --- a/gleam/docs/contributing.adoc +++ b/gleam/docs/contributing.adoc @@ -85,6 +85,6 @@ When you make a non-obvious design decision, write it down: == Reporting issues -* Bugs in `a2ml_gleam`: file at `hyperpolymath/deed-ecosystem/issues`. +* Bugs in `a2ml_gleam`: file at https://github.com/hyperpolymath/deed-ecosystem/issues. * Estate-wide concerns (policy, conventions, CI): file at - `hyperpolymath/standards/issues`. + https://github.com/hyperpolymath/standards/issues.