请教一个由type和interface引发的问题？

Question

最近项目中遇到了这么一个问题，先上用例
问题的playground链接

我定义了内容相同的接口(IPerson)和类型(TPersion)，和一个使用了索引签名的接口（Person），但进行extends判断时，得到了不同的结果，是因为TPerson extends Person的写法触发了分配条件类型吗？但这里TPerson没有|关键字，之前自己根据官网和stackoverflow的回答总结过分配条件类型,应该确实不是这个原因，那么到底是什么原因导致结果不同？

初步怀疑问题出在分配条件类型，或者类型兼容性，但这两块官方文档讲的都不是很清楚...

interface Person {
  [k: string]: unknown;
};
interface IPerson {
  name?: string ;
}

type TPerson = {
  name?: string ;
}

let bob: Person = {
  name: "Bob",
};
let fred: IPerson = {
  name: "Fred",
};
let jack: TPerson = {
  name: "jack",
};

bob = fred; // error
fred = bob;

bob = jack;
jack = bob;

fred = jack;
jack = fred;

type CheckA = Person extends IPerson ? true : false; // true
type CheckAReverse = IPerson extends Person ? true : false // false

type CheckB = Person extends TPerson ? true : false; // true
type CheckBReverse = TPerson extends Person ? true : false  // true ！！！

type CheckC = IPerson extends TPerson ? true : false; // true
type CheckCReverse = TPerson extends IPerson ? true : false // true ！！！