0|1 & 2|3).discriminatorHint path to the meta & adding a postprocessing step in the form resolver, "and-ing" the original schema with a schema with the in discriminator values set, thus pruning out the other branches. discriminatorHint (or an alternative workaround which also solves this problem) to the core Arktype? I think this is independent of better optimizations regarding discriminated unions, as there'll always be cases that those optimizations wouldn't be able to correctly catch.