chore(build): convert Makefiles to Justfiles estate-wide (standards repo)

Enforces the standards CLAUDE.md rule #7 ("No Makefiles — use
Mustfile/justfile instead") across the remaining standards-repo
corners:

- `a2ml/docs/paper/` — replace Makefile with Justfile (pdflatex
  twice + clean/view targets).
- `k9-svc/` — delete Makefile, fold its `install` / `install-system`
  / `uninstall` / `uninstall-system` / `check` targets into the
  existing Justfile so no capability is lost.
- `k9-svc/pandoc/` — delete Makefile; add PROJECT_NAME/OWNER/AUTHOR
  metadata vars to the Justfile.
- `k9-svc/tools/` — replace Makefile with Justfile (build / install /
  release targets for `k9-init` / `k9-validate` / `k9-sign`).
- `a2ml/pandoc/` — delete duplicate lowercase `justfile`; canonical
  `Justfile` (uppercase) is already tracked.
- `rhodium-standard-repositories/examples/rhodium-minimal/` —
  rename `justfile` → `Justfile` to match estate casing.

No behaviour change: every Makefile target has a Justfile equivalent.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

Author: hyperpolymath

a2ml/docs/paper/Justfile

@@ -0,0 +1,16 @@
+set shell := ["bash", "-euo", "pipefail", "-c"]
+
+default: pdf
+
+pdf:
+    pdflatex a2ml-arxiv.tex
+    pdflatex a2ml-arxiv.tex
+    @echo "PDF generated: a2ml-arxiv.pdf"
+
+all: pdf
+
+clean:
+    rm -f *.aux *.log *.out *.pdf *.bbl *.blg
+
+view: pdf
+    xdg-open a2ml-arxiv.pdf 2>/dev/null || open a2ml-arxiv.pdf

a2ml/docs/paper/Makefile

@@ -32,6 +32,9 @@ check-deps:
     @command -v file >/dev/null 2>&1 && echo "  ✓ file: available" || echo "  ○ file: not installed"
     @echo "K9: Dependency check complete."
 
+# Compatibility alias from previous Makefile workflow
+check: check-deps
+
 # Sync .machine_readable metadata into 6scm mirrors
 sync-6scm:
     @mkdir -p .machine_readable/6scm
@@ -88,6 +91,46 @@ verify-mime:
 setup-mime: install-mime install-magic
     @echo "K9: Full MIME setup complete."
 
+# Install K9 user tooling and schemas (Makefile parity)
+install:
+    @prefix="${PREFIX:-$HOME/.local}"; \
+    bindir="$$prefix/bin"; \
+    sharedir="$$prefix/share/k9"; \
+    mimedir="$$prefix/share/mime/packages"; \
+    echo "K9: Installing to $$prefix..."; \
+    mkdir -p "$$bindir" "$$sharedir" "$$sharedir/examples" "$$sharedir/assets" "$$mimedir"; \
+    install -m 755 must "$$bindir/k9-must"; \
+    install -m 755 sign.sh "$$bindir/k9-sign"; \
+    install -m 644 Justfile "$$sharedir/Justfile"; \
+    install -m 644 pedigree.ncl register.ncl leash.ncl "$$sharedir/"; \
+    install -m 644 examples/*.k9 "$$sharedir/examples/" 2>/dev/null || true; \
+    install -m 644 examples/*.k9.ncl "$$sharedir/examples/" 2>/dev/null || true; \
+    install -m 644 assets/*.svg "$$sharedir/assets/" 2>/dev/null || true; \
+    install -m 644 mime/k9.xml "$$mimedir/"; \
+    update-mime-database "$$prefix/share/mime" 2>/dev/null || true; \
+    install -m 644 README.adoc SPEC.adoc GUIDE.adoc LICENSE "$$sharedir/" 2>/dev/null || true; \
+    printf '#!/bin/sh\nexec just --justfile %s/share/k9/Justfile "$$@"\n' "$$prefix" > "$$bindir/k9"; \
+    chmod 755 "$$bindir/k9"; \
+    echo "K9: Installation complete."
+
+install-system:
+    @PREFIX=/usr/local just install
+
+uninstall:
+    @prefix="${PREFIX:-$HOME/.local}"; \
+    bindir="$$prefix/bin"; \
+    sharedir="$$prefix/share/k9"; \
+    mimedir="$$prefix/share/mime/packages"; \
+    echo "K9: Uninstalling from $$prefix..."; \
+    rm -f "$$bindir/k9" "$$bindir/k9-must" "$$bindir/k9-sign"; \
+    rm -rf "$$sharedir"; \
+    rm -f "$$mimedir/k9.xml"; \
+    update-mime-database "$$prefix/share/mime" 2>/dev/null || true; \
+    echo "K9: Uninstallation complete."
+
+uninstall-system:
+    @PREFIX=/usr/local just uninstall
+
 # ─────────────────────────────────────────────────────────────
 # Validation (The Brain)
 # ─────────────────────────────────────────────────────────────

a2ml/pandoc/justfile

@@ -20,6 +20,12 @@ import? "contractile.just"
 
 # Project metadata — customize these
 project := "{{PROJECT_NAME}}"
+PROJECT_NAME := "pandoc-k9"
+OWNER := "hyperpolymath"
+AUTHOR := "hyperpolymath"
+AUTHOR_EMAIL := "maintainers@hyperpolymath.org"
+CURRENT_YEAR := "2026"
+PLACEHOLDER := "PLACEHOLDER"
 version := "0.1.0"
 tier := "infrastructure"  # 1 | 2 | infrastructure
 

k9-svc/Justfile

@@ -0,0 +1,46 @@
+# SPDX-License-Identifier: PMPL-1.0-or-later
+# Justfile for K9 tools
+
+set shell := ["bash", "-euo", "pipefail", "-c"]
+
+default:
+    @just --list --unsorted
+
+all: build
+
+build: build-k9-init build-k9-validate build-k9-sign
+    @echo "All K9 tools built successfully"
+
+build-k9-init:
+    @echo "Building k9-init..."
+    cd src/k9-init && cargo build --release
+
+build-k9-validate:
+    @echo "Building k9-validate..."
+    cd src/k9-validate && cargo build --release
+
+build-k9-sign:
+    @echo "Building k9-sign..."
+    cd src/k9-sign && cargo build --release
+
+install: install-k9-init install-k9-validate install-k9-sign
+    @echo "All K9 tools installed"
+
+install-k9-init: build-k9-init
+    sudo cp src/k9-init/target/release/k9-init /usr/local/bin/
+
+install-k9-validate: build-k9-validate
+    sudo cp src/k9-validate/target/release/k9-validate /usr/local/bin/
+
+install-k9-sign: build-k9-sign
+    sudo cp src/k9-sign/target/release/k9-sign /usr/local/bin/
+
+test:
+    cd src/k9-init && cargo test
+    cd src/k9-validate && cargo test
+    cd src/k9-sign && cargo test
+
+clean:
+    cd src/k9-init && cargo clean
+    cd src/k9-validate && cargo clean
+    cd src/k9-sign && cargo clean