Registry-readiness: decouple unregistered dep, remove fabricated metadata, relicense MPL-2.0, fix real defects (#18)

* cleanup(manifest): remove 9 fabricated weakdeps+extensions, drop AcceleratorGate dep

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

* refactor(backends): vendor AcceleratorGate selection logic; drop external dep

Vendor the 7 symbols Axiom.jl consumes from the unregistered
hyperpolymath/AcceleratorGate.jl (select_backend, fits_on_device,
estimate_cost, DeviceCapabilities, device_capabilities, PlatformInfo,
detect_platform) plus their transitive helpers into a self-contained
internal module src/vendored/AcceleratorGateVendored.jl.

Real implementations copied verbatim from upstream; original MPL-2.0
SPDX header and copyright preserved. Decouples Axiom.jl registration
from the registry-readiness of an unregistered dependency.

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

* chore: gitignore Manifest.toml + zig cache (registry hygiene)

* docs: honest README+prior-art, verified EXPLAINME, de-LLM package face

- README.adoc: rewrite with honest purpose paragraph, a minimal example
  verified by running it (output pasted verbatim), real install steps, a
  Status-and-limitations section, and a Prior Art section comparing to
  Flux.jl/Lux.jl/CUDA.jl/AMDGPU.jl/Metal.jl/KernelAbstractions.jl/
  Enzyme.jl/Zygote.jl. Removed marketing fluff and the broken
  generate_certificate snippet.
- EXPLAINME.adoc: re-verified claim-by-claim against running code.
  Downgraded @prove (returns unknown, not proven), flagged
  generate_certificate as broken (VerificationResult.mode FieldError),
  corrected Project.toml deps (4 weakdeps not 13, no AcceleratorGate),
  corrected test counts (~542 pass / 100 errored, not 283), removed
  unverifiable cross-promotion table, fixed ext/ count (4 not 'GPU + 9').
- Removed 0-AI-MANIFEST.a2ml, llm-warmup-dev.md, llm-warmup-user.md
  (LLM-scaffolding, contained false status metadata). dogfood-gate CI
  warning for missing .a2ml is non-blocking.
- CONTRIBUTING.md: drop AI-manifest reference and dual-track framing,
  point at EXPLAINME.adoc; fix SPDX header to MPL-2.0.

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

* fix(core): real corrective defects (size(t,d), sum(t;dims), cert mode)

- Tensor: add Base.size(::Tensor,::Integer) + Base.size(::DynamicTensor,
  ::Integer) — Tensor is not an AbstractArray so size(y,1) had no method;
  this was 100 erroring tests in 'Dense layer preserves batch size'.
- Tensor: Base.sum(::Tensor; dims) (scalar when dims unset) — fixes
  sum(t,dims=2) MethodError in the documented usage/Softmax path.
- certificates: generate_certificate referenced result.mode but
  VerificationResult has no such field (FieldError, broke the shipped
  example). Replace with a verification_mode::VerificationMode=STANDARD
  kwarg — non-lossy, callers can pass the real mode.

Surgical root-cause fixes; existing property_test.jl is the regression.

* license: relicense Axiom.jl to MPL-2.0 throughout (OSI-approved; registry-required)

Owner decision. SPDX headers on 217 files PMPL-1.0-or-later -> MPL-2.0;
LICENSE rebuilt as Mozilla Public License 2.0 text; removed
LICENSES/PMPL-1.0-or-later.txt; updated prose/data refs (README, NOTICE,
RSR_OUTLINE, .well-known, .machine_readable, flake.nix, guix.scm) and the
model_metadata default license string; added REUSE.toml (MPL-2.0
aggregate). Project.toml already declared MPL-2.0 — now consistent.
PMPL is not OSI-approved; MPL-2.0 is, satisfying the registry licensing
requirement (goerz review point). Package loads clean post-change.

* docs: honest registry-readiness assessment (blunt, no spin)

* cleanup: remove orphaned src/integrations/huggingface.jl + stale JSON3 dep

huggingface.jl was never include()d (only interop.jl is) — unreachable
dead code, and JSON3's sole consumer. Aqua flagged JSON3 as a stale
dependency. Removed both: file + JSON3 from [deps]/[compat]. No
reachable code referenced the HF symbols. (git history preserves the
file if the HF-import feature is wired in deliberately later.)

* docs: registry-readiness — Aqua stale-deps now clean (HF orphan + JSON3 removed)

---------

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

Author: hyperpolymath

.gitattributes

@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # RSR-compliant .gitattributes
 
 * text=auto eol=lf

.github/CODEOWNERS

@@ -1,2 +1,2 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 * @hyperpolymath

.github/FUNDING.yml

@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # Funding platforms for hyperpolymath projects
 # See: https://docs.github.com/en/repositories/managing-your-repositorys-settings-and-features/customizing-your-repository/displaying-a-sponsor-button-in-your-repository
 

.github/dependabot.yml

@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 version: 2
 updates:
   - package-ecosystem: "cargo"

.github/workflows/boj-build.yml

@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 name: BoJ Server Build Trigger
 on:
   push:

.github/workflows/casket-pages.yml

@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 name: GitHub Pages
 
 on:

.github/workflows/ci.yml

@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # SPDX-FileCopyrightText: 2025 Axiom.jl Contributors
 
 name: CI

.github/workflows/codeql.yml

@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 name: CodeQL Security Analysis
 
 on:

.github/workflows/dependabot-automerge.yml

@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 #
 # dependabot-automerge.yml — enable GitHub's native auto-merge on
 # Dependabot pull requests that match a declared severity / ecosystem

.github/workflows/dogfood-gate.yml

@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
 #
 # dogfood-gate.yml — Hyperpolymath Dogfooding Quality Gate