chore(license): adopt MPL-2.0 (code) + CC-BY-SA-4.0 (docs), full per-file SPDX

Resolves gap-006. Replaces the confused prior state (PMPL-1.0 / Palimpsest, a
MIT OR GPL-3.0-or-later OR Palimpsest tri-license, MPL-2.0-or-later, stray
GPL/PLMP) with a clean dual license by artifact type.

- 75 documentation files (.adoc/.md): MPL-2.0 -> CC-BY-SA-4.0 (first SPDX
  header line only, so in-body examples in meta-docs are preserved).
- Code stragglers -> MPL-2.0: 3 PMPL-1.0 workflows, MPL-2.0-or-later
  (JtvExtended.lean + playground bits), and the MIT OR GPL OR Palimpsest
  tri-license on formatter.rs / repl.rs / rsr_check.rs. NOTE: those three
  were deliberately permissive -- revert if you wanted them kept tri-licensed.
- PALIMPSEST.adoc (both copies) retired; PMPL badges replaced with MPL-2.0 +
  CC-BY-SA-4.0 badges across the README files.
- LICENSING.md rewritten (it had wrongly claimed MIT + Palimpsest dual).
- Stale "MPL-2.0 fallback until PMPL" header comment lines removed (~13 files);
  META.a2ml / AGENTIC.a2ml license mentions updated. gap-006 marked resolved.

Headers verified: 190 MPL-2.0 + 77 CC-BY-SA-4.0, zero stragglers. jtv-core builds.

Wave-2 follow-ups (NOT here): populate LICENSES/ with canonical MPL-2.0 +
CC-BY-SA-4.0 texts; replace the Palimpsest-branded root LICENSE and remove
LICENSE-PALIMPSEST + playground/ffi copies (canonical legal text, not
hand-written); update rsr_check.rs license-validation logic; clear remaining
Palimpsest mentions in playground sub-project docs; add SPDX headers to ~49
header-less docs.

https://claude.ai/code/session_01BJmfoz1ZS1Pejy9LLMY742

Author: claude

.github/workflows/codeql.yml

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

.github/workflows/language-policy.yml

@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0
+# SPDX-License-Identifier: MPL-2.0
 name: Language Policy Enforcement
 
 on:

.github/workflows/scorecard.yml

@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0
+# SPDX-License-Identifier: MPL-2.0
 name: Scorecards supply-chain security
 
 on:

.machine_readable/6a2/AGENTIC.a2ml

@@ -34,7 +34,7 @@ structural-rules = [
   "no SCM files — use A2ML",
   "no state files in repo root — must be in .machine_readable/",
   "no .git in subdirs (exception: declared submodules)",
-  "no AGPL (JtV is PMPL)"
+  "no AGPL (JtV code is MPL-2.0, docs CC-BY-SA-4.0)"
 ]
 thesis-protection = [
   "Harvard separation: Data MUST NOT contain Control constructs",

.machine_readable/6a2/META.a2ml

@@ -8,7 +8,7 @@ last-updated = "2026-06-02"
 
 [project-info]
 license = "MPL-2.0"
-license-fallback = "MPL-2.0 (automatic legal fallback until PMPL formally recognised)"
+license = "MPL-2.0 (code) + CC-BY-SA-4.0 (docs)"
 author = "Jonathan D.A. Jewell (hyperpolymath)"
 author-email = "j.d.a.jewell@open.ac.uk"
 git-author-email = "6759885+hyperpolymath@users.noreply.github.com"

.machine_readable/6a2/STATE.a2ml

@@ -51,7 +51,7 @@ issues = [
   { id = "gap-003", description = "Coprocessor implementation gated on PataCL Phase 1", severity = "medium", status = "external-dependency" },
   { id = "gap-004", description = "Reversibility round-trip not guaranteed end-to-end at integration level", severity = "medium", status = "known" },
   { id = "gap-005", description = "Semantic model is Int-only: the 7 number systems are typed but stated-unproven at the value level; type_preservation mechanised only for τ=int (see ADR-0007 D6 + PROOF-CAPABILITY-MATRIX.adoc)", severity = "medium", status = "known", follow-up = "number-system-semantics work" },
-  { id = "gap-006", description = "License-identifier discrepancy: 8 files (codeql.yml, scorecard.yml, language-policy.yml, README.adoc, PALIMPSEST.adoc, playground/README.adoc, playground/PALIMPSEST.adoc, playground/jtv/README.adoc) carry SPDX-License-Identifier: PMPL-1.0, not an SPDX-recognised identifier; ADR-0007 + spec + 6a2 + new governance/wiki files use MPL-2.0 (PMPL noted only as aspirational). estate standard (absolute-zero) is MPL-2.0-only with PMPL-1.0 -> MPL-2.0. Needs governance decision: normalise to MPL-2.0, or formally keep/adopt PMPL via PALIMPSEST.adoc.", severity = "medium", status = "flagged", follow-up = "user governance decision" }
+  { id = "gap-006", description = "RESOLVED 2026-06-15: license decision = MPL-2.0 (code) + CC-BY-SA-4.0 (docs), full per-file. 75 doc headers -> CC-BY-SA-4.0; code stragglers (3 PMPL-1.0 workflows, MPL-2.0-or-later, PLMP/GPL typos, and a deliberate MIT-OR-GPL-3.0-or-later-OR-Palimpsest tri-license on formatter/repl/rsr_check) -> MPL-2.0; PALIMPSEST.adoc (both copies) retired; LICENSING.md rewritten; PMPL badges replaced. Follow-ups: populate LICENSES/ with canonical MPL-2.0 + CC-BY-SA-4.0 texts; add SPDX headers to ~49 header-less docs.", severity = "low", status = "resolved", follow-up = "LICENSES/ texts + header-less docs" }
 ]
 
 [critical-next-actions]

.machine_readable/COPROC-TRAJECTORIES.a2ml

@@ -1,5 +1,4 @@
 ;; SPDX-License-Identifier: MPL-2.0
-;; (MPL-2.0 is automatic legal fallback until PMPL is formally recognised)
 ;; Copyright (c) 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 ;;
 ;; COPROC-TRAJECTORIES.a2ml — Authoritative trajectory status for JtV

.machine_readable/agent_instructions/README.adoc

@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: MPL-2.0
+// SPDX-License-Identifier: CC-BY-SA-4.0
 // Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
 = Agent Instructions
 :toc: preamble

.machine_readable/bot_directives/README.adoc

@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: MPL-2.0
+// SPDX-License-Identifier: CC-BY-SA-4.0
 // SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell
 = Bot directives — julia-the-viper
 :toc:

.machine_readable/self-validating/README.adoc

@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: MPL-2.0
+// SPDX-License-Identifier: CC-BY-SA-4.0
 // SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell
 = Self-validating K9 templates — julia-the-viper
 :toc: