Qué se envía en el repositorio público
- El requisito de álgebra RET y el sustrato del gráfico de dependencias de Xarxa, con refinamientos de requisitos validados, satisfacibles y monótonos.
- Escenarios tipados, condiciones y dominios de observación cerrados; el modelo de evidencia factorizada con políticas de uso de evidencia explícitas y la semántica de Presente / ObservadoAusente / Ausente / Resolución Insuficiente.
- Evaluación semántica pura, sin I/O, con resultados de tres valores (Verdadero / Falso / Desconocido).
- El protocolo de ejecución aceptada: identidades de ejecución acuñadas por la autoridad, aceptación de cabeza exacta, idempotencia de recibo primero y familias de resultados tipados.
- Operación local con estado de ejecución aceptado en memoria y respaldado por SQLite.
- MCP, CLI, contratos generados y proyecciones de SDK para integración.
- Herramientas de verificación independiente y exportación de runpack fuera de línea.
- Documentación, pruebas y artefactos de evidencia formal, incluidos modelos de verificación de modelos acotados con sus límites establecidos.
Garantías, con sus límites
- Evaluación determinista. La ley validada idéntica, el progreso aceptado y la evidencia admitida producen resultados semánticos idénticos. El determinismo cubre la evaluación — no la disponibilidad de adquisición, la programación o los efectos externos.
- Decisiones de fallo cerrado. La falta, insuficiencia o ambigüedad de pruebas mantiene la puerta cerrada. La incertidumbre nunca avanza un flujo de trabajo por defecto.
- Registros reproducibles. Las ejecuciones aceptadas se exportan a paquetes verificables; un auditor puede volver a verificar la integridad y reevaluar las puertas a partir de la evidencia grabada sin confiar en el tiempo de ejecución que las produjo.
- Límites de reclamación honestos. La integridad del registro, la autenticidad de la fuente y la veracidad de la evidencia original son propiedades separadas, verificadas por separado. No hay una única luz verde que represente las tres.
Estado actual
Las reclamaciones de capacidad a continuación siguen tres etiquetas: disponible ahora en el repositorio público, arquitectura de destino diseñada y explícitamente diferido.
| Capacidad | Estado |
|---|---|
| Núcleo semántico: RET, Xarxa, condiciones tipadas, resolución de evidencia, evaluación pura | Disponible ahora |
| Operación de ejecución aceptada local (en memoria y SQLite) | Disponible ahora |
| Evidencia presentada por el llamador; tiempo nombrado, instantánea del entorno y adquisición de documento local enraizado | Disponible ahora |
| MCP, CLI, contratos generados, proyecciones de SDK | Disponible ahora |
| Exportación de runpack y verificación independiente | Disponible ahora |
| Integración empresarial operada por el cliente (identidad, gobernanza, backends de almacenamiento duraderos) | Objetivo diseñado |
| Proveedores de evidencia de red registrados (HTTP/REST, MCP remoto) | Diferido |
| Proveedores de ejecución nativa y de subprocess; evaluadores remotos | Diferido |
| Perfiles de colocación y conmutación por error distribuidos en múltiples nodos | Diferido |
Un host harness ya puede adquirir sus propios datos de red o de comando y presentarlos como evidencia del llamador; el registro luego indica ese canal de manera honesta en lugar de disfrazarlo como algo más fuerte.
Licenciamiento comercial
La superficie comercial son derechos e ingeniería, no un teorema diferente. El mismo núcleo semántico que es público bajo la SSPL puede ser licenciado para:
- Despliegue comercial autoalojado en su entorno, en su infraestructura.
- Uso embebido y OEM dentro de plataformas y productos de agentes.
- Despliegue estratégico a escala del proveedor, incluyendo la integración con sistemas de evidencia del cliente, ingeniería de perfil de despliegue, calificación y soporte a largo plazo.
Arxiu no opera una nube de Decision Gate gestionada. Las implementaciones son operadas por el cliente por diseño: tu evidencia, tu infraestructura, tu control.
Licencias
- Repositorio de Decision Gate: SSPL 1.0.
ret-logicyxarxacrates: Apache 2.0, licenciados por separado dentro del repositorio.
La SSPL es una licencia de código disponible, no una licencia de código abierto aprobada por la OSI; evalúe sus términos en función de su uso previsto. Las licencias comerciales eliminan las obligaciones de la SSPL para las superficies de implementación mencionadas anteriormente.
Contacto
Para preguntas sobre licencias comerciales, disponibilidad o implementación: license@arxiu.io.