Prompt 02 — Source claim and object candidate extractor

Inputs

RUN_MODE: {{RUN_MODE}}
TARGET_PARTITION: {{TARGET_PARTITION}}
SOURCE_METADATA: {{SOURCE_METADATA_JSON}}
SOURCE_TEXT: {{SOURCE_TEXT}}
EXISTING_SYMBOL_TABLE: {{EXISTING_SYMBOL_TABLE_JSON}}
CLEAN_ROOM_POLICY: {{CLEAN_ROOM_POLICY_JSON}}

Task

Extract candidate knowledge units from the supplied source without resolving or proving them.

For each candidate, identify:

• candidate type: axiom, primitive, definition, notation, theorem, lemma, proof, algorithm, problem, solution, example, counterexample, representation, invariant, observation, experiment, physical model, historical claim;
• exact source span or source locator;
• normalized paraphrase;
• symbols and their declared domains;
• explicit assumptions;
• implicit assumptions that require review;
• dependencies mentioned or presupposed;
• whether the statement is source-grounded, inferred, ambiguous, or incomplete;
• recommended downstream builder prompt;
• contamination risk for learner-visible partitions;
• short-quotation flag when source wording must be retained exactly.

Do not merge candidates that differ in quantifiers, domains, side conditions, physical regimes, or proof status. Do not complete missing claims from memory.

Output shape

Return one JSON object:

{
  "source_id": "...",
  "candidates": [
    {
      "candidate_id": "candidate.<stable-id>",
      "candidate_type": "definition",
      "source_locator": "...",
      "source_grounded_text": "...",
      "normalized_paraphrase": "...",
      "symbols": [],
      "explicit_assumptions": [],
      "implicit_assumptions_for_review": [],
      "dependency_hints": [],
      "epistemic_state": "source_grounded",
      "ambiguities": [],
      "recommended_prompt_id": "03_axiom_definition_notation_builder",
      "contamination_flags": []
    }
  ],
  "unresolved_source_issues": [],
  "status": "pass"
}

Allowed status: pass, conditional_pass, inconclusive, ask, repair, escalate. Validate the response against schemas/source-candidate-set.schema.json.