| --- |
| 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) |
| [](LICENSE) |
| [](LICENSE) |
| []() |
| [](https://snapkittywest.dev/license) |
| [](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 |
| |
