Parent: #548
The pinned Zod 4.5.2 production corpus still reports 165 false TS7006 diagnostics in src/v4/core/json-schema-processors.ts. Each annotated processor is contextually typed by the imported generic alias Processor<t>, whose function parameters include namespace-qualified imported types such as schemas.$ZodType and JSONSchema.BaseSchema.
A minimal strict NodeNext project reproduces four false TS7006 diagnostics for one function expression while pinned tsc 6.0.3 and tsgo 7.0.2 are silent. The program declaration schema currently rejects every qualified type reference, discarding the surrounding callable annotation and therefore all contextual parameter types.
Acceptance criteria:
- resolve one-segment namespace-qualified type references through their actual namespace import and exported type owner
- preserve the exact outer function signature even when a referenced leaf type is outside the transferable schema subset, degrading only that leaf safely
- add focused declaration-graph and program regression coverage
- verify the reduction against pinned tsc and tsgo
- measure the untouched 106-file Zod corpus deterministically
- do not publish a timing or README row until the corpus is semantically admissible