Skip to content

Conversation

@jahorton
Copy link
Contributor

@jahorton jahorton commented Oct 24, 2025

As with #15023, this moves correction-search path merging onto SearchQuotientNode, rather than expecting ContextToken to manage it when multiple paths to construct a token exists.

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
@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
@jahorton jahorton changed the title refactor(web): implement SourcePath merging 🚂 refactor(web): implement SearchQuotientSpur merging 🚂 Jan 20, 2026
@jahorton jahorton force-pushed the refactor/web/search-path-merging branch 2 times, most recently from c71e981 to 6ea2195 Compare January 22, 2026 19:36
@jahorton jahorton force-pushed the change/web/track-righthand-split-index branch from e3ce615 to 2cc3901 Compare January 22, 2026 19:36
@jahorton jahorton force-pushed the refactor/web/search-path-merging branch from 6ea2195 to 62ed31c Compare January 23, 2026 18:06
@jahorton jahorton force-pushed the change/web/track-righthand-split-index branch from 9fa7d98 to ee93327 Compare January 29, 2026 16:06
@jahorton jahorton force-pushed the refactor/web/search-path-merging branch from 6db8a43 to 7b3e229 Compare January 29, 2026 16:14
@jahorton jahorton requested review from ermshiperete and mcdurdin and removed request for ermshiperete January 29, 2026 16:16
@jahorton jahorton marked this pull request as ready for review January 29, 2026 16:16
@keyman-server keyman-server modified the milestones: A19S21, A19S22 Jan 31, 2026
Base automatically changed from change/web/track-righthand-split-index to epic/autocorrect February 5, 2026 14:54
@jahorton jahorton merged commit 0d56afc into epic/autocorrect Feb 5, 2026
7 of 8 checks passed
@jahorton jahorton deleted the refactor/web/search-path-merging branch February 5, 2026 14:54
@github-project-automation github-project-automation bot moved this from Todo to Done in Keyman Feb 5, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

4 participants