@cavelang/solver 0.36.6 → 0.36.8
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +15 -2
- package/package.json +1 -1
package/README.md
CHANGED
|
@@ -957,14 +957,27 @@ operands. Five explicit cases additionally select or skip division by zero in
|
|
|
957
957
|
both branch directions and reject a failing condition before branch selection.
|
|
958
958
|
Each tree checks equality and inequality against the independent exact result;
|
|
959
959
|
division-by-zero cases must retain indeterminate evaluations and diagnostics,
|
|
960
|
-
including zero multiplied by undefined arithmetic. Version 2
|
|
960
|
+
including zero multiplied by undefined arithmetic. Version 2 passed 522 outcome
|
|
961
961
|
checks across 261 trees on both supported Node majors, with 49 indeterminate
|
|
962
962
|
trees and matching fixture hashes. This is a correctness audit, not a timing
|
|
963
963
|
benchmark or an exhaustive proof for every expression.
|
|
964
|
-
`benchmarks/conditional-expression-tree-review.json` retains
|
|
964
|
+
`benchmarks/conditional-expression-tree-review.json` retains those results and
|
|
965
965
|
solver source hashes. The [earlier arithmetic-only results](../../benchmarks/explanation-arithmetic-oracle-review.json)
|
|
966
966
|
retain their original corpus and the companion wide-arithmetic oracle.
|
|
967
967
|
|
|
968
|
+
Version 3 adds 80 compound trees with equal, shared-factor, coprime and
|
|
969
|
+
unequal-scale denominators at 350 and 2,000 scale digits. Positive and negative
|
|
970
|
+
terms flow through sums, scaled products, quotients, exact cancellation and
|
|
971
|
+
computed zero divisors. Each added tree also checks failure with an explanation
|
|
972
|
+
work allowance of 1 and an identical outcome after retry with fresh default
|
|
973
|
+
limits. Constant-divisor classification is checked against Python's defined,
|
|
974
|
+
nonzero result. The [recorded compound audit](../../benchmarks/compound-fraction-oracle-review.json)
|
|
975
|
+
passes 1,162 checks across all 341 trees on Node 24.21.0 and 26.5.0, with 65
|
|
976
|
+
division-indeterminate trees and matching fixture hashes. Python's integer-text
|
|
977
|
+
conversion allowance is raised to 20,000 digits for these controlled fixtures.
|
|
978
|
+
This adds correctness and retry evidence, not a solver runtime dependency,
|
|
979
|
+
performance measurement or universal arithmetic bound.
|
|
980
|
+
|
|
968
981
|
### Balanced n-ary explanation products
|
|
969
982
|
|
|
970
983
|
Explanation multiplication now combines an operand list in balanced pairs,
|
package/package.json
CHANGED