# Phase 168.1: Analytical Runtime Surface And Proof Lane - Discussion Log

> **Audit trail only.** Do not use as input to planning, research, or execution
> agents. Decisions are captured in `168.1-CONTEXT.md`.

**Date:** 2026-04-13
**Phase:** 168.1-analytical-runtime-surface-and-proof-lane
**Mode:** auto (`gsd-discuss-phase 168.1 --auto`)
**Areas discussed:** runtime/read-path parity, proof boundary, scope safety

---

## Runtime/read-path parity

| Option | Description | Selected |
|--------|-------------|----------|
| Extend the existing validation review bundle with a structured analytical surface | Reuses the current machine/human read path and keeps runtime parity bounded. | ✓ |
| Invent a separate runtime analytical surface family | Cleaner split in theory, but wider churn across status/runtime/readers. | |
| Leave the runtime path summary-only | Too thin to satisfy the runtime-surface requirement. | |

**Auto choice:** extend the existing validation review bundle with a structured
analytical surface.

---

## Proof boundary

| Option | Description | Selected |
|--------|-------------|----------|
| Add one dedicated analytical cross-check acceptance script and keep the old analytical judgment script green | Closes the milestone cleanly without regressing the baseline lane. | ✓ |
| Reuse only the older analytical judgment acceptance script as the milestone proof | Too broad and not explicit enough for the new surface. | |
| Add no dedicated proof lane | Leaves `REQ-VERIFY-01` open. | |

**Auto choice:** add one dedicated analytical cross-check acceptance script and
keep the older analytical judgment lane green.

---

## Scope safety

| Option | Description | Selected |
|--------|-------------|----------|
| Keep scope on runtime visibility and proof only | Matches the roadmap split and avoids reopening analytical backend questions. | ✓ |
| Reopen symbolic/CAS or route-mutation work now | Too wide for this milestone close-out phase. | |
| Delay schema updates and store everything in prose only | Weakens the machine-readable runtime surface. | |

**Auto choice:** keep scope on runtime visibility and proof only.

---

## the agent's Discretion

- exact field name for the structured analytical surface in the review bundle
- whether dashboard parity lands in the same slice as required status/runtime
  parity
- whether the dedicated proof script factors helper code or stays self-contained

## Deferred Ideas

- automatic route mutation from analytical outcomes
- multi-candidate analytical comparison
- symbolic backend integration
