Rtm to tm - #14

Draft

crei wants to merge 16 commits into

SamuelSchlesinger:devfrom

Commits on Jul 19, 2026

feat(Models): add rose tree machine data model and program semantics

crei
and
Copilot
committed
057ea9d
feat(Models): compile in-place RTM programs to Turing machines

crei
and
Copilot
committed
293e1bd
feat(Models): state full InPlace RTM to TM compiler theorem

crei
and
Copilot
committed
1453ce7
feat(Models): add layout-relative multi-tape compiler interface for RTM

crei
and
Copilot
committed
5427627
feat(Models): decompose RTM compiler into per-constructor parts

crei
and
Copilot
committed
d0c6a79
feat(rtm): prove compiled_empty RTM compiler part

crei
and
Copilot
committed
13f309e

Commits on Jul 20, 2026

Commits on Jul 22, 2026

feat(rtm): add emptyTM subroutine for the empty constructor

crei
and
Copilot
committed
e5ede54
refactor(rtm): split RTM-to-TM compiler into Defs/Internal/surface

crei
and
Copilot
committed
195b9a2
refactor(rtm): park subroutine tapes at head 1 in compile contract

crei
and
Copilot
committed
e785e2a
feat(rtm): prove compiled_var compiler part

crei
and
Copilot
committed
e8f62d7
refactor(rtm): reframe compiler recursion onto RunsAsSubroutine

crei
and
Copilot
committed
8d64bef
feat(rtm): prove compiled_var compiler part

crei
and
Copilot
committed
c9dc27d