Arquitectura del Sistema

Los Cinco Planos de TELHAR

Una arquitectura desacoplada diseñada para que los modelos de razonamiento no puedan auto-concederse permisos, alterar políticas ni ejecutar acciones externas sin verificación.

Plano de Memoria PROVEN

Mnḗmē

Contexto continuo, indexación temporal y estado de creencias. Nunca autoridad de verdad ni de identidad.

Qdrant · pgvector · DEK telhar:v1:memory-envelope
Plano Cognitivo IMPLEMENTED

Praxis & ARK

Interpreta intenciones, formula planes y delibera. Capacidad de proponer, con cero permisos intrínsecos de ejecución.

TLA+ · Planner · LLM Router telhar:v1:execution-plan
Plano de Política (PDP) IMPLEMENTED

Foedus

Punto de Decisión de Política. Evalúa convenios y reglas deterministas antes de que ocurra cualquier mutación.

OPA · Rego · Fail-Closed telhar:v1:policy-decision
Plano de Evidencia PROVEN

Explorator & Refuto

Prospección externa protegida y arnés de falsación independiente. "Un agente no puede ser juez de sí mismo".

SSRF Guard · Immutable Ledger telhar:v1:evidence-event
Plano de Experiencia IMPLEMENTED

Experience Platform

Proyección perceptual multisuperficie sobre un único núcleo. La modalidad es un adaptador, no una reimplementación.

Web · Desktop · Mobile · TUI telhar:v1:projection-model
Chokepoint Único • Gateway Effect Gate

Los 7 Controles de la Puerta de Efecto

Ningún modelo o agente tiene conexión directa con actuadores, APIs o el sistema de archivos. Toda propuesta cruza los 7 controles en orden determinista, cortando la ejecución al primer veredicto DENY.

1. Auth / Token
2. Tenant RLS
3. Rate Limit
4. Foedus PDP
5. Plan Hash
6. ARK Capability
7. Idempotence

1. La Premisa Arquitectónica

En los wrappers habituales y plataformas de agentes autónomos contemporáneos, el modelo de lenguaje opera simultáneamente como motor de inferencia, pasarela de almacenamiento, coordinador de sesión y despachador de herramientas. Si el modelo alucina o sufre una inyección de prompt, toda la frontera de seguridad colapsa.

TELHAR separa estas responsabilidades en planos arquitectónicos independientes, con ciclos de vida ortogonales y contratos estrictos. La cognición propone planes; la política dicta legalidad; la Puerta de Efecto ejecuta; y la evidencia custodia un registro inmutable.

2. Los Cinco Planos en Detalle

Plano de Memoria — Mnḗmē (ai/mneme)

Mnḗmē no es una base de datos vectorial genérica. Es un plano de memoria gobernado que preserva el contexto continuo de la persona a través de distintas superficies. Soporta decaimiento temporal, indexación semántica con pgvector y Qdrant, cifrado mediante claves DEK respaldadas por KMS, y aislamiento a nivel de fila (RLS).

Invariantes: Memoria ≠ Verdad · Memoria ≠ Proveedor de Identidad · Contrato: telhar:v1:memory-envelope

Plano Cognitivo — Praxis y ARK (Agent Runtime Kernel)

El plano cognitivo gestiona la interpretación de lenguaje natural, la descomposición de tareas, el ensamblaje de contexto y la planificación. Opera bajo el Kernel de Runtime de Agentes (ARK), un autómata FSM cuyas propiedades de terminación y ausencia de livelock han sido formalmente verificadas mediante model checking en TLA+ (TLC 1.8.0, 149 estados).

Invariantes: Cognición ≠ Autoridad · La salida es dato, nunca permiso · Contrato: telhar:v1:execution-plan

Plano de Política — Foedus (security/foedus)

El Punto de Decisión de Política (PDP) único de la arquitectura. Escrito en TypeScript y Open Policy Agent (Rego), Foedus evalúa convenios explícitos por inquilino. Cualquier acción o acceso no permitido explícitamente es denegado por defecto (fail-closed).

Invariantes: Autoridad PDP única · Fail-Closed por omisión · Contrato: telhar:v1:policy-decision

Plano de Evidencia — Explorator y Refuto

Sustituye la confianza ciega por demostraciones empíricas. Explorator descubre inteligencia externa mediante guardas de red fail-closed y procedencia comprobable de fuentes. Refuto aporta el arnés de aseguramiento independiente que asegura que ningún agente evalúe su propio resultado.

Invariantes: Evidencia ≠ Afirmación · Diario inmutable append-only · Contrato: telhar:v1:evidence-event

Plano de Experiencia — Experience Platform (platform/experience)

Un único núcleo de resolución proyectado sobre múltiples modalidades perceptuales: Web (Next 15), Escritorio (Tauri 2), Móvil (React Native) y Terminal (Rust TUI). Cada modalidad se trata como un adaptador perceptual puro, sin reimplementar lógica de negocio.

Invariantes: FF-PROJECTION-NO-REVEAL · Contrato: telhar:v1:projection-model

3. La Puerta de Efecto Única (Chokepoint en Gateway)

Cualquier efecto colateral en el mundo exterior —escritura de archivos, llamadas a APIs externas, creación de procesos o comunicaciones de red— fluye obligatoriamente a través de la **Puerta de Efecto** en core/gateway. La puerta aplica 7 controles secuenciales:

  1. Autenticación e Identidad: Verificación criptográfica del token del principal (RS256).
  2. Aislamiento de Inquilino: Validación de fronteras de workspace y claves de inquilino.
  3. Límites de Tasa y Presupuesto: Techos de costos y tokens fail-closed. Superar el umbral detiene la ejecución de inmediato.
  4. Evaluación PDP en Foedus: Consulta sincrónica OPA. Respuestas distintas de ALLOW cancelan la invocación.
  5. Vinculación al Hash del Plan: Verificación del hash de un solo uso (approvedSetHash) ligado al turno del usuario.
  6. Atenuación de Tokens de Capacidad: Comprobación de que la capacidad fue derivada en el kernel sin escalación.
  7. Validación de Idempotencia: Inspección de cachés de deduplicación para prevenir efectos secundarios duplicados.
Regla: Cualquier fallo en los pasos 1 a 7 produce una denegación inmediata en fail-closed. Ninguna herramienta se ejecuta con aprobaciones parciales.

4. Topología del Ecosistema: Los 10 Servicios de la Columna Vertebral

Si bien la organización de TELHAR en GitLab abarca 51 proyectos modulares en 12 subgrupos de dominio, el runtime en vivo converge sobre 10 servicios troncales fundamentales que imponen invariantes matemáticas y arquitectónicas:

01. core/gateway Pasarela de ejecución en Rust Axum que aplica los 7 controles de la Puerta de Efecto.
02. core/agent-kernel (ARK) Autómata FSM en Rust model-checked en TLA+ (149 estados sin interbloqueos).
03. security/foedus Punto de Decisión de Política que evalúa convenios deterministas OPA/Rego.
04. ai/explorator Inteligencia de red protegida con filtro de egreso anti-SSRF (133k IPs probadas).
05. ai/mneme Plano de memoria continua con DEK/FTS y cifrado de sobre respaldado por KMS.
06. ai/via Enrutador formalmente verificado para modelos LLM con políticas de contingencia.
07. ai/praxis-api Runtime de agentes cognitivos que procesa intenciones y formula planes de acción.
08. core/sso Autoridad de identidad de la plataforma con OIDC 2.1 / PKCE y tokens JWT.
09. ai/aesthesis Física perceptual y óptica de materiales: Fresnel/Schlick, Blinn-Phong, Beer-Lambert, sombras de dos términos y APCA-W3.
10. product/telhar-cli y platform/experience Superficies de interacción humana: TUI nativo en Rust e interfaz web multidispositivo.

Arquitectura de Física Perceptual y Óptica de Materiales (ai/aesthesis)

A diferencia del glassmorphism superficial de CSS con valores arbitrarios de desenfoque y opacidad, ai/aesthesis deriva todo su comportamiento visual a partir de magnitudes físicas rigurosas:

1. Tres Señales Ópticas

El cristal se identifica por sus fronteras: reflejo rasante de Schlick Fresnel (R(θ≈85°)), lóbulo especular de Blinn-Phong (s = 2/α² - 2) y transmitancia de Beer-Lambert (T = exp(-σ·d)).

2. Motor de Sombras de Dos Términos

Separa la sombra de contacto densa de la penumbra ambiental difusa. Un único vector de luz (θ = 118°) gobierna simultáneamente el barrido especular, el gradiente del bisel y el desplazamiento de sombra.

3. Compuerta Dead-Band APCA

Evita zonas de luminancia media ilegibles (L ≈ 0.44–0.60). El contraste del texto se calcula contra el fondo del lienzo, garantizando |Lc| ≥ 60 en todos los preajustes.

Taxonomía Canónica de Materiales: 94 Materiales en 6 Familias Físicas Vidrios (12) · Metales (19) · Películas (21) · Óxidos (15) · Medios (18) · Preajustes (9)

INSPECTOR DE SUPERFICIE PERCEPTUAL DE FRONTERA (AESTHESIS)

Evaluación matemática en vivo de 94 materiales físicos en 6 familias: óptica física, contraste APCA-W3, simulación CVD y transitorios multimodales.

● 94 MATERIALES ACTIVOS
Provenance: TELHAR Sovereign Design Token System PBR-V1
TELHAR Sovereign Obsidian IOR: 1.66 · α: 0.28 · d: 3.0mm · PRESET
Lc: -95.78

"An agent cannot be the judge of itself. The sensory membrane enforces continuous physical laws: energy conservation in GGX microfacets, APCA dead-band contrast bounds, and strict invariant fences."

R(θ): 0.082 (Normal) Shininess s: 23.5 Beer-Lambert T: 0.18
Control de Vector de Luz (θ) 118°
Dial Estático

Telemetría de Contraste APCA-W3 APCA-W3

Contraste de Texto Continuo (|Lc|): -95.78
Status: Estado: APROBADO (|Lc| ≥ 60)
Tamaño de Fuente Mínimo: ≥ 12px (Bold) / 14px (Reg)

Deficiencia de Visión Cromática (Simulación CVD) Brettel / Machado

Perceptual ΔE Separation: ΔE ≥ 18.4 (Verified)

Sonda Sensorial Multimodal LRA + EBU R128

Energía Háptica (LRA): 0.00086 J (180 Hz · 12 ms)
Sonoridad Acústica: -28.0 LUFS (240 Hz Sine)

5. Cancelación de Agentes: Invariante de Autoridad Humana

En TELHAR, la agencia humana es un invariante de diseño en el código, no una aspiración retórica. Cuando una persona solicita la cancelación de un turno de agente:

  • Autoridad Exclusiva: Solo el individuo soberano puede solicitar cancelación vía HTTP autenticado (/v1/agent-runs/:runId/cancelar).
  • Cero Autoridad del Modelo: El modelo de IA carece de cualquier atribución para retrasar, omitir o rechazar su propia cancelación.
  • Propagación Determinista: AgentRunService asienta cancelRequestedAt de forma idempotente y propaga la orden hacia telhar-cli (serve.rs).
  • Frontera de Ejecución: La acción en curso concluye su paso acotado, pero ningún acto posterior es despachado. El turno concluye en estado terminal CANCELLED.

6. Autoridad por Contrato y Esquemas Canónicos

TELHAR rechaza los contratos implícitos y las cargas JSON informales. El sistema está gobernado por 29 esquemas formales en contracts/schemas, versionados bajo SemVer estricto y serializados de manera determinista conforme al estándar RFC-8785 (Canonical JSON).

7. Topología Objetivo y Gobernanza Continua

La arquitectura objetivo a 5–10 años (Documento 11) se guía por una consolidación radical: colapsar hacia lo real. El sistema impone un único punto de entrada e inspección sin puertas traseras:

Cloudflare (Ingreso TLS) → Gateway (PEP en Rust · RS256/JWKS · Chokepoint Único) ↓ Foedus (PDP · OPA/Rego) + Praxis (API / Cognición) ↓ [Executor: Capa de Modelos] · [Via: Enrutamiento y Presupuesto] · [Mnḗmē: Memoria RLS]

Invariantes de Identidad y Tokens

IdP único (core/sso), exclusivamente RS256/JWKS, cero atajos o bypass con HS256/HMAC. La comunicación entre servicios internos opera estrictamente con mTLS o tokens firmados.

Aislamiento de Inquilinos y Row-Level Security

La separación entre inquilinos no depende de cláusulas WHERE manuales y frágiles. Postgres Row-Level Security (RLS) actúa como salvaguarda a nivel de base de datos bajo cada consulta en Mnḗmē.