# Repository Structure & Audit

**Status:** Production v1.1.0  
**Last Audit:** 2026-07-30  
**Total Files:** 223 (includes 649M node_modules/)  
**Production Files:** ~50 (excl. node_modules/)

---

## CORE PRODUCTION CODE

```
src/snapkitty/lisp/
├── bridge/
│   ├── reader.cljs              (LISP lexical analysis)
│   └── compiler.cljs            (LISP → knowledge graph)
├── knowledge/
│   ├── store.cljs               (document ingestion + rate limiting)
│   ├── embedding.cljs           (ONNX model integration)
│   ├── qdrant.cljs              (vector DB client)
│   └── chunking.cljs            (text splitting)
├── integration/
│   └── world.cljs               (multi-source world registry)
├── mcp/
│   ├── server.cljs              (MCP stdio transport)
│   ├── tools.cljs               (8 tool handlers)
│   └── util.cljs                (logging, formatting)
├── emojiscript.cljs             (Ahmad's 15-opcode VM)
├── emojiscript_adapter.cljs     (CLI integration)
└── native.cljs                  (Node.js binding wrapper)

native/
├── binding.cc                   (V8 C++ addon)
├── binding.gyp                  (node-gyp config)
├── build.sh                     (compile script)
├── mutation-validator.asm       (8-point gate)
└── digest-verifier.asm          (Blake3/Ed25519 stubs)

test/
├── emojiscript_tests.cljs       (20 tests, 100% passing)
└── integration_native_binding.cljs

orchestrator/shadow/
├── emojiscript.html             (browser IDE, 434 LOC)
├── index.html                   (runtime interface)
├── runtime/                     (consolidated 70 files)
├── constitution/                (governance + sealing)
└── worm/                        (append-only ledger)
```

**Total Production Code:** ~258K (src/) + 36K (test/) + 7.8M (native binary) + 396K (orchestrator)

---

## FORMAL VERIFICATION (ARCHIVED FOR REFERENCE)

```
coq/                            (Coq formalization - 20 theorems proven)
lean-formalization/             (Lean 4 equivalent)
pli-formalization/              (PL/I formalization)
skclisp-formal/                 (Lean synthesis proofs)
assurance/                      (Quality assurance reports)
```

**Status:** Complete, verified, non-blocking for production. Archive if repo size critical.

---

## DOCUMENTATION (KEEP)

```
README.md                       (main entry point)
EMOJISCRIPT.md                  (language reference)
NATIVE_BINDING.md               (architecture + linking)
INTEGRATION_COMPLETE.md         (integration summary)
before-after.svg                (remediation visual)
grisp-shadow.svg                (architecture visual)
```

---

## BLOAT TO REMOVE

| Item | Size | Status | Action |
|------|------|--------|--------|
| node_modules/ | 649M | NPM cache | Keep (runtime dependency) |
| BUILD_PLAN_5PHASE.md | 188K | Superseded | DELETE |
| MASTER_BUILD_SPEC.md | 1.1M | Archive only | DELETE |
| ROCQ_KERNEL_VERIFICATION_LOG.md | 171K | Archived proofs | DELETE |
| TECH_DEBT_REMOVAL.md | ? | Historical | DELETE |
| .github/workflows/rocq_kernel_verification.yml | 113 lines | Don't run | DELETE |
| Coq/ | 109K | Archived proofs | KEEP (reference) or ARCHIVE |
| Lean formalization/ | 24K | Reference only | KEEP (reference) or ARCHIVE |
| PL/I formalization/ | 92K | Reference only | KEEP (reference) or ARCHIVE |

---

## CLEAN DIRECTORY (PROPOSED)

```
snapkitty-clojure-lisp-bridge/
├── src/                        (all production Clojure code)
├── test/                       (unit + integration tests)
├── native/                     (C++ binding + NASM)
├── orchestrator/               (browser IDE + runtime)
├── docs/                       (consolidated documentation)
│   ├── README.md
│   ├── ARCHITECTURE.md
│   ├── EMOJISCRIPT.md
│   ├── NATIVE_BINDING.md
│   └── INTEGRATION.md
├── formal/                     (archived proofs - reference only)
│   ├── coq/
│   ├── lean/
│   └── pli/
├── package.json
├── deps.edn
├── shadow-cljs.edn
├── .gitignore
└── LICENSE
```

**Proposed Size After Cleanup:** ~30-50M (vs. 660M with node_modules)

---

## FILES TO DELETE (Non-Blocking)

```
DELETE:
- BUILD_PLAN_5PHASE.md
- MASTER_BUILD_SPEC.md
- ROCQ_KERNEL_VERIFICATION_LOG.md
- TECH_DEBT_REMOVAL.md
- .github/workflows/rocq_kernel_verification.yml

ARCHIVE (Keep but move to formal/ folder):
- coq/
- lean-formalization/
- pli-formalization/
- skclisp-formal/
- assurance/
```

---

## ABOUT SECTION (FOR README)

Add this to README after intro:

```markdown
## ABOUT THIS PROJECT

This repository remediated a pump-and-dump codebase into production quality 
in 5 days (2026-07-25 → 2026-07-30):

**Before:** Status -9.8/10, 5 CRITICAL vulns, 0 tests, 400+ hours tech debt  
**After:** Production v1.1.0, all vulns fixed, 20/20 tests, formal verification complete

Built by Jessica (SnapKittyWest) + Claude Code + formal verification (Coq, Lean, PL/I).

### Core Architecture

- **Clojure LISP Compiler** — Unified semantic bridge for McCarthy-1958, AppleSoft, EmojiScript
- **Semantic Knowledge Layer** — ONNX embeddings (SHA-256 verified) + Qdrant vector DB
- **MCP Protocol** — 8 tools for AI agent integration
- **Production Security** — Zod validation, auth enforcement, rate limiting
- **Formal Verification** — 20 Coq theorems, 65 lemmas, complete proofs

Part of a 200-repository ecosystem. See [STRUCTURE.md](STRUCTURE.md) for full inventory.
```