v10 broadens the interactive CPU TS reasoner from v9.

Supported deterministic families:

The reasoning path remains CPU-only and uses the frozen TensionLM-117M-Reasoning-v2 substrate plus explicit TS graph/program operators.

Boolean logic:

Set reasoning:

String reasoning:

Fixed benchmark scores:

Broadened benchmark scores:

For unknown prompts, correctness means explainable abstention. These are system scores, not raw LLM scores.

Endpoints:

This artifact handles generated formal prompt families covered by the included operators. It is not a chat assistant, not raw model improvement, and not a claim of open-ended natural language understanding. The confidence values are rule-calibrated system signals over these families, not probabilities over all natural language.