/**
 * The star count of shadok-ai's own repository, for the header button.
 *
 * Fetched HERE and not in the browser, on purpose. GitHub's official button is
 * a third-party script plus an iframe (`buttons.github.io`, `ghbtns.com`), and
 * embedding it would mean opening `script-src` to another origin — the very
 * directive that neutralises HTML an agent writes into the transcript
 * (invariant 12) — and handing GitHub the IP of every cockpit user on every
 * page load. One server-side call, cached, costs neither.
 */
export declare const STAR_REPO = "shadok-ai/shadok-ai";
/**
 * Pure: the count as GitHub renders it — thousands separated by commas.
 *
 * Written by hand rather than `toLocaleString`, whose grouping depends on the
 * server's locale: a container in another locale would print "200 227" or
 * "200.227" next to a GitHub logo, which reads as a bug.
 */
export declare function formatStars(n: number): string;
/**
 * The count, or null when it cannot be had.
 *
 * Null is a first-class answer: the button renders without a number rather
 * than showing a stale or invented one. A failed fetch keeps whatever was
 * cached — an old count beats no count — but never caches the failure itself.
 */
export declare function starCount(repo?: string): Promise<number | null>;