On this page
Central-sequence regularity contract
Family 299: The Kirchberg–Rørdam character criterion and infinite tensor-power Jiang–Su stability. First application triage, 9 October 2026 Australia/Brisbane.
Problem and potential new use
Track Jiang–Su stability under the stated absence of characters in central-sequence algebras and an infinite tensor-power companion.
Applicability and commercial boundary
Ultrafilter, tensor and algebra-class conditions cannot be certified by an arbitrary finite numerical sample.
Initial business decision
Research reference or conditional symbolic/verification engineering. No recurring buyer need, practical implementation or profitability has been demonstrated. Defer a standalone commercial product until a constructive example and a measurable workflow improvement exist. These records also identify unsupported inferences that an evidence platform could flag.
Next verification action
Read exact hypotheses and quantitative approximations.
Evidence scope
The repository catalog statement was individually read. Main-paper construction, effectiveness and selected formal-scope comparison remain queued for this record. No independent Lean verification was run. Source revision fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb. See source metadata.