The main result of *Condensation and Large Cardinals* is the proof that Local Club Condensation can be obtained over any model of GCH by cofinality-preserving forcing while preserving an omega-superstrong cardinal and hence Local Club Condensation is consistent with the existence of an omega-superstrong cardinal. As Local Club Condensation is preserved in initial segments of the set theoretic universe, this shows Local Club Condensation to be consistent with most of the usual large cardinal axioms.

The paper may be found here. We used its technique of proof to verify a stronger result about Local Club Condensation and Acceptability here.

The first proof of the main result of *Condensation and Large Cardinals*, using a somewhat different proof strategy, can be found in my thesis here, but you're strongly advised to read the simplified and corrected version here instead.

In the paper, we also give an application on forcing definable wellorders in its Theorem 39. While the statement and the proof of this Theorem seem to be perfectly correct, Remark (a), which is following the proof of Theorem 39 and the associated footnote (20) are not quite correct. For a self-contained and simplified proof of Theorem 39 that also sorts out those minor issues connected to Remark (a) there is a short note here, which might also provide a good introduction to canonical function coding in general.