A registered result in its source context
Original ledger classification: Red-team [P] (reduced, not closed)
Recorded statement: Red Team / Stress Test Target A - adversarial attack on the (E8)_1 boundary-net identification (GATE.METRIC.03). CONFIRMS the conservative wording: central charge is NECESSARY not sufficient - (D8)_1=SO(16)_1 also has c=120/15=8 but is…
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.A.01
Original ledger classification: Red-team [P] (reduced, not closed)
Original claim text
Red Team / Stress Test Target A - adversarial attack on the (E8)_1 boundary-net identification (GATE.METRIC.03). CONFIRMS the conservative wording: central charge is NECESSARY not sufficient - (D8)_1=SO(16)_1 also has c=120/15=8 but is non-holomorphic (4 primaries 1,v,s,c), and the c=8 Narain family is positive-dimensional; (E8)_1 is the UNIQUE holomorphic c=8 net (even unimodular rank-8 lattice = E8), so HOLOMORPHY (mu-index 1) is the load-bearing extra assumption. The conformal embedding c_coset=c(E8)-c(D5)-c(A3)=8-5-3=0 is compatibility, NOT the physical subnet identification; Delta_eff>0 SUPPORTS tightness (clustering) but does not prove it; the constructive seam-Calderon->(E8)_1 map and bulk-reconstruction uniqueness are missing. VERDICT: keep 'reduced to a rigorous boundary-net identification problem', do NOT write 'metric sector closed'
Original classification detail
Red-team verdict: reduced, not closed [P]
Dependencies as recorded
GATE.METRIC.03; v77; v76; v61
Open the original ledger source, row 151Location 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.
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
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.