What does REQUIRED track?

[SirWumpus]

Should REQUIRED track the entire caddr u file path or should it only track the basename of the file path? The 1st case would allow loading the same file name from different paths, while the 2nd consumes less resources.

[ruv]

required identifies a file by the provided name (c-addr u) at the least. Whether it takes into account the full name (beyond c-addr u) — depends on implementation. For a standard program it does not matter.

Yes, if required only tracked the base name (the name without the path), then two files with the same name form different directories could not be both loaded by required. I think, this is not an option.