동적 타입 언어 (dynamically typed languages)를 위한 타입 추론 (Type inference)은 함수 파라미터에 대한 네 가지 별개의 증거 소스, 즉 내부 할당 (internal assignments), 명시적 선언 (explicit declarations), 문맥적 요구 사항 (contextual requirements), 그리고 구조적 연산 (structural operations)을 조화시켜야 합니다. 기존 시스템들은 이러한 소스들을 하나의 제약 집합 (constraint set)으로 병합하는 경우가 많아, 가짜 충돌 (spurious conflicts)을 일으키거나 불필요한 어노테이션 (annotations)을 요구합니다. 우리는 안정적인 정의 시점 템플릿 (definition-time template) 상의 별도 단조 슬롯 (monotone slots)에 네 가지 소스를 저장하고, 각 호출을 새로운 투영 세션 (projection session)에서 확인하는 제로 어노테이션 추론 프레임워크인 Generalized Constraint Projection (GCP)를 제시합니다. 일반적인 호출은 템플릿을 수정하지 않고 구체적인 인자 (concrete arguments)를 검증하고 반환 타입 (return types)을 특수화하는 반면, 커링 (currying)은 잔여 투영 함수 (residual projected functions)를 생성합니다. GCP는 개방형 양방향 위임 프로토콜 (open bidirectional delegation protocol)을 가진 구조적 호환성 전순서 (structural compatibility preorder)인 Outline Equational Matching (OEM)을 사용하며, 서브타입을 정제하는 플루언트 API (subtype-refining fluent APIs)를 위한 수신자 보존 확장 기능인 future this를 사용합니다. 유한 높이 타입 전순서 (finite-height type preorder)의 엄격한 성공 파편 (strict success fragment)에 대해, 우리는 단조성 (monotonicity), $O(Nh_T)$ 유효 업데이트 내에서의 국소적 및 전역적 수렴 (local and global convergence), 조건부 투영-의무 건전성 (conditional projection-obligation soundness), 투영 종료 (projection termination), 다중 모듈 수렴 (multi-module convergence), 그리고 공정 단조 반복 (fair monotone iteration) 하에서의 순서 독립성 (order independence)을 증명합니다. 재귀가 없는 순수 코어인 Outline0에 대해서는 추가적으로 빅스텝 평가 정의 가능성 (big-step evaluation definedness), 타입 보존 (type preservation), 런타임 수신자 유지 (runtime receiver retention), 그리고 투영-평가 일관성 (projection-evaluation coherence)을 증명합니다. 우리는 온톨로지 월드 (ontology worlds)를 위한 타입 지정 기질 (typed substrate)로서 Outline 동적 언어에 GCP를 구현하였으며, 이를 어노테이션이 없는 Python 소스에 적용하여 다운스트림 컴파일을 위한 PEP 484 어노테이션을 복구하였습니다.