Function import_with 

pub fn import_with(
    input: &str,
    request: ImportRequest,
) -> Result<(ImportedContext, ImportReport), Verdict>

Import as request asks. This is LOGOS’s import surface: every native_decide step is read as its re-derivation by kernel evaluation and listed in the report’s native_decisions (native_decide); the Arena protocol (check_str) reads the export exactly as exported.