A registered result in its source context
Original ledger classification: Red-team [P] (survives, narrowed)
Recorded statement: RED TEAM Target F -- adversarial audit of the perturbative 4D-QFT + scale round (v269-v275), published in release 5.2. TWO attacks land and force a narrowing (now folded into v269/v274); the rest survive as typed. (1) GRAVITY S_pert…
Statement, assumptions and sources
Paper context: Red-team audit
The exact identifier, original classification and full claim are available below.
The source wording and classification below are preserved as recorded. A paper link, shared script or authored topic relation does not upgrade the claim or report a new proof run. Read later reviewed findings separately.
Read the exact registered claim and its dependencies
REDTEAM.F.01
Original ledger classification: Red-team [P] (survives, narrowed)
Original claim text
RED TEAM Target F -- adversarial audit of the perturbative 4D-QFT + scale round (v269-v275), published in release 5.2. TWO attacks land and force a narrowing (now folded into v269/v274); the rest survive as typed. (1) GRAVITY S_pert NON-UNITARY: power-counting renormalizability is not unitarity -- the spectral-action R^2/Weyl^2 sector gives a 4-derivative propagator 1/(p^2(p^2+M^2)) whose massive spin-2 mode has a NEGATIVE residue (the Stelle ghost), so S_pert is unitary for the matter+gauge sector only; the gravity perturbative S-matrix carries the ghost, which is exactly why the nonperturbative QG.AMB.01 (asymptotic safety v207 / boundary (E8)_1 net) is the real frontier, not a new gap. (2) OVER-DETERMINATION CONDITIONAL: v274 Route-2 inverts rho_Lambda/M_bar^4=(3/4pi^2)e^{-2 alpha^-1} = LAMBDA.BRANCH.01 [C], so the 0.11% gravity-vs-cosmology agreement is conditional on the Lambda-branch (the gravity route is unconditional). Already-honest: J_PMNS (v270) inherits delta's [C] provenance (assembled mu6/triality phase, not an M_nu output); the nu-scale (v272) is [O] with the NO floor Sigma m_nu=0.0586 eV as the one kill test. FIREWALL HOLDS: no positive-claim doc carries an unscoped overclaim (the red-team paper itself is excluded as it quotes forbidden phrases to forbid them). Verdict: SURVIVES (narrowed).
Original classification detail
Red-team verdict: the v269-v275 round survives as typed; two narrowings folded into v269 (gravity-sector Stelle ghost -> S_pert unitary for matter+gauge only) and v274 (over-determination conditional on the Lambda-branch). The perturbative gravity ghost IS the QG.AMB.01 frontier.
Dependencies as recorded
QFT4D.SPERT.01; QFT4D.SPERT.02; QFT4D.SPERT.03; FLAV.PMNS.03; FLAV.NUSCALE.01; SCALE.OVERDET.01; QGAMB.ROADMAP.01
Open the original ledger source, row 369Location recorded in the ledger
These document locations are recorded directly on the ledger row. They are document level navigation, rather than a newly inferred section citation.
- Red-team audit
Sections that explicitly cite this claim
A literal claim identifier is present in these paper sections. The section and its premises determine what the citation supports.
- 2026-06-18 (Red Team Target F — adversarial audit of the v269–v275 round, rt_F)Research changelog; TFPT — Introduction and reading guide
Registered verification modules
No separate module is linked in this claim record. This is a coverage statement, not a verdict about its truth.
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.