pub fn satisfiable_set(s: &Schema) -> IndexSet<String>Expand description
The set of env record names that admit at least one finite document.
Least fixpoint: start with nothing known-satisfiable and repeatedly add
any record all of whose mandatory (min >= 1) fields are already
satisfiable. Monotonic on a finite env, so this always terminates. Only
ever queried by membership (never iterated for its own order), so an
IndexSet is used purely for the “no HashMap/HashSet” house style,
not because iteration order matters here.