diff --git a/.machine_readable/svc/k9/examples/setup-repo.k9.ncl b/.machine_readable/svc/k9/examples/setup-repo.k9.ncl index ad2d926..9bb617a 100644 --- a/.machine_readable/svc/k9/examples/setup-repo.k9.ncl +++ b/.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'", diff --git a/docs/business/business-case.adoc b/docs/business/business-case.adoc index 679884b..21d0618 100644 --- a/docs/business/business-case.adoc +++ b/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 diff --git a/docs/business/financials/cost-structure.csv b/docs/business/financials/cost-structure.csv index 1df5897..7f33e14 100644 --- a/docs/business/financials/cost-structure.csv +++ b/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,"" diff --git a/docs/business/marketing/feature-comparison.adoc b/docs/business/marketing/feature-comparison.adoc index edd3e8d..478342d 100644 --- a/docs/business/marketing/feature-comparison.adoc +++ b/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 diff --git a/docs/business/marketing/pitch-deck-outline.adoc b/docs/business/marketing/pitch-deck-outline.adoc index b8be413..c3c26d9 100644 --- a/docs/business/marketing/pitch-deck-outline.adoc +++ b/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_ diff --git a/docs/business/pr/faq.adoc b/docs/business/pr/faq.adoc index 36d7786..39f017d 100644 --- a/docs/business/pr/faq.adoc +++ b/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? diff --git a/docs/business/pr/key-messages.adoc b/docs/business/pr/key-messages.adoc index f5ccec2..88b5100 100644 --- a/docs/business/pr/key-messages.adoc +++ b/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 diff --git a/docs/business/strategy/economics-analysis.adoc b/docs/business/strategy/economics-analysis.adoc index f128b4d..ca793bd 100644 --- a/docs/business/strategy/economics-analysis.adoc +++ b/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.