Split the OS out to ecto/fxos; add loon run --unchecked

CLAUDE.md

@@ -16,7 +16,6 @@ loon/
 ├── crates/
 │   ├── loon-lang/        # Core: parser, type checker, interpreter
 │   ├── loon-cli/         # CLI: run, repl, fmt, explain
-│   ├── loon-kernel/      # RISC-V unikernel: Loon as the kernel (own workspace)
 │   ├── loon-lsp/         # Language server protocol
 │   └── loon-wasm/        # WASM bindings for browser
 ├── web/                  # Website (written in Loon, uses .loon files)
@@ -42,15 +41,12 @@ cargo test --workspace          # Run all tests
 cargo run -p loon-cli -- run samples/hello.oo   # Run a sample
 cargo run -p loon-cli -- fmt samples/           # Format files
 cargo run -p loon-cli -- new test-proj          # Creates pkg.oo + src/main.oo
-cargo run -p loon-cli -- image prog.oo         # Compile to a bare-metal boot image
-
-make -C crates/loon-kernel run                 # Boot Loon under QEMU (needs qemu + riscv64gc target)
-make -C crates/loon-kernel check               # Boot it and diff against the host
+cargo run -p loon-cli -- image prog.oo         # Compile to a boot image (consumed by fxos)
 ```
 
-`crates/loon-kernel` is deliberately outside the root workspace — it only
-builds for `riscv64gc-unknown-none-elf` and must not be swept into
-`cargo build --workspace`.
+The OS built on Loon lives in its own repo: https://github.com/ecto/fxos.
+`loon image` + `eir/image.rs` are the ABI it consumes; `tests/boot_image.rs`
+pins that format.
 
 ## Key Patterns
 

crates/loon-cli/src/main.rs

@@ -33,6 +33,10 @@ enum Command {
     /// Run a Loon file (interpreter)
     Run {
         file: PathBuf,
+        /// Skip the static checker and go straight to the VM. The VM still
+        /// fails loudly at runtime; this only drops the up-front pass.
+        #[arg(long)]
+        unchecked: bool,
         /// Run via WASM compilation + wasmtime instead of interpreter
         #[arg(long)]
         wasm: bool,
@@ -166,6 +170,7 @@ fn main() {
     match cli.command {
         Command::Run {
             ref file,
+            unchecked,
             wasm,
             legacy,
             native,
@@ -186,7 +191,7 @@ fn main() {
             } else if legacy {
                 run_file_legacy(file);
             } else {
-                run_file(file, record.as_deref());
+                run_file(file, record.as_deref(), unchecked);
             }
         }
         Command::Replay {
@@ -276,7 +281,7 @@ fn precheck_source(path: &std::path::Path, source: &str) {
     }
 }
 
-fn run_file(path: &PathBuf, record: Option<&std::path::Path>) {
+fn run_file(path: &PathBuf, record: Option<&std::path::Path>, unchecked: bool) {
     let source = match std::fs::read_to_string(path) {
         Ok(s) => s,
         Err(e) => {
@@ -285,7 +290,9 @@ fn run_file(path: &PathBuf, record: Option<&std::path::Path>) {
         }
     };
 
-    precheck_source(path, &source);
+    if !unchecked {
+        precheck_source(path, &source);
+    }
     let base_dir = path.parent().unwrap_or_else(|| std::path::Path::new("."));
     let result = match record {
         Some(trace_path) => {