Arquitectura y confiabilidad

Límites del servicio

Lasques es una aplicación Next.js con PostgreSQL como su fuente de verdad. El núcleo del motor, independiente del tiempo de ejecución, define los contratos de ejecución de investigación, cómputo, conocimiento y facturación. La capa web expone procedimientos y vistas de aplicación autenticados.

Los flujos de trabajo de Cloudflare ejecutan trabajo duradero de agentes, mientras que un reconciliador programado avanza el trabajo en cola, verifica trabajos y procesa la salida transaccional. Los trabajos CPU se ejecutan en AWS Batch. El trabajador de los servicios Cloudflare maneja el optimizador BoTorch y el verificador de pruebas Lean. Su antiguo endpoint de trabajos de contenedor ha sido retirado.

Los repositorios Git se almacenan en nodos Git dedicados con volúmenes persistentes; la aplicación web realiza la autorización antes de enviar las operaciones Git a un nodo.

Ejecución duradera

Los turnos de los agentes utilizan concesiones y generaciones. Un paso del modelo y su cargo se confirman juntos. Las llamadas a herramientas registradas se reanudan después de un fallo en lugar de repetirse ciegamente.

Los intentos de cómputo llevan un token de intento, lo que evita que un callback antiguo sobrescriba un intento más reciente. Los callbacks y el sondeo cooperan; un callback fallido no cambia por sí mismo el resultado del trabajo almacenado.

El procesamiento de la salida entrega correcciones y descubrimientos en páginas delimitadas y deduplicadas. Los registros PostgreSQL, en lugar de la vida útil de un proceso web, determinan el progreso.

Aislamiento y artefactos

Las ejecuciones de cómputo ejecutan código en contenedores separados y utilizan URLs de carga con alcance de intento para los Resultados. Los Resultados almacenados, logs, puntos de control, métricas y semillas permiten una inspección posterior. Los documentos y el conocimiento tienen alcance de inquilino cuando corresponde, y el contenido de prompts externos se trata como no confiable.

El verificador de pruebas utiliza compilación separada y pasos de auditoría de confianza. La fidelidad de las sentencias se verifica independientemente de una compilación Lean exitosa.

Referencias de implementación

• docs/engine.md: ciclo de vida de la misión, iteraciones, facturación, evidencia, conocimiento y vistas de resultados.
• docs/compute-services.md: trabajos, optimizador, verificador de pruebas, ayudante Python, límites de ejecución y despliegue.
• docs/forge-git-service.md: contrato de nodo Git, configuración, respaldos y restauración.
• config/engine.config.ts: tarifas de modelos, valores predeterminados del motor, recursos de máquina y límites del plan.
• config/billing.config.ts: precios de suscripción, asientos y paquetes de créditos.
• config/auth.config.ts: configuración de cuenta y autenticación.

Estas son guías de implementación para esta aplicación, no una promesa de acceso público a endpoints de infraestructura. Los derechos de la API de la Cuenta están desactivados en la configuración de facturación actual.