# Phase 165.1-01 Summary

Status: implemented in working tree

## Goal

Open `165.1` by turning the proof-engineering gap discovered in the Jones E2E
run into durable reusable protocol state instead of leaving the construction
recipe and strategy lessons trapped in chat memory.

## What Landed

- new proof-fragment payload schema:
  - `research/knowledge-hub/schemas/proof-fragment.schema.json`
- new proof-engineering bootstrap module:
  - `research/knowledge-hub/knowledge_hub/proof_engineering_bootstrap.py`
- new runtime-side seeding script:
  - `research/knowledge-hub/runtime/scripts/bootstrap_jones_proof_engineering_memory.py`
- first canonical `proof_fragment` instance:
  - `research/knowledge-hub/canonical/proof-fragments/proof_fragment--jones-codrestrict-comp-subtype-construction-recipe.json`
- Jones proof-engineering discoveries are now seeded into durable
  `strategy_memory.jsonl` rows and re-indexed into canonical memory surfaces

## Verification

- `python -m pytest research/knowledge-hub/tests/test_proof_engineering_bootstrap.py -q`

## Outcome

`165.1` is materially closed:

- `proof_fragment` is no longer a reserved family without a payload contract
- the Jones codRestrict recipe now exists as the first canonical proof fragment
- the initial proof-engineering strategy lessons now have a durable runtime seed

## Remaining Open Work After 165.1

- broader `999.52` distillation beyond the first Jones seed
- cross-topic reuse validation for proof-engineering memory
