Catalog push accepts a term that alias folding then makes invalid - #47

Merged

legendko merged 11 commits into

mainfrom

fix/ramp-271-canonical-disjoint

Sep 3, 2026

Commits on Sep 2, 2026

fix(sdk): check restriction disjointness on the tokens the fold produces
legendko
committed
c9363cd
feat(sdk): mirror the canonical-disjointness reject in TypeScript and Python
legendko
committed
46dbea7
fix(proto): say that disjointness is checked twice, and guard the statement
legendko
committed
dd3da33
docs: the disjointness rule is evaluated at both tiers, and the pages say so
legendko
committed
2b2cc8a
test(sdk): derive which rule ids are term rejects instead of listing them thrice
legendko
committed
deb3ef6
fix(sdk): give the disjointness refusal one message in all three languages
legendko
committed
10e87f2
test(sdk): record the fold-dependent accepted term where the Exchange's answer is
legendko
committed
4681d96
docs(sdk): correct the comments this rule made false
legendko
committed
a7efd3a
fix(proto): name the third ingest-tier reject everywhere it is enumerated
legendko
committed
73dd467
Merge main into fix/ramp-271-canonical-disjoint
legendko
committed
22fa2c6

Commits on Sep 3, 2026

Merge main into fix/ramp-271-canonical-disjoint
legendko
committed
bb77c97