Function export_irs_pdf 

pub fn export_irs_pdf(
    vault_path: &Path,
    pp: &Passphrase,
    out_dir: &Path,
    tax_year: i32,
    forms: &[FormArg],
    attest: Option<&str>,
) -> Result<IrsPdfReport, CliError>

export-irs-pdf: fill the OFFICIAL IRS PDFs for tax_year and write them (owner-only) to out_dir. THIN OPENER (★ arch-C-1, Defensive Filing Wizard Task 3): opens its OWN Session and projects ONCE, then delegates everything else to [export_irs_pdf_from_session] — the &Session inner a future TUI (which already holds the vault’s VaultLock) can call directly, without a SECOND Session::open (which would deadlock the editor, session.rs:662).