# LIB2-200 — The AX6 polarization postulate gives its readout without selecting itself

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

## Statement

AX6pol independently postulates Λ* = 3P/Q(Y) = 6ϕ − 1; its registered readout 3/(4 + Λ*) = ϕ⁻³ is an identity once that postulate is assumed.

## Caution

The readout identity does not derive AX6pol or the low-energy matching scale, and the retired Det2 argument does not select it.

## Primary source

Paper 4, §7, AX6 polarization postulate, PDF p.77: "AX6pol is the polarisation postulate Λ⋆ = 3P/Q(Y ) = 6ϕ − 1 on the exact-colour I4 = ϕ3 orbit"

## Machine

- url: /library-v2/LIB2-200/
- content_sha256: 26e63b669b9c912a8bd9e82aac927e1beb6db6c087719d5f79bb8ac2d6e1fff5
- candidate_ids: C2-125

## Freshness

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