Este documento resume la superficie de la herramienta MCP y el uso esperado. Los esquemas completos están en tooling.json, con los esquemas de soporte en schemas/ y ejemplos en examples/.
Inicio rápido del ciclo de vida
scenario_definevalida y registra una ley de escenario de DAG monótono.scenario_startcrea un run de progreso vacío vinculado a esa ley exacta.scenario_statusyscenario_historyleen el estado aceptado y los registros.scenario_open_stageabre explícitamente una etapa lista.scenario_evaluate_stageregistra un intento y puede completar esa etapa.scenario_precheck_stagepredice evaluación sin mutación.scenario_submitcompromete un artefacto de alcance de etapa exacta o de toda la ejecución.runpack_exportyrunpack_verifyadmiten verificación fuera de línea.
Referencias de artefactos
authoring.md: formatos de autoría y guía de normalización.Docs/generated/decision-gate/examples/scenario.json: ejemplo hostil de RawScenarioSpec.Docs/generated/decision-gate/examples/scenario.ron: ejemplo de RawScenarioSpec amigable para la autoría.Docs/generated/decision-gate/examples/decision-gate.toml: Ejemplo de configuración de adquisición local acotada y MCP.
| Herramienta | Descripción |
|---|---|
| scenario_define | Admitir la sintaxis de escenario monótono-DAG hostil y devolver identidades exactas de scenario-law y grafo. |
| scenario_start | Crear un run vacío vinculado a un grafo bajo la autoridad de run aceptado y devolver su RunId acuñado. |
| scenario_status | Devolver el exacto accepted head, estado automático de ejecución, clasificaciones de etapa y frontera lista. |
| scenario_history | Devolver registros aceptados limitados en el orden exacto de run-head. |
| scenario_open_stage | Abrir explícitamente una etapa ReadyUnopened en un exacto accepted head. |
| scenario_evaluate_stage | Adquirir evidencia y evaluar una etapa OpenIncomplete en un exacto accepted head. |
| scenario_precheck_stage | Predecir un resultado de etapa RET a partir de evidencia afirmada sin apertura o mutación. |
| scenario_submit | Aceptar un artefacto a nivel de ejecución o con alcance de etapa abierta exacto en un exacto run head. |
| scenario_resolve_creation | Resolver una creación potencialmente indeterminada a través de la autoridad de recibo de creación aceptada. |
| scenario_resolve_mutation | Resolver una mutación potencialmente indeterminada a través de su recibo aceptado exacto. |
| runpack_export | Publicar un tema coherente de runpack-v6 con prefijo aceptado localmente. |
| runpack_verify | Verificar un tema de runpack-v6 suministrado con un informe de reclamación total. |
| schemas_register | Registrar un esquema de forma de datos para un namespace. |
| schemas_list | Listar formas de datos registradas para un namespace. |
| schemas_get | Obtener una forma de datos específica por identificador y versión. |
| scenarios_list | Listar escenarios registrados para un namespace. |
| decision_gate_docs_search | Buscar documentación de Decision Gate para orientación en tiempo de ejecución. |
escenario_definir
Admitir la sintaxis de escenario monótono-DAG hostil y devolver identidades exactas de scenario-law y grafo.
Entradas
spec(requerido): Especificación de escenario hostil para validar y registrar.
Salidas
graph_identity(requerido): Proyección DG canónica de una identidad de grafo Xarxa sellada.scenario_id(requerido): Identificador del escenario.scenario_law_identity(requerido): Identidad de ley de escenario canónica separada por dominio de Decision Gate.
Notas
- Usar antes de iniciar ejecuciones; scenario_id y scenario_law_identity vinculan llamadas posteriores.
- Valida la topología de Xarxa, pruebas RET, condiciones tipadas, compatibilidad de adquisición y límites de valor efectivo.
- Las identidades de ley y grafo canónicas son determinísticas bajo cambios de orden bruto.
- Falla cerrado en especificaciones inválidas o registro duplicado de la misma ley exacta; revisiones inmutables distintas permanecen direccionables.
Ejemplo
Registra la especificación del escenario de ejemplo.
Entrada:
{
"spec": {
"acquisition_bindings": [],
"completion_requirement": {
"Condition": "approve"
},
"conditions": [
{
"condition_id": "environment_is_production",
"evidence_use_policy": {
"allowed_channels": [
"caller_submission"
],
"authorization": "embedding_authority",
"combination": {
"combination": "AllQualifyingAgree"
},
"freshness": {
"freshness": "NotRequired"
},
"independence": "distinct_acquisition",
"integrity": "canonical_content_only",
"replay": "full_semantic",
"required_assurance": [
"content_integrity",
"scope",
"schema_compatibility"
],
"retention": "retain_canonical_value",
"scope": "exact_condition"
},
"observation_domain": {
"domain": "String",
"maximum_bytes": 64,
"minimum_bytes": 1
},
"predicate": {
"expected": {
"value": "production",
"value_type": "String"
},
"predicate": "Equals"
}
},
{
"condition_id": "after_freeze",
"evidence_use_policy": {
"allowed_channels": [
"caller_submission"
],
"authorization": "embedding_authority",
"combination": {
"combination": "AllQualifyingAgree"
},
"freshness": {
"freshness": "NotRequired"
},
"independence": "distinct_acquisition",
"integrity": "canonical_content_only",
"replay": "full_semantic",
"required_assurance": [
"content_integrity",
"scope",
"schema_compatibility"
],
"retention": "retain_canonical_value",
"scope": "exact_condition"
},
"observation_domain": {
"domain": "Boolean"
},
"predicate": {
"expected": {
"value": true,
"value_type": "Boolean"
},
"predicate": "Equals"
}
}
],
"namespace_id": 1,
"policies": [],
"scenario_id": "example-scenario",
"schemas": [],
"spec_version": "dag-v3",
"stages": [
{
"completion_requirement": {
"Condition": "environment_is_production"
},
"entry_packets": [],
"prerequisite": {
"kind": "root"
},
"stage_id": "inspect"
},
{
"completion_requirement": {
"Condition": "after_freeze"
},
"entry_packets": [],
"prerequisite": {
"kind": "requires",
"requirement": {
"Condition": "inspect"
}
},
"stage_id": "approve"
}
],
"value_limits": {
"selection": "InheritOperator"
}
}
}
Output:
{
"graph_identity": "5c3a5b6bce0f4a2c9e22c4fa6a1e6d8d90b0f2dfed1b7f1e9b3d3b3d1f0c9b21",
"scenario_id": "example-scenario",
"scenario_law_identity": "5c3a5b6bce0f4a2c9e22c4fa6a1e6d8d90b0f2dfed1b7f1e9b3d3b3d1f0c9b21"
}
iniciodelescenario
Crear un run vacío vinculado a un grafo bajo la autoridad de run aceptado y devolver su RunId acuñado.
Entradas
correlation(requerido): Uno de: objeto, objeto.creation_request_id(requerido): Identidad de solicitud de creación de ejecución estable.genesis(requerido): Tipo: objeto.namespace_id(requerido): Tipo: entero.scenario_id(requerido): Identificador del escenario.scenario_law_identity(requerido): Identidad de ley de escenario canónica separada por dominio de Decision Gate.
Salidas
outcome(requerido): Uno de: objeto, objeto, objeto, objeto, objeto, objeto, objeto.
Notas
- Requiere namespace_id, exacta scenario_law_identity, y un stable 128-bit creation_request_id.
- RunId y el tiempo de auditoría aceptado son acuñados por autoridades nombradas; los llamadores no suministran ninguno.
- Start nunca abre raíces ni propone intenciones de entrada.
- La repetición de creación aceptada es primero el recibo y devuelve el resultado original exacto.
Ejemplo
Crear progreso vacío y recibir un RunId acuñado por la autoridad.
Entrada:
{
"correlation": {
"kind": "unset"
},
"creation_request_id": "10000000000000000000000000000001",
"genesis": {
"kind": "empty"
},
"namespace_id": 1,
"scenario_id": "example-scenario",
"scenario_law_identity": "5c3a5b6bce0f4a2c9e22c4fa6a1e6d8d90b0f2dfed1b7f1e9b3d3b3d1f0c9b21"
}
Output:
{
"outcome": {
"outcome": "accepted",
"result": {
"acceptance_time": {
"accepted_audit_instant": 0,
"authority_revision": "dg-local-system-wall-clock-revision-v1",
"source_material_identity": "5c3a5b6bce0f4a2c9e22c4fa6a1e6d8d90b0f2dfed1b7f1e9b3d3b3d1f0c9b21",
"time_authority_id": "dg-local-system-wall-clock-v1"
},
"admission": {
"kind": "embedded",
"profile_id": "dg-embedded-authority-v1",
"request_provenance_digest": {
"algorithm": "sha256",
"value": "5c3a5b6bce0f4a2c9e22c4fa6a1e6d8d90b0f2dfed1b7f1e9b3d3b3d1f0c9b21"
}
},
"correlation": {
"kind": "unset"
},
"creation_request_id": "10000000000000000000000000000001",
"genesis": {
"kind": "empty"
},
"head": {
"record_id": "5c3a5b6bce0f4a2c9e22c4fa6a1e6d8d90b0f2dfed1b7f1e9b3d3b3d1f0c9b21",
"revision": 1
},
"invocation_identity": "5c3a5b6bce0f4a2c9e22c4fa6a1e6d8d90b0f2dfed1b7f1e9b3d3b3d1f0c9b21",
"run_key": {
"namespace_id": 1,
"run_id": "00000000000000000000000000000001"
},
"scenario_law_identity": "5c3a5b6bce0f4a2c9e22c4fa6a1e6d8d90b0f2dfed1b7f1e9b3d3b3d1f0c9b21"
}
}
}
estadodelescenario
Devuelve la cabeza aceptada exacta, el estado de ejecución automático, las clasificaciones de etapa y la frontera lista.
Entradas
namespace_id(requerido): Tipo: entero.run_id(requerido): Identidad de ejecución acuñada por la autoridad.scenario_id(requerido): Identificador del escenario.
Salidas
accepted_head(requerido): Tipo: objeto.committed_intent_count(requerido): Total de conteo de intenciones comprometidas sin materialización de identidad no acotada.ready_frontier(requerido): Tipo: array.recent_attempts(requerido): Tipo: array.stages(requerido): Tipo: array.statusestado (requerido): Tipo: string.
Notas
- El estado de solo lectura no abre, evalúa ni muta una etapa.
- ReadyUnopened y OpenIncomplete son distintos y no llevan ninguna semántica de asignación.
Ejemplo
Estado de ejecución de la encuesta sin avanzar la ejecución.
Entrada:
{
"namespace_id": 1,
"run_id": "00000000000000000000000000000001",
"scenario_id": "example-scenario"
}
Output:
{
"accepted_head": {
"record_id": "5c3a5b6bce0f4a2c9e22c4fa6a1e6d8d90b0f2dfed1b7f1e9b3d3b3d1f0c9b21",
"revision": 1
},
"committed_intent_count": 0,
"ready_frontier": [
"inspect"
],
"recent_attempts": [],
"stages": [
{
"classification": "ready_unopened",
"stage_id": "inspect"
}
],
"status": "active"
}
scenario_history
Devuelve registros aceptados acotados en el orden exacto de la cabeza de ejecución.
Entradas
after_revision(opcional, nullable): Uno de: null, entero.limit(opcional): Tipo: entero.namespace_id(requerido): Tipo: entero.run_id(requerido): Identidad de ejecución acuñada por la autoridad.scenario_id(requerido): Identificador del escenario.
Salidas
next_after_revision(requerido, nullable): Uno de: null, entero.records(requerido): Tipo: array.
Notas
- La historia es una superficie de coordinación y auditoría en orden aceptado, no propiedad de etapa.
Ejemplo
Leer historia aceptada limitada.
Entrada:
{
"after_revision": null,
"limit": 50,
"namespace_id": 1,
"run_id": "00000000000000000000000000000001",
"scenario_id": "example-scenario"
}
Output:
{
"next_after_revision": null,
"records": []
}
scenarioopenstage
Abre explícitamente una etapa ReadyUnopened en una cabeza aceptada exacta.
Entradas
expected_head(requerido): Tipo: objeto.namespace_id(requerido): Tipo: entero.operation_id(requerido): Identidad de operación estable de apertura de etapa.run_id(requerido): Identidad de ejecución acuñada por la autoridad.scenario_id(requerido): Identificador del escenario.stage_id(requerido): Identificador de etapa explícito.
Salidas
outcome(requerido): Uno de: objeto, objeto, objeto, objeto, objeto, objeto, objeto, objeto.
Notas
- La apertura de registros inicia el trabajo a nivel de ejecución y propone intenciones de entrada una vez; no asigna ni excluye hermanos.
Ejemplo
Abre una etapa lista en una cabeza exacta.
Entrada:
{
"expected_head": {
"record_id": "5c3a5b6bce0f4a2c9e22c4fa6a1e6d8d90b0f2dfed1b7f1e9b3d3b3d1f0c9b21",
"revision": 1
},
"namespace_id": 1,
"operation_id": "20000000000000000000000000000001",
"run_id": "00000000000000000000000000000001",
"scenario_id": "example-scenario",
"stage_id": "inspect"
}
Output:
{
"outcome": {
"outcome": "stale",
"result": {
"record_id": "5c3a5b6bce0f4a2c9e22c4fa6a1e6d8d90b0f2dfed1b7f1e9b3d3b3d1f0c9b21",
"revision": 1
}
}
}
escenarioevaluaretapa
Adquirir evidencia y evaluar una etapa OpenIncomplete en un exacto accepted head.
Entradas
caller_evidence(opcional): Tipo: array.expected_head(requerido): Tipo: objeto.local_acquisition(opcional): Tipo: array.namespace_id(requerido): Tipo: entero.operation_id(requerido): Identidad de operación de evaluación de etapa estable.run_id(requerido): Identidad de ejecución acuñada por la autoridad.scenario_id(requerido): Identificador del escenario.stage_id(requerido): Identificador de etapa explícito.
Salidas
outcome(requerido): Uno de: objeto, objeto, objeto, objeto, objeto, objeto, objeto, objeto.
Notas
- Falso y Desconocido añaden intentos reintentables; solo Verdadero propone la finalización de la etapa.
- La adquisición operativa o el fallo del evaluador no generan ninguna propuesta semántica.
Ejemplo
Evaluar una etapa abierta en un exacto head.
Entrada:
{
"caller_evidence": [
{
"condition_id": "environment_is_production",
"retention": {
"retention": "RetainCanonicalValue"
},
"value": {
"value": "production",
"value_type": "String"
}
}
],
"expected_head": {
"record_id": "5c3a5b6bce0f4a2c9e22c4fa6a1e6d8d90b0f2dfed1b7f1e9b3d3b3d1f0c9b21",
"revision": 1
},
"local_acquisition": [],
"namespace_id": 1,
"operation_id": "30000000000000000000000000000001",
"run_id": "00000000000000000000000000000001",
"scenario_id": "example-scenario",
"stage_id": "inspect"
}
Output:
{
"outcome": {
"outcome": "stale",
"result": {
"record_id": "5c3a5b6bce0f4a2c9e22c4fa6a1e6d8d90b0f2dfed1b7f1e9b3d3b3d1f0c9b21",
"revision": 1
}
}
}
escenarioprechecketapa
Predecir un resultado de RET de una etapa a partir de evidencia afirmada sin apertura o mutación.
Entradas
caller_evidence(opcional): Tipo: array.local_acquisition(opcional): Tipo: array.namespace_id(requerido): Tipo: entero.scenario_id(requerido): Identificador del escenario.scenario_law_identity(requerido): Identidad de ley de escenario canónica separada por dominio de Decision Gate.stage_id(requerido): Identificador de etapa.
Salidas
outcome(requerido): Tipo: cadena.trace(requerido): Tipo: array.
Notas
- Precheck nunca reclama el progreso aceptado ni las intenciones de entrada de problemas.
Ejemplo
Predecir un resultado de etapa sin mutación.
Entrada:
{
"caller_evidence": [
{
"condition_id": "environment_is_production",
"retention": {
"retention": "RetainCanonicalValue"
},
"value": {
"value": "production",
"value_type": "String"
}
}
],
"local_acquisition": [],
"namespace_id": 1,
"scenario_id": "example-scenario",
"scenario_law_identity": "5c3a5b6bce0f4a2c9e22c4fa6a1e6d8d90b0f2dfed1b7f1e9b3d3b3d1f0c9b21",
"stage_id": "inspect"
}
Output:
{
"outcome": "true",
"trace": []
}
escenario_enviar
Aceptar un artefacto a nivel de ejecución o con alcance de etapa abierta exacto en un exacto run head.
Entradas
content_type(requerido): Tipo de contenido enviado.expected_head(requerido): Tipo: objeto.namespace_id(requerido): Tipo: entero.operation_id(requerido): Identidad de operación de envío de ejecución estable.payload(requerido): Uno de: objeto, objeto, objeto.run_id(requerido): Identidad de ejecución acuñada por la autoridad.scenario_id(requerido): Identificador del escenario.scope(requerido): Uno de: objeto, objeto.
Salidas
outcome(requerido): Uno de: objeto, objeto, objeto, objeto, objeto, objeto, objeto, objeto.
Notas
- La carga útil se hash canoniza y se almacena como una presentación aceptada inmutable.
- La carga útil se persiste en los registros de estado de ejecución/runpack; no envíe secretos en bruto.
- La presentación nunca completa ni abre una etapa por sí misma.
- El alcance de la etapa debe vincular tanto stage_id como su exacto accepted stage_open_record_id.
- Utilice para los artefactos el modelo o el operador proporciona.
Ejemplo
Enviar un artefacto a nivel de ejecución en un exacto accepted head.
Entrada:
{
"content_type": "application/json",
"expected_head": {
"record_id": "5c3a5b6bce0f4a2c9e22c4fa6a1e6d8d90b0f2dfed1b7f1e9b3d3b3d1f0c9b21",
"revision": 1
},
"namespace_id": 1,
"operation_id": "40000000000000000000000000000001",
"payload": {
"kind": "json",
"value": {
"artifact": "attestation",
"status": "approved"
}
},
"run_id": "00000000000000000000000000000001",
"scenario_id": "example-scenario",
"scope": {
"kind": "run_wide"
}
}
Output:
{
"outcome": {
"outcome": "stale",
"result": {
"record_id": "5c3a5b6bce0f4a2c9e22c4fa6a1e6d8d90b0f2dfed1b7f1e9b3d3b3d1f0c9b21",
"revision": 1
}
}
}
escenarioresolvercreación
Resuelve una creación potencialmente indeterminada a través de la autoridad de recibo de creación aceptada.
Entradas
creation_request_id(requerido): Identidad de solicitud de creación de ejecución.invocation_identity(requerido): Identidad de invocación canónica.namespace_id(requerido): Tipo: entero.
Salidas
outcome(requerido): Uno de: objeto, objeto, objeto, objeto, objeto.
Notas
- La autorización se verifica antes de la divulgación del recibo.
- La resolución nunca crea un run aceptado ni vuelve a muestrear el tiempo de aceptación.
Ejemplo
Resolver una invocación de creación después de una respuesta indeterminada.
Entrada:
{
"creation_request_id": "10000000000000000000000000000001",
"invocation_identity": "5c3a5b6bce0f4a2c9e22c4fa6a1e6d8d90b0f2dfed1b7f1e9b3d3b3d1f0c9b21",
"namespace_id": 1
}
Output:
{
"outcome": {
"outcome": "known_unaccepted",
"result": {
"reason": "no_accepted_receipt"
}
}
}
escenarioresolvermutación
Resuelve una mutación potencialmente indeterminada a través de su recibo aceptado exacto.
Entradas
invocation_identity(requerido): Identidad de invocación canónica.namespace_id(requerido): Tipo: entero.operation_id(requerido): Uno de: objeto, objeto, objeto.run_id(requerido): Identidad de ejecución acuñada por la autoridad.
Salidas
outcome(requerido): Uno de: objeto, objeto, objeto, objeto, objeto.
Notas
- La autorización se verifica antes de la divulgación del recibo.
- La resolución es primero el recibo y nunca compara o avanza la cabeza actual.
Ejemplo
Resolver una invocación de apertura de etapa después de una respuesta indeterminada.
Entrada:
{
"invocation_identity": "5c3a5b6bce0f4a2c9e22c4fa6a1e6d8d90b0f2dfed1b7f1e9b3d3b3d1f0c9b21",
"namespace_id": 1,
"operation_id": {
"family": "open_stage",
"identity": "20000000000000000000000000000001"
},
"run_id": "00000000000000000000000000000001"
}
Output:
{
"outcome": {
"outcome": "known_unaccepted",
"result": {
"reason": "no_accepted_receipt"
}
}
}
runpack_export
Publicar un tema coherente de runpack-v6 con prefijo aceptado localmente.
Entradas
namespace_id(requerido): Identificador de espacio de nombres.run_id(requerido): Identidad de ejecución acuñada por la autoridad.
Salidas
publication(requerido): Uno de: objeto, objeto, objeto, objeto, objeto, objeto.
Notas
- La raíz de composición posee el repositorio local inmutable basado en capacidades.
- El manifiesto se publica al final y no contiene reloj, ruta, URI o metadatos mutables.
- La aceptación concurrente posterior no puede cambiar el punto de control histórico exportado.
Ejemplo
Publica un prefijo aceptado coherente en el repositorio local gestionado.
Entrada:
{
"namespace_id": 1,
"run_id": "00000000000000000000000000000001"
}
Output:
{
"publication": {
"outcome": "published",
"runpack_identity": "5c3a5b6bce0f4a2c9e22c4fa6a1e6d8d90b0f2dfed1b7f1e9b3d3b3d1f0c9b21"
}
}
runpack_verify
Verificar un tema de runpack-v6 suministrado con un informe de reclamación total.
Entradas
budget(opcional, nullable): Uno de: null, objeto.profile(opcional): Tipo: cadena.runpack_identity(requerido): Identidad exacta del sujeto runpack-v6.
Salidas
reportinforme (requerido): Tipo: object.
Notas
- Usa solo supplied_offline_material_v1; no se consulta ninguna red, proveedor, reloj o resolvedor.
- La autorización precede al informe o la divulgación de reclamaciones.
- La autenticidad externa, actualidad, retroceso, efecto y reclamaciones de implementación permanecen no disponibles sin evidencia calificada por separado.
Ejemplo
Verificar material local suministrado con el perfil de reclamación de solo integridad exacto.
Entrada:
{
"profile": "integrity_only_v1",
"runpack_identity": "5c3a5b6bce0f4a2c9e22c4fa6a1e6d8d90b0f2dfed1b7f1e9b3d3b3d1f0c9b21"
}
Output:
{
"report": {
"assumptions": [
"supplied bytes are the complete material universe for this invocation"
],
"budget": {
"bytes_read": 1073741824,
"canonical_work_bytes": 4294967296,
"hashing_workers": 4,
"objects": 65536,
"records": 1000000,
"tree_nodes": 262144
},
"claims": [
{
"claim": "structural_format_validity",
"status": {
"method": "manifest_constructor_v6",
"status": "satisfied"
}
},
{
"claim": "runpack_subject_identity",
"status": {
"method": "manifest_constructor_v6",
"status": "satisfied"
}
},
{
"claim": "artifact_tree_integrity",
"status": {
"method": "object_tree_traversal_v6",
"status": "satisfied"
}
},
{
"claim": "scenario_law_construction",
"status": {
"status": "not_requested"
}
},
{
"claim": "scenario_graph_binding",
"status": {
"status": "not_requested"
}
},
{
"claim": "run_allocation_integrity",
"status": {
"status": "not_requested"
}
},
{
"claim": "creation_receipt_integrity",
"status": {
"status": "not_requested"
}
},
{
"claim": "accepted_history_continuity",
"status": {
"status": "not_requested"
}
},
{
"claim": "exact_head_reconstruction",
"status": {
"status": "not_requested"
}
},
{
"claim": "current_state_equivalence",
"status": {
"status": "not_requested"
}
},
{
"claim": "operation_receipt_consistency",
"status": {
"status": "not_requested"
}
},
{
"claim": "stage_open_consistency",
"status": {
"status": "not_requested"
}
},
{
"claim": "evaluation_attempt_consistency",
"status": {
"status": "not_requested"
}
},
{
"claim": "submission_consistency",
"status": {
"status": "not_requested"
}
},
{
"claim": "intent_consistency",
"status": {
"status": "not_requested"
}
},
{
"claim": "evidence_structural_admission",
"status": {
"status": "not_requested"
}
},
{
"claim": "evidence_retention_reconstruction",
"status": {
"status": "not_requested"
}
},
{
"claim": "evidence_use_policy_satisfaction",
"status": {
"status": "not_requested"
}
},
{
"claim": "pure_semantic_replay",
"status": {
"status": "not_requested"
}
},
{
"claim": "acquisition_admission_witness_reconstruction",
"status": {
"status": "not_requested"
}
},
{
"claim": "attribution_authorization_availability",
"status": {
"status": "not_requested"
}
},
{
"claim": "acceptance_time_witness_structure",
"status": {
"status": "not_requested"
}
},
{
"claim": "source_authenticity",
"status": {
"status": "not_requested"
}
},
{
"claim": "currentness",
"status": {
"status": "not_requested"
}
},
{
"claim": "rollback_resistance",
"status": {
"status": "not_requested"
}
},
{
"claim": "dispatch_recovery",
"status": {
"status": "not_requested"
}
},
{
"claim": "effect_recovery",
"status": {
"status": "not_requested"
}
},
{
"claim": "deployment_qualification",
"status": {
"status": "not_requested"
}
},
{
"claim": "verifier_build_procedure_provenance",
"status": {
"status": "not_requested"
}
}
],
"material_resolution": "supplied_offline_material_v1",
"profile": "integrity_only_v1",
"report_identity": "5c3a5b6bce0f4a2c9e22c4fa6a1e6d8d90b0f2dfed1b7f1e9b3d3b3d1f0c9b21",
"request_identity": "5c3a5b6bce0f4a2c9e22c4fa6a1e6d8d90b0f2dfed1b7f1e9b3d3b3d1f0c9b21",
"runpack_identity": "5c3a5b6bce0f4a2c9e22c4fa6a1e6d8d90b0f2dfed1b7f1e9b3d3b3d1f0c9b21",
"trusted_bases": [
"sha256",
"serde_jcs_rfc8785"
],
"verifier_procedure": "decision_gate_offline_verifier_v1"
}
}
schemas_register
Registrar un esquema de forma de datos para un namespace.
Entradas
recordregistro (requerido): Tipo: object.
Salidas
recordregistro (requerido): Tipo: object.
Notas
- Los esquemas son inmutables; registrar la misma versión dos veces falla.
- Proporcione created_at para registrar cuándo se creó el esquema.
Ejemplo
Registrar un esquema de forma de datos.
Entrada:
{
"record": {
"created_at": {
"kind": "unix_millis",
"value": 1710000000000
},
"description": "Asserted payload schema.",
"namespace_id": 1,
"schema": {
"additionalProperties": false,
"properties": {
"deploy_env": {
"type": "string"
}
},
"required": [
"deploy_env"
],
"type": "object"
},
"schema_id": "asserted_payload",
"version": "v1"
}
}
Output:
{
"record": {
"created_at": {
"kind": "unix_millis",
"value": 1710000000000
},
"description": "Asserted payload schema.",
"namespace_id": 1,
"schema": {
"additionalProperties": false,
"properties": {
"deploy_env": {
"type": "string"
}
},
"required": [
"deploy_env"
],
"type": "object"
},
"schema_id": "asserted_payload",
"version": "v1"
}
}
listasdeesquemas
Lista las formas de datos registradas para un namespace.
Entradas
cursor(opcional, nullable): Uno de: null, string.limitlímite (opcional): Número máximo de registros a devolver.namespace_id(requerido): Identificador de espacio de nombres.
Salidas
items(requerido): Tipo: array.next_token(requerido, nullable): Uno de: null, string.
Notas
- Requiere namespace_id.
- Soporta la paginación a través de cursor + límite.
Ejemplo
Lista las formas de datos para un espacio de nombres.
Entrada:
{
"cursor": null,
"limit": 50,
"namespace_id": 1
}
Output:
{
"items": [
{
"created_at": {
"kind": "unix_millis",
"value": 1710000000000
},
"description": "Asserted payload schema.",
"namespace_id": 1,
"schema": {
"additionalProperties": false,
"properties": {
"deploy_env": {
"type": "string"
}
},
"required": [
"deploy_env"
],
"type": "object"
},
"schema_id": "asserted_payload",
"version": "v1"
}
],
"next_token": null
}
schemas_get
Obtén una forma de datos específica por identificador y versión.
Entradas
namespace_id(requerido): Identificador de espacio de nombres.schema_id(requerido): Identificador de forma de datos.version(requerido): Identificador de versión de la forma de datos.
Salidas
recordregistro (requerido): Tipo: object.
Notas
- Requiere namespace_id, schema_id y versión.
- Falla al cerrarse cuando falta el esquema.
Ejemplo
Obtén una forma de datos por identificador y versión.
Entrada:
{
"namespace_id": 1,
"schema_id": "asserted_payload",
"version": "v1"
}
Output:
{
"record": {
"created_at": {
"kind": "unix_millis",
"value": 1710000000000
},
"description": "Asserted payload schema.",
"namespace_id": 1,
"schema": {
"additionalProperties": false,
"properties": {
"deploy_env": {
"type": "string"
}
},
"required": [
"deploy_env"
],
"type": "object"
},
"schema_id": "asserted_payload",
"version": "v1"
}
}
listadeescenarios
Listar escenarios registrados para un namespace.
Entradas
cursor(opcional, nullable): Uno de: null, string.limitlímite (opcional): Número máximo de registros a devolver.namespace_id(requerido): Identificador de espacio de nombres.
Salidas
items(requerido): Tipo: array.next_token(requerido, nullable): Uno de: null, string.
Notas
- Requiere namespace_id.
- Devuelve identificadores de escenario y hashes.
Ejemplo
Enumera los escenarios para un espacio de nombres.
Entrada:
{
"cursor": null,
"limit": 50,
"namespace_id": 1
}
Output:
{
"items": [
{
"namespace_id": 1,
"scenario_id": "example-scenario",
"scenario_law_identity": "5c3a5b6bce0f4a2c9e22c4fa6a1e6d8d90b0f2dfed1b7f1e9b3d3b3d1f0c9b21"
}
],
"next_token": null
}
decisiongatedocs_search
Busque la documentación de Decision Gate para obtener orientación en tiempo de ejecución.
Entradas
max_sections(opcional): Número máximo de secciones a devolver (por defecto 3, límite máximo 10).query(required): Consulta de búsqueda para secciones de documentación.
Salidas
docs_covered(required): Tipo: array.sectionssecciones (requerido): Tipo: array.suggested_followupssugerencias_de_seguimiento (requerido): Indicaciones de seguimiento conscientes del rol.
Notas
- Utilizar para búsquedas rápidas sobre el flujo de evidencia tipada, predicados y adquisición local.
- Devuelve secciones clasificadas con etiquetas de rol y seguimientos sugeridos.
- La búsqueda es determinista y está limitada al catálogo de documentos configurado.
Ejemplo
Buscar admisión de evidencia y orientación de evaluación pura.
Entrada:
{
"max_sections": 2,
"query": "precheck versus live admitted evidence"
}
Output:
{
"docs_covered": [
{
"doc_id": "evidence_flow_and_execution_model",
"doc_role": "reasoning",
"doc_title": "Evidence Flow + Execution Model"
}
],
"sections": [
{
"content": "...",
"doc_id": "evidence_flow_and_execution_model",
"doc_role": "reasoning",
"doc_title": "Evidence Flow + Execution Model",
"heading": "Core Data Flow",
"rank": 0
}
],
"suggested_followups": [
"Refine the query with condition-domain or acquisition keywords for targeted guidance."
]
}