Family 365 is documentary, not a premise

The inspected catalogue records attribute to OpenAI:

• 365-01, dated 5 October 2026: Determination of a metric and a unitary connection from one boundary patch;

• 365-02, dated 24 September 2026: Smooth anisotropic uniqueness in the Calderón problem from one boundary patch;

• 365-03, dated 23 September 2026: Nonuniqueness for bounded measurable scalar conductivities in three dimensions.

The first two abstracts concern Riemannian elliptic inverse problems, not Lorentzian causal reconstruction. The catalogue describes the third as a bounded-measurable scalar-conductivity counterexample. Its displayed Lean scope record names 365-03, not 365-01 or 365-02 OAI365a,OAI365b,OAI365c.

These statements are neither independently verified here nor used as theorem premises. The inspected pages did not provide an accessible complete proof through their displayed source sections. The supplied excerpts contain selected arguments, but not an executed verification of the full inverse claims.

For comparison, established inverse-problem literature includes smooth isotropic full-boundary uniqueness SylvesterUhlmann, real-analytic connection-Laplacian recovery GabdurakhmanovKokarev, and Poisson-embedding methods LassasLiimatainenSalo. Their hypotheses must not be silently replaced by the stronger catalogue descriptions.