diff --git a/.claude/CLAUDE.md b/.claude/CLAUDE.md
index e25b8ac..ec75f13 100644
--- a/.claude/CLAUDE.md
+++ b/.claude/CLAUDE.md
@@ -1,5 +1,5 @@
 <!--
-SPDX-License-Identifier: MPL-2.0
+SPDX-License-Identifier: CC-BY-SA-4.0
 Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 -->
 # CLAUDE.md - AI Assistant Instructions
diff --git a/.claude/PROJECT.adoc b/.claude/PROJECT.adoc
index 379e40d..e06e6a4 100644
--- a/.claude/PROJECT.adoc
+++ b/.claude/PROJECT.adoc
@@ -1,3 +1,4 @@
+// SPDX-License-Identifier: CC-BY-SA-4.0
 == Jaffascript - Claude Code Instructions
 
 This repository contains the Jaffascript project.
diff --git a/.devcontainer/Containerfile b/.devcontainer/Containerfile
index d9a54f6..b0a6fd1 100644
--- a/.devcontainer/Containerfile
+++ b/.devcontainer/Containerfile
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # Copyright (c) {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}>
 #
 # Dev Container image for {{PROJECT_NAME}}
diff --git a/.devcontainer/README.adoc b/.devcontainer/README.adoc
index 04377b3..848e64d 100644
--- a/.devcontainer/README.adoc
+++ b/.devcontainer/README.adoc
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: MPL-2.0
+// SPDX-License-Identifier: CC-BY-SA-4.0
 // Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 = Dev Container Usage
 :author: Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
index 4ad379e..77de100 100644
--- a/.devcontainer/devcontainer.json
+++ b/.devcontainer/devcontainer.json
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: PMPL-1.0-or-later
+// SPDX-License-Identifier: MPL-2.0
 // Copyright (c) {{CURRENT_YEAR}} Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
 //
 // Dev Container configuration for {{PROJECT_NAME}}
diff --git a/.github/GOVERNANCE.md b/.github/GOVERNANCE.md
index 43c16ea..5270c8b 100644
--- a/.github/GOVERNANCE.md
+++ b/.github/GOVERNANCE.md
@@ -157,4 +157,4 @@ with the community before adoption, even though the BDFL retains final authority
 
 ---
 
-<sub>Copyright (c) {{CURRENT_YEAR}} hyperpolymath. Licensed under PMPL-1.0-or-later.</sub>
+<sub>Copyright (c) {{CURRENT_YEAR}} hyperpolymath. Licensed under CC-BY-SA-4.0.</sub>
diff --git a/.github/copilot-instructions.md b/.github/copilot-instructions.md
index 01eebc4..eb05fcc 100644
--- a/.github/copilot-instructions.md
+++ b/.github/copilot-instructions.md
@@ -14,7 +14,7 @@ Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 
 ## License
 
-- SPDX: `PMPL-1.0-or-later` on all new files.
+- SPDX: `MPL-2.0` on code, `CC-BY-SA-4.0` on prose (`.adoc`, `.md`, docs), on all new files.
 - Never use AGPL-3.0.
 - Copyright: `Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>`
 
diff --git a/.github/pull_request_template.md b/.github/pull_request_template.md
index 2ff95ee..5c32b02 100644
--- a/.github/pull_request_template.md
+++ b/.github/pull_request_template.md
@@ -35,7 +35,7 @@ Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 - [ ] Documentation updated for user-facing changes
 - [ ] `TOPOLOGY.md` updated (if architecture changed)
 - [ ] `CHANGELOG` or release notes updated
-- [ ] New dependencies reviewed for license compatibility (PMPL-1.0-or-later / MPL-2.0)
+- [ ] New dependencies reviewed for license compatibility (code MPL-2.0 / prose CC-BY-SA-4.0)
 - [ ] ABI/FFI changes validated (`src/interface/abi/` and `src/interface/ffi/` consistent)
 
 ## Testing
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index e00028b..b08314a 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # Primary CI/CD - GitLab is the source of truth
 
 stages:
diff --git a/.machine_readable/README.adoc b/.machine_readable/README.adoc
index 6f931a5..ad65b9a 100644
--- a/.machine_readable/README.adoc
+++ b/.machine_readable/README.adoc
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: MPL-2.0
+// SPDX-License-Identifier: CC-BY-SA-4.0
 // Machine-readable metadata and configuration for RSR compliance.
 // See: https://github.com/hyperpolymath/rsr-template-repo
 // Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
diff --git a/.machine_readable/ai/.clinerules b/.machine_readable/ai/.clinerules
index 854d2ee..f9ec408 100644
--- a/.machine_readable/ai/.clinerules
+++ b/.machine_readable/ai/.clinerules
@@ -5,8 +5,8 @@
 # STARTUP: Read 0-AI-MANIFEST.a2ml first, then .machine_readable/STATE.a2ml.
 
 # LICENSE
-# All original code: PMPL-1.0-or-later.
-# Never AGPL-3.0. MPL-2.0 only as platform-required fallback.
+# Original code: MPL-2.0. Prose (.adoc, .md, docs): CC-BY-SA-4.0.
+# Never AGPL-3.0.
 # SPDX header required on every source file.
 # Copyright: {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}>
 
diff --git a/.machine_readable/ai/.cursorrules b/.machine_readable/ai/.cursorrules
index d3b9cee..abfca22 100644
--- a/.machine_readable/ai/.cursorrules
+++ b/.machine_readable/ai/.cursorrules
@@ -5,8 +5,8 @@
 # Read 0-AI-MANIFEST.a2ml in the repo root FIRST for canonical file locations.
 
 # LICENSE
-# All original code: PMPL-1.0-or-later (SPDX header required on every file).
-# Never use AGPL-3.0. Fallback to MPL-2.0 only when platform requires it.
+# Original code: MPL-2.0. Prose (.adoc, .md, docs): CC-BY-SA-4.0. SPDX header required on every file.
+# Never use AGPL-3.0.
 # Copyright: {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}>
 
 # STATE FILES
diff --git a/.machine_readable/ai/.windsurfrules b/.machine_readable/ai/.windsurfrules
index 854d2ee..f9ec408 100644
--- a/.machine_readable/ai/.windsurfrules
+++ b/.machine_readable/ai/.windsurfrules
@@ -5,8 +5,8 @@
 # STARTUP: Read 0-AI-MANIFEST.a2ml first, then .machine_readable/STATE.a2ml.
 
 # LICENSE
-# All original code: PMPL-1.0-or-later.
-# Never AGPL-3.0. MPL-2.0 only as platform-required fallback.
+# Original code: MPL-2.0. Prose (.adoc, .md, docs): CC-BY-SA-4.0.
+# Never AGPL-3.0.
 # SPDX header required on every source file.
 # Copyright: {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}>
 
diff --git a/.machine_readable/ai/PLACEHOLDERS.adoc b/.machine_readable/ai/PLACEHOLDERS.adoc
index 677546e..5277a8c 100644
--- a/.machine_readable/ai/PLACEHOLDERS.adoc
+++ b/.machine_readable/ai/PLACEHOLDERS.adoc
@@ -88,7 +88,7 @@ sed -i "s/{{CURRENT_DATE}}/$(date +%Y-%m-%d)/g" $(grep -rl '{{CURRENT_DATE}}' .)
 
 | Placeholder | Description | Example | Files |
 |---|---|---|---|
-| `{{LICENSE}}` | License name | `PMPL-1.0-or-later` | ABI-FFI-README.md |
+| `{{LICENSE}}` | License name | `MPL-2.0` | ABI-FFI-README.md |
 | `{{PROJECT_PURPOSE}}` | One-line project description | `FFI bridges between languages` | STATE.a2ml |
 
 ### AI Manifest
diff --git a/.machine_readable/compliance/reuse/dep5 b/.machine_readable/compliance/reuse/dep5
index 10e50c2..2bbc4d4 100644
--- a/.machine_readable/compliance/reuse/dep5
+++ b/.machine_readable/compliance/reuse/dep5
@@ -3,17 +3,17 @@ Upstream-Name: {{PROJECT_NAME}}
 Upstream-Contact: {{AUTHOR}} <{{AUTHOR_EMAIL}}>
 Source: https://github.com/{{OWNER}}/{{REPO}}
 
-# Default: all files are PMPL-1.0-or-later
+# Default: code is MPL-2.0. Prose is CC-BY-SA-4.0 (last stanza; the last match wins).
 Files: *
 Copyright: {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}>
-License: PMPL-1.0-or-later
+License: MPL-2.0
 
 # Configuration files that cannot carry headers
 Files: .editorconfig .gitignore .gitattributes .tool-versions .mailmap
 Copyright: {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}>
-License: PMPL-1.0-or-later
+License: MPL-2.0
 
-# Machine-readable state files
+# Machine-readable state files. The .a2ml headers stay PMPL until the deed migration; this stanza matches them.
 Files: .machine_readable/*.a2ml
 Copyright: {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}>
 License: PMPL-1.0-or-later
@@ -21,34 +21,39 @@ License: PMPL-1.0-or-later
 # Bot directives
 Files: .machine_readable/bot_directives/*
 Copyright: {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}>
-License: PMPL-1.0-or-later
+License: MPL-2.0
 
 # Contractiles
 Files: .machine_readable/contractiles/*
 Copyright: {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}>
-License: PMPL-1.0-or-later
+License: MPL-2.0
 
 # GitHub/CI configuration
 Files: .github/* .github/**/*
 Copyright: {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}>
-License: PMPL-1.0-or-later
+License: MPL-2.0
 
 # Generated files
 Files: generated/*
 Copyright: {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}>
-License: PMPL-1.0-or-later
+License: MPL-2.0
 
 # Lockfiles and auto-generated
 Files: *.lock Cargo.lock flake.lock
 Copyright: {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}>
-License: PMPL-1.0-or-later
+License: MPL-2.0
 
 # Devcontainer config (JSON, no comments)
 Files: .devcontainer/*.json
 Copyright: {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}>
-License: PMPL-1.0-or-later
+License: MPL-2.0
 
 # Git-cliff config
 Files: cliff.toml
 Copyright: {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}>
-License: PMPL-1.0-or-later
+License: MPL-2.0
+
+# Prose
+Files: *.adoc *.md
+Copyright: {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}>
+License: CC-BY-SA-4.0
diff --git a/.machine_readable/contractiles/Justfile b/.machine_readable/contractiles/Justfile
index 2c48224..43cce32 100644
--- a/.machine_readable/contractiles/Justfile
+++ b/.machine_readable/contractiles/Justfile
@@ -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>
 #
 # RSR Standard Justfile Template
@@ -201,7 +201,7 @@ init:
         -e "s|${LB}DATE${RB}|${CURRENT_DATE}|g"
         -e "s|${LB}SECURITY_EMAIL${RB}|${SECURITY_EMAIL}|g"
         -e "s|${LB}CONDUCT_EMAIL${RB}|${CONDUCT_EMAIL}|g"
-        -e "s|${LB}LICENSE${RB}|PMPL-1.0-or-later|g"
+        -e "s|${LB}LICENSE${RB}|MPL-2.0|g"
         -e "s|${LB}CONDUCT_TEAM${RB}|Code of Conduct Committee|g"
         -e "s|${LB}RESPONSE_TIME${RB}|48 hours|g"
         -e "s|${LB}MAIN_BRANCH${RB}|main|g"
diff --git a/.machine_readable/scripts/forge/git-cleanup.sh b/.machine_readable/scripts/forge/git-cleanup.sh
index 4fec1a2..c8303ad 100755
--- a/.machine_readable/scripts/forge/git-cleanup.sh
+++ b/.machine_readable/scripts/forge/git-cleanup.sh
@@ -1,4 +1,5 @@
 #!/usr/bin/env bash
+# SPDX-License-Identifier: MPL-2.0
 # git-cleanup.sh — Repository hygiene script
 set -euo pipefail
 echo "Cleaning up merged branches..."
diff --git a/.pre-commit-config.yaml b/.pre-commit-config.yaml
index 6a93de7..b048d1c 100644
--- a/.pre-commit-config.yaml
+++ b/.pre-commit-config.yaml
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # Pre-commit hooks for hyperpolymath RSR repos.
 # Install: pip install pre-commit && pre-commit install
 # Run manually: pre-commit run --all-files
diff --git a/ARCHITECTURE.adoc b/ARCHITECTURE.adoc
index 1c0a7a6..b50914e 100644
--- a/ARCHITECTURE.adoc
+++ b/ARCHITECTURE.adoc
@@ -1,3 +1,4 @@
+// SPDX-License-Identifier: CC-BY-SA-4.0
 == Architecture
 
 === Overview
diff --git a/AUDIT.adoc b/AUDIT.adoc
index 0f4f5ac..d4363c5 100644
--- a/AUDIT.adoc
+++ b/AUDIT.adoc
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: MPL-2.0
+// SPDX-License-Identifier: CC-BY-SA-4.0
 // Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 = Audit Gate
 Codex
diff --git a/CHANGELOG.adoc b/CHANGELOG.adoc
index 0051cb5..571a336 100644
--- a/CHANGELOG.adoc
+++ b/CHANGELOG.adoc
@@ -1,3 +1,4 @@
+// SPDX-License-Identifier: CC-BY-SA-4.0
 == Changelog for jaffascript
 
 All changes are tracked in the main AffineScript repository. This is a
diff --git a/EXPLAINME.adoc b/EXPLAINME.adoc
index fcade57..46a2b9c 100644
--- a/EXPLAINME.adoc
+++ b/EXPLAINME.adoc
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: MPL-2.0
+// SPDX-License-Identifier: CC-BY-SA-4.0
 // Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 // SPDX-FileCopyrightText: 2024-2026 Jonathan D.A. Jewell (hyperpolymath)
 = JaffaScript - Face Repository
diff --git a/GOVERNANCE.adoc b/GOVERNANCE.adoc
index 9b836fb..db14743 100644
--- a/GOVERNANCE.adoc
+++ b/GOVERNANCE.adoc
@@ -1,3 +1,4 @@
+// SPDX-License-Identifier: CC-BY-SA-4.0
 == Governance
 
 === Overview
diff --git a/Justfile b/Justfile
index 2c48224..43cce32 100644
--- a/Justfile
+++ b/Justfile
@@ -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>
 #
 # RSR Standard Justfile Template
@@ -201,7 +201,7 @@ init:
         -e "s|${LB}DATE${RB}|${CURRENT_DATE}|g"
         -e "s|${LB}SECURITY_EMAIL${RB}|${SECURITY_EMAIL}|g"
         -e "s|${LB}CONDUCT_EMAIL${RB}|${CONDUCT_EMAIL}|g"
-        -e "s|${LB}LICENSE${RB}|PMPL-1.0-or-later|g"
+        -e "s|${LB}LICENSE${RB}|MPL-2.0|g"
         -e "s|${LB}CONDUCT_TEAM${RB}|Code of Conduct Committee|g"
         -e "s|${LB}RESPONSE_TIME${RB}|48 hours|g"
         -e "s|${LB}MAIN_BRANCH${RB}|main|g"
diff --git a/MAINTAINERS.adoc b/MAINTAINERS.adoc
index 9910dd8..daf8a78 100644
--- a/MAINTAINERS.adoc
+++ b/MAINTAINERS.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 <j.d.a.jewell@open.ac.uk>
 = Maintainers
 :toc: preamble
diff --git a/PROOF-NEEDS.adoc b/PROOF-NEEDS.adoc
index ba4f03b..63a67e4 100644
--- a/PROOF-NEEDS.adoc
+++ b/PROOF-NEEDS.adoc
@@ -1,3 +1,4 @@
+// SPDX-License-Identifier: CC-BY-SA-4.0
 == Proof Requirements — \{\{PROJECT}}
 
 === Proof Tier
diff --git a/PROOF-STATUS.adoc b/PROOF-STATUS.adoc
index 2f531bd..7eaab87 100644
--- a/PROOF-STATUS.adoc
+++ b/PROOF-STATUS.adoc
@@ -1,3 +1,4 @@
+// SPDX-License-Identifier: CC-BY-SA-4.0
 == Proof Status — \{\{PROJECT}}
 
 === Summary
diff --git a/QUICKSTART-MAINTAINER.adoc b/QUICKSTART-MAINTAINER.adoc
index 1347c83..11f4de0 100644
--- a/QUICKSTART-MAINTAINER.adoc
+++ b/QUICKSTART-MAINTAINER.adoc
@@ -107,7 +107,7 @@ Or via OPSM: `opsm update {{PACKAGE_NAME}}`
 
 == Security Notes
 
-* License: PMPL-1.0-or-later (Palimpsest License)
+* License: MPL-2.0 for code, CC-BY-SA-4.0 for prose
 * All dependencies SHA-pinned
 * `panic-attacker` scan results: link:INSTALL-SECURITY-REPORT.adoc[]
 * OpenSSF Scorecard: see badge in README
diff --git a/READINESS.adoc b/READINESS.adoc
index 4962c9a..1c355cb 100644
--- a/READINESS.adoc
+++ b/READINESS.adoc
@@ -1,3 +1,4 @@
+// SPDX-License-Identifier: CC-BY-SA-4.0
 == rattlescript Component Readiness Assessment
 
 *Standard:*
diff --git a/README.adoc b/README.adoc
index 4f5ef81..94a1085 100644
--- a/README.adoc
+++ b/README.adoc
@@ -1,3 +1,4 @@
+// SPDX-License-Identifier: CC-BY-SA-4.0
 https://opensource.org/licenses/MPL-2.0[image:https://img.shields.io/badge/License-MPL_2.0-blue.svg[License:
 MPL-2.0]]
 
diff --git a/ROADMAP.adoc b/ROADMAP.adoc
index 46484c5..06acef1 100644
--- a/ROADMAP.adoc
+++ b/ROADMAP.adoc
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: MPL-2.0
+// SPDX-License-Identifier: CC-BY-SA-4.0
 // Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 // SPDX-FileCopyrightText: 2024-2026 Jonathan D.A. Jewell (hyperpolymath)
 = Jaffascript Roadmap
diff --git a/SECURITY.adoc b/SECURITY.adoc
index e47fdd9..390c456 100644
--- a/SECURITY.adoc
+++ b/SECURITY.adoc
@@ -1,3 +1,4 @@
+// SPDX-License-Identifier: CC-BY-SA-4.0
 == Security Policy
 
 === Reporting a Vulnerability
diff --git a/TEMPLATE-STANDARDS-AUDIT.adoc b/TEMPLATE-STANDARDS-AUDIT.adoc
index edd8c2c..3d1d551 100644
--- a/TEMPLATE-STANDARDS-AUDIT.adoc
+++ b/TEMPLATE-STANDARDS-AUDIT.adoc
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: MPL-2.0
+// SPDX-License-Identifier: CC-BY-SA-4.0
 // Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 = Template Standards Audit
 Codex
diff --git a/TEST-NEEDS.adoc b/TEST-NEEDS.adoc
index 167becf..6b8731a 100644
--- a/TEST-NEEDS.adoc
+++ b/TEST-NEEDS.adoc
@@ -1,3 +1,4 @@
+// SPDX-License-Identifier: CC-BY-SA-4.0
 == TEST-NEEDS: rsr-template-repo
 
 === CRG Grade: C — ACHIEVED 2026-04-04
@@ -114,7 +115,7 @@ validation, benchmarks)
 documentation
 * *Author Attribution*: Jonathan D.A. Jewell
 6759885+hyperpolymath@users.noreply.github.com
-* *License*: PMPL-1.0-or-later on all new files
+* *License*: MPL-2.0 (code) or CC-BY-SA-4.0 (prose) on all new files
 * *Automation*: All scripts executable + working
 
 === FLAGGED ISSUES - ALL RESOLVED
diff --git a/TOPOLOGY.adoc b/TOPOLOGY.adoc
index a975f58..79830cc 100644
--- a/TOPOLOGY.adoc
+++ b/TOPOLOGY.adoc
@@ -1,3 +1,4 @@
+// SPDX-License-Identifier: CC-BY-SA-4.0
 == Architecture Topology
 
 === System Overview
diff --git a/container/.gatekeeper.yaml b/container/.gatekeeper.yaml
index cffda23..4aac671 100644
--- a/container/.gatekeeper.yaml
+++ b/container/.gatekeeper.yaml
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 #
 # Svalinn gatekeeper policy for {{PROJECT_NAME}}
 #
diff --git a/container/Containerfile b/container/Containerfile
index efcafa2..ba85260 100644
--- a/container/Containerfile
+++ b/container/Containerfile
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # {{PROJECT_NAME}} Container Image
 #
 # Multi-stage build template for Chainguard Wolfi base images.
diff --git a/container/README.adoc b/container/README.adoc
index 0db8201..78275d2 100644
--- a/container/README.adoc
+++ b/container/README.adoc
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: MPL-2.0
+// SPDX-License-Identifier: CC-BY-SA-4.0
 // Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 = {{PROJECT_NAME}} Container Templates
 :toc: left
diff --git a/container/compose.example.toml b/container/compose.example.toml
index 4bce828..d8d717c 100644
--- a/container/compose.example.toml
+++ b/container/compose.example.toml
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 #
 # Example selur-compose configuration — multi-service stack
 #
diff --git a/container/compose.toml b/container/compose.toml
index 19eda0f..a14f8a0 100644
--- a/container/compose.toml
+++ b/container/compose.toml
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 #
 # {{PROJECT_NAME}} selur-compose configuration
 #
diff --git a/container/ct-build.sh b/container/ct-build.sh
index 527325d..a54a541 100755
--- a/container/ct-build.sh
+++ b/container/ct-build.sh
@@ -1,5 +1,5 @@
 #!/usr/bin/env bash
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 #
 # {{PROJECT_NAME}} — Cerro Torre build, sign, and verify pipeline
 #
diff --git a/container/deploy.k9.ncl b/container/deploy.k9.ncl
index b283a7c..0ad0d04 100644
--- a/container/deploy.k9.ncl
+++ b/container/deploy.k9.ncl
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # deploy.k9.ncl — {{PROJECT_NAME}} deployment component (Hunt level)
 #
 # k9-svc deployment specification with full pedigree (L1-L5).
diff --git a/container/entrypoint.sh b/container/entrypoint.sh
index 72ace9c..a7a0369 100755
--- a/container/entrypoint.sh
+++ b/container/entrypoint.sh
@@ -1,5 +1,5 @@
 #!/bin/sh
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # {{PROJECT_NAME}} container entrypoint
 #
 # Handles signal propagation, startup logging, and health check
diff --git a/container/manifest.toml b/container/manifest.toml
index 08be36f..46f2e40 100644
--- a/container/manifest.toml
+++ b/container/manifest.toml
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 #
 # Cerro Torre manifest for {{PROJECT_NAME}} .ctp bundle
 #
diff --git a/container/vordr.toml b/container/vordr.toml
index 0fb7fd5..af38fc5 100644
--- a/container/vordr.toml
+++ b/container/vordr.toml
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 #
 # Vordr runtime monitoring configuration for {{PROJECT_NAME}}
 #
diff --git a/contractile.just b/contractile.just
index 8f99137..9a5827b 100644
--- a/contractile.just
+++ b/contractile.just
@@ -2,7 +2,7 @@
 # Source directory: contractiles
 # Re-generate with: contractile gen-just --dir contractiles
 #
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 
 # === DUST (Recovery & Rollback) ===
 # Source: Dustfile.a2ml
diff --git a/docs/attribution/CITATION.cff b/docs/attribution/CITATION.cff
index 4d562f4..05d36d9 100644
--- a/docs/attribution/CITATION.cff
+++ b/docs/attribution/CITATION.cff
@@ -9,7 +9,7 @@ version: 0.1.0
 date-released: {{CURRENT_DATE}}
 url: "https://{{FORGE}}/{{OWNER}}/{{REPO}}"
 repository-code: "https://{{FORGE}}/{{OWNER}}/{{REPO}}"
-license: PMPL-1.0-or-later
+license: MPL-2.0
 keywords:
   - "rsr"
   - "formal-verification"
diff --git a/docs/attribution/CITATIONS.adoc b/docs/attribution/CITATIONS.adoc
index 0832416..b606e80 100644
--- a/docs/attribution/CITATIONS.adoc
+++ b/docs/attribution/CITATIONS.adoc
@@ -12,7 +12,7 @@
   title = {{{PROJECT_NAME}}},
   year = {{{CURRENT_YEAR}}},
   url = {https://github.com/hyperpolymath/{{PROJECT_NAME}}},
-  license = {PMPL-1.0-or-later}
+  license = {MPL-2.0}
 }
 ----
 
diff --git a/docs/practice/AI-CONVENTIONS.adoc b/docs/practice/AI-CONVENTIONS.adoc
index 4ee9897..f5d52fb 100644
--- a/docs/practice/AI-CONVENTIONS.adoc
+++ b/docs/practice/AI-CONVENTIONS.adoc
@@ -21,11 +21,11 @@ Per-tool config files (.cursorrules, .clinerules, etc.) reference this document.
 
 ## License
 
-- All original code: **PMPL-1.0-or-later**
-- Fallback (platform-required only): MPL-2.0 with comment explaining why.
+- All original code: **MPL-2.0**
+- All prose (`.adoc`, `.md`, docs): **CC-BY-SA-4.0**
 - NEVER use AGPL-3.0.
 - Preserve third-party licenses verbatim.
-- Every source file needs `# SPDX-License-Identifier: CC-BY-SA-4.0`.
+- Every file needs an SPDX header: `SPDX-License-Identifier: MPL-2.0` on code, `SPDX-License-Identifier: CC-BY-SA-4.0` on prose.
 
 ## Author Attribution
 
diff --git a/docs/reports/audit/audit-2026-04-15-post.adoc b/docs/reports/audit/audit-2026-04-15-post.adoc
index 2faec23..11edf33 100644
--- a/docs/reports/audit/audit-2026-04-15-post.adoc
+++ b/docs/reports/audit/audit-2026-04-15-post.adoc
@@ -1,3 +1,4 @@
+// SPDX-License-Identifier: CC-BY-SA-4.0
 == Post-audit Status Report: jaffascript
 
 * *Date:* 2026-04-15
diff --git a/docs/tech-debt-2026-05-26.adoc b/docs/tech-debt-2026-05-26.adoc
index da26e7f..9bb3a6e 100644
--- a/docs/tech-debt-2026-05-26.adoc
+++ b/docs/tech-debt-2026-05-26.adoc
@@ -1,3 +1,4 @@
+// SPDX-License-Identifier: CC-BY-SA-4.0
 == Tech-Debt Audit — jaffascript — 2026-05-26
 
 *Source:* estate-wide automated scan 2026-05-26. *Companion:*
diff --git a/features/README.adoc b/features/README.adoc
index 4922891..5c24f38 100644
--- a/features/README.adoc
+++ b/features/README.adoc
@@ -1,3 +1,3 @@
-// SPDX-License-Identifier: MPL-2.0
+// SPDX-License-Identifier: CC-BY-SA-4.0
 // Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 = Project Features
diff --git a/features/boj-server/README.adoc b/features/boj-server/README.adoc
index 0ef0376..25f08a1 100644
--- a/features/boj-server/README.adoc
+++ b/features/boj-server/README.adoc
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: MPL-2.0
+// SPDX-License-Identifier: CC-BY-SA-4.0
 // Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 = BoJ Server Integration
 :icons: font
diff --git a/features/panic-attacker/README.adoc b/features/panic-attacker/README.adoc
index de0bd9b..deff9f1 100644
--- a/features/panic-attacker/README.adoc
+++ b/features/panic-attacker/README.adoc
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: MPL-2.0
+// SPDX-License-Identifier: CC-BY-SA-4.0
 // Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 = Panic Attacker Feature
 :icons: font
diff --git a/features/ssg/README.adoc b/features/ssg/README.adoc
index a6ef262..a6063e1 100644
--- a/features/ssg/README.adoc
+++ b/features/ssg/README.adoc
@@ -1,3 +1,3 @@
-// SPDX-License-Identifier: MPL-2.0
+// SPDX-License-Identifier: CC-BY-SA-4.0
 // Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 = Ssg Feature
diff --git a/features/ssg/ssg-bootstrap.sh b/features/ssg/ssg-bootstrap.sh
index 620c765..0ce6171 100755
--- a/features/ssg/ssg-bootstrap.sh
+++ b/features/ssg/ssg-bootstrap.sh
@@ -1,5 +1,5 @@
 #!/usr/bin/env bash
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 #
 # ssg-bootstrap.sh — Universal SSG Initialisation Helper
 #
diff --git a/llm-warmup-dev.adoc b/llm-warmup-dev.adoc
index e47a82c..08ea553 100644
--- a/llm-warmup-dev.adoc
+++ b/llm-warmup-dev.adoc
@@ -1,3 +1,4 @@
+// SPDX-License-Identifier: CC-BY-SA-4.0
 == LLM Warmup — rsr-template-repo (Developer)
 
 === What is rsr-template-repo?
@@ -14,6 +15,6 @@ See README.adoc for overview.
 
 === Quick Context
 
-* License: PMPL-1.0-or-later
+* License: MPL-2.0 for code, CC-BY-SA-4.0 for prose
 * Part of hyperpolymath ecosystem
 * See EXPLAINME.adoc for architecture
diff --git a/llm-warmup-user.adoc b/llm-warmup-user.adoc
index 7d5d7e5..e327fbf 100644
--- a/llm-warmup-user.adoc
+++ b/llm-warmup-user.adoc
@@ -1,3 +1,4 @@
+// SPDX-License-Identifier: CC-BY-SA-4.0
 == LLM Warmup — rsr-template-repo (User)
 
 === What is rsr-template-repo?
@@ -14,6 +15,6 @@ See README.adoc for overview.
 
 === Quick Context
 
-* License: PMPL-1.0-or-later
+* License: MPL-2.0 for code, CC-BY-SA-4.0 for prose
 * Part of hyperpolymath ecosystem
 * See EXPLAINME.adoc for architecture
diff --git a/scripts/invariant-path.sh b/scripts/invariant-path.sh
index 3f7c05b..e6fdef8 100755
--- a/scripts/invariant-path.sh
+++ b/scripts/invariant-path.sh
@@ -1,4 +1,5 @@
 #!/usr/bin/env bash
+# SPDX-License-Identifier: MPL-2.0
 set -euo pipefail
 
 SCRIPT_DIR="$(cd -- "$(dirname -- "${BASH_SOURCE[0]}")" && pwd)"
diff --git a/scripts/validate-template.sh b/scripts/validate-template.sh
index 0d6eefc..f053202 100755
--- a/scripts/validate-template.sh
+++ b/scripts/validate-template.sh
@@ -1,5 +1,5 @@
 #!/bin/bash
-# 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>
 #
 # RSR Template Validation Script
diff --git a/session/README.adoc b/session/README.adoc
index d14a6d7..5cc8b0c 100644
--- a/session/README.adoc
+++ b/session/README.adoc
@@ -1,3 +1,4 @@
+// SPDX-License-Identifier: CC-BY-SA-4.0
 == Session Bindings (Thin Local Layer)
 
 This directory provides local integration for central session-management
diff --git a/session/dispatch.sh b/session/dispatch.sh
index 61dc720..5a1768e 100755
--- a/session/dispatch.sh
+++ b/session/dispatch.sh
@@ -1,4 +1,5 @@
 #!/usr/bin/env bash
+# SPDX-License-Identifier: MPL-2.0
 set -euo pipefail
 
 if [ "$#" -lt 3 ]; then
diff --git a/session/local-hooks.sh b/session/local-hooks.sh
index 20e9fae..12ed294 100755
--- a/session/local-hooks.sh
+++ b/session/local-hooks.sh
@@ -1,4 +1,5 @@
 #!/usr/bin/env bash
+# SPDX-License-Identifier: MPL-2.0
 set -euo pipefail
 
 verb="${1:-}"
diff --git a/src/README.adoc b/src/README.adoc
index d8c8116..9e5bd3c 100644
--- a/src/README.adoc
+++ b/src/README.adoc
@@ -1,3 +1,3 @@
-// SPDX-License-Identifier: MPL-2.0
+// SPDX-License-Identifier: CC-BY-SA-4.0
 // Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 = src Pillar
diff --git a/src/aspects/README.adoc b/src/aspects/README.adoc
index 9b7b80f..c4ef693 100644
--- a/src/aspects/README.adoc
+++ b/src/aspects/README.adoc
@@ -1,3 +1,3 @@
-// SPDX-License-Identifier: MPL-2.0
+// SPDX-License-Identifier: CC-BY-SA-4.0
 // Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 = Aspects Pillar
diff --git a/src/aspects/integrity/README.adoc b/src/aspects/integrity/README.adoc
index 17a09db..d3e1ee1 100644
--- a/src/aspects/integrity/README.adoc
+++ b/src/aspects/integrity/README.adoc
@@ -1,3 +1,3 @@
-// SPDX-License-Identifier: MPL-2.0
+// SPDX-License-Identifier: CC-BY-SA-4.0
 // Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 = Integrity Aspect
diff --git a/src/aspects/observability/README.adoc b/src/aspects/observability/README.adoc
index df2ca36..8a2151c 100644
--- a/src/aspects/observability/README.adoc
+++ b/src/aspects/observability/README.adoc
@@ -1,3 +1,3 @@
-// SPDX-License-Identifier: MPL-2.0
+// SPDX-License-Identifier: CC-BY-SA-4.0
 // Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 = Observability Aspect
diff --git a/src/aspects/security/README.adoc b/src/aspects/security/README.adoc
index 11ad21b..e28b5da 100644
--- a/src/aspects/security/README.adoc
+++ b/src/aspects/security/README.adoc
@@ -1,3 +1,3 @@
-// SPDX-License-Identifier: MPL-2.0
+// SPDX-License-Identifier: CC-BY-SA-4.0
 // Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 = Security Aspect
diff --git a/src/contracts/README.adoc b/src/contracts/README.adoc
index 20dd4ca..657be1f 100644
--- a/src/contracts/README.adoc
+++ b/src/contracts/README.adoc
@@ -1,3 +1,3 @@
-// SPDX-License-Identifier: MPL-2.0
+// SPDX-License-Identifier: CC-BY-SA-4.0
 // Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 = Contracts Unit
diff --git a/src/definitions/README.adoc b/src/definitions/README.adoc
index 5a9912f..02ecc4f 100644
--- a/src/definitions/README.adoc
+++ b/src/definitions/README.adoc
@@ -1,3 +1,3 @@
-// SPDX-License-Identifier: MPL-2.0
+// SPDX-License-Identifier: CC-BY-SA-4.0
 // Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 = Definitions Unit
diff --git a/src/errors/README.adoc b/src/errors/README.adoc
index eff7b29..b03a1c4 100644
--- a/src/errors/README.adoc
+++ b/src/errors/README.adoc
@@ -1,3 +1,3 @@
-// SPDX-License-Identifier: MPL-2.0
+// SPDX-License-Identifier: CC-BY-SA-4.0
 // Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 = Errors Unit
diff --git a/src/interface/Abi/README.adoc b/src/interface/Abi/README.adoc
index 46743d7..4a99517 100644
--- a/src/interface/Abi/README.adoc
+++ b/src/interface/Abi/README.adoc
@@ -1,3 +1,3 @@
-// SPDX-License-Identifier: MPL-2.0
+// SPDX-License-Identifier: CC-BY-SA-4.0
 // Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 = abi Logic
diff --git a/src/interface/README.adoc b/src/interface/README.adoc
index 727b9e7..4fde708 100644
--- a/src/interface/README.adoc
+++ b/src/interface/README.adoc
@@ -1,3 +1,3 @@
-// SPDX-License-Identifier: MPL-2.0
+// SPDX-License-Identifier: CC-BY-SA-4.0
 // Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 = interface Unit
diff --git a/src/interface/ffi/README.adoc b/src/interface/ffi/README.adoc
index b402d64..ca14320 100644
--- a/src/interface/ffi/README.adoc
+++ b/src/interface/ffi/README.adoc
@@ -1,3 +1,3 @@
-// SPDX-License-Identifier: MPL-2.0
+// SPDX-License-Identifier: CC-BY-SA-4.0
 // Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 = ffi Logic
diff --git a/src/interface/ffi/src/README.adoc b/src/interface/ffi/src/README.adoc
index 4228438..d5631f6 100644
--- a/src/interface/ffi/src/README.adoc
+++ b/src/interface/ffi/src/README.adoc
@@ -1,3 +1,3 @@
-// SPDX-License-Identifier: MPL-2.0
+// SPDX-License-Identifier: CC-BY-SA-4.0
 // Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 = Src Logic
diff --git a/src/interface/ffi/test/README.adoc b/src/interface/ffi/test/README.adoc
index cdbb47d..e6ff267 100644
--- a/src/interface/ffi/test/README.adoc
+++ b/src/interface/ffi/test/README.adoc
@@ -1,3 +1,3 @@
-// SPDX-License-Identifier: MPL-2.0
+// SPDX-License-Identifier: CC-BY-SA-4.0
 // Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 = Test Logic
diff --git a/src/interface/generated/README.adoc b/src/interface/generated/README.adoc
index 93daef2..9e94b29 100644
--- a/src/interface/generated/README.adoc
+++ b/src/interface/generated/README.adoc
@@ -1,3 +1,3 @@
-// SPDX-License-Identifier: MPL-2.0
+// SPDX-License-Identifier: CC-BY-SA-4.0
 // Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 = generated Logic
diff --git a/src/interface/generated/abi/README.adoc b/src/interface/generated/abi/README.adoc
index 0e29b69..f3b3808 100644
--- a/src/interface/generated/abi/README.adoc
+++ b/src/interface/generated/abi/README.adoc
@@ -1,3 +1,3 @@
-// SPDX-License-Identifier: MPL-2.0
+// SPDX-License-Identifier: CC-BY-SA-4.0
 // Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 = Abi Logic
diff --git a/stapeln.toml b/stapeln.toml
index 703372f..eb3785e 100644
--- a/stapeln.toml
+++ b/stapeln.toml
@@ -9,7 +9,7 @@ name = "rsr-template-repo"
 version = "0.1.0"
 description = "rsr-template-repo container service"
 author = "Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>"
-license = "PMPL-1.0-or-later"
+license = "MPL-2.0"
 registry = "ghcr.io/hyperpolymath"
 
 [build]
diff --git a/tools/invariant-path/README.adoc b/tools/invariant-path/README.adoc
index 57c4e3d..040d7a2 100644
--- a/tools/invariant-path/README.adoc
+++ b/tools/invariant-path/README.adoc
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: MPL-2.0
+// SPDX-License-Identifier: CC-BY-SA-4.0
 // Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 = Invariant Path Integration (RSR Template)
 
diff --git a/verification/README.adoc b/verification/README.adoc
index d572c1b..e9a402d 100644
--- a/verification/README.adoc
+++ b/verification/README.adoc
@@ -1,2 +1,5 @@
-// SPDX-License-Identifier: MPL-2.0
-// Verification scripts and test suites for jaffascript.
+// SPDX-License-Identifier: CC-BY-SA-4.0
+// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+= Verification Pillar
+
+Verification scripts and test suites for jaffascript.
diff --git a/www/.well-known/README.adoc b/www/.well-known/README.adoc
index 822f626..88c2ea1 100644
--- a/www/.well-known/README.adoc
+++ b/www/.well-known/README.adoc
@@ -1,2 +1,2 @@
-// SPDX-License-Identifier: MPL-2.0
+// SPDX-License-Identifier: CC-BY-SA-4.0
 // Well-known files for jaffascript (security.txt, ai.txt, etc.)
diff --git a/www/.well-known/ai.txt b/www/.well-known/ai.txt
index cc7cbc3..b80fa9b 100644
--- a/www/.well-known/ai.txt
+++ b/www/.well-known/ai.txt
@@ -7,10 +7,9 @@ Disallow-Training: yes
 Disallow-Summarization: no
 Disallow-Generation: yes
 
-# This project's code is licensed under PMPL-1.0-or-later.
+# This project's code is licensed under MPL-2.0; its prose under CC-BY-SA-4.0.
 # AI agents may read and analyze this code for assisting contributors.
 # AI agents must NOT use this code for model training without explicit consent.
-# AI agents must preserve Emotional Lineage per PMPL Section 3.
 #
 # For AI agent integration instructions, see:
 #   0-AI-MANIFEST.a2ml (universal AI entry point)
diff --git a/www/.well-known/humans.txt b/www/.well-known/humans.txt
index f57452c..9af2e56 100644
--- a/www/.well-known/humans.txt
+++ b/www/.well-known/humans.txt
@@ -9,6 +9,6 @@ From: United Kingdom
 /* SITE */
 Last update: {{CURRENT_DATE}}
 Standards: RSR (Rhodium Standard Repository)
-License: PMPL-1.0-or-later (Palimpsest MPL)
+License: MPL-2.0 (code), CC-BY-SA-4.0 (prose)
 Components: Idris2 ABI, Zig FFI
 Tools: just, Podman, Guix