licence: normalise the tree to MPL-2.0 (code) / CC-BY-SA-4.0 (docs), two-line SPDX

.claude/CLAUDE.md

@@ -1,7 +1,6 @@
-<!--
-SPDX-License-Identifier: CC-BY-SA-4.0
-Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
--->
+<!-- SPDX-License-Identifier: CC-BY-SA-4.0 -->
+<!-- SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk> -->
+
 ## Machine-Readable Artefacts
 
 The following files in `.machine_readable/6a2/` contain structured project

.claude/PROJECT.md

@@ -1,7 +1,6 @@
-<!--
-SPDX-License-Identifier: CC-BY-SA-4.0
-Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
--->
+<!-- SPDX-License-Identifier: CC-BY-SA-4.0 -->
+<!-- SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk> -->
+
 # My Lang - Claude Code Instructions
 
 This repository contains the My Lang programming language implementation.

.clusterfuzzlite/build.sh

@@ -1,6 +1,7 @@
 #!/bin/bash -eu
 # SPDX-License-Identifier: MPL-2.0
-# Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+# SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+
 #
 # OSS-Fuzz / ClusterFuzzLite build script: compile the cargo-fuzz targets in
 # `fuzz/` and stage each binary into $OUT. Run by `compile` inside the

.clusterfuzzlite/project.yaml

@@ -1,3 +1,6 @@
+# SPDX-License-Identifier: MPL-2.0
+# SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+
 homepage: "https://github.com/hyperpolymath/my-lang"
 language: rust
 main_repo: "https://github.com/hyperpolymath/my-lang"

.github/FUNDING.yml

@@ -1,3 +1,6 @@
+# SPDX-License-Identifier: MPL-2.0
+# SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+
 # These are supported funding model platforms
 
 github: hyperpolymath

.github/copilot/coding-agent.yml

@@ -1,3 +1,6 @@
+# SPDX-License-Identifier: MPL-2.0
+# SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+
 mcp_servers:
   boj-server:
     command: npx

.github/dependabot.yml

@@ -1,4 +1,6 @@
 # SPDX-License-Identifier: MPL-2.0
+# SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+
 version: 2
 updates:
   - package-ecosystem: "github-actions"

.github/funding.yml

@@ -1,3 +1,6 @@
+# SPDX-License-Identifier: MPL-2.0
+# SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+
 # Funding Configuration
 # See: https://docs.github.com/en/repositories/managing-your-repositorys-custom-fields/displaying-a-sponsor-button-in-your-repository
 

.github/workflows/cflite_batch.yml

@@ -1,4 +1,6 @@
 # SPDX-License-Identifier: MPL-2.0
+# SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+
 name: ClusterFuzzLite Batch
 on:
   schedule:

.github/workflows/cflite_pr.yml

@@ -1,4 +1,6 @@
 # SPDX-License-Identifier: MPL-2.0
+# SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+
 name: ClusterFuzzLite PR
 on:
   pull_request:

.github/workflows/checker-scaling.yml

@@ -1,4 +1,6 @@
 # SPDX-License-Identifier: MPL-2.0
+# SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+
 # Checker allocation-scaling harness for hyperpolymath/my-lang#14.
 #
 # The original 16-32 GiB OOM was reported on stable-x86_64-pc-windows-msvc and

.github/workflows/codeql.yml

@@ -1,4 +1,6 @@
 # SPDX-License-Identifier: MPL-2.0
+# SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+
 name: CodeQL Security Analysis
 on:
   push:

.github/workflows/coverage.yml

@@ -1,4 +1,6 @@
 # SPDX-License-Identifier: MPL-2.0
+# SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+
 # Line/region coverage for the Rust workspace via cargo-llvm-cov.
 #
 # Why: the workspace had fuzzing and a stack-depth guard but no coverage

.github/workflows/governance.yml

@@ -1,4 +1,6 @@
 # SPDX-License-Identifier: MPL-2.0
+# SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+
 name: Governance
 
 on:

.github/workflows/hypatia-scan.yml

@@ -1,4 +1,6 @@
 # SPDX-License-Identifier: MPL-2.0
+# SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+
 name: Hypatia Security Scan
 
 on:

.github/workflows/mirror.yml

@@ -1,4 +1,6 @@
 # SPDX-License-Identifier: MPL-2.0
+# SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+
 name: Mirror to Git Forges
 on:
   push:

.github/workflows/pages.yml

@@ -1,4 +1,6 @@
 # SPDX-License-Identifier: MPL-2.0
+# SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+
 name: GitHub Pages (Ddraig SSG)
 on:
   push:

.github/workflows/proofs.yml

@@ -1,4 +1,6 @@
 # SPDX-License-Identifier: MPL-2.0
+# SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+
 # Proof CI — machine-checks the mechanised Solo-core on BOTH tracks.
 #
 # Closes the long-standing proof-ci = "absent" gap (STATE.a2ml /

.github/workflows/push-email-notify.yml

@@ -1,4 +1,6 @@
 # SPDX-License-Identifier: MPL-2.0
+# SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+
 # Dormant push-email notification. ARMED by setting the repo variable
 # PUSH_EMAIL_ENABLED=true (the single on/off switch). Addresses are pre-filled;
 # sending needs the org SMTP secrets (SMTP_HOST/PORT/USER/PASS). Inherited by

.github/workflows/scorecard.yml

@@ -1,4 +1,6 @@
 # SPDX-License-Identifier: MPL-2.0
+# SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+
 name: OSSF Scorecard
 
 on:

.github/workflows/secret-scanner.yml

@@ -1,4 +1,6 @@
 # SPDX-License-Identifier: MPL-2.0
+# SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+
 name: Secret Scanner
 on:
   pull_request:

.github/workflows/spark-theatre-gate.yml

@@ -1,4 +1,6 @@
 # SPDX-License-Identifier: MPL-2.0
+# SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+
 # Estate SPARK Theatre Gate — thin caller of the reusable workflow in
 # hyperpolymath/standards (#135 / #141). Pinned by commit SHA per the
 # estate action-pinning policy. Regenerate the pin only when the reusable

.github/workflows/stack-depth.yml

@@ -1,4 +1,6 @@
 # SPDX-License-Identifier: MPL-2.0
+# SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+
 # Stack-depth budget guard for hyperpolymath/my-lang#37.
 #
 # #37 subtleties 1 & 3: the recursive AST `Drop` overflow, and the re-derivation

.machine_readable/6a2/0-AI-MANIFEST.a2ml

@@ -1,3 +1,6 @@
+# SPDX-License-Identifier: MPL-2.0
+# SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+
 # AI Manifest for 6a2 Directory
 
 ## Purpose

.machine_readable/6a2/AGENTIC.a2ml

@@ -1,5 +1,6 @@
 # SPDX-License-Identifier: MPL-2.0
-# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
+# SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+
 #
 # AGENTIC.a2ml — AI agent constraints and capabilities
 [metadata]

.machine_readable/6a2/ECOSYSTEM.a2ml

@@ -1,5 +1,6 @@
 # SPDX-License-Identifier: MPL-2.0
-# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
+# SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+
 #
 # ECOSYSTEM.a2ml — My Lang ecosystem position
 [metadata]

.machine_readable/6a2/META.a2ml

@@ -1,5 +1,6 @@
 # SPDX-License-Identifier: MPL-2.0
-# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
+# SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+
 #
 # META.a2ml — My Lang meta-level information
 [metadata]

.machine_readable/6a2/NEUROSYM.a2ml

@@ -1,5 +1,6 @@
 # SPDX-License-Identifier: MPL-2.0
-# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
+# SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+
 #
 # NEUROSYM.a2ml — Neurosymbolic integration metadata
 [metadata]

.machine_readable/6a2/PLAYBOOK.a2ml

@@ -1,5 +1,6 @@
 # SPDX-License-Identifier: MPL-2.0
-# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
+# SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+
 #
 # PLAYBOOK.a2ml — Operational playbook
 [metadata]

.machine_readable/6a2/README.adoc

@@ -1,6 +1,6 @@
 // SPDX-License-Identifier: CC-BY-SA-4.0
-// Owner: Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
-// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+
 # A2ML 6a2 Directory
 
 This directory contains the 6 core A2ML machine-readable metadata files for this repository.

.machine_readable/6a2/STATE.a2ml

@@ -1,5 +1,6 @@
 # SPDX-License-Identifier: MPL-2.0
-# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
+# SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+
 #
 # STATE.a2ml — My Lang project state
 [metadata]

.machine_readable/ENSAID_CONFIG.a2ml

@@ -1,3 +1,6 @@
+# SPDX-License-Identifier: MPL-2.0
+# SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+
 ; SPDX-License-Identifier: MPL-2.0
 ; Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
 ;

.machine_readable/contractiles/Adjustfile.a2ml

@@ -1,4 +1,6 @@
 # SPDX-License-Identifier: MPL-2.0
+# SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+
 # Adjustfile — Drift-tolerance contract for my-lang
 # Author: Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 #

.machine_readable/contractiles/Intentfile.a2ml

@@ -1,4 +1,6 @@
 # SPDX-License-Identifier: MPL-2.0
+# SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+
 # Intentfile (A2ML Canonical) — north-star contractile for my-lang
 # Author: Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 #

.machine_readable/contractiles/Justfile

@@ -1,4 +1,6 @@
 # SPDX-License-Identifier: MPL-2.0
+# SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+
 # Justfile - hyperpolymath standard task runner
 
 default:

.machine_readable/contractiles/Mustfile.a2ml

@@ -1,4 +1,6 @@
 # SPDX-License-Identifier: MPL-2.0
+# SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+
 # Mustfile — Physical state contract for my-lang
 # Author: Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 #

.machine_readable/contractiles/README.adoc

@@ -1,6 +1,6 @@
 // SPDX-License-Identifier: CC-BY-SA-4.0
-// Owner: Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
-// Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
+// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+
 = Contractiles (my-lang)
 :toc:
 :sectnums:

.machine_readable/contractiles/Trustfile.a2ml

@@ -1,4 +1,6 @@
 # SPDX-License-Identifier: MPL-2.0
+# SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+
 # Trustfile — Trust boundaries and integrity invariants for my-lang
 # Author: Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 #

.machine_readable/contractiles/bust/idris2-parity-lag.a2ml

@@ -1,4 +1,6 @@
 # SPDX-License-Identifier: MPL-2.0
+# SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+
 # bust/idris2-parity-lag.a2ml — Failure mode: Idris2 twin lags Coq canonical
 # Author: Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 #

.machine_readable/contractiles/bust/proof-ci-gate-absent.a2ml

@@ -1,4 +1,6 @@
 # SPDX-License-Identifier: MPL-2.0
+# SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+
 # bust/proof-ci-gate-absent.a2ml — Failure mode: proof CI not running
 # Author: Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 #

.machine_readable/contractiles/dust/detach-echo-types-plugin.a2ml

@@ -1,4 +1,6 @@
 # SPDX-License-Identifier: MPL-2.0
+# SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+
 # dust/detach-echo-types-plugin.a2ml — Cleanup intention: detach echo-types integration
 # Author: Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 #

.machine_readable/contractiles/dust/uninstall-coq-toolchain.a2ml

@@ -1,4 +1,6 @@
 # SPDX-License-Identifier: MPL-2.0
+# SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+
 # dust/uninstall-coq-toolchain.a2ml — Cleanup intention: remove Coq toolchain
 # Author: Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 #

.machine_readable/self-validating/my-lang-metadata.k9.ncl

@@ -1,6 +1,7 @@
 K9!
 # SPDX-License-Identifier: MPL-2.0
-# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
+# SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+
 # K9 Kennel-level guard: my-lang project metadata and dialect invariants
 # Security Level: Kennel (data-only, no execution)
 # No signature required

.machine_readable/svc/README.adoc

@@ -1,6 +1,6 @@
 // SPDX-License-Identifier: CC-BY-SA-4.0
-// Owner: Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
-// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+
 = `.machine_readable/svc/` — Service components for my-lang
 :toc:
 

0-AI-MANIFEST.a2ml

@@ -1,4 +1,6 @@
 # SPDX-License-Identifier: MPL-2.0
+# SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+
 # 0-AI-MANIFEST.a2ml — AI Agent Entry Point
 # Repository: my-lang
 # Owner: hyperpolymath

AFFIRMATION.adoc

@@ -1,6 +1,6 @@
 // SPDX-License-Identifier: CC-BY-SA-4.0
-// Owner: Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 // SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+
 = Affirmation
 :toc: preamble
 :sectnums:

ANCHOR.scope-arrest.2026-01-01.Jewell.scm

@@ -1,4 +1,6 @@
 ;; SPDX-License-Identifier: MPL-2.0
+;; SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+
 ;; ANCHOR.scope-arrest.2026-01-01.Jewell.scm  (my-lang)
 (define anchor
   '((schema . "hyperpolymath.anchor/1")

AUTHORITY_STACK.mustfile-nickel.scm

@@ -1,4 +1,6 @@
 ;; SPDX-License-Identifier: MPL-2.0
+;; SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+
 ;; AUTHORITY_STACK.mustfile-nickel.scm
 ;; Shared drop for hyperpolymath repos: defines task routing + config authority.
 

CHANGELOG.md

@@ -1,7 +1,6 @@
-<!--
-SPDX-License-Identifier: CC-BY-SA-4.0
-Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
--->
+<!-- SPDX-License-Identifier: CC-BY-SA-4.0 -->
+<!-- SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk> -->
+
 # Changelog
 
 All notable changes to `my-lang` will be documented in this file.

CODE_OF_CONDUCT.md

@@ -1,7 +1,6 @@
-<!--
-SPDX-License-Identifier: CC-BY-SA-4.0
-Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
--->
+<!-- SPDX-License-Identifier: CC-BY-SA-4.0 -->
+<!-- SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk> -->
+
 # Contributor Covenant Code of Conduct
 
 ## Our Pledge

CONTRIBUTING.adoc

@@ -1,6 +1,6 @@
 // SPDX-License-Identifier: CC-BY-SA-4.0
-// Owner: Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
-// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+
 = Contributing Guide
 
 == Getting Started