diff --git a/.github/SUPPORT.md b/.github/SUPPORT.md index 9202d69..2dfd3c3 100644 --- a/.github/SUPPORT.md +++ b/.github/SUPPORT.md @@ -1,4 +1,4 @@ - + # Support ## How to Get Help diff --git a/.machine_readable/6a2/README.adoc b/.machine_readable/6a2/README.adoc index ac38c25..c851cfb 100644 --- a/.machine_readable/6a2/README.adoc +++ b/.machine_readable/6a2/README.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 // Copyright (c) Jonathan D.A. Jewell # A2ML 6a2 Directory diff --git a/.machine_readable/svc/k9/README.adoc b/.machine_readable/svc/k9/README.adoc index 46f3ef4..2713935 100644 --- a/.machine_readable/svc/k9/README.adoc +++ b/.machine_readable/svc/k9/README.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 = K9 Contractiles :toc: left :icons: font diff --git a/AUDIT.adoc b/AUDIT.adoc index eef82fc..53b3b5c 100644 --- a/AUDIT.adoc +++ b/AUDIT.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 // Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) = VeriSimDB Audit Index diff --git a/CHANGELOG.adoc b/CHANGELOG.adoc index b1bfc43..cc27540 100644 --- a/CHANGELOG.adoc +++ b/CHANGELOG.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 // Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) = VeriSimDB Changelog diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index d339165..f177715 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -1,6 +1,6 @@ # Contributing to VeriSimDB - + Thank you for your interest in contributing to VeriSimDB. This document explains how to get started, our development workflow, and how to submit changes. @@ -175,7 +175,7 @@ cargo fmt --check By contributing, you agree that your contributions will be licensed under the **MPL-2.0**. All source files must include: ``` -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 ``` --- diff --git a/EXPLAINME.adoc b/EXPLAINME.adoc index 0f1a286..7563b24 100644 --- a/EXPLAINME.adoc +++ b/EXPLAINME.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 = EXPLAINME — VeriSimDB Orientation :toc: :toc-placement!: diff --git a/KNOWN-ISSUES.adoc b/KNOWN-ISSUES.adoc index 57178d8..41ccfbb 100644 --- a/KNOWN-ISSUES.adoc +++ b/KNOWN-ISSUES.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 // Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) = Known Issues and Honest Gaps diff --git a/LICENSE b/LICENSE index a06bf12..14e2f77 100644 --- a/LICENSE +++ b/LICENSE @@ -1,5 +1,3 @@ -SPDX-License-Identifier: MPL-2.0 - Mozilla Public License Version 2.0 ================================== @@ -37,7 +35,7 @@ Mozilla Public License Version 2.0 means any form of the work other than Source Code Form. 1.7. "Larger Work" - means a work that combines Covered Software with other material, in + means a work that combines Covered Software with other material, in a separate file or files, that is not Covered Software. 1.8. "License" @@ -359,7 +357,7 @@ Exhibit A - Source Code Form License Notice This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. If a copy of the MPL was not distributed with this - file, You can obtain one at https://mozilla.org/MPL/2.0/. + file, You can obtain one at http://mozilla.org/MPL/2.0/. If it is not possible or desirable to put the notice in a particular file, then You may include the notice in a location (such as a LICENSE diff --git a/LICENSES/MPL-2.0.txt b/LICENSES/MPL-2.0.txt index ee6256c..14e2f77 100644 --- a/LICENSES/MPL-2.0.txt +++ b/LICENSES/MPL-2.0.txt @@ -357,7 +357,7 @@ Exhibit A - Source Code Form License Notice This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. If a copy of the MPL was not distributed with this - file, You can obtain one at https://mozilla.org/MPL/2.0/. + file, You can obtain one at http://mozilla.org/MPL/2.0/. If it is not possible or desirable to put the notice in a particular file, then You may include the notice in a location (such as a LICENSE diff --git a/MAINTAINERS.adoc b/MAINTAINERS.adoc index a1c6544..48d9781 100644 --- a/MAINTAINERS.adoc +++ b/MAINTAINERS.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 = Maintainers :toc: preamble diff --git a/README.adoc b/README.adoc index ab5c081..806a3b2 100644 --- a/README.adoc +++ b/README.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 = VeriSimDB image:https://img.shields.io/badge/OpenSSF-Best_Practices-green?logo=openssourcesecurity[OpenSSF Best Practices,link="https://www.bestpractices.dev/en/projects/new?repo_url=https://github.com/hyperpolymath/verisimdb"] diff --git a/connectors/README.adoc b/connectors/README.adoc index 309f842..b016901 100644 --- a/connectors/README.adoc +++ b/connectors/README.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 // Copyright (c) Jonathan D.A. Jewell = VeriSimDB Connectors -- Federation Adapters & Client SDKs :toc: macro diff --git a/connectors/clients/zig/README.adoc b/connectors/clients/zig/README.adoc index 22c999d..44f531a 100644 --- a/connectors/clients/zig/README.adoc +++ b/connectors/clients/zig/README.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 // Copyright (c) Jonathan D.A. Jewell = VeriSimDB Zig Client SDK :author: Jonathan D.A. Jewell diff --git a/connectors/test-infra/README.adoc b/connectors/test-infra/README.adoc index 42ee01a..16faed7 100644 --- a/connectors/test-infra/README.adoc +++ b/connectors/test-infra/README.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 // // Author: Jonathan D.A. Jewell diff --git a/docs/INDEX.md b/docs/INDEX.md index 69c1fe2..af4797b 100644 --- a/docs/INDEX.md +++ b/docs/INDEX.md @@ -1,5 +1,5 @@ # VeriSimDB Documentation Index diff --git a/docs/VCL-SPEC.adoc b/docs/VCL-SPEC.adoc index 5249ec9..dad77eb 100644 --- a/docs/VCL-SPEC.adoc +++ b/docs/VCL-SPEC.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 // Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) = VeriSim Consonance Language (VCL) Specification diff --git a/docs/adoption-strategy.adoc b/docs/adoption-strategy.adoc index 82545a8..f6d32b1 100644 --- a/docs/adoption-strategy.adoc +++ b/docs/adoption-strategy.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 = VeriSimDB External Adoption Strategy Jonathan D.A. Jewell :toc: left diff --git a/docs/architecture/topology.md b/docs/architecture/topology.md index fad7209..6a1beac 100644 --- a/docs/architecture/topology.md +++ b/docs/architecture/topology.md @@ -1,4 +1,4 @@ - + # TOPOLOGY.md — VeriSimDB diff --git a/docs/backwards-compatibility.adoc b/docs/backwards-compatibility.adoc index d7619f8..e9e5f0a 100644 --- a/docs/backwards-compatibility.adoc +++ b/docs/backwards-compatibility.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 = VCL Backwards Compatibility Strategy :toc: diff --git a/docs/business/business-case.adoc b/docs/business/business-case.adoc index f7bfffb..50fafe9 100644 --- a/docs/business/business-case.adoc +++ b/docs/business/business-case.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 // Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) = VeriSimDB Business Case Jonathan D.A. Jewell diff --git a/docs/business/marketing/feature-comparison.adoc b/docs/business/marketing/feature-comparison.adoc index 859c054..14d71dc 100644 --- a/docs/business/marketing/feature-comparison.adoc +++ b/docs/business/marketing/feature-comparison.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 // Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) = VeriSimDB Feature Comparison Matrix Jonathan D.A. Jewell diff --git a/docs/business/marketing/one-pager.adoc b/docs/business/marketing/one-pager.adoc index f83f9c4..0503713 100644 --- a/docs/business/marketing/one-pager.adoc +++ b/docs/business/marketing/one-pager.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 // Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) = VeriSimDB — Product One-Pager Jonathan D.A. Jewell diff --git a/docs/business/marketing/pitch-deck-outline.adoc b/docs/business/marketing/pitch-deck-outline.adoc index d1251a5..669ba54 100644 --- a/docs/business/marketing/pitch-deck-outline.adoc +++ b/docs/business/marketing/pitch-deck-outline.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 // Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) = VeriSimDB Pitch Deck — 12-Slide Structure Jonathan D.A. Jewell diff --git a/docs/business/marketing/use-cases.adoc b/docs/business/marketing/use-cases.adoc index 6cd6c83..8556670 100644 --- a/docs/business/marketing/use-cases.adoc +++ b/docs/business/marketing/use-cases.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 // Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) = VeriSimDB Use Cases — 7 Target Domains Jonathan D.A. Jewell diff --git a/docs/business/pr/faq.adoc b/docs/business/pr/faq.adoc index db9640a..c0222c1 100644 --- a/docs/business/pr/faq.adoc +++ b/docs/business/pr/faq.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 // Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) = VeriSimDB — Frequently Asked Questions Jonathan D.A. Jewell diff --git a/docs/business/pr/key-messages.adoc b/docs/business/pr/key-messages.adoc index a9b0882..42c785e 100644 --- a/docs/business/pr/key-messages.adoc +++ b/docs/business/pr/key-messages.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 // Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) = VeriSimDB -- Key Messages and Talking Points Jonathan D.A. Jewell diff --git a/docs/business/pr/press-release.adoc b/docs/business/pr/press-release.adoc index ef02fd4..706422e 100644 --- a/docs/business/pr/press-release.adoc +++ b/docs/business/pr/press-release.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 // Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) = VeriSimDB Launch Press Release Jonathan D.A. Jewell diff --git a/docs/business/strategy/adoption-roadmap.adoc b/docs/business/strategy/adoption-roadmap.adoc index 323204e..8ed4c7f 100644 --- a/docs/business/strategy/adoption-roadmap.adoc +++ b/docs/business/strategy/adoption-roadmap.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 // Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) = VeriSimDB -- Adoption Roadmap Jonathan D.A. Jewell diff --git a/docs/business/strategy/economics-analysis.adoc b/docs/business/strategy/economics-analysis.adoc index f70f273..f2b3ff4 100644 --- a/docs/business/strategy/economics-analysis.adoc +++ b/docs/business/strategy/economics-analysis.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 // Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) = VeriSimDB -- Economics Analysis Jonathan D.A. Jewell diff --git a/docs/business/strategy/functional-units.adoc b/docs/business/strategy/functional-units.adoc index ebe3a1b..fe1a26f 100644 --- a/docs/business/strategy/functional-units.adoc +++ b/docs/business/strategy/functional-units.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 // Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) = VeriSimDB -- Functional Units and Organisational Structure Jonathan D.A. Jewell diff --git a/docs/business/strategy/go-to-market.adoc b/docs/business/strategy/go-to-market.adoc index 6e59d1e..13d71dc 100644 --- a/docs/business/strategy/go-to-market.adoc +++ b/docs/business/strategy/go-to-market.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 // Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) = VeriSimDB -- Go-to-Market Strategy Jonathan D.A. Jewell diff --git a/docs/cache-sharing-strategy.adoc b/docs/cache-sharing-strategy.adoc index 082a249..62e8fe6 100644 --- a/docs/cache-sharing-strategy.adoc +++ b/docs/cache-sharing-strategy.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 = Cache Sharing Strategy: Local vs Federated :toc: left diff --git a/docs/caching-strategy.adoc b/docs/caching-strategy.adoc index d137f06..ec33f9f 100644 --- a/docs/caching-strategy.adoc +++ b/docs/caching-strategy.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 = VeriSimDB Caching Strategy :toc: left diff --git a/docs/challenges-federated.adoc b/docs/challenges-federated.adoc index e6a8085..9ac8434 100644 --- a/docs/challenges-federated.adoc +++ b/docs/challenges-federated.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 = Challenges: Federated Deployment Mode diff --git a/docs/challenges-hybrid.adoc b/docs/challenges-hybrid.adoc index 860f26b..3d3ea90 100644 --- a/docs/challenges-hybrid.adoc +++ b/docs/challenges-hybrid.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 = Challenges: Hybrid Deployment Mode diff --git a/docs/challenges-standalone.adoc b/docs/challenges-standalone.adoc index 4b8a474..8344eff 100644 --- a/docs/challenges-standalone.adoc +++ b/docs/challenges-standalone.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 = Challenges: Standalone Deployment Mode diff --git a/docs/consultation-dependent-types-zkp.adoc b/docs/consultation-dependent-types-zkp.adoc index 1297aed..95659f7 100644 --- a/docs/consultation-dependent-types-zkp.adoc +++ b/docs/consultation-dependent-types-zkp.adoc @@ -6,7 +6,7 @@ :sectnums: :source-highlighter: rouge -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 [abstract] == Abstract diff --git a/docs/consultation-normalization-strategy.adoc b/docs/consultation-normalization-strategy.adoc index 61b78f1..20a2202 100644 --- a/docs/consultation-normalization-strategy.adoc +++ b/docs/consultation-normalization-strategy.adoc @@ -6,7 +6,7 @@ :sectnums: :source-highlighter: rouge -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 [abstract] == Abstract diff --git a/docs/decisions/kraft-comparison.adoc b/docs/decisions/kraft-comparison.adoc index 9800deb..dfb69b3 100644 --- a/docs/decisions/kraft-comparison.adoc +++ b/docs/decisions/kraft-comparison.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 = KRaft vs VeriSimDB Comparison diff --git a/docs/decisions/rust-spark-stance.adoc b/docs/decisions/rust-spark-stance.adoc index 82ee7f0..fea93c1 100644 --- a/docs/decisions/rust-spark-stance.adoc +++ b/docs/decisions/rust-spark-stance.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 = Rust/SPARK Stance — verisimdb :toc: macro :toclevels: 2 diff --git a/docs/deployment-modes.adoc b/docs/deployment-modes.adoc index 0a086a0..986e9fe 100644 --- a/docs/deployment-modes.adoc +++ b/docs/deployment-modes.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 = VeriSimDB Deployment Modes diff --git a/docs/deployment/deployment.adoc b/docs/deployment/deployment.adoc index bb09a9d..f43677b 100644 --- a/docs/deployment/deployment.adoc +++ b/docs/deployment/deployment.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 = VeriSimDB Production Deployment Guide :toc: :toc-placement!: diff --git a/docs/design/DESIGN-2026-02-27-level-data-model.md b/docs/design/DESIGN-2026-02-27-level-data-model.md index 4ff5a57..197c6cc 100644 --- a/docs/design/DESIGN-2026-02-27-level-data-model.md +++ b/docs/design/DESIGN-2026-02-27-level-data-model.md @@ -1,5 +1,5 @@ # Design Document: IDApTIK Level Architect — Canonical Level Data Model -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: CC-BY-SA-4.0 **Date:** 2026-02-27 **Author:** Jonathan D.A. Jewell (hyperpolymath) diff --git a/docs/design/DESIGN-2026-02-27-strategic-improvements.adoc b/docs/design/DESIGN-2026-02-27-strategic-improvements.adoc index bda8bd0..0f82c18 100644 --- a/docs/design/DESIGN-2026-02-27-strategic-improvements.adoc +++ b/docs/design/DESIGN-2026-02-27-strategic-improvements.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 // Design Document: VerisimDB Strategic Improvements // Author: Jonathan D.A. Jewell // Date: 2026-02-27 diff --git a/docs/design/DESIGN-2026-02-27-vcl-dt-assessment.adoc b/docs/design/DESIGN-2026-02-27-vcl-dt-assessment.adoc index a395128..1b956d0 100644 --- a/docs/design/DESIGN-2026-02-27-vcl-dt-assessment.adoc +++ b/docs/design/DESIGN-2026-02-27-vcl-dt-assessment.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 // Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) = VCL-DT (Dependent Type Path) Wiring Assessment :author: Jonathan D.A. Jewell (hyperpolymath) diff --git a/docs/drift-handling.adoc b/docs/drift-handling.adoc index f28b4f9..6fbee35 100644 --- a/docs/drift-handling.adoc +++ b/docs/drift-handling.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 = Drift Handling in VeriSimDB :toc: diff --git a/docs/error-handling-strategy.adoc b/docs/error-handling-strategy.adoc index 7ef0acd..0f6d034 100644 --- a/docs/error-handling-strategy.adoc +++ b/docs/error-handling-strategy.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 = VCL Error Handling Strategy :toc: left diff --git a/docs/federation-readiness.adoc b/docs/federation-readiness.adoc index 5a3ce8a..a44f76e 100644 --- a/docs/federation-readiness.adoc +++ b/docs/federation-readiness.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 // Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) = Federation Readiness Assessment diff --git a/docs/getting-started.adoc b/docs/getting-started.adoc index fc5a137..0661aff 100644 --- a/docs/getting-started.adoc +++ b/docs/getting-started.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 = VeriSimDB Getting Started Guide Jonathan D.A. Jewell :toc: left diff --git a/docs/minikanren-integration-v3.adoc b/docs/minikanren-integration-v3.adoc index 08acfb6..9c2f63b 100644 --- a/docs/minikanren-integration-v3.adoc +++ b/docs/minikanren-integration-v3.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 = miniKanren Integration (v3 Roadmap) :toc: diff --git a/docs/normalization-cascade.adoc b/docs/normalization-cascade.adoc index 67b19a5..8c7acb7 100644 --- a/docs/normalization-cascade.adoc +++ b/docs/normalization-cascade.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 = Normalization Cascade Architecture :toc: left diff --git a/docs/panll-module-audit.adoc b/docs/panll-module-audit.adoc index 6dd0cf2..083f1c2 100644 --- a/docs/panll-module-audit.adoc +++ b/docs/panll-module-audit.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 // PanLL Module Audit: Systematic Evaluation of hyperpolymath Repos // Author: Jonathan D.A. Jewell // Date: 2026-02-28 diff --git a/docs/papers/verisimdb-federated-consistency.adoc b/docs/papers/verisimdb-federated-consistency.adoc index 1ec6b99..6bc45ff 100644 --- a/docs/papers/verisimdb-federated-consistency.adoc +++ b/docs/papers/verisimdb-federated-consistency.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 // Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) = VeriSimDB: Cross-Modal Drift Detection and Self-Normalisation in Heterogeneous Database Federations diff --git a/docs/papers/verisimdb-idaptik-case-study.adoc b/docs/papers/verisimdb-idaptik-case-study.adoc index cb1bfac..f858884 100644 --- a/docs/papers/verisimdb-idaptik-case-study.adoc +++ b/docs/papers/verisimdb-idaptik-case-study.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 // Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) = Applying Multimodal Database Technology to Game Level Architecture: A VeriSimDB Case Study diff --git a/docs/proof-debt.md b/docs/proof-debt.md index 8ce1d7b..8cc115e 100644 --- a/docs/proof-debt.md +++ b/docs/proof-debt.md @@ -1,4 +1,4 @@ - + # Proof Debt — Trusted Base of the VeriSimDB Formal Development This document is the authoritative catalogue of **soundness-relevant escape diff --git a/docs/query-optimization-overview.adoc b/docs/query-optimization-overview.adoc index d7390a6..0d739df 100644 --- a/docs/query-optimization-overview.adoc +++ b/docs/query-optimization-overview.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 = VCL Query Optimization: Complete Guide :toc: left diff --git a/docs/rescript-registry-types.adoc b/docs/rescript-registry-types.adoc index 444e9ac..c1ad4ee 100644 --- a/docs/rescript-registry-types.adoc +++ b/docs/rescript-registry-types.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 = VeriSimDB: ReScript Registry Type Definitions diff --git a/docs/reversibility-design.adoc b/docs/reversibility-design.adoc index b23f82b..de25e8b 100644 --- a/docs/reversibility-design.adoc +++ b/docs/reversibility-design.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 = Reversibility in VeriSimDB: Design Analysis :toc: left diff --git a/docs/reviews/2026-06-11-deep-review-and-july-1-plan.adoc b/docs/reviews/2026-06-11-deep-review-and-july-1-plan.adoc index 0404d6d..dcdf513 100644 --- a/docs/reviews/2026-06-11-deep-review-and-july-1-plan.adoc +++ b/docs/reviews/2026-06-11-deep-review-and-july-1-plan.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 // Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) = VeriSimDB Deep Review & July-1 Plan (2026-06-11) diff --git a/docs/rsr-compliance.adoc b/docs/rsr-compliance.adoc index d664daa..aee7c66 100644 --- a/docs/rsr-compliance.adoc +++ b/docs/rsr-compliance.adoc @@ -209,7 +209,7 @@ This template is part of: == License -SPDX-License-Identifier: MPL-2.0 +SPDX-License-Identifier: CC-BY-SA-4.0 == Links diff --git a/docs/safety-and-fault-tolerance.adoc b/docs/safety-and-fault-tolerance.adoc index f68b7a6..fcd4894 100644 --- a/docs/safety-and-fault-tolerance.adoc +++ b/docs/safety-and-fault-tolerance.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 = Safety and Fault Tolerance :toc: left diff --git a/docs/safety-theory-applied.adoc b/docs/safety-theory-applied.adoc index 56ba7ee..29d8b76 100644 --- a/docs/safety-theory-applied.adoc +++ b/docs/safety-theory-applied.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 = Safety Theory Applied to VeriSimDB :toc: left diff --git a/docs/snapshotting-and-truncation-logic.adoc b/docs/snapshotting-and-truncation-logic.adoc index e54f96b..b1fc793 100644 --- a/docs/snapshotting-and-truncation-logic.adoc +++ b/docs/snapshotting-and-truncation-logic.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 = VeriSimDB: Snapshotting & Truncation Logic diff --git a/docs/status/implementation-plan.adoc b/docs/status/implementation-plan.adoc index 32e5a89..8c4c404 100644 --- a/docs/status/implementation-plan.adoc +++ b/docs/status/implementation-plan.adoc @@ -2,7 +2,7 @@ :toc: :toc-placement!: -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 [.lead] **Bringing VeriSimDB from 10% to 70% completion** diff --git a/docs/tech-debt-2026-05-26.md b/docs/tech-debt-2026-05-26.md index 92df11d..43a1fd0 100644 --- a/docs/tech-debt-2026-05-26.md +++ b/docs/tech-debt-2026-05-26.md @@ -1,5 +1,5 @@ diff --git a/docs/technical-specification-kraft-metadata-log.adoc b/docs/technical-specification-kraft-metadata-log.adoc index 879b029..412fc5c 100644 --- a/docs/technical-specification-kraft-metadata-log.adoc +++ b/docs/technical-specification-kraft-metadata-log.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 = Technical Specification: The KRaft Metadata Log diff --git a/docs/vcl-architecture.adoc b/docs/vcl-architecture.adoc index e0fd0c9..7d29489 100644 --- a/docs/vcl-architecture.adoc +++ b/docs/vcl-architecture.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 = VCL Architecture: Dual-Path Query Router :toc: left diff --git a/docs/vcl-examples.adoc b/docs/vcl-examples.adoc index ef3cf75..88175ce 100644 --- a/docs/vcl-examples.adoc +++ b/docs/vcl-examples.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 = VeriSim Consonance Language (VCL) Examples :toc: left diff --git a/docs/vcl-formal-semantics.adoc b/docs/vcl-formal-semantics.adoc index 8715d74..2e7e0a9 100644 --- a/docs/vcl-formal-semantics.adoc +++ b/docs/vcl-formal-semantics.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 = VCL Formal Semantics :toc: left diff --git a/docs/vcl-type-system.adoc b/docs/vcl-type-system.adoc index fe1031c..4b4a2a4 100644 --- a/docs/vcl-type-system.adoc +++ b/docs/vcl-type-system.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 = VCL Type System Specification :toc: left diff --git a/docs/vcl-vs-sql.adoc b/docs/vcl-vs-sql.adoc index 1df0ce3..74a92b5 100644 --- a/docs/vcl-vs-sql.adoc +++ b/docs/vcl-vs-sql.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 // Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) = VCL vs SQL: A Comparative Guide diff --git a/docs/vcl-vs-vcl-dt.adoc b/docs/vcl-vs-vcl-dt.adoc index 6caff58..dc526be 100644 --- a/docs/vcl-vs-vcl-dt.adoc +++ b/docs/vcl-vs-vcl-dt.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 // Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) = VCL Execution Modes & Safety Architecture diff --git a/docs/zkp-and-sanctify-integration.adoc b/docs/zkp-and-sanctify-integration.adoc index 6ccda33..4488115 100644 --- a/docs/zkp-and-sanctify-integration.adoc +++ b/docs/zkp-and-sanctify-integration.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 = ZK-Historiography: Proven & Sactify-PHP Integration diff --git a/elixir-orchestration/coveralls-coverage-targets.md b/elixir-orchestration/coveralls-coverage-targets.md index 4f36ff8..2b5dd3c 100644 --- a/elixir-orchestration/coveralls-coverage-targets.md +++ b/elixir-orchestration/coveralls-coverage-targets.md @@ -1,5 +1,5 @@ diff --git a/ffi/zig/README.adoc b/ffi/zig/README.adoc index 9631172..9013282 100644 --- a/ffi/zig/README.adoc +++ b/ffi/zig/README.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 // Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) = VeriSimDB Zig — Unified API Gateway + FFI diff --git a/formal/CROSS-REPO-MAP.adoc b/formal/CROSS-REPO-MAP.adoc index ac34e8f..7a9f0ca 100644 --- a/formal/CROSS-REPO-MAP.adoc +++ b/formal/CROSS-REPO-MAP.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 // Copyright (c) Jonathan D.A. Jewell = VeriSimDB formal/ ↔ Echo-Types cross-repo mapping :toc: diff --git a/spec/README.adoc b/spec/README.adoc index aba03d4..b28297d 100644 --- a/spec/README.adoc +++ b/spec/README.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 // @taxonomy: spec/index = verisimdb — Specification Directory :toc: diff --git a/spec/system-specs.md b/spec/system-specs.md index 63ccaea..e139517 100644 --- a/spec/system-specs.md +++ b/spec/system-specs.md @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: MPL-2.0 +# SPDX-License-Identifier: CC-BY-SA-4.0 # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) # VeriSimDB System Specifications diff --git a/verification/README.adoc b/verification/README.adoc index 33a8c30..3af1ace 100644 --- a/verification/README.adoc +++ b/verification/README.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: MPL-2.0 +// SPDX-License-Identifier: CC-BY-SA-4.0 // @taxonomy: verification/index = verisimdb — Verification Directory :toc: