# Phase 174.2 Summary: First-Principles Real-Topic Dialogue Proof And Cross-Lane Report

**Status:** Done
**Date:** 2026-04-14
**Axis:** Axis 4 (human evidence) + Axis 5 (agent-facing roadmap clarity)

## What was done

Phase `174.2` closed the final dialogue leg of milestone `v2.0` and wrote the
cross-lane comparative report.

### First-principles proof route

- started from a fresh natural-language first-principles request in the
  bounded `LibRPA QSGW` deterministic-reduction direction
- kept the route tied to the already-proved `H2O/really_tight iter=10`
  deterministic-reduction consistency core
- proved the natural-language request remains visible on runtime-side steering
  artifacts while the final authoritative-L2 claim landing stays unchanged

### Cross-lane report

- wrote one explicit comparative report covering the formal, toy-model, and
  first-principles dialogue proofs
- recorded the bounded success claim, preserved steering artifacts, remaining
  blocker, and next widening decision for each lane

## Acceptance criteria

- [x] One real natural-language dialogue run proves the first-principles baseline can be entered through the public front door
- [x] Runtime steering artifacts preserve the fresh first-principles request
- [x] The route stays aligned with the bounded positive authoritative-L2 first-principles claim
- [x] One durable cross-lane report compares the three dialogue proofs
- [x] The report leaves explicit next routing for the remaining blockers

## Evidence

| Artifact | Location | Purpose |
|----------|----------|---------|
| `pytest-three-lane-real-topic-dialogues.txt` | `phases/174.2-first-principles-real-topic-natural-language-dialogue-proof-and-cross-lane-report/evidence/` | Combined isolated regression receipt for the three real-dialogue acceptance lanes |
| `first-principles-real-topic-dialogue-acceptance.json` | `phases/174.2-first-principles-real-topic-natural-language-dialogue-proof-and-cross-lane-report/evidence/` | Raw replay payload with first-principles dialogue inputs, steering artifacts, promotion receipts, and repo-local L2 parity |
| `cross-lane-readiness-report.md` | `phases/174.2-first-principles-real-topic-natural-language-dialogue-proof-and-cross-lane-report/evidence/` | Honest comparative report of the three dialogue-proof lanes |
| `receipt.md` | `phases/174.2-first-principles-real-topic-natural-language-dialogue-proof-and-cross-lane-report/evidence/` | Human-readable replay receipt |

## What this phase proved

1. The public AITP front door can steer the bounded `LibRPA QSGW`
   first-principles lane from a real natural-language request without hidden
   seed state.
2. Runtime steering artifacts preserve the first-principles dialogue request
   instead of erasing it behind internal routing.
3. All three user-requested research directions now have one bounded honest
   real-dialogue proof, and the remaining widening blockers are left explicit.

## Outcome

With Phase `174.2`, all three phases of milestone `v2.0` are complete:

- Phase `174`: formal-theory real-topic dialogue proof ✅
- Phase `174.1`: toy-model real-topic dialogue proof ✅
- Phase `174.2`: first-principles real-topic dialogue proof and cross-lane report ✅

The milestone phase work is now ready for lifecycle handling: audit, complete,
and cleanup.
