Relativity extension-class evidence map

Family 264: Strong cosmic censorship near two-ended Kerr data. First application triage, 9 October 2026 Australia/Brisbane.

Problem and potential new use

Relativity researchers can track which Kerr neighborhood and weak-connection extension class a censorship claim actually concerns.

Applicability and commercial boundary

Dense G-delta genericity is not a calibrated probability for observed black holes. The theorem concerns a local smooth neighborhood of two-ended subextremal vacuum data.

Initial business decision

Defer direct product. Buyer budget, commercial novelty and profitability are unvalidated.

Next verification action

Record the exact extension definition and look for a recurring research provenance workflow.

Evidence scope

The catalog statement was individually reviewed. This record does not imply a manuscript proof review or formal-scope comparison. No independent Lean check was run. Source revision fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb. See source metadata.

Main source

Generic Future Inextendibility with Square-Integrable Connection Near a Fixed Kerr Spacetime.