[Rafael-SOWNet]

Found by limitcheck at seed 11. No issue was filed.

Under the complex codomain, which is the default, two one-sided limits that agree were not taken for the two-sided one. That rule exists for x^x, which has a limit from the left only through its complex values and no two-sided limit over the reals (LimitTest.TestNoLimit pins this). But it also caught expressions that are real on both sides:

	2.6.0 and master	this PR
(x^2)^x at 0	NaN	1
(x*x)^(x - 1) at 0	NaN	+oo
x^x at 0	NaN	NaN

NaN says the limit does not exist, and each side is 1 (or +oo).

Agreeing sides are now taken for the two-sided limit where the expression is real on both sides of the point. That is decided structurally: every power to an exponent that is not whole, and every logarithm, must have a base that is positive on both sides, by SignNear. Anything not listed counts as not real, which costs coverage, never correctness.

limitcheck, 600 expressions at each of seeds 1, 7 and 11: the findings and counts are master's, except at seed 11, where the (x*x)^(x - 1) row is gone.

Tests: the three cases in ALimitRealOnBothSidesTest fail on master; the two controls, x^x and (x/pi)^x, pass on both. There is a BREAKING entry, A two-sided limit of an expression real on both sides is where its sides agree.

🤖 Generated with Claude Code

[codecov]

Codecov Report

❌ Patch coverage is 86.95652% with 3 lines in your changes missing coverage. Please review.
✅ Project coverage is 86.77%. Comparing base (a7785bc) to head (f4189bc).

Files with missing lines	Patch %	Lines
...ns/Continuous/Limits/Solvers/Solvers.Definition.cs	86.95%	1 Missing and 2 partials ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #2336      +/-   ##
==========================================
+ Coverage   86.76%   86.77%   +0.01%     
==========================================
  Files         312      312              
  Lines       68526    68547      +21     
  Branches    19935    19946      +11     
==========================================
+ Hits        59458    59485      +27     
+ Misses       4907     4902       -5     
+ Partials     4161     4160       -1     

Flag	Coverage Δ
cpp	37.77% <ø> (ø)
csharp	87.32% <86.95%> (+0.01%)	⬆️
fsharp	32.97% <ø> (ø)
interactive	40.72% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

Files with missing lines	Coverage Δ
...ns/Continuous/Limits/Solvers/Solvers.Definition.cs	89.72% <86.95%> (+0.70%)	⬆️

... and 5 files with indirect coverage changes

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.