/**
 * theorem-label — resolve a `<Theorem>` component's label from its props,
 * failing loud instead of rendering a silent empty label (#121).
 *
 * Vocabulary: `kind` is canonical; `type` is an accepted **legacy alias** (many
 * consumer books — ssm-foundations ch1–11 — and the LaTeX `\begin{<env>}`
 * mental model pass `type=`). Likewise `name` is canonical with `title`/`label`
 * accepted as aliases. Aliases keep existing content valid; they are synonyms,
 * not deprecations, so they neither warn nor throw.
 *
 * Failure mode: an absent or unrecognized kind THROWS a build-failing,
 * actionable error rather than computing `KIND_LABEL[undefined]` → a bare "."
 * (the v4.8–4.14 silent defect, live across 32+ ssm-foundations theorems). A
 * typo'd kind — silent before — now stops the build with the offending value.
 *
 * Extracted from the `Theorem.astro` frontmatter so the contract is unit-tested
 * in the pure `node --test` suite (see tests/theorem-label.test.mjs) — the same
 * single-source-of-truth move as `academic-parts.ts` (#95).
 */
declare const THEOREM_KINDS: readonly ["theorem", "proposition", "lemma", "corollary", "definition", "example", "exercise", "remark", "proof"];
type TheoremKind = (typeof THEOREM_KINDS)[number];
declare const KIND_LABEL: Record<TheoremKind, string>;
interface TheoremLabelProps {
    /** Canonical environment selector. */
    kind?: string;
    /** Legacy alias for `kind` (LaTeX-env mental model; ssm-foundations ch1–11). */
    type?: string;
    /** Explicit number, e.g. "4.2"; omit for an unnumbered environment. */
    n?: string;
    /** Canonical display name shown in parentheses. */
    name?: string;
    /** Legacy aliases for `name`. */
    title?: string;
    label?: string;
}
interface ResolvedTheoremLabel {
    /** The validated, canonical kind (for `data-kind`). */
    kind: TheoremKind;
    /** The composed "Kind N (Name)" label (never empty). */
    fullLabel: string;
}
/**
 * Resolve a `<Theorem>`'s `kind` (canonical or legacy `type=`) and compose its
 * full label. Throws — never returns an empty label — when the kind is absent
 * or not one of {@link THEOREM_KINDS}.
 */
declare function theoremLabel(props: TheoremLabelProps): ResolvedTheoremLabel;
/**
 * Resolve a theorem's display number for {@link theoremLabel}'s `n` (#126). The
 * labels.json entry's `number` — the single source `<XRef>` also reads — wins;
 * an explicit `n=` is the fallback for an un-id'd theorem (or before
 * labels.json is built). Both `null` (a `label=` display override that opted
 * out of auto-numbering) and `undefined` (no entry) fall through to `n`.
 *
 * The #126 invariant in one place: when an id resolves, the index wins, so a
 * stale `n=` can't reintroduce heading/cross-reference drift. Extracted from
 * `Theorem.astro` so the precedence is unit-tested in the pure node:test suite
 * (Astro is peerDep-only — the `.astro` frontmatter can't be loaded there).
 */
declare function resolveTheoremNumber(entry: {
    number?: string | null;
} | undefined, n: string | undefined): string | undefined;

export { KIND_LABEL, type ResolvedTheoremLabel, THEOREM_KINDS, type TheoremKind, type TheoremLabelProps, resolveTheoremNumber, theoremLabel };