Add lyte_compiler_check to the C FFI

Exposes a fast parse + type-check + safety-check pass without
specialization or backend codegen, for editor-side validation in
non-Rust hosts.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

Author: wtholliday

Sources/CLyte/include/lyte.h

@@ -50,6 +50,12 @@ bool lyte_compiler_add_source(LyteCompiler* compiler, const char* source, const
 /// Call before lyte_compiler_add_source. Returns true on success.
 bool lyte_compiler_add_prelude(LyteCompiler* compiler, const char* source);
 
+/// Parse and type-check (including safety checks) all added source,
+/// without specializing or invoking any backend. Useful for fast
+/// validation in editors. Returns true on success; on failure, the
+/// error message is available via lyte_compiler_get_error.
+bool lyte_compiler_check(LyteCompiler* compiler);
+
 /// Parse, type-check, specialize, and compile all added source into
 /// a LyteProgram (auto-selects JIT or VM backend).
 /// Returns NULL on error. Caller must free with lyte_program_free.

src/ffi.rs

@@ -206,6 +206,25 @@ pub unsafe extern "C" fn lyte_compiler_add_prelude(
     })
 }
 
+/// Parse and type-check (including safety checks) all added source,
+/// without specializing or invoking any backend.
+/// Returns true if the program is well-typed and safe; false otherwise.
+/// On failure, the error message is available via lyte_compiler_get_error.
+#[no_mangle]
+pub unsafe extern "C" fn lyte_compiler_check(ptr: *mut LyteCompiler) -> bool {
+    if ptr.is_null() {
+        return false;
+    }
+    catch_panic(ptr, |c| {
+        c.last_error = None;
+        if !c.compiler.check() {
+            c.set_error(&c.compiler.last_errors.join("\n"));
+            return false;
+        }
+        true
+    })
+}
+
 // ============ Program API ============
 
 // On LLVM builds: JIT backend with function pointers.