/**
 * Core intrinsic provenance validation
 *
 * Airplane-grade rule: Intrinsics (core numeric types, ptr/out/ref wrappers, and
 * language intrinsics like stackalloc/trycast/thisarg) must come from @tsonic/core.
 *
 * If a project defines or imports a same-named symbol from somewhere else, it must
 * NOT be treated as an intrinsic. We enforce this as a hard error to avoid
 * silent miscompilation.
 */
import * as ts from "typescript";
import { TsonicProgram } from "../program.js";
import { DiagnosticsCollector } from "../types/diagnostic.js";
/**
 * Validate that core intrinsic names resolve to @tsonic/core symbols.
 */
export declare const validateCoreIntrinsics: (sourceFile: ts.SourceFile, program: TsonicProgram, collector: DiagnosticsCollector) => DiagnosticsCollector;
//# sourceMappingURL=core-intrinsics.d.ts.map