Skip to main content
Glama

Review a ruleset (widget)

dsail_review
Read-onlyIdempotent

Show a person the rules a program will check, so they can approve exactly those bytes.

Use when the policy owner needs to inspect how decided criteria were formalised before signing off, or a later revision needs its own review.

Presents a compiled ruleset to the user in the inline review widget: each rule with what it says, the claims it reads and a Yes / No / Unknown answer for each, a check that shows every rule's own result, the source (editable), the approve control, and the project's unit-conversion library when the ruleset uses units.

Takes the ruleset_hash of a ruleset that compiled clean, or the name a stored ruleset is saved under; a hash that failed to compile has nothing to show. One rendering per revision is what the user sees, and a later revision gets its own.

Returns the same payload a compile returns for that hash, plus the name it is saved under (null when nothing names it yet) and every approval bound to it.

Input Schema

TableJSON Schema
NameRequiredDescriptionDefault
nameNoThe name a stored ruleset is saved under, instead of a hash: its current revision is shown.
ruleset_hashNoThe content hash of the compiled ruleset to show, from `dsail_compile`.

Output Schema

TableJSON Schema
NameRequiredDescriptionDefault

No arguments

Schema Changelog

Changes observed during successful MCP inspections.

  1. Changed5 schema fields changed
    • addedInput schema / properties / name
      Added value: +{
      +  "anyOf": [
      +    {
      +      "type": "string"
      +    },
      +    {
      +      "type": "null"
      +    }
      +  ],
      +  "default": null,
      +  "description": "The name a stored ruleset is saved under, instead of a hash: its current revision is shown.",
      +  "title": "Name"
      +}
    • addedInput schema / properties / ruleset_hash / anyOf
      Added value: +[
      +  {
      +    "type": "string"
      +  },
      +  {
      +    "type": "null"
      +  }
      +]
    • addedInput schema / properties / ruleset_hash / default
      Added value: +null
    • removedInput schema / properties / ruleset_hash / type
      Removed value: -"string"
    • removedInput schema / required
      Removed value: -[
      -  "ruleset_hash"
      -]
  2. Changed1 schema field changed
    • changedOutput schema / oneOf
      Previous value: -[
      -  {
      -    "properties": {
      -      "claim_schema": {
      -        "description": "JSON Schema for the claim dictionary.",
      -        "type": "object"
      -      },
      -      "diagnostics": {
      -        "items": {
      -          "properties": {
      -            "line": {
      -              "type": [
      -                "integer",
      -                "null"
      -              ]
      -            },
      -            "message": {
      -              "type": "string"
      -            },
      -            "severity": {
      -              "enum": [
      -                "error",
      -                "warning"
      -              ],
      -              "type": "string"
      -            }
      -          },
      -          "required": [
      -            "severity",
      -            "message"
      -          ],
      -          "type": "object"
      -        },
      -        "type": "array"
      -      },
      -      "label": {
      -        "description": "The ruleset's stored application-domain label (TJP-642), as ids under `vocabulary_version`. Null when the ruleset carries none, or when this account has labeling disabled. A label never alters a result; the level-two proposal text a caller sent is matched and dropped, never stored or returned.",
      -        "properties": {
      -          "confidence": {
      -            "enum": [
      -              "high",
      -              "medium",
      -              "low",
      -              null
      -            ],
      -            "type": [
      -              "string",
      -              "null"
      -            ]
      -          },
      -          "declined": {
      -            "type": "boolean"
      -          },
      -          "level_one": {
      -            "description": "Level-one domain id. Null only when declined.",
      -            "enum": [
      -              "finance",
      -              "consumer_finance",
      -              "capital_markets",
      -              "insurance",
      -              "regulatory_compliance",
      -              "hr_workforce",
      -              "security_access",
      -              "security_classification",
      -              "healthcare",
      -              "legal_contracts",
      -              "procurement",
      -              "engineering_release",
      -              "content_safety",
      -              "other",
      -              null
      -            ],
      -            "type": [
      -              "string",
      -              "null"
      -            ]
      -          },
      -          "level_two": {
      -            "description": "Level-two term id, from GET /v1/vocabulary. Null when the proposal matched no published term (the proposal was counted toward promotion instead) or none was offered.",
      -            "pattern": "^l2-[0-9]{4,}$",
      -            "type": [
      -              "string",
      -              "null"
      -            ]
      -          },
      -          "updated_at": {
      -            "description": "UTC, ISO 8601.",
      -            "type": "string"
      -          },
      -          "vocabulary_version": {
      -            "example": "v1",
      -            "type": "string"
      -          }
      -        },
      -        "required": [
      -          "vocabulary_version",
      -          "level_one",
      -          "level_two",
      -          "confidence",
      -          "declined",
      -          "updated_at"
      -        ],
      -        "type": [
      -          "object",
      -          "null"
      -        ]
      -      },
      -      "manifest": {
      -        "properties": {
      -          "claims": {
      -            "items": {
      -              "properties": {
      -                "boolean_subtype": {
      -                  "type": "string"
      -                },
      -                "claim": {
      -                  "type": "string"
      -                },
      -                "context": {
      -                  "type": "string"
      -                },
      -                "data_type": {
      -                  "enum": [
      -                    "boolean",
      -                    "numeric",
      -                    "enum"
      -                  ],
      -                  "type": "string"
      -                },
      -                "ordered": {
      -                  "type": "boolean"
      -                },
      -                "question": {
      -                  "description": "Shown to the extracting model.",
      -                  "type": "string"
      -                },
      -                "range": {
      -                  "properties": {
      -                    "max": {
      -                      "type": "number"
      -                    },
      -                    "min": {
      -                      "type": "number"
      -                    }
      -                  },
      -                  "type": "object"
      -                },
      -                "required": {
      -                  "type": "boolean"
      -                },
      -                "unit": {
      -                  "type": [
      -                    "string",
      -                    "null"
      -                  ]
      -                },
      -                "unknown_allowed": {
      -                  "const": true,
      -                  "type": "boolean"
      -                },
      -                "unknown_sentinel": {
      -                  "description": "Present only when this claim's own vocabulary contains a member spelled like the sentinel. Then the string means that member and this names the value that means undetermined (null).",
      -                  "type": "string"
      -                },
      -                "vocabulary": {
      -                  "items": {
      -                    "type": "string"
      -                  },
      -                  "type": "array"
      -                }
      -              },
      -              "required": [
      -                "claim",
      -                "data_type",
      -                "question",
      -                "required",
      -                "unknown_allowed"
      -              ],
      -              "type": "object"
      -            },
      -            "type": "array"
      -          },
      -          "rules": {
      -            "items": {
      -              "description": "One rule, with the assertions it states. A rule is the unit a policy is written in; an assertion is the unit the engine answers, and one rule may state several. A ruleset compiled here is a single DSAIL source and the grammar has no grouping construct, so today every rule holds exactly one assertion and carries its name — read results through this level anyway and a rule that states more costs you nothing.",
      -              "properties": {
      -                "assertions": {
      -                  "items": {
      -                    "description": "One assertion a rule states. The engine answers per assertion, so this is the unit a check reports on.",
      -                    "properties": {
      -                      "line": {
      -                        "type": [
      -                          "integer",
      -                          "null"
      -                        ]
      -                      },
      -                      "name": {
      -                        "type": "string"
      -                      },
      -                      "source": {
      -                        "type": [
      -                          "string",
      -                          "null"
      -                        ]
      -                      },
      -                      "unknown_policy": {
      -                        "enum": [
      -                          "optimistic",
      -                          "pessimistic",
      -                          "neutral"
      -                        ],
      -                        "type": "string"
      -                      }
      -                    },
      -                    "required": [
      -                      "name",
      -                      "unknown_policy"
      -                    ],
      -                    "type": "object"
      -                  },
      -                  "type": "array"
      -                },
      -                "rule": {
      -                  "type": "string"
      -                }
      -              },
      -              "required": [
      -                "rule",
      -                "assertions"
      -              ],
      -              "type": "object"
      -            },
      -            "type": "array"
      -          },
      -          "ruleset_hash": {
      -            "type": "string"
      -          }
      -        },
      -        "required": [
      -          "ruleset_hash",
      -          "claims",
      -          "rules"
      -        ],
      -        "type": "object"
      -      },
      -      "ok": {
      -        "const": true,
      -        "type": "boolean"
      -      },
      -      "review": {
      -        "description": "A plain-text rendering of what this ruleset asks and decides, for a person about to approve it. Derived from the manifest on every compile, never stored, so it cannot drift from the contract a caller was handed.",
      -        "type": "string"
      -      },
      -      "ruleset_hash": {
      -        "description": "sha256 of the normalised source. This is the object key.",
      -        "type": "string"
      -      },
      -      "source": {
      -        "description": "The normalised DSAIL source that hashed to `ruleset_hash`, so a caller that only ever compiles has something to show or diff without a separate load-by-name call.",
      -        "type": "string"
      -      },
      -      "stored": {
      -        "properties": {
      -          "parent_hash": {
      -            "type": [
      -              "string",
      -              "null"
      -            ]
      -          },
      -          "revision_depth": {
      -            "type": "integer"
      -          }
      -        },
      -        "type": "object"
      -      },
      -      "summary": {
      -        "description": "The same thing in one sentence, for a row in a list rather than a page a person reads.",
      -        "type": "string"
      -      },
      -      "unbridged_units": {
      -        "description": "Unit pairs this ruleset compares that no loaded converter bridges, attributed by the engine to the rule that cannot be lowered. Each one answers UNKNOWN for every claim dictionary until a converter is added.",
      -        "items": {
      -          "properties": {
      -            "cause": {
      -              "enum": [
      -                "missing",
      -                "ambiguous"
      -              ],
      -              "type": "string"
      -            },
      -            "from": {
      -              "type": "string"
      -            },
      -            "rule": {
      -              "type": "string"
      -            },
      -            "to": {
      -              "type": "string"
      -            }
      -          },
      -          "required": [
      -            "rule",
      -            "from",
      -            "to",
      -            "cause"
      -          ],
      -          "type": "object"
      -        },
      -        "type": "array"
      -      },
      -      "unit_library_hash": {
      -        "description": "The project unit library this compile read. Half of a result's provenance; null selects the six built-in standards.",
      -        "type": [
      -          "string",
      -          "null"
      -        ]
      -      },
      -      "validation_contract": {
      -        "description": "Exactly what check will reject, known before submitting.",
      -        "type": "object"
      -      },
      -      "versions": {
      -        "description": "Which engine and which wire contract produced this response.",
      -        "properties": {
      -          "engine": {
      -            "example": "dsail-core",
      -            "type": "string"
      -          },
      -          "engine_version": {
      -            "type": "string"
      -          },
      -          "language_version": {
      -            "description": "DSAIL language version.",
      -            "type": "string"
      -          },
      -          "service_version": {
      -            "type": "string"
      -          },
      -          "supported_language_versions": {
      -            "items": {
      -              "type": "string"
      -            },
      -            "type": "array"
      -          },
      -          "wire_version": {
      -            "type": "string"
      -          }
      -        },
      -        "required": [
      -          "engine",
      -          "engine_version",
      -          "language_version",
      -          "service_version",
      -          "wire_version"
      -        ],
      -        "type": "object"
      -      }
      -    },
      -    "required": [
      -      "ok",
      -      "ruleset_hash",
      -      "source",
      -      "manifest",
      -      "review",
      -      "summary",
      -      "claim_schema",
      -      "validation_contract",
      -      "diagnostics",
      -      "versions"
      -    ],
      -    "type": "object"
      -  },
      -  {
      -    "properties": {
      -      "error": {
      -        "properties": {
      -          "actual": {
      -            "type": "integer"
      -          },
      -          "budget": {
      -            "type": "string"
      -          },
      -          "code": {
      -            "enum": [
      -              "VALIDATION_REJECTED",
      -              "COMPILE_FAILED",
      -              "BUDGET_EXCEEDED",
      -              "RULESET_NOT_FOUND",
      -              "ENGINE_ERROR",
      -              "BAD_REQUEST",
      -              "CREDENTIAL_REQUIRED",
      -              "CREDENTIAL_INVALID",
      -              "CREDENTIAL_SCOPE",
      -              "EVALUATION_LIMIT",
      -              "ENTITLEMENT_EXCEEDED",
      -              "TIER_UNAVAILABLE"
      -            ],
      -            "type": "string"
      -          },
      -          "diagnostics": {
      -            "items": {
      -              "properties": {
      -                "line": {
      -                  "type": [
      -                    "integer",
      -                    "null"
      -                  ]
      -                },
      -                "message": {
      -                  "type": "string"
      -                },
      -                "severity": {
      -                  "enum": [
      -                    "error",
      -                    "warning"
      -                  ],
      -                  "type": "string"
      -                }
      -              },
      -              "required": [
      -                "severity",
      -                "message"
      -              ],
      -              "type": "object"
      -            },
      -            "type": "array"
      -          },
      -          "docs": {
      -            "description": "The docs-site page that resolves this code (markdown). Fetch it before retrying blind.",
      -            "format": "uri",
      -            "type": "string"
      -          },
      -          "failure_count": {
      -            "description": "How many fields failed in total. Equal to the length of `failures` unless a very large rejection was truncated, which the message says.",
      -            "type": "integer"
      -          },
      -          "failures": {
      -            "description": "EVERY failing field, not the first one.",
      -            "items": {
      -              "properties": {
      -                "expected": {
      -                  "type": "string"
      -                },
      -                "field": {
      -                  "type": "string"
      -                },
      -                "received": {
      -                  "type": "string"
      -                }
      -              },
      -              "required": [
      -                "field",
      -                "expected",
      -                "received"
      -              ],
      -              "type": "object"
      -            },
      -            "type": "array"
      -          },
      -          "hint": {
      -            "description": "The grammar guide, carried on compile failures so the next call can succeed without a human.",
      -            "type": "string"
      -          },
      -          "limit": {
      -            "type": "integer"
      -          },
      -          "message": {
      -            "type": "string"
      -          }
      -        },
      -        "required": [
      -          "code",
      -          "message"
      -        ],
      -        "type": "object"
      -      },
      -      "ok": {
      -        "const": false,
      -        "type": "boolean"
      -      },
      -      "versions": {
      -        "description": "Which engine and which wire contract produced this response.",
      -        "properties": {
      -          "engine": {
      -            "example": "dsail-core",
      -            "type": "string"
      -          },
      -          "engine_version": {
      -            "type": "string"
      -          },
      -          "language_version": {
      -            "description": "DSAIL language version.",
      -            "type": "string"
      -          },
      -          "service_version": {
      -            "type": "string"
      -          },
      -          "supported_language_versions": {
      -            "items": {
      -              "type": "string"
      -            },
      -            "type": "array"
      -          },
      -          "wire_version": {
      -            "type": "string"
      -          }
      -        },
      -        "required": [
      -          "engine",
      -          "engine_version",
      -          "language_version",
      -          "service_version",
      -          "wire_version"
      -        ],
      -        "type": "object"
      -      }
      -    },
      -    "required": [
      -      "ok",
      -      "error",
      -      "versions"
      -    ],
      -    "type": "object"
      -  }
      -]New value: +[
      +  {
      +    "properties": {
      +      "claim_schema": {
      +        "description": "JSON Schema for the claim dictionary.",
      +        "type": "object"
      +      },
      +      "diagnostics": {
      +        "items": {
      +          "properties": {
      +            "line": {
      +              "type": [
      +                "integer",
      +                "null"
      +              ]
      +            },
      +            "message": {
      +              "type": "string"
      +            },
      +            "severity": {
      +              "enum": [
      +                "error",
      +                "warning"
      +              ],
      +              "type": "string"
      +            }
      +          },
      +          "required": [
      +            "severity",
      +            "message"
      +          ],
      +          "type": "object"
      +        },
      +        "type": "array"
      +      },
      +      "label": {
      +        "description": "The ruleset's stored application-domain label (TJP-642), as ids under `vocabulary_version`. Null when the ruleset carries none, or when this account has labeling disabled. A label never alters a result; the level-two proposal text a caller sent is matched and dropped, never stored or returned.",
      +        "properties": {
      +          "confidence": {
      +            "enum": [
      +              "high",
      +              "medium",
      +              "low",
      +              null
      +            ],
      +            "type": [
      +              "string",
      +              "null"
      +            ]
      +          },
      +          "declined": {
      +            "type": "boolean"
      +          },
      +          "level_one": {
      +            "description": "Level-one domain id. Null only when declined.",
      +            "enum": [
      +              "finance",
      +              "consumer_finance",
      +              "capital_markets",
      +              "insurance",
      +              "regulatory_compliance",
      +              "hr_workforce",
      +              "security_access",
      +              "security_classification",
      +              "healthcare",
      +              "legal_contracts",
      +              "procurement",
      +              "engineering_release",
      +              "content_safety",
      +              "other",
      +              null
      +            ],
      +            "type": [
      +              "string",
      +              "null"
      +            ]
      +          },
      +          "level_two": {
      +            "description": "Level-two term id, from GET /v1/vocabulary. Null when the proposal matched no published term (the proposal was counted toward promotion instead) or none was offered.",
      +            "pattern": "^l2-[0-9]{4,}$",
      +            "type": [
      +              "string",
      +              "null"
      +            ]
      +          },
      +          "updated_at": {
      +            "description": "UTC, ISO 8601.",
      +            "type": "string"
      +          },
      +          "vocabulary_version": {
      +            "example": "v1",
      +            "type": "string"
      +          }
      +        },
      +        "required": [
      +          "vocabulary_version",
      +          "level_one",
      +          "level_two",
      +          "confidence",
      +          "declined",
      +          "updated_at"
      +        ],
      +        "type": [
      +          "object",
      +          "null"
      +        ]
      +      },
      +      "manifest": {
      +        "properties": {
      +          "claims": {
      +            "items": {
      +              "properties": {
      +                "boolean_subtype": {
      +                  "type": "string"
      +                },
      +                "claim": {
      +                  "type": "string"
      +                },
      +                "context": {
      +                  "type": "string"
      +                },
      +                "data_type": {
      +                  "enum": [
      +                    "boolean",
      +                    "numeric",
      +                    "enum"
      +                  ],
      +                  "type": "string"
      +                },
      +                "ordered": {
      +                  "type": "boolean"
      +                },
      +                "question": {
      +                  "description": "Shown to the extracting model.",
      +                  "type": "string"
      +                },
      +                "range": {
      +                  "properties": {
      +                    "max": {
      +                      "type": "number"
      +                    },
      +                    "min": {
      +                      "type": "number"
      +                    }
      +                  },
      +                  "type": "object"
      +                },
      +                "required": {
      +                  "type": "boolean"
      +                },
      +                "unit": {
      +                  "type": [
      +                    "string",
      +                    "null"
      +                  ]
      +                },
      +                "unknown_allowed": {
      +                  "const": true,
      +                  "type": "boolean"
      +                },
      +                "unknown_sentinel": {
      +                  "description": "Present only when this claim's own vocabulary contains a member spelled like the sentinel. Then the string means that member and this names the value that means undetermined (null).",
      +                  "type": "string"
      +                },
      +                "vocabulary": {
      +                  "items": {
      +                    "type": "string"
      +                  },
      +                  "type": "array"
      +                }
      +              },
      +              "required": [
      +                "claim",
      +                "data_type",
      +                "question",
      +                "required",
      +                "unknown_allowed"
      +              ],
      +              "type": "object"
      +            },
      +            "type": "array"
      +          },
      +          "rules": {
      +            "items": {
      +              "description": "One rule, with the assertions it states. A rule is the unit a policy is written in; an assertion is the unit the engine answers, and one rule may state several. A ruleset compiled here is a single DSAIL source and the grammar has no grouping construct, so today every rule holds exactly one assertion and carries its name — read results through this level anyway and a rule that states more costs you nothing.",
      +              "properties": {
      +                "assertions": {
      +                  "items": {
      +                    "description": "One assertion a rule states. The engine answers per assertion, so this is the unit a check reports on.",
      +                    "properties": {
      +                      "line": {
      +                        "type": [
      +                          "integer",
      +                          "null"
      +                        ]
      +                      },
      +                      "name": {
      +                        "type": "string"
      +                      },
      +                      "source": {
      +                        "type": [
      +                          "string",
      +                          "null"
      +                        ]
      +                      },
      +                      "unknown_policy": {
      +                        "enum": [
      +                          "optimistic",
      +                          "pessimistic",
      +                          "neutral"
      +                        ],
      +                        "type": "string"
      +                      }
      +                    },
      +                    "required": [
      +                      "name",
      +                      "unknown_policy"
      +                    ],
      +                    "type": "object"
      +                  },
      +                  "type": "array"
      +                },
      +                "rule": {
      +                  "type": "string"
      +                }
      +              },
      +              "required": [
      +                "rule",
      +                "assertions"
      +              ],
      +              "type": "object"
      +            },
      +            "type": "array"
      +          },
      +          "ruleset_hash": {
      +            "type": "string"
      +          }
      +        },
      +        "required": [
      +          "ruleset_hash",
      +          "claims",
      +          "rules"
      +        ],
      +        "type": "object"
      +      },
      +      "ok": {
      +        "const": true,
      +        "type": "boolean"
      +      },
      +      "review": {
      +        "description": "A plain-text rendering of what this ruleset asks and decides, for a person about to approve it. Derived from the manifest on every compile, never stored, so it cannot drift from the contract a caller was handed.",
      +        "type": "string"
      +      },
      +      "ruleset_hash": {
      +        "description": "sha256 of the normalised source. This is the object key.",
      +        "type": "string"
      +      },
      +      "source": {
      +        "description": "The normalised DSAIL source that hashed to `ruleset_hash`, so a caller that only ever compiles has something to show or diff without a separate load-by-name call.",
      +        "type": "string"
      +      },
      +      "stored": {
      +        "properties": {
      +          "parent_hash": {
      +            "type": [
      +              "string",
      +              "null"
      +            ]
      +          },
      +          "revision_depth": {
      +            "type": "integer"
      +          }
      +        },
      +        "type": "object"
      +      },
      +      "summary": {
      +        "description": "The same thing in one sentence, for a row in a list rather than a page a person reads.",
      +        "type": "string"
      +      },
      +      "unbridged_units": {
      +        "description": "Unit pairs this ruleset compares that no loaded converter bridges, attributed by the engine to the rule that cannot be lowered. Each one answers UNKNOWN for every claim dictionary until a converter is added.",
      +        "items": {
      +          "properties": {
      +            "cause": {
      +              "enum": [
      +                "missing",
      +                "ambiguous"
      +              ],
      +              "type": "string"
      +            },
      +            "from": {
      +              "type": "string"
      +            },
      +            "rule": {
      +              "type": "string"
      +            },
      +            "to": {
      +              "type": "string"
      +            }
      +          },
      +          "required": [
      +            "rule",
      +            "from",
      +            "to",
      +            "cause"
      +          ],
      +          "type": "object"
      +        },
      +        "type": "array"
      +      },
      +      "unit_library_hash": {
      +        "description": "The project unit library this compile read. Half of a result's provenance; null selects the six built-in standards.",
      +        "type": [
      +          "string",
      +          "null"
      +        ]
      +      },
      +      "validation_contract": {
      +        "description": "Exactly what check will reject, known before submitting.",
      +        "type": "object"
      +      },
      +      "versions": {
      +        "description": "Which engine and which wire contract produced this response.",
      +        "properties": {
      +          "engine": {
      +            "example": "dsail-core",
      +            "type": "string"
      +          },
      +          "engine_version": {
      +            "type": "string"
      +          },
      +          "language_version": {
      +            "description": "DSAIL language version.",
      +            "type": "string"
      +          },
      +          "service_version": {
      +            "type": "string"
      +          },
      +          "supported_language_versions": {
      +            "items": {
      +              "type": "string"
      +            },
      +            "type": "array"
      +          },
      +          "wire_version": {
      +            "type": "string"
      +          }
      +        },
      +        "required": [
      +          "engine",
      +          "engine_version",
      +          "language_version",
      +          "service_version",
      +          "wire_version"
      +        ],
      +        "type": "object"
      +      }
      +    },
      +    "required": [
      +      "ok",
      +      "ruleset_hash",
      +      "source",
      +      "manifest",
      +      "review",
      +      "summary",
      +      "claim_schema",
      +      "validation_contract",
      +      "diagnostics",
      +      "versions"
      +    ],
      +    "type": "object"
      +  },
      +  {
      +    "properties": {
      +      "error": {
      +        "properties": {
      +          "actual": {
      +            "description": "How much the request used, where that is known. Absent for solver_memory_mb: the solver stops at the limit.",
      +            "type": "integer"
      +          },
      +          "budget": {
      +            "type": "string"
      +          },
      +          "code": {
      +            "enum": [
      +              "VALIDATION_REJECTED",
      +              "COMPILE_FAILED",
      +              "BUDGET_EXCEEDED",
      +              "RULESET_NOT_FOUND",
      +              "ENGINE_ERROR",
      +              "ENGINE_BUSY",
      +              "BAD_REQUEST",
      +              "CREDENTIAL_REQUIRED",
      +              "CREDENTIAL_INVALID",
      +              "CREDENTIAL_SCOPE",
      +              "EVALUATION_LIMIT",
      +              "ENTITLEMENT_EXCEEDED",
      +              "TIER_UNAVAILABLE"
      +            ],
      +            "type": "string"
      +          },
      +          "diagnostics": {
      +            "items": {
      +              "properties": {
      +                "line": {
      +                  "type": [
      +                    "integer",
      +                    "null"
      +                  ]
      +                },
      +                "message": {
      +                  "type": "string"
      +                },
      +                "severity": {
      +                  "enum": [
      +                    "error",
      +                    "warning"
      +                  ],
      +                  "type": "string"
      +                }
      +              },
      +              "required": [
      +                "severity",
      +                "message"
      +              ],
      +              "type": "object"
      +            },
      +            "type": "array"
      +          },
      +          "docs": {
      +            "description": "The docs-site page that resolves this code (markdown). Fetch it before retrying blind.",
      +            "format": "uri",
      +            "type": "string"
      +          },
      +          "failure_count": {
      +            "description": "How many fields failed in total. Equal to the length of `failures` unless a very large rejection was truncated, which the message says.",
      +            "type": "integer"
      +          },
      +          "failures": {
      +            "description": "EVERY failing field, not the first one.",
      +            "items": {
      +              "properties": {
      +                "expected": {
      +                  "type": "string"
      +                },
      +                "field": {
      +                  "type": "string"
      +                },
      +                "received": {
      +                  "type": "string"
      +                }
      +              },
      +              "required": [
      +                "field",
      +                "expected",
      +                "received"
      +              ],
      +              "type": "object"
      +            },
      +            "type": "array"
      +          },
      +          "hint": {
      +            "description": "The grammar guide, carried on compile failures so the next call can succeed without a human.",
      +            "type": "string"
      +          },
      +          "limit": {
      +            "type": "integer"
      +          },
      +          "message": {
      +            "type": "string"
      +          },
      +          "retry_after_ms": {
      +            "description": "ENGINE_BUSY only: when to retry. The REST door also sends it, in seconds, as Retry-After.",
      +            "type": "integer"
      +          }
      +        },
      +        "required": [
      +          "code",
      +          "message"
      +        ],
      +        "type": "object"
      +      },
      +      "ok": {
      +        "const": false,
      +        "type": "boolean"
      +      },
      +      "versions": {
      +        "description": "Which engine and which wire contract produced this response.",
      +        "properties": {
      +          "engine": {
      +            "example": "dsail-core",
      +            "type": "string"
      +          },
      +          "engine_version": {
      +            "type": "string"
      +          },
      +          "language_version": {
      +            "description": "DSAIL language version.",
      +            "type": "string"
      +          },
      +          "service_version": {
      +            "type": "string"
      +          },
      +          "supported_language_versions": {
      +            "items": {
      +              "type": "string"
      +            },
      +            "type": "array"
      +          },
      +          "wire_version": {
      +            "type": "string"
      +          }
      +        },
      +        "required": [
      +          "engine",
      +          "engine_version",
      +          "language_version",
      +          "service_version",
      +          "wire_version"
      +        ],
      +        "type": "object"
      +      }
      +    },
      +    "required": [
      +      "ok",
      +      "error",
      +      "versions"
      +    ],
      +    "type": "object"
      +  }
      +]
  3. Changed2 schema fields changed
    • addedInput schema / properties / ruleset_hash / description
      Added value: +"The content hash of the compiled ruleset to show, from `dsail_compile`."
    • changedOutput schema / (root)
      Previous value: -nullNew value: +{
      +  "description": "The compiled ruleset for review, rendered as a widget where the client supports one. On failure `ok` is false and `error` carries `code`, `message` and `docs`, the URL of the page that resolves it.",
      +  "oneOf": [
      +    {
      +      "properties": {
      +        "claim_schema": {
      +          "description": "JSON Schema for the claim dictionary.",
      +          "type": "object"
      +        },
      +        "diagnostics": {
      +          "items": {
      +            "properties": {
      +              "line": {
      +                "type": [
      +                  "integer",
      +                  "null"
      +                ]
      +              },
      +              "message": {
      +                "type": "string"
      +              },
      +              "severity": {
      +                "enum": [
      +                  "error",
      +                  "warning"
      +                ],
      +                "type": "string"
      +              }
      +            },
      +            "required": [
      +              "severity",
      +              "message"
      +            ],
      +            "type": "object"
      +          },
      +          "type": "array"
      +        },
      +        "label": {
      +          "description": "The ruleset's stored application-domain label (TJP-642), as ids under `vocabulary_version`. Null when the ruleset carries none, or when this account has labeling disabled. A label never alters a result; the level-two proposal text a caller sent is matched and dropped, never stored or returned.",
      +          "properties": {
      +            "confidence": {
      +              "enum": [
      +                "high",
      +                "medium",
      +                "low",
      +                null
      +              ],
      +              "type": [
      +                "string",
      +                "null"
      +              ]
      +            },
      +            "declined": {
      +              "type": "boolean"
      +            },
      +            "level_one": {
      +              "description": "Level-one domain id. Null only when declined.",
      +              "enum": [
      +                "finance",
      +                "consumer_finance",
      +                "capital_markets",
      +                "insurance",
      +                "regulatory_compliance",
      +                "hr_workforce",
      +                "security_access",
      +                "security_classification",
      +                "healthcare",
      +                "legal_contracts",
      +                "procurement",
      +                "engineering_release",
      +                "content_safety",
      +                "other",
      +                null
      +              ],
      +              "type": [
      +                "string",
      +                "null"
      +              ]
      +            },
      +            "level_two": {
      +              "description": "Level-two term id, from GET /v1/vocabulary. Null when the proposal matched no published term (the proposal was counted toward promotion instead) or none was offered.",
      +              "pattern": "^l2-[0-9]{4,}$",
      +              "type": [
      +                "string",
      +                "null"
      +              ]
      +            },
      +            "updated_at": {
      +              "description": "UTC, ISO 8601.",
      +              "type": "string"
      +            },
      +            "vocabulary_version": {
      +              "example": "v1",
      +              "type": "string"
      +            }
      +          },
      +          "required": [
      +            "vocabulary_version",
      +            "level_one",
      +            "level_two",
      +            "confidence",
      +            "declined",
      +            "updated_at"
      +          ],
      +          "type": [
      +            "object",
      +            "null"
      +          ]
      +        },
      +        "manifest": {
      +          "properties": {
      +            "claims": {
      +              "items": {
      +                "properties": {
      +                  "boolean_subtype": {
      +                    "type": "string"
      +                  },
      +                  "claim": {
      +                    "type": "string"
      +                  },
      +                  "context": {
      +                    "type": "string"
      +                  },
      +                  "data_type": {
      +                    "enum": [
      +                      "boolean",
      +                      "numeric",
      +                      "enum"
      +                    ],
      +                    "type": "string"
      +                  },
      +                  "ordered": {
      +                    "type": "boolean"
      +                  },
      +                  "question": {
      +                    "description": "Shown to the extracting model.",
      +                    "type": "string"
      +                  },
      +                  "range": {
      +                    "properties": {
      +                      "max": {
      +                        "type": "number"
      +                      },
      +                      "min": {
      +                        "type": "number"
      +                      }
      +                    },
      +                    "type": "object"
      +                  },
      +                  "required": {
      +                    "type": "boolean"
      +                  },
      +                  "unit": {
      +                    "type": [
      +                      "string",
      +                      "null"
      +                    ]
      +                  },
      +                  "unknown_allowed": {
      +                    "const": true,
      +                    "type": "boolean"
      +                  },
      +                  "unknown_sentinel": {
      +                    "description": "Present only when this claim's own vocabulary contains a member spelled like the sentinel. Then the string means that member and this names the value that means undetermined (null).",
      +                    "type": "string"
      +                  },
      +                  "vocabulary": {
      +                    "items": {
      +                      "type": "string"
      +                    },
      +                    "type": "array"
      +                  }
      +                },
      +                "required": [
      +                  "claim",
      +                  "data_type",
      +                  "question",
      +                  "required",
      +                  "unknown_allowed"
      +                ],
      +                "type": "object"
      +              },
      +              "type": "array"
      +            },
      +            "rules": {
      +              "items": {
      +                "description": "One rule, with the assertions it states. A rule is the unit a policy is written in; an assertion is the unit the engine answers, and one rule may state several. A ruleset compiled here is a single DSAIL source and the grammar has no grouping construct, so today every rule holds exactly one assertion and carries its name — read results through this level anyway and a rule that states more costs you nothing.",
      +                "properties": {
      +                  "assertions": {
      +                    "items": {
      +                      "description": "One assertion a rule states. The engine answers per assertion, so this is the unit a check reports on.",
      +                      "properties": {
      +                        "line": {
      +                          "type": [
      +                            "integer",
      +                            "null"
      +                          ]
      +                        },
      +                        "name": {
      +                          "type": "string"
      +                        },
      +                        "source": {
      +                          "type": [
      +                            "string",
      +                            "null"
      +                          ]
      +                        },
      +                        "unknown_policy": {
      +                          "enum": [
      +                            "optimistic",
      +                            "pessimistic",
      +                            "neutral"
      +                          ],
      +                          "type": "string"
      +                        }
      +                      },
      +                      "required": [
      +                        "name",
      +                        "unknown_policy"
      +                      ],
      +                      "type": "object"
      +                    },
      +                    "type": "array"
      +                  },
      +                  "rule": {
      +                    "type": "string"
      +                  }
      +                },
      +                "required": [
      +                  "rule",
      +                  "assertions"
      +                ],
      +                "type": "object"
      +              },
      +              "type": "array"
      +            },
      +            "ruleset_hash": {
      +              "type": "string"
      +            }
      +          },
      +          "required": [
      +            "ruleset_hash",
      +            "claims",
      +            "rules"
      +          ],
      +          "type": "object"
      +        },
      +        "ok": {
      +          "const": true,
      +          "type": "boolean"
      +        },
      +        "review": {
      +          "description": "A plain-text rendering of what this ruleset asks and decides, for a person about to approve it. Derived from the manifest on every compile, never stored, so it cannot drift from the contract a caller was handed.",
      +          "type": "string"
      +        },
      +        "ruleset_hash": {
      +          "description": "sha256 of the normalised source. This is the object key.",
      +          "type": "string"
      +        },
      +        "source": {
      +          "description": "The normalised DSAIL source that hashed to `ruleset_hash`, so a caller that only ever compiles has something to show or diff without a separate load-by-name call.",
      +          "type": "string"
      +        },
      +        "stored": {
      +          "properties": {
      +            "parent_hash": {
      +              "type": [
      +                "string",
      +                "null"
      +              ]
      +            },
      +            "revision_depth": {
      +              "type": "integer"
      +            }
      +          },
      +          "type": "object"
      +        },
      +        "summary": {
      +          "description": "The same thing in one sentence, for a row in a list rather than a page a person reads.",
      +          "type": "string"
      +        },
      +        "unbridged_units": {
      +          "description": "Unit pairs this ruleset compares that no loaded converter bridges, attributed by the engine to the rule that cannot be lowered. Each one answers UNKNOWN for every claim dictionary until a converter is added.",
      +          "items": {
      +            "properties": {
      +              "cause": {
      +                "enum": [
      +                  "missing",
      +                  "ambiguous"
      +                ],
      +                "type": "string"
      +              },
      +              "from": {
      +                "type": "string"
      +              },
      +              "rule": {
      +                "type": "string"
      +              },
      +              "to": {
      +                "type": "string"
      +              }
      +            },
      +            "required": [
      +              "rule",
      +              "from",
      +              "to",
      +              "cause"
      +            ],
      +            "type": "object"
      +          },
      +          "type": "array"
      +        },
      +        "unit_library_hash": {
      +          "description": "The project unit library this compile read. Half of a result's provenance; null selects the six built-in standards.",
      +          "type": [
      +            "string",
      +            "null"
      +          ]
      +        },
      +        "validation_contract": {
      +          "description": "Exactly what check will reject, known before submitting.",
      +          "type": "object"
      +        },
      +        "versions": {
      +          "description": "Which engine and which wire contract produced this response.",
      +          "properties": {
      +            "engine": {
      +              "example": "dsail-core",
      +              "type": "string"
      +            },
      +            "engine_version": {
      +              "type": "string"
      +            },
      +            "language_version": {
      +              "description": "DSAIL language version.",
      +              "type": "string"
      +            },
      +            "service_version": {
      +              "type": "string"
      +            },
      +            "supported_language_versions": {
      +              "items": {
      +                "type": "string"
      +              },
      +              "type": "array"
      +            },
      +            "wire_version": {
      +              "type": "string"
      +            }
      +          },
      +          "required": [
      +            "engine",
      +            "engine_version",
      +            "language_version",
      +            "service_version",
      +            "wire_version"
      +          ],
      +          "type": "object"
      +        }
      +      },
      +      "required": [
      +        "ok",
      +        "ruleset_hash",
      +        "source",
      +        "manifest",
      +        "review",
      +        "summary",
      +        "claim_schema",
      +        "validation_contract",
      +        "diagnostics",
      +        "versions"
      +      ],
      +      "type": "object"
      +    },
      +    {
      +      "properties": {
      +        "error": {
      +          "properties": {
      +            "actual": {
      +              "type": "integer"
      +            },
      +            "budget": {
      +              "type": "string"
      +            },
      +            "code": {
      +              "enum": [
      +                "VALIDATION_REJECTED",
      +                "COMPILE_FAILED",
      +                "BUDGET_EXCEEDED",
      +                "RULESET_NOT_FOUND",
      +                "ENGINE_ERROR",
      +                "BAD_REQUEST",
      +                "CREDENTIAL_REQUIRED",
      +                "CREDENTIAL_INVALID",
      +                "CREDENTIAL_SCOPE",
      +                "EVALUATION_LIMIT",
      +                "ENTITLEMENT_EXCEEDED",
      +                "TIER_UNAVAILABLE"
      +              ],
      +              "type": "string"
      +            },
      +            "diagnostics": {
      +              "items": {
      +                "properties": {
      +                  "line": {
      +                    "type": [
      +                      "integer",
      +                      "null"
      +                    ]
      +                  },
      +                  "message": {
      +                    "type": "string"
      +                  },
      +                  "severity": {
      +                    "enum": [
      +                      "error",
      +                      "warning"
      +                    ],
      +                    "type": "string"
      +                  }
      +                },
      +                "required": [
      +                  "severity",
      +                  "message"
      +                ],
      +                "type": "object"
      +              },
      +              "type": "array"
      +            },
      +            "docs": {
      +              "description": "The docs-site page that resolves this code (markdown). Fetch it before retrying blind.",
      +              "format": "uri",
      +              "type": "string"
      +            },
      +            "failure_count": {
      +              "description": "How many fields failed in total. Equal to the length of `failures` unless a very large rejection was truncated, which the message says.",
      +              "type": "integer"
      +            },
      +            "failures": {
      +              "description": "EVERY failing field, not the first one.",
      +              "items": {
      +                "properties": {
      +                  "expected": {
      +                    "type": "string"
      +                  },
      +                  "field": {
      +                    "type": "string"
      +                  },
      +                  "received": {
      +                    "type": "string"
      +                  }
      +                },
      +                "required": [
      +                  "field",
      +                  "expected",
      +                  "received"
      +                ],
      +                "type": "object"
      +              },
      +              "type": "array"
      +            },
      +            "hint": {
      +              "description": "The grammar guide, carried on compile failures so the next call can succeed without a human.",
      +              "type": "string"
      +            },
      +            "limit": {
      +              "type": "integer"
      +            },
      +            "message": {
      +              "type": "string"
      +            }
      +          },
      +          "required": [
      +            "code",
      +            "message"
      +          ],
      +          "type": "object"
      +        },
      +        "ok": {
      +          "const": false,
      +          "type": "boolean"
      +        },
      +        "versions": {
      +          "description": "Which engine and which wire contract produced this response.",
      +          "properties": {
      +            "engine": {
      +              "example": "dsail-core",
      +              "type": "string"
      +            },
      +            "engine_version": {
      +              "type": "string"
      +            },
      +            "language_version": {
      +              "description": "DSAIL language version.",
      +              "type": "string"
      +            },
      +            "service_version": {
      +              "type": "string"
      +            },
      +            "supported_language_versions": {
      +              "items": {
      +                "type": "string"
      +              },
      +              "type": "array"
      +            },
      +            "wire_version": {
      +              "type": "string"
      +            }
      +          },
      +          "required": [
      +            "engine",
      +            "engine_version",
      +            "language_version",
      +            "service_version",
      +            "wire_version"
      +          ],
      +          "type": "object"
      +        }
      +      },
      +      "required": [
      +        "ok",
      +        "error",
      +        "versions"
      +      ],
      +      "type": "object"
      +    }
      +  ],
      +  "type": "object"
      +}
  4. First observed

TDQS

A4.4/5.0
Behavior4/5

Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?

Annotations already declare readOnlyHint, idempotentHint, and destructiveHint=false, so safety is covered. The description adds real context beyond that: it is a UI-facing render (shows claims, per-rule Yes/No/Unknown, editable source, approve control, unit library) and it discloses the return payload plus saved name and bound approvals. Only the finer rendering/refresh behavior is left implicit.

Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.

Conciseness4/5

Is the description appropriately sized, front-loaded, and free of redundancy?

The purpose is front-loaded and each paragraph carries information about usage, rendering, inputs, and returns. It is on the long side for two optional parameters, and the point that a later revision gets its own review is stated twice, which costs a little.

Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.

Completeness5/5

Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?

With an output schema present the description need not restate returns, yet it usefully summarizes them, and annotations already carry the safety profile. When-to-use, the compile-clean precondition, both input routes, and the rendering behavior are all covered, leaving nothing an agent needs to call it correctly.

Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.

Parameters4/5

Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?

Schema coverage is 100%, so the baseline would be 3, but the description adds meaning: a failed-compile hash has nothing to show, and passing a name shows that stored ruleset's current revision. It also clarifies the hash comes from dsail_compile, which is not stated in the schema.

Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.

Purpose5/5

Does the description clearly state what the tool does and how it differs from similar tools?

The opening sentence states a specific verb and resource — show a person the rules a program will check so they can approve exactly those bytes — and the body clarifies it renders a compiled ruleset in an inline review widget. That distinguishes it from dsail_compile (which produces the hash) and dsail_check (which presumably evaluates). An agent can route correctly without opening the schema.

Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.

Usage Guidelines4/5

Does the description explain when to use this tool, when not to, or what alternatives exist?

It gives a clear when-to-use: the policy owner inspecting how decided criteria were formalised before signing off, or a revision needing its own review, plus a negative constraint (a hash that failed to compile has nothing to show). It does not explicitly name alternative tools such as dsail_record_approval for recording the decision, so it stops short of full alternative routing.

Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.

Try in Browser

Glama MCP Gateway

Add one secure layer between your agents and this server.