Disena controles falsificables para graphs y arneses: METHOD observable obligatorio (sin method el estado es 'No ejecutado', nunca un puntaje), falsification_test ejercitado antes de que 'Pasó' signifique algo, satisfacibilidad al nacer (pass, regression o debt_budget decreciente) y proxies que reportan lo que miden. Usar al pedir 'disena controles', 'criterios verificables', 'gate que pueda fallar', 'metricas sin puntajes inventados'. NO para estrategia de testing de software (testing-strategy) ni escenarios BDD (bdd-full-spectrum).