β‘ Evo
Capability
Stack Map
Experiments
Audit
Pipeline
Ledger
+ μΆκ°
π¦ Repo Map β
Computing Stack Coverage
Language
Lexer / Parser / IR / Compiler / VM / Self Hosting
12
/ 26 PROVEN
μκΈ°μ§ν 루ν
AST Optimizer ꡬν
AST Serializer ꡬν
Adaptive Optimization ꡬν
IR / Bytecode μμ±
JIT μ»΄νμΌλ¬ ꡬν
Lexer ꡬν
Native ELF μμ±
Package Manager
Parser / AST ꡬν
REPL
Self-Hosting μ»΄νμΌλ¬
Type Checker
Constraint Solver (FVX)
DSL μ€κ³ λ° κ΅¬ν
Deterministic Compilation
Formal Verification
Intent-Oriented Proof Computing
LLVM λ°±μλ ꡬν
Language Transpiler
Multi-Target Code Generation
NPM μνκ³ λ체 ꡬν
Pattern Matching / ADT
Polyglot FFI
Proof-Oriented Execution Model
WebAssembly μ½λ μμ±
Runtime
JIT / GC / Allocator / Scheduler / Actor / IPC
10
/ 18 PROVEN
Coroutine / Fiber
GC / λ©λͺ¨λ¦¬ κ΄λ¦¬
Lock-Free Queue ꡬν
Memory Pool + μμΆ
Memory Pool / Allocator
NUMA λ©λͺ¨λ¦¬ κ΄λ¦¬
Observable Runtime State
Process κΈ°λ° λμμ±
Thread Pool + Work Stealing
VM / Bytecode Interpreter
Bootloader ꡬν
File System ꡬν (FAT32)
Interrupt Handler ꡬν
OS μ€μΌμ€λ¬ ꡬν
State Engine ꡬν
Syscall / User Mode ꡬν
Virtual Memory Manager
iOS / Mobile Runtime
Database
SQL / MVCC / WAL / Index / Transaction / Replication
7
/ 9 PROVEN
ACID νΈλμμ ꡬν
B-Tree μΈλ±μ± ꡬν
MVCC ꡬν
Query Planner
Replication / Consensus
SQL Parser ꡬν
WAL λ‘κ·Έ ꡬν
Agent Task Queue
Multi-Agent μ‘°μ¨ μμ€ν
Protocol
HTTP / WebSocket / SSH / SFTP / TCP / TLS
8
/ 9 PROVEN
DNS ꡬν
HTTP μλ² κ΅¬ν
HTTP/2 ꡬν
SSH/SFTP μλ² κ΅¬ν
TCP μλ² κ΅¬ν
TLS/SSL ꡬν
WebSocket μλ² κ΅¬ν
gRPC / Protobuf
File Upload μ²λ¦¬
AI
Tokenizer / Embedding / Attention / Autograd / Training / Inference
11
/ 17 PROVEN
Training Loop (Adam)
Transformer Block ꡬν
Autograd (μλλ―ΈλΆ)
Autograd (μλλ―ΈλΆ) ꡬν
BPE Tokenizer
Embedding / Positional Encoding
Inference Engine
Multi-Head Attention
Multi-Head Attention ꡬν
Neural Network Layer
Neural Network Layer ꡬν
Tensor μ°μ°
Tensor μ°μ° ꡬν
Agent Memory System
Agent Orchestration
Autonomous Evolution
GPU λΆμ° νμ΅
Tooling
Monitoring / Telemetry / Audit / Failure Analysis / Build
7
/ 15 PROVEN
Build System
Causal Chain λΆμ
Log/Diff/Trace νμ±
P50/P95/P99 νμ€ν κ·Έλ¨
P99 νμ€ν κ·Έλ¨
Profiler
μ¬ν κ°λ₯μ± μ μ
Autonomous Scheduler
Code Formatter ꡬν
Git Hook μλν
ID Generator ꡬν
Linter / Static Analyzer
Proof-Based Verification
Self-Healing μμ€ν
Test Framework ꡬν
Application
Board / Blog / SaaS / CRM / ERP
4
/ 7 PROVEN
Fullstack SSR ꡬν
OAuth / JWT μΈμ¦
Real-time Chat
Search Engine
Cross-Platform Framework
Game Engine / DSL
State Management ꡬν