How global investors can read the Korean HBM story through DART filings, capex lines, DRAM mix and inventory — not headline capacity claims.