/**
 * ConjecturePriorArtCorpus — a real, bounded prior-art corpus for the Conjecture
 * Engine's novelty check (the `rediscovered` status).
 *
 * The shipped novelty check (`assessConjectureNovelty`, ConjectureEngine.ts) takes a
 * corpus parameter but defaults to a single hardcoded entry. That is enough to prove
 * the mechanism, NOT enough to be credible: a novice who "discovers" Euler's formula
 * must be told honestly that it's already known, or the hub ships the Weil overclaim
 * (W.520 — a false "you're first!"). The honest NO is the moat (D.060).
 *
 * This module supplies a curated set of genuinely-known results across the engine's
 * live domains (geometry / topology / number theory / tropical-string-math), each a
 * `ConjecturePriorArtEntry` the novelty check compares against.
 *
 * HONEST SCOPE — do not overclaim (F.016/F.029): the shipped matcher is LEXICAL, not
 * semantic. `assessConjectureNovelty` compares HoloEmbed char-trigram histograms (see
 * `@holoscript/holoembed` camelSplit + trigramHistogram) at cosine >= 0.995, so it only
 * flags NEAR-VERBATIM restatements. A re-worded known result (different wording, same
 * meaning) will return `novel` — a false negative. This is therefore an EXACT-RESTATEMENT
 * GUARD, not a semantic novelty detector, and a 12-entry corpus is a seed, not a literature
 * index. Real credibility needs (a) a far larger corpus (10^3+ abstracts) and (b) a
 * stronger-than-trigram (truly semantic) encoder — both are documented follow-ups. Until
 * then, a non-match means "not a near-verbatim match in this seed," never "novel" with any
 * certainty (W.511 / W.520).
 *
 * Zero edits to ConjectureEngine.ts — consumes the existing corpus parameter.
 */
import { type ConjectureNoveltyAssessment, type ConjecturePriorArtEntry } from './ConjectureEngine';
/**
 * Curated known results a novice might plausibly "rediscover." Statements are phrased
 * as a discoverer would state the claim, so the lexical char-trigram near-duplicate
 * check can match a NEAR-VERBATIM re-statement (not a paraphrase). Sources are real
 * references; this is a seed, not a complete literature index.
 */
export declare const KNOWN_RESULTS_CORPUS: ReadonlyArray<ConjecturePriorArtEntry>;
/**
 * Assess a natural-language claim against the curated known-results corpus.
 * Returns the shipped `ConjectureNoveltyAssessment` — `near-duplicate` (i.e.
 * rediscovered) when the claim matches a known result above the threshold, else
 * `novel` (within this seed corpus — not a certainty; see module note + W.511).
 */
export declare function assessNoveltyAgainstKnownResults(claim: string, threshold?: number): ConjectureNoveltyAssessment;
//# sourceMappingURL=ConjecturePriorArtCorpus.d.ts.map