@highflame/policy 2.2.31 → 2.2.32

package/dist/guardrails-defaults.gen.js

@@ -4053,7 +4053,12 @@ export const GUARDRAILS_TEMPLATES_JSON = `{
       "category": "tools",
       "file": "mcp_server_allowlist.cedar",
       "severity": "medium",
-      "tags": ["category:tools", "surface:connect-server", "scope:org-wide", "posture:deny-default"]
+      "tags": [
+        "category:tools",
+        "surface:connect-server",
+        "scope:org-wide",
+        "posture:deny-default"
+      ]
     },
     {
       "id": "security.chat-assistant",

package/dist/overwatch-defaults.gen.js

@@ -717,6 +717,88 @@ when {
     )
 };
 `;
+const OVERWATCH_TOOLS_SHELL_COMMAND_GOVERNANCE_CEDAR = `// =============================================================================
+// Shell & Command Governance (Overwatch / Code Agents) — opt-in
+// =============================================================================
+// Graduated governance for shell/tool calls by a coding agent. Sits between
+// tools.block-shell (blocks ALL shell) and tools.bash-operation-classes
+// (blocks all network + all writes): this template blocks the unambiguously
+// dangerous and lets ordinary dev commands through.
+//
+// SCOPE / KNOWN LIMITS (read before deploying):
+//   - Rule 1 is a TRIPWIRE for the literal \`curl | interpreter\` idiom. It is
+//     evaded by splitting download+exec across calls, or running a downloaded
+//     file by path (\`wget -O /tmp/x && /tmp/x\`). Robust download-then-run
+//     coverage is a detector gap — see highflame-shield#328 and the
+//     download->execute action_pattern follow-up. Do NOT treat Rule 1 as a
+//     complete control; the security value is in the tool_risk + behavioral
+//     rules below.
+//   - A rule on tool_operation_classes.contains("unknown") was deliberately
+//     REMOVED: measured 37% false-positive rate on real dev traffic (the
+//     bash_ast whitelist misses git/gh/npm/sleep/kill/venv-paths; #328).
+//
+// Context keys: tool_operation_classes (Set), tool_risk_score (Long 0-100),
+//   tool_category (String), tool_is_sensitive (Bool), suspicious_pattern
+//   (Bool), pattern_type (String). All optional — guarded with \`context has\`.
+//
+// Category:  tools
+// Namespace: Overwatch
+// =============================================================================
+
+@id("tools.block-download-execute")
+@name("Block download-and-run shell commands")
+@description("Blocks call_tool when a single shell command both reaches the network and executes code (the curl-pipe-interpreter shape).")
+@severity("critical")
+@tags("category:tools,threat:command-injection,detection:rule,surface:call-tool,owasp:asi02,mitre:t1059")
+@reject_message("Tool execution blocked: a shell command both reaches the network and executes code (the download-and-run shape).")
+forbid (principal, action == Overwatch::Action::"call_tool", resource)
+when {
+    context has tool_operation_classes &&
+    context.tool_operation_classes.contains("network_access") &&
+    context.tool_operation_classes.contains("execute_enabling")
+};
+
+@id("tools.block-dangerous-tool")
+@name("Block dangerous or high-risk tools")
+@description("Blocks call_tool when tool_risk_score >= 86 or tool_category equals \\"dangerous\\".")
+@severity("critical")
+@tags("category:tools,detection:aggregate,surface:call-tool,owasp:llm06")
+@reject_message("Tool execution blocked: the tool is classified dangerous or scored high risk.")
+forbid (principal, action == Overwatch::Action::"call_tool", resource)
+when {
+    (context has tool_risk_score && context.tool_risk_score >= 86) ||
+    (context has tool_category && context.tool_category == "dangerous")
+};
+
+@id("tools.block-sensitive-high-risk")
+@name("Block sensitive tools at elevated risk")
+@description("Blocks call_tool when tool_is_sensitive is true and tool_risk_score >= 71.")
+@severity("high")
+@tags("category:tools,detection:aggregate,surface:call-tool,owasp:llm06")
+@reject_message("Tool execution blocked: a sensitive tool crossed the elevated-risk threshold.")
+forbid (principal, action == Overwatch::Action::"call_tool", resource)
+when {
+    context has tool_is_sensitive && context.tool_is_sensitive == true &&
+    context has tool_risk_score && context.tool_risk_score >= 71
+};
+
+@id("tools.block-exfiltration-pattern")
+@name("Block data-exfiltration and destructive sequences")
+@description("Blocks call_tool when the behavioral detector matches an exfiltration, credential-theft, or destructive action sequence.")
+@severity("critical")
+@tags("category:tools,threat:exfiltration,detection:pattern,surface:call-tool,owasp:llm02,mitre:t1005")
+@reject_message("Tool execution blocked: the action sequence matches a data-exfiltration or destructive pattern.")
+forbid (principal, action == Overwatch::Action::"call_tool", resource)
+when {
+    context has suspicious_pattern && context.suspicious_pattern == true &&
+    context has pattern_type &&
+    (context.pattern_type == "data_exfiltration" ||
+     context.pattern_type == "secret_exfiltration" ||
+     context.pattern_type == "db_exfiltration" ||
+     context.pattern_type == "credential_theft" ||
+     context.pattern_type == "destructive_sequence")
+};
+`;
 const OVERWATCH_PRIVACY_DEFAULTS_CEDAR = `// =============================================================================
 // Structural PII (Tier 1)
 // =============================================================================
@@ -1811,6 +1893,15 @@ export const OVERWATCH_TEMPLATES = [
         severity: 'high',
         tags: ['category:tools', 'threat:exfiltration', 'threat:command-injection', 'detection:rule', 'surface:call-tool', 'owasp:asi02', 'mitre:t1059', 'step-up'],
     },
+    {
+        id: 'tools.shell-command-governance',
+        name: 'Shell & Command Governance',
+        description: 'Graduated shell/command governance for coding agents: blocks the download-and-run shape (network + execute), dangerous or high-risk tools, sensitive tools at elevated risk, and exfiltration/destructive action sequences — while letting ordinary dev commands through. Aligns with cookbook recipe aperture/05-tool-governance.',
+        category: 'tools',
+        cedarText: OVERWATCH_TOOLS_SHELL_COMMAND_GOVERNANCE_CEDAR,
+        severity: 'critical',
+        tags: ['category:tools', 'threat:command-injection', 'threat:exfiltration', 'detection:aggregate', 'surface:call-tool', 'owasp:asi02', 'owasp:llm06', 'mitre:t1059'],
+    },
     {
         id: 'privacy.defaults',
         name: 'Structural PII',
@@ -2062,6 +2153,24 @@ export const OVERWATCH_TEMPLATES_JSON = `{
         "step-up"
       ]
     },
+    {
+      "id": "tools.shell-command-governance",
+      "name": "Shell & Command Governance",
+      "description": "Graduated shell/command governance for coding agents: blocks the download-and-run shape (network + execute), dangerous or high-risk tools, sensitive tools at elevated risk, and exfiltration/destructive action sequences — while letting ordinary dev commands through. Aligns with cookbook recipe aperture/05-tool-governance.",
+      "category": "tools",
+      "file": "tools_shell_command_governance.cedar",
+      "severity": "critical",
+      "tags": [
+        "category:tools",
+        "threat:command-injection",
+        "threat:exfiltration",
+        "detection:aggregate",
+        "surface:call-tool",
+        "owasp:asi02",
+        "owasp:llm06",
+        "mitre:t1059"
+      ]
+    },
     {
       "id": "privacy.defaults",
       "name": "Structural PII",

package/dist/service-schemas.gen.d.ts

@@ -3,7 +3,7 @@
  *
  * Full Cedar schema for agent_ops, embedded at codegen time.
  */
-export declare const AGENT_OPS_SCHEMA = "// =============================================================================\n// AgentOps Cedar Schema\n// =============================================================================\n// Unified schema for all agent guardrail policies. Covers every request path\n// where an AI agent touches the Highflame platform:\n//   - LLM prompt/response (Guardrails path)\n//   - IDE tool calls and file access (Overwatch path)\n//   - MCP server connections (AI Gateway path)\n//\n// The context types are a superset of Guardrails, Overwatch, and AI Gateway\n// schemas. All extra fields are optional \u2014 Shield projects only what is present\n// in the request, Cedar ignores absent optional attributes.\n//\n// Service: highflame-shield (agent_ops product)\n// Namespace: AgentOps\n// =============================================================================\n\nnamespace AgentOps {\n    // =========================================================================\n    // Entity Types \u2014 ReBAC Hierarchy\n    // =========================================================================\n    // Entity hierarchy enables Cedar's `in` operator for policy scoping:\n    //   Account (org root)\n    //     \u2514\u2500\u2500 Project in [Account]\n    //           \u251C\u2500\u2500 App in [Project]\n    //           \u2502     \u2514\u2500\u2500 Session in [App, Agent]\n    //           \u2514\u2500\u2500 Agent in [Project]\n    //                 \u2514\u2500\u2500 Session in [App, Agent]\n    //\n    // Policy scoping examples:\n    //   resource in AgentOps::Project::\"<uuid>\"          \u2192 project-wide (all agents)\n    //   resource in AgentOps::Agent::\"<external_id>\"     \u2192 named agent + its sessions\n    //   resource == AgentOps::Agent::\"<external_id>\"     \u2192 named agent only (exact match)\n    //   resource in AgentOps::Account::\"<uuid>\"          \u2192 org-wide\n    // =========================================================================\n\n    /// Account represents an organization (top-level tenant)\n    entity Account;\n\n    /// Project represents a project within an account\n    entity Project in [Account];\n\n    /// User represents a principal (human or service) making requests\n    entity User;\n\n    /// Agent represents an AI agent (Claude, Cursor, Copilot, MCP client, etc.)\n    /// Used as both principal (who is acting) and resource (policy scoping target).\n    /// Agent + sessions: resource in AgentOps::Agent::\"<external_id>\" (hierarchy match)\n    /// Agent only:       resource == AgentOps::Agent::\"<external_id>\" (exact match)\n    entity Agent in [Project];\n\n    /// App represents a protected application (guardrails-enabled LLM app)\n    entity App in [Project];\n\n    /// Session represents an agentic conversation session with state tracking.\n    /// Sessions can belong to either an App or an Agent.\n    entity Session in [App, Agent];\n\n    // =========================================================================\n    // Actions\n    // =========================================================================\n\n    /// Process user prompts and AI responses for security threats and content violations\n    action \"process_prompt\" appliesTo {\n        principal: [User, Agent],\n        resource: [App, Agent, Session],\n        context: ProcessPromptContext\n    };\n\n    /// Execute tool calls (shell, file operations, MCP tools)\n    action \"call_tool\" appliesTo {\n        principal: [User, Agent],\n        resource: [Agent, Session],\n        context: CallToolContext\n    };\n\n    /// Read file operations\n    action \"read_file\" appliesTo {\n        principal: [User, Agent],\n        resource: [Agent, Session],\n        context: FileReadContext\n    };\n\n    /// Write file operations\n    action \"write_file\" appliesTo {\n        principal: [User, Agent],\n        resource: [Agent, Session],\n        context: FileWriteContext\n    };\n\n    /// Connect to an MCP server\n    action \"connect_server\" appliesTo {\n        principal: [User, Agent],\n        resource: [Agent, Session],\n        context: ConnectServerContext\n    };\n\n    /// Provision a sandbox for the acting identity (Forge OS-layer envelope).\n    /// The MANDATORY authorization gate for sandbox creation (ADR 0019 D1):\n    /// Forge evaluates this action's AgentOps bundle at create-time; no decision\n    /// means no sandbox. Context carries the requested capability envelope\n    /// (writable paths, egress, exec allowlist, curated mechanism toggles,\n    /// isolation tier). Raw syscalls are NEVER expressed here \u2014 the enforcement\n    /// generators own the mechanism\u2192syscall translation (ADR 0017 D1).\n    action \"provision_sandbox\" appliesTo {\n        principal: [User, Agent],\n        resource: [Agent, Session],\n        context: ProvisionSandboxContext\n    };\n\n    // =========================================================================\n    // Context Types (Action-Specific)\n    // =========================================================================\n\n    /// Context for process_prompt action (user prompts & AI responses)\n    type ProcessPromptContext = {\n        // Identity (AARM R6 / CAP-IDN-011) \u2014 projected from the principal's token; optional.\n        \"role\"?: String,\n        \"privilege_scope\"?: Set<String>,\n        \"identity_type\"?: String,        // Principal identity class: \"human\" | \"agent\" | \"service\" | \"mcp_server\"\n        \"principal\"?: String,            // Stable principal identifier (e.g. ZeroID / WIMSE URI or user id)\n        // Core metadata (required)\n        \"request_id\": String,\n        \"timestamp\": Long,\n        \"direction\": String,        // \"input\" | \"output\"\n        \"content_type\": String,     // \"prompt\" | \"response\" | \"tool_call\" | \"file\"\n        \"detector_count\": Long,\n\n        // IDE / workspace context (optional \u2014 present for Overwatch/code-agent traffic)\n        \"source\"?: String,           // Traffic origin: \"ide\" | \"cli\" | \"api\" | \"browser\"\n        \"event\"?: String,            // Event type: \"prompt\" | \"tool_call\" | \"file_read\" | ...\n        \"user_email\"?: String,       // Human operator email (IDE sessions)\n        \"cwd\"?: String,              // Current working directory\n        \"workspace_root\"?: String,   // IDE workspace root path\n\n        // Model context (optional \u2014 present for AI Gateway traffic)\n        \"model_name\"?: String,       // LLM model name: \"claude-3-5-sonnet\", \"gpt-4o\", ...\n        \"model_provider\"?: String,   // Model provider: \"anthropic\" | \"openai\" | \"google\" | ...\n\n        // Security - Injection & Jailbreak (optional)\n        \"injection_score\"?: Long,  // Combined injection confidence: MAX(pulse, deep_context)\n        \"jailbreak_score\"?: Long,  // Combined jailbreak confidence: MAX(pulse, deep_context)\n        \"injection_pulse_score\"?: Long,  // 0-100 Pulse single-turn classifier\n        \"injection_deep_context_score\"?: Long, // 0-100 DeepContext multi-turn\n        \"jailbreak_pulse_score\"?: Long,  // 0-100 Pulse single-turn classifier\n        \"jailbreak_deep_context_score\"?: Long, // 0-100 DeepContext multi-turn\n        \"injection_type\"?: String,       // \"prompt\" | \"sql\" | \"command\" | \"none\"\n        \"indirect_injection_score\"?: Long, // Indirect injection via tool outputs (0-100)\n\n        // Privacy - Secrets (optional)\n        \"secrets_detected\"?: Boolean,\n        \"secret_count\"?: Long,\n        \"secret_types\"?: Set<String>,    // [\"aws_access_key\", \"github_token\", ...]\n\n        // Privacy - PII (optional)\n        \"pii_detected\"?: Boolean,\n        \"pii_count\"?: Long,\n        \"pii_types\"?: Set<String>,       // [\"email\", \"phone\", \"ssn\", \"credit_card\", ...]\n        \"pii_score\"?: Long,         // PII ML classifier confidence (0-100)\n\n        // Aggregated threat summary (optional \u2014 populated by aggregation detectors)\n        \"highest_severity\"?: String,     // \"critical\" | \"high\" | \"medium\" | \"low\" | \"none\"\n        \"threat_count\"?: Long,\n        \"threat_categories\"?: Set<String>,\n        \"detected_threats\"?: Set<String>,\n\n        // Trust & Safety - Toxicity (optional)\n        \"violence_score\"?: Long,         // 0-100\n        \"hate_speech_score\"?: Long,      // 0-100\n        \"sexual_score\"?: Long,           // 0-100\n        \"weapons_score\"?: Long,          // 0-100\n        \"crime_score\"?: Long,            // 0-100\n        \"profanity_score\"?: Long,        // 0-100\n\n        // Semantic - Topic Classification (optional)\n        \"content_topics\"?: Set<String>,      // [\"controlled_substances\", \"weapons_manufacturing\", ...]\n        \"topic_confidence\"?: Long,           // 0-100\n\n        // Security - Invisible Character Detection (optional)\n        \"invisible_chars_detected\"?: Boolean,\n        \"invisible_chars_score\"?: Long,      // 0-100\n\n        // Security - Pattern Detection (optional)\n        \"command_injection_detected\"?: Boolean,\n        \"command_injection_type\"?: String,       // \"reverse_shell\" | \"privilege_escalation\" | ...\n        \"command_injection_score\"?: Long,        // 0-100\n        \"path_traversal_detected\"?: Boolean,\n        \"path_traversal_severity\"?: String,      // \"critical\" | \"high\" | \"medium\" | \"low\" | \"none\"\n        \"path_traversal_type\"?: String,\n        \"sql_injection_detected\"?: Boolean,\n        \"sql_injection_type\"?: String,           // \"tautology\" | \"union_based\" | \"destructive\" | ...\n        \"sql_injection_score\"?: Long,            // 0-100\n\n        // Security - Cross-Origin Escalation (optional)\n        \"cross_origin_detected\"?: Boolean,\n        \"cross_origin_type\"?: String,            // \"cross_origin_tool\" | \"cross_origin_server\" | \"none\"\n        \"cross_origin_score\"?: Long,             // 0-100\n\n        // Security - Encoded Injection (optional)\n        \"encoded_content_detected\"?: Boolean,\n        \"encoded_types\"?: Set<String>,           // [\"base64\", \"hex\", \"unicode\", \"url\", ...]\n        \"encoded_count\"?: Long,\n        \"encoded_score\"?: Long,                  // 0-100\n\n        // Language & Script Detection (optional)\n        \"detected_language\"?: String,            // ISO language code\n        \"is_english\"?: Boolean,\n        \"language_confidence\"?: Long,            // 0-100\n        \"detected_script\"?: String,              // \"latin\" | \"cyrillic\" | \"arabic\" | \"unknown\" | ...\n        \"is_latin_script\"?: Boolean,\n        \"script_confidence\"?: Long,              // 0-100\n\n        // Content Analysis (optional)\n        \"hallucination_score\"?: Long,\n        \"factuality_score\"?: Long,               // 0-100\n        \"sentiment_score\"?: Long,\n        \"contains_code\"?: Boolean,\n        \"code_languages\"?: Set<String>,\n        \"code_ratio\"?: Long,                     // 0-100\n        \"keyword_matched\"?: Boolean,\n        \"keyword_categories\"?: Set<String>,\n        \"keyword_count\"?: Long,\n        \"contains_non_ascii\"?: Boolean,\n        \"phishing_detected\"?: Boolean,\n        \"content_safety_score\"?: Long,           // 0-100\n        \"content_safety_blocked\"?: Boolean,\n\n        // Agentic - Multi-Turn Context (optional)\n        \"conversation_turn\"?: Long,\n        \"multi_turn_detection\"?: Boolean,\n\n        // Session Detection History \u2014 cross-turn sticky flags (optional)\n        \"session_pii_detected\"?: Boolean,\n        \"session_pii_types\"?: Set<String>,\n        \"session_secrets_detected\"?: Boolean,\n        \"session_secret_types\"?: Set<String>,\n        \"session_injection_detected\"?: Boolean,\n        \"session_command_injection\"?: Boolean,\n        \"session_threat_turns\"?: Long,\n        \"session_max_injection_score\"?: Long,\n        \"session_max_jailbreak_score\"?: Long,\n        \"session_max_command_injection_score\"?: Long,\n        \"session_max_pii_score\"?: Long,\n        \"session_max_secret_score\"?: Long,\n        \"session_cumulative_risk_score\"?: Long,\n        \"session_original_request\"?: String,\n        \"session_max_sensitivity\"?: String,\n\n        // Origin Surface \u2014 REQUIRED (ADR 0012 D14.2). Projected by Shield from the\n        // ingress product; never user-supplied. The \"Applies to\" narrowing target:\n        // policies test it with an ordinary condition (context.surface == \"ai_gateway\")\n        // \u2014 no `has` guard needed precisely because it is required. Values are the\n        // product identifiers: \"guardrails\" | \"overwatch\" | \"ai_gateway\" (\"sentry\"\n        // joins at ADR 0012 D17 phase 2). A policy with no surface condition applies\n        // to every surface, including ones added later (inclusive default).\n        \"surface\": String,\n\n        // Data-Flow Labels \u2014 per-value information-flow facts (ADR 0020, optional).\n        // All optional: guard every access with `has` \u2014 an absent-attribute read is\n        // a Cedar evaluation error and an errored forbid is silently skipped (fail-open).\n        \"flow_confidentiality\"?: String,         // \"public\" | \"internal\" | \"confidential\" | \"restricted\" | \"unknown\"\n        \"flow_integrity\"?: String,               // \"trusted\" | \"untrusted\" | \"mixed\" | \"unknown\"\n        \"flow_data_types\"?: Set<String>,         // \"pii\" | \"secrets\" | \"source_code\" | \"financial\" | \"health\" | ...\n        \"flow_compartments\"?: Set<String>,       // \"tenant:*\" | \"customer:*\" | \"project:*\"\n        \"flow_resolution_status\"?: String,       // \"known\" | \"inferred\" | \"unknown\" | \"conflicted\"\n        \"flow_origins\"?: Set<String>,            // \"mcp_tool_result\" | \"model\" | \"file\" | \"database\" | \"user\"\n        \"flow_sink\"?: String,                    // \"external_model\" | \"local_model\" | \"external_mcp\" | \"trusted_mcp\" | \"user_secure_output\" | \"public_network\" | \"file\"\n        \"flow_sink_is_external\"?: Boolean,\n        \"flow_sink_effects\"?: Set<String>,       // \"network.send\" | \"financial.transfer\" | \"filesystem.write\" | ...\n        \"principal_clearances\"?: Set<String>,    // ADR 0020 D8 \u2014 clearances AuthN mints for the principal\n        \"principal_compartments\"?: Set<String>,  // ADR 0020 D8 \u2014 compartments the principal is admitted to\n\n        // Usage Budget \u2014 multi-window token & cost enforcement (optional)\n        \"budget_remaining_pct\"?: Long,\n        \"budget_exceeded\"?: Boolean,\n        \"budget_cost_micros_this_turn\"?: Long,\n        \"budget_model\"?: String,\n        \"budget_tokens_pct_session\"?: Long,\n        \"budget_tokens_pct_daily\"?: Long,\n        \"budget_tokens_pct_monthly\"?: Long,\n        \"budget_cost_pct_daily\"?: Long,\n        \"budget_cost_pct_monthly\"?: Long,\n        \"budget_exceeded_session\"?: Boolean,\n        \"budget_exceeded_daily\"?: Boolean,\n        \"budget_exceeded_monthly\"?: Boolean,\n\n        // Rate Limiting \u2014 gateway-metered, Shield-decided (ADR 0014)\n        \"rpm_remaining_pct\"?: Long,\n        \"rpm_exceeded\"?: Boolean,\n        \"tpm_remaining_pct\"?: Long,\n        \"tpm_exceeded\"?: Boolean,\n\n        // Agent Identity \u2014 authenticated agent principal metadata (optional)\n        \"agent_id\"?: String,\n        \"agent_type\"?: String,           // \"orchestrator\" | \"autonomous\" | \"tool_agent\" | \"human_proxy\"\n        \"agent_trust_level\"?: String,    // \"first_party\" | \"verified_third_party\" | \"unverified\"\n        \"agent_framework\"?: String,\n        \"agent_publisher\"?: String,\n\n    };\n\n    /// Context for call_tool action (agentic tool execution)\n    type CallToolContext = {\n        // Identity (AARM R6 / CAP-IDN-011) \u2014 projected from the principal's token; optional.\n        \"role\"?: String,\n        \"privilege_scope\"?: Set<String>,\n        \"identity_type\"?: String,\n        \"principal\"?: String,\n        // Core metadata (required)\n        \"request_id\": String,\n        \"timestamp\": Long,\n\n        // IDE / workspace context (optional)\n        \"source\"?: String,\n        \"event\"?: String,\n        \"user_email\"?: String,\n        \"cwd\"?: String,\n        \"workspace_root\"?: String,\n\n        // Tool Risk (optional)\n        \"tool_name\"?: String,\n        \"tool_risk_score\"?: Long,        // 0-100\n        \"tool_is_sensitive\"?: Boolean,\n        \"tool_category\"?: String,        // \"safe\" | \"sensitive\" | \"dangerous\"\n        \"tool_is_builtin\"?: Boolean,\n\n        // AARM R3 (CAP-ENF-007) \u2014 Action Parameter Validation\n        \"action_params\"?: {\n            \"amount\"?: Long,\n            \"count\"?: Long,\n            \"command\"?: String,\n            \"path\"?: String,\n            \"url\"?: String,\n            \"recipient\"?: String,\n            \"target\"?: String,\n            \"query\"?: String,\n        },\n        \"param_type_violation\"?: Boolean,\n        \"param_type_violations\"?: Set<String>,\n\n        // MCP context (optional)\n        \"mcp_server\"?: String,\n        \"mcp_tool\"?: String,\n        \"mcp_server_verified\"?: Boolean,\n\n        // Agentic - Behavioral Patterns (optional)\n        \"suspicious_pattern\"?: Boolean,\n        \"pattern_type\"?: String,         // \"data_exfiltration\" | \"secret_exfiltration\" | ...\n        \"sequence_risk\"?: Long,          // 0-100\n\n        // Agentic - Loop Detection (optional)\n        \"loop_detected\"?: Boolean,\n        \"loop_count\"?: Long,\n        \"loop_tool\"?: String,\n\n        // Security checks on tool arguments (optional)\n        \"secrets_detected\"?: Boolean,\n        \"secret_count\"?: Long,\n        \"secret_types\"?: Set<String>,\n        \"pii_detected\"?: Boolean,\n        \"pii_types\"?: Set<String>,\n        \"pii_count\"?: Long,\n        \"pii_score\"?: Long,\n        \"injection_score\"?: Long,\n        \"injection_pulse_score\"?: Long,\n        \"injection_deep_context_score\"?: Long,\n        \"indirect_injection_score\"?: Long,\n        \"indirect_injection_type\"?: String,      // Type of indirect injection detected\n\n        // Semantic - Topic Classification (optional)\n        \"content_topics\"?: Set<String>,      // [\"controlled_substances\", \"weapons_manufacturing\", ...]\n        \"topic_confidence\"?: Long,           // 0-100\n\n        // Security - Pattern Detection (optional)\n        \"command_injection_detected\"?: Boolean,\n        \"command_injection_type\"?: String,\n        \"command_injection_score\"?: Long,\n        \"path_traversal_detected\"?: Boolean,\n        \"path_traversal_severity\"?: String,\n        \"path_traversal_type\"?: String,\n        \"sql_injection_detected\"?: Boolean,\n        \"sql_injection_type\"?: String,\n        \"sql_injection_score\"?: Long,\n\n        // Security - Cross-Origin Escalation (optional)\n        \"cross_origin_detected\"?: Boolean,\n        \"cross_origin_type\"?: String,\n        \"cross_origin_score\"?: Long,\n\n        // Security - Invisible Character Detection (optional)\n        \"invisible_chars_detected\"?: Boolean,\n        \"invisible_chars_score\"?: Long,\n\n        // Security - Encoded Injection (optional)\n        \"encoded_content_detected\"?: Boolean,\n        \"encoded_types\"?: Set<String>,\n        \"encoded_count\"?: Long,\n        \"encoded_score\"?: Long,\n\n        // Agentic - Agent Security (optional)\n        \"tool_poisoning_detected\"?: Boolean,\n        \"tool_poisoning_score\"?: Long,\n        \"tool_poisoning_type\"?: String,\n        \"rug_pull_detected\"?: Boolean,\n        \"rug_pull_score\"?: Long,\n        \"rug_pull_type\"?: String,\n\n        // Agentic - MCP Risk (optional)\n        \"mcp_config_risk\"?: Boolean,\n        \"mcp_risk_type\"?: String,\n        \"mcp_risk_score\"?: Long,\n\n        // Tool Operation Classifier (optional)\n        \"tool_operation_classes\"?: Set<String>,\n\n        // Agentic - Multi-Turn Context (optional)\n        \"conversation_turn\"?: Long,\n        \"multi_turn_detection\"?: Boolean,\n\n        // Session Detection History \u2014 cross-turn sticky flags (optional)\n        \"session_pii_detected\"?: Boolean,\n        \"session_pii_types\"?: Set<String>,\n        \"session_secrets_detected\"?: Boolean,\n        \"session_secret_types\"?: Set<String>,\n        \"session_injection_detected\"?: Boolean,\n        \"session_command_injection\"?: Boolean,\n        \"session_threat_turns\"?: Long,\n        \"session_max_injection_score\"?: Long,\n        \"session_max_jailbreak_score\"?: Long,\n        \"session_max_command_injection_score\"?: Long,\n        \"session_max_pii_score\"?: Long,\n        \"session_max_secret_score\"?: Long,\n        \"session_cumulative_risk_score\"?: Long,\n        \"session_original_request\"?: String,\n        \"session_max_sensitivity\"?: String,\n\n        // Origin Surface \u2014 REQUIRED (ADR 0012 D14.2). Projected by Shield from the\n        // ingress product; never user-supplied. The \"Applies to\" narrowing target:\n        // policies test it with an ordinary condition (context.surface == \"ai_gateway\")\n        // \u2014 no `has` guard needed precisely because it is required. Values are the\n        // product identifiers: \"guardrails\" | \"overwatch\" | \"ai_gateway\" (\"sentry\"\n        // joins at ADR 0012 D17 phase 2). A policy with no surface condition applies\n        // to every surface, including ones added later (inclusive default).\n        \"surface\": String,\n\n        // Data-Flow Labels \u2014 per-value information-flow facts (ADR 0020, optional).\n        // All optional: guard every access with `has` \u2014 an absent-attribute read is\n        // a Cedar evaluation error and an errored forbid is silently skipped (fail-open).\n        \"flow_confidentiality\"?: String,         // \"public\" | \"internal\" | \"confidential\" | \"restricted\" | \"unknown\"\n        \"flow_integrity\"?: String,               // \"trusted\" | \"untrusted\" | \"mixed\" | \"unknown\"\n        \"flow_data_types\"?: Set<String>,         // \"pii\" | \"secrets\" | \"source_code\" | \"financial\" | \"health\" | ...\n        \"flow_compartments\"?: Set<String>,       // \"tenant:*\" | \"customer:*\" | \"project:*\"\n        \"flow_resolution_status\"?: String,       // \"known\" | \"inferred\" | \"unknown\" | \"conflicted\"\n        \"flow_origins\"?: Set<String>,            // \"mcp_tool_result\" | \"model\" | \"file\" | \"database\" | \"user\"\n        \"flow_sink\"?: String,                    // \"external_model\" | \"local_model\" | \"external_mcp\" | \"trusted_mcp\" | \"user_secure_output\" | \"public_network\" | \"file\"\n        \"flow_sink_is_external\"?: Boolean,\n        \"flow_sink_effects\"?: Set<String>,       // \"network.send\" | \"financial.transfer\" | \"filesystem.write\" | ...\n        \"principal_clearances\"?: Set<String>,    // ADR 0020 D8 \u2014 clearances AuthN mints for the principal\n        \"principal_compartments\"?: Set<String>,  // ADR 0020 D8 \u2014 compartments the principal is admitted to\n\n        // Usage Budget (optional)\n        \"budget_remaining_pct\"?: Long,\n        \"budget_exceeded\"?: Boolean,\n        \"budget_cost_micros_this_turn\"?: Long,\n        \"budget_model\"?: String,\n        \"budget_tokens_pct_session\"?: Long,\n        \"budget_tokens_pct_daily\"?: Long,\n        \"budget_tokens_pct_monthly\"?: Long,\n        \"budget_cost_pct_daily\"?: Long,\n        \"budget_cost_pct_monthly\"?: Long,\n        \"budget_exceeded_session\"?: Boolean,\n        \"budget_exceeded_daily\"?: Boolean,\n        \"budget_exceeded_monthly\"?: Boolean,\n\n        // Rate Limiting \u2014 gateway-metered, Shield-decided (ADR 0014)\n        \"rpm_remaining_pct\"?: Long,\n        \"rpm_exceeded\"?: Boolean,\n        \"tpm_remaining_pct\"?: Long,\n        \"tpm_exceeded\"?: Boolean,\n\n        // Aggregated threat summary (optional)\n        \"highest_severity\"?: String,\n        \"threat_count\"?: Long,\n        \"detected_threats\"?: Set<String>,\n\n        // Agent Identity (optional)\n        \"agent_id\"?: String,\n        \"agent_type\"?: String,\n        \"agent_trust_level\"?: String,\n        \"agent_framework\"?: String,\n        \"agent_publisher\"?: String,\n\n        // File & Path (optional)\n        \"path\"?: String,\n\n    };\n\n    /// Context for read_file action\n    type FileReadContext = {\n        // Identity (optional)\n        \"role\"?: String,\n        \"privilege_scope\"?: Set<String>,\n        \"identity_type\"?: String,\n        \"principal\"?: String,\n        // Core metadata (required)\n        \"request_id\": String,\n        \"timestamp\": Long,\n\n        // IDE / workspace context (optional)\n        \"source\"?: String,\n        \"event\"?: String,\n        \"user_email\"?: String,\n        \"cwd\"?: String,\n        \"workspace_root\"?: String,\n\n        // File path (optional)\n        \"path\"?: String,\n\n        // Security checks on file content (optional)\n        \"secrets_detected\"?: Boolean,\n        \"secret_count\"?: Long,\n        \"secret_types\"?: Set<String>,\n        \"pii_detected\"?: Boolean,\n        \"pii_types\"?: Set<String>,\n\n        // Security - Path Traversal (optional)\n        \"path_traversal_detected\"?: Boolean,\n        \"path_traversal_severity\"?: String,\n        \"path_traversal_type\"?: String,\n\n        // Aggregated threat summary (optional)\n        \"highest_severity\"?: String,\n        \"threat_count\"?: Long,\n        \"detected_threats\"?: Set<String>,\n\n        // Session Detection History (optional)\n        \"session_pii_detected\"?: Boolean,\n        \"session_pii_types\"?: Set<String>,\n        \"session_secrets_detected\"?: Boolean,\n        \"session_secret_types\"?: Set<String>,\n        \"session_injection_detected\"?: Boolean,\n        \"session_command_injection\"?: Boolean,\n        \"session_threat_turns\"?: Long,\n        \"session_max_injection_score\"?: Long,\n        \"session_max_jailbreak_score\"?: Long,\n        \"session_max_command_injection_score\"?: Long,\n        \"session_max_pii_score\"?: Long,\n        \"session_max_secret_score\"?: Long,\n        \"session_cumulative_risk_score\"?: Long,\n        \"session_original_request\"?: String,\n        \"session_max_sensitivity\"?: String,\n\n        // Origin Surface \u2014 REQUIRED (ADR 0012 D14.2). Projected by Shield from the\n        // ingress product; never user-supplied. The \"Applies to\" narrowing target:\n        // policies test it with an ordinary condition (context.surface == \"ai_gateway\")\n        // \u2014 no `has` guard needed precisely because it is required. Values are the\n        // product identifiers: \"guardrails\" | \"overwatch\" | \"ai_gateway\" (\"sentry\"\n        // joins at ADR 0012 D17 phase 2). A policy with no surface condition applies\n        // to every surface, including ones added later (inclusive default).\n        \"surface\": String,\n\n        // Data-Flow Labels \u2014 per-value information-flow facts (ADR 0020, optional).\n        // All optional: guard every access with `has` \u2014 an absent-attribute read is\n        // a Cedar evaluation error and an errored forbid is silently skipped (fail-open).\n        \"flow_confidentiality\"?: String,         // \"public\" | \"internal\" | \"confidential\" | \"restricted\" | \"unknown\"\n        \"flow_integrity\"?: String,               // \"trusted\" | \"untrusted\" | \"mixed\" | \"unknown\"\n        \"flow_data_types\"?: Set<String>,         // \"pii\" | \"secrets\" | \"source_code\" | \"financial\" | \"health\" | ...\n        \"flow_compartments\"?: Set<String>,       // \"tenant:*\" | \"customer:*\" | \"project:*\"\n        \"flow_resolution_status\"?: String,       // \"known\" | \"inferred\" | \"unknown\" | \"conflicted\"\n        \"flow_origins\"?: Set<String>,            // \"mcp_tool_result\" | \"model\" | \"file\" | \"database\" | \"user\"\n        \"flow_sink\"?: String,                    // \"external_model\" | \"local_model\" | \"external_mcp\" | \"trusted_mcp\" | \"user_secure_output\" | \"public_network\" | \"file\"\n        \"flow_sink_is_external\"?: Boolean,\n        \"flow_sink_effects\"?: Set<String>,       // \"network.send\" | \"financial.transfer\" | \"filesystem.write\" | ...\n        \"principal_clearances\"?: Set<String>,    // ADR 0020 D8 \u2014 clearances AuthN mints for the principal\n        \"principal_compartments\"?: Set<String>,  // ADR 0020 D8 \u2014 compartments the principal is admitted to\n\n        // Usage Budget (optional)\n        \"budget_remaining_pct\"?: Long,\n        \"budget_exceeded\"?: Boolean,\n        \"budget_cost_micros_this_turn\"?: Long,\n        \"budget_model\"?: String,\n        \"budget_tokens_pct_session\"?: Long,\n        \"budget_tokens_pct_daily\"?: Long,\n        \"budget_tokens_pct_monthly\"?: Long,\n        \"budget_cost_pct_daily\"?: Long,\n        \"budget_cost_pct_monthly\"?: Long,\n        \"budget_exceeded_session\"?: Boolean,\n        \"budget_exceeded_daily\"?: Boolean,\n        \"budget_exceeded_monthly\"?: Boolean,\n\n        // Rate Limiting \u2014 gateway-metered, Shield-decided (ADR 0014)\n        \"rpm_remaining_pct\"?: Long,\n        \"rpm_exceeded\"?: Boolean,\n        \"tpm_remaining_pct\"?: Long,\n        \"tpm_exceeded\"?: Boolean,\n\n        // Agent Identity (optional)\n        \"agent_id\"?: String,\n        \"agent_type\"?: String,\n        \"agent_trust_level\"?: String,\n        \"agent_framework\"?: String,\n        \"agent_publisher\"?: String,\n\n    };\n\n    /// Context for write_file action\n    type FileWriteContext = {\n        // Identity (optional)\n        \"role\"?: String,\n        \"privilege_scope\"?: Set<String>,\n        \"identity_type\"?: String,\n        \"principal\"?: String,\n        // Core metadata (required)\n        \"request_id\": String,\n        \"timestamp\": Long,\n\n        // IDE / workspace context (optional)\n        \"source\"?: String,\n        \"event\"?: String,\n        \"user_email\"?: String,\n        \"cwd\"?: String,\n        \"workspace_root\"?: String,\n\n        // File path (optional)\n        \"path\"?: String,\n\n        // Security - Invisible Character Detection in write content (optional)\n        \"invisible_chars_detected\"?: Boolean,\n        \"invisible_chars_score\"?: Long,\n\n        // Security checks on content being written (optional)\n        \"secrets_detected\"?: Boolean,\n        \"secret_count\"?: Long,\n        \"secret_types\"?: Set<String>,\n        \"pii_detected\"?: Boolean,\n        \"pii_types\"?: Set<String>,\n\n        // Security - Path Traversal (optional)\n        \"path_traversal_detected\"?: Boolean,\n        \"path_traversal_severity\"?: String,\n        \"path_traversal_type\"?: String,\n\n        // Aggregated threat summary (optional)\n        \"highest_severity\"?: String,\n        \"threat_count\"?: Long,\n        \"detected_threats\"?: Set<String>,\n\n        // Session Detection History (optional)\n        \"session_pii_detected\"?: Boolean,\n        \"session_pii_types\"?: Set<String>,\n        \"session_secrets_detected\"?: Boolean,\n        \"session_secret_types\"?: Set<String>,\n        \"session_injection_detected\"?: Boolean,\n        \"session_command_injection\"?: Boolean,\n        \"session_threat_turns\"?: Long,\n        \"session_max_injection_score\"?: Long,\n        \"session_max_jailbreak_score\"?: Long,\n        \"session_max_command_injection_score\"?: Long,\n        \"session_max_pii_score\"?: Long,\n        \"session_max_secret_score\"?: Long,\n        \"session_cumulative_risk_score\"?: Long,\n        \"session_original_request\"?: String,\n        \"session_max_sensitivity\"?: String,\n\n        // Origin Surface \u2014 REQUIRED (ADR 0012 D14.2). Projected by Shield from the\n        // ingress product; never user-supplied. The \"Applies to\" narrowing target:\n        // policies test it with an ordinary condition (context.surface == \"ai_gateway\")\n        // \u2014 no `has` guard needed precisely because it is required. Values are the\n        // product identifiers: \"guardrails\" | \"overwatch\" | \"ai_gateway\" (\"sentry\"\n        // joins at ADR 0012 D17 phase 2). A policy with no surface condition applies\n        // to every surface, including ones added later (inclusive default).\n        \"surface\": String,\n\n        // Data-Flow Labels \u2014 per-value information-flow facts (ADR 0020, optional).\n        // All optional: guard every access with `has` \u2014 an absent-attribute read is\n        // a Cedar evaluation error and an errored forbid is silently skipped (fail-open).\n        \"flow_confidentiality\"?: String,         // \"public\" | \"internal\" | \"confidential\" | \"restricted\" | \"unknown\"\n        \"flow_integrity\"?: String,               // \"trusted\" | \"untrusted\" | \"mixed\" | \"unknown\"\n        \"flow_data_types\"?: Set<String>,         // \"pii\" | \"secrets\" | \"source_code\" | \"financial\" | \"health\" | ...\n        \"flow_compartments\"?: Set<String>,       // \"tenant:*\" | \"customer:*\" | \"project:*\"\n        \"flow_resolution_status\"?: String,       // \"known\" | \"inferred\" | \"unknown\" | \"conflicted\"\n        \"flow_origins\"?: Set<String>,            // \"mcp_tool_result\" | \"model\" | \"file\" | \"database\" | \"user\"\n        \"flow_sink\"?: String,                    // \"external_model\" | \"local_model\" | \"external_mcp\" | \"trusted_mcp\" | \"user_secure_output\" | \"public_network\" | \"file\"\n        \"flow_sink_is_external\"?: Boolean,\n        \"flow_sink_effects\"?: Set<String>,       // \"network.send\" | \"financial.transfer\" | \"filesystem.write\" | ...\n        \"principal_clearances\"?: Set<String>,    // ADR 0020 D8 \u2014 clearances AuthN mints for the principal\n        \"principal_compartments\"?: Set<String>,  // ADR 0020 D8 \u2014 compartments the principal is admitted to\n\n        // Usage Budget (optional)\n        \"budget_remaining_pct\"?: Long,\n        \"budget_exceeded\"?: Boolean,\n        \"budget_cost_micros_this_turn\"?: Long,\n        \"budget_model\"?: String,\n        \"budget_tokens_pct_session\"?: Long,\n        \"budget_tokens_pct_daily\"?: Long,\n        \"budget_tokens_pct_monthly\"?: Long,\n        \"budget_cost_pct_daily\"?: Long,\n        \"budget_cost_pct_monthly\"?: Long,\n        \"budget_exceeded_session\"?: Boolean,\n        \"budget_exceeded_daily\"?: Boolean,\n        \"budget_exceeded_monthly\"?: Boolean,\n\n        // Rate Limiting \u2014 gateway-metered, Shield-decided (ADR 0014)\n        \"rpm_remaining_pct\"?: Long,\n        \"rpm_exceeded\"?: Boolean,\n        \"tpm_remaining_pct\"?: Long,\n        \"tpm_exceeded\"?: Boolean,\n\n        // Agent Identity (optional)\n        \"agent_id\"?: String,\n        \"agent_type\"?: String,\n        \"agent_trust_level\"?: String,\n        \"agent_framework\"?: String,\n        \"agent_publisher\"?: String,\n\n    };\n\n    /// Context for connect_server action (MCP server connections)\n    type ConnectServerContext = {\n        // Identity (optional)\n        \"role\"?: String,\n        \"privilege_scope\"?: Set<String>,\n        \"identity_type\"?: String,\n        \"principal\"?: String,\n        // Core metadata (required)\n        \"request_id\": String,\n        \"timestamp\": Long,\n\n        // IDE / workspace context (optional)\n        \"source\"?: String,\n        \"event\"?: String,\n        \"user_email\"?: String,\n        \"cwd\"?: String,\n        \"workspace_root\"?: String,\n\n        // MCP context (optional)\n        \"mcp_server\"?: String,\n        \"mcp_server_verified\"?: Boolean,\n\n        // Agentic - Agent Security (optional)\n        \"tool_poisoning_detected\"?: Boolean,\n        \"tool_poisoning_score\"?: Long,\n        \"tool_poisoning_type\"?: String,\n\n        // Agentic - MCP Risk (optional)\n        \"mcp_config_risk\"?: Boolean,\n        \"mcp_risk_type\"?: String,\n        \"mcp_risk_score\"?: Long,\n\n        // Security - Cross-Origin Escalation (optional)\n        \"cross_origin_detected\"?: Boolean,\n        \"cross_origin_type\"?: String,\n        \"cross_origin_score\"?: Long,\n\n        // Aggregated threat summary (optional)\n        \"highest_severity\"?: String,\n        \"threat_count\"?: Long,\n        \"detected_threats\"?: Set<String>,\n\n        // Session Detection History (optional)\n        \"session_pii_detected\"?: Boolean,\n        \"session_pii_types\"?: Set<String>,\n        \"session_secrets_detected\"?: Boolean,\n        \"session_secret_types\"?: Set<String>,\n        \"session_injection_detected\"?: Boolean,\n        \"session_command_injection\"?: Boolean,\n        \"session_threat_turns\"?: Long,\n        \"session_max_injection_score\"?: Long,\n        \"session_max_jailbreak_score\"?: Long,\n        \"session_max_command_injection_score\"?: Long,\n        \"session_max_pii_score\"?: Long,\n        \"session_max_secret_score\"?: Long,\n        \"session_cumulative_risk_score\"?: Long,\n        \"session_original_request\"?: String,\n        \"session_max_sensitivity\"?: String,\n\n        // Origin Surface \u2014 REQUIRED (ADR 0012 D14.2). Projected by Shield from the\n        // ingress product; never user-supplied. The \"Applies to\" narrowing target:\n        // policies test it with an ordinary condition (context.surface == \"ai_gateway\")\n        // \u2014 no `has` guard needed precisely because it is required. Values are the\n        // product identifiers: \"guardrails\" | \"overwatch\" | \"ai_gateway\" (\"sentry\"\n        // joins at ADR 0012 D17 phase 2). A policy with no surface condition applies\n        // to every surface, including ones added later (inclusive default).\n        \"surface\": String,\n\n        // Data-Flow Labels \u2014 per-value information-flow facts (ADR 0020, optional).\n        // All optional: guard every access with `has` \u2014 an absent-attribute read is\n        // a Cedar evaluation error and an errored forbid is silently skipped (fail-open).\n        \"flow_confidentiality\"?: String,         // \"public\" | \"internal\" | \"confidential\" | \"restricted\" | \"unknown\"\n        \"flow_integrity\"?: String,               // \"trusted\" | \"untrusted\" | \"mixed\" | \"unknown\"\n        \"flow_data_types\"?: Set<String>,         // \"pii\" | \"secrets\" | \"source_code\" | \"financial\" | \"health\" | ...\n        \"flow_compartments\"?: Set<String>,       // \"tenant:*\" | \"customer:*\" | \"project:*\"\n        \"flow_resolution_status\"?: String,       // \"known\" | \"inferred\" | \"unknown\" | \"conflicted\"\n        \"flow_origins\"?: Set<String>,            // \"mcp_tool_result\" | \"model\" | \"file\" | \"database\" | \"user\"\n        \"flow_sink\"?: String,                    // \"external_model\" | \"local_model\" | \"external_mcp\" | \"trusted_mcp\" | \"user_secure_output\" | \"public_network\" | \"file\"\n        \"flow_sink_is_external\"?: Boolean,\n        \"flow_sink_effects\"?: Set<String>,       // \"network.send\" | \"financial.transfer\" | \"filesystem.write\" | ...\n        \"principal_clearances\"?: Set<String>,    // ADR 0020 D8 \u2014 clearances AuthN mints for the principal\n        \"principal_compartments\"?: Set<String>,  // ADR 0020 D8 \u2014 compartments the principal is admitted to\n\n        // Usage Budget (optional)\n        \"budget_remaining_pct\"?: Long,\n        \"budget_exceeded\"?: Boolean,\n        \"budget_cost_micros_this_turn\"?: Long,\n        \"budget_model\"?: String,\n        \"budget_tokens_pct_session\"?: Long,\n        \"budget_tokens_pct_daily\"?: Long,\n        \"budget_tokens_pct_monthly\"?: Long,\n        \"budget_cost_pct_daily\"?: Long,\n        \"budget_cost_pct_monthly\"?: Long,\n        \"budget_exceeded_session\"?: Boolean,\n        \"budget_exceeded_daily\"?: Boolean,\n        \"budget_exceeded_monthly\"?: Boolean,\n\n        // Rate Limiting \u2014 gateway-metered, Shield-decided (ADR 0014)\n        \"rpm_remaining_pct\"?: Long,\n        \"rpm_exceeded\"?: Boolean,\n        \"tpm_remaining_pct\"?: Long,\n        \"tpm_exceeded\"?: Boolean,\n\n        // Agent Identity (optional)\n        \"agent_id\"?: String,\n        \"agent_type\"?: String,\n        \"agent_trust_level\"?: String,\n        \"agent_framework\"?: String,\n        \"agent_publisher\"?: String,\n\n    };\n\n    /// Context for provision_sandbox action (Forge sandbox-create envelope).\n    ///\n    /// Every capability field below is OPTIONAL and describes the envelope the\n    /// sandbox is being asked to provision with \u2014 Forge synthesizes it from the\n    /// create request attenuated by the token's scope ceiling (ADR 0019 D1),\n    /// then asks Cedar whether this identity may provision it. Profile templates\n    /// `permit` provision_sandbox only when the requested envelope stays within\n    /// the profile ceiling, and `forbid` any escalation beyond it.\n    ///\n    /// FAIL-OPEN WARNING (ADR 0019 D3): because these attributes are optional,\n    /// accessing an absent one is a Cedar *evaluation error*, and an errored\n    /// `forbid` is silently skipped \u2014 which fails OPEN. Every rule touching a\n    /// field here MUST guard it first with `has` (e.g.\n    /// `context has mechanism_capabilities && context.mechanism_capabilities.contains(\"sys:ptrace\")`).\n    type ProvisionSandboxContext = {\n        // Identity (AARM R6 / CAP-IDN-011) \u2014 projected from the principal's token; optional.\n        \"role\"?: String,\n        \"privilege_scope\"?: Set<String>,\n        \"identity_type\"?: String,        // Principal identity class: \"human\" | \"agent\" | \"service\" | \"mcp_server\"\n        \"principal\"?: String,            // Stable principal identifier (ZeroID / WIMSE URI or user id)\n        \"agent_trust_level\"?: String,    // \"untrusted\" | \"low\" | \"verified\" | \"trusted\"\n\n        // Core metadata (required)\n        \"request_id\": String,\n        \"timestamp\": Long,\n\n        // Requested isolation tier (required) \u2014 the OS-isolation tier the\n        // sandbox will run at, as the lowercased Forge IsolationTier name (ADR\n        // 0016 D1). Ordinal, weakest\u2192strongest: \"none\" (trusted-local) < \"os\"\n        // (bwrap/seatbelt) < \"kernel\" (gVisor) < \"hardware\" (micro-VM + TEE).\n        // Templates assert a floor via set membership (e.g. a KERNEL floor =\n        // {\"kernel\",\"hardware\"}); Forge owns the ordering.\n        \"isolation_tier\": String,\n\n        // Requested capability envelope (all optional \u2014 has-guard mandatory).\n        \"writable_paths\"?: Set<String>,        // Writable path prefixes, e.g. {\"/scratch\"}\n        // Master egress switch. Forge MUST set this true whenever ANY egress is\n        // requested (i.e. whenever egress_hosts is non-empty), so a \"no network\"\n        // profile can gate on this single boolean. egress_hosts then narrows the\n        // host allowlist for profiles that DO permit egress.\n        \"network_egress\"?: Boolean,\n        \"egress_hosts\"?: Set<String>,          // Host allowlist for egress, e.g. {\"pypi.org\"}\n        \"exec_allowlist\"?: Set<String>,        // Executables the sandbox may run, e.g. {\"python\", \"python3\"}\n        // Curated mechanism toggles (ADR 0017 D1.3) \u2014 authorization facts only;\n        // NEVER raw syscalls. Allowed members: \"sys:ptrace\", \"sys:bpf\",\n        // \"sys:raw_socket\", \"dev:gpu\", \"virt:nested\".\n        \"mechanism_capabilities\"?: Set<String>,\n    };\n}\n";
+export declare const AGENT_OPS_SCHEMA = "// =============================================================================\n// AgentOps Cedar Schema\n// =============================================================================\n// Unified schema for all agent guardrail policies. Covers every request path\n// where an AI agent touches the Highflame platform:\n//   - LLM prompt/response (Guardrails path)\n//   - IDE tool calls and file access (Overwatch path)\n//   - MCP server connections (AI Gateway path)\n//\n// The context types are a superset of Guardrails, Overwatch, and AI Gateway\n// schemas. All extra fields are optional \u2014 Shield projects only what is present\n// in the request, Cedar ignores absent optional attributes.\n//\n// Service: highflame-shield (agent_ops product)\n// Namespace: AgentOps\n// =============================================================================\n\nnamespace AgentOps {\n    // =========================================================================\n    // Entity Types \u2014 ReBAC Hierarchy\n    // =========================================================================\n    // Entity hierarchy enables Cedar's `in` operator for policy scoping:\n    //   Account (org root)\n    //     \u2514\u2500\u2500 Project in [Account]\n    //           \u251C\u2500\u2500 App in [Project]\n    //           \u2502     \u2514\u2500\u2500 Session in [App, Agent]\n    //           \u2514\u2500\u2500 Agent in [Project]\n    //                 \u2514\u2500\u2500 Session in [App, Agent]\n    //\n    // Policy scoping examples:\n    //   resource in AgentOps::Project::\"<uuid>\"          \u2192 project-wide (all agents)\n    //   resource in AgentOps::Agent::\"<external_id>\"     \u2192 named agent + its sessions\n    //   resource == AgentOps::Agent::\"<external_id>\"     \u2192 named agent only (exact match)\n    //   resource in AgentOps::Account::\"<uuid>\"          \u2192 org-wide\n    // =========================================================================\n\n    /// Account represents an organization (top-level tenant)\n    entity Account;\n\n    /// Project represents a project within an account\n    entity Project in [Account];\n\n    /// User represents a principal (human or service) making requests\n    entity User;\n\n    /// Agent represents an AI agent (Claude, Cursor, Copilot, MCP client, etc.)\n    /// Used as both principal (who is acting) and resource (policy scoping target).\n    /// Agent + sessions: resource in AgentOps::Agent::\"<external_id>\" (hierarchy match)\n    /// Agent only:       resource == AgentOps::Agent::\"<external_id>\" (exact match)\n    entity Agent in [Project];\n\n    /// App represents a protected application (guardrails-enabled LLM app)\n    entity App in [Project];\n\n    /// Session represents an agentic conversation session with state tracking.\n    /// Sessions can belong to either an App or an Agent.\n    entity Session in [App, Agent];\n\n    // =========================================================================\n    // Actions\n    // =========================================================================\n\n    /// Process user prompts and AI responses for security threats and content violations\n    action \"process_prompt\" appliesTo {\n        principal: [User, Agent],\n        resource: [App, Agent, Session],\n        context: ProcessPromptContext\n    };\n\n    /// Execute tool calls (shell, file operations, MCP tools)\n    action \"call_tool\" appliesTo {\n        principal: [User, Agent],\n        resource: [Agent, Session],\n        context: CallToolContext\n    };\n\n    /// Read file operations\n    action \"read_file\" appliesTo {\n        principal: [User, Agent],\n        resource: [Agent, Session],\n        context: FileReadContext\n    };\n\n    /// Write file operations\n    action \"write_file\" appliesTo {\n        principal: [User, Agent],\n        resource: [Agent, Session],\n        context: FileWriteContext\n    };\n\n    /// Connect to an MCP server\n    action \"connect_server\" appliesTo {\n        principal: [User, Agent],\n        resource: [Agent, Session],\n        context: ConnectServerContext\n    };\n\n    /// Provision a sandbox for the acting identity (Forge OS-layer envelope).\n    /// The MANDATORY authorization gate for sandbox creation (ADR 0019 D1):\n    /// Forge evaluates this action's AgentOps bundle at create-time; no decision\n    /// means no sandbox. Context carries the requested capability envelope\n    /// (writable paths, egress, exec allowlist, curated mechanism toggles,\n    /// isolation tier). Raw syscalls are NEVER expressed here \u2014 the enforcement\n    /// generators own the mechanism\u2192syscall translation (ADR 0017 D1).\n    action \"provision_sandbox\" appliesTo {\n        principal: [User, Agent],\n        resource: [Agent, Session],\n        context: ProvisionSandboxContext\n    };\n\n    // =========================================================================\n    // Context Types (Action-Specific)\n    // =========================================================================\n\n    /// Context for process_prompt action (user prompts & AI responses)\n    type ProcessPromptContext = {\n        // Identity (AARM R6 / CAP-IDN-011) \u2014 projected from the principal's token; optional.\n        \"role\"?: String,\n        \"privilege_scope\"?: Set<String>,\n        \"identity_type\"?: String,        // Principal identity class: \"human\" | \"agent\" | \"service\" | \"mcp_server\"\n        \"principal\"?: String,            // Stable principal identifier (e.g. ZeroID / WIMSE URI or user id)\n        // Core metadata (required)\n        \"request_id\": String,\n        \"timestamp\": Long,\n        \"direction\": String,        // \"input\" | \"output\"\n        \"content_type\": String,     // \"prompt\" | \"response\" | \"tool_call\" | \"file\"\n        \"detector_count\": Long,\n\n        // IDE / workspace context (optional \u2014 present for Overwatch/code-agent traffic)\n        \"source\"?: String,           // Traffic origin: \"ide\" | \"cli\" | \"api\" | \"browser\"\n        \"event\"?: String,            // Event type: \"prompt\" | \"tool_call\" | \"file_read\" | ...\n        \"user_email\"?: String,       // Human operator email (IDE sessions)\n        \"cwd\"?: String,              // Current working directory\n        \"workspace_root\"?: String,   // IDE workspace root path\n\n        // Model context (optional \u2014 present for AI Gateway traffic)\n        \"model_name\"?: String,       // LLM model name: \"claude-3-5-sonnet\", \"gpt-4o\", ...\n        \"model_provider\"?: String,   // Model provider: \"anthropic\" | \"openai\" | \"google\" | ...\n\n        // Security - Injection & Jailbreak (optional)\n        \"injection_score\"?: Long,  // Combined injection confidence: MAX(pulse, deep_context)\n        \"jailbreak_score\"?: Long,  // Combined jailbreak confidence: MAX(pulse, deep_context)\n        \"injection_pulse_score\"?: Long,  // 0-100 Pulse single-turn classifier\n        \"injection_deep_context_score\"?: Long, // 0-100 DeepContext multi-turn\n        \"jailbreak_pulse_score\"?: Long,  // 0-100 Pulse single-turn classifier\n        \"jailbreak_deep_context_score\"?: Long, // 0-100 DeepContext multi-turn\n        \"injection_type\"?: String,       // \"prompt\" | \"sql\" | \"command\" | \"none\"\n        \"indirect_injection_score\"?: Long, // Indirect injection via tool outputs (0-100)\n\n        // Privacy - Secrets (optional)\n        \"secrets_detected\"?: Boolean,\n        \"secret_count\"?: Long,\n        \"secret_types\"?: Set<String>,    // [\"aws_access_key\", \"github_token\", ...]\n\n        // Privacy - PII (optional)\n        \"pii_detected\"?: Boolean,\n        \"pii_count\"?: Long,\n        \"pii_types\"?: Set<String>,       // [\"email\", \"phone\", \"ssn\", \"credit_card\", ...]\n        \"pii_score\"?: Long,         // PII ML classifier confidence (0-100)\n\n        // Aggregated threat summary (optional \u2014 populated by aggregation detectors)\n        \"highest_severity\"?: String,     // \"critical\" | \"high\" | \"medium\" | \"low\" | \"none\"\n        \"threat_count\"?: Long,\n        \"threat_categories\"?: Set<String>,\n        \"detected_threats\"?: Set<String>,\n\n        // Trust & Safety - Toxicity (optional)\n        \"violence_score\"?: Long,         // 0-100\n        \"hate_speech_score\"?: Long,      // 0-100\n        \"sexual_score\"?: Long,           // 0-100\n        \"weapons_score\"?: Long,          // 0-100\n        \"crime_score\"?: Long,            // 0-100\n        \"profanity_score\"?: Long,        // 0-100\n\n        // Semantic - Topic Classification (optional)\n        \"content_topics\"?: Set<String>,      // [\"controlled_substances\", \"weapons_manufacturing\", ...]\n        \"topic_confidence\"?: Long,           // 0-100\n\n        // Security - Invisible Character Detection (optional)\n        \"invisible_chars_detected\"?: Boolean,\n        \"invisible_chars_score\"?: Long,      // 0-100\n\n        // Security - Pattern Detection (optional)\n        \"command_injection_detected\"?: Boolean,\n        \"command_injection_type\"?: String,       // \"reverse_shell\" | \"privilege_escalation\" | ...\n        \"command_injection_score\"?: Long,        // 0-100\n        \"path_traversal_detected\"?: Boolean,\n        \"path_traversal_severity\"?: String,      // \"critical\" | \"high\" | \"medium\" | \"low\" | \"none\"\n        \"path_traversal_type\"?: String,\n        \"sql_injection_detected\"?: Boolean,\n        \"sql_injection_type\"?: String,           // \"tautology\" | \"union_based\" | \"destructive\" | ...\n        \"sql_injection_score\"?: Long,            // 0-100\n\n        // Security - Cross-Origin Escalation (optional)\n        \"cross_origin_detected\"?: Boolean,\n        \"cross_origin_type\"?: String,            // \"cross_origin_tool\" | \"cross_origin_server\" | \"none\"\n        \"cross_origin_score\"?: Long,             // 0-100\n\n        // Security - Encoded Injection (optional)\n        \"encoded_content_detected\"?: Boolean,\n        \"encoded_types\"?: Set<String>,           // [\"base64\", \"hex\", \"unicode\", \"url\", ...]\n        \"encoded_count\"?: Long,\n        \"encoded_score\"?: Long,                  // 0-100\n\n        // Language & Script Detection (optional)\n        \"detected_language\"?: String,            // ISO language code\n        \"is_english\"?: Boolean,\n        \"language_confidence\"?: Long,            // 0-100\n        \"detected_script\"?: String,              // \"latin\" | \"cyrillic\" | \"arabic\" | \"unknown\" | ...\n        \"is_latin_script\"?: Boolean,\n        \"script_confidence\"?: Long,              // 0-100\n\n        // Content Analysis (optional)\n        \"hallucination_score\"?: Long,\n        \"factuality_score\"?: Long,               // 0-100\n        \"sentiment_score\"?: Long,\n        \"contains_code\"?: Boolean,\n        \"code_languages\"?: Set<String>,\n        \"code_ratio\"?: Long,                     // 0-100\n        \"keyword_matched\"?: Boolean,\n        \"keyword_categories\"?: Set<String>,\n        \"keyword_count\"?: Long,\n        \"contains_non_ascii\"?: Boolean,\n        \"phishing_detected\"?: Boolean,\n        \"content_safety_score\"?: Long,           // 0-100\n        \"content_safety_blocked\"?: Boolean,\n\n        // Agentic - Multi-Turn Context (optional)\n        \"conversation_turn\"?: Long,\n        \"multi_turn_detection\"?: Boolean,\n\n        // Session Detection History \u2014 cross-turn sticky flags (optional)\n        \"session_pii_detected\"?: Boolean,\n        \"session_pii_types\"?: Set<String>,\n        \"session_secrets_detected\"?: Boolean,\n        \"session_secret_types\"?: Set<String>,\n        \"session_injection_detected\"?: Boolean,\n        \"session_command_injection\"?: Boolean,\n        \"session_threat_turns\"?: Long,\n        \"session_max_injection_score\"?: Long,\n        \"session_max_jailbreak_score\"?: Long,\n        \"session_max_command_injection_score\"?: Long,\n        \"session_max_pii_score\"?: Long,\n        \"session_max_secret_score\"?: Long,\n        \"session_cumulative_risk_score\"?: Long,\n        \"session_original_request\"?: String,\n        \"session_max_sensitivity\"?: String,\n\n        // Origin Surface \u2014 REQUIRED (ADR 0012 D14.2). Projected by Shield from the\n        // ingress product; never user-supplied. The \"Applies to\" narrowing target:\n        // policies test it with an ordinary condition (context.surface == \"ai_gateway\")\n        // \u2014 no `has` guard needed precisely because it is required. Values are the\n        // product identifiers: \"guardrails\" | \"overwatch\" | \"ai_gateway\" (\"sentry\"\n        // joins at ADR 0012 D17 phase 2). A policy with no surface condition applies\n        // to every surface, including ones added later (inclusive default).\n        \"surface\": String,\n\n        // Data-Flow Labels \u2014 per-value information-flow facts (ADR 0020, optional).\n        // All optional: guard every access with `has` \u2014 an absent-attribute read is\n        // a Cedar evaluation error and an errored forbid is silently skipped (fail-open).\n        \"flow_confidentiality\"?: String,         // \"public\" | \"internal\" | \"confidential\" | \"restricted\" | \"unknown\"\n        \"flow_integrity\"?: String,               // \"trusted\" | \"untrusted\" | \"mixed\" | \"unknown\"\n        \"flow_data_types\"?: Set<String>,         // \"pii\" | \"secrets\" | \"source_code\" | \"financial\" | \"health\" | ...\n        \"flow_compartments\"?: Set<String>,       // \"tenant:*\" | \"customer:*\" | \"project:*\"\n        \"flow_resolution_status\"?: String,       // \"known\" | \"inferred\" | \"unknown\" | \"conflicted\"\n        \"flow_origins\"?: Set<String>,            // \"mcp_tool_result\" | \"model\" | \"file\" | \"database\" | \"user\"\n        \"flow_sink\"?: String,                    // \"external_model\" | \"local_model\" | \"external_mcp\" | \"trusted_mcp\" | \"user_secure_output\" | \"public_network\" | \"file\"\n        \"flow_sink_is_external\"?: Boolean,\n        \"flow_sink_effects\"?: Set<String>,       // \"network.send\" | \"financial.transfer\" | \"filesystem.write\" | ...\n        \"principal_clearances\"?: Set<String>,    // ADR 0020 D8 \u2014 clearances AuthN mints for the principal\n        \"principal_compartments\"?: Set<String>,  // ADR 0020 D8 \u2014 compartments the principal is admitted to\n\n        // Usage Budget \u2014 multi-window token & cost enforcement (optional)\n        \"budget_remaining_pct\"?: Long,\n        \"budget_exceeded\"?: Boolean,\n        \"budget_cost_micros_this_turn\"?: Long,\n        \"budget_model\"?: String,\n        \"budget_tokens_pct_session\"?: Long,\n        \"budget_tokens_pct_daily\"?: Long,\n        \"budget_tokens_pct_monthly\"?: Long,\n        \"budget_cost_pct_daily\"?: Long,\n        \"budget_cost_pct_monthly\"?: Long,\n        \"budget_exceeded_session\"?: Boolean,\n        \"budget_exceeded_daily\"?: Boolean,\n        \"budget_exceeded_monthly\"?: Boolean,\n\n        // Rate Limiting \u2014 gateway-metered, Shield-decided (ADR 0014)\n        \"rpm_remaining_pct\"?: Long,\n        \"rpm_exceeded\"?: Boolean,\n        \"tpm_remaining_pct\"?: Long,\n        \"tpm_exceeded\"?: Boolean,\n\n        // Agent Identity \u2014 authenticated agent principal metadata (optional)\n        \"agent_id\"?: String,\n        \"agent_type\"?: String,           // \"orchestrator\" | \"autonomous\" | \"tool_agent\" | \"human_proxy\"\n        \"agent_trust_level\"?: String,    // \"first_party\" | \"verified_third_party\" | \"unverified\"\n        \"agent_framework\"?: String,\n        \"agent_publisher\"?: String,\n\n        // Supply-chain / package safety + aggregate threat severity (optional \u2014\n        // ADR 0012 unified port). Projected by Shield's malicious-package and\n        // threat-severity detectors; every read is `has`-guarded in policy.\n        \"malicious_package_detected\"?: Boolean,\n        \"package_install_detected\"?: Boolean,\n        \"package_check_status\"?: String,\n        \"max_threat_severity\"?: Long,\n\n    };\n\n    /// Context for call_tool action (agentic tool execution)\n    type CallToolContext = {\n        // Identity (AARM R6 / CAP-IDN-011) \u2014 projected from the principal's token; optional.\n        \"role\"?: String,\n        \"privilege_scope\"?: Set<String>,\n        \"identity_type\"?: String,\n        \"principal\"?: String,\n        // Core metadata (required)\n        \"request_id\": String,\n        \"timestamp\": Long,\n\n        // IDE / workspace context (optional)\n        \"source\"?: String,\n        \"event\"?: String,\n        \"user_email\"?: String,\n        \"cwd\"?: String,\n        \"workspace_root\"?: String,\n\n        // Tool Risk (optional)\n        \"tool_name\"?: String,\n        \"tool_risk_score\"?: Long,        // 0-100\n        \"tool_is_sensitive\"?: Boolean,\n        \"tool_category\"?: String,        // \"safe\" | \"sensitive\" | \"dangerous\"\n        \"tool_is_builtin\"?: Boolean,\n\n        // AARM R3 (CAP-ENF-007) \u2014 Action Parameter Validation\n        \"action_params\"?: {\n            \"amount\"?: Long,\n            \"count\"?: Long,\n            \"command\"?: String,\n            \"path\"?: String,\n            \"url\"?: String,\n            \"recipient\"?: String,\n            \"target\"?: String,\n            \"query\"?: String,\n        },\n        \"param_type_violation\"?: Boolean,\n        \"param_type_violations\"?: Set<String>,\n\n        // MCP context (optional)\n        \"mcp_server\"?: String,\n        \"mcp_tool\"?: String,\n        \"mcp_server_verified\"?: Boolean,\n\n        // Agentic - Behavioral Patterns (optional)\n        \"suspicious_pattern\"?: Boolean,\n        \"pattern_type\"?: String,         // \"data_exfiltration\" | \"secret_exfiltration\" | ...\n        \"sequence_risk\"?: Long,          // 0-100\n\n        // Agentic - Loop Detection (optional)\n        \"loop_detected\"?: Boolean,\n        \"loop_count\"?: Long,\n        \"loop_tool\"?: String,\n\n        // Security checks on tool arguments (optional)\n        \"secrets_detected\"?: Boolean,\n        \"secret_count\"?: Long,\n        \"secret_types\"?: Set<String>,\n        \"pii_detected\"?: Boolean,\n        \"pii_types\"?: Set<String>,\n        \"pii_count\"?: Long,\n        \"pii_score\"?: Long,\n        \"injection_score\"?: Long,\n        \"injection_pulse_score\"?: Long,\n        \"injection_deep_context_score\"?: Long,\n        \"indirect_injection_score\"?: Long,\n        \"indirect_injection_type\"?: String,      // Type of indirect injection detected\n\n        // Semantic - Topic Classification (optional)\n        \"content_topics\"?: Set<String>,      // [\"controlled_substances\", \"weapons_manufacturing\", ...]\n        \"topic_confidence\"?: Long,           // 0-100\n\n        // Security - Pattern Detection (optional)\n        \"command_injection_detected\"?: Boolean,\n        \"command_injection_type\"?: String,\n        \"command_injection_score\"?: Long,\n        \"path_traversal_detected\"?: Boolean,\n        \"path_traversal_severity\"?: String,\n        \"path_traversal_type\"?: String,\n        \"sql_injection_detected\"?: Boolean,\n        \"sql_injection_type\"?: String,\n        \"sql_injection_score\"?: Long,\n\n        // Security - Cross-Origin Escalation (optional)\n        \"cross_origin_detected\"?: Boolean,\n        \"cross_origin_type\"?: String,\n        \"cross_origin_score\"?: Long,\n\n        // Security - Invisible Character Detection (optional)\n        \"invisible_chars_detected\"?: Boolean,\n        \"invisible_chars_score\"?: Long,\n\n        // Security - Encoded Injection (optional)\n        \"encoded_content_detected\"?: Boolean,\n        \"encoded_types\"?: Set<String>,\n        \"encoded_count\"?: Long,\n        \"encoded_score\"?: Long,\n\n        // Agentic - Agent Security (optional)\n        \"tool_poisoning_detected\"?: Boolean,\n        \"tool_poisoning_score\"?: Long,\n        \"tool_poisoning_type\"?: String,\n        \"rug_pull_detected\"?: Boolean,\n        \"rug_pull_score\"?: Long,\n        \"rug_pull_type\"?: String,\n\n        // Agentic - MCP Risk (optional)\n        \"mcp_config_risk\"?: Boolean,\n        \"mcp_risk_type\"?: String,\n        \"mcp_risk_score\"?: Long,\n\n        // Tool Operation Classifier (optional)\n        \"tool_operation_classes\"?: Set<String>,\n\n        // Agentic - Multi-Turn Context (optional)\n        \"conversation_turn\"?: Long,\n        \"multi_turn_detection\"?: Boolean,\n\n        // Session Detection History \u2014 cross-turn sticky flags (optional)\n        \"session_pii_detected\"?: Boolean,\n        \"session_pii_types\"?: Set<String>,\n        \"session_secrets_detected\"?: Boolean,\n        \"session_secret_types\"?: Set<String>,\n        \"session_injection_detected\"?: Boolean,\n        \"session_command_injection\"?: Boolean,\n        \"session_threat_turns\"?: Long,\n        \"session_max_injection_score\"?: Long,\n        \"session_max_jailbreak_score\"?: Long,\n        \"session_max_command_injection_score\"?: Long,\n        \"session_max_pii_score\"?: Long,\n        \"session_max_secret_score\"?: Long,\n        \"session_cumulative_risk_score\"?: Long,\n        \"session_original_request\"?: String,\n        \"session_max_sensitivity\"?: String,\n\n        // Origin Surface \u2014 REQUIRED (ADR 0012 D14.2). Projected by Shield from the\n        // ingress product; never user-supplied. The \"Applies to\" narrowing target:\n        // policies test it with an ordinary condition (context.surface == \"ai_gateway\")\n        // \u2014 no `has` guard needed precisely because it is required. Values are the\n        // product identifiers: \"guardrails\" | \"overwatch\" | \"ai_gateway\" (\"sentry\"\n        // joins at ADR 0012 D17 phase 2). A policy with no surface condition applies\n        // to every surface, including ones added later (inclusive default).\n        \"surface\": String,\n\n        // Data-Flow Labels \u2014 per-value information-flow facts (ADR 0020, optional).\n        // All optional: guard every access with `has` \u2014 an absent-attribute read is\n        // a Cedar evaluation error and an errored forbid is silently skipped (fail-open).\n        \"flow_confidentiality\"?: String,         // \"public\" | \"internal\" | \"confidential\" | \"restricted\" | \"unknown\"\n        \"flow_integrity\"?: String,               // \"trusted\" | \"untrusted\" | \"mixed\" | \"unknown\"\n        \"flow_data_types\"?: Set<String>,         // \"pii\" | \"secrets\" | \"source_code\" | \"financial\" | \"health\" | ...\n        \"flow_compartments\"?: Set<String>,       // \"tenant:*\" | \"customer:*\" | \"project:*\"\n        \"flow_resolution_status\"?: String,       // \"known\" | \"inferred\" | \"unknown\" | \"conflicted\"\n        \"flow_origins\"?: Set<String>,            // \"mcp_tool_result\" | \"model\" | \"file\" | \"database\" | \"user\"\n        \"flow_sink\"?: String,                    // \"external_model\" | \"local_model\" | \"external_mcp\" | \"trusted_mcp\" | \"user_secure_output\" | \"public_network\" | \"file\"\n        \"flow_sink_is_external\"?: Boolean,\n        \"flow_sink_effects\"?: Set<String>,       // \"network.send\" | \"financial.transfer\" | \"filesystem.write\" | ...\n        \"principal_clearances\"?: Set<String>,    // ADR 0020 D8 \u2014 clearances AuthN mints for the principal\n        \"principal_compartments\"?: Set<String>,  // ADR 0020 D8 \u2014 compartments the principal is admitted to\n\n        // Usage Budget (optional)\n        \"budget_remaining_pct\"?: Long,\n        \"budget_exceeded\"?: Boolean,\n        \"budget_cost_micros_this_turn\"?: Long,\n        \"budget_model\"?: String,\n        \"budget_tokens_pct_session\"?: Long,\n        \"budget_tokens_pct_daily\"?: Long,\n        \"budget_tokens_pct_monthly\"?: Long,\n        \"budget_cost_pct_daily\"?: Long,\n        \"budget_cost_pct_monthly\"?: Long,\n        \"budget_exceeded_session\"?: Boolean,\n        \"budget_exceeded_daily\"?: Boolean,\n        \"budget_exceeded_monthly\"?: Boolean,\n\n        // Rate Limiting \u2014 gateway-metered, Shield-decided (ADR 0014)\n        \"rpm_remaining_pct\"?: Long,\n        \"rpm_exceeded\"?: Boolean,\n        \"tpm_remaining_pct\"?: Long,\n        \"tpm_exceeded\"?: Boolean,\n\n        // Aggregated threat summary (optional)\n        \"highest_severity\"?: String,\n        \"threat_count\"?: Long,\n        \"detected_threats\"?: Set<String>,\n\n        // Agent Identity (optional)\n        \"agent_id\"?: String,\n        \"agent_type\"?: String,\n        \"agent_trust_level\"?: String,\n        \"agent_framework\"?: String,\n        \"agent_publisher\"?: String,\n\n        // File & Path (optional)\n        \"path\"?: String,\n\n        // Supply-chain / package safety + aggregate threat severity (optional \u2014\n        // ADR 0012 unified port). Projected by Shield's malicious-package and\n        // threat-severity detectors; every read is `has`-guarded in policy.\n        \"malicious_package_detected\"?: Boolean,\n        \"package_install_detected\"?: Boolean,\n        \"package_check_status\"?: String,\n        \"max_threat_severity\"?: Long,\n\n    };\n\n    /// Context for read_file action\n    type FileReadContext = {\n        // Identity (optional)\n        \"role\"?: String,\n        \"privilege_scope\"?: Set<String>,\n        \"identity_type\"?: String,\n        \"principal\"?: String,\n        // Core metadata (required)\n        \"request_id\": String,\n        \"timestamp\": Long,\n\n        // IDE / workspace context (optional)\n        \"source\"?: String,\n        \"event\"?: String,\n        \"user_email\"?: String,\n        \"cwd\"?: String,\n        \"workspace_root\"?: String,\n\n        // File path (optional)\n        \"path\"?: String,\n\n        // Security checks on file content (optional)\n        \"secrets_detected\"?: Boolean,\n        \"secret_count\"?: Long,\n        \"secret_types\"?: Set<String>,\n        \"pii_detected\"?: Boolean,\n        \"pii_types\"?: Set<String>,\n\n        // Security - Path Traversal (optional)\n        \"path_traversal_detected\"?: Boolean,\n        \"path_traversal_severity\"?: String,\n        \"path_traversal_type\"?: String,\n\n        // Aggregated threat summary (optional)\n        \"highest_severity\"?: String,\n        \"threat_count\"?: Long,\n        \"detected_threats\"?: Set<String>,\n\n        // Session Detection History (optional)\n        \"session_pii_detected\"?: Boolean,\n        \"session_pii_types\"?: Set<String>,\n        \"session_secrets_detected\"?: Boolean,\n        \"session_secret_types\"?: Set<String>,\n        \"session_injection_detected\"?: Boolean,\n        \"session_command_injection\"?: Boolean,\n        \"session_threat_turns\"?: Long,\n        \"session_max_injection_score\"?: Long,\n        \"session_max_jailbreak_score\"?: Long,\n        \"session_max_command_injection_score\"?: Long,\n        \"session_max_pii_score\"?: Long,\n        \"session_max_secret_score\"?: Long,\n        \"session_cumulative_risk_score\"?: Long,\n        \"session_original_request\"?: String,\n        \"session_max_sensitivity\"?: String,\n\n        // Origin Surface \u2014 REQUIRED (ADR 0012 D14.2). Projected by Shield from the\n        // ingress product; never user-supplied. The \"Applies to\" narrowing target:\n        // policies test it with an ordinary condition (context.surface == \"ai_gateway\")\n        // \u2014 no `has` guard needed precisely because it is required. Values are the\n        // product identifiers: \"guardrails\" | \"overwatch\" | \"ai_gateway\" (\"sentry\"\n        // joins at ADR 0012 D17 phase 2). A policy with no surface condition applies\n        // to every surface, including ones added later (inclusive default).\n        \"surface\": String,\n\n        // Data-Flow Labels \u2014 per-value information-flow facts (ADR 0020, optional).\n        // All optional: guard every access with `has` \u2014 an absent-attribute read is\n        // a Cedar evaluation error and an errored forbid is silently skipped (fail-open).\n        \"flow_confidentiality\"?: String,         // \"public\" | \"internal\" | \"confidential\" | \"restricted\" | \"unknown\"\n        \"flow_integrity\"?: String,               // \"trusted\" | \"untrusted\" | \"mixed\" | \"unknown\"\n        \"flow_data_types\"?: Set<String>,         // \"pii\" | \"secrets\" | \"source_code\" | \"financial\" | \"health\" | ...\n        \"flow_compartments\"?: Set<String>,       // \"tenant:*\" | \"customer:*\" | \"project:*\"\n        \"flow_resolution_status\"?: String,       // \"known\" | \"inferred\" | \"unknown\" | \"conflicted\"\n        \"flow_origins\"?: Set<String>,            // \"mcp_tool_result\" | \"model\" | \"file\" | \"database\" | \"user\"\n        \"flow_sink\"?: String,                    // \"external_model\" | \"local_model\" | \"external_mcp\" | \"trusted_mcp\" | \"user_secure_output\" | \"public_network\" | \"file\"\n        \"flow_sink_is_external\"?: Boolean,\n        \"flow_sink_effects\"?: Set<String>,       // \"network.send\" | \"financial.transfer\" | \"filesystem.write\" | ...\n        \"principal_clearances\"?: Set<String>,    // ADR 0020 D8 \u2014 clearances AuthN mints for the principal\n        \"principal_compartments\"?: Set<String>,  // ADR 0020 D8 \u2014 compartments the principal is admitted to\n\n        // Usage Budget (optional)\n        \"budget_remaining_pct\"?: Long,\n        \"budget_exceeded\"?: Boolean,\n        \"budget_cost_micros_this_turn\"?: Long,\n        \"budget_model\"?: String,\n        \"budget_tokens_pct_session\"?: Long,\n        \"budget_tokens_pct_daily\"?: Long,\n        \"budget_tokens_pct_monthly\"?: Long,\n        \"budget_cost_pct_daily\"?: Long,\n        \"budget_cost_pct_monthly\"?: Long,\n        \"budget_exceeded_session\"?: Boolean,\n        \"budget_exceeded_daily\"?: Boolean,\n        \"budget_exceeded_monthly\"?: Boolean,\n\n        // Rate Limiting \u2014 gateway-metered, Shield-decided (ADR 0014)\n        \"rpm_remaining_pct\"?: Long,\n        \"rpm_exceeded\"?: Boolean,\n        \"tpm_remaining_pct\"?: Long,\n        \"tpm_exceeded\"?: Boolean,\n\n        // Agent Identity (optional)\n        \"agent_id\"?: String,\n        \"agent_type\"?: String,\n        \"agent_trust_level\"?: String,\n        \"agent_framework\"?: String,\n        \"agent_publisher\"?: String,\n\n    };\n\n    /// Context for write_file action\n    type FileWriteContext = {\n        // Identity (optional)\n        \"role\"?: String,\n        \"privilege_scope\"?: Set<String>,\n        \"identity_type\"?: String,\n        \"principal\"?: String,\n        // Core metadata (required)\n        \"request_id\": String,\n        \"timestamp\": Long,\n\n        // IDE / workspace context (optional)\n        \"source\"?: String,\n        \"event\"?: String,\n        \"user_email\"?: String,\n        \"cwd\"?: String,\n        \"workspace_root\"?: String,\n\n        // File path (optional)\n        \"path\"?: String,\n\n        // Security - Invisible Character Detection in write content (optional)\n        \"invisible_chars_detected\"?: Boolean,\n        \"invisible_chars_score\"?: Long,\n\n        // Security checks on content being written (optional)\n        \"secrets_detected\"?: Boolean,\n        \"secret_count\"?: Long,\n        \"secret_types\"?: Set<String>,\n        \"pii_detected\"?: Boolean,\n        \"pii_types\"?: Set<String>,\n\n        // Security - Path Traversal (optional)\n        \"path_traversal_detected\"?: Boolean,\n        \"path_traversal_severity\"?: String,\n        \"path_traversal_type\"?: String,\n\n        // Aggregated threat summary (optional)\n        \"highest_severity\"?: String,\n        \"threat_count\"?: Long,\n        \"detected_threats\"?: Set<String>,\n\n        // Session Detection History (optional)\n        \"session_pii_detected\"?: Boolean,\n        \"session_pii_types\"?: Set<String>,\n        \"session_secrets_detected\"?: Boolean,\n        \"session_secret_types\"?: Set<String>,\n        \"session_injection_detected\"?: Boolean,\n        \"session_command_injection\"?: Boolean,\n        \"session_threat_turns\"?: Long,\n        \"session_max_injection_score\"?: Long,\n        \"session_max_jailbreak_score\"?: Long,\n        \"session_max_command_injection_score\"?: Long,\n        \"session_max_pii_score\"?: Long,\n        \"session_max_secret_score\"?: Long,\n        \"session_cumulative_risk_score\"?: Long,\n        \"session_original_request\"?: String,\n        \"session_max_sensitivity\"?: String,\n\n        // Origin Surface \u2014 REQUIRED (ADR 0012 D14.2). Projected by Shield from the\n        // ingress product; never user-supplied. The \"Applies to\" narrowing target:\n        // policies test it with an ordinary condition (context.surface == \"ai_gateway\")\n        // \u2014 no `has` guard needed precisely because it is required. Values are the\n        // product identifiers: \"guardrails\" | \"overwatch\" | \"ai_gateway\" (\"sentry\"\n        // joins at ADR 0012 D17 phase 2). A policy with no surface condition applies\n        // to every surface, including ones added later (inclusive default).\n        \"surface\": String,\n\n        // Data-Flow Labels \u2014 per-value information-flow facts (ADR 0020, optional).\n        // All optional: guard every access with `has` \u2014 an absent-attribute read is\n        // a Cedar evaluation error and an errored forbid is silently skipped (fail-open).\n        \"flow_confidentiality\"?: String,         // \"public\" | \"internal\" | \"confidential\" | \"restricted\" | \"unknown\"\n        \"flow_integrity\"?: String,               // \"trusted\" | \"untrusted\" | \"mixed\" | \"unknown\"\n        \"flow_data_types\"?: Set<String>,         // \"pii\" | \"secrets\" | \"source_code\" | \"financial\" | \"health\" | ...\n        \"flow_compartments\"?: Set<String>,       // \"tenant:*\" | \"customer:*\" | \"project:*\"\n        \"flow_resolution_status\"?: String,       // \"known\" | \"inferred\" | \"unknown\" | \"conflicted\"\n        \"flow_origins\"?: Set<String>,            // \"mcp_tool_result\" | \"model\" | \"file\" | \"database\" | \"user\"\n        \"flow_sink\"?: String,                    // \"external_model\" | \"local_model\" | \"external_mcp\" | \"trusted_mcp\" | \"user_secure_output\" | \"public_network\" | \"file\"\n        \"flow_sink_is_external\"?: Boolean,\n        \"flow_sink_effects\"?: Set<String>,       // \"network.send\" | \"financial.transfer\" | \"filesystem.write\" | ...\n        \"principal_clearances\"?: Set<String>,    // ADR 0020 D8 \u2014 clearances AuthN mints for the principal\n        \"principal_compartments\"?: Set<String>,  // ADR 0020 D8 \u2014 compartments the principal is admitted to\n\n        // Usage Budget (optional)\n        \"budget_remaining_pct\"?: Long,\n        \"budget_exceeded\"?: Boolean,\n        \"budget_cost_micros_this_turn\"?: Long,\n        \"budget_model\"?: String,\n        \"budget_tokens_pct_session\"?: Long,\n        \"budget_tokens_pct_daily\"?: Long,\n        \"budget_tokens_pct_monthly\"?: Long,\n        \"budget_cost_pct_daily\"?: Long,\n        \"budget_cost_pct_monthly\"?: Long,\n        \"budget_exceeded_session\"?: Boolean,\n        \"budget_exceeded_daily\"?: Boolean,\n        \"budget_exceeded_monthly\"?: Boolean,\n\n        // Rate Limiting \u2014 gateway-metered, Shield-decided (ADR 0014)\n        \"rpm_remaining_pct\"?: Long,\n        \"rpm_exceeded\"?: Boolean,\n        \"tpm_remaining_pct\"?: Long,\n        \"tpm_exceeded\"?: Boolean,\n\n        // Agent Identity (optional)\n        \"agent_id\"?: String,\n        \"agent_type\"?: String,\n        \"agent_trust_level\"?: String,\n        \"agent_framework\"?: String,\n        \"agent_publisher\"?: String,\n\n    };\n\n    /// Context for connect_server action (MCP server connections)\n    type ConnectServerContext = {\n        // Identity (optional)\n        \"role\"?: String,\n        \"privilege_scope\"?: Set<String>,\n        \"identity_type\"?: String,\n        \"principal\"?: String,\n        // Core metadata (required)\n        \"request_id\": String,\n        \"timestamp\": Long,\n\n        // IDE / workspace context (optional)\n        \"source\"?: String,\n        \"event\"?: String,\n        \"user_email\"?: String,\n        \"cwd\"?: String,\n        \"workspace_root\"?: String,\n\n        // MCP context (optional)\n        \"mcp_server\"?: String,\n        \"mcp_server_verified\"?: Boolean,\n\n        // Agentic - Agent Security (optional)\n        \"tool_poisoning_detected\"?: Boolean,\n        \"tool_poisoning_score\"?: Long,\n        \"tool_poisoning_type\"?: String,\n\n        // Agentic - MCP Risk (optional)\n        \"mcp_config_risk\"?: Boolean,\n        \"mcp_risk_type\"?: String,\n        \"mcp_risk_score\"?: Long,\n\n        // Security - Cross-Origin Escalation (optional)\n        \"cross_origin_detected\"?: Boolean,\n        \"cross_origin_type\"?: String,\n        \"cross_origin_score\"?: Long,\n\n        // Aggregated threat summary (optional)\n        \"highest_severity\"?: String,\n        \"threat_count\"?: Long,\n        \"detected_threats\"?: Set<String>,\n\n        // Session Detection History (optional)\n        \"session_pii_detected\"?: Boolean,\n        \"session_pii_types\"?: Set<String>,\n        \"session_secrets_detected\"?: Boolean,\n        \"session_secret_types\"?: Set<String>,\n        \"session_injection_detected\"?: Boolean,\n        \"session_command_injection\"?: Boolean,\n        \"session_threat_turns\"?: Long,\n        \"session_max_injection_score\"?: Long,\n        \"session_max_jailbreak_score\"?: Long,\n        \"session_max_command_injection_score\"?: Long,\n        \"session_max_pii_score\"?: Long,\n        \"session_max_secret_score\"?: Long,\n        \"session_cumulative_risk_score\"?: Long,\n        \"session_original_request\"?: String,\n        \"session_max_sensitivity\"?: String,\n\n        // Origin Surface \u2014 REQUIRED (ADR 0012 D14.2). Projected by Shield from the\n        // ingress product; never user-supplied. The \"Applies to\" narrowing target:\n        // policies test it with an ordinary condition (context.surface == \"ai_gateway\")\n        // \u2014 no `has` guard needed precisely because it is required. Values are the\n        // product identifiers: \"guardrails\" | \"overwatch\" | \"ai_gateway\" (\"sentry\"\n        // joins at ADR 0012 D17 phase 2). A policy with no surface condition applies\n        // to every surface, including ones added later (inclusive default).\n        \"surface\": String,\n\n        // Data-Flow Labels \u2014 per-value information-flow facts (ADR 0020, optional).\n        // All optional: guard every access with `has` \u2014 an absent-attribute read is\n        // a Cedar evaluation error and an errored forbid is silently skipped (fail-open).\n        \"flow_confidentiality\"?: String,         // \"public\" | \"internal\" | \"confidential\" | \"restricted\" | \"unknown\"\n        \"flow_integrity\"?: String,               // \"trusted\" | \"untrusted\" | \"mixed\" | \"unknown\"\n        \"flow_data_types\"?: Set<String>,         // \"pii\" | \"secrets\" | \"source_code\" | \"financial\" | \"health\" | ...\n        \"flow_compartments\"?: Set<String>,       // \"tenant:*\" | \"customer:*\" | \"project:*\"\n        \"flow_resolution_status\"?: String,       // \"known\" | \"inferred\" | \"unknown\" | \"conflicted\"\n        \"flow_origins\"?: Set<String>,            // \"mcp_tool_result\" | \"model\" | \"file\" | \"database\" | \"user\"\n        \"flow_sink\"?: String,                    // \"external_model\" | \"local_model\" | \"external_mcp\" | \"trusted_mcp\" | \"user_secure_output\" | \"public_network\" | \"file\"\n        \"flow_sink_is_external\"?: Boolean,\n        \"flow_sink_effects\"?: Set<String>,       // \"network.send\" | \"financial.transfer\" | \"filesystem.write\" | ...\n        \"principal_clearances\"?: Set<String>,    // ADR 0020 D8 \u2014 clearances AuthN mints for the principal\n        \"principal_compartments\"?: Set<String>,  // ADR 0020 D8 \u2014 compartments the principal is admitted to\n\n        // Usage Budget (optional)\n        \"budget_remaining_pct\"?: Long,\n        \"budget_exceeded\"?: Boolean,\n        \"budget_cost_micros_this_turn\"?: Long,\n        \"budget_model\"?: String,\n        \"budget_tokens_pct_session\"?: Long,\n        \"budget_tokens_pct_daily\"?: Long,\n        \"budget_tokens_pct_monthly\"?: Long,\n        \"budget_cost_pct_daily\"?: Long,\n        \"budget_cost_pct_monthly\"?: Long,\n        \"budget_exceeded_session\"?: Boolean,\n        \"budget_exceeded_daily\"?: Boolean,\n        \"budget_exceeded_monthly\"?: Boolean,\n\n        // Rate Limiting \u2014 gateway-metered, Shield-decided (ADR 0014)\n        \"rpm_remaining_pct\"?: Long,\n        \"rpm_exceeded\"?: Boolean,\n        \"tpm_remaining_pct\"?: Long,\n        \"tpm_exceeded\"?: Boolean,\n\n        // Agent Identity (optional)\n        \"agent_id\"?: String,\n        \"agent_type\"?: String,\n        \"agent_trust_level\"?: String,\n        \"agent_framework\"?: String,\n        \"agent_publisher\"?: String,\n\n        // Supply-chain / package safety + aggregate threat severity (optional \u2014\n        // ADR 0012 unified port). Projected by Shield's malicious-package and\n        // threat-severity detectors; every read is `has`-guarded in policy.\n        \"malicious_package_detected\"?: Boolean,\n        \"package_install_detected\"?: Boolean,\n        \"package_check_status\"?: String,\n        \"max_threat_severity\"?: Long,\n\n    };\n\n    /// Context for provision_sandbox action (Forge sandbox-create envelope).\n    ///\n    /// Every capability field below is OPTIONAL and describes the envelope the\n    /// sandbox is being asked to provision with \u2014 Forge synthesizes it from the\n    /// create request attenuated by the token's scope ceiling (ADR 0019 D1),\n    /// then asks Cedar whether this identity may provision it. Profile templates\n    /// `permit` provision_sandbox only when the requested envelope stays within\n    /// the profile ceiling, and `forbid` any escalation beyond it.\n    ///\n    /// FAIL-OPEN WARNING (ADR 0019 D3): because these attributes are optional,\n    /// accessing an absent one is a Cedar *evaluation error*, and an errored\n    /// `forbid` is silently skipped \u2014 which fails OPEN. Every rule touching a\n    /// field here MUST guard it first with `has` (e.g.\n    /// `context has mechanism_capabilities && context.mechanism_capabilities.contains(\"sys:ptrace\")`).\n    type ProvisionSandboxContext = {\n        // Identity (AARM R6 / CAP-IDN-011) \u2014 projected from the principal's token; optional.\n        \"role\"?: String,\n        \"privilege_scope\"?: Set<String>,\n        \"identity_type\"?: String,        // Principal identity class: \"human\" | \"agent\" | \"service\" | \"mcp_server\"\n        \"principal\"?: String,            // Stable principal identifier (ZeroID / WIMSE URI or user id)\n        \"agent_trust_level\"?: String,    // \"untrusted\" | \"low\" | \"verified\" | \"trusted\"\n\n        // Core metadata (required)\n        \"request_id\": String,\n        \"timestamp\": Long,\n\n        // Requested isolation tier (required) \u2014 the OS-isolation tier the\n        // sandbox will run at, as the lowercased Forge IsolationTier name (ADR\n        // 0016 D1). Ordinal, weakest\u2192strongest: \"none\" (trusted-local) < \"os\"\n        // (bwrap/seatbelt) < \"kernel\" (gVisor) < \"hardware\" (micro-VM + TEE).\n        // Templates assert a floor via set membership (e.g. a KERNEL floor =\n        // {\"kernel\",\"hardware\"}); Forge owns the ordering.\n        \"isolation_tier\": String,\n\n        // Requested capability envelope (all optional \u2014 has-guard mandatory).\n        \"writable_paths\"?: Set<String>,        // Writable path prefixes, e.g. {\"/scratch\"}\n        // Master egress switch. Forge MUST set this true whenever ANY egress is\n        // requested (i.e. whenever egress_hosts is non-empty), so a \"no network\"\n        // profile can gate on this single boolean. egress_hosts then narrows the\n        // host allowlist for profiles that DO permit egress.\n        \"network_egress\"?: Boolean,\n        \"egress_hosts\"?: Set<String>,          // Host allowlist for egress, e.g. {\"pypi.org\"}\n        \"exec_allowlist\"?: Set<String>,        // Executables the sandbox may run, e.g. {\"python\", \"python3\"}\n        // Curated mechanism toggles (ADR 0017 D1.3) \u2014 authorization facts only;\n        // NEVER raw syscalls. Allowed members: \"sys:ptrace\", \"sys:bpf\",\n        // \"sys:raw_socket\", \"dev:gpu\", \"virt:nested\".\n        \"mechanism_capabilities\"?: Set<String>,\n    };\n}\n";
 /**
  * AiGateway Cedar schema
  *

package/dist/service-schemas.gen.js

@@ -315,6 +315,14 @@ namespace AgentOps {
         "agent_framework"?: String,
         "agent_publisher"?: String,
 
+        // Supply-chain / package safety + aggregate threat severity (optional —
+        // ADR 0012 unified port). Projected by Shield's malicious-package and
+        // threat-severity detectors; every read is \`has\`-guarded in policy.
+        "malicious_package_detected"?: Boolean,
+        "package_install_detected"?: Boolean,
+        "package_check_status"?: String,
+        "max_threat_severity"?: Long,
+
     };
 
     /// Context for call_tool action (agentic tool execution)
@@ -511,6 +519,14 @@ namespace AgentOps {
         // File & Path (optional)
         "path"?: String,
 
+        // Supply-chain / package safety + aggregate threat severity (optional —
+        // ADR 0012 unified port). Projected by Shield's malicious-package and
+        // threat-severity detectors; every read is \`has\`-guarded in policy.
+        "malicious_package_detected"?: Boolean,
+        "package_install_detected"?: Boolean,
+        "package_check_status"?: String,
+        "max_threat_severity"?: Long,
+
     };
 
     /// Context for read_file action
@@ -843,6 +859,14 @@ namespace AgentOps {
         "agent_framework"?: String,
         "agent_publisher"?: String,
 
+        // Supply-chain / package safety + aggregate threat severity (optional —
+        // ADR 0012 unified port). Projected by Shield's malicious-package and
+        // threat-severity detectors; every read is \`has\`-guarded in policy.
+        "malicious_package_detected"?: Boolean,
+        "package_install_detected"?: Boolean,
+        "package_check_status"?: String,
+        "max_threat_severity"?: Long,
+
     };
 
     /// Context for provision_sandbox action (Forge sandbox-create envelope).
@@ -3187,7 +3211,11 @@ export const AGENT_OPS_CONTEXT = {
                 { "key": "flow_sink_effects", "type": "array", "required": false, "description": "Side effects the destination can exercise (ADR 0020), e.g. \'network.send\', \'financial.transfer\', \'filesystem.write\'. Enables \'untrusted content MUST NOT reach a financial.transfer sink\'. Set<String>." },
                 { "key": "principal_clearances", "type": "array", "required": false, "description": "Clearances AuthN/ZeroID mints for the principal (ADR 0020 D8), e.g. \'restricted\', \'pii\'. Coarse scopes gate the capability; clearances gate which protected data that capability may touch. Set<String>." },
                 { "key": "principal_compartments", "type": "array", "required": false, "description": "Compartments the principal is admitted to (ADR 0020 D8), e.g. \'tenant:acme\', \'customer:123\'. A flow into a compartment the principal lacks is deniable independent of confidentiality tier. Set<String>." },
-                { "key": "surface", "type": "string", "required": true, "description": "Origin surface of the request (ADR 0012 D14.2) — REQUIRED; projected by Shield from the ingress product, never user-supplied. Values are the product identifiers: \'guardrails\', \'overwatch\', \'ai_gateway\' (\'sentry\' joins at D17 phase 2). The \'Applies to\' narrowing target: test with an ordinary condition (context.surface == \'ai_gateway\'); no \'has\' guard needed because it is required. A policy with no surface condition applies to every surface, including ones added later." }
+                { "key": "surface", "type": "string", "required": true, "description": "Origin surface of the request (ADR 0012 D14.2) — REQUIRED; projected by Shield from the ingress product, never user-supplied. Values are the product identifiers: \'guardrails\', \'overwatch\', \'ai_gateway\' (\'sentry\' joins at D17 phase 2). The \'Applies to\' narrowing target: test with an ordinary condition (context.surface == \'ai_gateway\'); no \'has\' guard needed because it is required. A policy with no surface condition applies to every surface, including ones added later." },
+                { "key": "malicious_package_detected", "type": "boolean", "required": false, "description": "Whether a referenced package carries a known-malicious osv.dev (MAL-) advisory." },
+                { "key": "package_install_detected", "type": "boolean", "required": false, "description": "Whether the request installs or downloads a package (pip/npm/cargo/etc.)." },
+                { "key": "package_check_status", "type": "string", "required": false, "description": "Malicious-package lookup status: empty (ok) or degraded (OSV unavailable, fail-open)." },
+                { "key": "max_threat_severity", "type": "number", "required": false, "description": "Aggregate max threat severity across detectors (0=none,1=low,2=medium,3=high,4=critical)." }
             ]
         },
         {
@@ -3206,7 +3234,7 @@ export const AGENT_OPS_CONTEXT = {
                 { "key": "cwd", "type": "string", "required": false, "description": "Current working directory" },
                 { "key": "workspace_root", "type": "string", "required": false, "description": "IDE workspace root path" },
                 { "key": "tool_name", "type": "string", "required": false, "description": "Name of the tool being called (e.g., \'shell\', \'write_file\', \'http_post\')" },
-                { "key": "tool_risk_score", "type": "number", "required": false, "description": "Computed risk score for this tool call (0-100)." },
+                { "key": "tool_risk_score", "type": "number", "required": false, "description": "Computed risk score for this tool call (0-100). Typical condition: tool_risk_score >= 86 (>= 71 for sensitive tools)." },
                 { "key": "tool_is_sensitive", "type": "boolean", "required": false, "description": "Whether the tool is classified as sensitive" },
                 { "key": "tool_category", "type": "string", "required": false, "description": "Tool classification: \'safe\', \'sensitive\', or \'dangerous\'" },
                 { "key": "tool_is_builtin", "type": "boolean", "required": false, "description": "Whether the tool is a built-in tool (vs MCP external tool)" },
@@ -3262,7 +3290,7 @@ export const AGENT_OPS_CONTEXT = {
                 { "key": "encoded_types", "type": "array", "required": false, "description": "Array of encoding types detected in tool arguments" },
                 { "key": "encoded_count", "type": "number", "required": false, "description": "Number of encoded segments found in tool arguments" },
                 { "key": "encoded_score", "type": "number", "required": false, "description": "Risk score for encoded injection in tool arguments (0-100)." },
-                { "key": "tool_operation_classes", "type": "array", "required": false, "description": "All operation classes observed in the tool call: \'readonly\', \'write_enabling\', \'execute_enabling\', \'network_access\', \'unknown\'" },
+                { "key": "tool_operation_classes", "type": "array", "required": false, "description": "All operation classes observed in the tool call, emitted by the AST command classifiers. Subset of: \'readonly\', \'write_enabling\', \'execute_enabling\', \'network_access\', \'unknown\'. A single command can carry several classes; combine with contains() to match shapes — e.g. tool_operation_classes.contains(\"network_access\") && tool_operation_classes.contains(\"execute_enabling\") catches download-and-run (curl | sh). \'unknown\' appears when any unrecognized or variable-expanded command was seen and should be treated as deny-worthy." },
                 { "key": "path", "type": "string", "required": false, "description": "File path targeted by the tool call" },
                 { "key": "conversation_turn", "type": "number", "required": false, "description": "Current conversation turn number" },
                 { "key": "multi_turn_detection", "type": "boolean", "required": false, "description": "Whether multi-turn injection patterns were detected across tool calls" },
@@ -3306,7 +3334,11 @@ export const AGENT_OPS_CONTEXT = {
                 { "key": "flow_sink_effects", "type": "array", "required": false, "description": "Side effects the destination can exercise (ADR 0020), e.g. \'network.send\', \'financial.transfer\', \'filesystem.write\'. Enables \'untrusted content MUST NOT reach a financial.transfer sink\'. Set<String>." },
                 { "key": "principal_clearances", "type": "array", "required": false, "description": "Clearances AuthN/ZeroID mints for the principal (ADR 0020 D8), e.g. \'restricted\', \'pii\'. Coarse scopes gate the capability; clearances gate which protected data that capability may touch. Set<String>." },
                 { "key": "principal_compartments", "type": "array", "required": false, "description": "Compartments the principal is admitted to (ADR 0020 D8), e.g. \'tenant:acme\', \'customer:123\'. A flow into a compartment the principal lacks is deniable independent of confidentiality tier. Set<String>." },
-                { "key": "surface", "type": "string", "required": true, "description": "Origin surface of the request (ADR 0012 D14.2) — REQUIRED; projected by Shield from the ingress product, never user-supplied. Values are the product identifiers: \'guardrails\', \'overwatch\', \'ai_gateway\' (\'sentry\' joins at D17 phase 2). The \'Applies to\' narrowing target: test with an ordinary condition (context.surface == \'ai_gateway\'); no \'has\' guard needed because it is required. A policy with no surface condition applies to every surface, including ones added later." }
+                { "key": "surface", "type": "string", "required": true, "description": "Origin surface of the request (ADR 0012 D14.2) — REQUIRED; projected by Shield from the ingress product, never user-supplied. Values are the product identifiers: \'guardrails\', \'overwatch\', \'ai_gateway\' (\'sentry\' joins at D17 phase 2). The \'Applies to\' narrowing target: test with an ordinary condition (context.surface == \'ai_gateway\'); no \'has\' guard needed because it is required. A policy with no surface condition applies to every surface, including ones added later." },
+                { "key": "malicious_package_detected", "type": "boolean", "required": false, "description": "Whether a referenced package carries a known-malicious osv.dev (MAL-) advisory." },
+                { "key": "package_install_detected", "type": "boolean", "required": false, "description": "Whether the request installs or downloads a package (pip/npm/cargo/etc.)." },
+                { "key": "package_check_status", "type": "string", "required": false, "description": "Malicious-package lookup status: empty (ok) or degraded (OSV unavailable, fail-open)." },
+                { "key": "max_threat_severity", "type": "number", "required": false, "description": "Aggregate max threat severity across detectors (0=none,1=low,2=medium,3=high,4=critical)." }
             ]
         },
         {
@@ -3511,7 +3543,11 @@ export const AGENT_OPS_CONTEXT = {
                 { "key": "flow_sink_effects", "type": "array", "required": false, "description": "Side effects the destination can exercise (ADR 0020), e.g. \'network.send\', \'financial.transfer\', \'filesystem.write\'. Enables \'untrusted content MUST NOT reach a financial.transfer sink\'. Set<String>." },
                 { "key": "principal_clearances", "type": "array", "required": false, "description": "Clearances AuthN/ZeroID mints for the principal (ADR 0020 D8), e.g. \'restricted\', \'pii\'. Coarse scopes gate the capability; clearances gate which protected data that capability may touch. Set<String>." },
                 { "key": "principal_compartments", "type": "array", "required": false, "description": "Compartments the principal is admitted to (ADR 0020 D8), e.g. \'tenant:acme\', \'customer:123\'. A flow into a compartment the principal lacks is deniable independent of confidentiality tier. Set<String>." },
-                { "key": "surface", "type": "string", "required": true, "description": "Origin surface of the request (ADR 0012 D14.2) — REQUIRED; projected by Shield from the ingress product, never user-supplied. Values are the product identifiers: \'guardrails\', \'overwatch\', \'ai_gateway\' (\'sentry\' joins at D17 phase 2). The \'Applies to\' narrowing target: test with an ordinary condition (context.surface == \'ai_gateway\'); no \'has\' guard needed because it is required. A policy with no surface condition applies to every surface, including ones added later." }
+                { "key": "surface", "type": "string", "required": true, "description": "Origin surface of the request (ADR 0012 D14.2) — REQUIRED; projected by Shield from the ingress product, never user-supplied. Values are the product identifiers: \'guardrails\', \'overwatch\', \'ai_gateway\' (\'sentry\' joins at D17 phase 2). The \'Applies to\' narrowing target: test with an ordinary condition (context.surface == \'ai_gateway\'); no \'has\' guard needed because it is required. A policy with no surface condition applies to every surface, including ones added later." },
+                { "key": "malicious_package_detected", "type": "boolean", "required": false, "description": "Whether a referenced package carries a known-malicious osv.dev (MAL-) advisory." },
+                { "key": "package_install_detected", "type": "boolean", "required": false, "description": "Whether the request installs or downloads a package (pip/npm/cargo/etc.)." },
+                { "key": "package_check_status", "type": "string", "required": false, "description": "Malicious-package lookup status: empty (ok) or degraded (OSV unavailable, fail-open)." },
+                { "key": "max_threat_severity", "type": "number", "required": false, "description": "Aggregate max threat severity across detectors (0=none,1=low,2=medium,3=high,4=critical)." }
             ]
         },
         {
@@ -3572,11 +3608,11 @@ export const AI_GATEWAY_CONTEXT = {
                 { "key": "rug_pull_score", "type": "number", "required": false, "description": "Rug pull risk score (0-100)" },
                 { "key": "rug_pull_detected", "type": "boolean", "required": false, "description": "Rug pull detected flag" },
                 { "key": "indirect_injection_score", "type": "number", "required": false, "description": "Indirect injection score (0-100)" },
-                { "key": "tool_risk_score", "type": "number", "required": false, "description": "Computed tool risk (0-100)" },
+                { "key": "tool_risk_score", "type": "number", "required": false, "description": "Computed tool risk (0-100). Typical condition: tool_risk_score >= 86 (>= 71 for sensitive tools)" },
                 { "key": "tool_category", "type": "string", "required": false, "description": "Tool category: safe/sensitive/dangerous" },
                 { "key": "tool_is_sensitive", "type": "boolean", "required": false, "description": "Tool sensitivity flag" },
                 { "key": "tool_is_builtin", "type": "boolean", "required": false, "description": "Built-in tool flag" },
-                { "key": "tool_operation_classes", "type": "array", "required": false, "description": "All operation classes observed in the tool call. Subset of: \'readonly\', \'write_enabling\', \'execute_enabling\', \'network_access\', \'unknown\'. \'unknown\' appears when any unrecognized or variable-expanded command was seen." },
+                { "key": "tool_operation_classes", "type": "array", "required": false, "description": "All operation classes observed in the tool call, emitted by the AST command classifiers. Subset of: \'readonly\', \'write_enabling\', \'execute_enabling\', \'network_access\', \'unknown\'. A single command can carry several classes; combine with contains() to match shapes — e.g. tool_operation_classes.contains(\"network_access\") && tool_operation_classes.contains(\"execute_enabling\") catches download-and-run (curl | sh). \'unknown\' appears when any unrecognized or variable-expanded command was seen and should be treated as deny-worthy." },
                 { "key": "mcp_server_verified", "type": "boolean", "required": false, "description": "Whether server is from verified registry" },
                 { "key": "violence_score", "type": "number", "required": false, "description": "Violence content score (0-100)" },
                 { "key": "weapons_score", "type": "number", "required": false, "description": "Weapons content score (0-100)" },
@@ -3937,7 +3973,7 @@ export const GUARDRAILS_CONTEXT = {
                 { "key": "request_id", "type": "string", "required": true, "description": "Unique identifier for this request" },
                 { "key": "timestamp", "type": "number", "required": true, "description": "Unix timestamp in milliseconds" },
                 { "key": "tool_name", "type": "string", "required": false, "description": "Name of the tool being called (e.g., \'shell\', \'write_file\', \'http_post\'). Use this to block specific dangerous tools" },
-                { "key": "tool_risk_score", "type": "number", "required": false, "description": "Computed risk score for this tool call (0-100). Considers tool sensitivity, argument patterns, and MCP verification status. Typical threshold: >85 for dangerous tools" },
+                { "key": "tool_risk_score", "type": "number", "required": false, "description": "Computed risk score for this tool call (0-100). Considers tool sensitivity, argument patterns, and MCP verification status. Typical condition: tool_risk_score >= 86 (used by the Tool Risk template; >= 71 for sensitive tools)." },
                 { "key": "tool_is_sensitive", "type": "boolean", "required": false, "description": "Whether the tool is classified as sensitive (shell, file operations, network access, etc.)" },
                 { "key": "tool_category", "type": "string", "required": false, "description": "Tool classification: \'safe\', \'sensitive\', or \'dangerous\'. Based on tool type and argument patterns" },
                 { "key": "tool_is_builtin", "type": "boolean", "required": false, "description": "Whether the tool is a built-in tool (vs MCP external tool). Built-in tools are generally more trusted" },
@@ -3987,7 +4023,7 @@ export const GUARDRAILS_CONTEXT = {
                 { "key": "mcp_config_risk", "type": "boolean", "required": false, "description": "Whether MCP configuration risk was detected (inline code execution, suspicious URLs, cross-origin issues)" },
                 { "key": "mcp_risk_type", "type": "string", "required": false, "description": "Type of MCP risk: \'inline_execution\', \'suspicious_url\', or \'cross_origin\'" },
                 { "key": "mcp_risk_score", "type": "number", "required": false, "description": "Risk score for MCP configuration issues (0-100). Typical threshold: >=70 for blocks" },
-                { "key": "tool_operation_classes", "type": "array", "required": false, "description": "All operation classes observed in the tool call. Subset of: \'readonly\', \'write_enabling\', \'execute_enabling\', \'network_access\', \'unknown\'. \'unknown\' appears when any unrecognized or variable-expanded command was seen." },
+                { "key": "tool_operation_classes", "type": "array", "required": false, "description": "All operation classes observed in the tool call, emitted by the AST command classifiers. Subset of: \'readonly\', \'write_enabling\', \'execute_enabling\', \'network_access\', \'unknown\'. A single command can carry several classes; combine with contains() to match shapes — e.g. tool_operation_classes.contains(\"network_access\") && tool_operation_classes.contains(\"execute_enabling\") catches download-and-run (curl | sh). \'unknown\' appears when any unrecognized or variable-expanded command was seen and should be treated as deny-worthy." },
                 { "key": "cross_origin_detected", "type": "boolean", "required": false, "description": "Whether cross-origin escalation patterns were detected in tool calls crossing trust boundaries" },
                 { "key": "cross_origin_type", "type": "string", "required": false, "description": "Type of cross-origin escalation detected in tool call" },
                 { "key": "cross_origin_score", "type": "number", "required": false, "description": "Risk score for cross-origin escalation in tool calls (0-100)" },
@@ -4295,7 +4331,7 @@ export const OVERWATCH_CONTEXT = {
                 { "key": "rug_pull_score", "type": "number", "required": false, "description": "Tool behavioral drift score (0-100) — deviation from established tool behavior patterns" },
                 { "key": "rug_pull_detected", "type": "boolean", "required": false, "description": "Whether a rug pull attack was explicitly detected" },
                 { "key": "indirect_injection_score", "type": "number", "required": false, "description": "Indirect prompt injection risk score (0-100) — injection via tool outputs" },
-                { "key": "tool_risk_score", "type": "number", "required": false, "description": "Computed tool risk score (0-100) combining tool type, arguments, and context" },
+                { "key": "tool_risk_score", "type": "number", "required": false, "description": "Computed tool risk score (0-100) combining tool type, arguments, and context. Typical condition: tool_risk_score >= 86 (>= 71 for sensitive tools)" },
                 { "key": "tool_category", "type": "string", "required": false, "description": "Tool risk classification: safe, sensitive, dangerous" },
                 { "key": "tool_is_sensitive", "type": "boolean", "required": false, "description": "Whether the tool is classified as sensitive (shell, file write, network)" },
                 { "key": "tool_is_builtin", "type": "boolean", "required": false, "description": "Whether the tool is a built-in IDE tool (true) or MCP tool (false)" },
@@ -4303,10 +4339,10 @@ export const OVERWATCH_CONTEXT = {
                 { "key": "loop_count", "type": "number", "required": false, "description": "Number of consecutive calls to the same tool" },
                 { "key": "loop_tool", "type": "string", "required": false, "description": "The tool name involved in the detected loop" },
                 { "key": "suspicious_pattern", "type": "boolean", "required": false, "description": "Whether a suspicious action sequence was detected (exfiltration, theft, destructive)" },
-                { "key": "pattern_type", "type": "string", "required": false, "description": "Type of suspicious pattern: data_exfiltration, secret_exfiltration, credential_theft, destructive_sequence" },
+                { "key": "pattern_type", "type": "string", "required": false, "description": "Type of suspicious pattern: data_exfiltration, secret_exfiltration, db_exfiltration, credential_theft, destructive_sequence" },
                 { "key": "sequence_risk", "type": "number", "required": false, "description": "Behavioral sequence risk score (0-100)" },
                 { "key": "mcp_server_verified", "type": "boolean", "required": false, "description": "Whether the MCP server is from a verified registry" },
-                { "key": "tool_operation_classes", "type": "array", "required": false, "description": "All operation classes observed in the tool call. Subset of: \'readonly\', \'write_enabling\', \'execute_enabling\', \'network_access\', \'unknown\'. \'unknown\' appears when any unrecognized or variable-expanded command was seen." },
+                { "key": "tool_operation_classes", "type": "array", "required": false, "description": "All operation classes observed in the tool call, emitted by the AST command classifiers. Subset of: \'readonly\', \'write_enabling\', \'execute_enabling\', \'network_access\', \'unknown\'. A single command can carry several classes; combine with contains() to match shapes — e.g. tool_operation_classes.contains(\"network_access\") && tool_operation_classes.contains(\"execute_enabling\") catches download-and-run (curl | sh). Used by the Bash Operation Classes template. \'unknown\' appears when any unrecognized or variable-expanded command was seen and should be treated as deny-worthy." },
                 { "key": "package_install_detected", "type": "boolean", "required": false, "description": "True iff a package install/download command was recognized in the tool call arguments." },
                 { "key": "malicious_package_detected", "type": "boolean", "required": false, "description": "True iff any referenced package has a known-malicious (MAL-) OSV advisory." },
                 { "key": "malicious_package_score", "type": "number", "required": false, "description": "100 when a malicious package was detected, 0 otherwise." },