refactor: extract extraction.ts from public.ts (1935 lines)
Moved the extraction pipeline, formula analysis, selector resolution glue, CDP extraction, canonical compilation, contract building, cardinality evaluation, FOL diagnostic mapping, compatibility reporting, and all module-level extraction state into a dedicated extraction.ts module. public.ts reduced from 3568 to 1533 lines (-57%). The remaining file contains only the imhotep() entry point, property-run internals, and component/story/fixture entry points, plus re-exports for backward compatibility.
This commit is contained in: