Function logos_extension 

pub fn logos_extension(
    builtin: ExtensionBuiltin,
    args: Vec<LogosValue>,
) -> LogosValue

builtin applied to args in a compiled program: logicaffeine_base::extension::call on this value model, the interpreter’s own dispatcher, stopping with its refusal.