--- license: other license_name: snapkitty-tri-license license_link: https://huggingface.co/Snapkitty/sovereign-hypervisor-sdk/blob/main/LICENSE tags: - snapkitty - hardware - c - arm64 --- > Source: [github.com/SNAPKITTYWEST/sovereign-hypervisor-sdk](https://github.com/SNAPKITTYWEST/sovereign-hypervisor-sdk) # Sovereign Hypervisor SDK [![License: BSL-1.1](https://img.shields.io/badge/license-BSL--1.1-orange?style=flat-square)](LICENSE) [![License: AGPL-3.0](https://img.shields.io/badge/license-AGPL--3.0-blue?style=flat-square)](LICENSE) [![License: MPL-2.0](https://img.shields.io/badge/license-MPL--2.0-green?style=flat-square)](LICENSE) [![Patent Pending](https://img.shields.io/badge/patent-pending-red?style=flat-square)]() [![Paywall](https://img.shields.io/badge/rendering-license%20required-critical?style=flat-square)](https://snapkittywest.dev/license) [![Sovereign Stack](https://img.shields.io/badge/stack-Sovereign%20Stack-blueviolet?style=flat-square)](https://github.com/SNAPKITTYWEST) **Authors:** Jessica L. Westerhoff (SNAPKITTYWEST), Ahmad Ali Parr **Trust:** Bel Esprit D'Accord Irrevocable Trust · EIN 42-697643 > **Sovereign ARM64 EL2 Hypervisor Platform + ORTHO-32-T Chip Fabric + Formally Verified AGI Kernel** > Public API surface only. Implementation requires a paid license. --- ## ⚠️ PAYWALL NOTICE This repository contains **API definitions and documentation only**. **No software renders without a license.** The implementation — including the Node backend, 6502 VM, NASM→ARM64 translator, ORTHO-32-T RTL, and AGI kernel — is in the private repository and is released only to licensed users. **Get a license:** [licensing@snapkittywest.dev](mailto:licensing@snapkittywest.dev) --- ## What Is This A three-layer sovereign computing platform: ### Layer 1 — ORTHO-32-T Chip Fabric A formally verifiable alternative to Intel AMX. | Property | Intel AMX | ORTHO-32-T | |----------|-----------|------------| | Deterministic latency | ❌ Non-deterministic | ✅ 9 cycles/tile (proved) | | Formal verification | ❌ Closed source | ✅ TLA+ + Lean 4 | | Vendor lock-in | ❌ Sapphire Rapids+ only | ✅ Any ASIC foundry | | Patent status | Intel patents | SnapKitty patent pending | - 32-bit RISC ISA, 5-stage pipeline - 8 tensor registers (TR0-TR7), 4×4 INT8 tiles - **768-cycle deterministic 4×4×4 GEMM** — provable, not approximate - Target: TSMC 28nm or SkyWater 130nm ASIC ### Layer 2 — Sovereign ARM64 EL2 Hypervisor Windows control plane → macOS SwiftUI shell → ARM64 EL2 target. - 6502 VM (64KB memory, real registers, WORM trace chain) - NASM x86_64 → Apple ARM64 translation bridge - Dual-runtime AMD64 bare-metal scaffold (UEFI boot, GDT/IDT/paging/TSS) - `portal.asm` — lock-free ring buffer (Swift producer / ASM consumer) - `sovereign_boot_chain.asm` — 4-stage WORM chain of trust - Live at :8788 in compatibility mode (LIVE EL2 TARGET requires connected endpoint) ### Layer 3 — Sovereign AGI Kernel Formally verified AGI trust anchor in Idris 2. Safety axioms are **types**, not policies. ``` Active => Trusted — uninhabited type, no constructor exists WORMChain — no Remove constructor, deletion impossible by type EntropyBound n — compile-time, n ≤ 20 ``` 5 axioms. All enforced at compile time. If it compiles, the invariants hold. --- ## API Surface (SDK — Stubs Only) ```typescript // sovereign-hypervisor-sdk/src/index.ts // STUBS ONLY — implementation requires license export interface HypervisorBridge { /** Write to 6502 mailbox at $2000 */ mailboxWrite(payload: string, guestId: number, cycleBudget: number): Promise /** Translate NASM x86_64 source to Apple ARM64 */ translateNasm(source: string): Promise /** Get platform status */ status(): Promise } export interface ORTHO32T { /** Execute deterministic GEMM tile (9 cycles) */ gemmTile(a: Int8Array, b: Int8Array): Promise /** Get timing contract */ timingContract(): TimingContract // 768 cycles for 4×4×4, provable } export interface AGIKernel { /** Submit reasoning claim through kernel gate */ verifyClaim(claim: unknown): Promise } ``` **Full implementation:** [Contact for license](mailto:licensing@snapkittywest.dev) --- ## License Licensed under **SnapKitty Tri-License**. Full text: [LICENSE](LICENSE). ### 💼 Commercial License Snapkitty code is free and open under **AGPL-3.0** for open-source use. Building a commercial product or service? A **proprietary commercial license** from Snapkitty Collective LLC lets you ship this code without the AGPL's source-sharing and network-use obligations. **[→ Get a commercial license](mailto:A.parr@belespritdaccord.uk?subject=Commercial%20license:%20sovereign-hypervisor-sdk)** · A.parr@belespritdaccord.uk ## Prior Art - Trust: Bel Esprit D'Accord Irrevocable Trust (EIN 42-697643) - Zenodo: DOI 10.5281/zenodo.21268911 (78 Lean 4 theorems, 2026-07-08) - Chain: BEL-ESPRIT-D-ACCORD-TRUST-HOLDINGS/sovereign-hypervisor-arm64 (private) - WORM: Ed25519 + Blake3 sealed --- © 2026 Bel Esprit D'Accord Irrevocable Trust · SNAPKITTYWEST Patent pending · All rights reserved