Repository navigation

Library API service, sourcetool ingest, and place nicknames - #4

Merged

SecureCloudGroup merged 2 commits into

mainfrom

service-and-nicknames

Sep 28, 2026

Merged

Library API service, sourcetool ingest, and place nicknames#4
SecureCloudGroup merged 2 commits into
mainfrom
service-and-nicknames

Commits on Sep 28, 2026
- Library API service, sourcetool ingest, and place nicknames
  SecureCloudGroup
  committed
  2e62747
- lookup: break exact score ties deterministically (keyless first, then prior, then id)
  SecureCloudGroup
  committed
  84d2d12