Repository navigation

[TS] Add private assume for source semantic models - #534

Merged

CaelmBleidd merged 2 commits into

mainfrom

caelmbleidd/private-source-model-assume

Oct 16, 2026

Merged

[TS] Add private assume for source semantic models#534
CaelmBleidd merged 2 commits into
mainfrom
caelmbleidd/private-source-model-assume

Commits on Oct 16, 2026
- Add private source model assume with infeasible path pruning
  CaelmBleidd
  committed
  4b27d39
- Verify assume model catalog dependency selection
  CaelmBleidd
  committed
  36944cc