Manuscript XIX-E@1 · XIX-E.tex · section · 702f146e
The catalogue is a source record, not a proof premise
External catalogue and operational negative controls › The catalogue is a source record, not a proof premise · lines 1075–1127
The following descriptions are the contents and attributed scopes of the supplied catalogue record dated 7 October 2026 Catalogue. They are not independently verified theorems of this note.
| Family | Supplied recorded topic | Nontransfer boundary |
|---|---|---|
| 260 | Spacetime Penrose inequalities in the described asymptotically flat or asymptotically hyperbolic/anti-de Sitter settings, under energy, decay, and trapping hypotheses | Not a de Sitter state, an original-rod lapse, or the QdS external-leg scheme |
| 362 | Large-data global smoothness for a stated relativistic Vlasov–Maxwell system and admissible initial-data class | Not a metric evolution theorem, Einstein dynamics, or spacetime emergence |
| 376 | Universal computation in a stated forced Navier–Stokes flow construction | Not a derivation of a Lorentzian metric or of gravitational dynamics |
| 271 | Heisenberg-ferromagnet/Bloch-type claims and a reported Lean scope naming 271-04 | Not a clock, a VI proof, or a quantum lapse premise |
No Penrose formula, global regularity argument, forced-flow simulation, or Lean proof is reconstructed here. The catalogue attributes these external records to OpenAI. That attribution does not authenticate their proofs or establish a comparison map into the clock programme.
Even a valid inequality for geometric initial data would not select a quantum state by itself. Smoothness of a matter PDE on a supplied background is not derivation of that background. Encoding computation into a supplied fluid forcing is not a matter–geometry equation.
VI is not the identifier 271-04. The reported Lean scope is not a proof-assistant run on VI, Em02-E, or this manuscript.