Source gating

Selection order

title, authors, identifier, version, and first-publication date;
exact prior conjecture or open question;
theorem, proposition, example, or construction that resolves it;
solved, disproved, conditional, partial-case, or disputed status;
finite obligations and imported mathematical boundaries;
relevant installed producer and verifier candidates;
source, artifact, family, implementation, capability, provider, diagnostic, and root-cause overlap;
source decision and reason.

a primary source establishes the resolution status;
the bounded task is genuinely used in the result;
the prompt can be self-contained without revealing the conclusion;
success is externally scoreable without hidden reasoning;
the artifact fits current contracts or deliberately tests a documented boundary;
an independent clean-room oracle is feasible.

a headline exaggerates the theorem status;
the source only asks a question or presents a new classification;
the artifact is illustrative rather than proof-critical;
a rational substitution changes an algebraic or finite-field theorem;
checking a nearby determinant, rank, flat lattice, or specialization does not certify the published obligation;
the task requires private data or inaccessible certificates;
the same conjecture or artifact was already evaluated;
only one family supports a speculative new capability.

Record rejections immediately. Do not run model arms to confirm a known mismatch.

Independent oracle: separately implemented or derived exact evidence.
Source-supplied replay: rerun of author code, manifests, or certificates.
Imported metadata: a hash, count, theorem, or status not reproduced from retained bytes.

Do not merge these labels. Retain archive bytes when citing an archive-level digest; otherwise mark the digest as imported metadata.