F6: decision, exclusions, and successor package

The worst ending among F1–F3 is Proved obstructed. F2 does not turn an off-condition diagnostic into an on-condition obstruction. F4 does not turn absence of a map into a general no-go. The actual obstruction is the explicit nonzero value of the named coefficient on a permitted initial free configuration.