fix(license): final PMPL residue — 5 new test files + NOTICE + orphan PMPL.txt

NOTICE

@@ -2,21 +2,15 @@ Licensing Notice
 ================
 
 This project is authored by Jonathan D.A. Jewell (hyperpolymath) and
-is licensed under the Palimpsest License (PMPL-1.0-or-later).
+is licensed under the Mozilla Public License 2.0 (MPL-2.0).
 
-The PMPL-1.0-or-later is a philosophical extension of the Mozilla Public
-License 2.0, adding provisions for cryptographic provenance, emotional
-lineage preservation, and quantum-safe signatures. The full PMPL text is
-available in LICENSES/PMPL-1.0-or-later.txt.
+The full MPL-2.0 text is at:
+  LICENSE
+  LICENSES/MPL-2.0.txt
 
-For compatibility with automated license detection tools and platforms
-that require OSI-approved licenses, the root LICENSE file contains the
-standard Mozilla Public License 2.0 text. This ensures that package
-registries, CI systems, and other tooling correctly identify the license.
+Per the estate license policy, neurophone is a sole-owner repository
+and uses MPL-2.0 throughout — LICENSE file, package metadata, and all
+SPDX-License-Identifier source-file headers.
 
-The legally binding terms are:
-  - Source files: governed by PMPL-1.0-or-later (per SPDX headers)
-  - Combined works: compatible with MPL-2.0 (per PMPL Section 6)
-
-For more information about the Palimpsest License:
-  https://github.com/hyperpolymath/palimpsest-license
+For the MPL-2.0 license:
+  https://www.mozilla.org/en-US/MPL/2.0/

crates/bridge/tests/proptest_soundness.rs

@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: PMPL-1.0-or-later
+// SPDX-License-Identifier: MPL-2.0
 // SPDX-FileCopyrightText: 2025 Jonathan D.A. Jewell
 //! Property tests — bridge soundness (obligation 1.3, #90).
 //!

crates/esn/tests/proptest_numeric.rs

@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: PMPL-1.0-or-later
+// SPDX-License-Identifier: MPL-2.0
 // SPDX-FileCopyrightText: 2025 Jonathan D.A. Jewell
 //! Property tests — numeric containment (obligation 0.2, #87) for the ESN.
 //!

crates/lsm/tests/proptest_bounds.rs

@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: PMPL-1.0-or-later
+// SPDX-License-Identifier: MPL-2.0
 // SPDX-FileCopyrightText: 2025 Jonathan D.A. Jewell
 //! Property tests — LSM bounded dynamics (obligation 1.2, #89).
 //!

crates/lsm/tests/proptest_numeric.rs

@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: PMPL-1.0-or-later
+// SPDX-License-Identifier: MPL-2.0
 // SPDX-FileCopyrightText: 2025 Jonathan D.A. Jewell
 //! Property tests — numeric containment (obligation 0.2, #87) for the LSM.
 //!

crates/sensors/tests/proptest_numeric.rs

@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: PMPL-1.0-or-later
+// SPDX-License-Identifier: MPL-2.0
 // SPDX-FileCopyrightText: 2025 Jonathan D.A. Jewell
 //! Property tests — numeric containment (obligation 0.2, #87) for sensor filtering.
 //!

proofs/affine/README.adoc

@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: PMPL-1.0-or-later
+// SPDX-License-Identifier: MPL-2.0
 = Affine resource-lifecycle proofs (obligation 2.3, #93)
 :toc: