# Phase 167.1: Contradiction 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 `167.1-CONTEXT.md`.

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

---

## Runtime/read-path parity

| Option | Description | Selected |
|--------|-------------|----------|
| Keep field name, upgrade rendering | Preserve `contradiction_candidates` while making surfaces show richer basis context. | ✓ |
| Rename the whole contradiction surface now | Cleaner long-term, but too wide for this phase. | |
| Leave rendering thin | Fails the actual goal of contradiction parity. | |

**Auto choice:** keep the field name and upgrade rendering.

---

## Proof boundary

| Option | Description | Selected |
|--------|-------------|----------|
| Add a dedicated bounded contradiction-surface acceptance script | Clear milestone proof lane with focused assertions. | ✓ |
| Reuse the old assumption-depth script only | Lower cost, but weaker milestone-proof identity. | |
| Delay proof to a later milestone | Leaves `REQ-VERIFY-01` open. | |

**Auto choice:** add a dedicated bounded contradiction-surface acceptance
script, reusing the existing fixture style.

---

## Scope safety

| Option | Description | Selected |
|--------|-------------|----------|
| Visibility and proof only | Keep phase focused on read-path parity and proof. | ✓ |
| Add scientific adjudication workflow too | Too wide for this phase. | |
| Add automatic route mutation from contradictions | Also too wide for this phase. | |

**Auto choice:** visibility and proof only.
