# Deferred Lane Routing After v1.98

## Lane convergence status

- **Pure formal theory research:** bounded positive authoritative-L2 baseline
  closed in `v1.97`.
- **Toy model numerical + derivation:** bounded HS-like positive authoritative-L2
  baseline closed in `v1.98`.
- **Large codebase / first-principles / algorithm development:** still open.

## Deferred lane: `LibRPA QSGW`

### Why it is still deferred

- no bounded positive `first_principles -> code_method -> authoritative L2`
  target has been pinned yet
- no durable codebase-ingestion packet has mapped the `LibRPA QSGW` code and
  workflow surfaces into repo-local `L2`
- no benchmark or convergence contract has yet been tied to one bounded QSGW
  claim suitable for promotion

### Next bounded milestone objective

Start a new milestone around:

1. ingesting the `LibRPA QSGW` codebase as first-class AITP knowledge
2. pinning one bounded positive QSGW workflow or algorithmic claim
3. proving one honest benchmark or convergence contract for that claim
4. driving that bounded claim into authoritative canonical `L2`

### Non-goals for the next slice

- do not try to close every QSGW workflow at once
- do not mix the bounded QSGW closure with new HS widening claims
- do not reopen the already-closed formal or bounded toy-model baseline while
  scoping the first-principles lane
