# 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](source.json).

## Main source

[Generic Future Inextendibility with Square-Integrable Connection Near a Fixed Kerr Spacetime](https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/preprints/Generic-Future-Inextendibility-with-Square-Integrable-Connection-Near-a-Fixed-Kerr-Spacetime-September-23-2026/paper.pdf).