diff --git a/ipfs-overlay-tests.ipkg b/ipfs-overlay-tests.ipkg index c2b966b..a8c3086 100644 --- a/ipfs-overlay-tests.ipkg +++ b/ipfs-overlay-tests.ipkg @@ -1,4 +1,4 @@ --- SPDX-License-Identifier: PMPL-1.0-or-later +-- SPDX-License-Identifier: MPL-2.0 -- ipfs-overlay Idris2 test suite. Estate port 7/11 — both TS test files -- ported (config_structure + config_contracts, content-validation pattern). diff --git a/tests/idris2/ConfigContractsTest.idr b/tests/idris2/ConfigContractsTest.idr index 559fd1e..4ac8da4 100644 --- a/tests/idris2/ConfigContractsTest.idr +++ b/tests/idris2/ConfigContractsTest.idr @@ -1,4 +1,4 @@ --- SPDX-License-Identifier: PMPL-1.0-or-later +-- SPDX-License-Identifier: MPL-2.0 -- Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) -- -- Port of tests/contract/config_contracts_test.ts to Idris2, estate-rollout port 7/11. @@ -51,7 +51,7 @@ allSuites = ] , test "Contract: INVARIANT 3 - All Nickel files must have SPDX headers" $ do - let spdx = "SPDX-License-Identifier: PMPL-1.0-or-later" + let spdx = "SPDX-License-Identifier: MPL-2.0" a <- readFileToString "configs/bootstrap.ncl" b <- readFileToString "configs/ipfs-config.ncl" c <- readFileToString "configs/swarm.ncl" @@ -112,7 +112,7 @@ allSuites = ] , test "Contract: INVARIANT 9 - All scripts have SPDX headers" $ do - let spdx = "SPDX-License-Identifier: PMPL-1.0-or-later" + let spdx = "SPDX-License-Identifier: MPL-2.0" a <- readFileToString "scripts/init-node.sh" b <- readFileToString "scripts/health-check.sh" c <- readFileToString "scripts/generate-swarm-key.sh" diff --git a/tests/idris2/ConfigStructureTest.idr b/tests/idris2/ConfigStructureTest.idr index d211944..c5ab54f 100644 --- a/tests/idris2/ConfigStructureTest.idr +++ b/tests/idris2/ConfigStructureTest.idr @@ -1,4 +1,4 @@ --- SPDX-License-Identifier: PMPL-1.0-or-later +-- SPDX-License-Identifier: MPL-2.0 -- Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) -- -- Port of tests/unit/config_structure_test.ts to Idris2, estate-rollout port 7/11. @@ -38,7 +38,7 @@ allSuites = a <- readFileToString "configs/bootstrap.ncl" b <- readFileToString "configs/ipfs-config.ncl" c <- readFileToString "configs/swarm.ncl" - let spdx = "SPDX-License-Identifier: PMPL-1.0-or-later" + let spdx = "SPDX-License-Identifier: MPL-2.0" allPass [ assertTrue "bootstrap.ncl SPDX" (isInfixOf spdx a) , assertTrue "ipfs-config.ncl SPDX" (isInfixOf spdx b) diff --git a/tests/idris2/Test/Spec.idr b/tests/idris2/Test/Spec.idr index ff6a493..c7fe418 100644 --- a/tests/idris2/Test/Spec.idr +++ b/tests/idris2/Test/Spec.idr @@ -1,4 +1,4 @@ --- SPDX-License-Identifier: PMPL-1.0-or-later +-- SPDX-License-Identifier: MPL-2.0 -- Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) -- ||| Minimal Idris2 test harness for the Gossamer ABI test suite.