Update plugin version. Release 0.5.4 (take 3)

Turn off rustfmt/clippy for 0.5.x branch
Port GitHub workflows from master branch
2026-04-20 20:55:50 +00:00 · 2020-02-27 10:16:31 -08:00 · 2020-02-26 18:15:02 -08:00 · 2020-02-26 18:04:17 -08:00 · 2020-02-26 18:02:49 -08:00 · 2020-02-26 17:55:52 -08:00
378 changed files with 10562 additions and 55613 deletions
--- a/.editorconfig
+++ b/.editorconfig
@@ -3,24 +3,16 @@ root = true
 [*]
 end_of_line = lf
 charset = utf-8
-trim_trailing_whitespace = true
 insert_final_newline = false
+trim_trailing_whitespace = true

 [*.{json,js,css}]
 indent_style = space
 indent_size = 2

-[*.md]
+[*.{md,rs}]
 indent_style = space
 indent_size = 4

-[*.{rs,toml}]
-indent_style = space
-indent_size = 4
-insert_final_newline = true
-
-[*.snap]
-insert_final_newline = true
-
 [*.lua]
 indent_style = tab
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -23,12 +23,6 @@ jobs:
    - name: Run tests
      run: cargo test --locked --verbose

-    - name: Rustfmt and Clippy
-      run: |
-        cargo fmt -- --check
-        cargo clippy
-      if: matrix.rust_version == 'stable'
-
    - name: Build (All Features)
      run: cargo build --locked --verbose --all-features

--- a/.gitignore
+++ b/.gitignore
@@ -1,18 +1,9 @@
-# Rust output directory
 /target
-
-# Headers for clibrojo
-/include
-
-# Roblox model and place files in the root, used for debugging
+/scratch-project
+/server/failed-snapshots/
+**/*.rs.bk
 /*.rbxm
 /*.rbxmx
 /*.rbxl
 /*.rbxlx
-
-# Roblox Studio holds 'lock' files on places
-*.rbxl.lock
-*.rbxlx.lock
-
-# Snapshot files from the 'insta' Rust crate
 **/*.snap.new
--- a/.gitmodules
+++ b/.gitmodules
@@ -4,6 +4,9 @@
 [submodule "plugin/modules/testez"]
 	path = plugin/modules/testez
 	url = https://github.com/Roblox/testez.git
+[submodule "plugin/modules/lemur"]
+	path = plugin/modules/lemur
+	url = https://github.com/LPGhatguy/lemur.git
 [submodule "plugin/modules/promise"]
 	path = plugin/modules/promise
 	url = https://github.com/LPGhatguy/roblox-lua-promise.git
--- a/.travis.yml
+++ b/.travis.yml
@@ -0,0 +1,44 @@
+matrix:
+  include:
+    # Lua tests are currently disabled because of holes in Lemur that are pretty
+    # tedious to fix. It should be fixed by either adding missing features to
+    # Lemur or by migrating to a CI system based on real Roblox instead.
+
+    # - language: python
+    #   env:
+    #     - LUA="lua=5.1"
+
+    #   before_install:
+    #     - pip install hererocks
+    #     - hererocks lua_install -r^ --$LUA
+    #     - export PATH=$PATH:$PWD/lua_install/bin
+
+    #   install:
+    #     - luarocks install luafilesystem
+    #     - luarocks install busted
+    #     - luarocks install luacov
+    #     - luarocks install luacov-coveralls
+    #     - luarocks install luacheck
+
+    #   script:
+    #     - cd plugin
+    #     - luacheck src
+    #     - lua -lluacov spec.lua
+
+    #   after_success:
+    #     - cd plugin
+    #     - luacov-coveralls -e $TRAVIS_BUILD_DIR/lua_install
+
+    - language: rust
+      rust: 1.34.0
+      cache: cargo
+
+      script:
+        - cargo test --verbose
+
+    - language: rust
+      rust: stable
+      cache: cargo
+
+      script:
+        - cargo test --verbose
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,12 +1,6 @@
 # Rojo Changelog

-## Unreleased Changes for 0.6.x
-* Added `--watch` argument to `rojo build`. ([#284](https://github.com/rojo-rbx/rojo/pull/284))
-* Added dark theme support to plugin. ([#241](https://github.com/rojo-rbx/rojo/issues/241))
-
-## [0.6.0 Alpha 2](https://github.com/rojo-rbx/rojo/releases/tag/v0.6.0-alpha.2) (March 6, 2020)
-* Fixed `rojo upload` command always uploading models.
-* Removed `--kind` parameter to `rojo upload`; Rojo now automatically uploads the correct kind of asset based on your project file.
+## Unreleased Changes

 ## [0.5.4](https://github.com/rojo-rbx/rojo/releases/tag/v0.5.4) (February 26, 2020)
 This is a general maintenance release for the Rojo 0.5.x release series.
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -11,13 +11,6 @@ Some of the repositories covered are:
 ## Code
 Code contributions are welcome for features and bugs that have been reported in the project's bug tracker. We want to make sure that no one wastes their time, so be sure to talk with maintainers about what changes would be accepted before doing any work!

-You'll want these tools to work on Rojo:
-
-* Latest stable Rust compiler
-* Latest stable [Rojo](https://github.com/rojo-rbx/rojo)
-* Latest stable [Remodel](https://github.com/rojo-rbx/remodel)
-* Latest stable [run-in-roblox](https://github.com/rojo-rbx/run-in-roblox)
-
 ## Documentation
 Documentation impacts way more people than the individual lines of code we write.

--- a/Cargo.lock
+++ b/Cargo.lock
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -1,100 +1,8 @@
-[package]
-name = "rojo"
-version = "0.6.0-alpha.2"
-authors = ["Lucien Greathouse <me@lpghatguy.com>"]
-description = "Enables professional-grade development tools for Roblox developers"
-license = "MPL-2.0"
-homepage = "https://rojo.space"
-documentation = "https://rojo.space/docs"
-repository = "https://github.com/rojo-rbx/rojo"
-readme = "README.md"
-edition = "2018"
-
-exclude = [
-    "/plugin/**",
-    "/test-projects/**",
-]
-
-[features]
-default = []
-
-# Turn on support for specifying glob ignore path rules in the project format.
-unstable_glob_ignore_paths = []
-
-# Turn on the server half of Rojo's unstable two-way sync feature.
-unstable_two_way_sync = []
-
-# Enable this feature to live-reload assets from the web UI.
-dev_live_assets = []
-
 [workspace]
 members = [
-    "rojo-test",
-    "rojo-insta-ext",
-    "clibrojo",
-    "memofs",
+	"server",
+	"rojo-test",
 ]

-default-members = [
-    ".",
-    "rojo-test",
-    "rojo-insta-ext",
-    "memofs",
-]
-
-[lib]
-name = "librojo"
-path = "src/lib.rs"
-
-[[bin]]
-name = "rojo"
-path = "src/bin.rs"
-
-[[bench]]
-name = "build"
-harness = false
-
-[dependencies]
-crossbeam-channel = "0.4.0"
-csv = "1.1.1"
-env_logger = "0.7.1"
-futures = "0.1.29"
-globset = "0.4.4"
-humantime = "1.3.0"
-hyper = "0.12.35"
-jod-thread = "0.1.0"
-lazy_static = "1.4.0"
-log = "0.4.8"
-maplit = "1.0.1"
-notify = "4.0.14"
-rbx_binary = "0.5.0"
-rbx_dom_weak = "1.10.1"
-rbx_reflection = "3.3.408"
-rbx_xml = "0.11.3"
-regex = "1.3.1"
-reqwest = "0.9.20"
-ritz = "0.1.0"
-rlua = "0.17.0"
-serde = { version = "1.0", features = ["derive", "rc"] }
-serde_json = "1.0"
-snafu = "0.6.0"
-structopt = "0.3.5"
-termcolor = "1.0.5"
-tokio = "0.1.22"
-uuid = { version = "0.8.1", features = ["v4", "serde"] }
-memofs = { path = "memofs" }
-
-[target.'cfg(windows)'.dependencies]
-winreg = "0.6.2"
-
-[dev-dependencies]
-rojo-insta-ext = { path = "rojo-insta-ext" }
-
-criterion = "0.3"
-insta = { version = "0.13.1", features = ["redactions"] }
-lazy_static = "1.2"
-paste = "0.1"
-pretty_assertions = "0.6.1"
-serde_yaml = "0.8.9"
-tempfile = "3.0"
-walkdir = "2.1"
+[profile.dev]
+opt-level = 1
--- a/README.md
+++ b/README.md
@@ -7,11 +7,14 @@
 <div>&nbsp;</div>

 <div align="center">
-    <a href="https://github.com/rojo-rbx/rojo/actions">
-        <img src="https://github.com/rojo-rbx/rojo/workflows/CI/badge.svg" alt="Actions status" />
+    <a href="https://travis-ci.org/rojo-rbx/rojo">
+        <img src="https://api.travis-ci.org/rojo-rbx/rojo.svg?branch=master" alt="Travis-CI Build Status" />
    </a>
    <a href="https://crates.io/crates/rojo">
-        <img src="https://img.shields.io/crates/v/rojo.svg?label=latest%20release" alt="Latest server version" />
+        <img src="https://img.shields.io/crates/v/rojo.svg?label=version" alt="Latest server version" />
+    </a>
+    <a href="https://rojo.space/docs/0.4.x">
+        <img src="https://img.shields.io/badge/docs-0.4.x-brightgreen.svg" alt="Rojo 0.4.x Documentation" />
    </a>
    <a href="https://rojo.space/docs/0.5.x">
        <img src="https://img.shields.io/badge/docs-0.5.x-brightgreen.svg" alt="Rojo 0.5.x Documentation" />
@@ -41,15 +44,15 @@ Soon, Rojo will be able to:
 * Automatically manage your assets on Roblox.com, like images and sounds
 * Import custom instances like MoonScript code

-## [Documentation](https://rojo.space/docs)
-Documentation is hosted in the [rojo.space repository](https://github.com/rojo-rbx/rojo.space).
+## [Documentation](https://rojo.space/docs/latest)
+If you find any mistakes, feel free to make changes in the [docs](https://github.com/rojo-rbx/rojo/tree/master/docs) folder of this repository and submit a pull request!

 ## Contributing
 Check out our [contribution guide](CONTRIBUTING.md) for detailed instructions for helping work on Rojo!

 Pull requests are welcome!

-Rojo supports Rust 1.40.0 and newer. The minimum supported version of Rust is based on the latest versions of the dependencies that Rojo has.
+Rojo supports Rust 1.34.0 and newer. The minimum supported version of Rust is based on the latest versions of the dependencies that Rojo has.

 ## License
 Rojo is available under the terms of the Mozilla Public License, Version 2.0. See [LICENSE.txt](LICENSE.txt) for details.
--- a/assets/icon-32.png
+++ b/assets/icon-32.png
--- a/assets/index.css
+++ b/assets/index.css
@@ -1,181 +0,0 @@
-* {
-  margin: 0;
-  padding: 0;
-  border: none;
-  text-decoration: inherit;
-  color: inherit;
-  font: inherit;
-  box-sizing: inherit;
-  line-height: inherit;
-}
-
-html {
-  box-sizing: border-box;
-  font-family: sans-serif;
-  font-size: 18px;
-  text-decoration: none;
-  line-height: 1.4;
-}
-
-img {
-  max-width:100%;
-  max-height:100%;
-  height: auto;
-}
-
-.path-list > li {
-  margin-left: 1.2em;
-  font-family: monospace;
-}
-
-.root {
-  display: flex;
-  flex-direction: column;
-  margin: 0.5rem auto;
-  width: 100%;
-  max-width: 50rem;
-  background-color: #efefef;
-  border: 1px solid #666;
-  border-radius: 4px;
-}
-
-.header {
-  flex: 0 0;
-  display: flex;
-  flex-wrap: wrap;
-  align-items: center;
-  border-bottom: 1px solid #666;
-}
-
-.main {
-  padding: 1rem;
-}
-
-.main-logo {
-  flex: 0 0 10rem;
-  margin: 1rem;
-}
-
-.stats {
-  flex: 0 0 20rem;
-  margin: 1rem;
-}
-
-.stat {
-  display: block;
-}
-
-.stat-name {
-  display: inline;
-  font-weight: bold;
-}
-
-.main-section:not(:last-of-type) {
-  margin-bottom: 1rem;
-}
-
-.section-title {
-  font-size: 1.8rem;
-}
-
-.button-list {
-  flex: 0 0;
-  display: flex;
-  flex-wrap: wrap;
-  justify-content: space-around;
-  margin: -1rem;
-}
-
-.button {
-  display: inline-block;
-  border: 1px solid #666;
-  padding: 0.3em 1em;
-  margin: 1rem;
-}
-
-.instance {
-  margin-bottom: 0.5rem;
-}
-
-.instance-title {
-  font-size: 1.2rem;
-  padding: 0.5rem;
-}
-
-.expandable-section {
-  margin: 0.25rem 0.5rem;
-}
-
-.expandable-items {
-  padding: 0.5rem 1rem;
-}
-
-.expandable-input {
-  display: none;
-}
-
-.expandable-label > label {
-  cursor: pointer;
-  display: flex;
-  align-items: center;
-  align-content: center;
-}
-
-.expandable-input ~ .expandable-label .expandable-visualizer {
-  font-family: monospace;
-  display: inline-flex;
-  align-items: center;
-  align-content: center;
-  text-align: center;
-  width: 1rem;
-  height: 1rem;
-  font-size: 2rem;
-  margin: 0 0.5rem;
-  transition: transform 100ms ease-in-out;
-  transform-origin: 60% 60%;
-}
-
-.expandable-visualizer::before {
-  content: "›";
-  font-weight: bold;
-}
-
-.expandable-input:checked ~ .expandable-label {
-  border-bottom: 1px solid #bbb;
-}
-
-.expandable-input:checked ~ .expandable-label .expandable-visualizer {
-  transform: rotate(90deg);
-}
-
-.expandable-input:not(:checked) ~ .expandable-items {
-  display: none;
-}
-
-.vfs-entry {
-}
-
-.vfs-entry-name {
-  position: relative;
-  font-family: monospace;
-}
-
-.vfs-entry-children .vfs-entry-name::before {
-  content: "";
-  width: 0.6em;
-  height: 1px;
-  background-color: #999;
-  position: absolute;
-  top: 50%;
-  left: -0.8em;
-}
-
-.vfs-entry-note {
-  font-style: italic;
-}
-
-.vfs-entry-children {
-  padding-left: 0.8em;
-  margin-left: 0.2em;
-  border-left: 1px solid #999;
-}
--- a/assets/kenney-ui-gray-sheet.png
+++ b/assets/kenney-ui-gray-sheet.png
--- a/assets/kenney-ui-gray-sheet.xml
+++ b/assets/kenney-ui-gray-sheet.xml
@@ -0,0 +1,41 @@
+<TextureAtlas imagePath="sheet.png">
+	<SubTexture name="grey_arrowDownGrey.png" x="78" y="498" width="15" height="10"/>
+	<SubTexture name="grey_arrowDownWhite.png" x="123" y="496" width="15" height="10"/>
+	<SubTexture name="grey_arrowUpGrey.png" x="108" y="498" width="15" height="10"/>
+	<SubTexture name="grey_arrowUpWhite.png" x="93" y="498" width="15" height="10"/>
+	<SubTexture name="grey_box.png" x="147" y="433" width="38" height="36"/>
+	<SubTexture name="grey_boxCheckmark.png" x="147" y="469" width="38" height="36"/>
+	<SubTexture name="grey_boxCross.png" x="185" y="433" width="38" height="36"/>
+	<SubTexture name="grey_boxTick.png" x="190" y="198" width="36" height="36"/>
+	<SubTexture name="grey_button00.png" x="0" y="143" width="190" height="45"/>
+	<SubTexture name="grey_button01.png" x="0" y="188" width="190" height="49"/>
+	<SubTexture name="grey_button02.png" x="0" y="98" width="190" height="45"/>
+	<SubTexture name="grey_button03.png" x="0" y="331" width="190" height="49"/>
+	<SubTexture name="grey_button04.png" x="0" y="286" width="190" height="45"/>
+	<SubTexture name="grey_button05.png" x="0" y="0" width="195" height="49"/>
+	<SubTexture name="grey_button06.png" x="0" y="49" width="191" height="49"/>
+	<SubTexture name="grey_button07.png" x="195" y="0" width="49" height="49"/>
+	<SubTexture name="grey_button08.png" x="240" y="49" width="49" height="49"/>
+	<SubTexture name="grey_button09.png" x="98" y="433" width="49" height="45"/>
+	<SubTexture name="grey_button10.png" x="191" y="49" width="49" height="49"/>
+	<SubTexture name="grey_button11.png" x="0" y="433" width="49" height="45"/>
+	<SubTexture name="grey_button12.png" x="244" y="0" width="49" height="49"/>
+	<SubTexture name="grey_button13.png" x="49" y="433" width="49" height="45"/>
+	<SubTexture name="grey_button14.png" x="0" y="384" width="190" height="49"/>
+	<SubTexture name="grey_button15.png" x="0" y="237" width="190" height="49"/>
+	<SubTexture name="grey_checkmarkGrey.png" x="99" y="478" width="21" height="20"/>
+	<SubTexture name="grey_checkmarkWhite.png" x="78" y="478" width="21" height="20"/>
+	<SubTexture name="grey_circle.png" x="185" y="469" width="36" height="36"/>
+	<SubTexture name="grey_crossGrey.png" x="120" y="478" width="18" height="18"/>
+	<SubTexture name="grey_crossWhite.png" x="190" y="318" width="18" height="18"/>
+	<SubTexture name="grey_panel.png" x="190" y="98" width="100" height="100"/>
+	<SubTexture name="grey_sliderDown.png" x="190" y="234" width="28" height="42"/>
+	<SubTexture name="grey_sliderEnd.png" x="138" y="478" width="8" height="10"/>
+	<SubTexture name="grey_sliderHorizontal.png" x="0" y="380" width="190" height="4"/>
+	<SubTexture name="grey_sliderLeft.png" x="0" y="478" width="39" height="31"/>
+	<SubTexture name="grey_sliderRight.png" x="39" y="478" width="39" height="31"/>
+	<SubTexture name="grey_sliderUp.png" x="190" y="276" width="28" height="42"/>
+	<SubTexture name="grey_sliderVertical.png" x="208" y="318" width="4" height="100"/>
+	<SubTexture name="grey_tickGrey.png" x="190" y="336" width="17" height="17"/>
+	<SubTexture name="grey_tickWhite.png" x="190" y="353" width="17" height="17"/>
+</TextureAtlas>
--- a/assets/test-folder.rbxm
+++ b/assets/test-folder.rbxm
--- a/benches/build.rs
+++ b/benches/build.rs
@@ -1,42 +0,0 @@
-use std::path::Path;
-
-use criterion::{criterion_group, criterion_main, BatchSize, Criterion};
-use tempfile::{tempdir, TempDir};
-
-use librojo::cli::{build, BuildCommand};
-
-pub fn benchmark_small_place(c: &mut Criterion) {
-    bench_build_place(c, "Small Place", "test-projects/benchmark_small_place")
-}
-
-criterion_group!(benches, benchmark_small_place);
-criterion_main!(benches);
-
-fn bench_build_place(c: &mut Criterion, name: &str, path: &str) {
-    let mut group = c.benchmark_group(name);
-
-    // 'rojo build' generally takes a fair bit of time to execute.
-    group.sample_size(10);
-    group.bench_function("build", |b| {
-        b.iter_batched(
-            || place_setup(path),
-            |(_dir, options)| build(options).unwrap(),
-            BatchSize::SmallInput,
-        )
-    });
-
-    group.finish();
-}
-
-fn place_setup<P: AsRef<Path>>(input_path: P) -> (TempDir, BuildCommand) {
-    let dir = tempdir().unwrap();
-    let input = input_path.as_ref().to_path_buf();
-    let output = dir.path().join("output.rbxlx");
-
-    let options = BuildCommand {
-        project: input,
-        output,
-    };
-
-    (dir, options)
-}
--- a/bin/dev-plugin.sh
+++ b/bin/dev-plugin.sh
@@ -1,5 +0,0 @@
-#!/bin/sh
-
-set -e
-
-watchexec -c -w plugin "sh -c './bin/install-dev-plugin.sh'"
--- a/bin/install-dev-plugin.sh
+++ b/bin/install-dev-plugin.sh
@@ -1,13 +0,0 @@
-#!/bin/sh
-
-set -e
-
-DIR="$( mktemp -d )"
-PLUGIN_FILE="$DIR/Rojo.rbxm"
-TESTEZ_FILE="$DIR/TestEZ.rbxm"
-
-rojo build plugin -o "$PLUGIN_FILE"
-rojo build plugin/testez.project.json -o "$TESTEZ_FILE"
-remodel bin/mark-plugin-as-dev.lua "$PLUGIN_FILE" "$TESTEZ_FILE" 2>/dev/null
-
-cp "$PLUGIN_FILE" "$LOCALAPPDATA/Roblox/Plugins/Rojo.rbxm"
--- a/bin/install-release-plugin.sh
+++ b/bin/install-release-plugin.sh
@@ -1,5 +0,0 @@
-#!/bin/sh
-
-set -e
-
-rojo build plugin -o "$LOCALAPPDATA/Roblox/Plugins/Rojo.rbxm"
--- a/bin/mark-plugin-as-dev.lua
+++ b/bin/mark-plugin-as-dev.lua
@@ -1,12 +0,0 @@
-local pluginPath, testezPath = ...
-
-local plugin = remodel.readModelFile(pluginPath)[1]
-local testez = remodel.readModelFile(testezPath)[1]
-
-local marker = Instance.new("Folder")
-marker.Name = "ROJO_DEV_BUILD"
-marker.Parent = plugin
-
-testez.Parent = plugin
-
-remodel.writeModelFile(plugin, pluginPath)
--- a/bin/put-plugin-in-test-place.lua
+++ b/bin/put-plugin-in-test-place.lua
@@ -1,8 +0,0 @@
-local pluginPath, placePath = ...
-
-local plugin = remodel.readModelFile(pluginPath)[1]
-local place = remodel.readPlaceFile(placePath)
-
-plugin.Parent = place:GetService("ReplicatedStorage")
-
-remodel.writePlaceFile(place, placePath)
--- a/bin/run-all-tests.sh
+++ b/bin/run-all-tests.sh
@@ -1,6 +0,0 @@
-#!/bin/sh
-
-set -e
-
-./bin/run-cli-tests.sh
-./bin/run-plugin-tests.sh
--- a/bin/run-cli-tests.sh
+++ b/bin/run-cli-tests.sh
@@ -1,9 +0,0 @@
-#!/bin/sh
-
-set -e
-
-cargo test --all --locked
-cargo fmt -- --check
-
-touch src/lib.rs # Nudge Rust source to make Clippy actually check things
-cargo clippy
--- a/bin/run-plugin-tests.sh
+++ b/bin/run-plugin-tests.sh
@@ -1,16 +0,0 @@
-#!/bin/sh
-
-set -e
-
-DIR="$( mktemp -d )"
-PLUGIN_FILE="$DIR/Rojo.rbxmx"
-PLACE_FILE="$DIR/RojoTestPlace.rbxlx"
-
-rojo build plugin -o "$PLUGIN_FILE"
-rojo build plugin/place.project.json -o "$PLACE_FILE"
-
-remodel bin/put-plugin-in-test-place.lua "$PLUGIN_FILE" "$PLACE_FILE"
-
-run-in-roblox -s plugin/testBootstrap.server.lua "$PLACE_FILE"
-
-luacheck plugin/src plugin/log plugin/http
--- a/bin/test-scratch-project
+++ b/bin/test-scratch-project
@@ -0,0 +1,21 @@
+#!/bin/sh
+
+# Copies a project from 'test-projects' into a folder that can be messed with
+# without accidentally checking the results into version control.
+
+set -e
+
+if [ ! -d "test-projects/$1" ]
+then
+	echo "Pick a project that exists!"
+	exit 1
+fi
+
+if [ -d "scratch-project/$1" ]
+then
+	rm -rf "scratch-project/$1"
+fi
+
+mkdir -p scratch-project
+cp -r "test-projects/$1" scratch-project
+cargo run -- serve "scratch-project/$1"
--- a/clibrojo/Cargo.toml
+++ b/clibrojo/Cargo.toml
@@ -1,13 +0,0 @@
-[package]
-name = "clibrojo"
-version = "0.1.0"
-authors = ["Lucien Greathouse <me@lpghatguy.com>"]
-edition = "2018"
-
-[lib]
-crate-type = ["cdylib"]
-
-# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
-
-[dependencies]
-rojo = { path = ".." }
--- a/clibrojo/README.md
+++ b/clibrojo/README.md
@@ -1,19 +0,0 @@
-# Rojo as a C Library
-This is an experiment to expose a C API for Rojo that would be suitable for embedding it into an existing C/C++ application.
-
-I'm hoping to expand it to drop the HTTP layer and communicate through a channel, which could make it feasible to embed into an existing Roblox IDE with minimal changes or additional code.
-
-## Building
-This project is currently not built by default and could break/disappear at any time.
-
-```bash
-cargo build -p clibrojo
-```
-
-On Windows, Cargo will generate a `clibrojo.dll` and associated `.lib` file. Link these into your project.
-
-To generate the associated C header file to include in the project, use [cbindgen](https://github.com/eqrion/cbindgen):
-
-```bash
-cbindgen --crate clibrojo --output include/rojo.h
-```
--- a/clibrojo/src/lib.rs
+++ b/clibrojo/src/lib.rs
@@ -1,14 +0,0 @@
-use std::{ffi::CStr, os::raw::c_char, path::PathBuf};
-
-use librojo::commands::{serve, ServeOptions};
-
-#[no_mangle]
-pub extern "C" fn rojo_serve(path: *const c_char) {
-    let path = unsafe { PathBuf::from(CStr::from_ptr(path).to_str().unwrap()) };
-
-    serve(&ServeOptions {
-        fuzzy_project_path: path,
-        port: None,
-    })
-    .unwrap();
-}
--- a/design.gv
+++ b/design.gv
@@ -1,30 +0,0 @@
-digraph Rojo {
-	concentrate = true;
-	node [fontname = "sans-serif"];
-
-	plugin [label="Roblox Studio Plugin"]
-	session [label="Session"]
-	rbx_tree [label="Instance Tree"]
-	imfs [label="In-Memory Filesystem"]
-	fs_impl [label="Filesystem Implementation\n(stubbed in tests)"]
-	fs [label="Real Filesystem"]
-	snapshot_subsystem [label="Snapshot Subsystem\n(reconciler)"]
-	snapshot_generator [label="Snapshot Generator"]
-	user_middleware [label="User Middleware\n(MoonScript, etc.)"]
-	builtin_middleware [label="Built-in Middleware\n(.lua, .rbxm, etc.)"]
-	api [label="Web API"]
-	file_watcher [label="File Watcher"]
-
-	session -> imfs
-	session -> rbx_tree
-	session -> snapshot_subsystem
-	session -> snapshot_generator
-	session -> file_watcher [dir="both"]
-	file_watcher -> imfs
-	snapshot_generator -> user_middleware
-	snapshot_generator -> builtin_middleware
-	plugin -> api [style="dotted"; dir="both"; minlen=2]
-	api -> session
-	imfs -> fs_impl
-	fs_impl -> fs
-}
--- a/docs/extra.css
+++ b/docs/extra.css
@@ -0,0 +1,13 @@
+.md-typeset__table {
+  width: 100%;
+}
+
+.feature-image img {
+  border: 1px solid rgba(0, 0, 0, 0.2);
+  box-shadow: 1px 1px 4px rgba(0, 0, 0, 0.2);
+}
+
+.codehilite {
+  border: 1px solid rgba(0, 0, 0, 0.2);
+  box-shadow: 1px 1px 4px rgba(0, 0, 0, 0.2);
+}
--- a/docs/guide/existing-game.md
+++ b/docs/guide/existing-game.md
@@ -0,0 +1,11 @@
+**This page is under construction!**
+
+## Summary
+* Tools to port existing games are in progress!
+    * [rbxlx-to-rojo](https://github.com/rojo-rbx/rbxlx-to-rojo)
+    * `rojo export` ([issue #208](https://github.com/rojo-rbx/rojo/issues/208))
+* Can port as much or as little of your game as you like
+    * Rojo can manage just a slice of your game!
+* Some Roblox idioms aren't very well supported
+    * Redundant copies of scripts don't work well with files
+    * Having only a couple places with scripts simplifies your project dramatically!
--- a/docs/guide/installation.md
+++ b/docs/guide/installation.md
@@ -0,0 +1,48 @@
+This is this installation guide for Rojo **0.5.x**.
+
+[TOC]
+
+## Overview
+Rojo has two components:
+
+* The command line interface (CLI)
+* The Roblox Studio plugin
+
+!!! info
+    It's important that your installed version of the plugin and CLI are compatible.
+
+    The plugin will show errors in the Roblox Studio output window if there is a version mismatch.
+
+## Visual Studio Code Extension
+If you use Visual Studio Code, you can install [the Rojo VS Code extension](https://marketplace.visualstudio.com/items?itemName=evaera.vscode-rojo), which will install both halves of Rojo for you. It even has a nifty UI to sync files and start/stop the Rojo server!
+
+## Installing the CLI
+
+### Installing from GitHub
+If you're on Windows, there are pre-built binaries available from Rojo's [GitHub Releases page](https://github.com/LPGhatguy/rojo/releases).
+
+The Rojo CLI must be run from the command line, like Terminal.app on MacOS or `cmd.exe` on Windows. It's recommended that you put the Rojo CLI executable on your `PATH` to make this easier.
+
+### Installing from Cargo
+If you have Rust installed, the easiest way to get Rojo is with Cargo!
+
+To install the latest 0.5.x release, use:
+
+```sh
+cargo install rojo
+```
+
+If you're upgrading from a previous version of Rojo, you may need to pass `--force` to tell Cargo to overwrite your existing version.
+
+## Installing the Plugin
+
+### Installing from GitHub
+The Rojo Roblox Studio plugin is available from Rojo's [GitHub Releases page](https://github.com/LPGhatguy/rojo/releases).
+
+Download the attached `rbxm` file and put it into your Roblox Studio plugins folder. You can find that folder by pressing **Plugins Folder** from your Plugins toolbar in Roblox Studio:
+
+!['Plugins Folder' button in Roblox Studio](../images/plugins-folder-in-studio.png)
+{: align="center" }
+
+### Installing from Roblox.com
+Visit [Rojo's Roblox.com Plugin page](https://www.roblox.com/library/1997686364) in Roblox Studio and press **Install**.
--- a/docs/guide/migrating-to-epiphany.md
+++ b/docs/guide/migrating-to-epiphany.md
@@ -0,0 +1,63 @@
+Rojo underwent a large refactor during most of 2018 to enable a bunch of new features and lay groundwork for lots more in 2019. As such, Rojo **0.5.x** projects are not compatible with Rojo **0.4.x** projects.
+
+[TOC]
+
+## Supporting Both 0.4.x and 0.5.x
+Rojo 0.5.x uses a different name for its project format. While 0.4.x used `rojo.json`, 0.5.x uses `default.project.json`, which allows them to coexist.
+
+If you aren't sure about upgrading or want to upgrade gradually, it's possible to keep both files in the same project without causing problems.
+
+## Upgrading Your Project File
+Project files in 0.5.x are more explicit and flexible than they were in 0.4.x. Project files can now describe models and plugins in addition to places.
+
+This new project file format also guards against two of the biggest pitfalls when writing a config file:
+
+* Using a service as a partition target directly, which often wiped away extra instances
+* Defining two partitions that overlapped, which made Rojo act unpredictably
+
+The biggest change is that the `partitions` field has been replaced with a new field, `tree`, that describes the entire hierarchy of your project from the top-down.
+
+A project for 0.4.x that syncs from the `src` directory into `ReplicatedStorage.Source` would look like this:
+
+```json
+{
+    "name": "Rojo 0.4.x Example",
+    "partitions": {
+        "path": "src",
+        "target": "ReplicatedStorage.Source"
+    }
+}
+```
+
+In 0.5.x, the project format is more explicit:
+
+```json
+{
+    "name": "Rojo 0.5.x Example",
+    "tree": {
+        "$className": "DataModel",
+        "ReplicatedStorage": {
+            "$className": "ReplicatedStorage",
+            "Source": {
+                "$path": "src"
+            }
+        }
+    }
+}
+```
+
+For each object in the tree, we define *metadata* and *children*.
+
+Metadata begins with a dollar sign (`$`), like `$className`. This is so that children and metadata can coexist without creating too many nested layers.
+
+All other values are considered children, where the key is the instance's name, and the value is an object, repeating the process.
+
+## Migrating Unknown Files
+If you used Rojo to sync in files as `StringValue` objects, you'll need to make sure those files end with the `txt` extension to preserve this in Rojo 0.5.x.
+
+Unknown files are now ignored in Rojo instead of being converted to `StringValue` objects.
+
+## Migrating `init.model.json` files
+In Rojo 0.4.x, it's possible to create a file named `init.model.json` that lets you describe a model that becomes the container for all of the other files in the folder, just like `init.lua`.
+
+In Rojo 0.5.x, this feature has been replaced with `init.meta.json` files. See [Sync Details](../../reference/sync-details) for more information about these new files.
--- a/docs/guide/new-game.md
+++ b/docs/guide/new-game.md
@@ -0,0 +1,90 @@
+[TOC]
+
+## Creating the Rojo Project
+To use Rojo to build a game, you'll need to create a new project file, which tells Rojo how to turn your files into a Roblox place.
+
+First, create a new folder to contain the files for your game and open up a new terminal inside of it, like cmd.exe or Bash.
+
+It's convenient to make the folder from the command line:
+
+```sh
+mkdir my-new-project
+cd my-new-project
+```
+
+Inside the folder, initialize a new Rojo project:
+
+```sh
+rojo init
+```
+
+Rojo will make a small project file in your directory, named `default.project.json`. It matches the "Baseplate" template from Roblox Studio, except that it'll take any files you put in a folder called `src` and put it into `ReplicatedStorage.Source`.
+
+Speaking of files, make sure to create a directory named `src` in this folder, or Rojo will be upset about missing files!
+
+```sh
+mkdir src
+```
+
+Let's also add a Lua file, `hello.lua` to the `src` folder, so that we can make this project our own.
+
+```sh
+echo 'return "Hello, Rojo!"' > src/hello.lua
+```
+
+## Building Your Place
+Now that we have a project, one thing we can do is build a Roblox place file for our project. This is a great way to get started with a project quickly with no fuss.
+
+All we have to do is call `rojo build`:
+
+```sh
+rojo build -o MyNewProject.rbxlx
+```
+
+If you open `MyNewProject.rbxlx` in Roblox Studio now, you should see a `Folder` named "Source" containing a `ModuleScript` under `ReplicatedStorage`.
+
+!!! info
+    To generate a binary place file instead, use `rbxl`. Note that support for binary model/place files (`rbxm` and `rbxl`) is very limited in Rojo presently.
+
+## Live-Syncing into Studio
+Building a place file is great for starting to work on a game, but for active iteration, you'll want something faster.
+
+In Roblox Studio, make sure the Rojo plugin is installed. If you need it, check out [the installation guide](../installation) to learn how to install it.
+
+To expose your project to the plugin, you'll need to start a new **live sync session** from the command line:
+
+```sh
+rojo serve
+```
+
+You should see output like this in your terminal:
+
+```sh
+$ rojo serve
+Rojo server listening on port 34872
+```
+
+Switch into Roblox Studio and press the **Connect** button on the Rojo plugin toolbar. A dialog should appear:
+
+![Rojo plugin connection dialog](../images/connection-dialog.png)
+{: class="feature-image" align="center" }
+
+If the port number doesn't match the output from the command line, change it, and then press **Connect**.
+
+If all went well, you should now be able to change files in the `src` directory and watch them sync into Roblox Studio in real time!
+
+## Uploading Your Place
+Aimed at teams that want serious levels of automation, Rojo can upload places to Roblox.com automatically.
+
+You'll need an existing game on Roblox.com as well as the `.ROBLOSECURITY` cookie of an account that has write access to that game.
+
+!!! warning
+    It's recommended that you set up a Roblox account dedicated to deploying your game instead of your personal account in case your security cookie is compromised.
+
+Generating and publishing your game is as simple as:
+
+```sh
+rojo upload --asset_id [PLACE ID] --cookie "[SECURITY COOKIE]"
+```
+
+An example project is available on GitHub that deploys to Roblox.com from GitHub and Travis-CI automatically: [https://github.com/LPGhatguy/roads](https://github.com/LPGhatguy/roads)
--- a/docs/help.md
+++ b/docs/help.md
@@ -0,0 +1,7 @@
+Rojo is a fairly complex tool to adopt, but there's a community willing to help!
+
+The [Roblox Open Source Community Discord](https://discord.gg/wH5ncNS) currently hosts a Rojo support channel, **#rojo**, that is a great place to get help as problems come up.
+
+If you find anything that looks like a bug or have ideas for how to improve Rojo, feel free to file an issue on [Rojo's GitHub issue tracker](https://github.com/rojo-rbx/rojo/issues).
+
+Rojo's primary maintainer is also available on Twitter, [@LPGhatguy](https://twitter.com/LPGhatguy).
--- a/docs/images/connection-dialog.png
+++ b/docs/images/connection-dialog.png
--- a/docs/images/plugins-folder-in-studio.png
+++ b/docs/images/plugins-folder-in-studio.png
--- a/docs/images/sync-example-files.gv
+++ b/docs/images/sync-example-files.gv
@@ -0,0 +1,17 @@
+digraph "Sync Files" {
+	graph [
+	    ranksep = "0.7",
+	    nodesep = "0.5",
+	];
+	node [
+	    fontname = "monospace",
+	    shape = "record",
+	];
+
+	my_model [label = "MyModel"]
+	init_server [label = "init.server.lua"]
+	foo [label = "foo.lua"]
+
+	my_model -> init_server
+	my_model -> foo
+}
--- a/docs/images/sync-example-files.svg
+++ b/docs/images/sync-example-files.svg
@@ -0,0 +1,38 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
+ "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
+<!-- Generated by graphviz version 2.38.0 (20140413.2041)
+ -->
+<!-- Title: Sync Files Pages: 1 -->
+<svg width="258pt" height="132pt"
+ viewBox="0.00 0.00 258.00 132.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
+<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 128)">
+<title>Sync Files</title>
+<polygon fill="white" stroke="none" points="-4,4 -4,-128 254,-128 254,4 -4,4"/>
+<!-- my_model -->
+<g id="node1" class="node"><title>my_model</title>
+<polygon fill="none" stroke="black" points="104,-87.5 104,-123.5 178,-123.5 178,-87.5 104,-87.5"/>
+<text text-anchor="middle" x="141" y="-101.8" font-family="monospace" font-size="14.00">MyModel</text>
+</g>
+<!-- init_server -->
+<g id="node2" class="node"><title>init_server</title>
+<polygon fill="none" stroke="black" points="0,-0.5 0,-36.5 140,-36.5 140,-0.5 0,-0.5"/>
+<text text-anchor="middle" x="70" y="-14.8" font-family="monospace" font-size="14.00">init.server.lua</text>
+</g>
+<!-- my_model&#45;&gt;init_server -->
+<g id="edge1" class="edge"><title>my_model&#45;&gt;init_server</title>
+<path fill="none" stroke="black" d="M126.632,-87.299C116.335,-74.9713 102.308,-58.1787 90.7907,-44.3902"/>
+<polygon fill="black" stroke="black" points="93.4435,-42.1065 84.3465,-36.6754 88.0711,-46.594 93.4435,-42.1065"/>
+</g>
+<!-- foo -->
+<g id="node3" class="node"><title>foo</title>
+<polygon fill="none" stroke="black" points="176,-0.5 176,-36.5 250,-36.5 250,-0.5 176,-0.5"/>
+<text text-anchor="middle" x="213" y="-14.8" font-family="monospace" font-size="14.00">foo.lua</text>
+</g>
+<!-- my_model&#45;&gt;foo -->
+<g id="edge2" class="edge"><title>my_model&#45;&gt;foo</title>
+<path fill="none" stroke="black" d="M155.57,-87.299C166.013,-74.9713 180.237,-58.1787 191.917,-44.3902"/>
+<polygon fill="black" stroke="black" points="194.659,-46.5681 198.451,-36.6754 189.317,-42.0437 194.659,-46.5681"/>
+</g>
+</g>
+</svg>
--- a/docs/images/sync-example-instances.gv
+++ b/docs/images/sync-example-instances.gv
@@ -0,0 +1,15 @@
+digraph "Sync Files" {
+	graph [
+	    ranksep = "0.7",
+	    nodesep = "0.5",
+	];
+	node [
+	    fontname = "monospace",
+	    shape = "record",
+	];
+
+	my_model [label = "MyModel (Script)"]
+	foo [label = "foo (ModuleScript)"]
+
+	my_model -> foo
+}
--- a/docs/images/sync-example-instances.svg
+++ b/docs/images/sync-example-instances.svg
@@ -0,0 +1,28 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
+ "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
+<!-- Generated by graphviz version 2.38.0 (20140413.2041)
+ -->
+<!-- Title: Sync Files Pages: 1 -->
+<svg width="173pt" height="132pt"
+ viewBox="0.00 0.00 173.00 132.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
+<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 128)">
+<title>Sync Files</title>
+<polygon fill="white" stroke="none" points="-4,4 -4,-128 169,-128 169,4 -4,4"/>
+<!-- my_model -->
+<g id="node1" class="node"><title>my_model</title>
+<polygon fill="none" stroke="black" points="8,-87.5 8,-123.5 157,-123.5 157,-87.5 8,-87.5"/>
+<text text-anchor="middle" x="82.5" y="-101.8" font-family="monospace" font-size="14.00">MyModel (Script)</text>
+</g>
+<!-- foo -->
+<g id="node2" class="node"><title>foo</title>
+<polygon fill="none" stroke="black" points="0,-0.5 0,-36.5 165,-36.5 165,-0.5 0,-0.5"/>
+<text text-anchor="middle" x="82.5" y="-14.8" font-family="monospace" font-size="14.00">foo (ModuleScript)</text>
+</g>
+<!-- my_model&#45;&gt;foo -->
+<g id="edge1" class="edge"><title>my_model&#45;&gt;foo</title>
+<path fill="none" stroke="black" d="M82.5,-87.299C82.5,-75.6626 82.5,-60.0479 82.5,-46.7368"/>
+<polygon fill="black" stroke="black" points="86.0001,-46.6754 82.5,-36.6754 79.0001,-46.6755 86.0001,-46.6754"/>
+</g>
+</g>
+</svg>
--- a/docs/images/sync-example-json-model.gv
+++ b/docs/images/sync-example-json-model.gv
@@ -0,0 +1,17 @@
+digraph "Sync Files" {
+	graph [
+	    ranksep = "0.7",
+	    nodesep = "0.5",
+	];
+	node [
+	    fontname = "monospace",
+	    shape = "record",
+	];
+
+	model [label = "My Cool Model (Folder)"]
+	root_part [label = "RootPart (Part)"]
+	send_money [label = "SendMoney (RemoteEvent)"]
+
+	model -> root_part
+	model -> send_money
+}
--- a/docs/images/sync-example-json-model.svg
+++ b/docs/images/sync-example-json-model.svg
@@ -0,0 +1,38 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
+ "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
+<!-- Generated by graphviz version 2.38.0 (20140413.2041)
+ -->
+<!-- Title: Sync Files Pages: 1 -->
+<svg width="390pt" height="132pt"
+ viewBox="0.00 0.00 390.00 132.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
+<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 128)">
+<title>Sync Files</title>
+<polygon fill="white" stroke="none" points="-4,4 -4,-128 386,-128 386,4 -4,4"/>
+<!-- model -->
+<g id="node1" class="node"><title>model</title>
+<polygon fill="none" stroke="black" points="75,-87.5 75,-123.5 273,-123.5 273,-87.5 75,-87.5"/>
+<text text-anchor="middle" x="174" y="-101.8" font-family="monospace" font-size="14.00">My Cool Model (Folder)</text>
+</g>
+<!-- root_part -->
+<g id="node2" class="node"><title>root_part</title>
+<polygon fill="none" stroke="black" points="0,-0.5 0,-36.5 140,-36.5 140,-0.5 0,-0.5"/>
+<text text-anchor="middle" x="70" y="-14.8" font-family="monospace" font-size="14.00">RootPart (Part)</text>
+</g>
+<!-- model&#45;&gt;root_part -->
+<g id="edge1" class="edge"><title>model&#45;&gt;root_part</title>
+<path fill="none" stroke="black" d="M152.954,-87.299C137.448,-74.6257 116.168,-57.2335 99.0438,-43.2377"/>
+<polygon fill="black" stroke="black" points="100.972,-40.2938 91.0147,-36.6754 96.5426,-45.7138 100.972,-40.2938"/>
+</g>
+<!-- send_money -->
+<g id="node3" class="node"><title>send_money</title>
+<polygon fill="none" stroke="black" points="176,-0.5 176,-36.5 382,-36.5 382,-0.5 176,-0.5"/>
+<text text-anchor="middle" x="279" y="-14.8" font-family="monospace" font-size="14.00">SendMoney (RemoteEvent)</text>
+</g>
+<!-- model&#45;&gt;send_money -->
+<g id="edge2" class="edge"><title>model&#45;&gt;send_money</title>
+<path fill="none" stroke="black" d="M195.248,-87.299C210.904,-74.6257 232.388,-57.2335 249.677,-43.2377"/>
+<polygon fill="black" stroke="black" points="252.213,-45.6878 257.783,-36.6754 247.809,-40.2471 252.213,-45.6878"/>
+</g>
+</g>
+</svg>
--- a/docs/index.md
+++ b/docs/index.md
@@ -0,0 +1,11 @@
+This is the documentation home for **Rojo 0.5.x**.
+
+Available versions of these docs:
+
+* [Latest version from `master` branch](https://rojo.space/docs/latest)
+* [0.5.x](https://rojo.space/docs/0.5.x)
+* [0.4.x](https://rojo.space/docs/0.4.x)
+
+**Rojo** is a tool designed to enable Roblox developers to use professional-grade software engineering tools.
+
+This documentation is a continual work in progress. If you find any issues, please file an issue on [Rojo's issue tracker](https://github.com/rojo-rbx/rojo/issues)!
--- a/docs/internals/overview.md
+++ b/docs/internals/overview.md
@@ -0,0 +1,45 @@
+This document aims to give a general overview of how Rojo works. It's intended for people who want to contribute to the project as well as anyone who's just curious how the tool works!
+
+[TOC]
+
+## CLI
+
+### RbxTree
+Rojo uses a library named [`rbx_tree`](https://github.com/LPGhatguy/rbx-tree) as its implementation of the Roblox DOM. It serves as a common format for serialization to all the formats Rojo supports!
+
+Rojo uses two related libraries to deserialize instances from Roblox's file formats, `rbx_xml` and `rbx_binary`.
+
+### In-Memory Filesystem (IMFS)
+Relevant source files:
+
+* [`server/src/imfs.rs`](https://github.com/LPGhatguy/rojo/blob/master/server/src/imfs.rs)
+* [`server/src/fs_watcher.rs`](https://github.com/LPGhatguy/rojo/blob/master/server/src/fs_watcher.rs)
+
+Rojo keeps an in-memory copy of all files that it needs reasons about. This enables taking fast, stateless, tear-tree snapshots of files to turn them into instances.
+
+Keeping an in-memory copy of file contents will also enable Rojo to debounce changes that are caused by Rojo itself. This'll happen when two-way sync finally happens.
+
+### Snapshot Reconciler
+Relevant source files:
+
+* [`server/src/snapshot_reconciler.rs`](https://github.com/LPGhatguy/rojo/blob/master/server/src/snapshot_reconciler.rs)
+* [`server/src/rbx_snapshot.rs`](https://github.com/LPGhatguy/rojo/blob/master/server/src/rbx_snapshot.rs)
+* [`server/src/rbx_session.rs`](https://github.com/LPGhatguy/rojo/blob/master/server/src/rbx_session.rs)
+
+To simplify incremental updates of instances, Rojo generates lightweight snapshots describing how files map to instances. This means that Rojo can treat file change events similarly to damage painting as opposed to trying to surgically update the correct instances.
+
+This approach reduces the number of desynchronization bugs, reduces the complexity of important pieces of the codebase, and makes writing plugins a lot easier.
+
+### HTTP API
+Relevant source files:
+
+* [`server/src/web.rs`](https://github.com/LPGhatguy/rojo/blob/master/server/src/web.rs)
+
+The Rojo live-sync server and Roblox Studio plugin communicate via HTTP.
+
+Requests sent from the plugin to the server are regular HTTP requests.
+
+Messages sent from the server to the plugin are delivered via HTTP long-polling. This is an approach that uses long-lived HTTP requests that restart on timeout. It's largely been replaced by WebSockets, but Roblox doesn't have support for them.
+
+## Roblox Studio Plugin
+TODO
--- a/docs/reference/full-vs-partial.md
+++ b/docs/reference/full-vs-partial.md
@@ -0,0 +1,37 @@
+Rojo is designed to be adopted incrementally. How much of your project Rojo manages is up to you!
+
+There are two primary categories of ways to use Rojo: *Fully Managed*, where everything is managed by Rojo, and *Partially Managed*, where Rojo only manages a slice of your project.
+
+## Fully Managed
+In a fully managed game project, Rojo controls every instance. A fully managed Rojo project can be built from scratch using `rojo build`.
+
+Fully managed projects are most practical for libraries, plugins, and simple games.
+
+Rojo's goal is to make it practical and easy for _every_ project to be fully managed, but we're not quite there yet!
+
+### Pros
+* Fully reproducible builds from scratch
+* Everything checked into version control
+
+### Cons
+* Without two-way sync, models have to be saved manually
+    * This can be done with the 'Save to File...' menu in Roblox Studio
+    * This will be solved by Two-Way Sync ([issue #164](https://github.com/LPGhatguy/rojo/issues/164))
+* Rojo can't manage everything yet
+    * Refs are currently broken ([issue #142](https://github.com/LPGhatguy/rojo/issues/142))
+
+## Partially Managed
+In a partially managed project, Rojo only handles a slice of the game. This could be as small as a couple scripts, or as large as everything except `Workspace`!
+
+The rest of the place's content can be versioned using Team Create or checked into source control.
+
+Partially managed projects are most practical for complicated games, or games that are migrating to use Rojo.
+
+### Pros
+* Easier to adopt gradually
+* Integrates with Team Create
+
+### Cons
+* Not everything is in version control, which makes merges tougher
+* Rojo can't live-sync instances like Terrain, MeshPart, or CSG operations yet
+    * Will be fixed with plugin escalation ([issue #169](https://github.com/LPGhatguy/rojo/issues/169))
--- a/docs/reference/project-format.md
+++ b/docs/reference/project-format.md
@@ -0,0 +1,151 @@
+[TOC]
+
+## Project File
+Rojo projects are JSON files that have the `.project.json` extension. They have the following fields:
+
+* `name`: A string indicating the name of the project. This name is used when building the project into a model or place file.
+    * **Required**
+* `tree`: An [Instance Description](#instance-description) describing the root instance of the project.
+    * **Required**
+* `servePort`: The port that `rojo serve` should listen on. Passing `--port` will override this setting.
+    * **Optional**
+    * Default is `34872`
+* `servePlaceIds`: A list of place IDs that this project may be live-synced to. This feature can help prevent overwriting the wrong game with source from Rojo.
+    * **Optional**
+    * Default is `null`
+
+## Instance Description
+Instance Descriptions correspond one-to-one with the actual Roblox Instances in the project.
+
+* `$className`: The ClassName of the Instance being described.
+    * **Optional if `$path` is specified.**
+* `$path`: The path on the filesystem to pull files from into the project.
+    * **Optional if `$className` is specified.**
+    * Paths are relative to the folder containing the project file.
+* `$properties`: Properties to apply to the instance. Values should be [Instance Property Values](#instance-property-value).
+    * **Optional**
+* `$ignoreUnknownInstances`: Whether instances that Rojo doesn't know about should be deleted.
+    * **Optional**
+    * Default is `false` if `$path` is specified, otherwise `true`.
+
+All other fields in an Instance Description are turned into instances whose name is the key. These values should also be Instance Descriptions!
+
+Instance Descriptions are fairly verbose and strict. In the future, it'll be possible for Rojo to [infer class names for known services like `Workspace`](https://github.com/LPGhatguy/rojo/issues/179).
+
+## Instance Property Value
+There are two kinds of property values on instances, **implicit** and **explicit**.
+
+In the vast majority of cases, you should be able to use **implicit** property values. To use them, just use a value that's the same shape as the type that the property has:
+
+```json
+"MyPart": {
+    "$className": "Part",
+    "$properties": {
+        "Size": [3, 5, 3],
+        "Color": [0.5, 0, 0.5],
+        "Anchored": true,
+        "Material": "Granite"
+    }
+}
+```
+
+`Vector3` and `Color3` properties can just be arrays of numbers, as can types like `Vector2`, `CFrame`, and more!
+
+Enums can be set to a string containing the enum variant. Rojo will raise an error if the string isn't a valid variant for the enum.
+
+There are some cases where this syntax for assigning properties _doesn't_ work. In these cases, Rojo requires you to use the **explicit** property syntax.
+
+Some reasons why you might need to use an **explicit** property:
+
+* Using exotic property types like `BinaryString`
+* Using properties added to Roblox recently that Rojo doesn't know about yet
+
+The shape of explicit property values is defined by the [rbx-dom](https://github.com/LPGhatguy/rbx-dom) library, so it uses slightly different conventions than the rest of Rojo.
+
+Each value should be an object with the following required fields:
+
+* `Type`: The type of property to represent.
+    * [Supported types can be found here](https://github.com/LPGhatguy/rbx-tree#property-type-coverage).
+* `Value`: The value of the property.
+    * The shape of this field depends on which property type is being used. `Vector3` and `Color3` values are both represented as a list of numbers, while `BinaryString` expects a base64-encoded string, for example.
+
+Here's the same object, but with explicit properties:
+
+```json
+"MyPart": {
+    "$className": "Part",
+    "$properties": {
+        "Size": {
+            "Type": "Vector3",
+            "Value": [3, 5, 3]
+        },
+        "Color": {
+            "Type": "Color3",
+            "Value": [0.5, 0, 0.5]
+        },
+        "Anchored": {
+            "Type": "Bool",
+            "Value": true
+        },
+        "Material": {
+            "Type": "Enum",
+            "Value": 832
+        }
+    }
+}
+```
+
+## Example Projects
+This project bundles up everything in the `src` directory. It'd be suitable for making a plugin or model:
+
+```json
+{
+    "name": "AwesomeLibrary",
+    "tree": {
+        "$path": "src"
+    }
+}
+```
+
+This project describes the layout you might use if you were making the next hit simulator game, *Sisyphus Simulator*:
+
+```json
+{
+    "name": "Sisyphus Simulator",
+    "tree": {
+        "$className": "DataModel",
+
+        "HttpService": {
+            "$className": "HttpService",
+            "$properties": {
+                "HttpEnabled": true
+            }
+        },
+
+        "ReplicatedStorage": {
+            "$className": "ReplicatedStorage",
+            "$path": "src/ReplicatedStorage"
+        },
+
+        "StarterPlayer": {
+            "$className": "StarterPlayer",
+
+            "StarterPlayerScripts": {
+                "$className": "StarterPlayerScripts",
+                "$path": "src/StarterPlayerScripts"
+            }
+        },
+
+        "Workspace": {
+            "$className": "Workspace",
+            "$properties": {
+                "Gravity": 67.3
+            },
+
+            "Terrain": {
+                "$path": "Terrain.rbxm"
+            }
+        }
+    }
+}
+```
--- a/docs/reference/sync-details.md
+++ b/docs/reference/sync-details.md
@@ -0,0 +1,157 @@
+This page aims to describe how Rojo turns files on the filesystem into Roblox objects.
+
+[TOC]
+
+## Overview
+| File Name      | Instance Type             |
+| -------------- | ------------------------- |
+| any directory  | `Folder`                  |
+| `*.server.lua` | `Script`                  |
+| `*.client.lua` | `LocalScript`             |
+| `*.lua`        | `ModuleScript`            |
+| `*.csv`        | `LocalizationTable`       |
+| `*.txt`        | `StringValue`             |
+| `*.model.json` | Any                       |
+| `*.rbxm`       | Any                       |
+| `*.rbxmx`      | Any                       |
+| `*.meta.json`  | Modifies another instance |
+
+## Limitations
+Not all property types can be synced by Rojo in real-time due to limitations of the Roblox Studio plugin API. In these cases, you can usually generate a place file and open it when you start working on a project.
+
+Some common cases you might hit are:
+
+* Binary data (Terrain, CSG, CollectionService tags)
+* `MeshPart.MeshId`
+* `HttpService.HttpEnabled`
+
+For a list of all property types that Rojo can reason about, both when live-syncing and when building place files, look at [rbx-dom's type coverage chart](https://github.com/rojo-rbx/rbx-dom#property-type-coverage).
+
+This limitation may be solved by [issue #205](https://github.com/rojo-rbx/rojo/issues/205) in the future.
+
+## Folders
+Any directory on the filesystem will turn into a `Folder` instance unless it contains an 'init' script, described below.
+
+## Scripts
+The default script type in Rojo projects is `ModuleScript`, since most scripts in well-structued Roblox projects will be modules.
+
+If a directory contains a file named `init.server.lua`, `init.client.lua`, or `init.lua`, that folder will be transformed into a `*Script` instance with the contents of the 'init' file. This can be used to create scripts inside of scripts.
+
+For example, these files:
+
+![Tree of files on disk](../images/sync-example-files.svg)
+{: align="center" }
+
+Will turn into these instances in Roblox:
+
+![Tree of instances in Roblox](../images/sync-example-instances.svg)
+{: align="center" }
+
+## Localization Tables
+Any CSV files are transformed into `LocalizationTable` instances. Rojo expects these files to follow the same format that Roblox does when importing and exporting localization information.
+
+## Plain Text Files
+Plain text files (`.txt`) files are transformed into `StringValue` instances. This is useful for bringing in text data that can be read by scripts at runtime.
+
+## JSON Models
+Files ending in `.model.json` can be used to describe simple models. They're designed to be hand-written and are useful for instances like `RemoteEvent`.
+
+A JSON model describing a folder containing a `Part` and a `RemoteEvent` could be described as:
+
+```json
+{
+    "Name": "My Cool Model",
+    "ClassName": "Folder",
+    "Children": [
+        {
+            "Name": "RootPart",
+            "ClassName": "Part",
+            "Properties": {
+                "Size": {
+                    "Type": "Vector3",
+                    "Value": [4, 4, 4]
+                }
+            }
+        },
+        {
+            "Name": "SendMoney",
+            "ClassName": "RemoteEvent"
+        }
+    ]
+}
+```
+
+It would turn into instances in this shape:
+
+![Tree of instances in Roblox](../images/sync-example-json-model.svg)
+{: align="center" }
+
+!!! warning
+    Starting in Rojo 0.5.0 (stable), the `Name` field is no longer required. The name of the top-level instance in a JSON model is now based on its file name, and the `Name` field is now ignored.
+
+    Rojo will emit a warning if the `Name` field is specified and does not match the file's name.
+
+## Binary and XML Models
+Rojo supports both binary (`.rbxm`) and XML (`.rbxmx`) models generated by Roblox Studio or another tool.
+
+Support for the `rbxmx` is very good, while support for `rbxm` is still very early, buggy, and lacking features.
+
+For a rundown of supported types, check out [rbx-dom's type coverage chart](https://github.com/rojo-rbx/rbx-dom#property-type-coverage).
+
+## Meta Files
+New in Rojo 0.5.0-alpha.12 are meta files, named `.meta.json`.
+
+Meta files allow attaching extra Rojo data to models defined in other formats, like Roblox's `rbxm` and `rbxmx` model formats, or even Lua scripts.
+
+This can be used to set Rojo-specific settings like `ignoreUnknownInstances`, or can be used to set properties like `Disabled` on a script.
+
+Meta files can contain:
+
+* `className`: Changes the `className` of a containing `Folder` into something else.
+    * Usable only in `init.meta.json` files
+* `properties`: A map of properties to set on the instance, just like projects
+    * Usable on anything except `.rbxmx`, `.rbxm`, and `.model.json` files, which already have properties
+* `ignoreUnknownInstances`: Works just like `$ignoreUnknownInstances` in project files
+
+### Meta Files to set Rojo metadata
+Sometimes it's useful to apply properties like `ignoreUnknownInstances` on instances that are defined on the filesystem instead of within the project itself.
+
+If your project has `hello.txt` and there are instances underneath it that you want Rojo to ignore when live-syncing, you could create `hello.meta.json` with:
+
+```json
+{
+    "ignoreUnknownInstances": true
+}
+```
+
+### Meta Files for Disabled Scripts
+Meta files can be used to set properties on `Script` instances, like `Disabled`.
+
+If your project has `foo.server.lua` and you want to make sure it would be disabled, you could create a `foo.meta.json` next to it with:
+
+```json
+{
+    "properties": {
+        "Disabled": true
+    }
+}
+```
+
+### Meta Files for Tools
+If you wanted to represent a tool containing a script and a model for its handle, create a directory with an `init.meta.json` file in it:
+
+```json
+{
+    "className": "Tool",
+    "properties": {
+        "Grip": [
+            0, 0, 0,
+            1, 0, 0,
+            0, 1, 0,
+            0, 0, 1
+        ]
+    }
+}
+```
+
+Instead of a `Folder` instance, you'll end up with a `Tool` instance with the `Grip` property set!
--- a/docs/requirements.txt
+++ b/docs/requirements.txt
@@ -0,0 +1,3 @@
+mkdocs
+mkdocs-material
+pymdown-extensions
--- a/docs/rojo-alternatives.md
+++ b/docs/rojo-alternatives.md
@@ -0,0 +1,23 @@
+There are a number of existing plugins for Roblox that move code from the filesystem into Roblox.
+
+Besides Rojo, you might consider:
+
+* [rbxmk by Anaminus](https://github.com/anaminus/rbxmk)
+* [Rofresh by Osyris](https://github.com/osyrisrblx/rofresh)
+* [RbxRefresh by Osyris](https://github.com/osyrisrblx/RbxRefresh)
+* [Studio Bridge by Vocksel](https://github.com/vocksel/studio-bridge)
+* [Elixir by Vocksel](https://github.com/vocksel/elixir)
+* [RbxSync by evaera](https://github.com/evaera/RbxSync)
+* [CodeSync by MemoryPenguin](https://github.com/MemoryPenguin/CodeSync)
+* [rbx-exteditor by MemoryPenguin](https://github.com/MemoryPenguin/rbx-exteditor)
+
+So why did I build Rojo?
+
+Each of these tools solves what is essentially the same problem from a few different angles. The goal of Rojo is to take all of the lessons and ideas learned from these projects and build a tool that can solve this problem for good.
+
+Additionally:
+
+* I think that this tool needs to be built in a compiled language without a runtime, for easy distribution and good performance.
+* I think that the conventions promoted by other sync plugins (`.module.lua` for modules, as well a single sync point) are sub-optimal.
+* I think that I have a good enough understanding of the problem to build something robust.
+* I think that Rojo should be able to do more than just sync code.
--- a/docs/why-rojo.md
+++ b/docs/why-rojo.md
@@ -0,0 +1,44 @@
+Adding a tool like Rojo to your Roblox workflow can be daunting, but it comes with some key advantages.
+
+[TOC]
+
+## Rojo at RDC 2019
+Nathan Riemer (Kampfkarren) gave a talk at RDC 2019 talking about some of the benefits of using a tool like Rojo.
+
+<iframe style="margin: 0 auto; max-width: 100%" width="560" height="315" src="https://www.youtube-nocookie.com/embed/czlvzEyhaBc" frameborder="0" allow="accelerometer; autoplay; encrypted-media; gyroscope; picture-in-picture" allowfullscreen></iframe>
+
+## External Text Editors
+Rojo opens the door to use the absolute best text editors in the world and their rich plugin ecosystems.
+
+Some very popular editors include [Visual Studio Code](https://code.visualstudio.com) and [Sublime Text](https://www.sublimetext.com).
+
+These advanced text editors have features like multi-cursor editing, goto symbol, multi-file regex find and replace, bookmarks and much more.
+
+Many Rojo VS Code users also use extensions like:
+
+* [vscode-rbxlua](https://marketplace.visualstudio.com/items?itemName=AmaranthineCodices.vscode-rbxlua)
+* [Roblox Lua Autocompletes](https://marketplace.visualstudio.com/items?itemName=Kampfkarren.roblox-lua-autofills)
+* [TabNine](https://tabnine.com)
+
+## Version Control
+By building your game (or just the scripts) as individual files on the filesystem, it becomes easy to start using professional-grade version control tools like [Git](https://git-scm.com) and [GitHub](https://github.com).
+
+Hundreds of thousands of companies and individual developers use Git to version their software projects. With Rojo, Roblox developers can take advantage of the best collaboration tool around.
+
+Using a repository hosting service like GitHub or GitLab brings powerful features to Roblox developers like code reviews and issue tracking that professional engineers can't live without.
+
+## TypeScript
+TypeScript enables static type safety, which helps prevent typos and adds unparalleled autocompletion. It also brings features like arrow functions, object destructuring, functional programming methods, and more!
+
+With Rojo, you can use [roblox-ts](https://roblox-ts.github.io) to compile TypeScript to Lua and take advantage of a huge ecosystem of TypeScript tooling.
+
+It's also possible to use other languages that compile to Lua like [MoonScript](https://moonscript.org) and [Haxe](https://haxe.org).
+
+## Other Tools
+There are decades of excellent tools available that operate on files. With Rojo, it's possible to take advantage of any of them!
+
+Popular tools include:
+
+* [luacheck](https://github.com/mpeterv/luacheck), a static analysis tool to help you write better Lua
+* [ripgrep](https://github.com/BurntSushi/ripgrep), an extremely fast code search tool
+* [Tokei](https://github.com/XAMPPRocky/tokei), a tool for statistics like lines of code
--- a/memofs/Cargo.toml
+++ b/memofs/Cargo.toml
@@ -1,15 +0,0 @@
-[package]
-name = "memofs"
-description = "Virtual filesystem with configurable backends."
-version = "0.1.0"
-authors = ["Lucien Greathouse <me@lpghatguy.com>"]
-edition = "2018"
-readme = "README.md"
-license = "MIT"
-homepage = "https://github.com/rojo-rbx/rojo/tree/master/memofs"
-
-# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
-
-[dependencies]
-notify = "4.0.15"
-crossbeam-channel = "0.4.0"
--- a/memofs/LICENSE.txt
+++ b/memofs/LICENSE.txt
@@ -1,7 +0,0 @@
-Copyright 2020 The Rojo Developers
-
-Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions:
-
-The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software.
-
-THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
--- a/memofs/README.md
+++ b/memofs/README.md
@@ -1,22 +0,0 @@
-# memofs
-[![Crates.io](https://img.shields.io/crates/v/memofs.svg)](https://crates.io/crates/memofs)
-
-Implementation of a virtual filesystem with a configurable backend and file
-watching.
-
-memofs is currently an unstable minimum viable library. Its primary consumer is
-[Rojo](https://github.com/rojo-rbx/rojo), a build system for Roblox.
-
-### Current Features
-* API similar to `std::fs`
-* Configurable backends
-    * `StdBackend`, which uses `std::fs` and the `notify` crate
-    * `NoopBackend`, which always throws errors
-    * `InMemoryFs`, a simple in-memory filesystem useful for testing
-
-### Future Features
-* Hash-based hierarchical memoization keys (hence the name)
-* Configurable caching (write-through, write-around, write-back)
-
-## License
-memofs is available under the terms of the MIT license. See [LICENSE.txt](LICENSE.txt) or <https://opensource.org/licenses/MIT> for more details.
--- a/memofs/README.tpl
+++ b/memofs/README.tpl
@@ -1,7 +0,0 @@
-# {{crate}}
-[![Crates.io](https://img.shields.io/crates/v/memofs.svg)](https://crates.io/crates/memofs)
-
-{{readme}}
-
-## License
-memofs is available under the terms of the MIT license. See [LICENSE.txt](LICENSE.txt) or <https://opensource.org/licenses/MIT> for more details.
--- a/memofs/src/in_memory_fs.rs
+++ b/memofs/src/in_memory_fs.rs
@@ -1,249 +0,0 @@
-use std::collections::{BTreeSet, HashMap, VecDeque};
-use std::io;
-use std::path::{Path, PathBuf};
-use std::sync::{Arc, Mutex};
-
-use crossbeam_channel::{Receiver, Sender};
-
-use crate::{DirEntry, Metadata, ReadDir, VfsBackend, VfsEvent, VfsSnapshot};
-
-/// In-memory filesystem that can be used as a VFS backend.
-///
-/// Internally reference counted to enable giving a copy to
-/// [`Vfs`](struct.Vfs.html) and keeping the original to mutate the filesystem's
-/// state with.
-#[derive(Debug, Clone)]
-pub struct InMemoryFs {
-    inner: Arc<Mutex<InMemoryFsInner>>,
-}
-
-impl InMemoryFs {
-    /// Create a new empty `InMemoryFs`.
-    pub fn new() -> Self {
-        Self {
-            inner: Arc::new(Mutex::new(InMemoryFsInner::new())),
-        }
-    }
-
-    /// Load a [`VfsSnapshot`](enum.VfsSnapshot.html) into a subtree of the
-    /// in-memory filesystem.
-    ///
-    /// This function will return an error if the operations required to apply
-    /// the snapshot result in errors, like trying to create a file inside a
-    /// file.
-    pub fn load_snapshot<P: Into<PathBuf>>(
-        &mut self,
-        path: P,
-        snapshot: VfsSnapshot,
-    ) -> io::Result<()> {
-        let mut inner = self.inner.lock().unwrap();
-        inner.load_snapshot(path.into(), snapshot)
-    }
-
-    /// Raises a filesystem change event.
-    ///
-    /// If this `InMemoryFs` is being used as the backend of a
-    /// [`Vfs`](struct.Vfs.html), then any listeners be notified of this event.
-    pub fn raise_event(&mut self, event: VfsEvent) {
-        let inner = self.inner.lock().unwrap();
-        inner.event_sender.send(event).unwrap();
-    }
-}
-
-#[derive(Debug)]
-struct InMemoryFsInner {
-    entries: HashMap<PathBuf, Entry>,
-    orphans: BTreeSet<PathBuf>,
-
-    event_receiver: Receiver<VfsEvent>,
-    event_sender: Sender<VfsEvent>,
-}
-
-impl InMemoryFsInner {
-    fn new() -> Self {
-        let (event_sender, event_receiver) = crossbeam_channel::unbounded();
-
-        Self {
-            entries: HashMap::new(),
-            orphans: BTreeSet::new(),
-            event_receiver,
-            event_sender,
-        }
-    }
-
-    fn load_snapshot(&mut self, path: PathBuf, snapshot: VfsSnapshot) -> io::Result<()> {
-        if let Some(parent_path) = path.parent() {
-            if let Some(parent_entry) = self.entries.get_mut(parent_path) {
-                if let Entry::Dir { children } = parent_entry {
-                    children.insert(path.clone());
-                } else {
-                    return must_be_dir(parent_path);
-                }
-            } else {
-                self.orphans.insert(path.clone());
-            }
-        } else {
-            self.orphans.insert(path.clone());
-        }
-
-        match snapshot {
-            VfsSnapshot::File { contents } => {
-                self.entries.insert(path, Entry::File { contents });
-            }
-            VfsSnapshot::Dir { children } => {
-                self.entries.insert(
-                    path.clone(),
-                    Entry::Dir {
-                        children: BTreeSet::new(),
-                    },
-                );
-
-                for (child_name, child) in children {
-                    let full_path = path.join(child_name);
-                    self.load_snapshot(full_path, child)?;
-                }
-            }
-        }
-
-        Ok(())
-    }
-
-    fn remove(&mut self, root_path: PathBuf) {
-        self.orphans.remove(&root_path);
-
-        let mut to_remove = VecDeque::new();
-        to_remove.push_back(root_path);
-
-        while let Some(path) = to_remove.pop_front() {
-            if let Some(Entry::Dir { children }) = self.entries.remove(&path) {
-                to_remove.extend(children);
-            }
-        }
-    }
-}
-
-#[derive(Debug)]
-enum Entry {
-    File { contents: Vec<u8> },
-
-    Dir { children: BTreeSet<PathBuf> },
-}
-
-impl VfsBackend for InMemoryFs {
-    fn read(&mut self, path: &Path) -> io::Result<Vec<u8>> {
-        let inner = self.inner.lock().unwrap();
-
-        match inner.entries.get(path) {
-            Some(Entry::File { contents }) => Ok(contents.clone()),
-            Some(Entry::Dir { .. }) => must_be_file(path),
-            None => not_found(path),
-        }
-    }
-
-    fn write(&mut self, path: &Path, data: &[u8]) -> io::Result<()> {
-        let mut inner = self.inner.lock().unwrap();
-
-        inner.load_snapshot(
-            path.to_path_buf(),
-            VfsSnapshot::File {
-                contents: data.to_owned(),
-            },
-        )
-    }
-
-    fn read_dir(&mut self, path: &Path) -> io::Result<ReadDir> {
-        let inner = self.inner.lock().unwrap();
-
-        match inner.entries.get(path) {
-            Some(Entry::Dir { children }) => {
-                let iter = children
-                    .clone()
-                    .into_iter()
-                    .map(|path| Ok(DirEntry { path }));
-
-                Ok(ReadDir {
-                    inner: Box::new(iter),
-                })
-            }
-            Some(Entry::File { .. }) => must_be_dir(path),
-            None => not_found(path),
-        }
-    }
-
-    fn remove_file(&mut self, path: &Path) -> io::Result<()> {
-        let mut inner = self.inner.lock().unwrap();
-
-        match inner.entries.get(path) {
-            Some(Entry::File { .. }) => {
-                inner.remove(path.to_owned());
-                Ok(())
-            }
-            Some(Entry::Dir { .. }) => must_be_file(path),
-            None => not_found(path),
-        }
-    }
-
-    fn remove_dir_all(&mut self, path: &Path) -> io::Result<()> {
-        let mut inner = self.inner.lock().unwrap();
-
-        match inner.entries.get(path) {
-            Some(Entry::Dir { .. }) => {
-                inner.remove(path.to_owned());
-                Ok(())
-            }
-            Some(Entry::File { .. }) => must_be_dir(path),
-            None => not_found(path),
-        }
-    }
-
-    fn metadata(&mut self, path: &Path) -> io::Result<Metadata> {
-        let inner = self.inner.lock().unwrap();
-
-        match inner.entries.get(path) {
-            Some(Entry::File { .. }) => Ok(Metadata { is_file: true }),
-            Some(Entry::Dir { .. }) => Ok(Metadata { is_file: false }),
-            None => not_found(path),
-        }
-    }
-
-    fn event_receiver(&self) -> crossbeam_channel::Receiver<VfsEvent> {
-        let inner = self.inner.lock().unwrap();
-
-        inner.event_receiver.clone()
-    }
-
-    fn watch(&mut self, _path: &Path) -> io::Result<()> {
-        Ok(())
-    }
-
-    fn unwatch(&mut self, _path: &Path) -> io::Result<()> {
-        Ok(())
-    }
-}
-
-fn must_be_file<T>(path: &Path) -> io::Result<T> {
-    Err(io::Error::new(
-        io::ErrorKind::Other,
-        format!(
-            "path {} was a directory, but must be a file",
-            path.display()
-        ),
-    ))
-}
-
-fn must_be_dir<T>(path: &Path) -> io::Result<T> {
-    Err(io::Error::new(
-        io::ErrorKind::Other,
-        format!(
-            "path {} was a file, but must be a directory",
-            path.display()
-        ),
-    ))
-}
-
-fn not_found<T>(path: &Path) -> io::Result<T> {
-    Err(io::Error::new(
-        io::ErrorKind::NotFound,
-        format!("path {} not found", path.display()),
-    ))
-}
--- a/memofs/src/lib.rs
+++ b/memofs/src/lib.rs
@@ -1,404 +0,0 @@
-/*!
-Implementation of a virtual filesystem with a configurable backend and file
-watching.
-
-memofs is currently an unstable minimum viable library. Its primary consumer is
-[Rojo](https://github.com/rojo-rbx/rojo), a build system for Roblox.
-
-## Current Features
-* API similar to `std::fs`
-* Configurable backends
-    * `StdBackend`, which uses `std::fs` and the `notify` crate
-    * `NoopBackend`, which always throws errors
-    * `InMemoryFs`, a simple in-memory filesystem useful for testing
-
-## Future Features
-* Hash-based hierarchical memoization keys (hence the name)
-* Configurable caching (write-through, write-around, write-back)
-*/
-
-mod in_memory_fs;
-mod noop_backend;
-mod snapshot;
-mod std_backend;
-
-use std::io;
-use std::path::{Path, PathBuf};
-use std::sync::{Arc, Mutex, MutexGuard};
-
-pub use in_memory_fs::InMemoryFs;
-pub use noop_backend::NoopBackend;
-pub use snapshot::VfsSnapshot;
-pub use std_backend::StdBackend;
-
-mod sealed {
-    use super::*;
-
-    /// Sealing trait for VfsBackend.
-    pub trait Sealed {}
-
-    impl Sealed for NoopBackend {}
-    impl Sealed for StdBackend {}
-    impl Sealed for InMemoryFs {}
-}
-
-/// Trait that transforms `io::Result<T>` into `io::Result<Option<T>>`.
-///
-/// `Ok(None)` takes the place of IO errors whose `io::ErrorKind` is `NotFound`.
-pub trait IoResultExt<T> {
-    fn with_not_found(self) -> io::Result<Option<T>>;
-}
-
-impl<T> IoResultExt<T> for io::Result<T> {
-    fn with_not_found(self) -> io::Result<Option<T>> {
-        match self {
-            Ok(v) => Ok(Some(v)),
-            Err(err) => {
-                if err.kind() == io::ErrorKind::NotFound {
-                    Ok(None)
-                } else {
-                    Err(err)
-                }
-            }
-        }
-    }
-}
-
-/// Backend that can be used to create a `Vfs`.
-///
-/// This trait is sealed and cannot not be implemented outside this crate.
-pub trait VfsBackend: sealed::Sealed + Send + 'static {
-    fn read(&mut self, path: &Path) -> io::Result<Vec<u8>>;
-    fn write(&mut self, path: &Path, data: &[u8]) -> io::Result<()>;
-    fn read_dir(&mut self, path: &Path) -> io::Result<ReadDir>;
-    fn metadata(&mut self, path: &Path) -> io::Result<Metadata>;
-    fn remove_file(&mut self, path: &Path) -> io::Result<()>;
-    fn remove_dir_all(&mut self, path: &Path) -> io::Result<()>;
-
-    fn event_receiver(&self) -> crossbeam_channel::Receiver<VfsEvent>;
-    fn watch(&mut self, path: &Path) -> io::Result<()>;
-    fn unwatch(&mut self, path: &Path) -> io::Result<()>;
-}
-
-/// Vfs equivalent to [`std::fs::DirEntry`][std::fs::DirEntry].
-///
-/// [std::fs::DirEntry]: https://doc.rust-lang.org/stable/std/fs/struct.DirEntry.html
-pub struct DirEntry {
-    pub(crate) path: PathBuf,
-}
-
-impl DirEntry {
-    pub fn path(&self) -> &Path {
-        &self.path
-    }
-}
-
-/// Vfs equivalent to [`std::fs::ReadDir`][std::fs::ReadDir].
-///
-/// [std::fs::ReadDir]: https://doc.rust-lang.org/stable/std/fs/struct.ReadDir.html
-pub struct ReadDir {
-    pub(crate) inner: Box<dyn Iterator<Item = io::Result<DirEntry>>>,
-}
-
-impl Iterator for ReadDir {
-    type Item = io::Result<DirEntry>;
-
-    fn next(&mut self) -> Option<Self::Item> {
-        self.inner.next()
-    }
-}
-
-/// Vfs equivalent to [`std::fs::Metadata`][std::fs::Metadata].
-///
-/// [std::fs::Metadata]: https://doc.rust-lang.org/stable/std/fs/struct.Metadata.html
-#[derive(Debug)]
-pub struct Metadata {
-    pub(crate) is_file: bool,
-}
-
-impl Metadata {
-    pub fn is_file(&self) -> bool {
-        self.is_file
-    }
-
-    pub fn is_dir(&self) -> bool {
-        !self.is_file
-    }
-}
-
-/// Represents an event that a filesystem can raise that might need to be
-/// handled.
-#[derive(Debug)]
-#[non_exhaustive]
-pub enum VfsEvent {
-    Create(PathBuf),
-    Write(PathBuf),
-    Remove(PathBuf),
-}
-
-/// Contains implementation details of the Vfs, wrapped by `Vfs` and `VfsLock`,
-/// the public interfaces to this type.
-struct VfsInner {
-    backend: Box<dyn VfsBackend>,
-}
-
-impl VfsInner {
-    fn read<P: AsRef<Path>>(&mut self, path: P) -> io::Result<Arc<Vec<u8>>> {
-        let path = path.as_ref();
-        let contents = self.backend.read(path)?;
-        self.backend.watch(path)?;
-        Ok(Arc::new(contents))
-    }
-
-    fn write<P: AsRef<Path>, C: AsRef<[u8]>>(&mut self, path: P, contents: C) -> io::Result<()> {
-        let path = path.as_ref();
-        let contents = contents.as_ref();
-        self.backend.write(path, contents)
-    }
-
-    fn read_dir<P: AsRef<Path>>(&mut self, path: P) -> io::Result<ReadDir> {
-        let path = path.as_ref();
-        let dir = self.backend.read_dir(path)?;
-        self.backend.watch(path)?;
-        Ok(dir)
-    }
-
-    fn remove_file<P: AsRef<Path>>(&mut self, path: P) -> io::Result<()> {
-        let path = path.as_ref();
-        let _ = self.backend.unwatch(path);
-        self.backend.remove_file(path)
-    }
-
-    fn remove_dir_all<P: AsRef<Path>>(&mut self, path: P) -> io::Result<()> {
-        let path = path.as_ref();
-        let _ = self.backend.unwatch(path);
-        self.backend.remove_dir_all(path)
-    }
-
-    fn metadata<P: AsRef<Path>>(&mut self, path: P) -> io::Result<Metadata> {
-        let path = path.as_ref();
-        self.backend.metadata(path)
-    }
-
-    fn event_receiver(&self) -> crossbeam_channel::Receiver<VfsEvent> {
-        self.backend.event_receiver()
-    }
-
-    fn commit_event(&mut self, event: &VfsEvent) -> io::Result<()> {
-        match event {
-            VfsEvent::Remove(path) => {
-                let _ = self.backend.unwatch(&path);
-            }
-            _ => {}
-        }
-
-        Ok(())
-    }
-}
-
-/// A virtual filesystem with a configurable backend.
-///
-/// All operations on the Vfs take a lock on an internal backend. For performing
-/// large batches of operations, it might be more performant to call `lock()`
-/// and use [`VfsLock`](struct.VfsLock.html) instead.
-pub struct Vfs {
-    inner: Mutex<VfsInner>,
-}
-
-impl Vfs {
-    /// Creates a new `Vfs` with the default backend, `StdBackend`.
-    pub fn new_default() -> Self {
-        Self::new(StdBackend::new())
-    }
-
-    /// Creates a new `Vfs` with the given backend.
-    pub fn new<B: VfsBackend>(backend: B) -> Self {
-        let lock = VfsInner {
-            backend: Box::new(backend),
-        };
-
-        Self {
-            inner: Mutex::new(lock),
-        }
-    }
-
-    /// Manually lock the Vfs, useful for large batches of operations.
-    pub fn lock(&self) -> VfsLock<'_> {
-        VfsLock {
-            inner: self.inner.lock().unwrap(),
-        }
-    }
-
-    /// Read a file from the VFS, or the underlying backend if it isn't
-    /// resident.
-    ///
-    /// Roughly equivalent to [`std::fs::read`][std::fs::read].
-    ///
-    /// [std::fs::read]: https://doc.rust-lang.org/stable/std/fs/fn.read.html
-    #[inline]
-    pub fn read<P: AsRef<Path>>(&self, path: P) -> io::Result<Arc<Vec<u8>>> {
-        let path = path.as_ref();
-        self.inner.lock().unwrap().read(path)
-    }
-
-    /// Write a file to the VFS and the underlying backend.
-    ///
-    /// Roughly equivalent to [`std::fs::write`][std::fs::write].
-    ///
-    /// [std::fs::write]: https://doc.rust-lang.org/stable/std/fs/fn.write.html
-    #[inline]
-    pub fn write<P: AsRef<Path>, C: AsRef<[u8]>>(&self, path: P, contents: C) -> io::Result<()> {
-        let path = path.as_ref();
-        let contents = contents.as_ref();
-        self.inner.lock().unwrap().write(path, contents)
-    }
-
-    /// Read all of the children of a directory.
-    ///
-    /// Roughly equivalent to [`std::fs::read_dir`][std::fs::read_dir].
-    ///
-    /// [std::fs::read_dir]: https://doc.rust-lang.org/stable/std/fs/fn.read_dir.html
-    #[inline]
-    pub fn read_dir<P: AsRef<Path>>(&self, path: P) -> io::Result<ReadDir> {
-        let path = path.as_ref();
-        self.inner.lock().unwrap().read_dir(path)
-    }
-
-    /// Remove a file.
-    ///
-    /// Roughly equivalent to [`std::fs::remove_file`][std::fs::remove_file].
-    ///
-    /// [std::fs::remove_file]: https://doc.rust-lang.org/stable/std/fs/fn.remove_file.html
-    #[inline]
-    pub fn remove_file<P: AsRef<Path>>(&self, path: P) -> io::Result<()> {
-        let path = path.as_ref();
-        self.inner.lock().unwrap().remove_file(path)
-    }
-
-    /// Remove a directory and all of its descendants.
-    ///
-    /// Roughly equivalent to [`std::fs::remove_dir_all`][std::fs::remove_dir_all].
-    ///
-    /// [std::fs::remove_dir_all]: https://doc.rust-lang.org/stable/std/fs/fn.remove_dir_all.html
-    #[inline]
-    pub fn remove_dir_all<P: AsRef<Path>>(&self, path: P) -> io::Result<()> {
-        let path = path.as_ref();
-        self.inner.lock().unwrap().remove_dir_all(path)
-    }
-
-    /// Query metadata about the given path.
-    ///
-    /// Roughly equivalent to [`std::fs::metadata`][std::fs::metadata].
-    ///
-    /// [std::fs::metadata]: https://doc.rust-lang.org/stable/std/fs/fn.metadata.html
-    #[inline]
-    pub fn metadata<P: AsRef<Path>>(&self, path: P) -> io::Result<Metadata> {
-        let path = path.as_ref();
-        self.inner.lock().unwrap().metadata(path)
-    }
-
-    /// Retrieve a handle to the event receiver for this `Vfs`.
-    #[inline]
-    pub fn event_receiver(&self) -> crossbeam_channel::Receiver<VfsEvent> {
-        self.inner.lock().unwrap().event_receiver()
-    }
-
-    /// Commit an event to this `Vfs`.
-    #[inline]
-    pub fn commit_event(&self, event: &VfsEvent) -> io::Result<()> {
-        self.inner.lock().unwrap().commit_event(event)
-    }
-}
-
-/// A locked handle to a [`Vfs`](struct.Vfs.html), created by `Vfs::lock`.
-///
-/// Implements roughly the same API as [`Vfs`](struct.Vfs.html).
-pub struct VfsLock<'a> {
-    inner: MutexGuard<'a, VfsInner>,
-}
-
-impl VfsLock<'_> {
-    /// Read a file from the VFS, or the underlying backend if it isn't
-    /// resident.
-    ///
-    /// Roughly equivalent to [`std::fs::read`][std::fs::read].
-    ///
-    /// [std::fs::read]: https://doc.rust-lang.org/stable/std/fs/fn.read.html
-    #[inline]
-    pub fn read<P: AsRef<Path>>(&mut self, path: P) -> io::Result<Arc<Vec<u8>>> {
-        let path = path.as_ref();
-        self.inner.read(path)
-    }
-
-    /// Write a file to the VFS and the underlying backend.
-    ///
-    /// Roughly equivalent to [`std::fs::write`][std::fs::write].
-    ///
-    /// [std::fs::write]: https://doc.rust-lang.org/stable/std/fs/fn.write.html
-    #[inline]
-    pub fn write<P: AsRef<Path>, C: AsRef<[u8]>>(
-        &mut self,
-        path: P,
-        contents: C,
-    ) -> io::Result<()> {
-        let path = path.as_ref();
-        let contents = contents.as_ref();
-        self.inner.write(path, contents)
-    }
-
-    /// Read all of the children of a directory.
-    ///
-    /// Roughly equivalent to [`std::fs::read_dir`][std::fs::read_dir].
-    ///
-    /// [std::fs::read_dir]: https://doc.rust-lang.org/stable/std/fs/fn.read_dir.html
-    #[inline]
-    pub fn read_dir<P: AsRef<Path>>(&mut self, path: P) -> io::Result<ReadDir> {
-        let path = path.as_ref();
-        self.inner.read_dir(path)
-    }
-
-    /// Remove a file.
-    ///
-    /// Roughly equivalent to [`std::fs::remove_file`][std::fs::remove_file].
-    ///
-    /// [std::fs::remove_file]: https://doc.rust-lang.org/stable/std/fs/fn.remove_file.html
-    #[inline]
-    pub fn remove_file<P: AsRef<Path>>(&mut self, path: P) -> io::Result<()> {
-        let path = path.as_ref();
-        self.inner.remove_file(path)
-    }
-
-    /// Remove a directory and all of its descendants.
-    ///
-    /// Roughly equivalent to [`std::fs::remove_dir_all`][std::fs::remove_dir_all].
-    ///
-    /// [std::fs::remove_dir_all]: https://doc.rust-lang.org/stable/std/fs/fn.remove_dir_all.html
-    #[inline]
-    pub fn remove_dir_all<P: AsRef<Path>>(&mut self, path: P) -> io::Result<()> {
-        let path = path.as_ref();
-        self.inner.remove_dir_all(path)
-    }
-
-    /// Query metadata about the given path.
-    ///
-    /// Roughly equivalent to [`std::fs::metadata`][std::fs::metadata].
-    ///
-    /// [std::fs::metadata]: https://doc.rust-lang.org/stable/std/fs/fn.metadata.html
-    #[inline]
-    pub fn metadata<P: AsRef<Path>>(&mut self, path: P) -> io::Result<Metadata> {
-        let path = path.as_ref();
-        self.inner.metadata(path)
-    }
-
-    /// Retrieve a handle to the event receiver for this `Vfs`.
-    #[inline]
-    pub fn event_receiver(&self) -> crossbeam_channel::Receiver<VfsEvent> {
-        self.inner.event_receiver()
-    }
-
-    /// Commit an event to this `Vfs`.
-    #[inline]
-    pub fn commit_event(&mut self, event: &VfsEvent) -> io::Result<()> {
-        self.inner.commit_event(event)
-    }
-}
--- a/memofs/src/noop_backend.rs
+++ b/memofs/src/noop_backend.rs
@@ -1,76 +0,0 @@
-use std::io;
-use std::path::Path;
-
-use crate::{Metadata, ReadDir, VfsBackend, VfsEvent};
-
-/// `VfsBackend` that returns an error on every operation.
-#[non_exhaustive]
-pub struct NoopBackend;
-
-impl NoopBackend {
-    pub fn new() -> Self {
-        Self
-    }
-}
-
-impl VfsBackend for NoopBackend {
-    fn read(&mut self, _path: &Path) -> io::Result<Vec<u8>> {
-        Err(io::Error::new(
-            io::ErrorKind::Other,
-            "NoopBackend doesn't do anything",
-        ))
-    }
-
-    fn write(&mut self, _path: &Path, _data: &[u8]) -> io::Result<()> {
-        Err(io::Error::new(
-            io::ErrorKind::Other,
-            "NoopBackend doesn't do anything",
-        ))
-    }
-
-    fn read_dir(&mut self, _path: &Path) -> io::Result<ReadDir> {
-        Err(io::Error::new(
-            io::ErrorKind::Other,
-            "NoopBackend doesn't do anything",
-        ))
-    }
-
-    fn remove_file(&mut self, _path: &Path) -> io::Result<()> {
-        Err(io::Error::new(
-            io::ErrorKind::Other,
-            "NoopBackend doesn't do anything",
-        ))
-    }
-
-    fn remove_dir_all(&mut self, _path: &Path) -> io::Result<()> {
-        Err(io::Error::new(
-            io::ErrorKind::Other,
-            "NoopBackend doesn't do anything",
-        ))
-    }
-
-    fn metadata(&mut self, _path: &Path) -> io::Result<Metadata> {
-        Err(io::Error::new(
-            io::ErrorKind::Other,
-            "NoopBackend doesn't do anything",
-        ))
-    }
-
-    fn event_receiver(&self) -> crossbeam_channel::Receiver<VfsEvent> {
-        crossbeam_channel::never()
-    }
-
-    fn watch(&mut self, _path: &Path) -> io::Result<()> {
-        Err(io::Error::new(
-            io::ErrorKind::Other,
-            "NoopBackend doesn't do anything",
-        ))
-    }
-
-    fn unwatch(&mut self, _path: &Path) -> io::Result<()> {
-        Err(io::Error::new(
-            io::ErrorKind::Other,
-            "NoopBackend doesn't do anything",
-        ))
-    }
-}
--- a/memofs/src/snapshot.rs
+++ b/memofs/src/snapshot.rs
@@ -1,44 +0,0 @@
-use std::collections::BTreeMap;
-
-/// A slice of a tree of files. Can be loaded into an
-/// [`InMemoryFs`](struct.InMemoryFs.html).
-#[derive(Debug)]
-#[non_exhaustive]
-pub enum VfsSnapshot {
-    File {
-        contents: Vec<u8>,
-    },
-
-    Dir {
-        children: BTreeMap<String, VfsSnapshot>,
-    },
-}
-
-impl VfsSnapshot {
-    pub fn file<C: Into<Vec<u8>>>(contents: C) -> Self {
-        Self::File {
-            contents: contents.into(),
-        }
-    }
-
-    pub fn dir<K: Into<String>, I: IntoIterator<Item = (K, VfsSnapshot)>>(children: I) -> Self {
-        Self::Dir {
-            children: children
-                .into_iter()
-                .map(|(key, value)| (key.into(), value))
-                .collect(),
-        }
-    }
-
-    pub fn empty_file() -> Self {
-        Self::File {
-            contents: Vec::new(),
-        }
-    }
-
-    pub fn empty_dir() -> Self {
-        Self::Dir {
-            children: BTreeMap::new(),
-        }
-    }
-}
--- a/memofs/src/std_backend.rs
+++ b/memofs/src/std_backend.rs
@@ -1,111 +0,0 @@
-use std::fs;
-use std::io;
-use std::path::Path;
-use std::sync::mpsc;
-use std::thread;
-use std::time::Duration;
-
-use crossbeam_channel::Receiver;
-use notify::{watcher, DebouncedEvent, RecommendedWatcher, RecursiveMode, Watcher};
-
-use crate::{DirEntry, Metadata, ReadDir, VfsBackend, VfsEvent};
-
-/// `VfsBackend` that uses `std::fs` and the `notify` crate.
-pub struct StdBackend {
-    watcher: RecommendedWatcher,
-    watcher_receiver: Receiver<VfsEvent>,
-}
-
-impl StdBackend {
-    pub fn new() -> StdBackend {
-        let (notify_tx, notify_rx) = mpsc::channel();
-        let watcher = watcher(notify_tx, Duration::from_millis(50)).unwrap();
-
-        let (tx, rx) = crossbeam_channel::unbounded();
-
-        thread::spawn(move || {
-            for event in notify_rx {
-                match event {
-                    DebouncedEvent::Create(path) => {
-                        tx.send(VfsEvent::Create(path))?;
-                    }
-                    DebouncedEvent::Write(path) => {
-                        tx.send(VfsEvent::Write(path))?;
-                    }
-                    DebouncedEvent::Remove(path) => {
-                        tx.send(VfsEvent::Remove(path))?;
-                    }
-                    DebouncedEvent::Rename(from, to) => {
-                        tx.send(VfsEvent::Remove(from))?;
-                        tx.send(VfsEvent::Create(to))?;
-                    }
-                    _ => {}
-                }
-            }
-
-            Result::<(), crossbeam_channel::SendError<VfsEvent>>::Ok(())
-        });
-
-        Self {
-            watcher,
-            watcher_receiver: rx,
-        }
-    }
-}
-
-impl VfsBackend for StdBackend {
-    fn read(&mut self, path: &Path) -> io::Result<Vec<u8>> {
-        fs::read(path)
-    }
-
-    fn write(&mut self, path: &Path, data: &[u8]) -> io::Result<()> {
-        fs::write(path, data)
-    }
-
-    fn read_dir(&mut self, path: &Path) -> io::Result<ReadDir> {
-        let entries: Result<Vec<_>, _> = fs::read_dir(path)?.collect();
-        let mut entries = entries?;
-
-        entries.sort_by_cached_key(|entry| entry.file_name());
-
-        let inner = entries
-            .into_iter()
-            .map(|entry| Ok(DirEntry { path: entry.path() }));
-
-        Ok(ReadDir {
-            inner: Box::new(inner),
-        })
-    }
-
-    fn remove_file(&mut self, path: &Path) -> io::Result<()> {
-        fs::remove_file(path)
-    }
-
-    fn remove_dir_all(&mut self, path: &Path) -> io::Result<()> {
-        fs::remove_dir_all(path)
-    }
-
-    fn metadata(&mut self, path: &Path) -> io::Result<Metadata> {
-        let inner = fs::metadata(path)?;
-
-        Ok(Metadata {
-            is_file: inner.is_file(),
-        })
-    }
-
-    fn event_receiver(&self) -> crossbeam_channel::Receiver<VfsEvent> {
-        self.watcher_receiver.clone()
-    }
-
-    fn watch(&mut self, path: &Path) -> io::Result<()> {
-        self.watcher
-            .watch(path, RecursiveMode::NonRecursive)
-            .map_err(|inner| io::Error::new(io::ErrorKind::Other, inner))
-    }
-
-    fn unwatch(&mut self, path: &Path) -> io::Result<()> {
-        self.watcher
-            .unwatch(path)
-            .map_err(|inner| io::Error::new(io::ErrorKind::Other, inner))
-    }
-}
--- a/mkdocs.yml
+++ b/mkdocs.yml
@@ -0,0 +1,37 @@
+site_name: Rojo Documentation
+repo_name: rojo-rbx/rojo
+repo_url: https://github.com/rojo-rbx/rojo
+
+theme:
+  name: material
+  palette:
+    primary: 'Red'
+    accent: 'Red'
+
+nav:
+  - Home: index.md
+  - Why Rojo?: why-rojo.md
+  - Get Help with Rojo: help.md
+  - Guide:
+    - Installation: guide/installation.md
+    - Creating a Game with Rojo: guide/new-game.md
+    - Porting an Existing Game to Rojo: guide/existing-game.md
+    - Migrating from 0.4.x to 0.5.x: guide/migrating-to-epiphany.md
+  - Reference:
+    - Fully vs Partially Managed Rojo: reference/full-vs-partial.md
+    - Project Format: reference/project-format.md
+    - Sync Details: reference/sync-details.md
+  - Rojo Alternatives: rojo-alternatives.md
+  - Rojo Internals:
+    - Internals Overview: internals/overview.md
+
+extra_css:
+  - extra.css
+
+markdown_extensions:
+  - attr_list
+  - admonition
+  - codehilite:
+      guess_lang: false
+  - toc:
+      permalink: true
--- a/plugin/.gitignore
+++ b/plugin/.gitignore
@@ -0,0 +1 @@
+/luacov.*
--- a/plugin/.luacheckrc
+++ b/plugin/.luacheckrc
@@ -20,7 +20,6 @@ stds.roblox = {
 		"CFrame",
 		"Enum",
 		"Instance",
-		"DockWidgetPluginGuiInfo",
 	}
 }

--- a/plugin/.luacov
+++ b/plugin/.luacov
@@ -0,0 +1,8 @@
+return {
+	include = {
+		"^src",
+	},
+	exclude = {
+		"%.spec$",
+	},
+}
--- a/plugin/default.project.json
+++ b/plugin/default.project.json
@@ -5,15 +5,6 @@
    "Plugin": {
      "$path": "src"
    },
-    "Log": {
-      "$path": "log"
-    },
-    "Http": {
-      "$path": "http"
-    },
-    "Fmt": {
-      "$path": "fmt"
-    },
    "Roact": {
      "$path": "modules/roact/src"
    },
--- a/plugin/fmt/init.lua
+++ b/plugin/fmt/init.lua
@@ -1,245 +0,0 @@
--[[
-	This library describes a formatting mechanism akin to Rust's std::fmt.
-
-	It has a couple building blocks:
-
-	* A new syntax for formatting strings, taken verbatim from Rust. It'd also
-	  be possible to use printf-style formatting specifiers to integrate with
-	  the existing string.format utility.
-
-	* An equivalent to Rust's `Display` trait. We're mapping the semantics of
-	  tostring and the __tostring metamethod onto this trait. A lot of types
-	  should already have __tostring implementations, too!
-
-	* An equivalent to Rust's `Debug` trait. This library Lua-ifies that idea by
-	  inventing a new metamethod, `__fmtDebug`. We pass along the "extended
-	  form" attribute which is the equivalent of the "alternate mode" in Rust's
-	  Debug trait since it's the author's opinion that treating it as a
-	  verbosity flag is semantically accurate.
-]]
-
--[[
-	The default implementation of __fmtDebug for tables when the extended option
-	is not set.
-]]
-local function defaultTableDebug(buffer, input)
-	buffer:writeRaw("{")
-
-	for key, value in pairs(input) do
-		buffer:write("[{:?}] = {:?}", key, value)
-
-		if next(input, key) ~= nil then
-			buffer:writeRaw(", ")
-		end
-	end
-
-	buffer:writeRaw("}")
-end
-
--[[
-	The default implementation of __fmtDebug for tables with the extended option
-	set.
-]]
-local function defaultTableDebugExtended(buffer, input)
-	-- Special case for empty tables.
-	if next(input) == nil then
-		buffer:writeRaw("{}")
-		return
-	end
-
-	buffer:writeLineRaw("{")
-	buffer:indent()
-
-	for key, value in pairs(input) do
-		buffer:writeLine("[{:?}] = {:#?},", key, value)
-	end
-
-	buffer:unindent()
-	buffer:writeRaw("}")
-end
-
--[[
-	The default debug representation for all types.
-]]
-local function debugImpl(buffer, value, extendedForm)
-	local valueType = typeof(value)
-
-	if valueType == "string" then
-		local formatted = string.format("%q", value)
-		buffer:writeRaw(formatted)
-	elseif valueType == "table" then
-		local valueMeta = getmetatable(value)
-
-		if valueMeta ~= nil and  valueMeta.__fmtDebug ~= nil then
-			-- This type implement's the metamethod we made up to line up with
-			-- Rust's 'Debug' trait.
-
-			valueMeta.__fmtDebug(value, buffer, extendedForm)
-		else
-			if extendedForm then
-				defaultTableDebugExtended(buffer, value)
-			else
-				defaultTableDebug(buffer, value)
-			end
-		end
-	elseif valueType == "Instance" then
-		buffer:writeRaw(value:GetFullName())
-	else
-		buffer:writeRaw(tostring(value))
-	end
-end
-
--[[
-	Defines and implements the library's template syntax.
-]]
-local function writeFmt(buffer, template, ...)
-	local currentArg = 0
-	local i = 1
-	local len = #template
-
-	while i <= len do
-		local openBrace = template:find("{", i)
-
-		if openBrace == nil then
-			-- There are no remaining open braces in this string, so we can
-			-- write the rest of the string to the buffer.
-
-			buffer:writeRaw(template:sub(i))
-			break
-		else
-			-- We found an open brace! This could be:
-			-- - A literal '{', written as '{{'
-			-- - The beginning of an interpolation, like '{}'
-			-- - An error, if there's no matching '}'
-
-			local charAfterBrace = template:sub(openBrace + 1, openBrace + 1)
-			if charAfterBrace == "{" then
-				-- This is a literal brace, so we'll write everything up to this
-				-- point (including the first brace), and then skip over the
-				-- second brace.
-
-				buffer:writeRaw(template:sub(i, openBrace))
-				i = openBrace + 2
-			else
-				-- This SHOULD be an interpolation. We'll find our matching
-				-- brace and treat the contents as the formatting specifier.
-
-				-- If there were any unwritten characters before this
-				-- interpolation, write them to the buffer.
-				if openBrace - i > 0 then
-					buffer:writeRaw(template:sub(i, openBrace - 1))
-				end
-
-				local closeBrace = template:find("}", openBrace + 1)
-				assert(closeBrace ~= nil, "Unclosed formatting specifier. Use '{{' to write an open brace.")
-
-				local formatSpecifier = template:sub(openBrace + 1, closeBrace - 1)
-				currentArg = currentArg + 1
-				local arg = select(currentArg, ...)
-
-				if formatSpecifier == "" then
-					-- This should use the equivalent of Rust's 'Display', ie
-					-- tostring and the __tostring metamethod.
-
-					buffer:writeRaw(tostring(arg))
-				elseif formatSpecifier == ":?" then
-					-- This should use the equivalent of Rust's 'Debug',
-					-- invented for this library as __fmtDebug.
-
-					debugImpl(buffer, arg, false)
-				elseif formatSpecifier == ":#?" then
-					-- This should use the equivlant of Rust's 'Debug' with the
-					-- 'alternate' (ie expanded) flag set.
-
-					debugImpl(buffer, arg, true)
-				else
-					error("unsupported format specifier " .. formatSpecifier, 2)
-				end
-
-				i = closeBrace + 1
-			end
-		end
-	end
-end
-
-local function debugOutputBuffer()
-	local buffer = {}
-	local startOfLine = true
-	local indentLevel = 0
-	local indentation = ""
-
-	function buffer:writeLine(template, ...)
-		writeFmt(self, template, ...)
-		self:nextLine()
-	end
-
-	function buffer:writeLineRaw(value)
-		self:writeRaw(value)
-		self:nextLine()
-	end
-
-	function buffer:write(template, ...)
-		return writeFmt(self, template, ...)
-	end
-
-	function buffer:writeRaw(value)
-		if #value > 0 then
-			if startOfLine and #indentation > 0 then
-				startOfLine = false
-				table.insert(self, indentation)
-			end
-
-			table.insert(self, value)
-			startOfLine = false
-		end
-	end
-
-	function buffer:nextLine()
-		table.insert(self, "\n")
-		startOfLine = true
-	end
-
-	function buffer:indent()
-		indentLevel = indentLevel + 1
-		indentation = string.rep("    ", indentLevel)
-	end
-
-	function buffer:unindent()
-		indentLevel = math.max(0, indentLevel - 1)
-		indentation = string.rep("    ", indentLevel)
-	end
-
-	function buffer:finish()
-		return table.concat(self, "")
-	end
-
-	return buffer
-end
-
-local function fmt(template, ...)
-	local buffer = debugOutputBuffer()
-	writeFmt(buffer, template, ...)
-	return buffer:finish()
-end
-
--[[
-	Wrap the given object in a type that implements the given function as its
-	Debug implementation, and forwards __tostring to the type's underlying
-	tostring implementation.
-]]
-local function debugify(object, fmtFunc)
-	return setmetatable({}, {
-		__fmtDebug = function(_, ...)
-			return fmtFunc(object, ...)
-		end,
-		__tostring = function()
-			return tostring(object)
-		end,
-	})
-end
-
-return {
-	debugOutputBuffer = debugOutputBuffer,
-	fmt = fmt,
-	debugify = debugify,
-}
--- a/plugin/http/init.lua
+++ b/plugin/http/init.lua
@@ -1,66 +0,0 @@
-local HttpService = game:GetService("HttpService")
-
-local Promise = require(script.Parent.Promise)
-local Log = require(script.Parent.Log)
-
-local HttpError = require(script.Error)
-local HttpResponse = require(script.Response)
-
-local lastRequestId = 0
-
-local Http = {}
-
-Http.Error = HttpError
-Http.Response = HttpResponse
-
-local function performRequest(requestParams)
-	local requestId = lastRequestId + 1
-	lastRequestId = requestId
-
-	Log.trace("HTTP {}({}) {}", requestParams.Method, requestId, requestParams.Url)
-
-	if requestParams.Body ~= nil then
-		Log.trace("{}", requestParams.Body)
-	end
-
-	return Promise.new(function(resolve, reject)
-		coroutine.wrap(function()
-			local success, response = pcall(function()
-				return HttpService:RequestAsync(requestParams)
-			end)
-
-			if success then
-				Log.trace("Request {} success, status code {}", requestId, response.StatusCode)
-				resolve(HttpResponse.fromRobloxResponse(response))
-			else
-				Log.trace("Request {} failure: {:?}", requestId, response)
-				reject(HttpError.fromRobloxErrorString(response))
-			end
-		end)()
-	end)
-end
-
-function Http.get(url)
-	return performRequest({
-		Url = url,
-		Method = "GET",
-	})
-end
-
-function Http.post(url, body)
-	return performRequest({
-		Url = url,
-		Method = "POST",
-		Body = body,
-	})
-end
-
-function Http.jsonEncode(object)
-	return HttpService:JSONEncode(object)
-end
-
-function Http.jsonDecode(source)
-	return HttpService:JSONDecode(source)
-end
-
-return Http
--- a/plugin/http/init.spec.lua
+++ b/plugin/http/init.spec.lua
@@ -1,5 +0,0 @@
-return function()
-	it("should load", function()
-		require(script.Parent)
-	end)
-end
--- a/plugin/loadEnvironment.lua
+++ b/plugin/loadEnvironment.lua
@@ -0,0 +1,37 @@
+--[[
+	Loads the Rojo plugin and all of its dependencies.
+]]
+
+local function loadEnvironment()
+	-- If you add any dependencies, add them to this table so they'll be loaded!
+	local LOAD_MODULES = {
+		{"src", "Rojo"},
+		{"modules/promise/lib", "Promise"},
+		{"modules/testez/lib", "TestEZ"},
+	}
+
+	-- This makes sure we can load Lemur and other libraries that depend on init.lua
+	package.path = package.path .. ";?/init.lua"
+
+	-- If this fails, make sure you've run `lua bin/install-dependencies.lua` first!
+	local lemur = require("modules.lemur")
+
+	-- Create a virtual Roblox tree
+	local habitat = lemur.Habitat.new()
+
+	-- We'll put all of our library code and dependencies here
+	local modules = lemur.Instance.new("Folder")
+	modules.Name = "Modules"
+	modules.Parent = habitat.game:GetService("ReplicatedStorage")
+
+	-- Load all of the modules specified above
+	for _, module in ipairs(LOAD_MODULES) do
+		local container = habitat:loadFromFs(module[1])
+		container.Name = module[2]
+		container.Parent = modules
+	end
+
+	return habitat, modules
+end
+
+return loadEnvironment
--- a/plugin/log/init.spec.lua
+++ b/plugin/log/init.spec.lua
@@ -1,5 +0,0 @@
-return function()
-	it("should load", function()
-		require(script.Parent)
-	end)
-end
--- a/plugin/modules/lemur
+++ b/plugin/modules/lemur
--- a/plugin/modules/roact
+++ b/plugin/modules/roact
--- a/plugin/place.project.json
+++ b/plugin/place.project.json
@@ -0,0 +1,48 @@
+{
+  "name": "rojo",
+  "tree": {
+    "$className": "DataModel",
+
+    "ReplicatedStorage": {
+      "$className": "ReplicatedStorage",
+
+      "Rojo": {
+        "$className": "Folder",
+
+        "Plugin": {
+          "$path": "src"
+        },
+        "Roact": {
+          "$path": "modules/roact/src"
+        },
+        "Promise": {
+          "$path": "modules/promise/lib"
+        },
+        "t": {
+          "$path": "modules/t/lib"
+        }
+      },
+      "TestEZ": {
+        "$path": "modules/testez/lib"
+      }
+    },
+
+    "HttpService": {
+      "$className": "HttpService",
+      "$properties": {
+        "HttpEnabled": {
+          "Type": "Bool",
+          "Value": true
+        }
+      }
+    },
+
+    "ServerScriptService": {
+      "$className": "ServerScriptService",
+
+      "TestBootstrap": {
+        "$path": "testBootstrap.server.lua"
+      }
+    }
+  }
+}
--- a/plugin/runTest.lua
+++ b/plugin/runTest.lua
@@ -0,0 +1,15 @@
+local loadEnvironment = require("loadEnvironment")
+
+local testPath = assert((...), "Please specify a path to a test file.")
+
+local habitat = loadEnvironment()
+
+local testModule = habitat:loadFromFs(testPath)
+
+if testModule == nil then
+	error("Couldn't find test file at " .. testPath)
+end
+
+print("Starting test module.")
+
+habitat:require(testModule)
--- a/plugin/spec.lua
+++ b/plugin/spec.lua
@@ -0,0 +1,17 @@
+--[[
+	Loads our library and all of its dependencies, then runs tests using TestEZ.
+]]
+
+local loadEnvironment = require("loadEnvironment")
+
+local habitat, modules = loadEnvironment()
+
+-- Load TestEZ and run our tests
+local TestEZ = habitat:require(modules.TestEZ)
+
+local results = TestEZ.TestBootstrap:run({modules.Rojo}, TestEZ.Reporters.TextReporter)
+
+-- Did something go wrong?
+if results.failureCount > 0 then
+	os.exit(1)
+end
--- a/plugin/src/ApiContext.lua
+++ b/plugin/src/ApiContext.lua
@@ -1,216 +1,152 @@
-local Http = require(script.Parent.Parent.Http)
-local Log = require(script.Parent.Parent.Log)
 local Promise = require(script.Parent.Parent.Promise)

 local Config = require(script.Parent.Config)
-local Types = require(script.Parent.Types)
 local Version = require(script.Parent.Version)
+local Http = require(script.Parent.Http)
+local HttpError = require(script.Parent.HttpError)

-local validateApiInfo = Types.ifEnabled(Types.ApiInfoResponse)
-local validateApiRead = Types.ifEnabled(Types.ApiReadResponse)
-local validateApiSubscribe = Types.ifEnabled(Types.ApiSubscribeResponse)
+local ApiContext = {}
+ApiContext.__index = ApiContext

--[[
-	Returns a promise that will never resolve nor reject.
-]]
-local function hangingPromise()
-	return Promise.new(function() end)
-end
+-- TODO: Audit cases of errors and create enum values for each of them.
+ApiContext.Error = {
+	ServerIdMismatch = "ServerIdMismatch",
+
+	-- The server gave an unexpected 400-category error, which may be the
+	-- client's fault.
+	ClientError = "ClientError",
+
+	-- The server gave an unexpected 500-category error, which may be the
+	-- server's fault.
+	ServerError = "ServerError",
+}
+
+setmetatable(ApiContext.Error, {
+	__index = function(_, key)
+		error("Invalid ApiContext.Error name " .. key, 2)
+	end
+})

 local function rejectFailedRequests(response)
 	if response.code >= 400 then
-		local message = string.format("HTTP %s:\n%s", tostring(response.code), response.body)
-
-		return Promise.reject(message)
+		if response.code < 500 then
+			return Promise.reject(ApiContext.Error.ClientError)
+		else
+			return Promise.reject(ApiContext.Error.ServerError)
+		end
 	end

 	return response
 end

-local function rejectWrongProtocolVersion(infoResponseBody)
-	if infoResponseBody.protocolVersion ~= Config.protocolVersion then
-		local message = (
-			"Found a Rojo dev server, but it's using a different protocol version, and is incompatible." ..
-			"\nMake sure you have matching versions of both the Rojo plugin and server!" ..
-			"\n\nYour client is version %s, with protocol version %s. It expects server version %s." ..
-			"\nYour server is version %s, with protocol version %s." ..
-			"\n\nGo to https://github.com/rojo-rbx/rojo for more details."
-		):format(
-			Version.display(Config.version), Config.protocolVersion,
-			Config.expectedServerVersionString,
-			infoResponseBody.serverVersion, infoResponseBody.protocolVersion
-		)
-
-		return Promise.reject(message)
-	end
-
-	return Promise.resolve(infoResponseBody)
-end
-
-local function rejectWrongPlaceId(infoResponseBody)
-	if infoResponseBody.expectedPlaceIds ~= nil then
-		local foundId = false
-
-		for _, id in ipairs(infoResponseBody.expectedPlaceIds) do
-			if id == game.PlaceId then
-				foundId = true
-				break
-			end
-		end
-
-		if not foundId then
-			local idList = {}
-			for _, id in ipairs(infoResponseBody.expectedPlaceIds) do
-				table.insert(idList, "- " .. tostring(id))
-			end
-
-			local message = (
-				"Found a Rojo server, but its project is set to only be used with a specific list of places." ..
-				"\nYour place ID is %s, but needs to be one of these:" ..
-				"\n%s" ..
-				"\n\nTo change this list, edit 'servePlaceIds' in your .project.json file."
-			):format(
-				tostring(game.PlaceId),
-				table.concat(idList, "\n")
-			)
-
-			return Promise.reject(message)
-		end
-	end
-
-	return Promise.resolve(infoResponseBody)
-end
-
-local ApiContext = {}
-ApiContext.__index = ApiContext
-
 function ApiContext.new(baseUrl)
 	assert(type(baseUrl) == "string")

 	local self = {
-		__baseUrl = baseUrl,
-		__sessionId = nil,
-		__messageCursor = -1,
-		__connected = true,
+		baseUrl = baseUrl,
+		serverId = nil,
+		rootInstanceId = nil,
+		messageCursor = -1,
+		partitionRoutes = nil,
 	}

-	return setmetatable(self, ApiContext)
+	setmetatable(self, ApiContext)
+
+	return self
 end

-function ApiContext:__fmtDebug(output)
-	output:writeLine("ApiContext {{")
-	output:indent()
-
-	output:writeLine("Connected: {}", self.__connected)
-	output:writeLine("Base URL: {}", self.__baseUrl)
-	output:writeLine("Session ID: {}", self.__sessionId)
-	output:writeLine("Message Cursor: {}", self.__messageCursor)
-
-	output:unindent()
-	output:write("}")
-end
-
-function ApiContext:disconnect()
-	self.__connected = false
-end
-
-function ApiContext:setMessageCursor(index)
-	self.__messageCursor = index
+function ApiContext:onMessage(callback)
+	self.onMessageCallback = callback
 end

 function ApiContext:connect()
-	local url = ("%s/api/rojo"):format(self.__baseUrl)
+	local url = ("%s/api/rojo"):format(self.baseUrl)

 	return Http.get(url)
 		:andThen(rejectFailedRequests)
-		:andThen(Http.Response.json)
-		:andThen(rejectWrongProtocolVersion)
-		:andThen(function(body)
-			assert(validateApiInfo(body))
+		:andThen(function(response)
+			local body = response:json()

-			return body
-		end)
-		:andThen(rejectWrongPlaceId)
-		:andThen(function(body)
-			self.__sessionId = body.sessionId
+			if body.protocolVersion ~= Config.protocolVersion then
+				local message = (
+					"Found a Rojo dev server, but it's using a different protocol version, and is incompatible." ..
+					"\nMake sure you have matching versions of both the Rojo plugin and server!" ..
+					"\n\nYour client is version %s, with protocol version %s. It expects server version %s." ..
+					"\nYour server is version %s, with protocol version %s." ..
+					"\n\nGo to https://github.com/LPGhatguy/rojo for more details."
+				):format(
+					Version.display(Config.version), Config.protocolVersion,
+					Config.expectedApiContextVersionString,
+					body.serverVersion, body.protocolVersion
+				)

-			return body
+				return Promise.reject(message)
+			end
+
+			if body.expectedPlaceIds ~= nil then
+				local foundId = false
+
+				for _, id in ipairs(body.expectedPlaceIds) do
+					if id == game.PlaceId then
+						foundId = true
+						break
+					end
+				end
+
+				if not foundId then
+					local idList = {}
+					for _, id in ipairs(body.expectedPlaceIds) do
+						table.insert(idList, "- " .. tostring(id))
+					end
+
+					local message = (
+						"Found a Rojo server, but its project is set to only be used with a specific list of places." ..
+						"\nYour place ID is %s, but needs to be one of these:" ..
+						"\n%s" ..
+						"\n\nTo change this list, edit 'servePlaceIds' in roblox-project.json"
+					):format(
+						tostring(game.PlaceId),
+						table.concat(idList, "\n")
+					)
+
+					return Promise.reject(message)
+				end
+			end
+
+			self.serverId = body.serverId
+			self.partitionRoutes = body.partitions
+			self.rootInstanceId = body.rootInstanceId
 		end)
 end

 function ApiContext:read(ids)
-	local url = ("%s/api/read/%s"):format(self.__baseUrl, table.concat(ids, ","))
+	local url = ("%s/api/read/%s"):format(self.baseUrl, table.concat(ids, ","))

 	return Http.get(url)
 		:andThen(rejectFailedRequests)
-		:andThen(Http.Response.json)
-		:andThen(function(body)
-			if body.sessionId ~= self.__sessionId then
+		:andThen(function(response)
+			local body = response:json()
+
+			if body.serverId ~= self.serverId then
 				return Promise.reject("Server changed ID")
 			end

-			assert(validateApiRead(body))
-
 			return body
 		end)
 end

-function ApiContext:write(patch)
-	local url = ("%s/api/write"):format(self.__baseUrl)
-
-	local updated = {}
-	for _, update in ipairs(patch.updated) do
-		local fixedUpdate = {
-			id = update.id,
-			changedName = update.changedName,
-		}
-
-		if next(update.changedProperties) ~= nil then
-			fixedUpdate.changedProperties = update.changedProperties
-		end
-
-		table.insert(updated, fixedUpdate)
+function ApiContext:retrieveMessages(initialCursor)
+	if initialCursor ~= nil then
+		self.messageCursor = initialCursor
 	end

-	-- Only add the 'added' field if the table is non-empty, or else Roblox's
-	-- JSON implementation will turn the table into an array instead of an
-	-- object, causing API validation to fail.
-	local added
-	if next(patch.added) ~= nil then
-		added = patch.added
-	end
-
-	local body = {
-		sessionId = self.__sessionId,
-		removed = patch.removed,
-		updated = updated,
-		added = added,
-	}
-
-	body = Http.jsonEncode(body)
-
-	return Http.post(url, body)
-		:andThen(rejectFailedRequests)
-		:andThen(Http.Response.json)
-		:andThen(function(body)
-			Log.info("Write response: {:?}", body)
-
-			return body
-		end)
-end
-
-function ApiContext:retrieveMessages()
-	local url = ("%s/api/subscribe/%s"):format(self.__baseUrl, self.__messageCursor)
+	local url = ("%s/api/subscribe/%s"):format(self.baseUrl, self.messageCursor)

 	local function sendRequest()
 		return Http.get(url)
 			:catch(function(err)
-				if err.type == Http.Error.Kind.Timeout then
-					if self.__connected then
-						return sendRequest()
-					else
-						return hangingPromise()
-					end
+				if err.type == HttpError.Error.Timeout then
+					return sendRequest()
 				end

 				return Promise.reject(err)
@@ -219,15 +155,14 @@ function ApiContext:retrieveMessages()

 	return sendRequest()
 		:andThen(rejectFailedRequests)
-		:andThen(Http.Response.json)
-		:andThen(function(body)
-			if body.sessionId ~= self.__sessionId then
+		:andThen(function(response)
+			local body = response:json()
+
+			if body.serverId ~= self.serverId then
 				return Promise.reject("Server changed ID")
 			end

-			assert(validateApiSubscribe(body))
-
-			self:setMessageCursor(body.messageCursor)
+			self.messageCursor = body.messageCursor

 			return body.messages
 		end)
--- a/plugin/src/Assets.lua
+++ b/plugin/src/Assets.lua
@@ -1,7 +1,11 @@
-local strict = require(script.Parent.strict)
-
 local Assets = {
-	Sprites = {},
+	Sprites = {
+		WhiteCross = {
+			asset = "rbxassetid://2738712459",
+			offset = Vector2.new(190, 318),
+			size = Vector2.new(18, 18),
+		},
+	},
 	Slices = {
 		RoundBox = {
 			asset = "rbxassetid://2773204550",
@@ -20,7 +24,11 @@ local Assets = {
 }

 local function guardForTypos(name, map)
-	strict(name, map)
+	setmetatable(map, {
+		__index = function(_, key)
+			error(("%q is not a valid member of %s"):format(tostring(key), name), 2)
+		end
+	})

 	for key, child in pairs(map) do
 		if type(child) == "table" then
--- a/plugin/src/Components/App.lua
+++ b/plugin/src/Components/App.lua
@@ -2,22 +2,17 @@ local Rojo = script:FindFirstAncestor("Rojo")
 local Plugin = Rojo.Plugin

 local Roact = require(Rojo.Roact)
-local Log = require(Rojo.Log)

-local ApiContext = require(Plugin.ApiContext)
 local Assets = require(Plugin.Assets)
 local Config = require(Plugin.Config)
 local DevSettings = require(Plugin.DevSettings)
-local ServeSession = require(Plugin.ServeSession)
+local Logging = require(Plugin.Logging)
+local Session = require(Plugin.Session)
 local Version = require(Plugin.Version)
 local preloadAssets = require(Plugin.preloadAssets)
-local strict = require(Plugin.strict)

-local Theme = require(Plugin.Components.Theme)
 local ConnectPanel = require(Plugin.Components.ConnectPanel)
-local ConnectingPanel = require(Plugin.Components.ConnectingPanel)
 local ConnectionActivePanel = require(Plugin.Components.ConnectionActivePanel)
-local ErrorPanel = require(Plugin.Components.ErrorPanel)

 local e = Roact.createElement

@@ -31,7 +26,7 @@ local function showUpgradeMessage(lastVersion)
 		Version.display(Config.version), Config.expectedServerVersionString
 	)

-	Log.info(message)
+	Logging.info(message)
 end

 --[[
@@ -57,23 +52,26 @@ local function checkUpgrade(plugin)
 	plugin:SetSetting("LastRojoVersion", Config.version)
 end

-local AppStatus = strict("AppStatus", {
-	NotStarted = "NotStarted",
-	Connecting = "Connecting",
+local SessionStatus = {
+	Disconnected = "Disconnected",
 	Connected = "Connected",
-	Error = "Error",
+}
+
+setmetatable(SessionStatus, {
+	__index = function(_, key)
+		error(("%q is not a valid member of SessionStatus"):format(tostring(key)), 2)
+	end,
 })

 local App = Roact.Component:extend("App")

 function App:init()
 	self:setState({
-		appStatus = AppStatus.NotStarted,
-		errorMessage = nil,
+		sessionStatus = SessionStatus.Disconnected,
 	})

 	self.signals = {}
-	self.serveSession = nil
+	self.currentSession = nil

 	self.displayedVersion = DevSettings:isEnabled()
 		and Config.codename
@@ -98,7 +96,7 @@ function App:init()
 		360, 190 -- Minimum size
 	)

-	self.dockWidget = self.props.plugin:CreateDockWidgetPluginGui("Rojo-" .. self.displayedVersion, widgetInfo)
+	self.dockWidget = self.props.plugin:CreateDockWidgetPluginGui("Rojo-0.5.x", widgetInfo)
 	self.dockWidget.Name = "Rojo " .. self.displayedVersion
 	self.dockWidget.Title = "Rojo " .. self.displayedVersion
 	self.dockWidget.AutoLocalize = false
@@ -109,115 +107,78 @@ function App:init()
 	end)
 end

-function App:startSession(address, port)
-	Log.trace("Starting new session")
-
-	local baseUrl = ("http://%s:%s"):format(address, port)
-	self.serveSession = ServeSession.new({
-		apiContext = ApiContext.new(baseUrl),
-	})
-
-	self.serveSession:onStatusChanged(function(status, details)
-		if status == ServeSession.Status.Connecting then
-			self:setState({
-				appStatus = AppStatus.Connecting,
-			})
-		elseif status == ServeSession.Status.Connected then
-			self:setState({
-				appStatus = AppStatus.Connected,
-			})
-		elseif status == ServeSession.Status.Disconnected then
-			self.serveSession = nil
-
-			-- Details being present indicates that this
-			-- disconnection was from an error.
-			if details ~= nil then
-				Log.warn("Disconnected from an error: {}", details)
-
-				self:setState({
-					appStatus = AppStatus.Error,
-					errorMessage = tostring(details),
-				})
-			else
-				self:setState({
-					appStatus = AppStatus.NotStarted,
-				})
-			end
-		end
-	end)
-
-	self.serveSession:start()
-end
-
 function App:render()
 	local children

-	if self.state.appStatus == AppStatus.NotStarted then
-		children = {
-			ConnectPanel = e(ConnectPanel, {
-				startSession = function(address, port)
-					self:startSession(address, port)
-				end,
-				cancel = function()
-					Log.trace("Canceling session configuration")
-
-					self:setState({
-						appStatus = AppStatus.NotStarted,
-					})
-				end,
-			}),
-		}
-	elseif self.state.appStatus == AppStatus.Connecting then
-		children = {
-			ConnectingPanel = Roact.createElement(ConnectingPanel),
-		}
-	elseif self.state.appStatus == AppStatus.Connected then
+	if self.state.sessionStatus == SessionStatus.Connected then
 		children = {
 			ConnectionActivePanel = e(ConnectionActivePanel, {
 				stopSession = function()
-					Log.trace("Disconnecting session")
+					Logging.trace("Disconnecting session")

-					self.serveSession:stop()
-					self.serveSession = nil
+					self.currentSession:disconnect()
+					self.currentSession = nil
 					self:setState({
-						appStatus = AppStatus.NotStarted,
+						sessionStatus = SessionStatus.Disconnected,
 					})

-					Log.trace("Session terminated by user")
+					Logging.trace("Session terminated by user")
 				end,
 			}),
 		}
-	elseif self.state.appStatus == AppStatus.Error then
+	elseif self.state.sessionStatus == SessionStatus.Disconnected then
 		children = {
-			ErrorPanel = Roact.createElement(ErrorPanel, {
-				errorMessage = self.state.errorMessage,
-				onDismiss = function()
+			ConnectPanel = e(ConnectPanel, {
+				startSession = function(address, port)
+					Logging.trace("Starting new session")
+
+					local success, session = Session.new({
+						address = address,
+						port = port,
+						onError = function(message)
+							Logging.warn("Rojo session terminated because of an error:\n%s", tostring(message))
+							self.currentSession = nil
+
+							self:setState({
+								sessionStatus = SessionStatus.Disconnected,
+							})
+						end
+					})
+
+					if success then
+						self.currentSession = session
+						self:setState({
+							sessionStatus = SessionStatus.Connected,
+						})
+					end
+				end,
+				cancel = function()
+					Logging.trace("Canceling session configuration")
+
 					self:setState({
-						appStatus = AppStatus.NotStarted,
+						sessionStatus = SessionStatus.Disconnected,
 					})
 				end,
 			}),
 		}
 	end

-	return Roact.createElement(Theme.StudioProvider, nil, {
-		UI = Roact.createElement(Roact.Portal, {
-			target = self.dockWidget,
-		}, children),
-	})
+	return Roact.createElement(Roact.Portal, {
+		target = self.dockWidget,
+	}, children)
 end

 function App:didMount()
-	Log.trace("Rojo {} initializing", self.displayedVersion)
+	Logging.trace("Rojo %s initializing", self.displayedVersion)

 	checkUpgrade(self.props.plugin)
 	preloadAssets()
 end

 function App:willUnmount()
-	if self.serveSession ~= nil then
-		self.serveSession:stop()
-		self.serveSession = nil
+	if self.currentSession ~= nil then
+		self.currentSession:disconnect()
+		self.currentSession = nil
 	end

 	for _, signal in pairs(self.signals) do
--- a/plugin/src/Components/ConnectPanel.lua
+++ b/plugin/src/Components/ConnectPanel.lua
@@ -4,8 +4,8 @@ local Plugin = Rojo.Plugin
 local Roact = require(Rojo.Roact)

 local Config = require(Plugin.Config)
+local Theme = require(Plugin.Theme)

-local Theme = require(Plugin.Components.Theme)
 local Panel = require(Plugin.Components.Panel)
 local FitList = require(Plugin.Components.FitList)
 local FitText = require(Plugin.Components.FitText)
@@ -26,138 +26,136 @@ end
 function ConnectPanel:render()
 	local startSession = self.props.startSession

-	return Theme.with(function(theme)
-		return e(Panel, nil, {
-			Layout = e("UIListLayout", {
-				SortOrder = Enum.SortOrder.LayoutOrder,
-				HorizontalAlignment = Enum.HorizontalAlignment.Center,
-				VerticalAlignment = Enum.VerticalAlignment.Center,
-			}),
+	return e(Panel, nil, {
+		Layout = e("UIListLayout", {
+			SortOrder = Enum.SortOrder.LayoutOrder,
+			HorizontalAlignment = Enum.HorizontalAlignment.Center,
+			VerticalAlignment = Enum.VerticalAlignment.Center,
+		}),

-			Inputs = e(FitList, {
+		Inputs = e(FitList, {
+			containerProps = {
+				BackgroundTransparency = 1,
+				LayoutOrder = 1,
+			},
+			layoutProps = {
+				FillDirection = Enum.FillDirection.Horizontal,
+				Padding = UDim.new(0, 8),
+			},
+			paddingProps = {
+				PaddingTop = UDim.new(0, 20),
+				PaddingBottom = UDim.new(0, 10),
+				PaddingLeft = UDim.new(0, 24),
+				PaddingRight = UDim.new(0, 24),
+			},
+		}, {
+			Address = e(FitList, {
 				containerProps = {
-					BackgroundTransparency = 1,
 					LayoutOrder = 1,
-				},
-				layoutProps = {
-					FillDirection = Enum.FillDirection.Horizontal,
-					Padding = UDim.new(0, 8),
-				},
-				paddingProps = {
-					PaddingTop = UDim.new(0, 20),
-					PaddingBottom = UDim.new(0, 10),
-					PaddingLeft = UDim.new(0, 24),
-					PaddingRight = UDim.new(0, 24),
-				},
-			}, {
-				Address = e(FitList, {
-					containerProps = {
-						LayoutOrder = 1,
-						BackgroundTransparency = 1,
-					},
-					layoutProps = {
-						Padding = UDim.new(0, 4),
-					},
-				}, {
-					Label = e(FitText, {
-						Kind = "TextLabel",
-						LayoutOrder = 1,
-						BackgroundTransparency = 1,
-						TextXAlignment = Enum.TextXAlignment.Left,
-						Font = theme.TitleFont,
-						TextSize = 20,
-						Text = "Address",
-						TextColor3 = theme.Text1,
-					}),
-
-					Input = e(FormTextInput, {
-						layoutOrder = 2,
-						width = UDim.new(0, 220),
-						value = self.state.address,
-						placeholderValue = Config.defaultHost,
-						onValueChange = function(newValue)
-							self:setState({
-								address = newValue,
-							})
-						end,
-					}),
-				}),
-
-				Port = e(FitList, {
-					containerProps = {
-						LayoutOrder = 2,
-						BackgroundTransparency = 1,
-					},
-					layoutProps = {
-						Padding = UDim.new(0, 4),
-					},
-				}, {
-					Label = e(FitText, {
-						Kind = "TextLabel",
-						LayoutOrder = 1,
-						BackgroundTransparency = 1,
-						TextXAlignment = Enum.TextXAlignment.Left,
-						Font = theme.TitleFont,
-						TextSize = 20,
-						Text = "Port",
-						TextColor3 = theme.Text1,
-					}),
-
-					Input = e(FormTextInput, {
-						layoutOrder = 2,
-						width = UDim.new(0, 80),
-						value = self.state.port,
-						placeholderValue = Config.defaultPort,
-						onValueChange = function(newValue)
-							self:setState({
-								port = newValue,
-							})
-						end,
-					}),
-				}),
-			}),
-
-			Buttons = e(FitList, {
-				fitAxes = "Y",
-				containerProps = {
 					BackgroundTransparency = 1,
-					LayoutOrder = 2,
-					Size = UDim2.new(1, 0, 0, 0),
 				},
 				layoutProps = {
-					FillDirection = Enum.FillDirection.Horizontal,
-					HorizontalAlignment = Enum.HorizontalAlignment.Right,
-					Padding = UDim.new(0, 8),
-				},
-				paddingProps = {
-					PaddingTop = UDim.new(0, 0),
-					PaddingBottom = UDim.new(0, 20),
-					PaddingLeft = UDim.new(0, 24),
-					PaddingRight = UDim.new(0, 24),
+					Padding = UDim.new(0, 4),
 				},
 			}, {
-				e(FormButton, {
+				Label = e(FitText, {
+					Kind = "TextLabel",
+					LayoutOrder = 1,
+					BackgroundTransparency = 1,
+					TextXAlignment = Enum.TextXAlignment.Left,
+					Font = Theme.TitleFont,
+					TextSize = 20,
+					Text = "Address",
+					TextColor3 = Theme.PrimaryColor,
+				}),
+
+				Input = e(FormTextInput, {
 					layoutOrder = 2,
-					text = "Connect",
-					onClick = function()
-						if startSession ~= nil then
-							local address = self.state.address
-							if address:len() == 0 then
-								address = Config.defaultHost
-							end
-
-							local port = self.state.port
-							if port:len() == 0 then
-								port = Config.defaultPort
-							end
-
-							startSession(address, port)
-						end
+					width = UDim.new(0, 220),
+					value = self.state.address,
+					placeholderValue = Config.defaultHost,
+					onValueChange = function(newValue)
+						self:setState({
+							address = newValue,
+						})
 					end,
 				}),
 			}),
-		})
-	end)
+
+			Port = e(FitList, {
+				containerProps = {
+					LayoutOrder = 2,
+					BackgroundTransparency = 1,
+				},
+				layoutProps = {
+					Padding = UDim.new(0, 4),
+				},
+			}, {
+				Label = e(FitText, {
+					Kind = "TextLabel",
+					LayoutOrder = 1,
+					BackgroundTransparency = 1,
+					TextXAlignment = Enum.TextXAlignment.Left,
+					Font = Theme.TitleFont,
+					TextSize = 20,
+					Text = "Port",
+					TextColor3 = Theme.PrimaryColor,
+				}),
+
+				Input = e(FormTextInput, {
+					layoutOrder = 2,
+					width = UDim.new(0, 80),
+					value = self.state.port,
+					placeholderValue = Config.defaultPort,
+					onValueChange = function(newValue)
+						self:setState({
+							port = newValue,
+						})
+					end,
+				}),
+			}),
+		}),
+
+		Buttons = e(FitList, {
+			fitAxes = "Y",
+			containerProps = {
+				BackgroundTransparency = 1,
+				LayoutOrder = 2,
+				Size = UDim2.new(1, 0, 0, 0),
+			},
+			layoutProps = {
+				FillDirection = Enum.FillDirection.Horizontal,
+				HorizontalAlignment = Enum.HorizontalAlignment.Right,
+				Padding = UDim.new(0, 8),
+			},
+			paddingProps = {
+				PaddingTop = UDim.new(0, 0),
+				PaddingBottom = UDim.new(0, 20),
+				PaddingLeft = UDim.new(0, 24),
+				PaddingRight = UDim.new(0, 24),
+			},
+		}, {
+			e(FormButton, {
+				layoutOrder = 2,
+				text = "Connect",
+				onClick = function()
+					if startSession ~= nil then
+						local address = self.state.address
+						if address:len() == 0 then
+							address = Config.defaultHost
+						end
+
+						local port = self.state.port
+						if port:len() == 0 then
+							port = Config.defaultPort
+						end
+
+						startSession(address, port)
+					end
+				end,
+			}),
+		}),
+	})
 end

 return ConnectPanel
--- a/plugin/src/Components/ConnectingPanel.lua
+++ b/plugin/src/Components/ConnectingPanel.lua
@@ -1,35 +0,0 @@
-local Roact = require(script:FindFirstAncestor("Rojo").Roact)
-
-local Plugin = script:FindFirstAncestor("Plugin")
-
-local Theme = require(Plugin.Components.Theme)
-local Panel = require(Plugin.Components.Panel)
-local FitText = require(Plugin.Components.FitText)
-
-local e = Roact.createElement
-
-local ConnectingPanel = Roact.Component:extend("ConnectingPanel")
-
-function ConnectingPanel:render()
-	return Theme.with(function(theme)
-		return e(Panel, nil, {
-			Layout = Roact.createElement("UIListLayout", {
-				HorizontalAlignment = Enum.HorizontalAlignment.Center,
-				VerticalAlignment = Enum.VerticalAlignment.Center,
-				SortOrder = Enum.SortOrder.LayoutOrder,
-				Padding = UDim.new(0, 8),
-			}),
-
-			Text = e(FitText, {
-				Padding = Vector2.new(12, 6),
-				Font = theme.ButtonFont,
-				TextSize = 18,
-				Text = "Connecting...",
-				TextColor3 = theme.Text1,
-				BackgroundTransparency = 1,
-			}),
-		})
-	end)
-end
-
-return ConnectingPanel
--- a/plugin/src/Components/ConnectionActivePanel.lua
+++ b/plugin/src/Components/ConnectionActivePanel.lua
@@ -2,7 +2,8 @@ local Roact = require(script:FindFirstAncestor("Rojo").Roact)

 local Plugin = script:FindFirstAncestor("Plugin")

-local Theme = require(Plugin.Components.Theme)
+local Theme = require(Plugin.Theme)
+
 local Panel = require(Plugin.Components.Panel)
 local FitText = require(Plugin.Components.FitText)
 local FormButton = require(Plugin.Components.FormButton)
@@ -14,34 +15,32 @@ local ConnectionActivePanel = Roact.Component:extend("ConnectionActivePanel")
 function ConnectionActivePanel:render()
 	local stopSession = self.props.stopSession

-	return Theme.with(function(theme)
-		return e(Panel, nil, {
-			Layout = Roact.createElement("UIListLayout", {
-				HorizontalAlignment = Enum.HorizontalAlignment.Center,
-				VerticalAlignment = Enum.VerticalAlignment.Center,
-				SortOrder = Enum.SortOrder.LayoutOrder,
-				Padding = UDim.new(0, 8),
-			}),
+	return e(Panel, nil, {
+		Layout = Roact.createElement("UIListLayout", {
+			HorizontalAlignment = Enum.HorizontalAlignment.Center,
+			VerticalAlignment = Enum.VerticalAlignment.Center,
+			SortOrder = Enum.SortOrder.LayoutOrder,
+			Padding = UDim.new(0, 8),
+		}),

-			Text = e(FitText, {
-				Padding = Vector2.new(12, 6),
-				Font = theme.ButtonFont,
-				TextSize = 18,
-				Text = "Connected to Live-Sync Server",
-				TextColor3 = theme.Text1,
-				BackgroundTransparency = 1,
-			}),
+		Text = e(FitText, {
+			Padding = Vector2.new(12, 6),
+			Font = Theme.ButtonFont,
+			TextSize = 18,
+			Text = "Connected to Live-Sync Server",
+			TextColor3 = Theme.PrimaryColor,
+			BackgroundTransparency = 1,
+		}),

-			DisconnectButton = e(FormButton, {
-				layoutOrder = 2,
-				text = "Disconnect",
-				secondary = true,
-				onClick = function()
-					stopSession()
-				end,
-			}),
-		})
-	end)
+		DisconnectButton = e(FormButton, {
+			layoutOrder = 2,
+			text = "Disconnect",
+			secondary = true,
+			onClick = function()
+				stopSession()
+			end,
+		}),
+	})
 end

 return ConnectionActivePanel
--- a/plugin/src/Components/ErrorPanel.lua
+++ b/plugin/src/Components/ErrorPanel.lua
@@ -1,70 +0,0 @@
-local Roact = require(script:FindFirstAncestor("Rojo").Roact)
-
-local Plugin = script:FindFirstAncestor("Plugin")
-
-local Theme = require(Plugin.Components.Theme)
-local Panel = require(Plugin.Components.Panel)
-local FitText = require(Plugin.Components.FitText)
-local FitScrollingFrame = require(Plugin.Components.FitScrollingFrame)
-local FormButton = require(Plugin.Components.FormButton)
-
-local e = Roact.createElement
-
-local BUTTON_HEIGHT = 60
-local HOR_PADDING = 8
-
-local ErrorPanel = Roact.Component:extend("ErrorPanel")
-
-function ErrorPanel:render()
-	local errorMessage = self.props.errorMessage
-	local onDismiss = self.props.onDismiss
-
-	return Theme.with(function(theme)
-		return e(Panel, nil, {
-			Layout = Roact.createElement("UIListLayout", {
-				HorizontalAlignment = Enum.HorizontalAlignment.Center,
-				VerticalAlignment = Enum.VerticalAlignment.Center,
-				SortOrder = Enum.SortOrder.LayoutOrder,
-				Padding = UDim.new(0, 8),
-			}),
-
-			ErrorContainer = e(FitScrollingFrame, {
-				containerProps = {
-					BackgroundTransparency = 1,
-					BorderSizePixel = 0,
-					Size = UDim2.new(1, -HOR_PADDING * 2, 1, -BUTTON_HEIGHT),
-					Position = UDim2.new(0, HOR_PADDING, 0, 0),
-					ScrollBarImageColor3 = theme.Text1,
-					VerticalScrollBarInset = Enum.ScrollBarInset.ScrollBar,
-					ScrollingDirection = Enum.ScrollingDirection.Y,
-				},
-			}, {
-				Text = e(FitText, {
-					Size = UDim2.new(1, 0, 0, 0),
-
-					LayoutOrder = 1,
-					TextXAlignment = Enum.TextXAlignment.Left,
-					TextYAlignment = Enum.TextYAlignment.Top,
-					FitAxis = "Y",
-					Font = theme.ButtonFont,
-					TextSize = 18,
-					Text = errorMessage,
-					TextWrap = true,
-					TextColor3 = theme.Text1,
-					BackgroundTransparency = 1,
-				}),
-			}),
-
-			DismissButton = e(FormButton, {
-				layoutOrder = 2,
-				text = "Dismiss",
-				secondary = true,
-				onClick = function()
-					onDismiss()
-				end,
-			}),
-		})
-	end)
-end
-
-return ErrorPanel
--- a/plugin/src/Components/FitScrollingFrame.lua
+++ b/plugin/src/Components/FitScrollingFrame.lua
@@ -1,33 +0,0 @@
-local Roact = require(script:FindFirstAncestor("Rojo").Roact)
-
-local Dictionary = require(script.Parent.Parent.Dictionary)
-
-local e = Roact.createElement
-
-local FitScrollingFrame = Roact.Component:extend("FitScrollingFrame")
-
-function FitScrollingFrame:init()
-	self.sizeBinding, self.setSize = Roact.createBinding(UDim2.new())
-end
-
-function FitScrollingFrame:render()
-	local containerProps = self.props.containerProps
-	local layoutProps = self.props.layoutProps
-
-	local children = Dictionary.merge(self.props[Roact.Children], {
-		["$Layout"] = e("UIListLayout", Dictionary.merge({
-			SortOrder = Enum.SortOrder.LayoutOrder,
-			[Roact.Change.AbsoluteContentSize] = function(instance)
-				self.setSize(UDim2.new(0, 0, 0, instance.AbsoluteContentSize.Y))
-			end,
-		}, layoutProps)),
-	})
-
-	local fullContainerProps = Dictionary.merge(containerProps, {
-		CanvasSize = self.sizeBinding,
-	})
-
-	return e("ScrollingFrame", fullContainerProps, children)
-end
-
-return FitScrollingFrame
--- a/plugin/src/Components/FitText.lua
+++ b/plugin/src/Components/FitText.lua
@@ -9,7 +9,6 @@ local e = Roact.createElement
 local FitText = Roact.Component:extend("FitText")

 function FitText:init()
-	self.ref = Roact.createRef()
 	self.sizeBinding, self.setSize = Roact.createBinding(UDim2.new())
 end

@@ -17,15 +16,10 @@ function FitText:render()
 	local kind = self.props.Kind or "TextLabel"

 	local containerProps = Dictionary.merge(self.props, {
-		FitAxis = Dictionary.None,
 		Kind = Dictionary.None,
 		Padding = Dictionary.None,
 		MinSize = Dictionary.None,
-		Size = self.sizeBinding,
-		[Roact.Ref] = self.ref,
-		[Roact.Change.AbsoluteSize] = function()
-			self:updateTextMeasurements()
-		end
+		Size = self.sizeBinding
 	})

 	return e(kind, containerProps)
@@ -42,45 +36,15 @@ end
 function FitText:updateTextMeasurements()
 	local minSize = self.props.MinSize or Vector2.new(0, 0)
 	local padding = self.props.Padding or Vector2.new(0, 0)
-	local fitAxis = self.props.FitAxis or "XY"
-	local baseSize = self.props.Size

 	local text = self.props.Text or ""
 	local font = self.props.Font or Enum.Font.Legacy
 	local textSize = self.props.TextSize or 12

-	local containerSize = self.ref.current.AbsoluteSize
-
-	local textBounds
-
-	if fitAxis == "XY" then
-		textBounds = Vector2.new(9e6, 9e6)
-	elseif fitAxis == "X" then
-		textBounds = Vector2.new(9e6, containerSize.Y - padding.Y * 2)
-	elseif fitAxis == "Y" then
-		textBounds = Vector2.new(containerSize.X - padding.X * 2, 9e6)
-	end
-
-	local measuredText = TextService:GetTextSize(text, textSize, font, textBounds)
-
-	local computedX = math.max(minSize.X, padding.X * 2 + measuredText.X)
-	local computedY = math.max(minSize.Y, padding.Y * 2 + measuredText.Y)
-
-	local totalSize
-
-	if fitAxis == "XY" then
-		totalSize = UDim2.new(
-			0, computedX,
-			0, computedY)
-	elseif fitAxis == "X" then
-		totalSize = UDim2.new(
-			0, computedX,
-			baseSize.Y.Scale, baseSize.Y.Offset)
-	elseif fitAxis == "Y" then
-		totalSize = UDim2.new(
-			baseSize.X.Scale, baseSize.X.Offset,
-			0, computedY)
-	end
+	local measuredText = TextService:GetTextSize(text, textSize, font, Vector2.new(9e6, 9e6))
+	local totalSize = UDim2.new(
+		0, math.max(minSize.X, padding.X * 2 + measuredText.X),
+		0, math.max(minSize.Y, padding.Y * 2 + measuredText.Y))

 	self.setSize(totalSize)
 end
--- a/plugin/src/Components/FormButton.lua
+++ b/plugin/src/Components/FormButton.lua
@@ -4,7 +4,7 @@ local Plugin = Rojo.Plugin
 local Roact = require(Rojo.Roact)

 local Assets = require(Plugin.Assets)
-local Theme = require(Plugin.Components.Theme)
+local Theme = require(Plugin.Theme)
 local FitList = require(Plugin.Components.FitList)
 local FitText = require(Plugin.Components.FitText)

@@ -20,45 +20,43 @@ local function FormButton(props)
 	local textColor
 	local backgroundColor

-	return Theme.with(function(theme)
-		if props.secondary then
-			textColor = theme.Brand1
-			backgroundColor = theme.Background2
-		else
-			textColor = theme.TextOnAccent
-			backgroundColor = theme.Brand1
-		end
+	if props.secondary then
+		textColor = Theme.AccentColor
+		backgroundColor = Theme.SecondaryColor
+	else
+		textColor = Theme.SecondaryColor
+		backgroundColor = Theme.AccentColor
+	end

-		return e(FitList, {
-			containerKind = "ImageButton",
-			containerProps = {
-				LayoutOrder = layoutOrder,
-				BackgroundTransparency = 1,
-				Image = RoundBox.asset,
-				ImageRectOffset = RoundBox.offset,
-				ImageRectSize = RoundBox.size,
-				SliceCenter = RoundBox.center,
-				ScaleType = Enum.ScaleType.Slice,
-				ImageColor3 = backgroundColor,
+	return e(FitList, {
+		containerKind = "ImageButton",
+		containerProps = {
+			LayoutOrder = layoutOrder,
+			BackgroundTransparency = 1,
+			Image = RoundBox.asset,
+			ImageRectOffset = RoundBox.offset,
+			ImageRectSize = RoundBox.size,
+			SliceCenter = RoundBox.center,
+			ScaleType = Enum.ScaleType.Slice,
+			ImageColor3 = backgroundColor,

-				[Roact.Event.Activated] = function()
-					if onClick ~= nil then
-						onClick()
-					end
-				end,
-			},
-		}, {
-			Text = e(FitText, {
-				Kind = "TextLabel",
-				Text = text,
-				TextSize = 18,
-				TextColor3 = textColor,
-				Font = theme.ButtonFont,
-				Padding = Vector2.new(16, 8),
-				BackgroundTransparency = 1,
-			}),
-		})
-	end)
+			[Roact.Event.Activated] = function()
+				if onClick ~= nil then
+					onClick()
+				end
+			end,
+		},
+	}, {
+		Text = e(FitText, {
+			Kind = "TextLabel",
+			Text = text,
+			TextSize = 18,
+			TextColor3 = textColor,
+			Font = Theme.ButtonFont,
+			Padding = Vector2.new(16, 8),
+			BackgroundTransparency = 1,
+		}),
+	})
 end

 return FormButton
--- a/plugin/src/Components/FormTextInput.lua
+++ b/plugin/src/Components/FormTextInput.lua
@@ -4,7 +4,7 @@ local Plugin = Rojo.Plugin
 local Roact = require(Rojo.Roact)

 local Assets = require(Plugin.Assets)
-local Theme = require(Plugin.Components.Theme)
+local Theme = require(Plugin.Theme)

 local e = Roact.createElement

@@ -35,48 +35,46 @@ function FormTextInput:render()
 		shownPlaceholder = placeholderValue
 	end

-	return Theme.with(function(theme)
-		return e("ImageLabel", {
-			LayoutOrder = layoutOrder,
-			Image = RoundBox.asset,
-			ImageRectOffset = RoundBox.offset,
-			ImageRectSize = RoundBox.size,
-			ScaleType = Enum.ScaleType.Slice,
-			SliceCenter = RoundBox.center,
-			ImageColor3 = theme.Background2,
-			Size = UDim2.new(width.Scale, width.Offset, 0, TEXT_SIZE + PADDING * 2),
+	return e("ImageLabel", {
+		LayoutOrder = layoutOrder,
+		Image = RoundBox.asset,
+		ImageRectOffset = RoundBox.offset,
+		ImageRectSize = RoundBox.size,
+		ScaleType = Enum.ScaleType.Slice,
+		SliceCenter = RoundBox.center,
+		ImageColor3 = Theme.SecondaryColor,
+		Size = UDim2.new(width.Scale, width.Offset, 0, TEXT_SIZE + PADDING * 2),
+		BackgroundTransparency = 1,
+	}, {
+		InputInner = e("TextBox", {
 			BackgroundTransparency = 1,
-		}, {
-			InputInner = e("TextBox", {
-				BackgroundTransparency = 1,
-				Size = UDim2.new(1, -PADDING * 2, 1, -PADDING * 2),
-				Position = UDim2.new(0.5, 0, 0.5, 0),
-				AnchorPoint = Vector2.new(0.5, 0.5),
-				Font = theme.InputFont,
-				ClearTextOnFocus = false,
-				TextXAlignment = Enum.TextXAlignment.Center,
-				TextSize = TEXT_SIZE,
-				Text = value,
-				PlaceholderText = shownPlaceholder,
-				PlaceholderColor3 = theme.Text2,
-				TextColor3 = theme.Text1,
+			Size = UDim2.new(1, -PADDING * 2, 1, -PADDING * 2),
+			Position = UDim2.new(0.5, 0, 0.5, 0),
+			AnchorPoint = Vector2.new(0.5, 0.5),
+			Font = Theme.InputFont,
+			ClearTextOnFocus = false,
+			TextXAlignment = Enum.TextXAlignment.Center,
+			TextSize = TEXT_SIZE,
+			Text = value,
+			PlaceholderText = shownPlaceholder,
+			PlaceholderColor3 = Theme.LightTextColor,
+			TextColor3 = Theme.PrimaryColor,

-				[Roact.Change.Text] = function(rbx)
-					onValueChange(rbx.Text)
-				end,
-				[Roact.Event.Focused] = function()
-					self:setState({
-						focused = true,
-					})
-				end,
-				[Roact.Event.FocusLost] = function()
-					self:setState({
-						focused = false,
-					})
-				end,
-			}),
-		})
-	end)
+			[Roact.Change.Text] = function(rbx)
+				onValueChange(rbx.Text)
+			end,
+			[Roact.Event.Focused] = function()
+				self:setState({
+					focused = true,
+				})
+			end,
+			[Roact.Event.FocusLost] = function()
+				self:setState({
+					focused = false,
+				})
+			end,
+		}),
+	})
 end

 return FormTextInput
--- a/plugin/src/Components/Panel.lua
+++ b/plugin/src/Components/Panel.lua
@@ -3,7 +3,6 @@ local Roact = require(script:FindFirstAncestor("Rojo").Roact)
 local Plugin = script:FindFirstAncestor("Plugin")

 local RojoFooter = require(Plugin.Components.RojoFooter)
-local Theme = require(Plugin.Components.Theme)

 local e = Roact.createElement

@@ -14,25 +13,22 @@ function Panel:init()
 end

 function Panel:render()
-	return Theme.with(function(theme)
-		return e("Frame", {
-			Size = UDim2.new(1, 0, 1, 0),
+	return e("Frame", {
+		Size = UDim2.new(1, 0, 1, 0),
+		BackgroundTransparency = 1,
+	}, {
+		Layout = Roact.createElement("UIListLayout", {
+			HorizontalAlignment = Enum.HorizontalAlignment.Center,
+			SortOrder = Enum.SortOrder.LayoutOrder,
+		}),
+
+		Body = e("Frame", {
+			Size = UDim2.new(0, 360, 1, -32),
 			BackgroundTransparency = 1,
-		}, {
-			Layout = Roact.createElement("UIListLayout", {
-				HorizontalAlignment = Enum.HorizontalAlignment.Center,
-				SortOrder = Enum.SortOrder.LayoutOrder,
-			}),
+		}, self.props[Roact.Children]),

-			Body = e("Frame", {
-				Size = UDim2.new(0, 360, 1, -32),
-				BackgroundColor3 = theme.Background1,
-				BorderSizePixel = 0,
-			}, self.props[Roact.Children]),
-
-			Footer = e(RojoFooter),
-		})
-	end)
+		Footer = e(RojoFooter),
+	})
 end

 return Panel
--- a/plugin/src/Components/RojoFooter.lua
+++ b/plugin/src/Components/RojoFooter.lua
@@ -6,7 +6,9 @@ local Roact = require(Rojo.Roact)
 local Config = require(Plugin.Config)
 local Version = require(Plugin.Version)
 local Assets = require(Plugin.Assets)
-local Theme = require(Plugin.Components.Theme)
+local Theme = require(Plugin.Theme)
+
+local FitText = require(Plugin.Components.FitText)

 local e = Roact.createElement

@@ -18,53 +20,50 @@ function RojoFooter:init()
 end

 function RojoFooter:render()
-	return Theme.with(function(theme)
-		return e("Frame", {
-			LayoutOrder = 3,
-			Size = UDim2.new(1, 0, 0, 32),
-			BackgroundColor3 = theme.Background2,
-			BorderSizePixel = 0,
-			ZIndex = 2,
+	return e("Frame", {
+		LayoutOrder = 3,
+		Size = UDim2.new(1, 0, 0, 32),
+		BackgroundColor3 = Theme.SecondaryColor,
+		BorderSizePixel = 0,
+	}, {
+		Padding = e("UIPadding", {
+			PaddingTop = UDim.new(0, 4),
+			PaddingBottom = UDim.new(0, 4),
+			PaddingLeft = UDim.new(0, 8),
+			PaddingRight = UDim.new(0, 8),
+		}),
+
+		LogoContainer = e("Frame", {
+			BackgroundTransparency = 1,
+
+			Size = UDim2.new(0, 0, 0, 32),
 		}, {
-			Padding = e("UIPadding", {
-				PaddingTop = UDim.new(0, 4),
-				PaddingBottom = UDim.new(0, 4),
-				PaddingLeft = UDim.new(0, 8),
-				PaddingRight = UDim.new(0, 8),
-			}),
-
-			LogoContainer = e("Frame", {
+			Logo = e("ImageLabel", {
+				Image = Assets.Images.Logo,
+				Size = UDim2.new(0, 80, 0, 40),
+				ScaleType = Enum.ScaleType.Fit,
 				BackgroundTransparency = 1,
-
-				Size = UDim2.new(0, 0, 0, 32),
-			}, {
-				Logo = e("ImageLabel", {
-					Image = Assets.Images.Logo,
-					Size = UDim2.new(0, 80, 0, 40),
-					ScaleType = Enum.ScaleType.Fit,
-					BackgroundTransparency = 1,
-					Position = UDim2.new(0, 0, 1, -10),
-					AnchorPoint = Vector2.new(0, 1),
-				}),
+				Position = UDim2.new(0, 0, 1, -10),
+				AnchorPoint = Vector2.new(0, 1),
 			}),
+		}),

-			Version = e("TextLabel", {
-				Position = UDim2.new(1, 0, 0, 0),
-				Size = UDim2.new(0, 0, 1, 0),
-				AnchorPoint = Vector2.new(1, 0),
-				Font = theme.TitleFont,
-				TextSize = 18,
-				Text = Version.display(Config.version),
-				TextXAlignment = Enum.TextXAlignment.Right,
-				TextColor3 = theme.Text2,
-				BackgroundTransparency = 1,
+		Version = e("TextLabel", {
+			Position = UDim2.new(1, 0, 0, 0),
+			Size = UDim2.new(0, 0, 1, 0),
+			AnchorPoint = Vector2.new(1, 0),
+			Font = Theme.TitleFont,
+			TextSize = 18,
+			Text = Version.display(Config.version),
+			TextXAlignment = Enum.TextXAlignment.Right,
+			TextColor3 = Theme.LightTextColor,
+			BackgroundTransparency = 1,

-				[Roact.Change.AbsoluteSize] = function(rbx)
-					self.setFooterVersionSize(rbx.AbsoluteSize)
-				end,
-			}),
-		})
-	end)
+			[Roact.Change.AbsoluteSize] = function(rbx)
+				self.setFooterVersionSize(rbx.AbsoluteSize)
+			end,
+		}),
+	})
 end

 return RojoFooter
--- a/plugin/src/Components/Theme.lua
+++ b/plugin/src/Components/Theme.lua
@@ -1,104 +0,0 @@
--[[
-	Theming system taking advantage of Roact's new context API.
-
-	Doesn't use colors provided by Studio and instead just branches on theme
-	name. This isn't exactly best practice.
-]]
-
-local Studio = settings():GetService("Studio")
-
-local Rojo = script:FindFirstAncestor("Rojo")
-
-local Roact = require(Rojo.Roact)
-local Log = require(Rojo.Log)
-
-local strict = require(script.Parent.Parent.strict)
-
-local lightTheme = strict("Theme", {
-	ButtonFont = Enum.Font.GothamSemibold,
-	InputFont = Enum.Font.Code,
-	TitleFont = Enum.Font.GothamBold,
-	MainFont = Enum.Font.Gotham,
-
-	Brand1 = Color3.fromRGB(225, 56, 53),
-
-	Text1 = Color3.fromRGB(64, 64, 64),
-	Text2 = Color3.fromRGB(160, 160, 160),
-	TextOnAccent = Color3.fromRGB(235, 235, 235),
-
-	Background1 = Color3.fromRGB(255, 255, 255),
-	Background2 = Color3.fromRGB(235, 235, 235),
-})
-
-local darkTheme = strict("Theme", {
-	ButtonFont = Enum.Font.GothamSemibold,
-	InputFont = Enum.Font.Code,
-	TitleFont = Enum.Font.GothamBold,
-	MainFont = Enum.Font.Gotham,
-
-	Brand1 = Color3.fromRGB(225, 56, 53),
-
-	Text1 = Color3.fromRGB(235, 235, 235),
-	Text2 = Color3.fromRGB(200, 200, 200),
-	TextOnAccent = Color3.fromRGB(235, 235, 235),
-
-	Background1 = Color3.fromRGB(48, 48, 48),
-	Background2 = Color3.fromRGB(64, 64, 64),
-})
-
-local Context = Roact.createContext(lightTheme)
-
-local StudioProvider = Roact.Component:extend("StudioProvider")
-
-- Pull the current theme from Roblox Studio and update state with it.
-function StudioProvider:updateTheme()
-	local studioTheme = Studio.Theme
-
-	if studioTheme.Name == "Light" then
-		self:setState({
-			theme = lightTheme,
-		})
-	elseif studioTheme.Name == "Dark" then
-		self:setState({
-			theme = darkTheme,
-		})
-	else
-		Log.warn("Unexpected theme '{}'' -- falling back to light theme!", studioTheme.Name)
-
-		self:setState({
-			theme = lightTheme,
-		})
-	end
-end
-
-function StudioProvider:init()
-	self:updateTheme()
-end
-
-function StudioProvider:render()
-	return Roact.createElement(Context.Provider, {
-		value = self.state.theme,
-	}, self.props[Roact.Children])
-end
-
-function StudioProvider:didMount()
-	self.connection = Studio.ThemeChanged:Connect(function()
-		self:updateTheme()
-	end)
-end
-
-function StudioProvider:willUnmount()
-	self.connection:Disconnect()
-end
-
-local function with(callback)
-	return Roact.createElement(Context.Consumer, {
-		render = callback,
-	})
-end
-
-return {
-	StudioProvider = StudioProvider,
-	Consumer = Context.Consumer,
-	with = with,
-}
--- a/plugin/src/Config.lua
+++ b/plugin/src/Config.lua
@@ -1,13 +1,8 @@
-local strict = require(script.Parent.strict)
-
-local isDevBuild = script.Parent.Parent:FindFirstChild("ROJO_DEV_BUILD") ~= nil
-
-return strict("Config", {
-	isDevBuild = isDevBuild,
+return {
 	codename = "Epiphany",
-	version = {0, 6, 0, "-alpha.2"},
-	expectedServerVersionString = "0.6.0 or newer",
-	protocolVersion = 3,
+	version = {0, 5, 4},
+	expectedServerVersionString = "0.5.0 or newer",
+	protocolVersion = 2,
 	defaultHost = "localhost",
 	defaultPort = 34872,
-})
+}
--- a/plugin/src/DevSettings.lua
+++ b/plugin/src/DevSettings.lua
@@ -6,15 +6,13 @@ local Environment = {
 	Test = "Test",
 }

-local DEFAULT_ENVIRONMENT = Config.isDevBuild and Environment.Dev or Environment.User
-
 local VALUES = {
 	LogLevel = {
 		type = "IntValue",
 		values = {
 			[Environment.User] = 2,
-			[Environment.Dev] = 4,
-			[Environment.Test] = 4,
+			[Environment.Dev] = 3,
+			[Environment.Test] = 3,
 		},
 	},
 	TypecheckingEnabled = {
@@ -25,14 +23,6 @@ local VALUES = {
 			[Environment.Test] = true,
 		},
 	},
-	UnstableTwoWaySync = {
-		type = "BoolValue",
-		values = {
-			[Environment.User] = false,
-			[Environment.Dev] = false,
-			[Environment.Test] = false,
-		},
-	},
 }

 local CONTAINER_NAME = "RojoDevSettings" .. Config.codename
@@ -43,16 +33,6 @@ end

 local valueContainer = getValueContainer()

-game.ChildAdded:Connect(function(child)
-	local success, name = pcall(function()
-		return child.Name
-	end)
-
-	if success and name == CONTAINER_NAME then
-		valueContainer = child
-	end
-end)
-
 local function getStoredValue(name)
 	if valueContainer == nil then
 		return nil
@@ -104,7 +84,7 @@ local function getValue(name)
 		return stored
 	end

-	return VALUES[name].values[DEFAULT_ENVIRONMENT]
+	return VALUES[name].values[Environment.User]
 end

 local DevSettings = {}
@@ -140,10 +120,6 @@ function DevSettings:shouldTypecheck()
 	return getValue("TypecheckingEnabled")
 end

-function DevSettings:twoWaySyncEnabled()
-	return getValue("UnstableTwoWaySync")
-end
-
 function _G.ROJO_DEV_CREATE()
 	DevSettings:createDevSettings()
 end
--- a/plugin/src/Http.lua
+++ b/plugin/src/Http.lua
@@ -0,0 +1,75 @@
+local HttpService = game:GetService("HttpService")
+
+local Promise = require(script.Parent.Parent.Promise)
+
+local Logging = require(script.Parent.Logging)
+local HttpError = require(script.Parent.HttpError)
+local HttpResponse = require(script.Parent.HttpResponse)
+
+local lastRequestId = 0
+
+-- TODO: Factor out into separate library, especially error handling
+local Http = {}
+
+function Http.get(url)
+	local requestId = lastRequestId + 1
+	lastRequestId = requestId
+
+	Logging.trace("GET(%d) %s", requestId, url)
+
+	return Promise.new(function(resolve, reject)
+		coroutine.wrap(function()
+			local success, response = pcall(function()
+				return HttpService:RequestAsync({
+					Url = url,
+					Method = "GET",
+				})
+			end)
+
+			if success then
+				Logging.trace("Request %d success: status code %s", requestId, response.StatusCode)
+				resolve(HttpResponse.fromRobloxResponse(response))
+			else
+				Logging.trace("Request %d failure: %s", requestId, response)
+				reject(HttpError.fromErrorString(response))
+			end
+		end)()
+	end)
+end
+
+function Http.post(url, body)
+	local requestId = lastRequestId + 1
+	lastRequestId = requestId
+
+	Logging.trace("POST(%d) %s\n%s", requestId, url, body)
+
+	return Promise.new(function(resolve, reject)
+		coroutine.wrap(function()
+			local success, response = pcall(function()
+				return HttpService:RequestAsync({
+					Url = url,
+					Method = "POST",
+					Body = body,
+				})
+			end)
+
+			if success then
+				Logging.trace("Request %d success: status code %s", requestId, response.StatusCode)
+				resolve(HttpResponse.fromRobloxResponse(response))
+			else
+				Logging.trace("Request %d failure: %s", requestId, response)
+				reject(HttpError.fromErrorString(response))
+			end
+		end)()
+	end)
+end
+
+function Http.jsonEncode(object)
+	return HttpService:JSONEncode(object)
+end
+
+function Http.jsonDecode(source)
+	return HttpService:JSONDecode(source)
+end
+
+return Http
--- a/plugin/src/HttpError.lua
+++ b/plugin/src/HttpError.lua
@@ -1,7 +1,9 @@
-local Error = {}
-Error.__index = Error
+local Logging = require(script.Parent.Logging)

-Error.Kind = {
+local HttpError = {}
+HttpError.__index = HttpError
+
+HttpError.Error = {
 	HttpNotEnabled = {
 		message = "Rojo requires HTTP access, which is not enabled.\n" ..
 			"Check your game settings, located in the 'Home' tab of Studio.",
@@ -11,20 +13,20 @@ Error.Kind = {
 			"Make sure the server is running -- use 'rojo serve' to run it!",
 	},
 	Timeout = {
-		message = "HTTP request timed out.",
+		message = "Request timed out.",
 	},
 	Unknown = {
-		message = "Unknown HTTP error: {{message}}",
+		message = "Unknown error: {{message}}",
 	},
 }

-setmetatable(Error.Kind, {
+setmetatable(HttpError.Error, {
 	__index = function(_, key)
-		error(("%q is not a valid member of Http.Error.Kind"):format(tostring(key)), 2)
+		error(("%q is not a valid member of HttpError.Error"):format(tostring(key)), 2)
 	end,
 })

-function Error.new(type, extraMessage)
+function HttpError.new(type, extraMessage)
 	extraMessage = extraMessage or ""
 	local message = type.message:gsub("{{message}}", extraMessage)

@@ -33,34 +35,38 @@ function Error.new(type, extraMessage)
 		message = message,
 	}

-	setmetatable(err, Error)
+	setmetatable(err, HttpError)

 	return err
 end

-function Error:__tostring()
+function HttpError:__tostring()
 	return self.message
 end

 --[[
 	This method shouldn't have to exist. Ugh.
 ]]
-function Error.fromRobloxErrorString(message)
+function HttpError.fromErrorString(message)
 	local lower = message:lower()

 	if lower:find("^http requests are not enabled") then
-		return Error.new(Error.Kind.HttpNotEnabled)
+		return HttpError.new(HttpError.Error.HttpNotEnabled)
 	end

 	if lower:find("^httperror: timedout") then
-		return Error.new(Error.Kind.Timeout)
+		return HttpError.new(HttpError.Error.Timeout)
 	end

 	if lower:find("^httperror: connectfail") then
-		return Error.new(Error.Kind.ConnectFailed)
+		return HttpError.new(HttpError.Error.ConnectFailed)
 	end

-	return Error.new(Error.Kind.Unknown, message)
+	return HttpError.new(HttpError.Error.Unknown, message)
 end

-return Error
+function HttpError:report()
+	Logging.warn(self.message)
+end
+
+return HttpError
--- a/plugin/src/HttpResponse.lua
+++ b/plugin/src/HttpResponse.lua
@@ -1,34 +1,34 @@
 local HttpService = game:GetService("HttpService")

 local stringTemplate = [[
-Http.Response {
+HttpResponse {
 	code: %d
 	body: %s
 }]]

-local Response = {}
-Response.__index = Response
+local HttpResponse = {}
+HttpResponse.__index = HttpResponse

-function Response:__tostring()
+function HttpResponse:__tostring()
 	return stringTemplate:format(self.code, self.body)
 end

-function Response.fromRobloxResponse(response)
+function HttpResponse.fromRobloxResponse(response)
 	local self = {
 		body = response.Body,
 		code = response.StatusCode,
 		headers = response.Headers,
 	}

-	return setmetatable(self, Response)
+	return setmetatable(self, HttpResponse)
 end

-function Response:isSuccess()
+function HttpResponse:isSuccess()
 	return self.code >= 200 and self.code < 300
 end

-function Response:json()
+function HttpResponse:json()
 	return HttpService:JSONDecode(self.body)
 end

-return Response
+return HttpResponse
--- a/plugin/src/InstanceMap.lua
+++ b/plugin/src/InstanceMap.lua
@@ -1,4 +1,4 @@
-local Log = require(script.Parent.Parent.Log)
+local Logging = require(script.Parent.Logging)

 --[[
 	A bidirectional map between instance IDs and Roblox instances. It lets us
@@ -9,79 +9,39 @@ local Log = require(script.Parent.Parent.Log)
 local InstanceMap = {}
 InstanceMap.__index = InstanceMap

-function InstanceMap.new(onInstanceChanged)
+function InstanceMap.new()
 	local self = {
 		fromIds = {},
 		fromInstances = {},
-		instancesToSignal = {},
-		onInstanceChanged = onInstanceChanged,
 	}

 	return setmetatable(self, InstanceMap)
 end

--[[
-	Disconnect all connections and release all instance references.
-]]
-function InstanceMap:stop()
-	-- I think this is safe.
-	for instance in pairs(self.fromInstances) do
-		self:removeInstance(instance)
-	end
-end
-
-function InstanceMap:__fmtDebug(output)
-	output:writeLine("InstanceMap {{")
-	output:indent()
-
-	-- Collect all of the entries in the InstanceMap and sort them by their
-	-- label, which helps make our output deterministic.
-	local entries = {}
-	for id, instance in pairs(self.fromIds) do
-		local label = string.format("%s (%s)", instance:GetFullName(), instance.ClassName)
-
-		table.insert(entries, {id, label})
-	end
-
-	table.sort(entries, function(a, b)
-		return a[2] < b[2]
-	end)
-
-	for _, entry in ipairs(entries) do
-		output:writeLine("{}: {}", entry[1], entry[2])
-	end
-
-	output:unindent()
-	output:write("}")
-end
-
 function InstanceMap:insert(id, instance)
 	self.fromIds[id] = instance
 	self.fromInstances[instance] = id
-	self:__connectSignals(instance)
 end

 function InstanceMap:removeId(id)
 	local instance = self.fromIds[id]

 	if instance ~= nil then
-		self:__disconnectSignals(instance)
 		self.fromIds[id] = nil
 		self.fromInstances[instance] = nil
 	else
-		Log.warn("Attempted to remove nonexistant ID {}", id)
+		Logging.warn("Attempted to remove nonexistant ID %s", tostring(id))
 	end
 end

 function InstanceMap:removeInstance(instance)
 	local id = self.fromInstances[instance]
-	self:__disconnectSignals(instance)

 	if id ~= nil then
 		self.fromInstances[instance] = nil
 		self.fromIds[id] = nil
 	else
-		Log.warn("Attempted to remove nonexistant instance {}", instance)
+		Logging.warn("Attempted to remove nonexistant instance %s", tostring(instance))
 	end
 end

@@ -91,7 +51,7 @@ function InstanceMap:destroyInstance(instance)
 	if id ~= nil then
 		self:destroyId(id)
 	else
-		Log.warn("Attempted to destroy untracked instance {}", instance)
+		Logging.warn("Attempted to destroy untracked instance %s", tostring(instance))
 	end
 end

@@ -114,63 +74,7 @@ function InstanceMap:destroyId(id)

 		instance:Destroy()
 	else
-		Log.warn("Attempted to destroy nonexistant ID {}", id)
-	end
-end
-
-function InstanceMap:__connectSignals(instance)
-	-- ValueBase instances have an overriden version of the Changed signal that
-	-- only detects changes to their Value property.
-	--
-	-- We can instead connect listener to each individual property that we care
-	-- about on those objects (Name and Value) to emulate the same idea.
-	if instance:IsA("ValueBase") then
-		local signals = {
-			instance:GetPropertyChangedSignal("Name"):Connect(function()
-				self:__maybeFireInstanceChanged(instance, "Name")
-			end),
-
-			instance:GetPropertyChangedSignal("Value"):Connect(function()
-				self:__maybeFireInstanceChanged(instance, "Value")
-			end),
-
-			instance:GetPropertyChangedSignal("Parent"):Connect(function()
-				self:__maybeFireInstanceChanged(instance, "Parent")
-			end),
-		}
-
-		self.instancesToSignal[instance] = signals
-	else
-		self.instancesToSignal[instance] = instance.Changed:Connect(function(propertyName)
-			self:__maybeFireInstanceChanged(instance, propertyName)
-		end)
-	end
-end
-
-function InstanceMap:__maybeFireInstanceChanged(instance, propertyName)
-	Log.trace("{}.{} changed", instance:GetFullName(), propertyName)
-
-	if self.onInstanceChanged ~= nil then
-		self.onInstanceChanged(instance, propertyName)
-	end
-end
-
-function InstanceMap:__disconnectSignals(instance)
-	local signals = self.instancesToSignal[instance]
-
-	if signals ~= nil then
-		-- In most cases, we only have a single signal, so we avoid keeping
-		-- around the extra table. ValueBase objects force us to use multiple
-		-- signals to emulate the Instance.Changed event, however.
-		if typeof(signals) == "table" then
-			for _, signal in ipairs(signals) do
-				signal:Disconnect()
-			end
-		else
-			signals:Disconnect()
-		end
-
-		self.instancesToSignal[instance] = nil
+		Logging.warn("Attempted to destroy nonexistant ID %s", tostring(id))
 	end
 end

--- a/plugin/src/Logging.lua
+++ b/plugin/src/Logging.lua
@@ -1,55 +1,49 @@
-local Fmt = require(script.Parent.Fmt)
+local DevSettings = require(script.Parent.DevSettings)

 local Level = {
 	Error = 0,
 	Warning = 1,
 	Info = 2,
-	Debug = 3,
-	Trace = 4,
+	Trace = 3,
 }

+local testLogLevel = nil
+
 local function getLogLevel()
-	return Level.Info
+	if testLogLevel ~= nil then
+		return testLogLevel
+	end
+
+	return DevSettings:getLogLevel()
 end

 local function addTags(tag, message)
 	return tag .. message:gsub("\n", "\n" .. tag)
 end

-local TRACE_TAG = (" "):rep(15) .. "[Rojo-Trace] "
 local INFO_TAG = (" "):rep(15) .. "[Rojo-Info] "
-local DEBUG_TAG = (" "):rep(15) .. "[Rojo-Debug] "
+local TRACE_TAG = (" "):rep(15) .. "[Rojo-Trace] "
 local WARN_TAG = "[Rojo-Warn] "

 local Log = {}

 Log.Level = Level

-function Log.setLogLevelThunk(thunk)
-	getLogLevel = thunk
-end
-
 function Log.trace(template, ...)
 	if getLogLevel() >= Level.Trace then
-		print(addTags(TRACE_TAG, Fmt.fmt(template, ...)))
+		print(addTags(TRACE_TAG, string.format(template, ...)))
 	end
 end

 function Log.info(template, ...)
 	if getLogLevel() >= Level.Info then
-		print(addTags(INFO_TAG, Fmt.fmt(template, ...)))
-	end
-end
-
-function Log.debug(template, ...)
-	if getLogLevel() >= Level.Debug then
-		print(addTags(DEBUG_TAG, Fmt.fmt(template, ...)))
+		print(addTags(INFO_TAG, string.format(template, ...)))
 	end
 end

 function Log.warn(template, ...)
 	if getLogLevel() >= Level.Warning then
-		warn(addTags(WARN_TAG, Fmt.fmt(template, ...)))
+		warn(addTags(WARN_TAG, string.format(template, ...)))
 	end
 end

--- a/plugin/src/Reconciler.lua
+++ b/plugin/src/Reconciler.lua
@@ -1,401 +1,236 @@
--[[
-	This module defines the meat of the Rojo plugin and how it manages tracking
-	and mutating the Roblox DOM.
-]]
-
-local RbxDom = require(script.Parent.Parent.RbxDom)
 local t = require(script.Parent.Parent.t)
-local Log = require(script.Parent.Parent.Log)

-local Types = require(script.Parent.Types)
-local invariant = require(script.Parent.invariant)
-local getCanonicalProperty = require(script.Parent.getCanonicalProperty)
+local InstanceMap = require(script.Parent.InstanceMap)
+local Logging = require(script.Parent.Logging)
 local setCanonicalProperty = require(script.Parent.setCanonicalProperty)
+local rojoValueToRobloxValue = require(script.Parent.rojoValueToRobloxValue)
+local Types = require(script.Parent.Types)

--[[
-	This interface represents either a patch created by the hydrate method, or a
-	patch returned from the API.
-
-	This type should be a subset of Types.ApiInstanceUpdate.
-]]
-local IPatch = t.interface({
-	removed = t.array(t.union(Types.RbxId, t.Instance)),
-	added = t.map(Types.RbxId, Types.ApiInstance),
-	updated = t.array(Types.ApiInstanceUpdate),
-})
-
--[[
-	Attempt to safely set the parent of an instance.
-
-	This function will always succeed, even if the actual set failed. This is
-	important for some types like services that will throw even if their current
-	parent is already set to the requested parent.
-
-	TODO: See if we can eliminate this by being more nuanced with property
-	assignment?
-]]
-local function safeSetParent(instance, newParent)
+local function setParent(instance, newParent)
 	pcall(function()
 		instance.Parent = newParent
 	end)
 end

--[[
-	Similar to setting Parent, some instances really don't like being renamed.
-
-	TODO: Should we be throwing away these results or can we be more careful?
-]]
-local function safeSetName(instance, name)
-	pcall(function()
-		instance.Name = name
-	end)
-end
-
 local Reconciler = {}
 Reconciler.__index = Reconciler

-function Reconciler.new(instanceMap)
+function Reconciler.new()
 	local self = {
-		-- Tracks all of the instances known by the reconciler by ID.
-		__instanceMap = instanceMap,
+		instanceMap = InstanceMap.new(),
 	}

 	return setmetatable(self, Reconciler)
 end

--[[
-	See Reconciler:__hydrateInternal().
-]]
-function Reconciler:hydrate(apiInstances, id, instance)
-	local hydratePatch = {
-		removed = {},
-		added = {},
-		updated = {},
-	}
+function Reconciler:applyUpdate(requestedIds, virtualInstancesById)
+	-- This function may eventually be asynchronous; it will require calls to
+	-- the server to resolve instances that don't exist yet.
+	local visitedIds = {}

-	self:__hydrateInternal(apiInstances, id, instance, hydratePatch)
-
-	return hydratePatch
-end
-
--[[
-	Applies a patch to the Roblox DOM using the reconciler's internal state.
-
-	TODO: This function might only apply some of the patch in the future and
-	require content negotiation with the Rojo server to handle types that aren't
-	editable by scripts.
-]]
-local applyPatchSchema = Types.ifEnabled(t.tuple(
-	IPatch
-))
-function Reconciler:applyPatch(patch)
-	assert(applyPatchSchema(patch))
-
-	for _, removedIdOrInstance in ipairs(patch.removed) do
-		local removedInstance
-
-		if Types.RbxId(removedIdOrInstance) then
-			-- If this value is an ID, it's assumed to be an instance that the
-			-- Rojo server knows about.
-			removedInstance = self.__instanceMap.fromIds[removedIdOrInstance]
-			self.__instanceMap:removeId(removedIdOrInstance)
-		end
-
-		-- If this entry was an ID that we didn't know about, removedInstance
-		-- will be nil, which we guard against in case of minor tree desync.
-		if removedInstance ~= nil then
-			-- Ensure that if any descendants are tracked by Rojo, that we
-			-- properly un-track them.
-			for _, descendantInstance in ipairs(removedInstance:GetDescendants()) do
-				self.__instanceMap:removeInstance(descendantInstance)
-			end
-
-			removedInstance:Destroy()
-		end
-	end
-
-	-- TODO: This loop assumes that apiInstance.ParentId is never nil. The Rojo
-	-- plugin can't create a new top-level DataModel anyways, so this should
-	-- only be violated in cases that are already erroneous.
-	for id, apiInstance in pairs(patch.added) do
-		if self.__instanceMap.fromIds[id] == nil then
-			-- Find the first ancestor of this instance that is marked for an
-			-- addition.
-			--
-			-- This helps us make sure we only reify each instance once, and we
-			-- start from the top.
-			while patch.added[apiInstance.Parent] ~= nil do
-				id = apiInstance.Parent
-				apiInstance = patch.added[id]
-			end
-
-			local parentInstance = self.__instanceMap.fromIds[apiInstance.Parent]
-
-			if parentInstance == nil then
-				invariant(
-					"Cannot add an instance from a patch that has no parent.\nInstance {} with parent {}.\nState: {:#?}",
-					id,
-					apiInstance.Parent,
-					self.__instanceMap
-				)
-			end
-
-			self:__reifyInstance(patch.added, id, parentInstance)
-		end
-	end
-
-	for _, update in ipairs(patch.updated) do
-		local instance = self.__instanceMap.fromIds[update.id]
-
-		if instance == nil then
-			invariant(
-				"Cannot update an instance that does not exist in the reconciler's state.\nInstance {}\nState: {:#?}",
-				update.id,
-				self.__instanceMap
-			)
-		end
-
-		if update.changedClassName ~= nil then
-			error("TODO: Support changing class name by destroying + recreating instance.")
-		end
-
-		if update.changedName ~= nil then
-			instance.Name = update.changedName
-		end
-
-		if update.changedMetadata ~= nil then
-			print("TODO: Support changing metadata, if necessary.")
-		end
-
-		if update.changedProperties ~= nil then
-			for propertyName, propertyValue in pairs(update.changedProperties) do
-				-- TODO: Gracefully handle this error instead?
-				assert(setCanonicalProperty(instance, propertyName, self:__decodeApiValue(propertyValue)))
-			end
-		end
+	for _, id in ipairs(requestedIds) do
+		self:__applyUpdatePiece(id, visitedIds, virtualInstancesById)
 	end
 end

--[[
-	Transforms a value into one that can be sent over the network back to the
-	Rojo server.
-
-	This operation can fail, and so it returns bool, value.
-]]
-function Reconciler:encodeApiValue(value)
-	if typeof(value) == "string" then
-		return true, {
-			Type = "String",
-			Value = value,
-		}
-	end
-
-	return false
-end
-
--[[
-	Transforms a value encoded by rbx_dom_weak on the server side into a value
-	usable by Rojo's reconciler, potentially using RbxDom.
-]]
-function Reconciler:__decodeApiValue(apiValue)
-	assert(Types.ApiValue(apiValue))
-
-	-- Refs are represented as IDs in the same space that Rojo's protocol uses.
-	if apiValue.Type == "Ref" then
-		-- TODO: This ref could be pointing at an instance we haven't created
-		-- yet!
-
-		return self.__instanceMap.fromIds[apiValue.Value]
-	end
-
-	local success, decodedValue = RbxDom.EncodedValue.decode(apiValue)
-
-	if not success then
-		error(decodedValue, 2)
-	end
-
-	return decodedValue
-end
-
--[[
-	Constructs an instance from an ApiInstance without any of its children.
-]]
-local reifySingleInstanceSchema = Types.ifEnabled(t.tuple(
-	Types.ApiInstance
-))
-function Reconciler:__reifySingleInstance(apiInstance)
-	assert(reifySingleInstanceSchema(apiInstance))
-
-	-- Instance.new can fail if we're passing in something that can't be
-	-- created, like a service, something enabled with a feature flag, or
-	-- something that requires higher security than we have.
-	local ok, instance = pcall(Instance.new, apiInstance.ClassName)
-	if not ok then
-		return false, instance
-	end
-
-	-- TODO: When can setting Name fail here?
-	safeSetName(instance, apiInstance.Name)
-
-	for key, value in pairs(apiInstance.Properties) do
-		setCanonicalProperty(instance, key, self:__decodeApiValue(value))
-	end
-
-	return true, instance
-end
-
--[[
-	Construct an instance and all of its descendants, parent it to the given
-	instance, and insert it into the reconciler's internal state.
-]]
-local reifyInstanceSchema = Types.ifEnabled(t.tuple(
-	t.map(Types.RbxId, Types.VirtualInstance),
-	Types.RbxId,
+local reconcileSchema = Types.ifEnabled(t.tuple(
+	t.map(t.string, Types.VirtualInstance),
+	t.string,
 	t.Instance
 ))
-function Reconciler:__reifyInstance(apiInstances, id, parentInstance)
-	assert(reifyInstanceSchema(apiInstances, id, parentInstance))
-
-	local apiInstance = apiInstances[id]
-	local ok, instance = self:__reifySingleInstance(apiInstance)
-
-	-- TODO: Propagate this error upward to handle it elsewhere?
-	if not ok then
-		error(("Couldn't create an instance of type %q, a child of %s"):format(
-			apiInstance.ClassName,
-			parentInstance:GetFullName()
-		))
-	end
-
-	self.__instanceMap:insert(id, instance)
-
-	for _, childId in ipairs(apiInstance.Children) do
-		self:__reifyInstance(apiInstances, childId, instance)
-	end
-
-	safeSetParent(instance, parentInstance)
-
-	return instance
-end
-
 --[[
-	Populates the reconciler's internal state, maps IDs to instances that the
-	Rojo plugin knows about, and generates a patch that would update the Roblox
-	tree to match Rojo's view of the tree.
+	Update an existing instance, including its properties and children, to match
+	the given information.
 ]]
-local hydrateSchema = Types.ifEnabled(t.tuple(
-	t.map(Types.RbxId, Types.VirtualInstance),
-	Types.RbxId,
-	t.Instance,
-	IPatch
-))
-function Reconciler:__hydrateInternal(apiInstances, id, instance, hydratePatch)
-	assert(hydrateSchema(apiInstances, id, instance, hydratePatch))
+function Reconciler:reconcile(virtualInstancesById, id, instance)
+	assert(reconcileSchema(virtualInstancesById, id, instance))

-	self.__instanceMap:insert(id, instance)
+	local virtualInstance = virtualInstancesById[id]

-	local apiInstance = apiInstances[id]
+	-- If an instance changes ClassName, we assume it's very different. That's
+	-- not always the case!
+	if virtualInstance.ClassName ~= instance.ClassName then
+		Logging.trace("Switching to reify for %s because ClassName is different", instance:GetFullName())

-	local function markIdAdded(id)
-		local apiInstance = apiInstances[id]
-		hydratePatch.added[id] = apiInstance
-
-		for _, childId in ipairs(apiInstance.Children) do
-			markIdAdded(childId)
-		end
+		-- TODO: Preserve existing children instead?
+		local parent = instance.Parent
+		self.instanceMap:destroyId(id)
+		return self:__reify(virtualInstancesById, id, parent)
 	end

-	local changedName = nil
-	local changedProperties = {}
+	self.instanceMap:insert(id, instance)

-	if apiInstance.Name ~= instance.Name then
-		changedName = apiInstance.Name
-	end
+	-- Some instances don't like being named, even if their name already matches
+	setCanonicalProperty(instance, "Name", virtualInstance.Name)

-	for propertyName, virtualValue in pairs(apiInstance.Properties) do
-		local success, existingValue = getCanonicalProperty(instance, propertyName)
-
-		if success then
-			local decodedValue = self:__decodeApiValue(virtualValue)
-
-			if existingValue ~= decodedValue then
-				changedProperties[propertyName] = virtualValue
-			end
-		end
-	end
-
-	-- If any properties differed from the virtual instance we read, add it to
-	-- the hydrate patch so that we can catch up.
-	if changedName ~= nil or next(changedProperties) ~= nil then
-		table.insert(hydratePatch.updated, {
-			id = id,
-			changedName = changedName,
-			changedClassName = nil,
-			changedProperties = changedProperties,
-			changedMetadata = nil,
-		})
+	for key, value in pairs(virtualInstance.Properties) do
+		setCanonicalProperty(instance, key, rojoValueToRobloxValue(value))
 	end

 	local existingChildren = instance:GetChildren()

-	-- For each existing child, we'll track whether it's been paired with an
-	-- instance that the Rojo server knows about.
-	local isExistingChildVisited = {}
-	for i = 1, #existingChildren do
-		isExistingChildVisited[i] = false
+	local unvisitedExistingChildren = {}
+	for _, child in ipairs(existingChildren) do
+		unvisitedExistingChildren[child] = true
 	end

-	for _, childId in ipairs(apiInstance.Children) do
-		local apiChild = apiInstances[childId]
+	for _, childId in ipairs(virtualInstance.Children) do
+		local childData = virtualInstancesById[childId]

-		local childInstance
+		local existingChildInstance
+		for instance in pairs(unvisitedExistingChildren) do
+			local ok, name, className = pcall(function()
+				return instance.Name, instance.ClassName
+			end)

-		for childIndex, instance in ipairs(existingChildren) do
-			if not isExistingChildVisited[childIndex] then
-				-- We guard accessing Name and ClassName in order to avoid
-				-- tripping over children of DataModel that Rojo won't have
-				-- permissions to access at all.
-				local ok, name, className = pcall(function()
-					return instance.Name, instance.ClassName
-				end)
-
-				-- This rule is very conservative and could be loosened in the
-				-- future, or more heuristics could be introduced.
-				if ok and name == apiChild.Name and className == apiChild.ClassName then
-					childInstance = instance
-					isExistingChildVisited[childIndex] = true
+			if ok then
+				if name == childData.Name and className == childData.ClassName then
+					existingChildInstance = instance
 					break
 				end
 			end
 		end

-		if childInstance ~= nil then
-			-- We found an instance that matches the instance from the API, yay!
-			self:__hydrateInternal(apiInstances, childId, childInstance, hydratePatch)
+		if existingChildInstance ~= nil then
+			unvisitedExistingChildren[existingChildInstance] = nil
+			self:reconcile(virtualInstancesById, childId, existingChildInstance)
 		else
-			markIdAdded(childId)
+			Logging.trace(
+				"Switching to reify for %s.%s because it does not exist",
+				instance:GetFullName(),
+				virtualInstancesById[childId].Name
+			)
+
+			self:__reify(virtualInstancesById, childId, instance)
 		end
 	end

-	-- Any unvisited children at this point aren't known by Rojo and we can
-	-- destroy them unless the user has explicitly asked us to preserve children
-	-- of this instance.
-	local shouldClearUnknown = self:__shouldClearUnknownChildren(apiInstance)
-	if shouldClearUnknown then
-		for childIndex, visited in ipairs(isExistingChildVisited) do
-			if not visited then
-				table.insert(hydratePatch.removed, existingChildren[childIndex])
+	local shouldClearUnknown = self:__shouldClearUnknownChildren(virtualInstance)
+
+	for existingChildInstance in pairs(unvisitedExistingChildren) do
+		local childId = self.instanceMap.fromInstances[existingChildInstance]
+
+		if childId == nil then
+			if shouldClearUnknown then
+				existingChildInstance:Destroy()
 			end
+		else
+			self.instanceMap:destroyInstance(existingChildInstance)
 		end
 	end
+
+	-- The root instance of a project won't have a parent, like the DataModel,
+	-- so we need to be careful here.
+	if virtualInstance.Parent ~= nil then
+		local parent = self.instanceMap.fromIds[virtualInstance.Parent]
+
+		if parent == nil then
+			Logging.info("Instance %s wanted parent of %s", tostring(id), tostring(virtualInstance.Parent))
+			error("Rojo bug: During reconciliation, an instance referred to an instance ID as parent that does not exist.")
+		end
+
+		-- Some instances, like services, don't like having their Parent
+		-- property poked, even if we're setting it to the same value.
+		setParent(instance, parent)
+	end
+
+	return instance
 end

-function Reconciler:__shouldClearUnknownChildren(apiInstance)
-	if apiInstance.Metadata ~= nil then
-		return not apiInstance.Metadata.ignoreUnknownInstances
+function Reconciler:__shouldClearUnknownChildren(virtualInstance)
+	if virtualInstance.Metadata ~= nil then
+		return not virtualInstance.Metadata.ignoreUnknownInstances
 	else
 		return true
 	end
 end

+local reifySchema = Types.ifEnabled(t.tuple(
+	t.map(t.string, Types.VirtualInstance),
+	t.string,
+	t.Instance
+))
+
+function Reconciler:__reify(virtualInstancesById, id, parent)
+	assert(reifySchema(virtualInstancesById, id, parent))
+
+	local virtualInstance = virtualInstancesById[id]
+
+	local ok, instance = pcall(function()
+		return Instance.new(virtualInstance.ClassName)
+	end)
+
+	if not ok then
+		error(("Couldn't create an Instance of type %q, a child of %s"):format(virtualInstance.ClassName, parent:GetFullName()))
+	end
+
+	for key, value in pairs(virtualInstance.Properties) do
+		setCanonicalProperty(instance, key, rojoValueToRobloxValue(value))
+	end
+
+	setCanonicalProperty(instance, "Name", virtualInstance.Name)
+
+	for _, childId in ipairs(virtualInstance.Children) do
+		self:__reify(virtualInstancesById, childId, instance)
+	end
+
+	setParent(instance, parent)
+	self.instanceMap:insert(id, instance)
+
+	return instance
+end
+
+local applyUpdatePieceSchema = Types.ifEnabled(t.tuple(
+	t.string,
+	t.map(t.string, t.boolean),
+	t.map(t.string, Types.VirtualInstance)
+))
+
+function Reconciler:__applyUpdatePiece(id, visitedIds, virtualInstancesById)
+	assert(applyUpdatePieceSchema(id, visitedIds, virtualInstancesById))
+
+	if visitedIds[id] then
+		return
+	end
+
+	visitedIds[id] = true
+
+	local virtualInstance = virtualInstancesById[id]
+	local instance = self.instanceMap.fromIds[id]
+
+	-- The instance was deleted in this update
+	if virtualInstance == nil then
+		self.instanceMap:destroyId(id)
+		return
+	end
+
+	-- An instance we know about was updated
+	if instance ~= nil then
+		self:reconcile(virtualInstancesById, id, instance)
+		return instance
+	end
+
+	-- If the instance's parent already exists, we can stick it there
+	local parentInstance = self.instanceMap.fromIds[virtualInstance.Parent]
+	if parentInstance ~= nil then
+		self:__reify(virtualInstancesById, id, parentInstance)
+		return
+	end
+
+	-- Otherwise, we can check if this response payload contained the parent and
+	-- work from there instead.
+	local parentData = virtualInstancesById[virtualInstance.Parent]
+	if parentData ~= nil then
+		if visitedIds[virtualInstance.Parent] then
+			error("Rojo bug: An instance was present and marked as visited but its instance was missing")
+		end
+
+		self:__applyUpdatePiece(virtualInstance.Parent, visitedIds, virtualInstancesById)
+		return
+	end
+
+	Logging.trace("Instance ID %s, parent ID %s", tostring(id), tostring(virtualInstance.Parent))
+	error("Rojo NYI: Instances with parents that weren't mentioned in an update payload")
+end
+
 return Reconciler
--- a/plugin/src/Reconciler.spec.lua
+++ b/plugin/src/Reconciler.spec.lua
@@ -0,0 +1,218 @@
+local Reconciler = require(script.Parent.Reconciler)
+
+return function()
+	it("should leave instances alone if there's nothing specified", function()
+		local instance = Instance.new("Folder")
+		instance.Name = "TestFolder"
+
+		local instanceId = "test-id"
+		local virtualInstancesById = {
+			[instanceId] = {
+				Name = "TestFolder",
+				ClassName = "Folder",
+				Children = {},
+				Properties = {},
+			},
+		}
+
+		local reconciler = Reconciler.new()
+		reconciler:reconcile(virtualInstancesById, instanceId, instance)
+	end)
+
+	it("should assign names from virtual instances", function()
+		local instance = Instance.new("Folder")
+		instance.Name = "InitialName"
+
+		local instanceId = "test-id"
+		local virtualInstancesById = {
+			[instanceId] = {
+				Name = "NewName",
+				ClassName = "Folder",
+				Children = {},
+				Properties = {},
+			},
+		}
+
+		local reconciler = Reconciler.new()
+		reconciler:reconcile(virtualInstancesById, instanceId, instance)
+
+		expect(instance.Name).to.equal("NewName")
+	end)
+
+	it("should assign properties from virtual instances", function()
+		local instance = Instance.new("IntValue")
+		instance.Name = "TestValue"
+		instance.Value = 5
+
+		local instanceId = "test-id"
+		local virtualInstancesById = {
+			[instanceId] = {
+				Name = "TestValue",
+				ClassName = "IntValue",
+				Children = {},
+				Properties = {
+					Value = {
+						Type = "Int32",
+						Value = 9
+					}
+				},
+			},
+		}
+
+		local reconciler = Reconciler.new()
+		reconciler:reconcile(virtualInstancesById, instanceId, instance)
+
+		expect(instance.Value).to.equal(9)
+	end)
+
+	it("should wipe unknown children by default", function()
+		local parent = Instance.new("Folder")
+		parent.Name = "Parent"
+
+		local child = Instance.new("Folder")
+		child.Name = "Child"
+
+		local parentId = "test-id"
+		local virtualInstancesById = {
+			[parentId] = {
+				Name = "Parent",
+				ClassName = "Folder",
+				Children = {},
+				Properties = {},
+			},
+		}
+
+		local reconciler = Reconciler.new()
+		reconciler:reconcile(virtualInstancesById, parentId, parent)
+
+		expect(#parent:GetChildren()).to.equal(0)
+	end)
+
+	it("should preserve unknown children if ignoreUnknownInstances is set", function()
+		local parent = Instance.new("Folder")
+		parent.Name = "Parent"
+
+		local child = Instance.new("Folder")
+		child.Parent = parent
+		child.Name = "Child"
+
+		local parentId = "test-id"
+		local virtualInstancesById = {
+			[parentId] = {
+				Name = "Parent",
+				ClassName = "Folder",
+				Children = {},
+				Properties = {},
+				Metadata = {
+					ignoreUnknownInstances = true,
+				},
+			},
+		}
+
+		local reconciler = Reconciler.new()
+		reconciler:reconcile(virtualInstancesById, parentId, parent)
+
+		expect(child.Parent).to.equal(parent)
+		expect(#parent:GetChildren()).to.equal(1)
+	end)
+
+	it("should remove known removed children", function()
+		local parent = Instance.new("Folder")
+		parent.Name = "Parent"
+
+		local child = Instance.new("Folder")
+		child.Parent = parent
+		child.Name = "Child"
+
+		local parentId = "parent-id"
+		local childId = "child-id"
+
+		local reconciler = Reconciler.new()
+
+		local virtualInstancesById = {
+			[parentId] = {
+				Name = "Parent",
+				ClassName = "Folder",
+				Children = {childId},
+				Properties = {},
+			},
+			[childId] = {
+				Name = "Child",
+				ClassName = "Folder",
+				Children = {},
+				Properties = {},
+			},
+		}
+		reconciler:reconcile(virtualInstancesById, parentId, parent)
+
+		expect(child.Parent).to.equal(parent)
+		expect(#parent:GetChildren()).to.equal(1)
+
+		local newVirtualInstances = {
+			[parentId] = {
+				Name = "Parent",
+				ClassName = "Folder",
+				Children = {},
+				Properties = {},
+			},
+			[childId] = nil,
+		}
+		reconciler:reconcile(newVirtualInstances, parentId, parent)
+
+		expect(child.Parent).to.equal(nil)
+		expect(#parent:GetChildren()).to.equal(0)
+	end)
+
+	it("should remove known removed children if ignoreUnknownInstances is set", function()
+		local parent = Instance.new("Folder")
+		parent.Name = "Parent"
+
+		local child = Instance.new("Folder")
+		child.Parent = parent
+		child.Name = "Child"
+
+		local parentId = "parent-id"
+		local childId = "child-id"
+
+		local reconciler = Reconciler.new()
+
+		local virtualInstancesById = {
+			[parentId] = {
+				Name = "Parent",
+				ClassName = "Folder",
+				Children = {childId},
+				Properties = {},
+				Metadata = {
+					ignoreUnknownInstances = true,
+				},
+			},
+			[childId] = {
+				Name = "Child",
+				ClassName = "Folder",
+				Children = {},
+				Properties = {},
+			},
+		}
+		reconciler:reconcile(virtualInstancesById, parentId, parent)
+
+		expect(child.Parent).to.equal(parent)
+		expect(#parent:GetChildren()).to.equal(1)
+
+		local newVirtualInstances = {
+			[parentId] = {
+				Name = "Parent",
+				ClassName = "Folder",
+				Children = {},
+				Properties = {},
+				Metadata = {
+					ignoreUnknownInstances = true,
+				},
+			},
+			[childId] = nil,
+		}
+		reconciler:reconcile(newVirtualInstances, parentId, parent)
+
+		expect(child.Parent).to.equal(nil)
+		expect(#parent:GetChildren()).to.equal(0)
+	end)
+end
--- a/plugin/src/ServeSession.lua
+++ b/plugin/src/ServeSession.lua
@@ -1,213 +0,0 @@
-local Log = require(script.Parent.Parent.Log)
-local Fmt = require(script.Parent.Parent.Fmt)
-local t = require(script.Parent.Parent.t)
-
-local DevSettings = require(script.Parent.DevSettings)
-local InstanceMap = require(script.Parent.InstanceMap)
-local Reconciler = require(script.Parent.Reconciler)
-local strict = require(script.Parent.strict)
-
-local Status = strict("Session.Status", {
-	NotStarted = "NotStarted",
-	Connecting = "Connecting",
-	Connected = "Connected",
-	Disconnected = "Disconnected",
-})
-
-local function debugPatch(patch)
-	return Fmt.debugify(patch, function(patch, output)
-		output:writeLine("Patch {{")
-		output:indent()
-
-		for removed in ipairs(patch.removed) do
-			output:writeLine("Remove ID {}", removed)
-		end
-
-		for id, added in pairs(patch.added) do
-			output:writeLine("Add ID {} {:#?}", id, added)
-		end
-
-		for _, updated in ipairs(patch.updated) do
-			output:writeLine("Update ID {} {:#?}", updated.id, updated)
-		end
-
-		output:unindent()
-		output:write("}")
-	end)
-end
-
-local ServeSession = {}
-ServeSession.__index = ServeSession
-
-ServeSession.Status = Status
-
-local validateServeOptions = t.strictInterface({
-	apiContext = t.table,
-})
-
-function ServeSession.new(options)
-	assert(validateServeOptions(options))
-
-	-- Declare self ahead of time to capture it in a closure
-	local self
-	local function onInstanceChanged(instance, propertyName)
-		self:__onInstanceChanged(instance, propertyName)
-	end
-
-	local instanceMap = InstanceMap.new(onInstanceChanged)
-	local reconciler = Reconciler.new(instanceMap)
-
-	self = {
-		__status = Status.NotStarted,
-		__apiContext = options.apiContext,
-		__reconciler = reconciler,
-		__instanceMap = instanceMap,
-		__statusChangedCallback = nil,
-	}
-
-	setmetatable(self, ServeSession)
-
-	return self
-end
-
-function ServeSession:__fmtDebug(output)
-	output:writeLine("ServeSession {{")
-	output:indent()
-
-	output:writeLine("API Context: {:#?}", self.__apiContext)
-	output:writeLine("Instances: {:#?}", self.__instanceMap)
-
-	output:unindent()
-	output:write("}")
-end
-
-function ServeSession:onStatusChanged(callback)
-	self.__statusChangedCallback = callback
-end
-
-function ServeSession:start()
-	self:__setStatus(Status.Connecting)
-
-	self.__apiContext:connect()
-		:andThen(function(serverInfo)
-			self:__setStatus(Status.Connected)
-
-			local rootInstanceId = serverInfo.rootInstanceId
-
-			return self:__initialSync(rootInstanceId)
-				:andThen(function()
-					return self:__mainSyncLoop()
-				end)
-		end)
-		:catch(function(err)
-			self:__stopInternal(err)
-		end)
-end
-
-function ServeSession:stop()
-	self:__stopInternal()
-end
-
-function ServeSession:__onInstanceChanged(instance, propertyName)
-	if not DevSettings:twoWaySyncEnabled() then
-		return
-	end
-
-	local instanceId = self.__instanceMap.fromInstances[instance]
-
-	if instanceId == nil then
-		Log.warn("Ignoring change for instance {:?} as it is unknown to Rojo", instance)
-		return
-	end
-
-	local remove = nil
-
-	local update = {
-		id = instanceId,
-		changedProperties = {},
-	}
-
-	if propertyName == "Name" then
-		update.changedName = instance.Name
-	elseif propertyName == "Parent" then
-		if instance.Parent == nil then
-			update = nil
-			remove = instanceId
-		else
-			Log.warn("Cannot sync non-nil Parent property changes yet")
-			return
-		end
-	else
-		local success, encoded = self.__reconciler:encodeApiValue(instance[propertyName])
-
-		if not success then
-			Log.warn("Could not sync back property {:?}.{}", instance, propertyName)
-			return
-		end
-
-		update.changedProperties[propertyName] = encoded
-	end
-
-	local patch = {
-		removed = {remove},
-		added = {},
-		updated = {update},
-	}
-
-	self.__apiContext:write(patch)
-end
-
-function ServeSession:__initialSync(rootInstanceId)
-	return self.__apiContext:read({ rootInstanceId })
-		:andThen(function(readResponseBody)
-			-- Tell the API Context that we're up-to-date with the version of
-			-- the tree defined in this response.
-			self.__apiContext:setMessageCursor(readResponseBody.messageCursor)
-
-			Log.trace("Computing changes that plugin needs to make to catch up to server...")
-
-			-- Calculate the initial patch to apply to the DataModel to catch us
-			-- up to what Rojo thinks the place should look like.
-			local hydratePatch = self.__reconciler:hydrate(
-				readResponseBody.instances,
-				rootInstanceId,
-				game
-			)
-
-			Log.trace("Computed hydration patch: {:#?}", debugPatch(hydratePatch))
-
-			-- TODO: Prompt user to notify them of this patch, since it's
-			-- effectively a conflict between the Rojo server and the client.
-
-			self.__reconciler:applyPatch(hydratePatch)
-		end)
-end
-
-function ServeSession:__mainSyncLoop()
-	return self.__apiContext:retrieveMessages()
-		:andThen(function(messages)
-			for _, message in ipairs(messages) do
-				self.__reconciler:applyPatch(message)
-			end
-
-			if self.__status ~= Status.Disconnected then
-				return self:__mainSyncLoop()
-			end
-		end)
-end
-
-function ServeSession:__stopInternal(err)
-	self:__setStatus(Status.Disconnected, err)
-	self.__apiContext:disconnect()
-	self.__instanceMap:stop()
-end
-
-function ServeSession:__setStatus(status, detail)
-	self.__status = status
-
-	if self.__statusChangedCallback ~= nil then
-		self.__statusChangedCallback(status, detail)
-	end
-end
-
-return ServeSession
--- a/plugin/src/Session.lua
+++ b/plugin/src/Session.lua
@@ -0,0 +1,97 @@
+local Rojo = script:FindFirstAncestor("Rojo")
+
+local Promise = require(Rojo.Promise)
+
+local ApiContext = require(script.Parent.ApiContext)
+local Reconciler = require(script.Parent.Reconciler)
+
+local Session = {}
+Session.__index = Session
+
+function Session.new(config)
+	local remoteUrl = ("http://%s:%s"):format(config.address, config.port)
+	local api = ApiContext.new(remoteUrl)
+
+	local self = {
+		onError = config.onError,
+		disconnected = false,
+		reconciler = Reconciler.new(),
+		api = api,
+	}
+
+	api:connect()
+		:andThen(function()
+			if self.disconnected then
+				return
+			end
+
+			return api:read({api.rootInstanceId})
+		end)
+		:andThen(function(response)
+			if self.disconnected then
+				return
+			end
+
+			self.reconciler:reconcile(response.instances, api.rootInstanceId, game)
+			return self:__processMessages(response.messageCursor)
+		end)
+		:catch(function(message)
+			self.disconnected = true
+			self.onError(message)
+		end)
+
+	return not self.disconnected, setmetatable(self, Session)
+end
+
+function Session:__processMessages(initialCursor)
+	if self.disconnected then
+		return Promise.resolve()
+	end
+
+	return self.api:retrieveMessages(initialCursor)
+		:andThen(function(messages)
+			local promise = Promise.resolve(nil)
+
+			for _, message in ipairs(messages) do
+				promise = promise:andThen(function()
+					return self:__onMessage(message)
+				end)
+			end
+
+			return promise
+		end)
+		:andThen(function()
+			return self:__processMessages()
+		end)
+end
+
+function Session:__onMessage(message)
+	if self.disconnected then
+		return Promise.resolve()
+	end
+
+	local requestedIds = {}
+
+	for _, id in ipairs(message.added) do
+		table.insert(requestedIds, id)
+	end
+
+	for _, id in ipairs(message.updated) do
+		table.insert(requestedIds, id)
+	end
+
+	for _, id in ipairs(message.removed) do
+		table.insert(requestedIds, id)
+	end
+
+	return self.api:read(requestedIds)
+		:andThen(function(response)
+			return self.reconciler:applyUpdate(requestedIds, response.instances)
+		end)
+end
+
+function Session:disconnect()
+	self.disconnected = true
+end
+
+return Session
--- a/Show More
+++ b/Show More
Author	SHA1	Message	Date
Lucien Greathouse	937c3713dd	Update plugin version. Release 0.5.4 (take 3)	2020-02-27 10:16:31 -08:00
Lucien Greathouse	f3ba1b1f16	Turn off rustfmt/clippy for 0.5.x branch	2020-02-26 18:15:02 -08:00
Lucien Greathouse	1c9905f6e2	Port GitHub workflows from master branch	2020-02-26 18:04:17 -08:00
Lucien Greathouse	e5d16e768e	Release 0.5.4	2020-02-26 18:02:49 -08:00
Lucien Greathouse	61dd407126	Merge changelog from master	2020-02-26 17:55:52 -08:00
Lucien Greathouse	a34eeb163a	Upgrade rbx-dom	2019-10-17 17:33:07 -07:00
Lucien Greathouse	1a78e9178a	Release 0.5.3	2019-10-15 18:16:21 -07:00
Lucien Greathouse	1659cf7a01	Plugin: Upgrade to latest rbx_dom_lua	2019-10-15 18:05:43 -07:00
Lucien Greathouse	78d97e162c	Release v0.5.2	2019-10-14 17:33:43 -07:00
Lucien Greathouse	5d0aa1193f	Fix LocalizationTable output order by switching to a BTreeMap. ACTUALLY closes #173.	2019-10-14 17:29:34 -07:00
Lucien Greathouse	126040a87b	Add build tests for init.meta.json	2019-10-12 23:59:54 -07:00
Lucien Greathouse	2c408f4047	Fix errors in 'Sync Details' page	2019-10-08 16:17:13 -07:00
Lucien Greathouse	b53cda787a	Add end-to-end build test for Script.Disabled via .meta.json	2019-10-08 16:09:27 -07:00
Lucien Greathouse	7b4455ed51	Release v0.5.1	2019-10-04 12:51:14 -07:00
Lucien Greathouse	5b57025b0b	plugin: Only move message cursor in response to retrieveMessages	2019-10-04 11:13:10 -07:00
Lucien Greathouse	ece454e6dd	Update dependencies	2019-10-04 10:54:53 -07:00
boyned//Kampfkarren	afa480b07d	Fix broken link to sync details (#248 )	2019-09-22 17:38:40 -07:00
Lucien Greathouse	c9b695d533	Fix guide to point to release versions instead of alphas	2019-09-20 11:06:01 -07:00
Lucien Greathouse	71c77a09a6	Update docs link to rojo.space	2019-09-19 14:02:26 -07:00
Lucien Greathouse	d309a1359c	Update changelog	2019-09-13 17:16:05 -07:00
Lucien Greathouse	b0bb486d9a	Improve diagnostics for failed instance creation	2019-09-13 16:00:08 -07:00
Lucien Greathouse	2c7c3348cf	Add help page to direct people to Discord, GitHub, and Twitter	2019-09-11 11:36:02 -07:00
Lucien Greathouse	4caac5e6cb	Update docs home for 0.5.x	2019-08-27 14:37:26 -07:00