From 1988fb9a2ee643ac461cac3f5c2db8bd8178f527 Mon Sep 17 00:00:00 2001 From: Claude Date: Wed, 1 Jul 2026 13:34:37 +0000 Subject: [PATCH 1/2] =?UTF-8?q?docs:=20convert=20README.md=20=E2=86=92=20R?= =?UTF-8?q?EADME.adoc=20(estate=20.adoc-default=20policy)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Per the estate docs standard, README is .adoc by default; only boj-server and the profile repo are the .md exceptions. julia-professional-registry is neither, so README.md was a prior-AI md-ification error. Converted to AsciiDoc and removed the .md (no duplicate formats). - Faithful conversion of Overview / Usage / the 37-package table / License. - Native AsciiDoc image badges (dropped the malformed green-web badge). - License section states MPL-2.0 (code) + CC-BY-SA-4.0 (docs), matching LICENSE and LICENSES/. - Title set to the canonical registry name (JuliaProfessionalRegistry). Render-validated with asciidoctor (--failure-level=WARN → 0 warnings; 37-package table intact). No V-lang/PMPL token; README.adoc at repo root. --- README.adoc | 89 +++++++++++++++++++++++++++++++++++++++++++++++++++++ README.md | 79 ----------------------------------------------- 2 files changed, 89 insertions(+), 79 deletions(-) create mode 100644 README.adoc delete mode 100644 README.md diff --git a/README.adoc b/README.adoc new file mode 100644 index 0000000..bd36c97 --- /dev/null +++ b/README.adoc @@ -0,0 +1,89 @@ +// SPDX-License-Identifier: CC-BY-SA-4.0 +// SPDX-FileCopyrightText: 2025-2026 Jonathan D.A. Jewell += 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`). diff --git a/README.md b/README.md deleted file mode 100644 index d7f6031..0000000 --- a/README.md +++ /dev/null @@ -1,79 +0,0 @@ - - -[![OpenSSF Best Practices](https://img.shields.io/badge/OpenSSF-Best_Practices-green?logo=opensourcesecurity)](https://www.bestpractices.dev/en/projects/new?repo_url=https://github.com/hyperpolymath/julia-professional-registry) -[![License: MPL-2.0](https://img.shields.io/badge/License-MPL--2.0-blue.svg)](https://www.mozilla.org/en-US/MPL/2.0/) - -# Overview - -Custom Julia package registry for all hyperpolymath Julia packages. - -# Usage - -Add the registry to your Julia installation: - -```julia -using Pkg -Pkg.Registry.add(RegistrySpec(url="https://github.com/hyperpolymath/julia-professional-registry")) -``` - -Then install packages as usual: - -```julia -pkg> add ZeroProb -pkg> add Axiom -pkg> add SMTLib -``` - -# Packages - -| 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 - -This project is licensed under the Mozilla Public License, v. 2.0. See -the `LICENSE` file for details. - -SPDX-License-Identifier: CC-BY-SA-4.0 From 3af669f1456b05cca77263166efbfc567b0d373d Mon Sep 17 00:00:00 2001 From: Claude Date: Wed, 1 Jul 2026 19:59:27 +0000 Subject: [PATCH 2/2] fix(idris2): use -- not // for comments so the test suite typechecks MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Ground-truthed with a locally-built idris2 0.7.0: `idris2 --build julia-professional-registry-tests.ipkg` failed with "Couldn't parse declaration" at ValidateTest.idr:2. Cause: line 2 of all three test modules (Main.idr, Test/Spec.idr, ValidateTest.idr) used a C/Zig-style `// Owner: ...` comment, but Idris2 comments are `--`. A prior header sweep applied the wrong comment syntax to the Idris2 files. Fixed `//` → `--` on those lines. Verified: the suite now builds cleanly (idris2 --build exit 0; all 3 modules typecheck + the executable compiles). Companion ground-truth (no change needed): Axiom's axiom-abi.ipkg and julianiser's julianiser-abi.ipkg both already typecheck — their .idr were sound, just never checked in CI (G05 / G34: the fix there is to ADD an idris2 --build gate, tracked separately). --- tests/idris2/Main.idr | 2 +- tests/idris2/Test/Spec.idr | 2 +- tests/idris2/ValidateTest.idr | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/tests/idris2/Main.idr b/tests/idris2/Main.idr index b851b8a..c590b71 100644 --- a/tests/idris2/Main.idr +++ b/tests/idris2/Main.idr @@ -1,5 +1,5 @@ -- SPDX-License-Identifier: MPL-2.0 -// Owner: Jonathan D.A. Jewell +-- Owner: Jonathan D.A. Jewell -- Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) module Main diff --git a/tests/idris2/Test/Spec.idr b/tests/idris2/Test/Spec.idr index 8c48bdf..bab98e4 100644 --- a/tests/idris2/Test/Spec.idr +++ b/tests/idris2/Test/Spec.idr @@ -1,5 +1,5 @@ -- SPDX-License-Identifier: MPL-2.0 -// Owner: Jonathan D.A. Jewell +-- Owner: Jonathan D.A. Jewell -- Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) -- ||| Minimal Idris2 test harness for the Gossamer ABI test suite. diff --git a/tests/idris2/ValidateTest.idr b/tests/idris2/ValidateTest.idr index caf0370..7e2a451 100644 --- a/tests/idris2/ValidateTest.idr +++ b/tests/idris2/ValidateTest.idr @@ -1,5 +1,5 @@ -- SPDX-License-Identifier: MPL-2.0 -// Owner: Jonathan D.A. Jewell +-- Owner: Jonathan D.A. Jewell -- Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) -- -- Port of tests/validate.test.ts to Idris2, estate-rollout port 4/11.