Skip to content

factory(meta): Otto-364 — search-first authority (generalises Otto-247) + post-#855 vocabulary disjointness fix#856

Merged
AceHack merged 2 commits into
mainfrom
otto-364-search-first-authority-2026-04-29
Apr 29, 2026
Merged

factory(meta): Otto-364 — search-first authority (generalises Otto-247) + post-#855 vocabulary disjointness fix#856
AceHack merged 2 commits into
mainfrom
otto-364-search-first-authority-2026-04-29

fix(otto-364): vocabulary discipline 5→6 classes; resolve internal co…

fa3beab
Select commit
Loading
Failed to load commit list.
GitHub Advanced Security / CodeQL succeeded Apr 29, 2026 in 2s

No new alerts in code changed by this pull request

View all branch alerts.