common.proto

Shared types and enums used across all Quint services

common.proto

Shared types and enumerations used by all Quint components.

Enums

Action

enum Action {
  ALLOW = 0;
  DENY = 1;
}

Verdict

enum Verdict {
  VERDICT_ALLOW = 0;
  VERDICT_DENY = 1;
  VERDICT_PASSTHROUGH = 2;
}

Direction

enum Direction {
  REQUEST = 0;
  RESPONSE = 1;
}

LogLevel

enum LogLevel {
  DEBUG = 0;
  INFO = 1;
  WARN = 2;
  ERROR = 3;
}

ActionDomain

Maps to the first segment of the canonical domain:scope:verb format.

enum ActionDomain {
  MCP = 0;       // Model Context Protocol tool calls
  TOOL = 1;      // Direct tool/function invocations
  DATA = 2;      // Data access and manipulation
  AUTH = 3;      // Authentication and authorization
  NET = 4;       // Network and external communication
  SYS = 5;       // System-level operations
  AGENT = 6;     // Agent lifecycle events
}

DataClassification

8-tier data sensitivity classification.

enum DataClassification {
  PUBLIC = 0;
  INTERNAL = 1;
  PII = 2;
  PII_SENSITIVE = 3;
  FINANCIAL = 4;
  HEALTH = 5;
  AUTH_DATA = 6;
  LEGAL = 7;
}

MCPTransport

enum MCPTransport {
  STDIO = 0;
  SSE = 1;
  STREAMABLE_HTTP = 2;
}

Messages

JsonRpcRequest

JSON-RPC 2.0 request wrapper for MCP message interception.

message JsonRpcRequest {
  string jsonrpc = 1;       // Always "2.0"
  string method = 2;
  bytes params = 3;          // JSON-encoded parameters
  oneof id_value {
    string string_id = 4;
    int64 int_id = 5;
    bool null_id = 6;
  }
}

JsonRpcResponse

message JsonRpcResponse {
  string jsonrpc = 1;
  bytes result = 2;          // JSON-encoded result
  JsonRpcError error = 3;    // Optional error
  oneof id_value {
    string string_id = 4;
    int64 int_id = 5;
    bool null_id = 6;
  }
}

McpToolCall

Represents an MCP tool invocation with its arguments.

message McpToolCall {
  string name = 1;           // Tool name
  bytes arguments = 2;       // JSON-encoded arguments
}

KeyPair

Cryptographic key pair for audit trail signing.

message KeyPair {
  bytes public_key = 1;      // SPKI DER format
  bytes private_key = 2;     // PKCS8 DER format
}