docs+fix: README.md → README.adoc, and fix broken Idris2 test suite (// → -- comments)

README.adoc

@@ -0,0 +1,89 @@
+// SPDX-License-Identifier: CC-BY-SA-4.0
+// SPDX-FileCopyrightText: 2025-2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+= JuliaProfessionalRegistry
+:toc: macro
+:toclevels: 2
+
+image:https://img.shields.io/badge/OpenSSF-Best_Practices-green?logo=opensourcesecurity[OpenSSF Best Practices,link=https://www.bestpractices.dev/en/projects/new?repo_url=https://github.com/hyperpolymath/julia-professional-registry]
+image:https://img.shields.io/badge/License-MPL--2.0-blue.svg[License: MPL-2.0,link=https://www.mozilla.org/en-US/MPL/2.0/]
+image:https://api.thegreenwebfoundation.org/greencheckimage/github.com[Green Web Check,link=https://www.thegreenwebfoundation.org/green-web-check/?url=github.com]
+
+Custom Julia package registry for all hyperpolymath Julia packages.
+
+toc::[]
+
+== Overview
+
+`JuliaProfessionalRegistry` is a standard Julia package registry (same layout as
+`JuliaRegistries/General`) hosting the hyperpolymath estate's Julia packages.
+Downstream users add it once, then `Pkg.add` any package it lists.
+
+== Usage
+
+Add the registry to your Julia installation:
+
+[source,julia]
+----
+using Pkg
+Pkg.Registry.add(RegistrySpec(url="https://github.com/hyperpolymath/julia-professional-registry"))
+----
+
+Then install packages as usual:
+
+[source,julia]
+----
+pkg> add ZeroProb
+pkg> add Axiom
+pkg> add SMTLib
+----
+
+== Packages
+
+[cols="1,1,2",options="header"]
+|===
+| Package | Version | Description
+
+| AcceleratorGate | 0.1.0 | Unified accelerator abstraction layer
+| Axiology | 0.1.0 | Value theory and axiology modelling
+| Axiom | 1.0.0 | ML framework with formal verification
+| BowtieRisk | 0.1.0 | Bowtie risk analysis
+| Causals | 0.1.0 | Causal inference toolkit
+| Cladistics | 0.1.0 | Phylogenetic cladistic analysis
+| Cliodynamics | 0.1.0 | Mathematical modelling of historical dynamics
+| Cliometrics | 0.1.0 | Quantitative historical economics
+| EchoTypes | 0.2.0 | Echo-types runtime — companion to the nextgen-languages Echo type system
+| Exnovation | 0.1.0 | Technology phase-out analysis
+| FirmwareAudit | 0.1.0 | Firmware integrity auditing
+| HackenbushGames | 0.1.0 | Combinatorial game theory (Hackenbush)
+| HardwareResilience | 0.1.0 | Hardware fault tolerance analysis
+| Hyperpolymath | 0.1.0 | Hyperpolymath ecosystem metapackage
+| InvestigativeJournalist | 0.1.0 | Data journalism toolkit
+| JuliaForChildren | 0.1.0 | Educational Julia for young learners
+| JuliaPackageSpitter | 0.1.0 | Julia package quality auditing
+| KnotTheory | 0.1.0 | Knot theory and invariants
+| KRLAdapter | 0.1.0 | Knowledge Representation Layer adapter
+| Lithoglyph | 0.1.0 | Lithographic data processing
+| LowLevel | 0.1.0 | Low-level systems programming utilities
+| MacroPower | 0.1.0 | Advanced Julia metaprogramming
+| MinixSDK | 0.1.0 | MINIX operating system SDK
+| PolyglotFormalisms | 0.1.0 | Cross-language formal methods
+| PostDisciplinary | 0.1.0 | Post-disciplinary research tools
+| PRComms | 0.1.0 | Public relations communications analysis
+| ProvenCrypto | 0.1.0 | Formally verified cryptography
+| QuantumCircuit | 0.1.0 | Quantum circuit simulation
+| ShellIntegration | 0.1.0 | Shell integration utilities
+| SiliconCore | 0.1.0 | Silicon design and analysis
+| Skein | 0.1.0 | Skein hash function
+| SMTLib | 0.1.0 | SMT-LIB solver interface
+| SoftwareSovereign | 0.1.0 | Software sovereignty analysis
+| TradeUnionist | 0.1.0 | Labour rights data analysis
+| ViableSystems | 0.1.0 | Viable Systems Model (VSM) implementation
+| ViperPkg | 0.1.0 | Julia bindings for the `julia-the-viper` Viper language
+| ZeroProb | 0.1.0 | Zero-probability event analysis
+|===
+
+== License
+
+Code is licensed under the Mozilla Public License 2.0 (see `LICENSE` /
+`LICENSES/MPL-2.0.txt`). Documentation is licensed under CC-BY-SA-4.0
+(`LICENSES/CC-BY-SA-4.0.txt`).

tests/idris2/Main.idr

@@ -1,5 +1,5 @@
 -- SPDX-License-Identifier: MPL-2.0
-// Owner: Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+-- Owner: Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 -- Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
 
 module Main

tests/idris2/Test/Spec.idr

@@ -1,5 +1,5 @@
 -- SPDX-License-Identifier: MPL-2.0
-// Owner: Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+-- Owner: Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 -- Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
 --
 ||| Minimal Idris2 test harness for the Gossamer ABI test suite.

tests/idris2/ValidateTest.idr

@@ -1,5 +1,5 @@
 -- SPDX-License-Identifier: MPL-2.0
-// Owner: Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+-- Owner: Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 -- Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
 --
 -- Port of tests/validate.test.ts to Idris2, estate-rollout port 4/11.