YAML Metadata Warning:empty or missing yaml metadata in repo card
Check out the documentation for more information.
π¦ ENTERPRISE-IN-A-BOX
Build your own sovereign IDE from scratch. Complete 16-layer Fortran 2018 starter kit. Cherry-pick components from 25+ SnapKitty repos. Compile to WASM. Get a production IDE + agent runtime + all tools. Zero npm. Zero Electron. Zero dependencies.
Badges
What's in the Box?
ENTERPRISE-IN-A-BOX is a complete skeleton + cherry-pick guide for building a sovereign IDE from our existing repos. Everything you need to:
- β Build your own IDE (editor + LSP + debugger)
- β Integrate quantum engines (Hamiltonian, vortex lattices, metrics)
- β Add agent runtimes (MCP sandbox, Prolog gate, extension host)
- β Get build tools (make, cargo, flang, wasm-pack)
- β Deploy to browsers (single WASM binary)
Each layer has a SOURCES.md that tells you exactly which SnapKitty repos to cherry-pick from. Assemble everything. Run make all. You get a working IDE.
The 16-Layer Stack
- Provable Layering β Every layer calls only layers below it. No circular deps. Compile-time enforced.
- Pure Fortran 2018 β Type-safe, formally verifiable, vectorizable. C ABI for FFI.
- WASM Compilation β Single-step β browser-native code via MLIR.
- Quantum Built-In β Hamiltonian, gates, metrics, vortex dynamics in the core.
- Sovereign Sourcing β All components come from audited SnapKitty repos you control.
βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
β Layer 15: Application Shell β workspace, session, event loop β
βββββββββββββββββββββββββββββββββββΌββββββββββββββββββββββββββββββββ€
β Layer 14: Extensions β WASM sandbox, MCP, Prolog gate β
βββββββββββββββββββββββββββββββββββΌββββββββββββββββββββββββββββββββ€
β Layer 13: DAP β Debug Adapter Protocol client β
βββββββββββββββββββββββββββββββββββΌββββββββββββββββββββββββββββββββ€
β Layer 12: LSP β Language Server Protocol β
βββββββββββββββββββββββββββββββββββΌββββββββββββββββββββββββββββββββ€
β Layer 11: Build System β make, cargo, flang, wasm-pack β
βββββββββββββββββββββββββββββββββββΌββββββββββββββββββββββββββββββββ€
β Layer 10: VCS β git operations, diff, blame β
βββββββββββββββββββββββββββββββββββΌββββββββββββββββββββββββββββββββ€
β Layer 9: Terminal β PTY, shell integration β
βββββββββββββββββββββββββββββββββββΌββββββββββββββββββββββββββββββββ€
β Layer 8: Search β ripgrep-style find, regex β
βββββββββββββββββββββββββββββββββββΌββββββββββββββββββββββββββββββββ€
β Layer 7: Refactoring β rename, extract, inline β
βββββββββββββββββββββββββββββββββββΌββββββββββββββββββββββββββββββββ€
β Layer 6: Semantic Analysis β type check, Lean 4 proofs β
βββββββββββββββββββββββββββββββββββΌββββββββββββββββββββββββββββββββ€
β Layer 5: Syntax Highlighting β tree-sitter equivalent β
βββββββββββββββββββββββββββββββββββΌββββββββββββββββββββββββββββββββ€
β Layer 4: Parser β incremental PEG, Cranelift JIT β
βββββββββββββββββββββββββββββββββββΌββββββββββββββββββββββββββββββββ€
β Layer 3: Text Buffer β piece table, rope, undo tree β
βββββββββββββββββββββββββββββββββββΌββββββββββββββββββββββββββββββββ€
β Layer 2: GUI β WebGPU immediate-mode renderer β
βββββββββββββββββββββββββββββββββββΌββββββββββββββββββββββββββββββββ€
β Layer 1: Platform β OS abstraction, window, GPU β
βββββββββββββββββββββββββββββββββββΌββββββββββββββββββββββββββββββββ€
β Layer 0: Runtime β arena, string intern, panic β
βββββββββββββββββββββββββββββββββββ΄ββββββββββββββββββββββββββββββββ
Getting Started
1. Understand the Skeleton
# Each layer is a directory with 3 files:
layer-0-runtime/
βββ README.md # What this layer does
βββ SOURCES.md # Cherry-pick from these SnapKitty repos
βββ runtime.f90 # Fortran skeleton (your starting point)
2. Cherry-Pick Components
For each layer, read SOURCES.md. It tells you which repos to pull code from:
# Example: Layer 0 (Runtime)
cd layer-0-runtime
cat SOURCES.md
# Output: Cherry-pick from snap-os/SoulVM, errant/QTT, sov-kernel-monster
# Then manually integrate that code into runtime.f90
3. Build Your IDE
# Compile all 16 layers β lib/libsovereign_ide.a
make all
# Generate WebAssembly (browser-ready)
make wasm
# Debug build (sanitizers + bounds checking)
make debug
# Build + run
make run
4. Deploy
# WASM binary ready for browsers
ls -lh sovereign_ide.wasm
The 16 Layers Explained
Each layer is independent. You can understand, test, and replace each one separately.
| Layer | What It Does | Depends On |
|---|---|---|
| 0: Runtime | Arena allocator, string intern, panic handler | (nothing) |
| 1: Platform | OS abstraction, time, memory | Layer 0 |
| 2: GUI | WebGPU renderer, immediate-mode UI | Layer 0-1 |
| 3: Text Buffer | Piece table, rope, undo tree | Layer 0-2 |
| 4: Parser | PEG parser, Cranelift JIT | Layer 0-3 |
| 5: Syntax | Incremental parsing, highlighting | Layer 0-4 |
| 6: Semantic | Type checking, Lean 4 proofs | Layer 0-5 |
| 7: Refactoring | Rename, extract, inline | Layer 0-6 |
| 8: Search | Ripgrep-style full-text index | Layer 0-7 |
| 9: Terminal | PTY, shell integration | Layer 0-8 |
| 10: VCS | Git operations, diff, blame | Layer 0-9 |
| 11: Build | make, cargo, flang orchestration | Layer 0-10 |
| 12: LSP | Language Server Protocol client | Layer 0-11 |
| 13: DAP | Debug Adapter Protocol client | Layer 0-12 |
| 14: Extensions | WASM sandbox, MCP bridge, Prolog gate | Layer 0-13 |
| 15: Shell | Workspace, sessions, event loop, agent runtime | Layer 0-14 |
Design Principle
Every layer calls only the layers below it.
- Layer N imports from layers 0..N-1 only.
- No lateral imports. No circular dependencies.
- Violation = compile-time error.
Source Repos (Cherry-Pick Reference)
| Layer | Primary SNAPKITTYWEST Repos | Purpose |
|---|---|---|
| 0 | snap-os, errant, sov-kernel-monster, snapkitty-resonance-isa | Fundamental types, error handling, quantum state vectors, RNG |
| 1 | snap-os, systemic-intelligence, twin-o-matic | OS time, memory allocation, quantized numerics |
| 2 | bob-ide (WASM frontend), snap-os (WebGPU) | GPU context, rendering pipelines, immediate-mode UI |
| 3 | foundry-intel (piece table), errant (Forth buffer) | Piece-table text storage, undo history, rope data structure |
| 4 | snapkitty-resonance-isa (IR), snap-os (Cranelift JIT) | Parse tree β IR, JIT-compiled evaluation |
| 5 | snap-os (tree-sitter), gkn-i4-e7-lean (grammar) | Incremental parsing, syntax highlighting |
| 6 | SNAPKITTY-PROOFS (Lean 4), gkn-i4-e7-lean | Type checking, formal proof verification |
| 7 | snapkitty-mcp (refactor tools) | AST rewriting, rename/extract/inline primitives |
| 8 | foundry-intel (search index) | Full-text index, regex compilation |
| 9 | snap-os (PTY), systemic-intelligence (SUBLEQ shell) | Pseudo-terminal, shell integration |
| 10 | git-command-center | Git porcelain: diff, blame, log, merge |
| 11 | sov-kernel-monster (Makefile patterns), bob-orchestrator | Build orchestration, dependency resolution |
| 12 | snapkitty-mcp (JSON-RPC), claudes-harness | LSP/DAP wire protocol, message dispatch |
| 13 | claudes-harness (DAP bridge) | Debug adapter protocol client, breakpoint logic |
| 14 | claudes-harness, snapkitty-mcp, bob-orchestrator | Extension sandbox, Prolog gate, MCP bridge |
| 15 | bob-ide, bob-orchestrator | Workspace state machine, session management, event loop |
Features
β
Formal Verification β Each layer is independently auditable.
β
Quantum-Ready β Built-in Hamiltonian simulation, vortex lattices, entanglement metrics.
β
Zero Dependencies β No npm, no Electron, no external backends.
β
Production WASM β Single compilation pipeline β browser-native code.
β
Sovereign Source β Every line traces back to audited SnapKitty repos.
Related Projects
- bob-ide β WASM frontend + browser UI
- sov-kernel-monster β Quantum engine (Hamiltonian, gates, metrics)
- snap-os β Sovereign operating system
- SNAPKITTY-PROOFS β Lean 4 + formal verification
- snapkitty-mcp β Model Context Protocol tools
License
SSL v3.0 β Sovereign Source License
Owned by Jessica (SNAPKITTYWEST) and the Bel Esprit D'Accord Trust.
Contributors
- Jessica (SNAPKITTYWEST) β Lead architect, sovereign AI research, quantum integration
- Ahmad Ali Parr β Quantum engine design, Hamiltonian theory, vortex lattice topology
Contributing
This is a sovereign project. Contributions welcome from verified collaborators. Please open an issue or contact Jessica (SNAPKITTYWEST) on GitHub.