Search account component procedure by name

[Fumuran]

Our current implementation of the procedures searching requires to provide an absolute path of the procedure we want to get. This results in situations like that:

procedure_digest!(
    BASIC_FUNGIBLE_FAUCET_DISTRIBUTE,
    BasicFungibleFaucet::DISTRIBUTE_PROC_NAME,
    basic_fungible_faucet_library
);

Where BasicFungibleFaucet::DISTRIBUTE_PROC_NAME is an absolute path of this procedure, i.e. "basic_fungible_faucet::distribute".

It would be much more convenient to somehow get the library (or module in that case) name from the AccountComponent itself (internally its Library) instead of providing it along with the procedure name.

In theory we can do so using the exports map of the Library inside the AccountComponent, obtaining the first part of the export procedures paths, but maybe there is a much more simple and robust way to get it.

[bobbinth]

It may be fine to keep things as they are, but I guess one question for me is why did this change recently (with the update to the latest assembler).

My understanding is that previously, when we were building a library for an account component, all procedures somehow ended up at the root level - and so, we were able to search for them in the library by name? (or maybe that's not the case?)

Now, when we assemble an account component, the name of the module is also required to search for a procedure. The things that are unclear to me (mostly because I haven't looked deeply enough) are:

• How does the name of the module get set? i.e., where does basic_fungible_faucet come from? Is this based on the file name?
• Should we also set the name of the library? For example, should we set the name to something like miden::components::basic_fungible_faucet?
• Or is there a way to get rid of the path entirely somehow and just have procedures exported at the root level as they were before? But maybe this is no longer possible with the new assembler?