docs(business): reword PMPL -> MPL-2.0 (licence is MPL-2.0; retire PMPL branding)

https://claude.ai/code/session_01W9Voe3JceP66Bna9FT4jME

Author: claude

.machine_readable/svc/k9/examples/setup-repo.k9.ncl

@@ -130,7 +130,7 @@ K9!
     },
 
     "add-license" = {
-      description = "Add PMPL-1.0 license",
+      description = "Add MPL-2.0 license",
       commands = [
         "curl -sL https://raw.githubusercontent.com/hyperpolymath/pmpl/main/LICENSE -o LICENSE",
         "echo '✓ License added'",

docs/business/business-case.adoc

@@ -311,7 +311,7 @@ infrastructure without requiring data migration.
 | 3
 
 | Open source
-| PMPL
+| MPL-2.0
 | GPLv3
 | No
 | BSD-3
@@ -344,7 +344,7 @@ dynamics are:
 |===
 | Tier | Description
 
-| *Community Edition (PMPL)*
+| *Community Edition (MPL-2.0)*
 | Full-featured VeriSimDB with all 8 modalities, drift detection,
   self-normalisation, VQL, and federation. Free, open source under MPL-2.0.
 
@@ -366,7 +366,7 @@ The community edition is intentionally full-featured. Revenue comes from the
 * Maximises adoption and community growth
 * Creates a large funnel of users who may convert to commercial support
 * Avoids the "open core bait-and-switch" perception that damages developer trust
-* Aligns with the PMPL license philosophy
+* Aligns with the MPL-2.0 file-level copyleft philosophy
 
 === Revenue Streams
 
@@ -567,10 +567,11 @@ profitability faster and at higher margins.
 | Full-featured community edition builds trust; commercial support addresses
   operational needs (SLA, priority patches) that free users do not require
 
-| PMPL license unfamiliarity
-| Enterprise legal teams may hesitate on non-OSI license
-| PMPL is permissive and well-documented; MPL-2.0 fallback available where
-  required; commercial license option for enterprises that require it
+| MPL-2.0 licence adoption
+| Enterprise legal teams may require licence review
+| MPL-2.0 is an OSI-approved, well-understood licence with file-level copyleft;
+  permissive for embedding in proprietary products at the application level;
+  commercial licence option available for enterprises that require it
 |===
 
 == Conclusion

docs/business/financials/cost-structure.csv

@@ -8,7 +8,7 @@ Category,Year1,Year2,Year3,Year4,Year5,Notes
 Engineering,0,80000,250000,600000,1200000,"Open-source contributors → hired team"
 Infrastructure,500,2000,10000,50000,150000,"CI/CD, cloud testing, demo instances"
 Marketing,1000,5000,30000,100000,250000,"Conference travel, content marketing, developer advocacy"
-Legal,500,2000,5000,15000,30000,"PMPL license compliance, patents"
+Legal,500,2000,5000,15000,30000,"MPL-2.0 licence compliance, patents"
 Support,0,10000,50000,150000,400000,"Community → commercial support tiers"
 Operations,0,5000,20000,80000,200000,"Sales engineering, onboarding"
 Total,2000,104000,365000,995000,2230000,""

docs/business/marketing/feature-comparison.adoc

@@ -228,7 +228,7 @@ Legend: {check} = Full support | {half} = Partial/limited | {cross} = Not suppor
 7+h| *Engineering & Operations*
 
 | Open source
-| PMPL
+| MPL-2.0
 | GPLv3
 | Proprietary
 | BSD-3-Clause
@@ -299,7 +299,7 @@ Legend: {check} = Full support | {half} = Partial/limited | {cross} = Not suppor
 * *No temporal versioning:* No built-in bitemporal queries or time-travel.
 * *No provenance:* Lineage tracking requires external tooling.
 * *No federation:* Cannot federate with other databases.
-* *GPLv3 license:* More restrictive than PMPL for embedding in proprietary
+* *GPLv3 license:* More restrictive than MPL-2.0 for embedding in proprietary
   products.
 
 === Pinecone

docs/business/marketing/pitch-deck-outline.adoc

@@ -291,7 +291,7 @@ the category rather than compete within an established one.
 
 ----
 ┌─────────────────────────────────────────────┐
-│           Community Edition (PMPL)          │
+│           Community Edition (MPL-2.0)        │
 │  All 8 modalities, drift detection,        │
 │  self-normalisation, VQL, federation       │
 │  FREE — forever                            │
@@ -341,7 +341,7 @@ funnel and a natural conversion path.
 | *Formal proofs*    | * |   |   |   |   |
 | Federation         | * |   |   |   |   |
 | Modalities/entity  | 8 | 1 | 1 | 2 | 3 | 3
-| Open source        | PMPL | GPLv3 | No | BSD-3 | Apache | BSL
+| Open source        | MPL-2.0 | GPLv3 | No | BSD-3 | Apache | BSL
 |===
 
 _* = supported_

docs/business/pr/faq.adoc

@@ -152,7 +152,7 @@ has strong developer ergonomics.
 Like ArangoDB, SurrealDB stores multiple models but does not check consistency
 between them. It has no drift detection, no self-normalisation, no formal query
 verification, and no federation. Its Business Source License (BSL 1.1) restricts
-commercial use, while VeriSimDB's PMPL license is permissive.
+commercial use, while VeriSimDB is released under MPL-2.0, an OSI-approved licence.
 
 == Technical Architecture
 
@@ -221,12 +221,13 @@ a permissive open-source license. The community edition is full-featured with
 no artificial restrictions -- all 8 modalities, drift detection,
 self-normalisation, VQL, and federation are included.
 
-=== What is the PMPL license?
+=== What licence is VeriSimDB under?
 
-The Palimpsest License (MPL-2.0) is a permissive open-source license
-developed by hyperpolymath. It allows free use, modification, and distribution
-of the software with minimal restrictions. For projects that require an
-OSI-approved license, an MPL-2.0 fallback is available.
+VeriSimDB is released under the Mozilla Public License 2.0 (MPL-2.0), an
+OSI-approved open-source licence. MPL-2.0 applies copyleft at the file level:
+modified MPL-2.0 files must be shared under MPL-2.0, but larger works that
+incorporate VeriSimDB as a component may be distributed under different terms.
+This makes it suitable for embedding in proprietary products.
 
 === Is there a commercial version?
 

docs/business/pr/key-messages.adoc

@@ -46,7 +46,7 @@ before downstream systems consume contradictory data.
    of query correctness using Idris2
 5. *Heterogeneous federation* -- Unified querying across PostgreSQL, ArangoDB,
    Elasticsearch, and Neo4j without data migration
-6. *Open source (PMPL)* -- Full-featured community edition with no artificial
+6. *Open source (MPL-2.0)* -- Full-featured community edition with no artificial
    restrictions
 
 == Technical Audience (Database Engineers, Backend Developers)
@@ -153,7 +153,7 @@ continuously and repairs it automatically.
 
 === Proof Points
 
-* Open source under PMPL (permissive licence, MPL-2.0 fallback available)
+* Open source under MPL-2.0 (OSI-approved; file-level copyleft, permissive for embedding)
 * Enterprise support target ACV: $40,000/year
 * Built on battle-tested foundations: Rust (memory safety), Elixir/OTP
   (fault tolerance, 99.9999% uptime heritage from telecom)
@@ -301,7 +301,7 @@ community edition. There is no "enterprise edition" that gates features.
 === Use These Phrases
 
 * "Full-featured community edition" (emphasise no feature gating)
-* "Permissive licence" (PMPL is permissive; say so explicitly)
+* "Mozilla Public License 2.0" or "MPL-2.0" (OSI-approved; say so explicitly)
 * "Contributions welcome in [Rust/Elixir/ReScript/docs]" (specific, not generic)
 
 === Avoid These Phrases

docs/business/strategy/economics-analysis.adoc

@@ -216,7 +216,7 @@ Cloud service is in beta.
 | Full-featured open source. Cloud adds managed infrastructure.
 
 | *VeriSimDB*
-| Community Edition (PMPL)
+| Community Edition (MPL-2.0)
 | Standard: $25,000/year; Professional: $40,000/year; Enterprise: $75,000/year
 | Full-featured community edition. Commercial licence provides support and SLA,
 not additional features.