Model Nucli
Decision Gate és un pla de control determinista. No executa converses ni agents. Ingesta desencadenants, avalua predicats basats en evidències i emet decisions auditable.
ScenarioSpec
Un escenari és la unitat d’execució. El ScenarioSpec captura:
- scenario_id: identificador estable utilitzat a través de les execucions
- spec_version: versió del contracte
- etapes: fases ordenades amb portes i polítiques d’avanç
- predicats: comprovacions d’evidència nomenades utilitzades per portes
- polítiques + esquemes: restriccions opcionals de governança i càrrega útil
StageSpec
El control de les etapes progressa. Cada etapa defineix:
- portes: una o més GateSpecs per avaluar
- advance_to: lineal, fix, branca o terminal
- entry_packets: divulgacions opcionals emeses a l’entrada
- timeout + on_timeout: política de fallada determinista
GateSpec
Les portes contenen un arbre de requisits. Una porta passa només quan el requisit s’avalua com a vertader.
Els Requirement Evaluation Trees (RET) són l’àlgebra de predicats. Donen suport a AND / OR / NOT / grups i són deterministes per construcció. Vegeu RET logic per a operadors i avaluació de tres estats.
PredicateSpec i Evidència
Els predicats vinculen una fulla de requisit a una consulta d’evidència i un comparador.
- EvidenceQuery: provider_id, predicate, params
- EvidenceResult: valor, hash, ancoratge, metadades de signatura
RET defineix com es componen els predicats. Els proveïdors defineixen què significa un predicat i quins paràmetres accepta.
Per què això és important
- Cada decisió és reproductible a partir de l’especificació + evidències d’entrada.
- Les portes es poden auditar i verificar fora de línia.
- Els proveïdors són connectables sense canviar la semàntica de l’escenari.