Strong CP problem and axions

Structural Challenge

This response is paired with its canonical Structural Challenge: Strong CP problem and axions (P083) in the Physics Structural Challenge Ledger.

τ response

Evidence route

This response is supported by 7 canonical registry items in the τ Corpus.

• IV.D355 — Strong CP Framework Account: SA-i Forbids Topological C-Sector Charge direct problem account confidence: high
• IV.P195 — No Axion Required: Strong CP Solved Structurally by SA-i boundary or nonclaim confidence: high
• IV.T160 — θ_QCD = 0 from C-Sector SA-i Admissibility formalization support confidence: high
• IV.R405 — Comparison to Peccei-Quinn: SA-i as τ-Native PQ Mechanism boundary or nonclaim confidence: medium
• V.D245 — SA-i mod-5 Formal Proof: Geometric Series Mechanism bridge structure confidence: medium
• V.T179 — ι_τ¹⁵ from Generator Orbit: 15 = dim(τ³) × |generators| formalization support confidence: medium
• V.T277 — Generator Orbit Suppression: iota_tau^15 from sigma-Involution formalization support confidence: medium

Notes

Verification

• Verification routeempirical_accountability
• Verification statuspending_external_review
• External statusexternally_open

External-review boundary

External particle-physics review of the τ formulation versus Standard-Model and BSM programs; comparison against LHC/ATLAS/CMS, neutrino, and precision-electroweak measurements.

Provenance

• v1 predecessorphys-strong-cp-problem-and-axions (promoted one to one)
• v1 mapping recovered fromf534b3fb^

Status disclaimer

A Challenge Response reports the program's current internal stance against a canonical Structural Challenge. It does not imply external verification, scientific consensus, philosophical settlement, or final proof. Read it together with its evidence route, registry references, verification status, and external-review boundary.