/**
 * Query-side specificity guards for the solution matcher (R4-T3).
 *
 * Extracted from solution-matcher.ts — orchestration-layer precision rules
 * applied AFTER calculateRelevance returns. These fix false positives from
 * ambiguous single-tag matches without regressing legitimate results.
 *
 * Rule A: single-token query AND single-tag match → reject.
 * Rule B: all matched tags came via synonym expansion (none literal in prompt)
 *         AND match is single-tag → reject.
 *
 * Returns true = reject the candidate, false = keep it.
 */
export declare function shouldRejectByR4T3Rules(promptTags: readonly string[], matchedTags: readonly string[]): boolean;