# LIB2-053 — Frobenius compatibility fixes the finite trace ratio

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

## Statement

On the reflected module 1 ⊕ 3 ⊕ 3̄, the registered Frobenius identity forces the trace weights a = b, uniquely fixing the readout r = 2 + b/(3a) = 7/3.

## Caution

The unique finite trace normalization is not an LSZ residue, a low-energy mass theorem or a derived physical export.

## Primary source

Appendix K, §4, Theorem 4.3: reflected trace weight, PDF p.244: "r = 2 + b/(3a)."

## Machine

- url: /library-v2/LIB2-053/
- content_sha256: 7633c7a40ce027a15df823a8272335a2703652204d13479a18d9563e63603472
- candidate_ids: C2-044 C2-054

## Freshness

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