Yeowoo Labs git.yeowoo.org ↗

2026-OCT c17 + libc 0 runtime deps

Eliminating the
translation tax.

Modern software splits one fact across four representations—wire packet, heap object, 4 KB disk page, and UI tree. Yeowoo Labs builds statically verified compilers (aup), B+tree runtimes (Pure), 0-RTT links (pure://), and display engines (Vega) around one rule: if two layers hold the same information, erase one of them.■

fig 01 · byte representation across boundaries

01 / aup — Types, stack depth, and loop ceilings proven before load. Zero runtime AST. 4,632 B .text

selected falsification notes arm64 · pre-declared kill-bars

note 092 · 106

Record-Level CoW vs. 4 KB Page WAL

5-transaction TPC-C ACID mix with fsync: 4,980 tx/s vs. 739 tx/s on group-committed SQLite WAL.

6.7× flash note 091

Columnar Leaf Stripes Without Secondary Indexes

100k-row pgbench correlated rank in 6.8 ms vs. SQLite 2,840 ms with zero index overhead.

420× scan note 088 · 093

Connectionless 0-RTT HPKE State Replication

462,000 sealed msg/s with crash-safe exactly-once delivery at 1/289th the memory of QUIC.

systems architecture → 001–140: falsification ledger

SYSTEMS arm64 · x86_64 · apple silicon

Four worlds.
One binary contract.

Databases, compilers, network transports, and UI toolkits evolved in isolation. We collapse them into a single statically verified binary format (.pmod) built purely on C17 and libc.■

Verified Micro-Runtime & Persistent B+Tree

Proves types, stack depth, and loop bounds at load time (4,632 B core). Commits PURETRE3 leaves in one writev + fsync while readers traverse in place without locks.

120 KiB / app 02 / aup

Declarative State & Static Verifier

Compiles persistent state, atomic events, and read-only views into verified .pmod modules across 11 NIST, RFC, and TPC-C workloads.

320 checks 03 / vega

Direct Multi-Surface Engine

Scans Pure's live snapshot directly into TUI, CLI, Web SSE, and 60 fps Linux KMS/evdev hardware surfaces.

04 / post-1.0

ray · bell · art

Kernel, design system, and operating environment trees scheduled after the 1.0 contract freeze.

reserved

001–140: falsification notes → git.yeowoo.org ↗

001–140 1,053 deterministic checks

Every claim has a kill-bar.
Survivors are public.

Rejection thresholds are written before code. When a hypothesis fails to beat its baseline on identical hardware, it is reverted and the negative result is preserved in git.■

note 076 · 092 · 106

TPC-C ACID Parity in RAM & Flash

40,976 tx/s in RAM (4.0× SQLite) and 4,980 durable tx/s on flash vs. 739 tx/s on SQLite WAL. 8–18× lower write amplification.

40,976 tx/s note 091

Unindexed Analytical Scans

100,000-row pgbench rank in 6.8 ms (vs. SQLite 2,840 ms) and branch aggregation in 4.9 ms without secondary indexes.

3–420× note 075 · 111

100 Isolated Apps in 2.3 MiB Host RSS

21,300 durable HTTP writes/s across 64 connections; co-located modules exchange 1.14M msg/s in-process without sockets.

2.3 MiB RSS note 088 · 093–102

0-RTT HPKE Transport & Crash Recovery

462,000 sealed msg/s from the first datagram with exactly-once delivery across crashes and IP migration.

about yeowoo labs → all research notes ↗

SEOUL, KR independent lab

Yeowoo Labs.
First-principles systems.

Yeowoo Labs studies and builds foundational software systems—virtual machines, static verifiers, zero-copy storage engines, encrypted transports, and direct display runtimes.■

lead

Sunwoo Moon

Founder & Systems Architect

seoul, kr

discipline

C17 + libc · Falsification R&D

Zero third-party runtime dependencies; byte-deterministic across ARM64, x86_64, and Apple Silicon.

0 deps

git.yeowoo.org · github.com/eunhhu

Public source trees, commit logs, and falsification reports.

cgit ↗ contact

[email protected]

Direct correspondence and research inquiries.

← overview