Could one concrete path match both templates AND leave no principled winner?
Templates of EQUAL literal count that overlap are the ambiguity. Overlapping templates of
DIFFERENT literal counts are not: most-literal-wins adjudicates them deterministically, which
is exactly how a literal override is meant to work. Counting those would veto every deliberate
override.
Could one concrete path match both templates AND leave no principled winner?
Templates of EQUAL literal count that overlap are the ambiguity. Overlapping templates of DIFFERENT literal counts are not: most-literal-wins adjudicates them deterministically, which is exactly how a literal override is meant to work. Counting those would veto every deliberate override.