أدوات Decision Gate MCP

هذا المستند يلخص واجهة أداة MCP والاستخدام المتوقع. المخططات الكاملة موجودة في tooling.json، مع المخططات الداعمة تحت schemas/ والأمثلة تحت examples/.

بدء سريع لدورة الحياة

scenario_define يتحقق من صحة ويسجل قانون سيناريو DAG أحادي.
scenario_start ينشئ تشغيلًا فارغًا مرتبطًا بتلك القاعدة الدقيقة.
scenario_status و scenario_history تقرأ الحالة المقبولة والسجلات.
scenario_open_stage يفتح مرحلة جاهزة واحدة بشكل صريح.
scenario_evaluate_stage يسجل محاولة وقد يكمل تلك المرحلة.
يتنبأ scenario_precheck_stage بالتقييم دون تغيير.
scenario_submit يلتزم بقطعة أثرية على مستوى التشغيل أو نطاق المرحلة المحدد.
runpack_export و runpack_verify تدعمان التحقق غير المتصل بالإنترنت.

مراجع الأثر

authoring.md: إرشادات تنسيق التأليف والتطبيع.
Docs/generated/decision-gate/examples/scenario.json: مثال RawScenarioSpec عدائي.
Docs/generated/decision-gate/examples/scenario.ron: مثال RawScenarioSpec سهل التأليف.
Docs/generated/decision-gate/examples/decision-gate.toml: مثال على تكوين MCP وتكوين الاستحواذ المحلي المحدود.

الأداة	الوصف
scenario_define	قبول بناء جملة سيناريو DAG أحادي عدائي وإرجاع هوية القانون والرسوم البيانية الدقيقة للسيناريو.
scenario_start	إنشاء تشغيل فارغ مرتبط بالرسم البياني تحت سلطة التشغيل المقبولة وإرجاع RunId المُعتمد.
scenario_status	إرجاع الرأس المقبول الدقيق، حالة التشغيل التلقائية، تصنيفات المراحل، والحدود الجاهزة.
scenario_history	إرجاع السجلات المقبولة المحدودة بترتيب رأس التشغيل الدقيق.
scenario_open_stage	فتح مرحلة ReadyUnopened واحدة بشكل صريح عند رأس مقبول دقيق.
scenario_evaluate_stage	الحصول على الأدلة وتقييم مرحلة OpenIncomplete واحدة عند رأس مقبول دقيق.
scenario_precheck_stage	توقع نتيجة RET لمرحلة واحدة من الأدلة المؤكدة دون فتح أو تغيير.
scenario_submit	قبول عنصر فني على مستوى التشغيل أو نطاق فتح مرحلة دقيقة عند رأس تشغيل دقيق واحد.
scenario_resolve_creation	حل إنشاء محتمل غير محدد من خلال سلطة إيصال الإنشاء المقبولة.
scenario_resolve_mutation	حل تغيير محتمل غير محدد من خلال إيصالها المقبول الدقيق.
runpack_export	نشر موضوع runpack-v6 المقبول بشكل متماسك محليًا.
runpack_verify	التحقق من موضوع runpack-v6 المقدم مع تقرير المطالبة الكلي.
schemas_register	تسجيل مخطط شكل بيانات لفضاء أسماء.
schemas_list	قائمة بأشكال البيانات المسجلة لفضاء أسماء.
schemas_get	جلب شكل بيانات محدد بواسطة المعرف والإصدار.
scenarios_list	قائمة بالسيناريوهات المسجلة لفضاء أسماء.
decision_gate_docs_search	البحث في وثائق Decision Gate للحصول على إرشادات وقت التشغيل.

تحديد_السيناريو

اعترف بصياغة سيناريو DAG أحادي عدائي وأعد هويات قانون السيناريو والرسم البياني الدقيقة.

مدخلات

spec (مطلوب): مواصفات سيناريو عدائي للتحقق والتسجيل.

المخرجات

graph_identity (مطلوب): إسقاط DG القياسي لهوية رسم Xarxa مختوم.
scenario_id (required): معرف السيناريو.
scenario_law_identity (مطلوب): هوية قانون السيناريو القياسية Decision Gateالمفصولة حسب المجال.

ملاحظات

استخدم قبل بدء التشغيل؛ يربط scenario_id وscenario_law_identity المكالمات اللاحقة.
يتحقق من صحة طوبولوجيا Xarxa، وإثباتات RET، والشروط المطبقة، وتوافق الاستحواذ، وحدود القيمة الفعالة.
الهويات القانونية والرسمية محددة تحت تغييرات الترتيب الخام.
تفشل الإغلاقات عند المواصفات غير الصالحة أو التسجيل المكرر لنفس القانون الدقيق؛ تظل المراجعات غير القابلة للتغيير موجهة.

مثال

سجل مواصفات سيناريو المثال.

مدخل:

{
  "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"
}

سيناريو_البداية

أنشئ رسمًا بيانيًا فارغًا مرتبطًا بالتشغيل تحت سلطة التشغيل المقبول وأعد معرف التشغيل الذي تم سكّه.

مدخلات

correlation (مطلوب): واحد من: كائن، كائن.
creation_request_id (مطلوب): هوية طلب إنشاء التشغيل المستقرة.
genesis (مطلوب): النوع: كائن.
namespace_id (مطلوب): النوع: عدد صحيح.
scenario_id (required): معرف السيناريو.
scenario_law_identity (مطلوب): هوية قانون السيناريو القياسية Decision Gateالمفصولة حسب المجال.

المخرجات

outcome (مطلوب): واحد من: كائن، كائن، كائن، كائن، كائن، كائن، كائن.

ملاحظات

يتطلب namespace_id، وexact scenario_law_identity، وstable 128-bit creation_request_id.
يتم سك RunId ووقت التدقيق المقبول من قبل السلطات المسماة؛ المتصلون لا يقدمون أي منهما.
لا تفتح البداية الجذور أو تقترح نوايا الإدخال.
إعادة إنشاء مقبولة قائمة على الإيصال أولاً وتعيد النتيجة الأصلية الدقيقة.

مثال

إنشاء تقدم فارغ واستلام RunId مُعتمد من السلطة.

مدخل:

{
  "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"
    }
  }
}

حالة السيناريو

إرجاع الرأس المقبول بالضبط، حالة التشغيل التلقائي، تصنيفات المرحلة، والحدود الجاهزة.

مدخلات

namespace_id (مطلوب): النوع: عدد صحيح.
run_id (مطلوب): هوية التشغيل المسكوكة من قبل السلطة.
scenario_id (required): معرف السيناريو.

المخرجات

accepted_head (مطلوب): النوع: كائن.
committed_intent_count (مطلوب): إجمالي عدد النوايا الملتزمة بدون تجسيد هوية غير محدودة.
ready_frontier (مطلوب): النوع: مصفوفة.
recent_attempts (مطلوب): النوع: مصفوفة.
stages (مطلوب): النوع: مصفوفة.
statusالحالة (مطلوب): النوع: string.

ملاحظات

الحالة للقراءة فقط لا تفتح أو تقيم أو تغير مرحلة.
ReadyUnopened و OpenIncomplete متميزتان ولا تحملان أي دلالات تعيين.

مثال

استعلام حالة التشغيل دون التقدم في التشغيل.

مدخل:

{
  "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"
}

تاريخ السيناريو

إرجاع السجلات المقبولة المحدودة بترتيب رأس التشغيل الدقيق.

مدخلات

after_revision (اختياري، قابل للإلغاء): واحد من: null، عدد صحيح.
limit (اختياري): النوع: عدد صحيح.
namespace_id (مطلوب): النوع: عدد صحيح.
run_id (مطلوب): هوية التشغيل المسكوكة من قبل السلطة.
scenario_id (required): معرف السيناريو.

المخرجات

next_after_revision (مطلوب، قابل للإلغاء): واحد من: null، عدد صحيح.
records (مطلوب): النوع: مصفوفة.

ملاحظات

التاريخ هو تنسيق مقبول للأوامر وسطح تدقيق، وليس ملكية المرحلة.

مثال

اقرأ التاريخ المقبول المحدود.

مدخل:

{
  "after_revision": null,
  "limit": 50,
  "namespace_id": 1,
  "run_id": "00000000000000000000000000000001",
  "scenario_id": "example-scenario"
}

Output:

{
  "next_after_revision": null,
  "records": []
}

scenarioopenstage

افتح صراحة مرحلة ReadyUnopened واحدة عند رأس مقبول محدد.

مدخلات

expected_head (مطلوب): النوع: كائن.
namespace_id (مطلوب): النوع: عدد صحيح.
operation_id (مطلوب): هوية عملية فتح المرحلة المستقرة.
run_id (مطلوب): هوية التشغيل المسكوكة من قبل السلطة.
scenario_id (required): معرف السيناريو.
stage_id (مطلوب): معرف المرحلة الصريح.

المخرجات

outcome (مطلوب): واحد من: كائن، كائن، كائن، كائن، كائن، كائن، كائن، كائن.

ملاحظات

بدء عمل سجلات مستوى التشغيل وطرح نوايا الدخول مرة واحدة؛ لا يتم تعيين أو استبعاد الأشقاء.

مثال

افتح مرحلة جاهزة واحدة عند رأس محدد.

مدخل:

{
  "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
    }
  }
}

مرحلة تقييم السيناريو

احصل على الأدلة وقيم مرحلة OpenIncomplete واحدة عند رأس مقبول دقيق.

مدخلات

caller_evidence (اختياري): النوع: مصفوفة.
expected_head (مطلوب): النوع: كائن.
local_acquisition (اختياري): النوع: مصفوفة.
namespace_id (مطلوب): النوع: عدد صحيح.
operation_id (مطلوب): هوية عملية تقييم المرحلة المستقرة.
run_id (مطلوب): هوية التشغيل المسكوكة من قبل السلطة.
scenario_id (required): معرف السيناريو.
stage_id (مطلوب): معرف المرحلة الصريح.

المخرجات

outcome (مطلوب): واحد من: كائن، كائن، كائن، كائن، كائن، كائن، كائن، كائن.

ملاحظات

False و Unknown تضيف محاولات قابلة لإعادة المحاولة؛ فقط True يقترح إكمال المرحلة.
الفشل في الاستحواذ التشغيلي أو التقييم لا ينشئ أي اقتراح دلالي.

مثال

قيم مرحلة مفتوحة واحدة عند رأس دقيق.

مدخل:

{
  "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
    }
  }
}

مرحلة التحقق المسبق للسيناريو

تنبأ بنتيجة مرحلة RET من الأدلة المؤكدة دون فتح أو تغيير.

مدخلات

caller_evidence (اختياري): النوع: مصفوفة.
local_acquisition (اختياري): النوع: مصفوفة.
namespace_id (مطلوب): النوع: عدد صحيح.
scenario_id (required): معرف السيناريو.
scenario_law_identity (مطلوب): هوية قانون السيناريو القياسية Decision Gateالمفصولة حسب المجال.
stage_id (مطلوب): معرف المرحلة.

المخرجات

outcome (مطلوب): النوع: سلسلة.
trace (مطلوب): النوع: مصفوفة.

ملاحظات

لا تدعي عملية التحقق المسبق أية تقدم مقبول أو مشاكل في نوايا الإدخال.

مثال

توقع نتيجة مرحلة واحدة دون تغيير.

مدخل:

{
  "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": []
}

سيناريو_تقديم

قبول عنصر فني على مستوى التشغيل أو نطاق فتح مرحلة دقيقة عند رأس تشغيل دقيق واحد.

مدخلات

content_type (مطلوب): نوع المحتوى المقدم.
expected_head (مطلوب): النوع: كائن.
namespace_id (مطلوب): النوع: عدد صحيح.
operation_id (مطلوب): هوية عملية تقديم التشغيل المستقرة.
payload (مطلوب): واحد من: كائن، كائن، كائن.
run_id (مطلوب): هوية التشغيل المسكوكة من قبل السلطة.
scenario_id (required): معرف السيناريو.
scope (مطلوب): واحد من: كائن، كائن.

المخرجات

outcome (مطلوب): واحد من: كائن، كائن، كائن، كائن، كائن، كائن، كائن، كائن.

ملاحظات

يتم تجزئة الحمولة بشكل قياسي وتخزينها كإرسال مقبول غير قابل للتغيير.
يتم الاحتفاظ بالحمولة في سجلات حالة التشغيل/تفكيك التشغيل؛ لا ترسل الأسرار الخام.
التقديم لا يكتمل أبدًا أو يفتح مرحلة بمفرده.
يجب أن يربط نطاق المرحلة كل من stage_id وexact accepted stage_open_record_id.
استخدم للنماذج أو المشغلين الذين يزودون بالقطع الأثرية.

مثال

قدّم عنصرًا على مستوى التشغيل عند رأس مقبول دقيق.

مدخل:

{
  "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
    }
  }
}

مرحلة حل السيناريو لإنشاء

حل إنشاء محتمل غير محدد من خلال سلطة إيصال الإنشاء المقبول.

مدخلات

creation_request_id (مطلوب): هوية طلب إنشاء التشغيل.
invocation_identity (مطلوب): هوية الاستدعاء القياسية.
namespace_id (مطلوب): النوع: عدد صحيح.

المخرجات

outcome (مطلوب): واحد من: كائن، كائن، كائن، كائن، كائن.

ملاحظات

يتم التحقق من التفويض قبل الكشف عن الإيصال.
الحل لا ينشئ أبدًا تشغيلًا مقبولًا أو يعيد عينة وقت القبول.

مثال

قم بحل استدعاء الإنشاء بعد استجابة غير محددة.

مدخل:

{
  "creation_request_id": "10000000000000000000000000000001",
  "invocation_identity": "5c3a5b6bce0f4a2c9e22c4fa6a1e6d8d90b0f2dfed1b7f1e9b3d3b3d1f0c9b21",
  "namespace_id": 1
}

Output:

{
  "outcome": {
    "outcome": "known_unaccepted",
    "result": {
      "reason": "no_accepted_receipt"
    }
  }
}

مرحلة حل السيناريو للتعديل

حل تحول محتمل غير محدد من خلال إيصالها المقبول الدقيق.

مدخلات

invocation_identity (مطلوب): هوية الاستدعاء القياسية.
namespace_id (مطلوب): النوع: عدد صحيح.
operation_id (مطلوب): واحد من: كائن، كائن، كائن.
run_id (مطلوب): هوية التشغيل المسكوكة من قبل السلطة.

المخرجات

outcome (مطلوب): واحد من: كائن، كائن، كائن، كائن، كائن.

ملاحظات

يتم التحقق من التفويض قبل الكشف عن الإيصال.
تكون عملية الحل قائمة على الإيصال أولاً ولا تقارن أو تتقدم الرأس الحالي.

مثال

حل استدعاء فتح مرحلة واحدة بعد استجابة غير محددة.

مدخل:

{
  "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

انشر موضوع runpack-v6 ذو البادئة المقبولة بشكل متماسك محليًا.

مدخلات

namespace_id (مطلوب): معرف مساحة الاسم.
run_id (مطلوب): هوية التشغيل المسكوكة من قبل السلطة.

المخرجات

publication (مطلوب): واحد من: كائن، كائن، كائن، كائن، كائن، كائن.

ملاحظات

تمتلك جذر التركيب القدرة على الوصول إلى المستودع المحلي غير القابل للتغيير.
يتم نشر البيان الأخير ولا يحتوي على ساعة أو مسار أو URI أو بيانات وصفية قابلة للتغيير.
القبول المتزامن لاحقًا لا يمكنه تغيير نقطة التفتيش التاريخية المصدرة.

مثال

انشر بادئة مقبولة واحدة متماسكة إلى المستودع المحلي المُدار.

مدخل:

{
  "namespace_id": 1,
  "run_id": "00000000000000000000000000000001"
}

Output:

{
  "publication": {
    "outcome": "published",
    "runpack_identity": "5c3a5b6bce0f4a2c9e22c4fa6a1e6d8d90b0f2dfed1b7f1e9b3d3b3d1f0c9b21"
  }
}

runpack_verify

تحقق من موضوع runpack-v6 المقدم مع تقرير المطالبة الكلي.

مدخلات

budget (اختياري، قابل للإلغاء): واحد من: null، كائن.
profile (اختياري): النوع: سلسلة.
runpack_identity (مطلوب): هوية موضوع runpack-v6 الدقيقة.

المخرجات

reportالتقرير (مطلوب): النوع: كائن.

ملاحظات

يستخدم supplied_offline_material_v1 فقط؛ لا يتم استشارة أي شبكة أو مزود أو ساعة أو محلل.
يجب أن تسبق التفويض تقرير أو إفصاح عن المطالبة.
تظل المطالبات المتعلقة بالأصالة الخارجية، والحداثة، والعودة، والأثر، والنشر غير متاحة دون أدلة مؤهلة بشكل منفصل.

مثال

تحقق من المواد المحلية المقدمة مع ملف المطالبة الخاص بالنزاهة فقط.

مدخل:

{
  "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

تسجيل مخطط شكل بيانات لفضاء أسماء.

مدخلات

recordسجل (مطلوب): النوع: كائن.

المخرجات

recordسجل (مطلوب): النوع: كائن.

ملاحظات

المخططات غير قابلة للتغيير؛ تسجيل نفس النسخة مرتين يفشل.
قدم created_at لتسجيل متى تم تأليف المخطط.

مثال

تسجيل مخطط شكل البيانات.

مدخل:

{
  "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"
  }
}

قائمة_المخططات

قائمة الأشكال البيانات المسجلة لنطاق.

مدخلات

cursorالمؤشر (اختياري، قابل للإلغاء): واحد من: null، string.
limitالحد (اختياري): الحد الأقصى لعدد السجلات التي سيتم إرجاعها.
namespace_id (مطلوب): معرف مساحة الاسم.

المخرجات

itemsالعناصر (مطلوب): النوع: array.
next_token (مطلوب، قابل للإلغاء): واحد من: null، string.

ملاحظات

يتطلب namespace_id.
يدعم الترقيم عبر المؤشر + الحد.

مثال

قائمة أشكال البيانات لمساحة الأسماء.

مدخل:

{
  "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

احصل على شكل بيانات محدد بواسطة المعرف والإصدار.

مدخلات

namespace_id (مطلوب): معرف مساحة الاسم.
schema_id (مطلوب): معرف شكل البيانات.
version (required): معرف إصدار شكل البيانات.

المخرجات

recordسجل (مطلوب): النوع: كائن.

ملاحظات

يتطلب و و .
يفشل في الإغلاق عندما يكون المخطط مفقودًا.

مثال

استرجاع شكل البيانات بواسطة المعرف والإصدار.

مدخل:

{
  "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"
  }
}

قائمة السيناريوهات

قم بإدراج السيناريوهات المسجلة لنطاق معين.

مدخلات

cursorالمؤشر (اختياري، قابل للإلغاء): واحد من: null، string.
limitالحد (اختياري): الحد الأقصى لعدد السجلات التي سيتم إرجاعها.
namespace_id (مطلوب): معرف مساحة الاسم.

المخرجات

itemsالعناصر (مطلوب): النوع: array.
next_token (مطلوب، قابل للإلغاء): واحد من: null، string.

ملاحظات

يتطلب namespace_id.
يعيد معرفات السيناريو والتجزئات.

مثال

قائمة السيناريوهات لمساحة الأسماء.

مدخل:

{
  "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

ابحث في وثائق Decision Gate للحصول على إرشادات وقت التشغيل.

مدخلات

max_sections (اختياري): الحد الأقصى لعدد الأقسام التي سيتم إرجاعها (الافتراضي 3، الحد الأقصى 10).
queryاستعلام (مطلوب): استعلام البحث عن أقسام الوثائق.

المخرجات

docs_covered (مطلوب): النوع: array.
sectionsالأقسام (مطلوب): النوع: array.
suggested_followups (required): مطالبات متابعة مدركة للدور.

ملاحظات

استخدم للبحث السريع عن تدفق الأدلة المطبقة، والعبارات، والاستحواذ المحلي.
يُرجع الأقسام المرتبة مع علامات الدور والمتابعات المقترحة.
البحث محدد ويقتصر على فهرس الوثائق المكون.

مثال

ابحث عن قبول الأدلة وإرشادات التقييم النقي.

مدخل:

{
  "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."
  ]
}