diff --git a/.devcontainer/Containerfile b/.devcontainer/Containerfile index b0a6fd1..441fe6a 100644 --- a/.devcontainer/Containerfile +++ b/.devcontainer/Containerfile @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # 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..c598297 100644 --- a/.devcontainer/README.adoc +++ b/.devcontainer/README.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: AGPL-3.0-or-later // Copyright (c) Jonathan D.A. Jewell = Dev Container Usage :author: Jonathan D.A. Jewell diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index 77de100..2fdd95b 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: AGPL-3.0-or-later // Copyright (c) {{CURRENT_YEAR}} Jonathan D.A. Jewell (hyperpolymath) // // Dev Container configuration for {{PROJECT_NAME}} diff --git a/.envrc b/.envrc index 5924957..10da76c 100644 --- a/.envrc +++ b/.envrc @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # Activate development environment # Install direnv: https://direnv.net/ diff --git a/.gitattributes b/.gitattributes index c95d5eb..729c304 100644 --- a/.gitattributes +++ b/.gitattributes @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # RSR-compliant .gitattributes * text=auto eol=lf diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS index 611b5a8..18f0d0c 100644 --- a/.github/CODEOWNERS +++ b/.github/CODEOWNERS @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # CODEOWNERS - Define code review assignments # See: https://docs.github.com/en/repositories/managing-your-repositorys-settings-and-features/customizing-your-repository/about-code-owners # diff --git a/.github/FUNDING.yml b/.github/FUNDING.yml index 688a442..38fe141 100644 --- a/.github/FUNDING.yml +++ b/.github/FUNDING.yml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # Funding platforms for hyperpolymath projects # See: https://docs.github.com/en/repositories/managing-your-repositorys-settings-and-features/customizing-your-repository/displaying-a-sponsor-button-in-your-repository diff --git a/.github/GOVERNANCE.md b/.github/GOVERNANCE.md index 1f33349..f2120a7 100644 --- a/.github/GOVERNANCE.md +++ b/.github/GOVERNANCE.md @@ -1,5 +1,5 @@ # Project Governance diff --git a/.github/MAINTAINERS b/.github/MAINTAINERS index 145c4e9..424ada3 100644 --- a/.github/MAINTAINERS +++ b/.github/MAINTAINERS @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # MAINTAINERS - Project maintainers and contact information # # Format: Name (role) diff --git a/.github/copilot-instructions.md b/.github/copilot-instructions.md index 5b2e546..b416b39 100644 --- a/.github/copilot-instructions.md +++ b/.github/copilot-instructions.md @@ -1,5 +1,5 @@ diff --git a/.github/dependabot.yml b/.github/dependabot.yml index d5cd4e9..2628deb 100644 --- a/.github/dependabot.yml +++ b/.github/dependabot.yml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # Dependabot configuration for RSR-compliant repositories # Covers common ecosystems - remove unused ones for your project diff --git a/.github/pull_request_template.md b/.github/pull_request_template.md index f3f7a34..95bd697 100644 --- a/.github/pull_request_template.md +++ b/.github/pull_request_template.md @@ -1,5 +1,5 @@ ## Summary diff --git a/.github/settings.yml b/.github/settings.yml index d1299fc..36aa43a 100644 --- a/.github/settings.yml +++ b/.github/settings.yml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # # Repository settings for probot/settings GitHub App. # https://github.com/probot/settings diff --git a/.github/workflows/governance.yml b/.github/workflows/governance.yml index 1b4e269..c4addf1 100644 --- a/.github/workflows/governance.yml +++ b/.github/workflows/governance.yml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # governance.yml — single wrapper calling the shared estate governance bundle # in hyperpolymath/standards instead of carrying per-repo copies. # diff --git a/.github/workflows/mirror.yml b/.github/workflows/mirror.yml index f8183ec..4a13d05 100644 --- a/.github/workflows/mirror.yml +++ b/.github/workflows/mirror.yml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell name: Mirror to Git Forges diff --git a/.gitignore b/.gitignore index deaa35b..c38f0a0 100644 --- a/.gitignore +++ b/.gitignore @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # RSR-compliant .gitignore # OS & Editor diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 7309fa9..257bc74 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # Primary CI/CD - GitLab is the source of truth stages: diff --git a/.guix-channel b/.guix-channel index f9bdf68..cba19db 100644 --- a/.guix-channel +++ b/.guix-channel @@ -1,4 +1,4 @@ -;; SPDX-License-Identifier: MPL-2.0 +;; SPDX-License-Identifier: AGPL-3.0-or-later ;; Copyright (c) {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}> ;; ;; Guix channel definition for {{PROJECT_NAME}} diff --git a/.machine_readable/0.1-AI-MANIFEST.a2ml b/.machine_readable/0.1-AI-MANIFEST.a2ml index 9d2bc7a..1f05688 100644 --- a/.machine_readable/0.1-AI-MANIFEST.a2ml +++ b/.machine_readable/0.1-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "machine-readable-pillar" diff --git a/.machine_readable/6a2/AGENTIC.a2ml b/.machine_readable/6a2/AGENTIC.a2ml index e3b1e4b..9cc8b65 100644 --- a/.machine_readable/6a2/AGENTIC.a2ml +++ b/.machine_readable/6a2/AGENTIC.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) # # AGENTIC.a2ml — AI agent constraints and capabilities diff --git a/.machine_readable/6a2/ECOSYSTEM.a2ml b/.machine_readable/6a2/ECOSYSTEM.a2ml index d11c37f..4ba7c75 100644 --- a/.machine_readable/6a2/ECOSYSTEM.a2ml +++ b/.machine_readable/6a2/ECOSYSTEM.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) # # ECOSYSTEM.a2ml — Project ecosystem position diff --git a/.machine_readable/6a2/META.a2ml b/.machine_readable/6a2/META.a2ml index 6e5dda1..5656e41 100644 --- a/.machine_readable/6a2/META.a2ml +++ b/.machine_readable/6a2/META.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) # # META.a2ml — Project meta-level information diff --git a/.machine_readable/6a2/NEUROSYM.a2ml b/.machine_readable/6a2/NEUROSYM.a2ml index 1acf7a3..d2cadb5 100644 --- a/.machine_readable/6a2/NEUROSYM.a2ml +++ b/.machine_readable/6a2/NEUROSYM.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) # # NEUROSYM.a2ml — Neurosymbolic integration metadata diff --git a/.machine_readable/6a2/PLAYBOOK.a2ml b/.machine_readable/6a2/PLAYBOOK.a2ml index 6408e1c..e2e7530 100644 --- a/.machine_readable/6a2/PLAYBOOK.a2ml +++ b/.machine_readable/6a2/PLAYBOOK.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) # # PLAYBOOK.a2ml — Operational playbook diff --git a/.machine_readable/6a2/STATE.a2ml b/.machine_readable/6a2/STATE.a2ml index a76d8dd..05c9952 100644 --- a/.machine_readable/6a2/STATE.a2ml +++ b/.machine_readable/6a2/STATE.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) # # STATE.a2ml — Project state checkpoint (META-TEMPLATE) diff --git a/.machine_readable/ADJUST.contractile b/.machine_readable/ADJUST.contractile index d9c798f..f672c1a 100644 --- a/.machine_readable/ADJUST.contractile +++ b/.machine_readable/ADJUST.contractile @@ -1,4 +1,4 @@ -; SPDX-License-Identifier: MPL-2.0 +; SPDX-License-Identifier: AGPL-3.0-or-later ; ADJUST.contractile — Accessibility invariants for rsr-template-repo ; "ADJUST" = Accessibility & Digital Justice for Universal Software & Technology ; diff --git a/.machine_readable/CLADE.a2ml b/.machine_readable/CLADE.a2ml index b14389c..1b3c063 100644 --- a/.machine_readable/CLADE.a2ml +++ b/.machine_readable/CLADE.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # Clade declaration — part of the gv-clade-index registry # See: https://github.com/hyperpolymath/gv-clade-index diff --git a/.machine_readable/ENSAID_CONFIG.a2ml b/.machine_readable/ENSAID_CONFIG.a2ml index eb09ca4..3f72734 100644 --- a/.machine_readable/ENSAID_CONFIG.a2ml +++ b/.machine_readable/ENSAID_CONFIG.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # Copyright (c) {{CURRENT_YEAR}} Jonathan D.A. Jewell (hyperpolymath) # # ENSAID_CONFIG.a2ml — eNSAID Environment Configuration diff --git a/.machine_readable/INTENT.contractile b/.machine_readable/INTENT.contractile index 970e55c..4aa61ba 100644 --- a/.machine_readable/INTENT.contractile +++ b/.machine_readable/INTENT.contractile @@ -1,4 +1,4 @@ -; SPDX-License-Identifier: MPL-2.0 +; SPDX-License-Identifier: AGPL-3.0-or-later ; INTENT.contractile — Purpose and scope for rsr-template-repo ; Helps LLM/SLM agents understand what this repo IS and IS NOT. ; diff --git a/.machine_readable/MUST.contractile b/.machine_readable/MUST.contractile index 48ffff1..c1a2a37 100644 --- a/.machine_readable/MUST.contractile +++ b/.machine_readable/MUST.contractile @@ -1,4 +1,4 @@ -; SPDX-License-Identifier: MPL-2.0 +; SPDX-License-Identifier: AGPL-3.0-or-later ; MUST.contractile — Baseline invariants for rsr-template-repo ; These constraints MUST NOT be violated. K9 validators enforce them. ; diff --git a/.machine_readable/TRUST.contractile b/.machine_readable/TRUST.contractile index 52fd1f0..b95b761 100644 --- a/.machine_readable/TRUST.contractile +++ b/.machine_readable/TRUST.contractile @@ -1,4 +1,4 @@ -; SPDX-License-Identifier: MPL-2.0 +; SPDX-License-Identifier: AGPL-3.0-or-later ; TRUST.contractile — Trust boundaries for rsr-template-repo ; Defines what LLM/SLM agents are trusted to do without asking. ; diff --git a/.machine_readable/ai/.clinerules b/.machine_readable/ai/.clinerules index 854d2ee..2bcfb39 100644 --- a/.machine_readable/ai/.clinerules +++ b/.machine_readable/ai/.clinerules @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # Copyright (c) {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}> # Authoritative source: docs/AI-CONVENTIONS.md diff --git a/.machine_readable/ai/.cursorrules b/.machine_readable/ai/.cursorrules index d3b9cee..0b23064 100644 --- a/.machine_readable/ai/.cursorrules +++ b/.machine_readable/ai/.cursorrules @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # Copyright (c) {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}> # Authoritative source: docs/AI-CONVENTIONS.md diff --git a/.machine_readable/ai/.windsurfrules b/.machine_readable/ai/.windsurfrules index 854d2ee..2bcfb39 100644 --- a/.machine_readable/ai/.windsurfrules +++ b/.machine_readable/ai/.windsurfrules @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # Copyright (c) {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}> # Authoritative source: docs/AI-CONVENTIONS.md diff --git a/.machine_readable/ai/0.2-AI-MANIFEST.a2ml b/.machine_readable/ai/0.2-AI-MANIFEST.a2ml index 869cbee..464fe2c 100644 --- a/.machine_readable/ai/0.2-AI-MANIFEST.a2ml +++ b/.machine_readable/ai/0.2-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "ai-registry" diff --git a/.machine_readable/anchors/0.2-AI-MANIFEST.a2ml b/.machine_readable/anchors/0.2-AI-MANIFEST.a2ml index 45038e1..47fc535 100644 --- a/.machine_readable/anchors/0.2-AI-MANIFEST.a2ml +++ b/.machine_readable/anchors/0.2-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "anchors-registry" diff --git a/.machine_readable/compliance/rust/deny.toml b/.machine_readable/compliance/rust/deny.toml index b096db8..c2395f4 100644 --- a/.machine_readable/compliance/rust/deny.toml +++ b/.machine_readable/compliance/rust/deny.toml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # cargo-deny configuration for RSR-compliant repositories # Run: cargo deny check # Docs: https://embarkstudios.github.io/cargo-deny/ diff --git a/.machine_readable/configs/0.2-AI-MANIFEST.a2ml b/.machine_readable/configs/0.2-AI-MANIFEST.a2ml index 6e41e6c..58452ea 100644 --- a/.machine_readable/configs/0.2-AI-MANIFEST.a2ml +++ b/.machine_readable/configs/0.2-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "configs-registry" diff --git a/.machine_readable/configs/git-cliff/cliff.toml b/.machine_readable/configs/git-cliff/cliff.toml index 02cf4e6..98a4d5d 100644 --- a/.machine_readable/configs/git-cliff/cliff.toml +++ b/.machine_readable/configs/git-cliff/cliff.toml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # Copyright (c) {{CURRENT_YEAR}} Jonathan D.A. Jewell (hyperpolymath) # # git-cliff configuration for conventional commit changelog generation. diff --git a/.machine_readable/contractiles/dust/Dustfile.a2ml b/.machine_readable/contractiles/dust/Dustfile.a2ml index be38a8c..d09e60e 100644 --- a/.machine_readable/contractiles/dust/Dustfile.a2ml +++ b/.machine_readable/contractiles/dust/Dustfile.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # Dustfile — Cleanup and hygiene contract # Author: Jonathan D.A. Jewell diff --git a/.machine_readable/contractiles/must/Mustfile.a2ml b/.machine_readable/contractiles/must/Mustfile.a2ml index 215c510..24993e4 100644 --- a/.machine_readable/contractiles/must/Mustfile.a2ml +++ b/.machine_readable/contractiles/must/Mustfile.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # Mustfile — Physical state contract # Author: Jonathan D.A. Jewell diff --git a/.machine_readable/contractiles/trust/Trustfile.a2ml b/.machine_readable/contractiles/trust/Trustfile.a2ml index 2e583a3..3a2e464 100644 --- a/.machine_readable/contractiles/trust/Trustfile.a2ml +++ b/.machine_readable/contractiles/trust/Trustfile.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # Trustfile — Integrity and provenance verification # Author: Jonathan D.A. Jewell diff --git a/.machine_readable/integrations/feedback-o-tron.a2ml b/.machine_readable/integrations/feedback-o-tron.a2ml index 691bb72..e9b31d8 100644 --- a/.machine_readable/integrations/feedback-o-tron.a2ml +++ b/.machine_readable/integrations/feedback-o-tron.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # OPTIONAL: Feedback-o-Tron Integration — Autonomous Bug Reporting # Delete this file if your project does not use feedback-o-tron. diff --git a/.machine_readable/integrations/groove.a2ml b/.machine_readable/integrations/groove.a2ml index 593da33..bc21951 100644 --- a/.machine_readable/integrations/groove.a2ml +++ b/.machine_readable/integrations/groove.a2ml @@ -1,4 +1,4 @@ -; SPDX-License-Identifier: MPL-2.0 +; SPDX-License-Identifier: AGPL-3.0-or-later ; Groove Protocol Manifest — declares API surfaces this project exposes. ; ; Used by V-triple connectors and the Groove bridge for snap-on/snap-off diff --git a/.machine_readable/integrations/proven.a2ml b/.machine_readable/integrations/proven.a2ml index 96a8a7d..0871c20 100644 --- a/.machine_readable/integrations/proven.a2ml +++ b/.machine_readable/integrations/proven.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # OPTIONAL: Proven Integration — Formally Verified Safety Library # Delete this file if your project does not use the proven library. # See https://github.com/hyperpolymath/proven for details. diff --git a/.machine_readable/integrations/verisimdb.a2ml b/.machine_readable/integrations/verisimdb.a2ml index 78ca1f0..106779d 100644 --- a/.machine_readable/integrations/verisimdb.a2ml +++ b/.machine_readable/integrations/verisimdb.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # OPTIONAL: VeriSimDB Feed — Cross-Repo Analytics Data Store # Delete this file if your project does not feed data to VeriSimDB. # See https://github.com/hyperpolymath/nextgen-databases for details. diff --git a/.machine_readable/integrations/vexometer.a2ml b/.machine_readable/integrations/vexometer.a2ml index 2f7ef80..57f86ba 100644 --- a/.machine_readable/integrations/vexometer.a2ml +++ b/.machine_readable/integrations/vexometer.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # OPTIONAL: Vexometer Integration — Irritation Surface Analysis # Delete this file if your project does not use vexometer. diff --git a/.machine_readable/policies/0.2-AI-MANIFEST.a2ml b/.machine_readable/policies/0.2-AI-MANIFEST.a2ml index 01a1914..db51801 100644 --- a/.machine_readable/policies/0.2-AI-MANIFEST.a2ml +++ b/.machine_readable/policies/0.2-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "policies-registry" diff --git a/.machine_readable/policies/MAINTENANCE-AXES.a2ml b/.machine_readable/policies/MAINTENANCE-AXES.a2ml index 9b9a944..f1944ff 100644 --- a/.machine_readable/policies/MAINTENANCE-AXES.a2ml +++ b/.machine_readable/policies/MAINTENANCE-AXES.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # Copyright (c) {{CURRENT_YEAR}} Jonathan D.A. Jewell (hyperpolymath) # # Canonical maintenance governance model diff --git a/.machine_readable/policies/MAINTENANCE-CHECKLIST.a2ml b/.machine_readable/policies/MAINTENANCE-CHECKLIST.a2ml index 40db158..5a1ccfb 100644 --- a/.machine_readable/policies/MAINTENANCE-CHECKLIST.a2ml +++ b/.machine_readable/policies/MAINTENANCE-CHECKLIST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # Cross-repo maintenance baseline (machine-readable canonical) [metadata] diff --git a/.machine_readable/policies/SOFTWARE-DEVELOPMENT-APPROACH.a2ml b/.machine_readable/policies/SOFTWARE-DEVELOPMENT-APPROACH.a2ml index d7967d2..f097726 100644 --- a/.machine_readable/policies/SOFTWARE-DEVELOPMENT-APPROACH.a2ml +++ b/.machine_readable/policies/SOFTWARE-DEVELOPMENT-APPROACH.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # General software development approach (machine-readable) [metadata] diff --git a/.machine_readable/scripts/0.2-AI-MANIFEST.a2ml b/.machine_readable/scripts/0.2-AI-MANIFEST.a2ml index 615df84..12c8459 100644 --- a/.machine_readable/scripts/0.2-AI-MANIFEST.a2ml +++ b/.machine_readable/scripts/0.2-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "automation-scripts-unit" diff --git a/.machine_readable/scripts/forge/0.3-AI-MANIFEST.a2ml b/.machine_readable/scripts/forge/0.3-AI-MANIFEST.a2ml index 4bbd6cf..7a191ce 100644 --- a/.machine_readable/scripts/forge/0.3-AI-MANIFEST.a2ml +++ b/.machine_readable/scripts/forge/0.3-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "automation-unit-forge" diff --git a/.machine_readable/scripts/forge/forge-sync.sh b/.machine_readable/scripts/forge/forge-sync.sh index 330e54b..6fc40fa 100755 --- a/.machine_readable/scripts/forge/forge-sync.sh +++ b/.machine_readable/scripts/forge/forge-sync.sh @@ -1,5 +1,5 @@ #!/usr/bin/env bash -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # # forge-sync.sh — Multi-forge mirroring script # diff --git a/.machine_readable/scripts/lifecycle/0.3-AI-MANIFEST.a2ml b/.machine_readable/scripts/lifecycle/0.3-AI-MANIFEST.a2ml index 3182d17..8820eb5 100644 --- a/.machine_readable/scripts/lifecycle/0.3-AI-MANIFEST.a2ml +++ b/.machine_readable/scripts/lifecycle/0.3-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "automation-unit-lifecycle" diff --git a/.machine_readable/scripts/lifecycle/install-tools.sh b/.machine_readable/scripts/lifecycle/install-tools.sh index 408df64..8b4ca65 100755 --- a/.machine_readable/scripts/lifecycle/install-tools.sh +++ b/.machine_readable/scripts/lifecycle/install-tools.sh @@ -1,5 +1,5 @@ #!/usr/bin/env bash -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # # install-tools.sh — Developer toolchain installer # diff --git a/.machine_readable/scripts/maintenance/maint-assault.sh b/.machine_readable/scripts/maintenance/maint-assault.sh index f170cab..b7e3c0d 100644 --- a/.machine_readable/scripts/maintenance/maint-assault.sh +++ b/.machine_readable/scripts/maintenance/maint-assault.sh @@ -1,5 +1,5 @@ #!/usr/bin/env bash -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # # maint-assault.sh — High-rigor stress testing using panic-attacker # diff --git a/.machine_readable/scripts/verification/0.3-AI-MANIFEST.a2ml b/.machine_readable/scripts/verification/0.3-AI-MANIFEST.a2ml index 460e069..c6e027f 100644 --- a/.machine_readable/scripts/verification/0.3-AI-MANIFEST.a2ml +++ b/.machine_readable/scripts/verification/0.3-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "automation-unit-verification" diff --git a/.pre-commit-config.yaml b/.pre-commit-config.yaml index 29d0fef..a951e4d 100644 --- a/.pre-commit-config.yaml +++ b/.pre-commit-config.yaml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# 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 diff --git a/.well-known/ai.txt b/.well-known/ai.txt index cc7cbc3..894d9da 100644 --- a/.well-known/ai.txt +++ b/.well-known/ai.txt @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # ai.txt - AI interaction policy # See: https://site.spawning.ai/spawning-ai-txt diff --git a/.well-known/humans.txt b/.well-known/humans.txt index f57452c..90a7a02 100644 --- a/.well-known/humans.txt +++ b/.well-known/humans.txt @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # humanstxt.org /* TEAM */ diff --git a/.well-known/security.txt b/.well-known/security.txt index 5414d50..0bcf7ea 100644 --- a/.well-known/security.txt +++ b/.well-known/security.txt @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # RFC 9116 - security.txt # https://securitytxt.org/ diff --git a/AUDIT.adoc b/AUDIT.adoc index 0f4f5ac..581e992 100644 --- a/AUDIT.adoc +++ b/AUDIT.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: AGPL-3.0-or-later // Copyright (c) Jonathan D.A. Jewell = Audit Gate Codex diff --git a/CODE_OF_CONDUCT.md b/CODE_OF_CONDUCT.md index 9020def..5b66e93 100644 --- a/CODE_OF_CONDUCT.md +++ b/CODE_OF_CONDUCT.md @@ -1,5 +1,5 @@ # Contributor Covenant Code of Conduct diff --git a/Containerfile b/Containerfile index d7266bc..0f27d27 100644 --- a/Containerfile +++ b/Containerfile @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # Copyright (c) {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}> # # Containerfile for {{PROJECT_NAME}} diff --git a/EXPLAINME.adoc b/EXPLAINME.adoc index a418a9b..a876fb3 100644 --- a/EXPLAINME.adoc +++ b/EXPLAINME.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: AGPL-3.0-or-later // Copyright (c) Jonathan D.A. Jewell = RSR Template Repo - Explainme image:https://img.shields.io/badge/License-MPL_2.0-blue.svg[License: MPL-2.0,link="https://opensource.org/licenses/MPL-2.0"] @@ -75,4 +75,4 @@ Caveat: This project is licensed under the Mozilla Public License, v. 2.0. See the `LICENSE` file for details. -SPDX-License-Identifier: MPL-2.0 +SPDX-License-Identifier: AGPL-3.0-or-later diff --git a/Justfile b/Justfile index 8134631..ce9505b 100644 --- a/Justfile +++ b/Justfile @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) # # RSR Standard Justfile Template diff --git a/PROOF-NEEDS.md b/PROOF-NEEDS.md index 7e8631a..122979d 100644 --- a/PROOF-NEEDS.md +++ b/PROOF-NEEDS.md @@ -1,5 +1,5 @@ # Proof Requirements — {{PROJECT}} diff --git a/PROOF-STATUS.md b/PROOF-STATUS.md index aed5e41..da3bd4d 100644 --- a/PROOF-STATUS.md +++ b/PROOF-STATUS.md @@ -1,5 +1,5 @@ # Proof Status — {{PROJECT}} diff --git a/QUICKSTART-DEV.adoc b/QUICKSTART-DEV.adoc index 59a3cfd..f5b2220 100644 --- a/QUICKSTART-DEV.adoc +++ b/QUICKSTART-DEV.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: AGPL-3.0-or-later // Copyright (c) Jonathan D.A. Jewell // Template: QUICKSTART-DEV.adoc — clone → build → test → PR // Replace rsr-template-repo, {{BUILD_CMD}}, {{TEST_CMD}}, {{LANG_STACK}} with actuals diff --git a/QUICKSTART-MAINTAINER.adoc b/QUICKSTART-MAINTAINER.adoc index ab957b4..85b03e0 100644 --- a/QUICKSTART-MAINTAINER.adoc +++ b/QUICKSTART-MAINTAINER.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: AGPL-3.0-or-later // Copyright (c) Jonathan D.A. Jewell // Template: QUICKSTART-MAINTAINER.adoc — packaging, deploying, and maintaining // Replace rsr-template-repo, {{PACKAGE_NAME}}, {{DEPS}} with actuals diff --git a/QUICKSTART-USER.adoc b/QUICKSTART-USER.adoc index 4992e32..ccf319b 100644 --- a/QUICKSTART-USER.adoc +++ b/QUICKSTART-USER.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: AGPL-3.0-or-later // Copyright (c) Jonathan D.A. Jewell // Template: QUICKSTART-USER.adoc — 5-minute path to working software // Replace rsr-template-repo, Rsr Template Repo — See README.adoc for details., just run, Rsr Template Repo started successfully. with actuals diff --git a/READINESS.md b/READINESS.md index ba16ce0..e678eea 100644 --- a/READINESS.md +++ b/READINESS.md @@ -1,5 +1,5 @@ diff --git a/ROADMAP.adoc b/ROADMAP.adoc index 128ed39..68ca853 100644 --- a/ROADMAP.adoc +++ b/ROADMAP.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: AGPL-3.0-or-later // Copyright (c) Jonathan D.A. Jewell = YOUR Template Repo Roadmap diff --git a/SECURITY.md b/SECURITY.md index 88df5ba..dc4850e 100644 --- a/SECURITY.md +++ b/SECURITY.md @@ -1,5 +1,5 @@ # Security Policy diff --git a/TEMPLATE-STANDARDS-AUDIT.adoc b/TEMPLATE-STANDARDS-AUDIT.adoc index edd8c2c..6ccdf09 100644 --- a/TEMPLATE-STANDARDS-AUDIT.adoc +++ b/TEMPLATE-STANDARDS-AUDIT.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: AGPL-3.0-or-later // Copyright (c) Jonathan D.A. Jewell = Template Standards Audit Codex diff --git a/TOPOLOGY.md b/TOPOLOGY.md index 98995e1..ad1edda 100644 --- a/TOPOLOGY.md +++ b/TOPOLOGY.md @@ -1,5 +1,5 @@ diff --git a/container/.gatekeeper.yaml b/container/.gatekeeper.yaml index 4aac671..711b428 100644 --- a/container/.gatekeeper.yaml +++ b/container/.gatekeeper.yaml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # # Svalinn gatekeeper policy for {{PROJECT_NAME}} # diff --git a/container/0.1-AI-MANIFEST.a2ml b/container/0.1-AI-MANIFEST.a2ml index ccb5bc5..189b6d9 100644 --- a/container/0.1-AI-MANIFEST.a2ml +++ b/container/0.1-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "container-templates" diff --git a/container/Containerfile b/container/Containerfile index ba85260..c7d071d 100644 --- a/container/Containerfile +++ b/container/Containerfile @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # {{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..5b9df3b 100644 --- a/container/README.adoc +++ b/container/README.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: AGPL-3.0-or-later // Copyright (c) Jonathan D.A. Jewell = {{PROJECT_NAME}} Container Templates :toc: left diff --git a/container/compose.example.toml b/container/compose.example.toml index d8d717c..1426410 100644 --- a/container/compose.example.toml +++ b/container/compose.example.toml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # # Example selur-compose configuration — multi-service stack # diff --git a/container/compose.toml b/container/compose.toml index a14f8a0..3116823 100644 --- a/container/compose.toml +++ b/container/compose.toml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # # {{PROJECT_NAME}} selur-compose configuration # diff --git a/container/ct-build.sh b/container/ct-build.sh index a54a541..7741418 100755 --- a/container/ct-build.sh +++ b/container/ct-build.sh @@ -1,5 +1,5 @@ #!/usr/bin/env bash -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # # {{PROJECT_NAME}} — Cerro Torre build, sign, and verify pipeline # diff --git a/container/deploy.k9.ncl b/container/deploy.k9.ncl index 0ad0d04..de25c81 100644 --- a/container/deploy.k9.ncl +++ b/container/deploy.k9.ncl @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # 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 a7a0369..e8a691c 100755 --- a/container/entrypoint.sh +++ b/container/entrypoint.sh @@ -1,5 +1,5 @@ #!/bin/sh -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # {{PROJECT_NAME}} container entrypoint # # Handles signal propagation, startup logging, and health check diff --git a/container/manifest.toml b/container/manifest.toml index 46f2e40..c3853c6 100644 --- a/container/manifest.toml +++ b/container/manifest.toml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # # Cerro Torre manifest for {{PROJECT_NAME}} .ctp bundle # diff --git a/container/vordr.toml b/container/vordr.toml index af38fc5..f0fa3c7 100644 --- a/container/vordr.toml +++ b/container/vordr.toml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # # Vordr runtime monitoring configuration for {{PROJECT_NAME}} # diff --git a/contractile.just b/contractile.just index 9a5827b..1ef1a2b 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: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # === DUST (Recovery & Rollback) === # Source: Dustfile.a2ml diff --git a/docs/0.1-AI-MANIFEST.a2ml b/docs/0.1-AI-MANIFEST.a2ml index 7f79301..eb61ba8 100644 --- a/docs/0.1-AI-MANIFEST.a2ml +++ b/docs/0.1-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "docs-pillar" diff --git a/docs/RSR_OUTLINE.adoc b/docs/RSR_OUTLINE.adoc index eddc78b..6d1a0cb 100644 --- a/docs/RSR_OUTLINE.adoc +++ b/docs/RSR_OUTLINE.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: AGPL-3.0-or-later // Copyright (c) Jonathan D.A. Jewell = RSR Template Repository diff --git a/docs/STATE-VISUALIZER.adoc b/docs/STATE-VISUALIZER.adoc index ecaedb5..ee60193 100644 --- a/docs/STATE-VISUALIZER.adoc +++ b/docs/STATE-VISUALIZER.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: AGPL-3.0-or-later // Copyright (c) Jonathan D.A. Jewell = Project State Visualizer [source] diff --git a/docs/architecture/0.2-AI-MANIFEST.a2ml b/docs/architecture/0.2-AI-MANIFEST.a2ml index 028b503..cc7a8c9 100644 --- a/docs/architecture/0.2-AI-MANIFEST.a2ml +++ b/docs/architecture/0.2-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "architecture-track" diff --git a/docs/architecture/THREAT-MODEL.adoc b/docs/architecture/THREAT-MODEL.adoc index c7e5adf..30e9546 100644 --- a/docs/architecture/THREAT-MODEL.adoc +++ b/docs/architecture/THREAT-MODEL.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: AGPL-3.0-or-later // Copyright (c) Jonathan D.A. Jewell = Threat Model diff --git a/docs/attribution/0.2-AI-MANIFEST.a2ml b/docs/attribution/0.2-AI-MANIFEST.a2ml index 52beaea..0697c1f 100644 --- a/docs/attribution/0.2-AI-MANIFEST.a2ml +++ b/docs/attribution/0.2-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "attribution-unit" diff --git a/docs/attribution/MAINTAINERS.adoc b/docs/attribution/MAINTAINERS.adoc index becaa3e..91ebf97 100644 --- a/docs/attribution/MAINTAINERS.adoc +++ b/docs/attribution/MAINTAINERS.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: AGPL-3.0-or-later // Copyright (c) Jonathan D.A. Jewell = Maintainers :toc: preamble diff --git a/docs/decisions/0.2-AI-MANIFEST.a2ml b/docs/decisions/0.2-AI-MANIFEST.a2ml index ac26298..9e2effd 100644 --- a/docs/decisions/0.2-AI-MANIFEST.a2ml +++ b/docs/decisions/0.2-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "decisions-unit" diff --git a/docs/decisions/0000-template.adoc b/docs/decisions/0000-template.adoc index f8adaa3..0ff2a9e 100644 --- a/docs/decisions/0000-template.adoc +++ b/docs/decisions/0000-template.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: AGPL-3.0-or-later // Copyright (c) Jonathan D.A. Jewell = Architecture Decision Record: 0000-template diff --git a/docs/decisions/0001-adopt-rsr-standard.adoc b/docs/decisions/0001-adopt-rsr-standard.adoc index 8a233a0..6ace1a1 100644 --- a/docs/decisions/0001-adopt-rsr-standard.adoc +++ b/docs/decisions/0001-adopt-rsr-standard.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: AGPL-3.0-or-later // Copyright (c) Jonathan D.A. Jewell = Architecture Decision Record: 0001-adopt-rsr-standard diff --git a/docs/developer/0.2-AI-MANIFEST.a2ml b/docs/developer/0.2-AI-MANIFEST.a2ml index c16fcc7..8f922df 100644 --- a/docs/developer/0.2-AI-MANIFEST.a2ml +++ b/docs/developer/0.2-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "developer-unit" diff --git a/docs/governance/0.1-AI-MANIFEST.a2ml b/docs/governance/0.1-AI-MANIFEST.a2ml index 6e373bd..4eb2363 100644 --- a/docs/governance/0.1-AI-MANIFEST.a2ml +++ b/docs/governance/0.1-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "governance-pillar" diff --git a/docs/governance/CRG-CRITERIA.a2ml b/docs/governance/CRG-CRITERIA.a2ml index 99a1c4e..bfabd9a 100644 --- a/docs/governance/CRG-CRITERIA.a2ml +++ b/docs/governance/CRG-CRITERIA.a2ml @@ -1,4 +1,4 @@ -; SPDX-License-Identifier: MPL-2.0 +; SPDX-License-Identifier: AGPL-3.0-or-later ; Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) ; Component Readiness Grades (CRG) — Machine-readable specification diff --git a/docs/governance/MAINTENANCE-CHECKLIST.a2ml b/docs/governance/MAINTENANCE-CHECKLIST.a2ml index 40db158..5a1ccfb 100644 --- a/docs/governance/MAINTENANCE-CHECKLIST.a2ml +++ b/docs/governance/MAINTENANCE-CHECKLIST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # Cross-repo maintenance baseline (machine-readable canonical) [metadata] diff --git a/docs/governance/SOFTWARE-DEVELOPMENT-APPROACH.a2ml b/docs/governance/SOFTWARE-DEVELOPMENT-APPROACH.a2ml index d7967d2..f097726 100644 --- a/docs/governance/SOFTWARE-DEVELOPMENT-APPROACH.a2ml +++ b/docs/governance/SOFTWARE-DEVELOPMENT-APPROACH.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # General software development approach (machine-readable) [metadata] diff --git a/docs/governance/TSDM.a2ml b/docs/governance/TSDM.a2ml index f27036c..e4bccc2 100644 --- a/docs/governance/TSDM.a2ml +++ b/docs/governance/TSDM.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [TSDM_SPEC] id: "tsdm-standard" diff --git a/docs/governance/audit/0.2-AI-MANIFEST.a2ml b/docs/governance/audit/0.2-AI-MANIFEST.a2ml index 4722486..d2ca639 100644 --- a/docs/governance/audit/0.2-AI-MANIFEST.a2ml +++ b/docs/governance/audit/0.2-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "governance-axis-audit" diff --git a/docs/governance/audit/compliance/0.3-AI-MANIFEST.a2ml b/docs/governance/audit/compliance/0.3-AI-MANIFEST.a2ml index b13ec69..21e21f5 100644 --- a/docs/governance/audit/compliance/0.3-AI-MANIFEST.a2ml +++ b/docs/governance/audit/compliance/0.3-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "governance-unit-compliance" diff --git a/docs/governance/audit/effects/0.3-AI-MANIFEST.a2ml b/docs/governance/audit/effects/0.3-AI-MANIFEST.a2ml index 0bccae0..d4a969c 100644 --- a/docs/governance/audit/effects/0.3-AI-MANIFEST.a2ml +++ b/docs/governance/audit/effects/0.3-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "governance-unit-effects" diff --git a/docs/governance/audit/systems/0.3-AI-MANIFEST.a2ml b/docs/governance/audit/systems/0.3-AI-MANIFEST.a2ml index f97bc9c..be4cf59 100644 --- a/docs/governance/audit/systems/0.3-AI-MANIFEST.a2ml +++ b/docs/governance/audit/systems/0.3-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "governance-unit-systems" diff --git a/docs/governance/maintenance/0.2-AI-MANIFEST.a2ml b/docs/governance/maintenance/0.2-AI-MANIFEST.a2ml index 8e0dff5..93daf7c 100644 --- a/docs/governance/maintenance/0.2-AI-MANIFEST.a2ml +++ b/docs/governance/maintenance/0.2-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "governance-axis-maintenance" diff --git a/docs/governance/maintenance/adaptive/0.3-AI-MANIFEST.a2ml b/docs/governance/maintenance/adaptive/0.3-AI-MANIFEST.a2ml index 63d1a99..58fff17 100644 --- a/docs/governance/maintenance/adaptive/0.3-AI-MANIFEST.a2ml +++ b/docs/governance/maintenance/adaptive/0.3-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "governance-unit-adaptive" diff --git a/docs/governance/maintenance/corrective/0.3-AI-MANIFEST.a2ml b/docs/governance/maintenance/corrective/0.3-AI-MANIFEST.a2ml index 05cb89d..36388f5 100644 --- a/docs/governance/maintenance/corrective/0.3-AI-MANIFEST.a2ml +++ b/docs/governance/maintenance/corrective/0.3-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "governance-unit-corrective" diff --git a/docs/governance/maintenance/perfective/0.3-AI-MANIFEST.a2ml b/docs/governance/maintenance/perfective/0.3-AI-MANIFEST.a2ml index 832762f..5f1a193 100644 --- a/docs/governance/maintenance/perfective/0.3-AI-MANIFEST.a2ml +++ b/docs/governance/maintenance/perfective/0.3-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "governance-unit-perfective" diff --git a/docs/governance/planning/0.2-AI-MANIFEST.a2ml b/docs/governance/planning/0.2-AI-MANIFEST.a2ml index 80339e7..a8eb966 100644 --- a/docs/governance/planning/0.2-AI-MANIFEST.a2ml +++ b/docs/governance/planning/0.2-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "governance-axis-planning" diff --git a/docs/governance/planning/could/0.3-AI-MANIFEST.a2ml b/docs/governance/planning/could/0.3-AI-MANIFEST.a2ml index fc17a27..be5e7be 100644 --- a/docs/governance/planning/could/0.3-AI-MANIFEST.a2ml +++ b/docs/governance/planning/could/0.3-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "governance-unit-could" diff --git a/docs/governance/planning/must/0.3-AI-MANIFEST.a2ml b/docs/governance/planning/must/0.3-AI-MANIFEST.a2ml index 0987dae..696b240 100644 --- a/docs/governance/planning/must/0.3-AI-MANIFEST.a2ml +++ b/docs/governance/planning/must/0.3-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "governance-unit-must" diff --git a/docs/governance/planning/should/0.3-AI-MANIFEST.a2ml b/docs/governance/planning/should/0.3-AI-MANIFEST.a2ml index f492289..b0c11cb 100644 --- a/docs/governance/planning/should/0.3-AI-MANIFEST.a2ml +++ b/docs/governance/planning/should/0.3-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "governance-unit-should" diff --git a/docs/legal/0.2-AI-MANIFEST.a2ml b/docs/legal/0.2-AI-MANIFEST.a2ml index e547798..336052f 100644 --- a/docs/legal/0.2-AI-MANIFEST.a2ml +++ b/docs/legal/0.2-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "legal-track" diff --git a/docs/legal/EXHIBIT-A-ETHICAL-USE.txt b/docs/legal/EXHIBIT-A-ETHICAL-USE.txt index 0b20fca..5e54f7c 100644 --- a/docs/legal/EXHIBIT-A-ETHICAL-USE.txt +++ b/docs/legal/EXHIBIT-A-ETHICAL-USE.txt @@ -1,4 +1,4 @@ -SPDX-License-Identifier: MPL-2.0 +SPDX-License-Identifier: AGPL-3.0-or-later ================================================================================ EXHIBIT A — ETHICAL USE GUIDELINES diff --git a/docs/legal/EXHIBIT-B-QUANTUM-SAFE.txt b/docs/legal/EXHIBIT-B-QUANTUM-SAFE.txt index 7fba8c9..fd57ca7 100644 --- a/docs/legal/EXHIBIT-B-QUANTUM-SAFE.txt +++ b/docs/legal/EXHIBIT-B-QUANTUM-SAFE.txt @@ -1,4 +1,4 @@ -SPDX-License-Identifier: MPL-2.0 +SPDX-License-Identifier: AGPL-3.0-or-later ================================================================================ EXHIBIT B — QUANTUM-SAFE PROVENANCE SPECIFICATION diff --git a/docs/practice/0.2-AI-MANIFEST.a2ml b/docs/practice/0.2-AI-MANIFEST.a2ml index 257f3a4..3cdc74b 100644 --- a/docs/practice/0.2-AI-MANIFEST.a2ml +++ b/docs/practice/0.2-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "practice-unit" diff --git a/docs/practice/AI-CONVENTIONS.adoc b/docs/practice/AI-CONVENTIONS.adoc index c725bc5..77710ac 100644 --- a/docs/practice/AI-CONVENTIONS.adoc +++ b/docs/practice/AI-CONVENTIONS.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: AGPL-3.0-or-later // Copyright (c) Jonathan D.A. Jewell = AI Conventions diff --git a/docs/practice/STATE-VISUALIZER-GUIDE.adoc b/docs/practice/STATE-VISUALIZER-GUIDE.adoc index 8a82cea..32ddf75 100644 --- a/docs/practice/STATE-VISUALIZER-GUIDE.adoc +++ b/docs/practice/STATE-VISUALIZER-GUIDE.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: AGPL-3.0-or-later // Copyright (c) Jonathan D.A. Jewell = TOPOLOGY.md — Generation Guide Jonathan D.A. Jewell (hyperpolymath) diff --git a/docs/reports/0.2-AI-MANIFEST.a2ml b/docs/reports/0.2-AI-MANIFEST.a2ml index 5eb265d..0227853 100644 --- a/docs/reports/0.2-AI-MANIFEST.a2ml +++ b/docs/reports/0.2-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "reports-unit" diff --git a/docs/reports/compliance/0.3-AI-MANIFEST.a2ml b/docs/reports/compliance/0.3-AI-MANIFEST.a2ml index 6b39752..e0942ae 100644 --- a/docs/reports/compliance/0.3-AI-MANIFEST.a2ml +++ b/docs/reports/compliance/0.3-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "report-unit-compliance" diff --git a/docs/reports/maintenance/0.3-AI-MANIFEST.a2ml b/docs/reports/maintenance/0.3-AI-MANIFEST.a2ml index 43eefe2..c88e0e1 100644 --- a/docs/reports/maintenance/0.3-AI-MANIFEST.a2ml +++ b/docs/reports/maintenance/0.3-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "report-unit-maintenance" diff --git a/docs/reports/performance/0.3-AI-MANIFEST.a2ml b/docs/reports/performance/0.3-AI-MANIFEST.a2ml index 40c0954..1f90211 100644 --- a/docs/reports/performance/0.3-AI-MANIFEST.a2ml +++ b/docs/reports/performance/0.3-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "report-unit-performance" diff --git a/docs/reports/quality/0.3-AI-MANIFEST.a2ml b/docs/reports/quality/0.3-AI-MANIFEST.a2ml index d460edc..ef493fe 100644 --- a/docs/reports/quality/0.3-AI-MANIFEST.a2ml +++ b/docs/reports/quality/0.3-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "report-unit-quality" diff --git a/docs/reports/security/0.3-AI-MANIFEST.a2ml b/docs/reports/security/0.3-AI-MANIFEST.a2ml index 696ab59..990eae4 100644 --- a/docs/reports/security/0.3-AI-MANIFEST.a2ml +++ b/docs/reports/security/0.3-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "report-unit-security" diff --git a/docs/standards/0.2-AI-MANIFEST.a2ml b/docs/standards/0.2-AI-MANIFEST.a2ml index c147c6f..472b79c 100644 --- a/docs/standards/0.2-AI-MANIFEST.a2ml +++ b/docs/standards/0.2-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "standards-unit" diff --git a/docs/templates/contractiles/README.adoc b/docs/templates/contractiles/README.adoc index c544de6..5d2317c 100644 --- a/docs/templates/contractiles/README.adoc +++ b/docs/templates/contractiles/README.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: AGPL-3.0-or-later // Copyright (c) Jonathan D.A. Jewell = Contractile Templates diff --git a/docs/templates/contractiles/dust/Dustfile.a2ml b/docs/templates/contractiles/dust/Dustfile.a2ml index 903af2c..5549989 100644 --- a/docs/templates/contractiles/dust/Dustfile.a2ml +++ b/docs/templates/contractiles/dust/Dustfile.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # Dustfile.a2ml — BLANK TEMPLATE # Replace this with your project's contractile. # See .machine_readable/contractiles/ for a working example. diff --git a/docs/templates/contractiles/must/Mustfile.a2ml b/docs/templates/contractiles/must/Mustfile.a2ml index d08796f..77e5ec1 100644 --- a/docs/templates/contractiles/must/Mustfile.a2ml +++ b/docs/templates/contractiles/must/Mustfile.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # Mustfile.a2ml — BLANK TEMPLATE # Replace this with your project's contractile. # See .machine_readable/contractiles/ for a working example. diff --git a/docs/templates/contractiles/trust/Trustfile.a2ml b/docs/templates/contractiles/trust/Trustfile.a2ml index 842c6b0..f8dcea7 100644 --- a/docs/templates/contractiles/trust/Trustfile.a2ml +++ b/docs/templates/contractiles/trust/Trustfile.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # Trustfile.a2ml — BLANK TEMPLATE # Replace this with your project's contractile. # See .machine_readable/contractiles/ for a working example. diff --git a/docs/theory/0.2-AI-MANIFEST.a2ml b/docs/theory/0.2-AI-MANIFEST.a2ml index 93df187..51b679e 100644 --- a/docs/theory/0.2-AI-MANIFEST.a2ml +++ b/docs/theory/0.2-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "theory-track" diff --git a/docs/theory/computing/0.3-AI-MANIFEST.a2ml b/docs/theory/computing/0.3-AI-MANIFEST.a2ml index f387d08..37282fb 100644 --- a/docs/theory/computing/0.3-AI-MANIFEST.a2ml +++ b/docs/theory/computing/0.3-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "theory-unit-computing" diff --git a/docs/theory/formalisms/0.3-AI-MANIFEST.a2ml b/docs/theory/formalisms/0.3-AI-MANIFEST.a2ml index cdc2baa..15761be 100644 --- a/docs/theory/formalisms/0.3-AI-MANIFEST.a2ml +++ b/docs/theory/formalisms/0.3-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "theory-unit-formalisms" diff --git a/docs/theory/mathematics/0.3-AI-MANIFEST.a2ml b/docs/theory/mathematics/0.3-AI-MANIFEST.a2ml index 677a4da..01dc5dd 100644 --- a/docs/theory/mathematics/0.3-AI-MANIFEST.a2ml +++ b/docs/theory/mathematics/0.3-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "theory-unit-mathematics" diff --git a/docs/theory/ontologies/0.3-AI-MANIFEST.a2ml b/docs/theory/ontologies/0.3-AI-MANIFEST.a2ml index d888cee..f5cb943 100644 --- a/docs/theory/ontologies/0.3-AI-MANIFEST.a2ml +++ b/docs/theory/ontologies/0.3-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "theory-unit-ontologies" diff --git a/docs/theory/other/0.3-AI-MANIFEST.a2ml b/docs/theory/other/0.3-AI-MANIFEST.a2ml index 166ed9e..6d42b11 100644 --- a/docs/theory/other/0.3-AI-MANIFEST.a2ml +++ b/docs/theory/other/0.3-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "theory-unit-other" diff --git a/docs/theory/socio-technical/0.3-AI-MANIFEST.a2ml b/docs/theory/socio-technical/0.3-AI-MANIFEST.a2ml index 8919522..bf7ba77 100644 --- a/docs/theory/socio-technical/0.3-AI-MANIFEST.a2ml +++ b/docs/theory/socio-technical/0.3-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "theory-unit-socio-technical" diff --git a/docs/whitepapers/0.2-AI-MANIFEST.a2ml b/docs/whitepapers/0.2-AI-MANIFEST.a2ml index c936101..cf09aaa 100644 --- a/docs/whitepapers/0.2-AI-MANIFEST.a2ml +++ b/docs/whitepapers/0.2-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "whitepapers-track" diff --git a/docs/whitepapers/academic/0.3-AI-MANIFEST.a2ml b/docs/whitepapers/academic/0.3-AI-MANIFEST.a2ml index ceb8a1e..7077dee 100644 --- a/docs/whitepapers/academic/0.3-AI-MANIFEST.a2ml +++ b/docs/whitepapers/academic/0.3-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "academic-unit" diff --git a/docs/whitepapers/industry/0.3-AI-MANIFEST.a2ml b/docs/whitepapers/industry/0.3-AI-MANIFEST.a2ml index 20156dd..0da7ccd 100644 --- a/docs/whitepapers/industry/0.3-AI-MANIFEST.a2ml +++ b/docs/whitepapers/industry/0.3-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "industry-unit" diff --git a/docs/whitepapers/outreach/0.3-AI-MANIFEST.a2ml b/docs/whitepapers/outreach/0.3-AI-MANIFEST.a2ml index ed7e152..c1f851d 100644 --- a/docs/whitepapers/outreach/0.3-AI-MANIFEST.a2ml +++ b/docs/whitepapers/outreach/0.3-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "whitepapers-track-outreach" diff --git a/docs/wikis/0.2-AI-MANIFEST.a2ml b/docs/wikis/0.2-AI-MANIFEST.a2ml index f071ca8..f75ccc4 100644 --- a/docs/wikis/0.2-AI-MANIFEST.a2ml +++ b/docs/wikis/0.2-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "wikis-track" diff --git a/eclexiaiser.toml b/eclexiaiser.toml index df7ace4..83d2d21 100644 --- a/eclexiaiser.toml +++ b/eclexiaiser.toml @@ -1,5 +1,5 @@ # eclexiaiser manifest — energy/carbon resource budgets -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later [project] name = "rsr-template-repo" diff --git a/features/0.1-AI-MANIFEST.a2ml b/features/0.1-AI-MANIFEST.a2ml index dc3e4ee..eff7b02 100644 --- a/features/0.1-AI-MANIFEST.a2ml +++ b/features/0.1-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "features-pillar" diff --git a/features/boj-server/0.2-AI-MANIFEST.a2ml b/features/boj-server/0.2-AI-MANIFEST.a2ml index c77798c..ba24454 100644 --- a/features/boj-server/0.2-AI-MANIFEST.a2ml +++ b/features/boj-server/0.2-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "feature-unit-boj-server" diff --git a/features/panic-attacker/0.2-AI-MANIFEST.a2ml b/features/panic-attacker/0.2-AI-MANIFEST.a2ml index e61ad24..1f361c7 100644 --- a/features/panic-attacker/0.2-AI-MANIFEST.a2ml +++ b/features/panic-attacker/0.2-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "feature-unit-panic-attacker" diff --git a/features/ssg/0.2-AI-MANIFEST.a2ml b/features/ssg/0.2-AI-MANIFEST.a2ml index 121c5ae..04a741d 100644 --- a/features/ssg/0.2-AI-MANIFEST.a2ml +++ b/features/ssg/0.2-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "feature-unit-ssg" diff --git a/features/ssg/ssg-bootstrap.sh b/features/ssg/ssg-bootstrap.sh index 0ce6171..a99b7e5 100755 --- a/features/ssg/ssg-bootstrap.sh +++ b/features/ssg/ssg-bootstrap.sh @@ -1,5 +1,5 @@ #!/usr/bin/env bash -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # # ssg-bootstrap.sh — Universal SSG Initialisation Helper # diff --git a/flake.nix b/flake.nix index ded161e..32e448d 100644 --- a/flake.nix +++ b/flake.nix @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # Copyright (c) {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}> # # Nix flake for {{PROJECT_NAME}} diff --git a/guix.scm b/guix.scm index 7be9470..6839320 100644 --- a/guix.scm +++ b/guix.scm @@ -1,4 +1,4 @@ -;; SPDX-License-Identifier: MPL-2.0 +;; SPDX-License-Identifier: AGPL-3.0-or-later ;; Copyright (c) {{CURRENT_YEAR}} Jonathan D.A. Jewell (hyperpolymath) ;; ;; Guix package definition for {{PROJECT_NAME}} diff --git a/scripts/validate-template.sh b/scripts/validate-template.sh index f053202..269e2f7 100755 --- a/scripts/validate-template.sh +++ b/scripts/validate-template.sh @@ -1,5 +1,5 @@ #!/bin/bash -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) # # RSR Template Validation Script diff --git a/selur-compose.toml b/selur-compose.toml index 960ddbe..3a6bd85 100644 --- a/selur-compose.toml +++ b/selur-compose.toml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) # # Stapeln service definition for rsr-template-repo diff --git a/setup.sh b/setup.sh index fb5294f..4f6470b 100755 --- a/setup.sh +++ b/setup.sh @@ -1,5 +1,5 @@ #!/bin/sh -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # setup.sh — Universal setup script for rsr-template-repo # # Detects your shell, platform, and installs prerequisites. @@ -252,7 +252,7 @@ main() { # Write report REPORT_FILE="INSTALL-SECURITY-REPORT.adoc" { - printf "// SPDX-License-Identifier: MPL-2.0\n" + printf "// SPDX-License-Identifier: AGPL-3.0-or-later\n" printf "= Install Security Report\n" printf ":date: %s\n\n" "$(date -Iseconds 2>/dev/null || date)" printf "== Platform\n" diff --git a/src/0.1-AI-MANIFEST.a2ml b/src/0.1-AI-MANIFEST.a2ml index c92e124..7170c5d 100644 --- a/src/0.1-AI-MANIFEST.a2ml +++ b/src/0.1-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "source-pillar" diff --git a/src/aspects/0.2-AI-MANIFEST.a2ml b/src/aspects/0.2-AI-MANIFEST.a2ml index 3d5b209..ba77eb7 100644 --- a/src/aspects/0.2-AI-MANIFEST.a2ml +++ b/src/aspects/0.2-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "source-unit-aspects" diff --git a/src/aspects/integrity/0.3-AI-MANIFEST.a2ml b/src/aspects/integrity/0.3-AI-MANIFEST.a2ml index f114cbd..99e5ee9 100644 --- a/src/aspects/integrity/0.3-AI-MANIFEST.a2ml +++ b/src/aspects/integrity/0.3-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "aspect-unit-integrity" diff --git a/src/aspects/observability/0.3-AI-MANIFEST.a2ml b/src/aspects/observability/0.3-AI-MANIFEST.a2ml index e16cbdf..92ebf4f 100644 --- a/src/aspects/observability/0.3-AI-MANIFEST.a2ml +++ b/src/aspects/observability/0.3-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "aspect-unit-observability" diff --git a/src/aspects/security/0.3-AI-MANIFEST.a2ml b/src/aspects/security/0.3-AI-MANIFEST.a2ml index 0996536..0211366 100644 --- a/src/aspects/security/0.3-AI-MANIFEST.a2ml +++ b/src/aspects/security/0.3-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "aspect-unit-security" diff --git a/src/bridges/0.2-AI-MANIFEST.a2ml b/src/bridges/0.2-AI-MANIFEST.a2ml index 3d3e27a..d50f066 100644 --- a/src/bridges/0.2-AI-MANIFEST.a2ml +++ b/src/bridges/0.2-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "source-unit-bridges" diff --git a/src/contracts/0.2-AI-MANIFEST.a2ml b/src/contracts/0.2-AI-MANIFEST.a2ml index 0bd9198..37f1941 100644 --- a/src/contracts/0.2-AI-MANIFEST.a2ml +++ b/src/contracts/0.2-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "source-unit-contracts" diff --git a/src/core/0.2-AI-MANIFEST.a2ml b/src/core/0.2-AI-MANIFEST.a2ml index 22846c7..6af7ffd 100644 --- a/src/core/0.2-AI-MANIFEST.a2ml +++ b/src/core/0.2-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "source-unit-core" diff --git a/src/definitions/0.2-AI-MANIFEST.a2ml b/src/definitions/0.2-AI-MANIFEST.a2ml index e54f4da..aec3819 100644 --- a/src/definitions/0.2-AI-MANIFEST.a2ml +++ b/src/definitions/0.2-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "source-unit-definitions" diff --git a/src/errors/0.2-AI-MANIFEST.a2ml b/src/errors/0.2-AI-MANIFEST.a2ml index dddcc6c..d54c7a5 100644 --- a/src/errors/0.2-AI-MANIFEST.a2ml +++ b/src/errors/0.2-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "source-unit-errors" diff --git a/src/interface/0.2-AI-MANIFEST.a2ml b/src/interface/0.2-AI-MANIFEST.a2ml index 7f0f471..618ffe8 100644 --- a/src/interface/0.2-AI-MANIFEST.a2ml +++ b/src/interface/0.2-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "interface-seams-unit" diff --git a/src/interface/Abi/0.3-AI-MANIFEST.a2ml b/src/interface/Abi/0.3-AI-MANIFEST.a2ml index 91cafa0..1eff53c 100644 --- a/src/interface/Abi/0.3-AI-MANIFEST.a2ml +++ b/src/interface/Abi/0.3-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "abi-logic" diff --git a/src/interface/Abi/Foreign.idr b/src/interface/Abi/Foreign.idr index ca66b08..26b5455 100644 --- a/src/interface/Abi/Foreign.idr +++ b/src/interface/Abi/Foreign.idr @@ -1,4 +1,4 @@ --- SPDX-License-Identifier: MPL-2.0 +-- SPDX-License-Identifier: AGPL-3.0-or-later -- Copyright (c) Jonathan D.A. Jewell ||| Foreign Function Interface Bridge ||| diff --git a/src/interface/Abi/Layout.idr b/src/interface/Abi/Layout.idr index e1f4275..f499d87 100644 --- a/src/interface/Abi/Layout.idr +++ b/src/interface/Abi/Layout.idr @@ -1,4 +1,4 @@ --- SPDX-License-Identifier: MPL-2.0 +-- SPDX-License-Identifier: AGPL-3.0-or-later -- Copyright (c) Jonathan D.A. Jewell ||| ABI Layout Verification ||| diff --git a/src/interface/Abi/Types.idr b/src/interface/Abi/Types.idr index 9d30051..1cfe777 100644 --- a/src/interface/Abi/Types.idr +++ b/src/interface/Abi/Types.idr @@ -1,4 +1,4 @@ --- SPDX-License-Identifier: MPL-2.0 +-- SPDX-License-Identifier: AGPL-3.0-or-later -- Copyright (c) Jonathan D.A. Jewell ||| ABI Type Definitions Template ||| diff --git a/src/interface/ffi/0.3-AI-MANIFEST.a2ml b/src/interface/ffi/0.3-AI-MANIFEST.a2ml index bf456ae..52eea6f 100644 --- a/src/interface/ffi/0.3-AI-MANIFEST.a2ml +++ b/src/interface/ffi/0.3-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "ffi-logic" diff --git a/src/interface/ffi/build.zig b/src/interface/ffi/build.zig index 2607c11..cf32641 100644 --- a/src/interface/ffi/build.zig +++ b/src/interface/ffi/build.zig @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: AGPL-3.0-or-later // Copyright (c) Jonathan D.A. Jewell // // Template FFI Build Configuration (Zig 0.15.2+) diff --git a/src/interface/ffi/src/0.4-AI-MANIFEST.a2ml b/src/interface/ffi/src/0.4-AI-MANIFEST.a2ml index 5b5f1b1..f3f0bd2 100644 --- a/src/interface/ffi/src/0.4-AI-MANIFEST.a2ml +++ b/src/interface/ffi/src/0.4-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "src-unit" diff --git a/src/interface/ffi/src/main.zig b/src/interface/ffi/src/main.zig index 9c0cb75..c482df4 100644 --- a/src/interface/ffi/src/main.zig +++ b/src/interface/ffi/src/main.zig @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: AGPL-3.0-or-later // Copyright (c) Jonathan D.A. Jewell // {{PROJECT}} FFI Implementation // diff --git a/src/interface/ffi/test/0.4-AI-MANIFEST.a2ml b/src/interface/ffi/test/0.4-AI-MANIFEST.a2ml index e02427f..5b1eab7 100644 --- a/src/interface/ffi/test/0.4-AI-MANIFEST.a2ml +++ b/src/interface/ffi/test/0.4-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "test-unit" diff --git a/src/interface/ffi/test/integration_test.zig b/src/interface/ffi/test/integration_test.zig index 484e156..add8454 100644 --- a/src/interface/ffi/test/integration_test.zig +++ b/src/interface/ffi/test/integration_test.zig @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: AGPL-3.0-or-later // Copyright (c) Jonathan D.A. Jewell // RSR Template FFI Integration Tests // diff --git a/src/interface/generated/0.3-AI-MANIFEST.a2ml b/src/interface/generated/0.3-AI-MANIFEST.a2ml index 0088b80..9d4bd64 100644 --- a/src/interface/generated/0.3-AI-MANIFEST.a2ml +++ b/src/interface/generated/0.3-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "generated-logic" diff --git a/src/interface/generated/abi/0.4-AI-MANIFEST.a2ml b/src/interface/generated/abi/0.4-AI-MANIFEST.a2ml index 4eeb580..91cf408 100644 --- a/src/interface/generated/abi/0.4-AI-MANIFEST.a2ml +++ b/src/interface/generated/abi/0.4-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "abi-unit" diff --git a/stapeln.toml b/stapeln.toml index 703372f..3ef317c 100644 --- a/stapeln.toml +++ b/stapeln.toml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # stapeln.toml — Layer-based container build for rsr-template-repo # # stapeln builds containers as composable layers (German: "to stack"). diff --git a/tests/aspect_tests.sh b/tests/aspect_tests.sh index a2c127e..5dc1a46 100755 --- a/tests/aspect_tests.sh +++ b/tests/aspect_tests.sh @@ -1,5 +1,5 @@ #!/usr/bin/env bash -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) # # RSR Standard Aspect Test Template diff --git a/tests/e2e.sh b/tests/e2e.sh index 11143fc..f5c5a47 100755 --- a/tests/e2e.sh +++ b/tests/e2e.sh @@ -1,5 +1,5 @@ #!/usr/bin/env bash -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) # # RSR Standard E2E Test Template diff --git a/tests/e2e/template_instantiation_test.sh b/tests/e2e/template_instantiation_test.sh index a9d4a09..06fba86 100755 --- a/tests/e2e/template_instantiation_test.sh +++ b/tests/e2e/template_instantiation_test.sh @@ -1,5 +1,5 @@ #!/bin/bash -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) # # E2E Test: Template Instantiation diff --git a/tests/fuzz/README.adoc b/tests/fuzz/README.adoc index 44ae058..00018b1 100644 --- a/tests/fuzz/README.adoc +++ b/tests/fuzz/README.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: AGPL-3.0-or-later // Copyright (c) Jonathan D.A. Jewell = Fuzz Testing :toc: diff --git a/tests/workflows/validate_workflows_test.sh b/tests/workflows/validate_workflows_test.sh index 614bb5a..a2a27f3 100755 --- a/tests/workflows/validate_workflows_test.sh +++ b/tests/workflows/validate_workflows_test.sh @@ -1,5 +1,5 @@ #!/bin/bash -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) # # Test: GitHub Workflows Validation diff --git a/verification/0.1-AI-MANIFEST.a2ml b/verification/0.1-AI-MANIFEST.a2ml index 3435bdb..6e6b874 100644 --- a/verification/0.1-AI-MANIFEST.a2ml +++ b/verification/0.1-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "verification-pillar" diff --git a/verification/benchmarks/0.2-AI-MANIFEST.a2ml b/verification/benchmarks/0.2-AI-MANIFEST.a2ml index d922a4c..a1720d6 100644 --- a/verification/benchmarks/0.2-AI-MANIFEST.a2ml +++ b/verification/benchmarks/0.2-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "benches-pillar" diff --git a/verification/coverage/0.2-AI-MANIFEST.a2ml b/verification/coverage/0.2-AI-MANIFEST.a2ml index 32b819e..f624d5c 100644 --- a/verification/coverage/0.2-AI-MANIFEST.a2ml +++ b/verification/coverage/0.2-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "verification-unit-coverage" diff --git a/verification/fuzzing/0.2-AI-MANIFEST.a2ml b/verification/fuzzing/0.2-AI-MANIFEST.a2ml index 5178d40..76601a9 100644 --- a/verification/fuzzing/0.2-AI-MANIFEST.a2ml +++ b/verification/fuzzing/0.2-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "fuzzing-unit" diff --git a/verification/proofs/0.2-AI-MANIFEST.a2ml b/verification/proofs/0.2-AI-MANIFEST.a2ml index 135e181..a8cd107 100644 --- a/verification/proofs/0.2-AI-MANIFEST.a2ml +++ b/verification/proofs/0.2-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "verification-unit-proofs" diff --git a/verification/proofs/README.adoc b/verification/proofs/README.adoc index 520f5e9..6e602b0 100644 --- a/verification/proofs/README.adoc +++ b/verification/proofs/README.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: AGPL-3.0-or-later // Copyright (c) Jonathan D.A. Jewell = Formal Verification Proofs diff --git a/verification/proofs/agda/Properties.agda b/verification/proofs/agda/Properties.agda index d78d9d0..115e275 100644 --- a/verification/proofs/agda/Properties.agda +++ b/verification/proofs/agda/Properties.agda @@ -1,4 +1,4 @@ --- SPDX-License-Identifier: MPL-2.0 +-- SPDX-License-Identifier: AGPL-3.0-or-later -- Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) -- -- Agda Proof Template: Inductive and coinductive properties diff --git a/verification/proofs/coq/TypeSafety.v b/verification/proofs/coq/TypeSafety.v index 8f5b418..a2d29eb 100644 --- a/verification/proofs/coq/TypeSafety.v +++ b/verification/proofs/coq/TypeSafety.v @@ -1,4 +1,4 @@ -(* SPDX-License-Identifier: MPL-2.0 *) +(* SPDX-License-Identifier: AGPL-3.0-or-later *) (* Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) *) (* Coq Proof Template: Type system soundness diff --git a/verification/proofs/idris2/ABI/Compliance.idr b/verification/proofs/idris2/ABI/Compliance.idr index b94a5db..e1bdc3e 100644 --- a/verification/proofs/idris2/ABI/Compliance.idr +++ b/verification/proofs/idris2/ABI/Compliance.idr @@ -1,4 +1,4 @@ --- SPDX-License-Identifier: MPL-2.0 +-- SPDX-License-Identifier: AGPL-3.0-or-later -- Copyright (c) Jonathan D.A. Jewell -- -- ABI Proof: C ABI compliance diff --git a/verification/proofs/idris2/ABI/Foreign.idr b/verification/proofs/idris2/ABI/Foreign.idr index 1e550dd..d5ddf76 100644 --- a/verification/proofs/idris2/ABI/Foreign.idr +++ b/verification/proofs/idris2/ABI/Foreign.idr @@ -1,4 +1,4 @@ --- SPDX-License-Identifier: MPL-2.0 +-- SPDX-License-Identifier: AGPL-3.0-or-later -- Copyright (c) Jonathan D.A. Jewell -- -- ABI Proof: FFI function return type proofs diff --git a/verification/proofs/idris2/ABI/Layout.idr b/verification/proofs/idris2/ABI/Layout.idr index 9040a5e..fd6972d 100644 --- a/verification/proofs/idris2/ABI/Layout.idr +++ b/verification/proofs/idris2/ABI/Layout.idr @@ -1,4 +1,4 @@ --- SPDX-License-Identifier: MPL-2.0 +-- SPDX-License-Identifier: AGPL-3.0-or-later -- Copyright (c) Jonathan D.A. Jewell -- -- ABI Proof: Memory layout correctness diff --git a/verification/proofs/idris2/ABI/Platform.idr b/verification/proofs/idris2/ABI/Platform.idr index a8d6b94..2bed086 100644 --- a/verification/proofs/idris2/ABI/Platform.idr +++ b/verification/proofs/idris2/ABI/Platform.idr @@ -1,4 +1,4 @@ --- SPDX-License-Identifier: MPL-2.0 +-- SPDX-License-Identifier: AGPL-3.0-or-later -- Copyright (c) Jonathan D.A. Jewell -- -- ABI Proof: Platform-specific type size proofs diff --git a/verification/proofs/idris2/ABI/Pointers.idr b/verification/proofs/idris2/ABI/Pointers.idr index 31b6c5f..2bc05d7 100644 --- a/verification/proofs/idris2/ABI/Pointers.idr +++ b/verification/proofs/idris2/ABI/Pointers.idr @@ -1,4 +1,4 @@ --- SPDX-License-Identifier: MPL-2.0 +-- SPDX-License-Identifier: AGPL-3.0-or-later -- Copyright (c) Jonathan D.A. Jewell -- -- ABI Proof: Non-null pointer safety diff --git a/verification/proofs/idris2/Types.idr b/verification/proofs/idris2/Types.idr index cc7cce8..7b224b5 100644 --- a/verification/proofs/idris2/Types.idr +++ b/verification/proofs/idris2/Types.idr @@ -1,4 +1,4 @@ --- SPDX-License-Identifier: MPL-2.0 +-- SPDX-License-Identifier: AGPL-3.0-or-later -- Copyright (c) Jonathan D.A. Jewell -- -- Typing Proof: Core data type well-formedness diff --git a/verification/proofs/lean4/ApiTypes.lean b/verification/proofs/lean4/ApiTypes.lean index 9ed78b7..3e01192 100644 --- a/verification/proofs/lean4/ApiTypes.lean +++ b/verification/proofs/lean4/ApiTypes.lean @@ -1,4 +1,4 @@ --- SPDX-License-Identifier: MPL-2.0 +-- SPDX-License-Identifier: AGPL-3.0-or-later -- Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) -- -- Typing Proof: Public API type safety diff --git a/verification/proofs/tlaplus/StateMachine.tla b/verification/proofs/tlaplus/StateMachine.tla index f348494..49aa759 100644 --- a/verification/proofs/tlaplus/StateMachine.tla +++ b/verification/proofs/tlaplus/StateMachine.tla @@ -1,5 +1,5 @@ --------------------------- MODULE StateMachine ---------------------------- -(* SPDX-License-Identifier: MPL-2.0 *) +(* SPDX-License-Identifier: AGPL-3.0-or-later *) (* Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) *) (* *) (* TLA+ Specification Template: State Machine *) diff --git a/verification/safety_case/0.2-AI-MANIFEST.a2ml b/verification/safety_case/0.2-AI-MANIFEST.a2ml index d461915..56a8810 100644 --- a/verification/safety_case/0.2-AI-MANIFEST.a2ml +++ b/verification/safety_case/0.2-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "verification-unit-safety_case" diff --git a/verification/simulations/0.2-AI-MANIFEST.a2ml b/verification/simulations/0.2-AI-MANIFEST.a2ml index f890eca..711edb1 100644 --- a/verification/simulations/0.2-AI-MANIFEST.a2ml +++ b/verification/simulations/0.2-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "simulations-unit" diff --git a/verification/traceability/0.2-AI-MANIFEST.a2ml b/verification/traceability/0.2-AI-MANIFEST.a2ml index 9667766..334dfa5 100644 --- a/verification/traceability/0.2-AI-MANIFEST.a2ml +++ b/verification/traceability/0.2-AI-MANIFEST.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: AGPL-3.0-or-later --- ### [META] id: "verification-unit-traceability"