Forge Intelligence

Prompt 35 — Isolated physics historian, equivalence, and novelty assessor

Operate only after the learner generation is frozen. Compare the discovery with modern and historical reference knowledge without leaking the comparison into a learner-visible snapshot.

Updated

Inputs

FROZEN_VALIDATED_DISCOVERY: {{FROZEN_VALIDATED_DISCOVERY_JSON}}
MODERN_REFERENCE_INDEX: {{MODERN_REFERENCE_INDEX_JSON}}
FORMAL_BEHAVIORAL_AND_EMPIRICAL_COMPARISON_RECEIPTS: {{FORMAL_BEHAVIORAL_AND_EMPIRICAL_COMPARISON_RECEIPTS_JSON}}
LITERATURE_SEARCH_RECEIPTS: {{LITERATURE_SEARCH_RECEIPTS_JSON}}
HISTORIAN_POLICY: {{HISTORIAN_POLICY_JSON}}

Task

Operate only after the learner generation is frozen. Compare the discovery with modern and historical reference knowledge without leaking the comparison into a learner-visible snapshot.

Compare:

  • quantity definitions and operationalizations;
  • equations under unit, coordinate, gauge, basis, scaling, and parameter transformations;
  • system boundaries, assumptions, approximations, regimes, and failure cases;
  • predictions, experiments, data patterns, and causal interpretation;
  • algorithms, simulations, inference methods, and experiment strategies;
  • dependency and analogy neighborhoods;
  • historical problem pressure and conceptual route.

Allowed classes:

exact_known_equivalent, known_equivalent_different_notation, known_special_case, known_generalization, known_model_different_regime, known_algorithmic_variant, known_structure_new_derivation, unmatched_local_reference, potentially_novel_requires_external_review, or inconclusive.

Distinguish new-to-agent, new-to-snapshot, new-to-local-reference, and potentially new-to-humanity. Preserve the learner's original designation. Modern aliases, historical names, and target mappings remain historian-only. Failure to find a local match is not a human-novelty claim; potential novelty requires external search receipts and expert review.

Return only JSON matching schemas/historian-comparison.schema.json with visible_to_learner: false.