Skip to content

Conversation

@jahorton
Copy link
Contributor

@jahorton jahorton commented Oct 24, 2025

As with #15023, this moves correction-search path merging onto SourcePath, rather than expecting ContextToken to manage it when multiple paths to construct a token exists. .merge() will now be defined on SearchSpace.

This also adds SearchSpace.isSameSpace(), a method designed for use in unit-testing at this stage. It will also have practical live applications in #15031. The method is useful for verifying that a pre-built version of the correction-search-space matches what is constructed by merging two separate spaces designed to represent the same total space when merged.

Build-bot: skip build:web
Test-bot: skip

@keymanapp-test-bot
Copy link

keymanapp-test-bot bot commented Oct 24, 2025

User Test Results

Test specification and instructions

User tests are not required

Test Artifacts

  • Web
    • KeymanWeb Test Home - build : all tests passed (no artifacts on BuildLevel "build")

@keymanapp-test-bot keymanapp-test-bot bot changed the title refactor(web): implement SourcePath merging refactor(web): implement SourcePath merging 🚂 Oct 24, 2025
@keymanapp-test-bot keymanapp-test-bot bot added this to the A19S14 milestone Oct 24, 2025
@darcywong00 darcywong00 modified the milestones: A19S14, A19S15 Oct 24, 2025
@jahorton jahorton force-pushed the refactor/web/search-path-splitting branch from b741e1d to a6ccfd0 Compare October 27, 2025 20:25
@jahorton jahorton force-pushed the refactor/web/search-path-merging branch 3 times, most recently from b38ff1b to bb341f4 Compare October 29, 2025 18:48
@keyman-server keyman-server modified the milestones: A19S15, A19S16 Nov 8, 2025
@jahorton jahorton force-pushed the refactor/web/search-path-splitting branch from 347f7ed to fc97837 Compare November 10, 2025 20:50
@jahorton jahorton force-pushed the refactor/web/search-path-merging branch from 076bfdc to bc51029 Compare November 10, 2025 20:50
@jahorton jahorton force-pushed the refactor/web/search-path-splitting branch from fc97837 to 2fc98eb Compare November 10, 2025 21:11
@jahorton jahorton force-pushed the refactor/web/search-path-merging branch from bc51029 to 413fdcf Compare November 10, 2025 21:18
@jahorton jahorton changed the base branch from refactor/web/search-path-splitting to change/web/track-righthand-split-index November 10, 2025 22:06
@jahorton jahorton force-pushed the refactor/web/search-path-merging branch from 413fdcf to e9b8e2d Compare November 10, 2025 22:21
@jahorton jahorton force-pushed the change/web/track-righthand-split-index branch from 220bf34 to b51dbc3 Compare November 11, 2025 22:24
As with the prior PR, this moves correction-search path merging onto SourcePath, rather than expecting ContextToken to manage it when multiple paths to construct a token exists.

Build-bot: skip build:web
Test-bot: skip
@jahorton jahorton force-pushed the refactor/web/search-path-merging branch from e9b8e2d to 9b947b7 Compare November 11, 2025 22:34
@keyman-server keyman-server modified the milestones: A19S16, A19S17 Nov 22, 2025
@keyman-server keyman-server modified the milestones: A19S17, A19S18 Dec 6, 2025
@keyman-server keyman-server modified the milestones: A19S18, A19S19 Dec 21, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

Status: Todo

Development

Successfully merging this pull request may close these issues.

4 participants