같은 필드를 가진 객체인데 리터럴 대입만 excess property 오류가 나는 이유는 무엇인가요?

TypeScript의 기본 대입은 구조적입니다. target이 id: string을 요구하면 source가 그 필드를 갖는 한 추가 필드가 있어도 사용할 수 있습니다. 다만 fresh object literal을 target에 직접 대입하는 위치에서는 오타 가능성을 줄이기 위한 excess property check가 추가됩니다.

type User = { id: string };
const direct: User = { id: 'u1', nmae: 'typo' }; // 오류
const raw = { id: 'u1', nmae: 'typo' };
const indirect: User = raw;                       // 구조상 허용

T0의 direct는 literal의 nmae가 User에 없는 이름이므로 ordinary context에서 compile-time error가 됩니다. T1의 raw는 먼저 자기 타입 {id:string; nmae:string}으로 추론됩니다. T2에 raw를 User로 대입할 때 compiler는 필요한 id를 찾고, 이미 변수에 담긴 값이라는 문맥에서는 excess check를 같은 방식으로 적용하지 않아 허용될 수 있습니다. 그렇다고 raw가 정확한 User이거나 nmae이 안전하다는 뜻은 아닙니다. excess property check는 exact object type도 runtime allow-list도 아닙니다.

함수 호출, spread, generic inference, union이 섞이면 “항상 오류”라는 설명을 확대하지 말고 target compiler·옵션·문맥을 고정해 재현해야 합니다. 외부 JSON의 추가 필드를 금지하거나 제거해야 한다면 runtime schema validator와 정규화가 필요합니다. satisfies는 literal의 정적 검사를 더 잘 보존할 수 있지만 runtime 검증을 추가하지 않습니다. 예를 들어 const raw = JSON.parse(text) as User는 오타 필드를 제거하지 않고, 변수 우회도 네트워크 입력의 안전성을 높이지 않습니다. API adapter에서 허용 키를 실제로 reject하거나 strip해야 한다면 compiler 진단과 별도의 schema 정책을 실행해야 합니다.