Repository navigation
[TS] Execute modeled Number exponentiation (#428) - #454
Draft
CaelmBleidd wants to merge 7 commits into
Draft
CaelmBleidd wants to merge 7 commits into
CaelmBleidd wants to merge 7 commits into
Conversation
CaelmBleidd
force-pushed
the
caelmbleidd/ts-428-exponentiation
branch
from
October 2, 2026 22:21
27277ad to
8f91900
Compare
CaelmBleidd
changed the base branch from
main
to
caelmbleidd/ts-422-string-value-equality
October 2, 2026 22:21
CaelmBleidd
force-pushed
the
caelmbleidd/ts-422-string-value-equality
branch
from
October 3, 2026 05:21
7927e93 to
127ecb5
Compare
CaelmBleidd
force-pushed
the
caelmbleidd/ts-428-exponentiation
branch
from
October 3, 2026 05:28
e887b32 to
de035f9
Compare
CaelmBleidd
force-pushed
the
caelmbleidd/ts-422-string-value-equality
branch
from
October 4, 2026 19:51
e5527a3 to
7217c2a
Compare
Base automatically changed from
caelmbleidd/ts-422-string-value-equality
to
main
October 5, 2026 12:37
Remove duplicate Node process handling from #428 regressions while preserving witness assertions.
CaelmBleidd
force-pushed
the
caelmbleidd/ts-428-exponentiation
branch
from
October 7, 2026 21:47
a76c055 to
615bcb7
Compare
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Number exponentiation supports fixed exponents
0,1,2and0.5, plus exact discrete special cases±0 ** -1and-1 ** ±Infinity. Square root preserves JavaScript's signed-zero and infinity behavior. Other concrete powers, symbolic exponents and unsupported operand conversions remain explicit unsupported outcomes.Related to #428. This PR stays draft: its bounded model does not implement general JavaScript exponentiation. JVM
Math.powmay differ from Node by one ULP, so unsupported cases do not use it as a guessed result.Current head:
615bcb7ab786567d0d5faf39911574a6dd1e71f1, based on current main2c4f17c4c9fc0d70057e374ec462600a0d9c4bbf. The original seven-commit change is preserved, including ordinary source regressions throughdiscoverProperties, unsupported outcome checks and shared Node witness replay.Validation on the committed published JacoDB pin
ddb127d9ef, with no composite substitution: Exponentiation 8/8 passed; Division, Remainder and Neg 10 passed with 3 existing skips. Both main/test Detekt reported zero findings andgit diff --checkpassed. This is focused local validation; new-head GitHub CI and a decision to accept the bounded model remain review gates.