Lógica de feature flags: combinar flags sin sorpresas

Los feature flags combinan una audiencia, un interruptor maestro y un interruptor de emergencia, y las sorpresas vienen de cómo se combinan. (beta_user OR internal) AND flag_on AND NOT kill_switch es el patrón: cuatro condiciones, dieciséis filas, y un interruptor de emergencia que debe ganar siempre.

La audiencia es un OR de grupos (beta_user OR internal), el interruptor maestro es un AND (flag_on), y el interruptor de emergencia es un AND NOT. Las comprobaciones de la página muestran la regla contingente con el testigo internal = VERDADERO, flag_on = VERDADERO, el resto FALSO, como una fila en la que la función está activada. El interruptor de emergencia es correcto porque está en el nivel superior: ninguna combinación de las otras tres puede activar la función mientras está puesto, cosa que la tabla de verdad muestra como ocho filas FALSAS en las que kill_switch es VERDADERO.

Las sorpresas son estructurales. Un interruptor de emergencia colocado dentro del paréntesis de la audiencia, (beta_user OR (internal AND NOT kill_switch)) AND flag_on, apaga la función solo para los usuarios internos. Dos flags combinados con OR cuando se quería AND convierten «los dos flags deben estar activos» en «basta con cualquiera». Un flag que vale VERDADERO por defecto cuando no está fijado, en un sistema en el que un valor sin fijar no es FALSO, activa la función para todo el mundo durante un despliegue. Cada uno de estos casos está a una fila de la regla prevista, y el comprobador de equivalencia encuentra esa fila.

La lógica de flags también cambia a menudo, lo que la convierte en el hogar natural del método de regresión: compara la regla nueva con la antigua, revisa las filas que difieren contra la petición de cambio, y conserva los contraejemplos. Los pares de independencia dan las cuatro pruebas que muestran que cada flag importa, y la lista de revisión de reglas tiene una línea para la posición del interruptor de emergencia.

Ejemplo

enabled := (beta_user OR internal) AND flag_on AND NOT kill_switch · salida

Comprobaciones exactas

Tabla de verdad (16 filas)

Lectura en lenguaje claro

Diagrama lógico

El error habitual

Poner el interruptor de emergencia dentro de un paréntesis. (beta_user OR (internal AND NOT kill_switch)) AND flag_on sigue entregando la función a los usuarios beta después de accionar el interruptor. Un interruptor de emergencia es AND NOT kill_switch alrededor de toda la regla, y la tabla de dieciséis filas muestra las ocho filas que debe poner a cero.

Preguntas

¿Cómo combino dos funciones que necesitan estar las dos activas?

Con AND: feature_a AND feature_b. OR significa que basta con cualquiera. El comprobador de equivalencia muestra las filas en las que las dos combinaciones difieren, que son aquellas en las que exactamente un flag está activo.

¿Y los despliegues por porcentaje?

Un cubo de porcentaje es una condición booleana una vez decidida (in_rollout_bucket), y la regla la combina como cualquier otra. La decisión de qué usuarios caen en el cubo vive fuera de la regla, en la descripción del glosario.

Relacionado

Véase también

• Regla de feature flag: (beta OR interno) AND flag_activo AND NOT interruptor
• Reglas de control de acceso: roles, excepciones y el error del usuario vetado
• Pruebas de regresión para reglas de decisión que cambian
• Una entrada sin asignar no es FALSO: asignaciones incompletas
• «A o B y C»: la ambigüedad de agrupación y cómo resolverla
• Pares de independencia MC/DC, ejemplo resuelto con el informe de cobertura del motor
• Lista de revisión de reglas de decisión (para analistas y revisores)

Pruebas y reglas

• MC/DC explicado: cobertura de condición/decisión modificada para reglas booleanas
• Pares de independencia MC/DC, ejemplo resuelto con el informe de cobertura del motor
• MC/DC frente a cobertura de condición y cobertura de condición múltiple
• Cobertura de condición frente a cobertura de decisión (ramas)

Generado a partir del motor de Tangibool, semántica tangibool-semantics/1, motor 1.0.0, compilación 2026-11-07. Cada tabla, mapa, simplificación y veredicto de estas páginas lo calculó el motor de Tangibool al compilar el sitio, y cada afirmación la volvió a comprobar el mismo verificador exacto que usa la app. Los límites se indican donde aplican. © 2026 Foreranger LTD.