Follow-up under #548 and #416 after #534.
A cross-module interface can have exact, representable inherited properties while an unrelated member makes its complete serialized schema unsupported. Home currently loses every inherited property when a local generic interface extends that imported owner and a second local interface extends the first. TypeScript 6.0.3 and native TypeScript 7.0.2 accept the strict two-file cyclic reduction with zero diagnostics; current Home reports four TS2339 diagnostics for pattern, abort, format, and attach. Removing only the unrelated recursive Record-bearing callback makes Home pass, isolating the all-or-nothing owner-schema gate.
Implement declaration-identity, requested-member projection through local and qualified heritage even when the owner declaration cannot be lowered as a whole. Preserve generic substitutions, cycles, visibility, optionality, callback signatures, invalid-member controls, root-order independence, and existing private/protected union rules. Do not synthesize any, special-case names, suppress diagnostics, or approximate the complete object.
Calibrate positive and appended-negative Program controls against TS 6.0.3 and native TS 7.0.2, run full checker/Program suites, and compare the unchanged pinned Zod 4.5.2 corpus against the immutable 602-diagnostic baseline by exact path/line/column/code keys. Keep #548 untimed until the graph reaches zero diagnostics.
Provenance: #534 implementation 197ee07, #654 flow fix 2e749f7, documentation 4ef52ad.