# Requirements Archive: v1.98 Toy Model Positive L0 To L2 Closure

**Archived:** 2026-04-13
**Status:** SHIPPED

For current requirements, see `.planning/REQUIREMENTS.md`.

---

# Requirements: v1.98 Toy Model Positive L0 To L2 Closure

## Milestone Goal

Prove that one bounded positive `HS model` toy-model lane can travel from the
public AITP front door through honest benchmark or convergence gating and land
one authoritative unit in canonical `L2`, while remaining clearly separated
from the already-shipped HS negative-result route.

## Active Requirements

### Positive HS-Lane Closure

- [x] `REQ-HS-01`: one fresh `toy_model` topic enters through the public front
  door and is narrowed to one bounded positive `HS model` target that is
  distinct from the already-proven OTOC mismatch failure route.

- [x] `REQ-HS-02`: one explicit convergence, benchmark, or analytic-trust
  contract proves the chosen positive `HS model` target is honest enough for
  promotion instead of being inferred from bootstrap or prose alone.

- [x] `REQ-HS-03`: the bounded positive `HS model` target promotes one
  authoritative unit into canonical `L2` with durable backend and repo-local
  receipts.

### Coexistence And Replay

- [x] `REQ-HS-04`: compiled L2 and `consult-l2` preserve honest coexistence
  between the new positive `HS model` unit and the existing HS negative-result
  route without flattening authority or provenance.

- [x] `REQ-HS-05`: the milestone closes with one replayable acceptance lane
  for the positive `HS model` route plus explicit carry-over notes for the
  deferred `LibRPA QSGW` first-principles / code-method lane.

## v2 Requirements

- `REQ-QSGW-01`: ingest the `LibRPA QSGW` codebase and route one bounded
  first-principles / code-method positive lane into authoritative `L2`.

## Out of Scope

| Feature | Reason |
|---------|--------|
| Closing `toy_model` and `first_principles` in the same milestone | `v1.98` stays bounded to one honest `HS model` positive route first |
| Reopening the formal-theory Jones lane | `v1.97` already closed the formal positive baseline |
| Broad multi-topic toy-model benchmarking | keep the milestone tied to one bounded `HS model` positive target |

## Traceability

| Requirement | Phase | Status |
|-------------|-------|--------|
| REQ-HS-01 | Phase 172 | Done |
| REQ-HS-02 | Phase 172 | Done |
| REQ-HS-03 | Phase 172.1 | Done |
| REQ-HS-04 | Phase 172.1 / 172.2 | Done |
| REQ-HS-05 | Phase 172.2 | Done |

**Coverage:**
- v1 requirements: 5 total
- mapped to phases: 5
- unmapped: 0
