ASILO: capacidades y puntos de efecto¶
Guía explicativa de ASILO 0.1; la representación de una capacidad pertenece al perfil.
Una capacidad delimita una acción sobre un recurso. Su representación y mecanismo pertenecen al perfil; esta guía no exige una firma, almacenamiento o lenguaje concreto.
El contrato declara identidad o sujeto autorizado, recurso, operación, contexto, vigencia, revocación, delegación permitida y condiciones de uso que resulten pertinentes. Si una acción debe ser de uso único, el perfil declara cómo decide y registra su consumo, incluso con concurrencia.
Del intento al resultado¶
flowchart TD
accTitle: ASILO: autorización en el punto de efecto
accDescr: Una petición pasa cuatro comprobaciones en orden: identidad verificada según el perfil, entrada conforme al contrato, autorización de recurso, operación y contexto, y controles adicionales exigidos. Cualquier respuesta negativa la rechaza sin producir el efecto; si todas se cumplen se ejecuta en el punto de efecto, y en ambos casos se registran el resultado y los efectos observados.
P["Petición"] --> I{"¿Identidad verificada según el perfil?"}
I -->|"Sí"| V{"¿Entrada conforme al contrato?"}
I -->|"No"| R["Rechazar sin producir el efecto solicitado"]
V -->|"Sí"| A{"¿Autoriza recurso, operación y contexto?"}
V -->|"No"| R
A -->|"No"| R
A -->|"Sí"| H{"¿Controles adicionales exigidos satisfechos?"}
H -->|"No"| R
H -->|"Sí"| E["Ejecutar en el punto de efecto"]
E --> L["Registrar resultado y efectos observados"]
R --> LDiagrama SVG: ASILO: autorización en el punto de efecto · Fuente editable Mermaid. Las flechas muestran una secuencia ilustrativa, no una implementación. El perfil concreta comprobaciones, errores y registro. Identidad inválida, entrada fuera de contrato o controles adicionales incumplidos también llevan al rechazo.
La analogía es mostrar una llave en la puerta que se quiere abrir. Una comprobación en recepción no basta si otra entrada permite eludirla. La llave tampoco autoriza otras habitaciones. En software, colas, reintentos y respuestas guardadas necesitan respetar la autorización pertinente.
Un permiso válido no sustituye una revisión humana exigida por el perfil. Cuando aplica ASILO-R-005, se conservan sus condiciones y evidencia de aprobación para el efecto crítico. No se ejecuta mientras falte esa condición.
Preguntas que el perfil resuelve¶
- ¿Quién verifica la identidad y qué evidencia entrega al punto de efecto?
- ¿Se comprueba el permiso vigente antes de devolver datos guardados o ejecutar trabajo en cola?
- ¿Qué ocurre si el permiso vence o se revoca entre la comprobación y la operación?
- ¿Qué evita duplicar un efecto que el contrato declara único?
- ¿Qué se registra si la operación ocurre y después falla la respuesta?
Un error posterior no demuestra reversión. La revocación y las operaciones simultáneas requieren una semántica explícita y pruebas del mecanismo real; no se infieren a partir de una interfaz. El registro evita copiar secretos y conserva sólo los datos necesarios para su propósito.