# Requirements: v1.94 L4 Analytical Cross-Check Surface

## Milestone Goal

Close the next post-`v1.93` validation-maturity gap by making bounded
analytical cross-checks explicit, durable, and visible on runtime/read-path
surfaces instead of leaving analytical validation as a thinner review artifact
that must be opened directly.

## Archived Requirements

### Analytical Check Contract

- [x] `REQ-ANX-01`: analytical validation records explicit bounded check rows
  for limiting-case, dimensional, symmetry, self-consistency, and
  source-cross-reference checks instead of only a flatter aggregate review.
- [x] `REQ-ANX-02`: each analytical check row carries the exact source anchors,
  assumption or regime context, and per-check status needed to judge why the
  check passed, failed, or remained blocked.

### Runtime Surface

- [x] `REQ-ANX-03`: `status`, `runtime_protocol`, and the primary analytical
  read path expose the same analytical cross-check surface so the operator can
  inspect bounded validation state without opening raw review JSON.

### Verification

- [x] `REQ-VERIFY-01`: the milestone closes with one bounded analytical
  cross-check proof lane that shows a candidate can surface durable analytical
  checks and replay them through the runtime read path.

## Traceability

| Requirement | Phase | Final Status |
|-------------|-------|--------------|
| REQ-ANX-01 | Phase 168 | Satisfied |
| REQ-ANX-02 | Phase 168 | Satisfied |
| REQ-ANX-03 | Phase 168.1 | Satisfied |
| REQ-VERIFY-01 | Phase 168.1 | Satisfied |

## Outcome Notes

- `REQ-ANX-01` and `REQ-ANX-02` were satisfied by Phase `168` through the
  row-first analytical-review contract
- `REQ-ANX-03` was satisfied by Phase `168.1` through runtime/read-path
  analytical cross-check parity
- `REQ-VERIFY-01` was satisfied by the dedicated analytical cross-check proof
  lane added in Phase `168.1`

_Archived after milestone closure on 2026-04-13._
