Suppose company A has CIK 0000012345 and ceases to exist. At some later time, company B registers with the SEC to submit filings.
Is it possible that company B will be assigned the same CIK 0000012345? In other words, are CIKs unique for all time or are CIKs unique at any instant of time?