Loop MMT · The Schematics

Schematics

The compiler’s proofs. Each one reads a batch of gifts and lays out how they wire into a whole app — which stages feed which, and which run in parallel.

Most of these carry declared gaps — and that’s the honest part. A ◈ Declared gaps verdict means the app is constructible: the wiring holds, and the missing pieces are named out loud (honest derive-first work), not swept under a green check. A ◆ Compiles complete verdict means every stage is witnessed by a shipped gift. The gifts are real and free; the wiring is a plan you can read, check, and build.

Games

S-01

Graphics Game

A little game loop, compiled from a world-model and a renderer.

Declared gaps · 2 gaps

2 interactive lanesread the wiring →

S-06

Sudoku

A playable sudoku, compiled from shipped gifts.

Declared gaps · 2 gaps

1 interactive laneread the wiring →

Graphics

S-03

Mandelbrot

The Mandelbrot set, rendered from a pixel-grid pipeline.

Declared gaps · 2 gaps

1 interactive laneread the wiring →

S-04⊗ parallel

Photoshop Killer

Layered image editing, wired from convolution and compositing.

Declared gaps · 2 gaps

3 interactive lanesread the wiring →

Math

S-02

Graphing Calculator

Type a function, see it plotted — assembled from gifts.

Declared gaps · 2 gaps

1 interactive laneread the wiring →

Productivity

S-05

Spreadsheet

A working spreadsheet, wired from small pieces.

Declared gaps · 3 gaps

1 interactive laneread the wiring →

S-07

Text Editor

A real text editor — buffer, highlight, find-replace — compiled.

Compiles complete

3 interactive lanesread the wiring →

S-08

Timeline

A filterable timeline, compiled from axis + window + event model.

Declared gaps · 1 gap

1 interactive laneread the wiring →

Found a gap we missed, or think a wiring is wrong? Shea wants to hear it — shea@loopmmt.com