Skip to content
Back to projects

Kiro

Sistema de finanzas del hogar donde los datos nunca salen de tus equipos: las facturas se digitalizan en casa, sin enviar nada a la nube.

This case study hasn't been translated yet — the text below is in Spanish. Read it on the Spanish site

Outcome

100%

de los datos se quedan en los equipos del hogar

107

pruebas de seguridad superadas antes de programar

40

pantallas diseñadas y navegables

14

documentos de análisis y arquitectura

Constraints

  • Todo corre en contenedores dentro del perímetro del usuario — sus equipos, su red. El OCR de facturas es local: una factura de supermercado dice dónde vive alguien y a qué hora compra.
  • El dinero nunca es un decimal flotante. Se guarda como entero en la unidad menor de su moneda, con la moneda al lado, y hay comprobaciones que lo verifican en la base de datos.
  • La orquestación por agente LLM es opcional y va detrás de un puerto. El sistema tiene que funcionar entero sin ella.
  • Código cerrado. Todos los derechos reservados.

Sistema de finanzas del hogar: registro manual de transacciones, digitalización de facturas con OCR local, historial de precios por producto y presupuestos.

Está en fase de especificación, no de desarrollo. Es la parte interesante de contarlo. Existen catorce documentos —investigación técnica, requerimientos RF-01 a RF-70, modelo de amenazas, estándares de calidad, plan de pruebas, modelo de datos—, doce migraciones de PostgreSQL ejecutables y verificadas contra una base real, y un prototipo navegable de cuarenta pantallas. Lo que no existe todavía es la aplicación.

Esa inversión no es ceremonia. El esquema se validó con 63 comprobaciones de invariantes y 44 ataques de aislamiento, ninguno aceptado: son intentos deliberados de leer datos de otro usuario del hogar desde una sesión que no debería poder. Descubrir en la fase de diseño que una política de acceso tiene un hueco cuesta una migración; descubrirlo con datos dentro cuesta bastante más.

La restricción que ordena el resto es de dónde no pueden salir los datos. Un historial de gastos domésticos es un mapa de la vida de una familia —dónde compra, cuándo, cuánto gana, qué medicamentos toma—. Por eso el OCR corre en la máquina y no en un servicio, y por eso el agente LLM es opcional y vive detrás de un puerto en vez de dentro del núcleo.

El prototipo son cuarenta pantallas navegables, con los mismos tokens de diseño que después pasan a la aplicación.