Normative specification
The canonical theory defines Factor Programs. Historical drafts remain provenance; they do not override the current specification.
Bring a counterexample or a question
A mathematical counterexample, an implementation defect, and an expensive or unresolved search are different findings. Record which claim your evidence addresses.