# What we do not claim

Pinned. Peer review is out of scope. These five stay false until a later edition explicitly reverses one.

1. **We do not claim Ledger B residuals prove a ToE.** 477/477 and ~0.0066% are catalog *corrections* \(c=m(1+|S|f)\). They are not first-principles predictions.
2. **We do not claim de-novo protein fold.** Genetics is homolog-conditioned refinement; the product is sibling-owned.
3. **We do not claim Hilbert space is false.** Quantum fold residuals are not a replacement for Hilbert-space QM.
4. **We do not claim the hard problem is solved.** Consciousness factor is not a Ledger A chemistry identity.
5. **We do not claim QEMU boot confirms cosmology.** Hardware/OS harnesses are integrity (Ledger C), not \(H_0\).

Also not claimed: a Clay Millennium Prize; ECMWF beaten; ticker close as 0.5%; person-level onset as 0.5%; GitHub as a Qualifying Outlet.

Lean `FSOT.Formal.Scalar.get_domain_params` follows `DerivedNest` \(D\) and the named look/hits/observed laws. Biology is a dark medium (live \(S<0\)). Do not restore assigned looks to green a positivity theorem.