---
phase: 07-runtime-read-path-extension
plan: 01
type: execute
wave: 1
depends_on: ["06-01", "06-02"]
files_modified: [research/knowledge-hub/knowledge_hub/aitp_service.py, research/knowledge-hub/tests/test_aitp_service.py]
autonomous: true
requirements: [RTS-01, RTS-02]
user_setup: []
must_haves:
  truths:
    - Runtime read-path language follows the projection lane instead of assuming code_method.
    - Formal-theory projections appear in runtime status and must_read_now without bootstrap auto-load changes.
  artifacts:
    - path: research/knowledge-hub/knowledge_hub/aitp_service.py
      provides: lane-aware runtime read-path reasons for topic_skill_projection
---

<objective>
Make runtime read-path exposure for `topic_skill_projection` lane-aware.

Purpose: stop describing formal-theory projections as benchmark-first
code-method routes.
Output: lane-aware status, must_read_now, and candidate-ledger phrasing.
</objective>

<tasks>
<task type="auto">
  <name>Task 1: Update runtime read-path wording for formal-theory projections</name>
  <files>research/knowledge-hub/knowledge_hub/aitp_service.py, research/knowledge-hub/tests/test_aitp_service.py</files>
  <read_first>research/knowledge-hub/knowledge_hub/aitp_service.py, research/knowledge-hub/tests/test_aitp_service.py</read_first>
  <action>Add lane-aware helper text for `topic_skill_projection` read-path exposure, update candidate-ledger wording for the `formal_theory` lane, and assert in tests that formal-theory runtime status mentions a theorem-facing route instead of a benchmark-first code-method route.</action>
  <verify>python -m pytest research/knowledge-hub/tests/test_aitp_service.py -q</verify>
  <acceptance_criteria>
    - aitp_service.py contains `formal-theory lane`
    - aitp_service.py contains `theorem-facing route`
    - `python -m pytest research/knowledge-hub/tests/test_aitp_service.py -q` exits 0
  </acceptance_criteria>
  <done>The runtime read-path is lane-aware and honest for formal-theory projections.</done>
</task>
</tasks>
