# 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](source.json) for the exact manuscripts and available scope notes.