Jm/more stuff lol

.gitignore

@@ -3,3 +3,5 @@ target/
 .hermit/
 vscode/node_modules/
 vscode/package-lock.json
+docs/code-browser/index.html
+docs/code-browser/files/

FIXME.md

@@ -37,3 +37,9 @@ Fixes applied from review:
 - Support sret lowering in runtime wrapper emission to avoid ABI mismatches.
 - Use return lowering in `try` error path to avoid returning wrong signature.
 - Initialize zero values for non-opaque structs to avoid null deref when building Result payloads.
+
+Current known issues/workarounds:
+
+- Result<*T> still trips a typechecker mismatch (Param vs Path) in some generic
+  cases. Workaround: sys.vec allows limited arithmetic on type params so Vec<T>
+  can compute sizes; see tests/programs/result_ptr_generic.cap for coverage.

TODO-MEMORY.md

@@ -0,0 +1,27 @@
+TODO-MEMORY
+
+1) Make Alloc real in runtime
+   - Done: all allocating runtime paths take an Alloc handle and use it for
+     malloc/free; current backend is libc, but the ABI keeps alloc explicit.
+
+2) Fix Result<*T> typechecker bug
+   - Done: type equivalence treats type params vs unqualified paths consistently
+     in enum payload matching and Ok/Err checks.
+
+3) Remove remaining runtime Vec intrinsics
+   - Done: runtime Vec tables removed; Vec/Slice operations are pure Cap.
+
+4) Owned string and slice memory model
+   - string is a view over Slice<u8>; Text is owned Vec<u8>.
+   - Done: Safe non-stdlib modules may not return or store Slice/MutSlice to reduce
+     use-after-free hazards until a real lifetime model exists.
+   - Done: typecheck coverage for slice returns and struct/enum fields.
+
+5) Unsafe pointer API completeness
+   - Done: memcpy/memmove added to sys::unsafe_ptr and lowered in codegen.
+   - Done: ptr_is_null/ownership expectations documented.
+
+6) ABI + lowering docs update
+   - Done: opaque structs lowered to handles, field access is special-cased
+     in codegen, sret + ResultOut behavior, alloc-passing convention, and
+     Slice/string layout.

TODO.md

@@ -1,4 +1,4 @@
 Done:
 - Result<T, E> + is_ok/is_err/ok/err/unwrap_* implemented in stdlib (panic uses never type).
-- Stdlib APIs updated to use Vec<T> (compiler maps Vec<u8>/Vec<i32>/Vec<string> to VecU8/VecI32/VecString).
+- Stdlib uses Vec<T> directly (u8/i32/string supported).
 - Codex reviewed Claude-generated commits.