Forge Intelligence

Prompt 01 — Partition and ingestion planner

Run once for each source collection, historical curriculum wave, or discovery-session archive.

Updated

Use

Run once for each source collection, historical curriculum wave, or discovery-session archive.

Inputs

RUN_MODE: {{RUN_MODE}}
TARGET_PARTITION: {{TARGET_PARTITION}}
CLEAN_ROOM_POLICY: {{CLEAN_ROOM_POLICY_JSON}}
SOURCE_CATALOG: {{SOURCE_CATALOG_JSON}}
CURRENT_LIBRARY_SUMMARY: {{CURRENT_LIBRARY_SUMMARY_JSON}}
TARGET_DOMAINS: {{TARGET_DOMAINS_JSON}}
BUDGET: {{BUDGET_JSON}}
OUTPUT_SCHEMA: schemas/ingestion-plan.schema.json

Task

Create a bounded ingestion plan. Do not extract knowledge yet.

  1. Classify every source as mathematical, geometrical, physical, historical, pedagogical, or mixed.
  2. Separate learner-visible material from historian-only material.
  3. Propose source slices small enough for reliable structured extraction.
  4. Route each slice to one or more builder prompts:
  5. axioms/definitions/notation;
  6. theorem/proof;
  7. problem/solution;
  8. algorithm/representation;
  9. geometry;
  10. physics;
  11. historical lineage/curriculum.
  12. Declare expected object types, domain IDs, prerequisite IDs, and verification methods.
  13. Identify contamination risks, copyright-sensitive copying risks, missing source metadata, and ambiguous notation.
  14. Order the work as a dependency-aware DAG.
  15. Estimate deterministic work, bounded model work, break-in triggers, and human-review gates.
  16. Define batch stop rules: maximum objects, maximum unresolved dependencies, maximum failed validations, and token budget.
  17. Produce no object that targets promoted_discovery directly.

Acceptance criteria

  • Every planned output has a target partition.
  • Every learner-visible item has an explicit leakage assessment.
  • Every theorem/proof item has a proposed independent verification route.
  • Every physics item has a unit and empirical-validation route.
  • Every task names its input source IDs and predecessor task IDs.
  • Unavailable information is represented as a blocker, not guessed.

Return only JSON matching schemas/ingestion-plan.schema.json.