---
phase: 08-jones-seed-exemplar-and-promotion
plan: 01
type: execute
wave: 1
depends_on: ["07-01"]
files_modified: [research/knowledge-hub/runtime/scripts/run_jones_chapter4_finite_product_formal_closure_acceptance.py]
autonomous: true
requirements: [JNS-01, JNS-02]
user_setup: []
must_haves:
  truths:
    - The Jones Chapter 4 acceptance lane generates a formal-theory topic-skill projection.
    - The projection is human-promoted into units/topic-skill-projections while the theorem packet still auto-promotes to L2_auto.
  artifacts:
    - path: research/knowledge-hub/runtime/scripts/run_jones_chapter4_finite_product_formal_closure_acceptance.py
      provides: real-topic formal-theory projection seed acceptance
---

<objective>
Make the Jones Chapter 4 acceptance lane the first real formal-theory
topic-skill projection seed.

Purpose: prove the projection-first model on a theorem-facing topic.
Output: acceptance script that generates, surfaces, and human-promotes the
projection while preserving theorem auto-promotion separately.
</objective>

<tasks>
<task type="auto">
  <name>Task 1: Extend the Jones acceptance lane with projection generation and human promotion</name>
  <files>research/knowledge-hub/runtime/scripts/run_jones_chapter4_finite_product_formal_closure_acceptance.py</files>
  <read_first>research/knowledge-hub/runtime/scripts/run_jones_chapter4_finite_product_formal_closure_acceptance.py, research/knowledge-hub/runtime/scripts/run_tfim_benchmark_code_method_acceptance.py, research/knowledge-hub/knowledge_hub/aitp_service.py</read_first>
  <action>Add theorem-facing strategy memory, call `project_topic_skill()`, run `request_promotion`, `approve_promotion`, and `promote_candidate` for the projection, and verify that the Jones acceptance now writes both the theorem auto-promotion output and the projection human-promotion output. Also make the temporary backend copy work on Windows by excluding `.lake` and ensuring a `scripts/kb.py` entrypoint exists.</action>
  <verify>python research/knowledge-hub/runtime/scripts/run_jones_chapter4_finite_product_formal_closure_acceptance.py --tpkn-template-root D:\\BaiduSyncdisk\\Theoretical-Physics\\research\\open-physics-kb --json</verify>
  <acceptance_criteria>
    - run_jones_chapter4_finite_product_formal_closure_acceptance.py contains `project_topic_skill`
    - run_jones_chapter4_finite_product_formal_closure_acceptance.py contains `request_promotion`
    - run_jones_chapter4_finite_product_formal_closure_acceptance.py contains `units\\topic-skill-projections`
  </acceptance_criteria>
  <done>The Jones acceptance lane is the first real formal-theory projection seed.</done>
</task>
</tasks>
