# LIB2-254 — Withdrawn universal claim that inequality conditions cannot reduce dimension

- class: RETIRED · review_state: PUBLISHED · house_tier: not yet assigned
- labels as printed: math_status None · attachment None · scorecard tier word none (PDF p.None)
- basis: {"pdf_sha256_prefix": "b64ddcd9e16a6dcd", "release": "Rev33.1_S369"}

## Statement

The earlier selector argument ruled out every positivity or stability refinement on the premise that inequality conditions cannot reduce dimension.

## Caution

The withdrawal does not make the tested stability conditions select a ray or derive the adopted action-shape principle.

## Primary source

Appendix E, Selection frontier F-SEL(c), withdrawal (a), PDF p.178: "The house’s universal cone claim is withdrawn. An earlier banked argument held that no positivity- or stability-type refinement could answer the question because inequality conditions cannot reduce dimension."

## Machine

- url: /library-v2/LIB2-254/
- content_sha256: 83af17c3ffa01cc5bce0d979c52867dc9ccfde1203822968f01940ece75a84ca
- candidate_ids: C2-121

## Freshness

- BUILD_STAMP S371a · 2026-09-26T22:53Z · master 01d1a5873ede42f5 · cut 9dcc6ce9a8ee3e02
- Declared volatile fields (R36): BUILD_STAMP