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.

Main source

Strongly rational unitary vertex operator algebras and conformal nets.