sequenceDiagram
    actor User
    participant CLI as CLI (config ls / doctor)
    participant Config as Config
    participant EnvResults as EnvResults
    participant Settings as Settings

    User->>CLI: mise config ls / mise doctor
    CLI->>Config: Config::get()
    Config-->>CLI: Arc<Config>
    CLI->>Config: config.env_results()
    Config->>Config: load_env() via OnceCell
    Config->>EnvResults: EnvResults::resolve(entries from _.file directives)
    loop EnvDirective::File
        EnvResults->>EnvResults: env_files.push(file)
        EnvResults->>EnvResults: env.insert(k, (v, file))
    end
    EnvResults-->>Config: EnvResults (env_files has _.file paths)
    Config->>Settings: Settings::get().env_files()
    Settings-->>Config: Vec<PathBuf> from MISE_ENV_FILE
    loop For each Settings env_file
        Config->>Config: skip if already in env_results.env_files
        Config->>Config: env_results.env_files.push(env_file)
        Config->>Config: env_results.env.insert(k, (v, env_file))
    end
    Config-->>CLI: and EnvResults (env_files = both sources unified)
    alt mise config ls
        CLI->>CLI: render config_files as table rows
        loop env_results.env_files
            CLI->>CLI: verbose: filter env keys by source == path
            CLI->>CLI: add row [display_path, keys or (none)]
        end
        CLI-->>User: table with env files appended
    else mise doctor
        CLI->>CLI: render_env_files → join paths or (none)
        CLI->>CLI: info::section(env_files)
        CLI-->>User: doctor output with env_files section
    end