Aquest document resumeix la superfície de l’eina MCP i l’ús esperat. Els esquemes complets es troben a tooling.json, amb esquemes de suport sota schemas/ i exemples sota examples/.
Inici ràpid del cicle de vida
scenario_definevalida i registra una llei d’escenari monotone-DAG.scenario_startcrea un run de progrés buit vinculat a aquella llei exacta.scenario_statusiscenario_historyllegeixen l’estat acceptat i els registres.scenario_open_stageobre explícitament una etapa preparada.scenario_evaluate_stageregistra un intent i pot completar aquella etapa.scenario_precheck_stageprediu l’avaluació sense mutació.scenario_submitcompromet un artefacte a nivell d’execució o d’etapa exacta.runpack_exportirunpack_verifysuporten la verificació fora de línia.
Referències d’artefactes
authoring.md: formats d’autoria i orientació sobre normalització.Docs/generated/decision-gate/examples/scenario.json: exemple hostil de RawScenarioSpec.Docs/generated/decision-gate/examples/scenario.ron: exemple de RawScenarioSpec amigable per a l’autoria.Docs/generated/decision-gate/examples/decision-gate.toml: Exemple de configuració MCP i adquisició local limitada.
| Eina | Descripció |
|---|---|
| scenario_define | Admet la sintaxi de DAG monotònic hostil i retorna les identitats exactes de la llei de l’escenari i del gràfic. |
| scenario_start | Crea un run buit vinculat a un gràfic sota l’autoritat de run acceptat i retorna el seu RunId emès. |
| scenario_status | Retorna el cap acceptat exacte, l’estat automàtic del run, les classificacions d’etapa i la frontera preparada. |
| scenario_history | Retorna registres acceptats limitats en l’ordre exacte del cap del run. |
| scenario_open_stage | Obre explícitament una etapa ReadyUnopened en un cap acceptat exacte. |
| scenario_evaluate_stage | Adquireix evidència i avalua una etapa OpenIncomplete en un cap acceptat exacte. |
| scenario_precheck_stage | Prediu un resultat RET d’una etapa a partir d’evidència afirmada sense obertura o mutació. |
| scenario_submit | Accepta un artefacte a nivell de run o amb un abast d’etapa oberta exacta en un cap de run exacte. |
| scenario_resolve_creation | Resol una creació potencialment indeterminada a través de l’autoritat de rebut de creació acceptada. |
| scenario_resolve_mutation | Resol una mutació potencialment indeterminada a través del seu rebut acceptat exacte. |
| runpack_export | Publica un tema coherent de runpack-v6 amb prefix acceptat localment. |
| runpack_verify | Verifica un tema de runpack-v6 subministrat amb un informe de reclamació total. |
| schemas_register | Registra un esquema de forma de dades per a un espai de noms. |
| schemas_list | Llista les formes de dades registrades per a un espai de noms. |
| schemas_get | Recupera una forma de dades específica per identificador i versió. |
| scenarios_list | Llista els escenaris registrats per a un espai de noms. |
| decision_gate_docs_search | Cerca documentació de Decision Gate per a orientació en temps d’execució. |
escenari_definir
Admet la sintaxi de scenario de DAG monotònic hostil i retorna les identitats exactes de la llei de l’escenari i del gràfic.
Inputs
spec(requerit): Especificació d’escenari hostil per validar i registrar.
Sortides
graph_identity(requerit): Projecció DG canònica d’una identitat de gràfic Xarxa segellada.scenario_id(required): Identificador de l’escenari.scenario_law_identity(requerit): Identitat de llei de l’escenari de Decision Gate separada per dominis.
Notes
- Utilitza abans d’iniciar les execucions; scenario_id i scenario_law_identity vinculen les crides posteriors.
- Valida la topologia de Xarxa, proves RET, condicions tipades, compatibilitat d’adquisició i límits de valor efectiu.
- Les identitats de llei i gràfic canonicals són deterministes sota canvis d’ordre brut.
- Falles tancades en especificacions no vàlides o registre duplicat de la mateixa llei exacta; revisions immutables distintes romanen adreçables.
Exemple
Registra l’especificació de l’escenari d’exemple.
Input:
{
"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"
}
escenari_inici
Crea un run buit vinculat a un gràfic sota l’autoritat de run acceptat i retorna el seu RunId emès.
Inputs
correlation(requerit): Un dels: objecte, objecte.creation_request_id(requerit): Identitat de sol·licitud de creació de run estable.genesis(requerit): Tipus: objecte.namespace_id(requerit): Tipus: enter.scenario_id(required): Identificador de l’escenari.scenario_law_identity(requerit): Identitat de llei de l’escenari de Decision Gate separada per dominis.
Sortides
outcome(requerit): Un dels: objecte, objecte, objecte, objecte, objecte, objecte, objecte.
Notes
- Requereix namespace_id, exacta scenario_law_identity, i un stable 128-bit creation_request_id.
- RunId i el temps d’auditoria acceptat són emesos per autoritats nomenades; els cridants no subministren cap.
- L’inici mai obre arrels ni proposa intencions d’entrada.
- La repetició de creació acceptada és primer el rebut i retorna el resultat original exacte.
Exemple
Crea un progrés buit i rep un RunId emès per l’autoritat.
Input:
{
"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"
}
}
}
estat_escenari
Retorna el cap acceptat exacte, l’estat d’execució automàtica, les classificacions d’etapa i la frontera preparada.
Inputs
namespace_id(requerit): Tipus: enter.run_id(requerit): Identitat d’execució emesa per l’autoritat.scenario_id(required): Identificador de l’escenari.
Sortides
accepted_head(requerit): Tipus: objecte.committed_intent_count(requerit): Total de comptes d’intenció compromesos sense materialització d’identitat il·limitada.ready_frontier(requerit): Tipus: array.recent_attempts(requerit): Tipus: array.stages(requerit): Tipus: array.status(requerit): Tipus: string.
Notes
- L’estat de només lectura no obre, avalua ni muta una etapa.
- ReadyUnopened i OpenIncomplete són distintes i no porten cap semàntica d’assignació.
Exemple
Estat de l’execució de la consulta sense avançar l’execució.
Input:
{
"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
Retorna registres acceptats limitats en l’ordre exacte del cap d’execució.
Inputs
after_revision(opcional, nullable): Un dels: null, enter.limit(opcional): Tipus: enter.namespace_id(requerit): Tipus: enter.run_id(requerit): Identitat d’execució emesa per l’autoritat.scenario_id(required): Identificador de l’escenari.
Sortides
next_after_revision(requerit, nullable): Un dels: null, enter.records(requerit): Tipus: array.
Notes
- La història és una superfície de coordinació i auditoria d’ordre acceptat, no propietat d’etapa.
Exemple
Llegeix la història acceptada limitada.
Input:
{
"after_revision": null,
"limit": 50,
"namespace_id": 1,
"run_id": "00000000000000000000000000000001",
"scenario_id": "example-scenario"
}
Output:
{
"next_after_revision": null,
"records": []
}
scenarioopenstage
Obre explícitament una etapa ReadyUnopened en un cap acceptat exacte.
Inputs
expected_head(requerit): Tipus: objecte.namespace_id(requerit): Tipus: enter.operation_id(requerit): Identitat d’operació estable d’obertura d’etapa.run_id(requerit): Identitat d’execució emesa per l’autoritat.scenario_id(required): Identificador de l’escenari.stage_id(requerit): Identificador d’etapa explícit.
Sortides
outcome(requerit): Un dels: objecte, objecte, objecte, objecte, objecte, objecte, objecte, objecte.
Notes
- L’obertura dels registres inicia el treball a nivell de run i proposa intencions d’entrada una vegada; no assigna ni exclou germans.
Exemple
Obre una etapa preparada en un cap exacte.
Input:
{
"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
}
}
}
escenariavaluaretapa
Adquireix evidència i avalua una etapa OpenIncomplete en un exact accepted head.
Inputs
caller_evidence(opcional): Tipus: array.expected_head(requerit): Tipus: objecte.local_acquisition(opcional): Tipus: array.namespace_id(requerit): Tipus: enter.operation_id(requerit): Identitat d’operació d’avaluació d’etapa estable.run_id(requerit): Identitat d’execució emesa per l’autoritat.scenario_id(required): Identificador de l’escenari.stage_id(requerit): Identificador d’etapa explícit.
Sortides
outcome(requerit): Un dels: objecte, objecte, objecte, objecte, objecte, objecte, objecte, objecte.
Notes
- False i Unknown afegeixen intents reintents; només True proposa la finalització de l’etapa.
- L’adquisició operativa o el fracàs de l’evaluador no genera cap proposta semàntica.
Exemple
Avalua una etapa oberta en un cap exacte.
Input:
{
"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
}
}
}
escenariprechecketapa
Prediu un resultat RET d’una etapa a partir d’evidència afirmada sense obertura o mutació.
Inputs
caller_evidence(opcional): Tipus: array.local_acquisition(opcional): Tipus: array.namespace_id(requerit): Tipus: enter.scenario_id(required): Identificador de l’escenari.scenario_law_identity(requerit): Identitat de llei de l’escenari de Decision Gate separada per dominis.stage_id(requerit): Identificador d’etapa.
Sortides
outcome(requerit): Tipus: cadena.trace(requerit): Tipus: array.
Notes
- La precomprovació mai reclama el progrés acceptat o les intencions d’entrada d’issues.
Exemple
Prediu un resultat d’etapa sense mutació.
Input:
{
"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": []
}
escenari_enviar
Accepta un artefacte a nivell de run o amb un abast d’etapa oberta exacta en un cap de run exacte.
Inputs
content_type(requerit): Tipus de contingut enviat.expected_head(requerit): Tipus: objecte.namespace_id(requerit): Tipus: enter.operation_id(requerit): Identitat d’operació estable de submissió de run.payload(requerit): Un dels: objecte, objecte, objecte.run_id(requerit): Identitat d’execució emesa per l’autoritat.scenario_id(required): Identificador de l’escenari.scope(requerit): Un dels: objecte, objecte.
Sortides
outcome(requerit): Un dels: objecte, objecte, objecte, objecte, objecte, objecte, objecte, objecte.
Notes
- La càrrega útil es hash canonialment i es desa com una submissió acceptada immutable.
- La càrrega útil es manté en els registres de l’estat d’execució/runpack; no envieu secrets en brut.
- La submissió mai completa ni obre una etapa per si sola.
- L’abast de l’etapa ha de vincular tant stage_id com el seu exact accepted stage_open_record_id.
- Utilitzeu per als artefactes el model o operador subministrat.
Exemple
Submet un artefacte a nivell de run en un cap acceptat exacte.
Input:
{
"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
}
}
}
escenariresoldrecreació
Resol una creació potencialment indeterminada a través de l’autoritat de rebut de creació acceptada.
Inputs
creation_request_id(requerit): Identitat de sol·licitud de creació de run.invocation_identity(requerit): Identitat d’invocació canònica.namespace_id(requerit): Tipus: enter.
Sortides
outcome(requerit): Un dels: objecte, objecte, objecte, objecte, objecte.
Notes
- L’autorització es comprova abans de la divulgació del rebut.
- La resolució mai crea un run acceptat ni torna a mostrejar el temps d’acceptació.
Exemple
Resol una invocació de creació després d’una resposta indeterminada.
Input:
{
"creation_request_id": "10000000000000000000000000000001",
"invocation_identity": "5c3a5b6bce0f4a2c9e22c4fa6a1e6d8d90b0f2dfed1b7f1e9b3d3b3d1f0c9b21",
"namespace_id": 1
}
Output:
{
"outcome": {
"outcome": "known_unaccepted",
"result": {
"reason": "no_accepted_receipt"
}
}
}
escenariresoldremutació
Resol una mutació potencialment indeterminada a través del seu rebut acceptat exacte.
Inputs
invocation_identity(requerit): Identitat d’invocació canònica.namespace_id(requerit): Tipus: enter.operation_id(requerit): Un dels: objecte, objecte, objecte.run_id(requerit): Identitat d’execució emesa per l’autoritat.
Sortides
outcome(requerit): Un dels: objecte, objecte, objecte, objecte, objecte.
Notes
- L’autorització es comprova abans de la divulgació del rebut.
- La resolució és primer el rebut i mai compara o avança el cap actual.
Exemple
Resol una invocació d’obertura d’etapa després d’una resposta indeterminada.
Input:
{
"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
Publica un tema coherent de runpack-v6 amb prefix acceptat localment.
Inputs
namespace_id(requerit): Identificador de l’espai de noms.run_id(requerit): Identitat d’execució emesa per l’autoritat.
Sortides
publication(requerit): Un dels: objecte, objecte, objecte, objecte, objecte, objecte.
Notes
- La composició arrel posseeix la capacitat de repositori local immutable arrelada.
- El manifest es publica per últim i no conté rellotge, camí, URI o metadades mutables.
- L’acceptació concurrent posterior no pot canviar el punt de control històric exportat.
Exemple
Publica un prefix acceptat coherent al repositori local gestionat.
Input:
{
"namespace_id": 1,
"run_id": "00000000000000000000000000000001"
}
Output:
{
"publication": {
"outcome": "published",
"runpack_identity": "5c3a5b6bce0f4a2c9e22c4fa6a1e6d8d90b0f2dfed1b7f1e9b3d3b3d1f0c9b21"
}
}
runpack_verify
Verifica un tema de runpack-v6 subministrat amb un informe de reclamació total.
Inputs
budget(opcional, nullable): Un dels: null, objecte.profile(opcional): Tipus: cadena.runpack_identity(requerit): Identitat exacta del subjecte runpack-v6.
Sortides
reportinforme (requerit): Tipus: objecte.
Notes
- Utilitza només supplied_offline_material_v1; no es consulta cap xarxa, proveïdor, rellotge o resolutor.
- L’autorització precedeix el report o la divulgació de reclamacions.
- L’autenticitat externa, l’actualitat, la reversió, l’efecte i les reclamacions de desplegament romanen no disponibles sense evidència qualificativa per separat.
Exemple
Verifica el material local subministrat amb el perfil de reclamació d’integritat exacta.
Input:
{
"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"
}
}
esquemes_registre
Registra un esquema de forma de dades per a un espai de noms.
Inputs
recordregistre (requerit): Tipus: objecte.
Sortides
recordregistre (requerit): Tipus: objecte.
Notes
- Els esquemes són immutables; registrar la mateixa versió dues vegades falla.
- Proporciona created_at per enregistrar quan es va redactar l’esquema.
Exemple
Registra un esquema de forma de dades.
Input:
{
"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"
}
}
esquemes_llista
Llista les formes de dades registrades per a un espai de noms.
Inputs
cursor(opcional, nul·la): Un dels: null, string.limit(opcional): Nombre màxim de registres a retornar.namespace_id(requerit): Identificador de l’espai de noms.
Sortides
itemselements (requerit): Tipus: array.next_token(requerit, nullable): Un d’aquests: null, string.
Notes
- Requereix namespace_id.
- Admet la paginació mitjançant cursor + límit.
Exemple
Llista de formes de dades per a un espai de noms.
Input:
{
"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_obtenir
Obteniu una forma de dades específica per identificador i versió.
Inputs
namespace_id(requerit): Identificador de l’espai de noms.schema_id(requerit): Identificador de la forma de dades.versionversió (requerida): Identificador de versió de la forma de dades.
Sortides
recordregistre (requerit): Tipus: objecte.
Notes
- Requereix namespace_id, schema_id i versió.
- Falla tancada quan falta l’esquema.
Exemple
Obteniu una forma de dades per identificador i versió.
Input:
{
"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"
}
}
escenaris_llista
Llista els escenaris registrats per a un espai de noms.
Inputs
cursor(opcional, nul·la): Un dels: null, string.limit(opcional): Nombre màxim de registres a retornar.namespace_id(requerit): Identificador de l’espai de noms.
Sortides
itemselements (requerit): Tipus: array.next_token(requerit, nullable): Un d’aquests: null, string.
Notes
- Requereix namespace_id.
- Retorna identificadors de scenario i hashes.
Exemple
Llista d’escenaris per a un espai de noms.
Input:
{
"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
Cerca la documentació de Decision Gate per a orientació en temps d’execució.
Inputs
max_sections(opcional): Nombre màxim de seccions a retornar (per defecte 3, límit màxim 10).query(required): Consulta de cerca per a seccions de documentació.
Sortides
docs_covered(requerit): Tipus: array.sectionsseccions (requerit): Tipus: array.suggested_followups(required): Suggeriments de seguiment conscients del rol.
Notes
- Utilitza per a cerques ràpides sobre el flux d’evidència tipada, predicats i adquisició local.
- Retorna seccions classificades amb etiquetes de rol i suggeriments de seguiment.
- La cerca és determinista i està limitada al catàleg de documents configurat.
Exemple
Cerca l’admissió d’evidència i orientació d’evaluació pura.
Input:
{
"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."
]
}