pub fn epistemic_extensional_multi_arity_predicates(
program: &Program,
) -> BTreeSet<String>Expand description
Return extensional predicate names whose runtime identity must include arity.
The census covers every source surface that can name a relation, including constraints, probabilistic constructs, neural declarations, and learnable rules. FAEEL rules removed as unfounded support do not make a predicate derived or add a live signature. Reducers and fact upload must use this same set so a source fact and its compiled scan always receive the same runtime name.