fix(license): absolute-zero — 3 stale PMPL-1.0-or-later body declarations → MPL-2.0 (#92)

## Summary

Owner-approved licence cleanup. absolute-zero is sole-owner →
**MPL-2.0**, and its SPDX *headers* are already correct (`.adoc`/`.md` →
CC-BY-SA-4.0, code/`.well-known` → MPL-2.0). But **3 body declarations**
still named the banned `PMPL-1.0-or-later`, contradicting both the
headers and the repo's own `CLAUDE.md` policy (*"MPL-2.0 only — never
PMPL-1.0 / PMPL-1.0-or-later"*):

- `.well-known/ai.txt` — `License:` field
- `.well-known/humans.txt` — `Standards:` field
- `absolute-zero-abi.ipkg` — `license =` field

(+ updated `PROOF-STATUS.adoc`'s flag note to reflect the `.ipkg` fix.)

## Deliberately NOT touched — the per-file check mattered
The grep matched **13** files; **10 are legitimate references** a blind
sweep would have corrupted:
- `CLAUDE.md`'s banned-licence **policy table** (`PMPL → MPL-2.0`)
- `Glossary.md`: *"PMPL — the **former** project licence; current is
**MPL-2.0**"*
- `CHANGELOG.md` / `AUDIT.adoc` / `docs/wiki/Audit-Trail.md` — immutable
**history**
- `ROADMAP.adoc` planning items + `docs/archive/*` (one of which
literally contains the old `sed -i 's/PMPL.../MPL-2.0/'` sweep command)

Per-file, per your approval — not a bulk sweep.

🤖 Generated with [Claude Code](https://claude.com/claude-code)

https://claude.ai/code/session_019awZjBD1qx61tvmEuEKNpn

---
_Generated by [Claude
Code](https://claude.ai/code/session_019awZjBD1qx61tvmEuEKNpn)_

Co-authored-by: Claude <noreply@anthropic.com>

Author: hyperpolymath

.well-known/ai.txt

@@ -10,5 +10,5 @@ Roadmap: /ROADMAP.adoc
 Allow: training-with-attribution
 Allow: documentation-summarisation
 Disallow: closed-source-redistribution
-License: PMPL-1.0-or-later
+License: MPL-2.0
 Contact: developer@joshuajewell.dev

.well-known/humans.txt

@@ -11,5 +11,5 @@ Contributors: see git log + docs/MAINTAINERS.adoc
 
 /* SITE */
 Last update: 2026-05-25
-Standards: PMPL-1.0-or-later, RSR (Rhodium Standard Repository) compliant
+Standards: MPL-2.0, RSR (Rhodium Standard Repository) compliant
 Components: Coq, Lean 4, Z3, Agda, Isabelle, Mizar, Idris2, ReScript, Rust

PROOF-STATUS.adoc

@@ -49,8 +49,8 @@ repo build) covers `common` + `malbolge`; the full set builds with the per-area
 `Layout.idr`/`Foreign.idr` `--check` individually but `Types.idr`/`Proofs/DivMod.idr`
 report module-name/file-path mismatches. This is the same template-scaffold issue
 as `typell`; fixing it is a package-restructuring task (align module names ↔ paths ↔
-`sourcedir`), deferred. *Also flagged: the `.ipkg` SPDX is `PMPL-1.0-or-later`,
-which is a licence-policy item for the owner (sole-owner repos use MPL-2.0).*
+`sourcedir`), deferred. *(The `.ipkg` `license` field — previously
+`PMPL-1.0-or-later` — has been corrected to `MPL-2.0` per the sole-owner policy.)*
 
 == Lean — NOT verified here (requires Mathlib)
 

absolute-zero-abi.ipkg

@@ -3,7 +3,7 @@ package absolute-zero-abi
 version = 0.1.0
 
 authors = "Jonathan D. A. Jewell"
-license = "PMPL-1.0-or-later"
+license = "MPL-2.0"
 
 opts = "--ignore-missing-ipkg"