- Compile the memoizing TypeScript checker with project-owned caches and explicit disposal. - Support nested Map and Set values with native identity and cycle tracing. - Preserve synthetic AST fragments and isolate semantic answers across snapshots.