How non-Korean investors read Korean disclosures at scale: DART XBRL structure, taxonomy traps, and a pipeline from raw filing to clean numbers.