Add SearchPaths struct and resolve_file_path on ModulePath in term.rs. Add search_paths field to LoadedModules with accessor/setter. Modify load_decls to search across paths with to_file_path fallback. Add build_default_search_paths() with priority: source dir → CWD → motes/ → MONAD_PATH → CLI extra paths. Wire through run, run_tests, repl. Add --package-path/-p CLI flag to run, test, compile commands. test: add SearchPaths unit tests + example mote with e2e test Add Rust unit tests for SearchPaths (empty, new/push, default) and resolve_file_path (found in first dir, found in second dir when first missing, not found, empty search paths). Add example mote at motes/example/ with monad.toml manifest and greet.mo module. Add self-contained e2e Monad test (examples/test_mote.mo) verifying mote resolution concept. All 464 Rust + 175 Monad tests pass. motes: auto-discover mote src/ dirs in build_default_search_paths Scan motes/*/src/ for each mote subdirectory as additional search paths. The example mote at motes/example/src/ is now found by the test runner without --mote-path. Updates test_mote.mo to actually load from the mote via 'use greet'. All 517 tests pass (464 Rust + 53 Monad files).