File size: 5,269 Bytes

---
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<BridgePacket>
  
  /** Translate NASM x86_64 source to Apple ARM64 */
  translateNasm(source: string): Promise<TranslationResult>
  
  /** Get platform status */
  status(): Promise<PlatformStatus>
}

export interface ORTHO32T {
  /** Execute deterministic GEMM tile (9 cycles) */
  gemmTile(a: Int8Array, b: Int8Array): Promise<Int32Array>
  
  /** 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<VerifiedClaim | Rejected>
}
```

**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