# LIB2-022 — The finite selector closure retains the stated boundary and coupling price

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

## Statement

The incremental price of the declared finite selector closure is 10 + 1 continuous: one ten-continuous boundary object, represented in three equivalent ways, and one positive dark coupling; discrete lifts remain degeneracies rather than consumed data.

## Caution

This incremental price neither derives the boundary datum nor supplies a programme-wide count of physically distinguishable inputs.

## Primary source

Appendix E, §7, Boundary datum: three faces, PDF p.175: "The datum the action is conditional on is single: [j] ⇐⇒ L∂ ⇐⇒ E ∗ = span{iB j, ΩiB j} — three faces of one ten-continuous boundary object, priced once."

## Machine

- url: /library-v2/LIB2-022/
- content_sha256: 8f1d264322081cd7eb8e41cf3f6deede48dfc0cc40d5404992fdc5fea42b290c
- candidate_ids: C2-105

## Freshness

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