Resolve a bare class symbol to its class; retry a stale class-connectivity zero - #69

Merged

Robbie1977 merged 4 commits into

mainfrom

fix/class-symbol-lift-and-stale-zero-retry

Sep 11, 2026

Commits on Sep 10, 2026

Answer in the language the question was asked in
Robbie1977
committed
2988903
Resolve a bare class symbol to its class, and retry a stale class-connectivity zero
Robbie1977
committed
b0fc2de

Commits on Sep 11, 2026

Ask the user which reading was meant when a name matches several classes exactly
Robbie1977
committed
261840e
Merge main into fix/class-symbol-lift-and-stale-zero-retry
Robbie1977
committed
6b7ccc2