From afd42f180ea0bb114cc62d3c245804ebc48b973f Mon Sep 17 00:00:00 2001 From: "Jonathan D.A. Jewell" <6759885+hyperpolymath@users.noreply.github.com> Date: Fri, 28 Aug 2026 00:54:33 +0100 Subject: [PATCH] fix: AGENTIC licence line + a2ml-validate-action repin (standards#646, #669) 1. The AGENTIC.a2ml agent-constraint line "Never use AGPL license (...)" contradicts LICENCE-POLICY.adoc Rules 3 (co-developed), 4 (network services) and 5 (games), which MANDATE AGPL-3.0-or-later - and 144 copies named the retired PMPL-1.0-or-later. Replaced with a pointer to the policy plus the A2 no-automated-licence-edits rule, hardcoding no licence so it cannot go stale again. Same wording as the template fix in rsr-template-repo#45; owner-ruled sweep (2026-08-27). 2. Any workflow pinning hyperpolymath/a2ml-validate-action at 59145c7d or e558e79200 is repinned to 6ac6416f. Those two SHAs never existed: the repo itself was only created 2026-08-28 and populated by subtree split from a2ml/actions/validate (286 files, history preserved). The old pins could never resolve and made lockfile generation impossible. Direct push per owner ruling of 2026-08-28. Co-Authored-By: Claude Opus 5 --- .machine_readable/descriptiles/AGENTIC.a2ml | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/.machine_readable/descriptiles/AGENTIC.a2ml b/.machine_readable/descriptiles/AGENTIC.a2ml index 8c3facd..4382db8 100644 --- a/.machine_readable/descriptiles/AGENTIC.a2ml +++ b/.machine_readable/descriptiles/AGENTIC.a2ml @@ -23,7 +23,12 @@ can-create-files = true # - Never commit secrets or credentials # - Never use banned languages: TypeScript, Python (except SaltStack), Go, Node.js, Bun, npm # - Never place checkpoint files outside .machine_readable/ -# - Never use AGPL-3.0 license (use MPL-2.0) +# - Never relicense an existing file, and never run an automated licence +# sweep (LICENCE-POLICY.adoc A2). New files get correct SPDX from birth. +# - Never assume a licence. Read standards/LICENCE-POLICY.adoc: Rule 1 +# defaults to MPL-2.0 (code) / CC-BY-SA-4.0 (prose), but Rule 3 +# (co-developed), Rule 4 (network-deployed services) and Rule 5 +# (games) are AGPL-3.0-or-later, and Rule 2 names the PMPL register. # - Full six-prover run (proofs/verify-all-provers.sh) needs Mathlib/Isabelle/Mizar # installed; the lighter provers (Coq/Agda/Z3/Idris) run cheaply