@scriptc/compiler 0.1.7 → 0.2.1

package/dist/index.d.ts

@@ -1,15 +1,14 @@
-import { type WindowsSubsystem } from "./backend/targets.js";
-import { type NativeLinkInfo } from "./backend/native-link-info.js";
-import { type ScrDiagnostic } from "./diagnostics/diagnostic.js";
-import type { CoverageInput } from "./coverage/report.js";
+import type { CompileOptions, CompileSourceOptions, CompileRequestOptions, CompileSourceResult, CompileExecutableResult, CompileRequestResult, CompileLibraryOptions, CompileLibraryResult, AnalyzeOptions, AnalyzeResult } from "./compile-types.js";
+export type { CompileOutputKind, CompileBaseOptions, CompileOptions, CompileSourceOptions, CompileRequestOptions, CompileArtifact, CompileFailure, CompileSourceResult, CompileResult, CompileExecutableResult, CompileRequestResult, CompileLibraryOptions, CompileLibraryResult, AnalyzeOptions, AnalyzeResult } from "./compile-types.js";
 export declare const VERSION = "0.0.1";
 export { EXTERNAL_OBJECT_ABI_STABILITY, RUNTIME_ABI_MARKER, RUNTIME_ABI_VERSION, } from "./backend/runtime-abi.js";
 export type { NativeLinkInfo, NativeLinkFeatures } from "./backend/native-link-info.js";
 export type { WindowsSubsystem } from "./backend/targets.js";
 export { InternalCompilerError } from "./errors.js";
-export { compileExternalC as compileC, compileExternalC, runtimeSrcDir, warmNativeCaches, type CcOptions, type NativeCacheWarmProfile, type WarmNativeCachesOptions, type WarmNativeCachesResult, } from "./backend/external-c.js";
+export { compileExternalC as compileC, compileExternalC, runtimeSrcDir, type CcOptions, type NativeCacheWarmProfile, type WarmNativeCachesOptions, type WarmNativeCachesResult, } from "./backend/external-c.js";
+export { warmNativeCaches } from "./backend/warm-cache.js";
 export { ANDROID_MIN_API, IPHONEOS_MIN_VERSION, isAndroidTarget, isIosTarget, isMobileTarget, mobileLibraryTarget, mobileTargetRefusal } from "./backend/external-c.js";
-export { emitCModule, emitCModule as emitModule, type CEmitOptions, } from "./backend/c/c-emitter.js";
+export { emitLlvmModule, type LlvmTargetOptions } from "./backend/llvm/emitter.js";
 export type { ScrDiagnostic } from "./diagnostics/diagnostic.js";
 export { renderDiagnostics, renderDiagnostics as renderAll, renderDiagnostic, } from "./diagnostics/render.js";
 export { renderCoverage, type CoverageInput } from "./coverage/report.js";
@@ -25,209 +24,19 @@ export { abiExportSuffixes, buildSidecar, canonicalModuleGraph, canonicalPath, c
 export { validateSidecar } from "./library/sidecar-validate.js";
 export { BUILD_ID_SEED, SOURCE_HASH_SEED, hex16, lengthPrefixedStream, wyhash64 } from "./library/wyhash.js";
 export { ISLAND_SURFACE, STATIC_MATH_PROPS, type IslandFnEntry } from "./frontend/lowering/surfaces.js";
-export { ambientDtsPath, isExactExternalTypeSpecifier, overridesDtsPath } from "./frontend/program.js";
+export { ambientDtsPath, isExactExternalTypeSpecifier, overridesDtsPath } from "./frontend/program-node.js";
 export { resolveProvenanceSources } from "./frontend/provenance.js";
 export { wasiGuestPath, type HostPathFlavor } from "./wasi-paths.js";
 export { setProvenanceSources, type ProvenancePackageSource, type ProvenanceSources, } from "./frontend/provenance-registry.js";
 export * as ir from "./ir/ir.js";
-export type CompileOutputKind = "ir" | "c" | "llvm" | "asm" | "obj" | "exe";
-export interface CompileBaseOptions {
-    /** Primary artifact path. The CLI supplies the output-kind default. */
-    outPath: string;
-    /** Where generated intermediates and compatibility side artifacts land. */
-    outDir: string;
-    /** @deprecated This option no longer controls output cleanup; sibling artifacts are retained. */
-    defaultOutputPath?: boolean;
-    /** Compatibility-only additive IR side artifact for executable builds.
-     * The CLI's deprecated --emit-ir flag supplies this option. */
-    emitIr?: boolean;
-    sanitize?: boolean;
-    /** Embed the dynamic-island engine (--dynamic). Off = the static default:
-     * island constructs are diagnostics and nothing about codegen or linking
-     * changes. */
-    dynamic?: boolean;
-    /** Code generator for the program TU. Unset (the release default): the
-     * LLVM backend emits LLVM IR text (.ll). Supported macOS arm64 builds send
-     * it through the bundled helper and link a precompiled runtime pack; other
-     * targets retain their established compiler-driver path. A program outside
-     * the LLVM tier falls back to the debugging C backend transparently — the IR is
-     * backend-agnostic, so only the emit retries; CompileResult records the
-     * lane (`backend`, plus `llvmRefusal` when the fallback engaged). ONLY a
-     * tier refusal (LlvmUnsupportedError) falls back — every real diagnostic
-     * and every ICE fails the build on either lane. Explicit `llvm` is the
-     * debugging/CI pin and keeps the fail-loudly contract: an out-of-tier
-     * program is diagnostic SC3001 naming the first unsupported construct,
-     * never a silent lane change. Explicit `c` pins the debugging C backend.
-     * wasm32-wasi is a production LLVM target and never takes the automatic
-     * C fallback; a missing LLVM lowering there is SC3001. */
-    backend?: "c" | "llvm";
-    /** Native optimization posture. Release is the shipped -O2 default; dev
-     * uses -O0, source line tables, and stable multi-TU object caching for
-     * large LLVM programs. Darwin executables include an adjacent .dSYM. */
-    optimization?: "release" | "dev";
-    /** Remove symbol/debug payload from an executable at link time. */
-    strip?: boolean;
-    /** Windows PE executable subsystem. Console is the default; GUI suppresses
-     * automatic console-window creation. Only valid for Windows executables. */
-    windowsSubsystem?: WindowsSubsystem;
-    /** --npm-static: package names whose shipped, unminified JS compiles
-     * STATICALLY as program modules (inference types the bodies; statements
-     * the lowering cannot prove become runtime fences). "auto" opts in every
-     * directly-imported package passing the eligibility heuristics (own
-     * .d.ts, unminified JS, no build-transform markers). A package whose
-     * preflight refuses marks itself an offender and falls back to the
-     * island (--dynamic) or the requires-dynamic diagnostic (static builds)
-     * — never a silent misbuild. Off by default: nothing changes without
-     * the flag. */
-    npmStatic?: readonly string[] | "auto";
-    /** Outbound native FFI manifest. Its signature-only TypeScript bindings
-     * lower to direct C ABI calls. Source outputs retain those declarations;
-     * archive/system-library inputs join only an executable link. */
-    ffiProfilePath?: string;
-    /** Attach the machine-readable external link recipe to an object result.
-     * Valid only with outputKind "obj"; it never invokes a linker. */
-    nativeLinkInfo?: boolean;
-}
-/** Executable compile options. This remains the compatibility type for the
- * historical compile() API, whose omitted output kind means executable. */
-export interface CompileOptions extends CompileBaseOptions {
-    outputKind?: "exe";
-    /** Internal validation lane retained for helper-object artifact tests.
-     * Supported ordinary LLVM executable builds select this path automatically. */
-    nativeProgramObject?: boolean;
-}
-/** Source-artifact compile options, discriminated by the required kind. */
-export interface CompileSourceOptions extends CompileBaseOptions {
-    outputKind: Exclude<CompileOutputKind, "exe">;
-}
-/** Internal/dynamic request shape for callers that select the kind at runtime.
- * Statically executable/source callers should prefer the narrower interfaces. */
-export interface CompileRequestOptions extends CompileBaseOptions {
-    outputKind?: CompileOutputKind;
-    /** Internal validation lane for executable requests. */
-    nativeProgramObject?: boolean;
-}
-export type CompileArtifact = {
-    kind: "ir";
-    path: string;
-} | {
-    kind: "c";
-    path: string;
-} | {
-    kind: "llvm";
-    path: string;
-} | {
-    kind: "asm";
-    path: string;
-} | {
-    kind: "obj";
-    path: string;
-    nativeLinkInfo?: NativeLinkInfo;
-} | {
-    kind: "exe";
-    path: string;
-    translationUnitPath: string;
-    backend: "c" | "llvm";
-    llvmRefusal?: string;
-};
-export type CompileFailure = {
-    ok: false;
-    diagnostics: ScrDiagnostic[];
-    sourceTexts: Map<string, string>;
-};
-export type CompileSourceResult = {
-    ok: true;
-    artifact: Extract<CompileArtifact, {
-        kind: "ir" | "c" | "llvm" | "asm" | "obj";
-    }>;
-} | CompileFailure;
-/** Historical executable result shape retained for source compatibility. */
-export type CompileResult = {
-    ok: true;
-    binaryPath: string;
-    cPath: string;
-    irPath?: string;
-    backend: "c" | "llvm";
-    llvmRefusal?: string;
-} | CompileFailure;
-export type CompileExecutableResult = 
-/** `cPath` is the generated program TU next to the binary: the .ll under
- * the LLVM backend (the default lane), the .c under the C backend (same
- * seat, same lifecycle — --keep-c in the CLI governs both). `backend` is
- * the code generator that ACTUALLY emitted the TU; `llvmRefusal` is
- * present iff the default lane fell back to C, carrying the tier
- * refusal's machine-readable kind tag ("stmt:...", "libCall:...", ...).
- * These top-level fields remain as compatibility aliases for callers
- * written before the discriminated `artifact` result was introduced. */
-(Extract<CompileResult, {
-    ok: true;
-}> & {
-    artifact: Extract<CompileArtifact, {
-        kind: "exe";
-    }>;
-}) | CompileFailure;
-/** Result union for callers that choose outputKind dynamically. */
-export type CompileRequestResult = CompileSourceResult | CompileExecutableResult;
-export interface AnalyzeResult {
-    coverage: CoverageInput;
-    sourceTexts: Map<string, string>;
-}
-/** The platform the BUILD is for — the SCRIPTC_TARGET triple's OS under a
- * cross compile, the host's otherwise. The frontend needs it too (the
- * whole program compiles for ONE platform, so path.sep / os.EOL literals
- * and the path-module binding are compile-time constants); a malformed
- * SCRIPTC_CC/SCRIPTC_TARGET combination reports at compileC exactly as
- * before, so analysis falls back to the host here rather than throwing. */
+/** Platform semantics depend on the output target, without compiler discovery. */
 export declare function buildTargetPlatform(env?: NodeJS.ProcessEnv): string;
 /** Target-platform classification without compiler or SDK discovery. Source
  * artifacts need target semantics for lowering, but do not need a native
  * toolchain merely to decide whether that target is Windows, WASI, etc. */
 export declare function sourceTargetPlatform(env?: NodeJS.ProcessEnv): string;
-export interface AnalyzeOptions {
-    /** Analyze as a --dynamic build (island constructs lower instead of
-     * producing requires-dynamic diagnostics). */
-    dynamic?: boolean;
-    /** --npm-static (see CompileOptions.npmStatic): the analysis compiles
-     * opted-in packages' JS as program modules and the coverage report
-     * carries each package's static/fallback status. */
-    npmStatic?: readonly string[] | "auto";
-    /** Analyze with the outbound native bindings from this FFI manifest. */
-    ffiProfilePath?: string;
-    /** Coverage-only external host type surfaces: exact bare module
-     * specifier → local declaration file. The checker uses the declarations
-     * to analyze project code, but imported runtime values remain explicit
-     * SC1010 blockers rather than being counted as executable. */
-    externalTypes?: Readonly<Record<string, string>>;
-}
-/** Analysis without codegen: how much of the program compiles statically.
- * Unlike compile(), lowering diagnostics are data here, not failure. */
 export declare function analyze(entryPath: string, opts?: AnalyzeOptions): AnalyzeResult;
 export declare function compile(entryPath: string, opts: CompileSourceOptions): Promise<CompileSourceResult>;
 export declare function compile(entryPath: string, opts: CompileOptions): Promise<CompileExecutableResult>;
 export declare function compile(entryPath: string, opts: CompileRequestOptions): Promise<CompileRequestResult>;
-export interface CompileLibraryOptions {
-    profilePath: string;
-    /** Where the archive and the kept program TU land. */
-    outDir: string;
-    /** Archive path. Default: <outDir>/<stem>.lib.a. */
-    outPath?: string;
-    emitIr?: boolean;
-    sanitize?: boolean;
-}
-export type CompileLibraryResult = 
-/** `sidecarPath` is present exactly when the profile declares a
- * `sidecar` section: the contract JSON written beside the archive by
- * the same invocation (ask 2). */
-{
-    ok: true;
-    archivePath: string;
-    cPath: string;
-    backend: "c" | "llvm";
-    irPath?: string;
-    sidecarPath?: string;
-} | {
-    ok: false;
-    diagnostics: ScrDiagnostic[];
-    sourceTexts: Map<string, string>;
-};
 export declare function compileLibrary(opts: CompileLibraryOptions): Promise<CompileLibraryResult>;