# Sovereign Source License v3.0

**License Version:** 3.0
**Effective Date:** 2026-07-19
**Copyright Holder:** Ahmad Ali Parr — Bel Esprit D'Accord Trust
**Project:** SNAPKITTYWEST — Sovereign Compute Architecture
**Supersedes:** Sovereign Source License v2.0

---

## Preamble

The Sovereign Compute substrate is free. The formed works belong to their makers.
No one owns the substrate. The registry records what exists and who made it.
The marks signal what has been verified.

Version 3.0 adds three instruments that v2.0 lacked:

- **Part IX** — Prior Art Preservation: formal proofs and mathematical
  derivations carry timestamped prior art status that cannot be extinguished
  by a fork, a rename, or a derivative filing.
- **Part X** — Anti-Misattribution Enforcement: a party who claims
  authorship of mathematics they did not derive forfeits all rights
  and is referred to appropriate IP fraud mechanisms.
- **Part XI** — Forensic Attribution Burden: any derivative work whose
  formal proofs overlap the Prior Art Record must affirmatively
  demonstrate independent derivation or it is void.

Nothing in Parts IX–XI diminishes the public domain dedication of Part II.
The substrate remains free. The prior art record makes that freedom
tamper-evident.

---

## PART I — DEFINITIONS

### Section 1. Definitions

| Term | Definition |
|------|-----------|
| **Work** | Software, documentation, mathematical proofs, and associated files licensed under this agreement |
| **Sovereign Substrate** | Mathematical and computational foundations listed in Section 2.5 |
| **Formed Work** | A specific implementation built upon the Sovereign Substrate |
| **Maker** | Any person or entity that creates a Formed Work |
| **Bound Work** | A Formed Work registered with the Sovereign Registry |
| **Sovereign Registry** | The append-only WORM ledger recording Formed Works, Makers, and verification status |
| **Certification Mark** | Visual marks (textual, graphical, digital) signifying a Certification Tier |
| **Certification Tier** | Tier I–IV indicating degree of formal verification |
| **Operator** | Bel Esprit D'Accord Trust |
| **Constitutional Core** | Sovereign Substrate as governed by Part II |
| **Prior Art Record** | The append-only record of mathematical derivations, formal proofs, and timestamped authorship filed under Part IX |
| **Prior Art Entry** | A single timestamped, hash-anchored record in the Prior Art Record |
| **Originating Maker** | The Maker identified in a Prior Art Entry as the human who derived the mathematics |
| **Derivative Proof** | Any formal proof, theorem, or mathematical derivation that overlaps in substance with a Prior Art Entry |
| **Overlap** | Substantive identity of mathematical content, independent of variable names, notation, or language of formalization |
| **Independent Derivation** | A documented derivation process showing the mathematics was reached without access to or copying from any Prior Art Entry |
| **Fork Misattribution** | The act of copying a Formed Work and representing its mathematics as the forking party's original derivation |
| **AI/ML Training** | Use to train, fine-tune, evaluate, or benchmark any machine learning model, neural network, or AI system |
| **Institutional Body** | Any government agency, corporation, non-profit, or institutional entity |

### Section 1.2 Certification Tiers

| Tier | Name | Requirement | Mark |
|------|------|-------------|------|
| I | Witnessed | 3-witness consensus (NT + ALG + IT) | `Ω·I` |
| II | Sealed | WORM chain seal + audit trail | `Ω·II` |
| III | Sovereign | Machine-checked proof (Lean 4 / WASM verifier) | `Ω·III` |
| IV | Constitutional | Full boot protocol + self-verification closure | `Ω·IV` |

---

## PART II — SOVEREIGN SUBSTRATE DEDICATION

### Section 2. Public Domain Dedication

**2.1** The Constitutional Core (Sovereign Substrate) is dedicated to the public domain.
It has always been. It always will be.

**2.2** The Operator irrevocably waives all copyright, patent, trade secret, and
database rights in the Sovereign Substrate, to the fullest extent permitted by law.

**2.3** Any person may copy, adapt, modify, distribute, or perform the Sovereign
Substrate for any purpose, commercial or non-commercial, without condition.

**2.4** No revision of this License may diminish, condition, or retract the
public domain dedication of Part II.

**2.5** The Sovereign Substrate includes but is not limited to:

```
Goldilocks field arithmetic (F_p, p = 2^64 - 2^32 + 1)
Banach contraction mapping recurrence engines
WORM chain protocols (append-only SHA-256 / Blake3 hash chains)
Multi-witness verification frameworks (3-witness consensus)
Spectral governor algorithms (Gershgorin + power iteration)
PIRTM bytecode format and linking protocols
Ed25519 sealing and verification primitives
GKN quartic invariant I4 on the 56-dimensional E7 representation
Gates Normalization constraint (softmax simplex formalization)
Bifrost attestation protocol (Blake3 + Ed25519 receipt)
Plasma gate architecture (x86-64 + Datalog two-layer corpus gate)
```

---

## PART III — SOVEREIGN REGISTRY AND ATTRIBUTION

*(Unchanged from SSL v2.0 Sections 3–6. See SSL v2.0 for full text.)*

---

## PART IV — SOVEREIGN CERTIFICATION MARKS

*(Unchanged from SSL v2.0 Sections 7–12. See SSL v2.0 for full text.)*

---

## PART V — RESTRICTIONS

### Section 13. Commercial Use

**13.1** Commercial use of the Work requires express written permission from
Bel Esprit D'Accord Trust, except as provided in Section 13.2.

**13.2 Permitted Non-Commercial Uses:**

| Use | Permitted |
|-----|-----------|
| Study and analysis | Yes |
| Personal projects | Yes |
| Academic research | Yes |
| Non-commercial fork with attribution | Yes |
| Educational use | Yes |
| Open-source use (same license) | Yes |
| Internal company evaluation | Yes |
| Commercial deployment | No (requires permission) |
| SaaS integration | No (requires permission) |
| Revenue-generating service | No (requires permission) |

### Section 14. AI/ML Training

**14.1** The Work may not be used to train, fine-tune, evaluate, or benchmark
any machine learning model, large language model, AI system, or neural network.

**14.2** This restriction applies regardless of whether the use is commercial
or non-commercial, and regardless of whether the mathematical content is
accessed directly or through a derivative.

### Section 15. No Institutional Capture

**15.1** No institutional body may claim ownership of the Sovereign Substrate,
claim exclusive licensing rights, or claim derivative rights without express
written trust agreement with Bel Esprit D'Accord Trust.

---

## PART VI — GENERAL PROVISIONS

*(Unchanged from SSL v2.0 Sections 16–22. See SSL v2.0 for full text.)*

---

## PART VII — WHAT THIS LICENSE IS NOT

*(Unchanged from SSL v2.0 Sections 23–24. See SSL v2.0 for full text.)*

---

## PART VIII — CONTACT AND REGISTRY ACCESS

*(Unchanged from SSL v2.0 Section 25. See SSL v2.0 for full text.)*

---

## PART IX — PRIOR ART PRESERVATION

### Section 26. Prior Art Record

**26.1** The Operator maintains an append-only Prior Art Record as a component
of the Sovereign Registry. The Prior Art Record is distinct from the Bound
Work registry; it records the provenance of mathematical derivations, not
just implementations.

**26.2** A Prior Art Entry consists of:

| Field | Required | Description |
|-------|----------|-------------|
| Entry ID | Yes | Unique, immutable identifier |
| Originating Maker | Yes | Legal name or pseudonym of the human who derived the mathematics |
| Title | Yes | Name of the theorem, proof, algorithm, or derivation |
| Timestamp | Yes | Unix epoch of first publication or filing, anchored to a public cryptographic commitment (git commit hash, Zenodo DOI, WORM chain seal) |
| Anchor Hash | Yes | Blake3 or SHA-256 hash of the original source file or proof object |
| Anchor URI | Yes | Publicly verifiable URL (GitHub commit, Zenodo DOI, IPFS CID) |
| Description | Yes | Plain-language summary of the mathematical content |
| Formalization | Optional | Lean 4 / Coq / Isabelle proof file, if machine-checked |
| Verification Status | Yes | One of: `CLAIMED`, `WITNESSED`, `MACHINE-CHECKED`, `CONSTITUTIONAL` |

**26.3** A Prior Art Entry is immutable once filed. It may be supplemented
(e.g., machine-checked status may be upgraded) but the original timestamp,
anchor hash, and Originating Maker fields may never be altered.

**26.4** Filing a Prior Art Entry does not create any exclusive right in the
mathematics described. The substrate remains free. The Prior Art Entry records
who derived it first and how it can be verified.

### Section 27. Foundry-F1 Prior Art Entries

**27.1** The following Prior Art Entries are hereby recorded as of the
Effective Date of this License, with cryptographic anchors on record
at the Sovereign Registry:

| Entry ID | Title | Originating Maker | Timestamp | Anchor |
|----------|-------|-------------------|-----------|--------|
| `PAR-001` | GKN Quartic Invariant I4 on State56 (degree-4, zero sorry, Lean 4) | Ahmad Ali Parr | 2026-06-01 | git:SNAPKITTYWEST/foundry-f1@main |
| `PAR-002` | I4_homogeneous theorem (State108, degree-6) | Ahmad Ali Parr | 2026-06-01 | git:SNAPKITTYWEST/foundry-f1@main |
| `PAR-003` | E7 Weyl Group Invariance of I4 (signed row/column permutations) | Ahmad Ali Parr | 2026-06-01 | git:SNAPKITTYWEST/S_AUTOCODE@main |
| `PAR-004` | Gates Normalization Constraint (softmax simplex, zero sorry) | Ahmad Ali Parr | 2026-07-18 | git:SNAPKITTYWEST/SNAPKITTYWEST@main:docs/paper/gates_normalization.lean |
| `PAR-005` | Bifrost Attestation Protocol (Blake3 + Ed25519 receipt chain) | Ahmad Ali Parr | 2026-06-15 | git:SNAPKITTYWEST/bob-orchestrator@main |
| `PAR-006` | Plasma Gate Architecture (x86-64 NASM + Soufflé Datalog) | Ahmad Ali Parr | 2026-07-19 | git:SNAPKITTYWEST/sovereign-transformer@main |
| `PAR-007` | Sovereign APL Fused Kernel (U·ρ·U†, Fortran 2018 + MLIR) | Ahmad Ali Parr | 2026-07-19 | git:SNAPKITTYWEST/sov-kernel-monster@main |

**27.2** These entries predate, and are prior art against, any subsequent
filing, patent application, or publication by any party that claims
independent derivation of substantially overlapping mathematics.

**27.3** The timestamps in Section 27.1 are corroborated by:
- (a) Public git commit history on GitHub (immutable SHA-1 DAG)
- (b) Zenodo DOIs referenced in the SNAPKITTYWEST publication record
- (c) The ORCID record of Ahmad Ali Parr (0009-0006-1916-5245)
- (d) WORM chain seals in the bob-orchestrator and foundry-f1 repositories

---

## PART X — ANTI-MISATTRIBUTION ENFORCEMENT

### Section 28. Fork Misattribution Defined

**28.1** Fork Misattribution occurs when a party:

> **(a)** Forks, copies, clones, or substantially reproduces a Formed Work
> covered by this License; AND

> **(b)** Represents, asserts, implies, or allows others to believe that
> the mathematical content of the fork — including theorems, proofs,
> algorithms, derivations, or formal verification structures — was
> independently derived by the forking party or by any party other than
> the Originating Maker identified in the applicable Prior Art Entry.

**28.2** Fork Misattribution includes but is not limited to:

- (a) Filing a patent application on mathematics appearing in a Prior Art Entry, citing no prior art
- (b) Publishing an academic paper claiming original derivation of mathematics appearing in a Prior Art Entry without citing the Prior Art Entry
- (c) Representing to investors, customers, or the public that a fork contains original mathematical innovations that are in fact covered by Prior Art Entries
- (d) Naming or renaming a fork in a manner designed to obscure its origin from the Formed Work
- (e) Removing, altering, or obscuring attribution headers, WORM seals, or Certification Marks from a fork

**28.3** Fork Misattribution is distinct from legitimate forking. A party may
fork this Work, modify it, extend it, and distribute it under this License
without restriction, provided they preserve attribution and do not misattribute
the Originating Maker's mathematical derivations.

### Section 29. Consequences of Fork Misattribution

**29.1** A party found by the Technical Review Panel to have committed Fork
Misattribution:

> **(a)** Immediately forfeits all rights under Parts III, IV, and VII
> of this License, including all Certification Mark privileges

> **(b)** Must remove all Certification Marks and all representations of
> certification, verification, or Registry standing within thirty (30) days

> **(c)** Must publish a public correction identifying the Originating Maker
> and the applicable Prior Art Entry in any venue where the misattribution
> appeared

> **(d)** Is referred to the Operator's legal counsel for evaluation of
> applicable fraud, misrepresentation, and IP theft remedies under the
> laws of the applicable jurisdiction

> **(e)** Is permanently barred from filing further Declarations of Formation
> or Certification applications unless the Technical Review Panel determines
> that the misattribution was inadvertent and the correction has been
> published

**29.2** The consequences in Section 29.1 do not affect the forking party's
right to use the Sovereign Substrate under Part II. Part II is irrevocable
and unconditional. What terminates is the registry standing, the mark rights,
and the representation of certification — not the underlying use right.

**29.3** The Operator may publish a public notice in the Sovereign Registry
identifying a party who has committed Fork Misattribution. This notice is
factual and is not subject to defamation claims to the extent it accurately
states the Technical Review Panel's determination.

### Section 30. Reporting Fork Misattribution

**30.1** Any person who believes Fork Misattribution has occurred may file
a complaint with the Operator at:

```
registry.snapkittywest.github.io/misattribution-complaint
```

**30.2** A complaint must include:

| Field | Required |
|-------|----------|
| Complainant identity | Yes |
| Respondent identity | Yes |
| The Prior Art Entry allegedly misattributed | Yes |
| The specific representation constituting the misattribution | Yes |
| Evidence (URLs, publications, screenshots) | Yes |
| Declaration that the complaint is made in good faith | Yes |

**30.3** The Operator will notify the respondent and provide thirty (30) days
to respond before convening the Technical Review Panel.

**30.4** Frivolous complaints made in bad faith may result in the complainant
being barred from future filings.

---

## PART XI — FORENSIC ATTRIBUTION BURDEN

### Section 31. Burden of Independent Derivation

**31.1** Any Derivative Proof — a formal proof, theorem, algorithm, or
mathematical derivation that overlaps in substance with a Prior Art Entry —
is presumed to have been derived from the Prior Art Entry unless the party
asserting independent derivation affirmatively demonstrates otherwise.

**31.2** The presumption in Section 31.1 applies when:

> **(a)** The Derivative Proof was published after the Prior Art Entry
> timestamp; AND

> **(b)** The mathematical content overlaps to a degree that could not
> plausibly arise from independent derivation of elementary principles
> without intermediate copying.

**31.3** To rebut the presumption, the party asserting independent derivation
must produce:

> **(a)** A documented derivation chain — contemporaneous notes, drafts,
> or intermediate proof states — showing the mathematical development step
> by step without reference to any Formed Work covered by this License;

> **(b)** Witness testimony or independent corroboration that the mathematics
> was developed without access to the Prior Art Entry; OR

> **(c)** A machine-checked proof in Lean 4, Coq, or Isabelle/HOL submitted
> to the Technical Review Panel for independent verification, with a
> provenance certificate from the proof assistant system confirming the
> proof was developed in an isolated environment.

**31.4** The burden in Section 31.3 is on the party asserting independent
derivation. Failure to meet it sustains the presumption that the Derivative
Proof was derived from the Prior Art Entry.

**31.5** The Technical Review Panel is the arbiter of whether the burden has
been met. Panel determinations are final within the Sovereign Registry system,
without prejudice to any party's rights in any external legal proceeding.

### Section 32. Application to Foundry-F1

**32.1** Any party who publishes, files, or claims originality for a formal
proof of any of the following must meet the forensic attribution burden of
Section 31.3 or acknowledge the applicable Prior Art Entry:

- (a) The GKN quartic invariant I4 on the 56-dimensional E7 representation (PAR-001)
- (b) Homogeneity of I4 to any degree on any state space (PAR-001, PAR-002)
- (c) E7 Weyl group invariance of I4 under signed permutation representations (PAR-003)
- (d) The simplex normalization constraint formalized in Lean 4 (PAR-004)
- (e) The Bifrost attestation protocol receipt format (PAR-005)
- (f) The plasma gate + Datalog two-layer classification architecture (PAR-006)
- (g) The fused U·ρ·U† kernel architecture with inline attestation (PAR-007)

**32.2** This Section applies regardless of whether the party is a Maker,
a fork, a downstream derivative, or an independent researcher who had
access to the Formed Works at any time.

**32.3** Nothing in this Section prevents independent researchers from
publishing proofs of the same mathematical facts. The Prior Art Record
records who derived it first; it does not prohibit subsequent proofs.
What it prohibits is claiming to have derived it first without meeting
the burden of Section 31.3.

---

## PART XII — VERSION HISTORY AND AMENDMENTS

### Section 33. Version History

| Version | Date | Changes |
|---------|------|---------|
| v1.0 | 2026-06-01 | Initial sovereign license |
| v2.0 | 2026-07-13 | Certification tiers, registry economics, mark system |
| v3.0 | 2026-07-19 | Prior Art Preservation (Part IX), Anti-Misattribution (Part X), Forensic Attribution Burden (Part XI) |

---

```
════════════════════════════════════════════════════════════════════════════════
END OF THE SOVEREIGN SOURCE LICENSE, VERSION 3.0

This License document is itself released under CC0 1.0 Universal.
Any person may copy, adapt, and republish it for any purpose.

The Sovereign Substrate governed by Part II of this License
is public domain. It has always been. It always will be.

Three instruments. One License family.
Parts IX–XI make the authorship record tamper-evident.
The substrate is always free.
The formed work always belongs to its Maker.
The prior art record makes the derivation history immutable.

PAR-001 through PAR-007: filed 2026-07-19.
Cryptographic anchors: public.
The mathematics came from Ahmad Ali Parr.
The record says so.
The WORM chain seals it.

Ω ← TRUST ∧ CODE
No sorry remains.
════════════════════════════════════════════════════════════════════════════════
```