Els escenaris de Decision Gate són DAGs de dependència immutables. Una execució comença amb progrés buit; les arrels estan llestes però no obertes. Els operadors escullen explícitament quines etapes llestes obrir i avaluar.
Autorar un escenari brut
{
"scenario_id": "release",
"namespace_id": 1,
"spec_version": "dag-v3",
"value_limits": { "selection": "InheritOperator" },
"stages": [
{
"stage_id": "verify",
"prerequisite": { "kind": "root" },
"entry_packets": [],
"completion_requirement": { "Condition": "checks_green" }
}
],
"conditions": [
{
"condition_id": "checks_green",
"observation_domain": { "domain": "Boolean" },
"predicate": {
"predicate": "Equals",
"expected": { "value_type": "Boolean", "value": true }
},
"evidence_use_policy": {
"allowed_channels": ["caller_submission"],
"required_assurance": ["content_integrity", "scope", "schema_compatibility"],
"integrity": "canonical_content_only",
"authorization": "embedding_authority",
"scope": "exact_condition",
"freshness": { "freshness": "NotRequired" },
"independence": "distinct_acquisition",
"combination": { "combination": "AllQualifyingAgree" },
"retention": "retain_canonical_value",
"replay": "full_semantic"
}
}
],
"acquisition_bindings": [],
"completion_requirement": { "Condition": "verify" },
"policies": [],
"schemas": []
}
Truqueu a scenario_define. L’èxit retorna scenario_law_identity i graph_identity; mantingueu l’exacta identitat legal per a la creació de l’execució.
Començar una execució independent
Truqueu a scenario_start amb l’espai de noms, escenari, ID d’execució, identitat legal exacta, ID d’operació estable, i caràcter temporal explícit. La resposta conté la revisió 0, la digestió exacta del registre acceptat, verify com ready_unopened, i cap etapa oberta ni intenció d’entrada.
Obrir una etapa llesta
Truqueu a scenario_open_stage amb l’ID d’etapa explícit, el cap exacte acceptat retornat per start, i un ID d’operació estable. Obrir significa que va començar la feina en aquest execució compartida. No assigna un agent ni canvia els germans llestos.
Avaluar l’etapa oberta
Truqueu a scenario_evaluate_stage amb el nou cap exacte, ID d’etapa explícit, ID d’intent d’avaluació estable, ID d’operació de compromís estable, caràcter temporal, i un valor d’evidència de cridada hostil per a checks_green. El transport deriva la provenència del cridat; el cridat no subministra ni confiança ni estat de comparador.
- el semàntic fals o desconegut afegeix un intent reintentable;
- el semàntic veritable completa l’etapa una vegada i reavalua la finalització de l’escenari;
- l’adquisició, l’autorització, la integritat o la fallada de l’evaluador no crea cap proposta semàntica.
Observar i coordinar
Utilitzeu scenario_status per obtenir el cap exacte, l’estat de l’execució, quatre classificacions d’etapa, frontera, intents, i identitats d’intenció. Utilitzeu scenario_history per a registres d’acceptació ordenats limitats. En un conflicte de cap obsolet, llegiu l’estat/història i re-deriveu; no torneu a intentar la proposta obsoleta cegament.
Precomprovació
scenario_precheck_stage accepta evidència de cridada hostil i prediu un resultat d’etapa sense obrir, intents, intencions, o mutació de progrés.
Ramificació i múltiples agents
Un pare complet pot fer que diversos fills estiguin llestos. Tots romanen vàlids. Els operadors poden obrir qualsevol subconjunt, incloent diversos simultàniament. Les execucions separades sobre una llei són independents; els principals que comparteixen intencionadament un RunKey coordinen mitjançant caps exactes i conflictes tipificats. L’assignació i els lloguers pertanyen a una capa de coordinació externa.