/**
 * THE CARVER. Inline unportable subtrees become HOLES; a plain `<button>`
 * becomes the Kit Button.
 *
 * A real host component is rarely portable whole: its chart is hand-rolled SVG,
 * its count-up hook reads `requestAnimationFrame`, its icons are inlined
 * `<path>` data. None of that may enter the dialect — and none of it needs to:
 * a hole is host code rendered natively by the host, so the cut keeps every
 * unportable part at home, in the host's own React, referenced by name from the
 * port. The SVG vocabulary never widens; the code that needs a browser keeps
 * one.
 *
 * What is cut, and the judge for each:
 *
 *  - a TOP-LEVEL declaration (a same-module component or hook) whose body
 *    writes a tag outside the display allowlist or reads a name only the DOM
 *    lib declares — the same two facts the gauntlet refuses on, asked of the
 *    host's own compiler (`lib.dom` is where a name that "does not exist inside
 *    a screen" lives; the check's own lib is ES-only);
 *  - an INLINE subtree of the component whose tag is outside the allowlist —
 *    cut at the outermost such element into a generated home component, the
 *    names it reads from the component's own scope becoming its props;
 *  - a HOOK the component calls whose declaration was cut: the hook cannot
 *    leave the component body — React pins it there — so the cut carries the
 *    hook and the ONE element its value paints together, under a provable
 *    guard. Any guard miss refuses loudly; a hole that guesses ships a
 *    component that silently paints the wrong thing, which is worse.
 *
 * Nothing here is a second opinion about portability: the gauntlet still
 * grades every emitted port, and a carve this file gets wrong is a refusal
 * with the gauntlet's own reasons, never a silent pass.
 */
export interface CarveResult {
    /** The module with unportable declarations cut, subtrees replaced, buttons
     *  rewritten — or the input untouched when there was nothing to carve. */
    source: string;
    /** Hole components the cut produced, exported by {@link CarveResult.home}. */
    holes: string[];
    /** The generated home module: the cut declarations, their module-level
     *  closure, the generated wrappers, and exactly the imports those need. */
    home?: string;
    /** A `<button>` was rewritten, so the port imports the Kit Button. */
    button: boolean;
    /** Guard refusals — loud, named, and terminal for this slot's port. */
    issues: string[];
}
export declare function carveModule(slot: string, source: string, file: string): CarveResult;