The cache judge #refuseRetype runs before every admission; the unresolved-type
throw in the load is replaced by the foreign list; writtenOwns moves to
store-format.ts as the one predicate of both judges.
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>