Què s’envia al repositori públic
- L’algebra dels requisits RET i el substrat del gràfic de dependències de Xarxa, amb refinaments de requisits validades, satisfactòries i monòtones.
- Escenaris tipificats, condicions i dominis d’observació tancats; el model d’evidència factoritzat amb polítiques d’ús d’evidència explícites i la semàntica Present / ObservatAbsent / Missing / Resolució insuficient.
- Avaluació semàntica pura, sense I/O, amb resultats de tres valors (Cert / Fals / Desconegut).
- El protocol d’execució acceptat: identitats d’execució emeses per l’autoritat, acceptació d’encapçalaments exactes, idempotència basada en el rebut i famílies de resultats tipificades.
- Operació local amb estat accepted-run en memòria i suport SQLite.
- MCP, CLI, contractes generats i projeccions SDK per a la integració.
- Eines d’exportació runpack i verificació independent fora de línia.
- Documentació, proves i artefactes de proves formals, incloent models de verificació de model limitats amb els seus límits especificats.
Garanties, amb els seus límits
- Avaluació determinista. Una llei validada idèntica, un progrés acceptat i proves admeses produeixen resultats semàntics idèntics. El determinisme cobreix l’avaluació — no la disponibilitat d’adquisició, la programació o els efectes externs.
- Decisions de fallada tancada. La manca, insuficiència o ambigüitat de proves manté la porta tancada. La incertesa mai avança un flux de treball per defecte.
- Registres reproduïbles. Les execucions acceptades s’exporten a paquets verificables; un auditor pot tornar a comprovar la integritat i reavaluar les portes a partir de proves enregistrades sense confiar en el temps d’execució que les va produir.
- Límits de reclamació honestos. La integritat del registre, l’autenticitat de la font i la veracitat de l’evidència original són propietats separades, verificades per separat. No hi ha cap llum verda única que substitueixi les tres.
Estat actual
Les reclamacions de capacitat a continuació segueixen tres etiquetes: disponible ara al repositori públic, arquitectura objectiu dissenyada i explícitament ajornada.
| Capacitat | Estat |
|---|---|
| Nucli semàntic: RET, Xarxa, condicions tipades, resolució d’evidències, avaluació pura | Disponible ara |
| Operació d’execució acceptada local (en memòria i SQLite) | Disponible ara |
| Evidència presentada pel cridant; temps nomenat, instantània de l’entorn i adquisició de documents locals arrelats | Disponible ara |
| MCP, CLI, contractes generats, projeccions SDK | Disponible ara |
| Exportació de runpack i verificació independent | Disponible ara |
| Integració empresarial operada pel client (identitat, governança, emmagatzematge durable) | Objectiu dissenyat |
| Proveïdors d’evidències de xarxa registrats (HTTP/REST, MCP remot) | Diferit |
| Proveïdors d’execució de subprocessos i natius; avaluadors remots | Diferit |
| Col·locació distribuïda de múltiples nodes i perfils de failover | Diferit |
Un arnés d’amfitrió ja pot adquirir les seves pròpies dades de xarxa o de comandament i presentar-les com a evidència de la trucada; el registre indica llavors que el canal és honestament en comptes de disfressar-lo com alguna cosa més forta.
Llicència comercial
La superfície comercial són drets i enginyeria, no un teorema diferent. El mateix nucli semàntic que és públic sota el SSPL pot ser llicenciat per:
- Desplegament comercial auto-hospitat en el teu entorn, sobre la teva infraestructura.
- Ús integrat i OEM dins de plataformes i productes d’agents.
- Desplegament estratègic a escala del proveïdor, incloent la integració amb sistemes d’evidència del client, enginyeria de perfils de desplegament, qualificació i suport a llarg termini.
Arxiu no opera un núvol de Decision Gate gestionat. Les implementacions són operades pel client per disseny: la vostra evidència, la vostra infraestructura, el vostre control.
Llicències
- Repositori de Decision Gate: SSPL 1.0.
ret-logicixarxacrates: Apache 2.0, llicenciat per separat dins del repositori.
La SSPL és una llicència disponible per a la font, no una llicència de codi obert aprovada per l’OSI; avalua els seus termes en funció de l’ús previst. Les llicències comercials eliminen les obligacions de la SSPL per a les superfícies de desplegament esmentades anteriorment.
Contacte
Per a preguntes sobre llicències comercials, disponibilitat o desplegament: license@arxiu.io.