# Freeze — Sciama floor / low-\(a\) inertia line

### RAR *end* is kind with an **assumed** formation floor · L3 derivation **killed** · do not mill 2-seat delay, cavity Greens, or SPARC \(v(r)\) · leftover OPEN · no promote

**CPT Framework — FT-ROT-PROOF / FT-L3-PAIR-KILL / L6 / L4**  
**Date:** 2026-09-22  
**Status:** **PARK FREEZE** · `PASS_FT_SCIAMA_FLOOR_PARK`  
**Parents:** `a_geom_ft_l3_pair_kill.md` · `a_geom_ft_rotation_proof_strategy_consideration.md` · FT-L6 · FT-L4 · FT-SUM · FT-RAD  
**Rule:** Resume only with a **new** kernel theorem (not LW ratio, not linear delay, not 1-body Born, not another scalar Green).

Tags: **[E honesty]** · **[Programme]** · **[O residual]**

---

## 0. One-line

> **Park here.** Low-\(a\) Sciama-type inertia in a leftover container accounts for the RAR *end* **if** a formation floor is assumed. That floor is **not** derived from 2-seat retardation (`PASS_FT_L3_PAIR_KILL`). L6 exhibits \(-\partial_t\mathbf{A}\) with the floor already in the kernel. L4 is filled support at leftover scale, unnamed, not FLRW. Circular \(v(r)\) is not a proof. Cavity Greens, Faraday, Neumann, leaky, uniqueness of \(\max\), SPARC \(I\), \(2\pi\) shop, Book C on stars: **do not mill again**. Chips OPEN. No promote.

---

## 1. What is frozen (do not resume as “the next mill”)

| ID | Frozen as |
|----|-----------|
| L3 derivation | **KILL** (pair delay / LW ratio / 1-body size) |
| Scalar cavity Greens | **CLOSED** (FT-B4DIR … FT-NS3) |
| Faraday / leaky as \(m\propto a\) | **CLOSED** (plateau / floor) |
| Prove SPARC \(v(r)\) | **FORBIDDEN** |
| Name leftover \(R\) as FLRW | **FIRE** (R-EFF freeze) |
| Lensing = leftover Hopf at \(\theta_E\) / Sun | **NO** (FT-SUM) |
| 1-body ED self-force | **NO** (two-seat) |

---

## 2. What still stands (kind, not theorems)

| Claim | Status |
|-------|--------|
| Drop constant \(m\), keep \(g=GM/r^2\) | L0 algebra; smallest in-frame drop (FT-INV) |
| Linear Sciama = constant \(m\) | L1 |
| Wrong-end kills (visibility, \(W(E)\), domain cut) | L2 |
| Clock \(a/c\), not \(\Omega\) | FT-H0FREQ |
| Floor **assumed** \(\Rightarrow\) IR \(\propto a\), UV const | L6 proxy / FT-SCINT / L3 form factor *kind* |
| Leftover \(\rho\) compact support, \(L_{\mathrm{eff}}\sim O(R)\) | L4 |
| Radcliffe Newtonian period: lemma gated on \(\lvert a\rvert\), not \(a_z\) | FT-RAD |
| EFE / unbound / local lensing vs kinematics | CAT-EVID, not this freeze’s theorem |

---

## 3. Resume gate

A future mill is licensed only if it **derives** a kernel with the right RAR end **without** inserting \(\max(r,L_a)\) and **without** the killed analogs. Until then: park. Catalogues may judge \(O(1)\) in \(a_\star\) only as clothes, not as a close.

First task if resumed: state the new kernel theorem in one line; if it is delay, LW, Born self-ball, or a cavity resolvent, **stop**.

---

## 4. Integrity

| Gate | Held |
|------|:----:|
| Floor not derived | **Yes** |
| RAR kind not sold as theorem | **Yes** |
| \(R\) unnamed | **Yes** |
| No SPARC / \(2\pi\) / chip / hub dump | **Yes** |
| Sky cosmogony TO BED | **Yes** |

**Exit:** `PASS_FT_SCIAMA_FLOOR_PARK`

---

## 5. One-line for agents

> **§FT-SCIAMA-PARK: RAR end is kind with an assumed floor; L3 pair derivation KILL; do not mill delay/Greens/SPARC; leftover OPEN; no promote.**