Machine-readable inferred effect rows from Koka without a fork
Perfect Web
Researching a web stack where entire classes of application bugs become impossible to express.
Web platform research · Architecture · Systems
Problem
Modern web applications ask developers to manually coordinate types, effects, data ownership, caching, rendering, placement and lifecycle across a stack of loosely connected libraries. Many correctness rules exist only as conventions and review comments.
What I built
Rather than jump straight to a framework implementation, I built an evidence-first research program. Milestone 0 defines an executable pass/fail corpus and tests the riskiest integration assumptions against real toolchains before committing the architecture.
Measured evidence
588 B static Marko route with zero script tags and zero client JS
Capability withholding that refuses Wasmtime component instantiation
Compiler diagnostics reproduced from real source spans
Research repository
Inspect the work.
PERFECT WEB COMPILER-CHECKED WEB PLATFORM
domain meaning → compiler guarantees
TYPESADT / Option / Result
EFFECTStyped capabilities
PLACEMENTbuild / browser / edge / origin
RENDERINGstream / resume
Open the repository, charter, evidence and architecture decisions →