Noncommutative identity testing library

Family 116: Uniform black-box noncommutative identity testing across characteristics. First review, 8 October 2026.

Problem and potential new use

Symbolic compiler teams can test ordered algebraic rewrites using deterministic exact matrix evaluations for a bounded formula class.

Applicability and commercial boundary

Free noncommutative identities differ from identities in a fixed concrete algebra. The selected universal-hitting theorem excludes the paper's construction and dimension costs.

Initial business decision

Conditional engineering. Buyer demand and profitability remain hypotheses. This first pass does not establish a validated commercial market.

Next verification action

Separate characteristic-zero, positive-characteristic and rational-formula cases before implementation.

Evidence scope

Catalog statement reviewed; inspect linked opportunity dossier for any deeper source review. This record alone does not establish full manuscript or proof verification.

Source revision fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb. See source metadata for the exact manuscripts and available scope notes.