观察类,来自 PR #6160 的 ADR-0122 时序补齐圈(2026-08-07 实测,非缺陷):
D6 正文写「tsc proves the exemption on the same run that type-checks the package」,but packages/spec 的 typecheck 脚本是两步:tsc --noEmit && pnpm check:test-typecheck。pin 文件 type-alias-convention.pin.test.ts 是 *.test.ts,第一步不覆盖它 —— 实测给被钉同构的 schema 加 .default() 后,裸 tsc --noEmit 仍 EXIT=0,由第二步(tsconfig.test.json 面的 check:test-typecheck)精确点名转红:1 type error(s) in a file the ledger does not cover。
结论不变 —— 门咬得住、且咬在 debt ledger 不覆盖的文件上(零错误即基线);只是「哪一步证明」与 ADR 字面有出入,值得后来者知道。处置建议:ADR-0122 D6 补一句证明位置说明(一行 docs 改动),#6072 作者(ADR 作者)是最合适的判断人。查重:ADR-0122 今日落地,无同类单。unassigned 交分诊。
观察类,来自 PR #6160 的 ADR-0122 时序补齐圈(2026-08-07 实测,非缺陷):
D6 正文写「tsc proves the exemption on the same run that type-checks the package」,but
packages/spec的typecheck脚本是两步:tsc --noEmit && pnpm check:test-typecheck。pin 文件type-alias-convention.pin.test.ts是*.test.ts,第一步不覆盖它 —— 实测给被钉同构的 schema 加.default()后,裸tsc --noEmit仍 EXIT=0,由第二步(tsconfig.test.json面的check:test-typecheck)精确点名转红:1 type error(s) in a file the ledger does not cover。结论不变 —— 门咬得住、且咬在 debt ledger 不覆盖的文件上(零错误即基线);只是「哪一步证明」与 ADR 字面有出入,值得后来者知道。处置建议:ADR-0122 D6 补一句证明位置说明(一行 docs 改动),#6072 作者(ADR 作者)是最合适的判断人。查重:ADR-0122 今日落地,无同类单。unassigned 交分诊。