fix(licence): idaptik AGPL-3.0-or-later throughout (owner-ruled)

.github/workflows/dogfood-gate.yml

@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: AGPL-3.0-or-later
 # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
 #
 # dogfood-gate.yml — Hyperpolymath Dogfooding Quality Gate

.machine_readable/contractiles/bust/Bustfile.a2ml

@@ -1,5 +1,5 @@
 // Bustfile.a2ml — meta-repo bust contractile (breakage / rollback)
-// SPDX-License-Identifier: PMPL-1.0-or-later
+// SPDX-License-Identifier: AGPL-3.0-or-later
 
 Bust {
     name: "idaptik"

.machine_readable/contractiles/bust/bust.ncl

@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: AGPL-3.0-or-later
 # Bust — error-handling / failure-recovery runner
 #
 # Pairs with: Bustfile.a2ml (same directory)

.pre-commit-config.yaml

@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: AGPL-3.0-or-later
 # Pre-commit hooks for hyperpolymath RSR repos.
 # Install: pip install pre-commit && pre-commit install
 # Run manually: pre-commit run --all-files

generated/wokelangiser/consent/banner.html

@@ -1,4 +1,4 @@
-<!-- SPDX-License-Identifier: PMPL-1.0-or-later -->
+<!-- SPDX-License-Identifier: AGPL-3.0-or-later -->
 <!-- Generated by wokelangiser — consent banner template -->
 <!-- Project: idaptik | GDPR: true | CCPA: true -->
 <!-- DO NOT EDIT — regenerate with `wokelangiser generate` -->

generated/wokelangiser/consent/consent_manager.js

@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: PMPL-1.0-or-later
+// SPDX-License-Identifier: AGPL-3.0-or-later
 // Generated by wokelangiser — consent state machine
 // Project: idaptik
 // GDPR: true | CCPA: true

generated/wokelangiser/consent/gates.js

@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: PMPL-1.0-or-later
+// SPDX-License-Identifier: AGPL-3.0-or-later
 // Generated by wokelangiser — consent gate wrappers
 // DO NOT EDIT — regenerate with `wokelangiser generate`
 

shared/src/Coprocessor.res

@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: PMPL-1.0-or-later
+// SPDX-License-Identifier: AGPL-3.0-or-later
 // Coprocessor.res  High-performance execution framework
 
 module Domain = {

shared/src/CoprocessorManager.res

@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: PMPL-1.0-or-later
+// SPDX-License-Identifier: AGPL-3.0-or-later
 // CoprocessorManager.res  High-level coprocessor API for game code.
 //
 // This is the primary entry point for all coprocessor invocations from game

shared/src/Coprocessor_Backends.res

@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: PMPL-1.0-or-later
+// SPDX-License-Identifier: AGPL-3.0-or-later
 // Coprocessor_Backends.res  Coprocessor backend registry and initialisation.
 //
 // Registers ALL 10 coprocessor backends from 3 consolidated files:

shared/src/Coprocessor_Compute.res

@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: PMPL-1.0-or-later
+// SPDX-License-Identifier: AGPL-3.0-or-later
 // Coprocessor_Compute.res  Pure number-crunching coprocessor backends.
 //
 // Consolidates four stateless arithmetic backends into one file:

shared/src/Coprocessor_IO.res

@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: PMPL-1.0-or-later
+// SPDX-License-Identifier: AGPL-3.0-or-later
 // Coprocessor_IO.res  Per-device virtual filesystem coprocessor backend.
 //
 // Implements the IO domain for the IDApTIK coprocessor framework.

shared/src/Coprocessor_Security.res

@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: PMPL-1.0-or-later
+// SPDX-License-Identifier: AGPL-3.0-or-later
 // Coprocessor_Security.res  Security and analysis coprocessor backends.
 //
 // Consolidates five backends that serve the security gameplay loop:

shared/src/DLCLoader.res

@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: PMPL-1.0-or-later
+// SPDX-License-Identifier: AGPL-3.0-or-later
 // DLCLoader.res  Load and parse DLC puzzle packs from JSON files
 //
 // Parses the puzzle JSON format used in dlc/idaptik-reversible/data/puzzles/

shared/src/DeviceType.res

@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: PMPL-1.0-or-later
+// SPDX-License-Identifier: AGPL-3.0-or-later
 // DeviceType.res  Shared device type definitions
 //
 // Every network device in the game world has a type. This is shared between

shared/src/Diagnostics.res

@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: PMPL-1.0-or-later
+// SPDX-License-Identifier: AGPL-3.0-or-later
 // Diagnostics.res  Comprehensive self-diagnostic reporting for the coprocessor subsystem.
 //
 // Aggregates per-device resource usage and per-backend health statistics into

shared/src/GameEvent.res

@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: PMPL-1.0-or-later
+// SPDX-License-Identifier: AGPL-3.0-or-later
 // GameEvent.res  Cross-component event types
 //
 // These events flow between components at runtime. The VM emits events

shared/src/Inventory.res

@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: PMPL-1.0-or-later
+// SPDX-License-Identifier: AGPL-3.0-or-later
 // Inventory  physical toolkit system (ADR-0009)
 //
 // Jessica carries a small, finite set of physical items in her kit.

shared/src/Kernel.res

@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: PMPL-1.0-or-later
+// SPDX-License-Identifier: AGPL-3.0-or-later
 // Kernel.res  Resource-aware Coprocessor Scheduler
 //
 // Orchestrates coprocessor execution for a specific game device.

shared/src/Kernel_Compute.res

@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: PMPL-1.0-or-later
+// SPDX-License-Identifier: AGPL-3.0-or-later
 // Kernel_Compute.res  General-purpose compute domain scheduler.
 //
 // Handles all compute-bound coprocessor domains that do not have a

shared/src/Kernel_Crypto.res

@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: PMPL-1.0-or-later
+// SPDX-License-Identifier: AGPL-3.0-or-later
 // Kernel_Crypto.res  Cryptography domain kernel handler.
 //
 // Wraps Coprocessor_Security.Crypto.Backend with two layers of enforcement before

shared/src/Kernel_IO.res

@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: PMPL-1.0-or-later
+// SPDX-License-Identifier: AGPL-3.0-or-later
 // Kernel_IO.res  IO domain kernel handler with per-device sandbox enforcement.
 //
 // Wraps Coprocessor_IO.executeForDevice with a path-sandbox check before

shared/src/Kernel_Quantum.res

@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: PMPL-1.0-or-later
+// SPDX-License-Identifier: AGPL-3.0-or-later
 // Kernel_Quantum.res  Quantum domain kernel handler.
 //
 // Wraps Coprocessor_Security.Quantum.Backend with three layers of enforcement

shared/src/PortNames.res

@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: PMPL-1.0-or-later
+// SPDX-License-Identifier: AGPL-3.0-or-later
 // PortNames.res  Well-known VM I/O port names
 //
 // Conventions for port names used by SEND/RECV instructions.

shared/src/PuzzleFormat.res

@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: PMPL-1.0-or-later
+// SPDX-License-Identifier: AGPL-3.0-or-later
 // PuzzleFormat.res  Shared puzzle data format
 //
 // This is the canonical puzzle format used by:

shared/src/README.adoc

@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: PMPL-1.0-or-later
+// SPDX-License-Identifier: AGPL-3.0-or-later
 = IDApTIK Shared — Source Modules (`src/`)
 :toc: left
 :toc-title: Contents

shared/src/ResourceAccounting.res

@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: PMPL-1.0-or-later
+// SPDX-License-Identifier: AGPL-3.0-or-later
 // ResourceAccounting.res  Per-device resource tracking for the coprocessor kernel.
 //
 // Tracks compute units, memory (peak), and energy (cumulative) consumed by each

shared/src/RetryPolicy.res

@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: PMPL-1.0-or-later
+// SPDX-License-Identifier: AGPL-3.0-or-later
 // RetryPolicy.res  Configurable retry-with-backoff for coprocessor calls.
 //
 // Provides a reusable retry primitive consumed by the resilient CoprocessorManager