1 files changed, 6 insertions, 4 deletions
diff --git a/src/main.zig b/src/main.zig
index 3bc24e3..f95812d 100644
--- a/src/main.zig
+++ b/src/main.zig
@@ -399,14 +399,16 @@ pub fn main(init: std.process.Init) !void {
     // chance to register tools that might want to yield.
     try rt.installScheduler();
 
-    // Discover Lua extensions from $XDG_CONFIG_HOME/panto/extensions (or
-    // $HOME/.config/panto/extensions) and ./.panto/extensions. Project
-    // entries shadow user entries with the same name; tool-name collisions
-    // between extensions abort startup.
+    // Discover Lua extensions across three layers — system
+    // ($PANTO_HOME/agent), user ($XDG_CONFIG_HOME/panto or
+    // $HOME/.config/panto), and project (./.panto). Project shadows
+    // user shadows system; tool-name collisions across surviving
+    // entries abort startup.
     const n_ext_tools = extension_loader.discoverAndLoad(
         alloc,
         io,
         init.environ_map,
+        luarocks_rt.layout.agent_dir,
         rt,
     ) catch |err| {
         std.log.err("extension discovery failed: {t}", .{err});