pub fn compile_positive_binary_task(
initial_theory: &str,
input_facts: &str,
statements: [&str; 3],
) -> Result<SemanticProgramAdmission>Expand description
Lower an admitted editable source to the exact positive binary program bank consumed by the resident semantic evaluator. The independent observer is deliberately absent: it may supply expected truth, never candidate syntax.