---
phase: 09-docs-and-regression-closure
plan: 01
type: execute
wave: 1
depends_on: ["08-01"]
files_modified: [research/knowledge-hub/README.md, research/knowledge-hub/runtime/README.md, research/knowledge-hub/runtime/AITP_TEST_RUNBOOK.md, research/knowledge-hub/tests/test_l2_backend_contracts.py]
autonomous: true
requirements: [DOC-01]
user_setup: []
must_haves:
  truths:
    - Docs describe the Jones formal-theory projection seed honestly.
    - Regression tests lock the docs to the new projection semantics.
  artifacts:
    - path: research/knowledge-hub/tests/test_l2_backend_contracts.py
      provides: docs discoverability lock for Jones projection seed
---

<objective>
Close the milestone with docs and regression coverage that make the Jones
formal-theory projection seed discoverable and hard to regress.

Purpose: keep the projection semantics durable in docs and tests.
Output: updated docs plus a test that locks those entry points.
</objective>

<tasks>
<task type="auto">
  <name>Task 1: Update docs and regression locks for the Jones projection seed</name>
  <files>research/knowledge-hub/README.md, research/knowledge-hub/runtime/README.md, research/knowledge-hub/runtime/AITP_TEST_RUNBOOK.md, research/knowledge-hub/tests/test_l2_backend_contracts.py</files>
  <read_first>research/knowledge-hub/README.md, research/knowledge-hub/runtime/README.md, research/knowledge-hub/runtime/AITP_TEST_RUNBOOK.md, research/knowledge-hub/tests/test_l2_backend_contracts.py</read_first>
  <action>Update the Jones acceptance descriptions so they explicitly mention theorem-facing strategy memory, formal-theory projection generation, and human promotion into `units/topic-skill-projections/`. Add a test that locks those doc entry points without relying on brittle one-line exact-string matching.</action>
  <verify>python -m pytest research/knowledge-hub/tests/test_l2_backend_contracts.py -q</verify>
  <acceptance_criteria>
    - test_l2_backend_contracts.py contains `topic_skill_projection.active.json|md`
    - test_l2_backend_contracts.py contains `units/topic-skill-projections/`
    - `python -m pytest research/knowledge-hub/tests/test_l2_backend_contracts.py -q` exits 0
  </acceptance_criteria>
  <done>The milestone semantics are discoverable in docs and pinned by tests.</done>
</task>
</tasks>
