B2: admission and the old algebra

XII-A supplies an inherited regular-algebra embedding into its named polynomial shell carrier:

This is the old embedding, not admission of an unnamed new functional. Its Hadamard matrix is product data, not a selected state.

The existence of the old carrier does not decide which changed cubic action is being used. Nor does it imply membership of the completed insertion before B1 is discharged. Thus B2 has an available carrier prerequisite but no new admission conclusion.