Uno de los fallos más silenciosos del software operativo es la coerción automática a cero: convertir cualquier campo numérico no inspeccionado en `0`. Cuando una tormenta acorta la revisión del apiario y un conteo de Varroa no realizado se guarda como `0.00`, la siguiente auditoría interpreta ausencia de medición como ausencia confirmada de infestación.
Bajo SPEC-04 (Estándar de Datos Epistémicos v1.0), cada campo de observación en las tablas relacionales y contratos JSON de Praksis exige cinco estados explícitos: no medido en esa visita (`NULL`), estructuralmente inaplicable a la etapa o categoría (`N/A`), origen histórico no verificable (`UNKNOWN`), lectura ruidosa o incoherente en cuarentena (`SUSPECT`) y observación validada con método y margen declarados (`VERIFIED`).
Este mismo invariante gobierna los cortes de 10 cuadros F01–F10 en Artvin, las 28 familias diferenciales del Atlas Clínico de Apidología y la telemetría alpina de Sandras. Cuando faltan datos verificados (`NULL` o `SUSPECT`), las calculadoras rechazan promedios ficticios y exponen con exactitud qué contexto falta medir.
