Deep research notes that back specific design documents. Each subsection is the substrate for one MEP (Mochi Enhancement Proposal) or comparable design brief.
Long-form research notes that back specific design documents. Each subsection collects the literature, systems studies, and provenance for one decision-making artifact.
Subjects
- Memory Management — the substrate for Mochi MEP-41: capability machines, generational references, ownership systems, runtime techniques, formal verification, and 2026 industry policy.
- Native Code Emission — the substrate for Mochi MEP-42: copy-and-patch JIT, C-as-target AOT, target ISAs and ABIs, object formats, linkers, runtime, debug info, and recent codegen papers.
- Mochi-to-C Transpiler – the substrate for Mochi MEP-45: the C-AOT half of MEP-42, broken out as 12 notes on the language surface, runtime, codegen, type lowering, portability, build system, and risks.
Memory ManagementResearch substrate for Mochi MEP-41 (May 2026). A 57-file deep dive into memory-safety advances from 2023 to mid-2026: capability hardware, generational references, ownership systems, runtime techniques, formal verification, and industry policy (CISA / NSA / ONCD).
Native Code EmissionResearch substrate for Mochi MEP-42 (May 2026). A 73-file deep dive into how managed-language runtimes lower typed IR to native machine code: code generation backends, AOT case studies, naive emission techniques, target ISAs and ABIs, object formats, linkers, runtime and libc, debug info, and recent PLDI/POPL papers.
Mochi-to-C TranspilerResearch substrate for Mochi MEP-45 (May 2026). A 12-file deep dive into ahead-of-time transpilation from Mochi to ISO C23: language surface, design philosophy, prior-art transpilers, runtime building blocks, codegen design, type-system lowering, C-target portability, dataset pipeline, streams and agents, build system, testing gates, and risks.