# LIB2-186 — The unit grade-four response is a declared premise

- 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.317)
- basis: {"pdf_sha256_prefix": "b64ddcd9e16a6dcd", "release": "Rev33.1_S369"}

## Statement

PREMISE-GRADE-4-RESPONSE fixes |λµ| = 1 on the transported record quotient and removes its positive amplitude modulus while leaving τ = ±1 unselected.

## Caution

The premise does not construct Πfull, prove a microscopic grade-four readout, select the torsor side or derive a CKM quantity.

## Primary source

Appendix T, §15.4, Grade-four response premise, PDF p.335: "PREMISE-GRADE-4-RESPONSE [A1560; declared S300]. On the transported record-quotient response, identify the normalized score response with the registered unit grade-four carrier response, fixing |λµ| = 1."

## Machine

- url: /library-v2/LIB2-186/
- content_sha256: d1087b0d8079ffde80cbf9572979ff0a1bc145618c4ffadd2f7f8cb84b191f14
- candidate_ids: C2-131

## Freshness

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