import { CompileResult } from "./compile.js";
import { ValidatedClosure } from "./closureValidator.js";
/** The typechecker settings `--agency-only` compiles with: unqualified
 *  names resolve against the reviewed SANDBOX_JS_GLOBALS allowlist, and a
 *  name that resolves to nothing is an error. */
export declare const SANDBOX_NAME_CHECKS: {
    jsGlobals: "sandbox";
    undefinedFunctions: "error";
    undefinedVariables: "error";
};
export type CompileValidatedClosureOptions = {
    /** Enforce the reviewed JS-globals allowlist (jsGlobals:"sandbox"). The
     *  `--agency-only` entry point sets this, and so does a `compile` from
     *  `std::agency` called with `strict: true`. The runtime fork path
     *  (`std::agency.run`) shares this compile but is trusted-context code that
     *  may name JS globals, so it leaves this off. */
    enforceJsGlobals?: boolean;
    fingerprintModuleIds?: boolean;
};
export declare function compileValidatedClosure(closure: ValidatedClosure, options?: CompileValidatedClosureOptions): CompileResult;