Definition: Declared sector record

A declared sector record is

where $\mathcal{L}$ is a finite nonempty label set, $0$ is a distinguished vacuum label, $N$ is a declared fusion table, $S$ is a declared matrix, $\mu >0$ is a declared number, and $\mathcal{B}$ denotes any additionally supplied braiding or category data.

These entries are inputs. Merely listing them does not prove realizability by a VOA or a conformal net. A record may additionally contain an independently supplied net, its sectors, and an extension. These remain fixed in comparisons.