Acción
Transferencia de datos personales a un tercero
F(a) ⊨ baseLegal(a) ∧ minimización(a) ∧ registroTratamiento(a)
Certificación condicionada al GDPR; sin base legal explícita la acción no se certifica.
Definición
¿Qué es FuntorCert?
FuntorCert es un funtor matemático de certificación que transforma acciones de agentes autónomos en predicados verificables de seguridad, legalidad, trazabilidad, cumplimiento regulatorio, supervisión humana y auditoría continua.
Explicación conceptual
Un agente autónomo produce acciones. Esas acciones, junto con sus composiciones —una acción seguida de otra— forman una categoría: los objetos son los estados del sistema y los morfismos son las acciones que llevan de un estado a otro.
FuntorCert es el funtor que envía esa categoría a la categoría de predicados verificables. Al ser un funtor, preserva la estructura: la certificación de una composición de acciones es la composición de sus certificaciones, y la acción identidad se certifica trivialmente.
Esta propiedad es la que hace que la certificación sea componible y auditable: no se certifica un sistema en abstracto, se certifica cada acción, y las garantías se propagan a lo largo de toda la ejecución.
Diagrama conceptual
AccPred
F : Acc ⟶ Pred
F(id_s) = ⊤
F(g ∘ f) = F(g) ∧ F(f)
a ∈ Acc ⟹ F(a) ∈ Pred
Ejemplos de certificación de acciones
Acción
Ejecución de una orden en un sistema industrial
F(a) ⊨ dentroDeÁmbito(a) ∧ límitesOperativos(a) ∧ reversible(a)
Los invariantes de ámbito acotan el conjunto de acciones admisibles del agente.
Acción
Decisión automatizada con impacto sobre una persona
F(a) ⊨ supervisiónHumana(a) ∧ explicabilidad(a) ∧ trazabilidad(a)
Acción sensible: requiere validación humana antes de emitir el certificado final.