/**
 * Static validation for `<compute>` subtrees (spec §11, load-time checks).
 *
 * Catches the structural problems that can be found without running the tree:
 * unknown tags, contextual tags used outside an iteration, references to an
 * unbound `<use>` or unknown `<field>`, wrong arithmetic arity, a `<choose>`
 * with no `<otherwise>`, `<let>` name shadowing, and unknown `<encode>` systems.
 * Deeper value/coercion errors are left to the evaluator, which reports them at
 * render time with a clear message.
 *
 * Diagnostic codes: TDC180–TDC189.
 */
import { type Diagnostic } from '../errors/index.js';
import type { OpenCloseElementContext } from '../generated/TDCParser.js';
/**
 * Every tag of the compute sub-language, exported for the completion brain:
 * inside a `<compute>` subtree these are the only names worth offering. Read
 * off the attribute table, so a tag and what it accepts are declared once.
 */
export declare const COMPUTE_TAGS: ReadonlySet<string>;
/**
 * Validate a `<compute>` element. `knownFields`, when provided, is the set of
 * field names visible to `<field>` (a sibling gen / named sequence); field
 * references outside it are flagged.
 */
export declare function checkCompute(computeEl: OpenCloseElementContext, diagnostics: Diagnostic[], knownFields?: ReadonlySet<string>): void;
//# sourceMappingURL=compute.d.ts.map