# VOA-to-conformal-net theorem and structure bridge

Family 280: Unitary vertex operator algebras and conformal nets. First application triage, 9 October 2026 Australia/Brisbane.

## Problem and potential new use

Mathematical physicists can track module unitarization and categorical equivalence in the strongly rational unitary case.

## Applicability and commercial boundary

These abstract existence and equivalence conclusions are not a numerical field simulator or an arbitrary VOA classification algorithm.

## Initial business decision

Research infrastructure. Buyer budget, commercial novelty and profitability are unvalidated.

## Next verification action

Identify a finite exact example and the data a reusable formalization adapter would require.

## 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

[Strongly rational unitary vertex operator algebras and conformal nets](https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/preprints/Strongly-rational-unitary-vertex-operator-algebras-and-conformal-nets-September-25-2026/paper.pdf).