Update docs diagrams, evaluation labels, and analysis artifacts

Switch Stage3 to explicit-only no-why selection, drop bear probe, and set k=1 defaults