chore(licence): set repo primary licence to MPL-2.0 (core tech); keep AGPL game-content tier (#656)

Resolves the flagged licence inconsistency: the root `LICENSE` was
`AGPL-3.0-or-later` while the guix files and CLAUDE.md treat the repo as
MPL-2.0. Per owner decision, **the repository's primary licence is now
MPL-2.0** (with `CC-BY-SA-4.0` for prose), matching the estate standard
and the dual-SPDX pattern used in oikosbot.

Crucially, this is **not** a blanket relicence —
`docs/governance/LICENSING-GUIDE.md` documents a deliberate
**three-tier** structure, which I've preserved:

| Tier | Licence | This PR |
|---|---|---|
| Core Technology (compiler, runtime, stdlib, tooling, editors) |
**MPL-2.0** | set to MPL-2.0 (was mislabeled AGPL in places) |
| Game Content (`proposals/idaptik/**`, game `examples/**`) |
AGPL-3.0-or-later | **untouched** |
| Foundational (Gossamer, Burble) | PMPL-1.0 / MPL-2.0 | unchanged |

## Changed (Core Technology → MPL-2.0)
- `LICENSE`: AGPL-3.0-or-later text → MPL-2.0 with dual SPDX header
(`MPL-2.0` + `CC-BY-SA-4.0`).
- Distribution metadata: `runtime/Cargo.toml`,
`packages/{affinescript-cli,affine-js,affine-vscode}`,
`affinescript-tea`,
`editors/{vscode,tree-sitter-affinescript,tree-sitter-rescript}` licence
fields/headers AGPL → MPL-2.0.
- Repo infra: `.gitattributes`, `.gitignore` SPDX → MPL-2.0.
- `README.adoc` licence section → three-tier framing (MPL-2.0 core /
AGPL game / PMPL foundational).

## Deliberately NOT changed
- **`proposals/idaptik/**`** (146 files) — the IDApTIK AGPL game;
`TRUST.contractile` explicitly forbids modifying IDApTIK without
explicit instruction, and relicensing AGPL-derived game code would be
improper.
- **game `examples/**`** — documented AGPL "Game Content" per the
licensing guide.
- **`LICENSES/LICENSE-AGPL-3.0`** — retained (the AGPL tier still
exists).

## Follow-ups (flagged, not done here)
- A handful of clearly-core-tech *source* SPDX headers (e.g.
`lib/version.ml`, `bin/dune`, `js/dune`, `tests/**`) are still
AGPL-labeled; reconciling those to MPL-2.0 is a tidy-up that needs
per-file care against the three-tier guide.
- `docs/governance/LICENSING-GUIDE.md` still frames the *primary*
licence as PMPL/AGPL; it should be reworded to MPL-2.0-primary.

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

https://claude.ai/code/session_015wqBHniW8sHDCqCoEvBe9n

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

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

Author: hyperpolymath

.gitattributes

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

.gitignore

@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: AGPL-3.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # RSR-compliant .gitignore
 
 # OS & Editor

LICENSE

@@ -673,18 +673,21 @@ ____
 
 == License
 
-This repository is documented and distributed under AGPL-3.0-or-later.
+This repository's core technology — the compiler, runtime, standard library,
+tooling, and editor integrations — is licensed under MPL-2.0; documentation and
+prose under CC-BY-SA-4.0.
 
-The broader Palimpsest-MPL licensing layer applies to associated ecosystem technology including:
-
-- Gossamer
-- Burble
-- AffineScript deployment/tooling layers where applicable
+Game content remains under AGPL-3.0-or-later (the `proposals/idaptik/` migration
+and the game-specific `examples/`), and the foundational technologies (Gossamer,
+Burble) under the Palimpsest-MPL layer. See
+link:docs/governance/LICENSING-GUIDE.md[docs/governance/LICENSING-GUIDE.md] for
+the full three-tier breakdown.
 
 See also:
 
-- AGPL-3.0-or-later: https://www.gnu.org/licenses/agpl-3.0.html
-- PMPL-1.0: https://github.com/hyperpolymath/palimpsest-license
+- MPL-2.0 (core technology): https://www.mozilla.org/en-US/MPL/2.0/
+- AGPL-3.0-or-later (game content): https://www.gnu.org/licenses/agpl-3.0.html
+- PMPL-1.0 (foundational): https://github.com/hyperpolymath/palimpsest-license
 
 == Final Positioning Summary
 

README.adoc

@@ -7,7 +7,7 @@
   "imports": {
     "@hyperpolymath/affine-js/loader": "../packages/affine-js/loader.js"
   },
-  "license": "AGPL-3.0-or-later",
+  "license": "MPL-2.0",
   "publish": {
     "exclude": ["mod_test.js"]
   },

affinescript-tea/deno.json

@@ -9,7 +9,7 @@
     "affinescript"
   ],
   "author": "hyperpolymath",
-  "license": "AGPL-3.0-or-later",
+  "license": "MPL-2.0",
   "dependencies": {
     "nan": "^2.17.0"
   },

editors/tree-sitter-affinescript/package.json

@@ -3,7 +3,7 @@
   "version": "0.1.0",
   "private": true,
   "description": "Manifest-only vendoring of rescript-lang/tree-sitter-rescript for the .res -> .affine migration assistant (affinescript#57).",
-  "license": "AGPL-3.0-or-later",
+  "license": "MPL-2.0",
   "dependencies": {
     "tree-sitter-rescript": "github:rescript-lang/tree-sitter-rescript#990214a83f25801dfe0226bd7e92bb71bba1970f"
   },

editors/tree-sitter-rescript/package.json

@@ -4,7 +4,7 @@
   "description": "Language support for AffineScript - affine types, effects, and dependent types",
   "version": "0.1.0",
   "publisher": "hyperpolymath",
-  "license": "AGPL-3.0-or-later",
+  "license": "MPL-2.0",
   "repository": {
     "type": "git",
     "url": "https://github.com/hyperpolymath/affinescript"

editors/vscode/package.json

@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: MIT OR AGPL-3.0-or-later
+// SPDX-License-Identifier: MIT OR MPL-2.0
 // Copyright (c) 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 //
 // AffineScript VS Code extension — issue #35 Phase 3 deliverable.

editors/vscode/src/extension.affine

@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: MIT OR AGPL-3.0-or-later
+// SPDX-License-Identifier: MIT OR MPL-2.0
 // In-editor smoke harness driver for #139.
 //
 // Downloads a pinned VS Code, launches it with this extension folder loaded