pub fn default_core_plugins_dir() -> Option<PathBuf>Expand description
The core-plugins root — prebuilt plugins that ship WITH lattice
(plugin-manager.md §7 / PM.1). Distinct from default_plugins_dir (the
user’s require+build cache): core plugins are the batteries-included set,
discovered at boot at the Bundled tier. Resolved via a SEARCH PATH — the
first existing candidate wins, except an explicit $LATTICE_RUNTIME override
always wins (whether or not it exists yet):
$LATTICE_RUNTIME/plugins— explicit override,<LATTICE_INSTALL_PREFIX>/share/lattice/plugins— the prefix a packager bakes in at build time (option_env!),<exe-dir>/../share/lattice/plugins— a relocatable install /.app,<exe-dir>/../../runtime/plugins— dev, running fromtarget/<profile>/.
None when no candidate exists — the editor then loads no core plugins (a
benign skip, like an absent user plugins dir).