You may be correct. Was TP a CA resident in 2012? Do you have a 2012 Schedule P?
Line 9 is sort a balance act for AMT income in the prior year. It should typically match 6251 line 17.
Preparer software may not have automatically carried over fed amounts to CA, like Lacerte so masterfully does.