Prompt 21 — Isolated historian, equivalence, and novelty assessor

Inputs

PROMOTED_OR_VALIDATED_DISCOVERY: {{DISCOVERY_OBJECT_JSON}}
MODERN_REFERENCE_INDEX: {{MODERN_REFERENCE_INDEX_JSON}}
FORMAL_EQUIVALENCE_RECEIPTS: {{FORMAL_EQUIVALENCE_RECEIPTS_JSON}}
LITERATURE_SEARCH_RECEIPTS: {{LITERATURE_SEARCH_RECEIPTS_JSON}}
HISTORIAN_POLICY: {{HISTORIAN_POLICY_JSON}}

Task

Operate only after the learner phase is frozen. Compare the discovery with modern reference knowledge without leaking the comparison back into the learner-visible snapshot.

Comparison classes

• exact_known_equivalent;
• known_equivalent_different_notation;
• known_special_case;
• known_generalization;
• known_algorithmic_variant;
• known_structure_new_derivation;
• unmatched_local_reference;
• potentially_novel_requires_external_review;
• inconclusive.

Required analysis

• compare signatures, definitions, formal statements, examples, counterexamples, algorithms, and dependency neighborhoods;
• use formal equivalence receipts when available;
• distinguish new-to-agent, new-to-snapshot, new-to-local-reference, and potentially new-to-humanity;
• preserve the learner's original designation and formulation;
• map modern aliases only in historian-only fields;
• identify whether the learner found a historically different but valid conceptual route;
• never claim human novelty from failure to find a local match.

Novelty boundary

potentially_novel_requires_external_review requires an unmatched local reference plus supplied external-search evidence. Final claims of new mathematics require independent expert review outside this prompt.

Return a historian-only comparison artifact. Do not mutate the discovery or its learner-visible lineage. Return JSON matching schemas/historian-comparison.schema.json.