clarified theory keywords: loaded_files are determined statically in Scala, but ML needs to do it semantically;
propagate blob src_path from Scala to ML;
clarified signature;