Nonseparable representation contract

Family 297, source revision fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb. Selected-source addendum, 9 October 2026 Australia/Brisbane. All earlier editions are preserved.

Current decision

Defer a standalone commercial backend. No buyer interview, paid pilot or profitability evidence has been obtained.

Reviewed finding and application boundary

The selected counterexample is an unrestricted nonseparable C*-algebra built transitively through transfinite stages. Sampled matrices or a separable numerical model do not realize its hypotheses. A useful near-term application is guarding representation assumptions in research evidence, rather than promising a finite algorithm.

Evidence extent

• introduction.tex: entire 136-line introduction. Nonseparable simple unital counterexample with faithful trace, transfinite construction and prior-work context as source claims; no effective finite construction or independent historical verification.

Source metadata, individual definition observations, manuscript ledger. Selected definition/body and challenge comparison found no intended-model mismatch; imported dependency semantics, complete proof, independent kernel and executable correspondence are not verified. Intentional challenge placeholders do not establish source proof failure.

Next action

Develop finite controls where they answer a concrete modeling question, inspect quantitative construction constants separately, and compare business usefulness with an existing expert workflow. Preserve unknown hypotheses and source claims explicitly.