vate.rognalia.com

{
  "name": "get_vate_overview",
  "kind": "answer",
  "impl": "imperative",
  "description": "Return VATE's purpose, status, pinned review metadata, run/compare boundary, local execution-evidence demo scope, and canonical project URLs: website, repository, reviewed revision, claim boundary, and current release. Use for overview/orientation or requests for those canonical project URLs. If the request only asks for this information, select this tool without adding review-path discovery. Counts tool/version/result only.",
  "inputSchema": {
    "type": "object",
    "properties": {},
    "additionalProperties": false
  },
  "page": "/"
}

{
  "name": "list_vate_review_routes",
  "kind": "answer",
  "impl": "imperative",
  "description": "Return review-path URLs: introduction, demo, execution evidence demo, starter guide, corpus, external run records, review intake, reports, reproductions, receipt/S3 checks, NENRIN, recipient API, signatures, required records, Recipient Inbox, runtime-key revocation, MUSUBI set2 sample and experiment record. Use for where to begin a review or where to submit a result, without adding overview or starter details. Counts tool/version/result only.",
  "inputSchema": {
    "type": "object",
    "properties": {},
    "additionalProperties": false
  },
  "page": "/"
}

{
  "name": "get_vate_sut_starter",
  "kind": "answer",
  "impl": "imperative",
  "description": "Return pinned three-case external-SUT starter expectations and implementation resources: expected fields and reason codes, template and schema links, reason registry, one-hour guide, and compare command. Use for case details or an implementation handoff, not for a review-path-only lookup. Counts tool/version/result only.",
  "inputSchema": {
    "type": "object",
    "properties": {},
    "additionalProperties": false
  },
  "page": "/"
}

{
  "name": "check_vate_starter_projection",
  "kind": "answer",
  "impl": "imperative",
  "description": "Check 1-3 starter projections. Pass exactly one top-level object, e.g. {\"results\":[{\"case_id\":\"allow-valid-admission\",\"status\":\"completed\",\"outcome\":\"allow\",\"should_execute\":true,\"reason_codes\":[\"EVIDENCE_VERIFIED\",\"POLICY_MATCH\"]}]}. `results` MUST be a native JSON array value; never quote, stringify, or nest a JSON document inside it. Even one result stays in the array; never flatten result fields at top level. Before formal compare; coverage stays separate. Counts tool/version/result only.",
  "inputSchema": {
    "type": "object",
    "description": "Top-level object. `results` must be a native JSON array; never quote, stringify, or nest a JSON document inside it or flatten result fields here.",
    "additionalProperties": false,
    "required": [
      "results"
    ],
    "properties": {
      "results": {
        "type": "array",
        "description": "Native JSON array of one to three projections; never a quoted, stringified, or nested JSON document. Keep even one projection inside this array.",
        "minItems": 1,
        "maxItems": 3,
        "items": {
          "type": "object",
          "description": "One completed projection inside results; this object is never the tool's top-level argument.",
          "additionalProperties": false,
          "required": [
            "case_id",
            "status",
            "outcome",
            "should_execute",
            "reason_codes"
          ],
          "properties": {
            "case_id": {
              "type": "string",
              "description": "A case identifier from the pinned three-case starter set.",
              "enum": [
                "allow-valid-admission",
                "attenuate-max-amount",
                "deny-digest-mismatch-before-policy"
              ]
            },
            "status": {
              "type": "string",
              "description": "The starter projection must be completed before it can be checked.",
              "const": "completed"
            },
            "outcome": {
              "type": "string",
              "description": "The verifier's projected admission outcome.",
              "enum": [
                "allow",
                "attenuate",
                "deny"
              ]
            },
            "should_execute": {
              "type": "boolean",
              "description": "Conformance/SUT projection of immediate handoff eligibility derived from the decision and attenuation state; not a receipt field or runtime command."
            },
            "reason_codes": {
              "type": "array",
              "description": "One to eight unique reason codes in verifier evaluation order.",
              "minItems": 1,
              "maxItems": 8,
              "uniqueItems": true,
              "items": {
                "type": "string",
                "description": "A canonical or profile-specific SCREAMING_SNAKE_CASE reason code.",
                "pattern": "^[A-Z][A-Z0-9_]{0,63}$"
              }
            }
          }
        }
      }
    }
  },
  "page": "/"
}