exit_code: 10
---

╭──────────────────────────────────────────────────────────────────────────────────────────╮
│ CSL-Core  v<VERSION>                                                                         │
│ Deterministic Safety Layer for Probabilistic AI Systems                                  │
╰──────────────────────────────────────────────────────────────────────────────────────────╯

⚙️  Compiling Domain: MCPToolTrustGuard
   • Validating Syntax... ✅ OK
   ├── Verifying Logic Model (Z3 Engine)... ✅ Mathematically Consistent
   • Generating IR... ✅ OK
╭──────────────────────────────────────────────────────────────────────────────────────────╮
│ Simulation #1                                                                            │
╰──────────────────────────────────────────────────────────────────────────────────────────╯
╭──────────────────────────────────────────────────────────────────────────────────────────╮
│ BLOCKED                                                                                  │
│ One or more policy constraints were violated.                                            │
╰──────────────────────────────────────────────────────────────────────────────────────────╯
                                         Violations                                         
                                                                                            
  #        Message                                                                          
 ────────────────────────────────────────────────────────────────────────────────────────── 
  1        Violation 'tool_must_be_registered': tool_registered=False must be MUST BE       
           True.                                                                            
  2        Violation 'resource_must_be_in_scope': resource_in_scope=False must be MUST BE   
           True.                                                                            
                                                                                            

╭──────────────────────────────────────────────────────────────────────────────────────────╮
│ Simulation #2                                                                            │
╰──────────────────────────────────────────────────────────────────────────────────────────╯
╭──────────────────────────────────────────────────────────────────────────────────────────╮
│ ALLOWED                                                                                  │
│ No violations found. Action is permitted by the policy.                                  │
╰──────────────────────────────────────────────────────────────────────────────────────────╯

╭──────────────────────────────────────────────────────────────────────────────────────────╮
│ Simulation #3                                                                            │
╰──────────────────────────────────────────────────────────────────────────────────────────╯
╭──────────────────────────────────────────────────────────────────────────────────────────╮
│ BLOCKED                                                                                  │
│ One or more policy constraints were violated.                                            │
╰──────────────────────────────────────────────────────────────────────────────────────────╯
                                         Violations                                         
                                                                                            
  #        Message                                                                          
 ────────────────────────────────────────────────────────────────────────────────────────── 
  1        Violation 'tool_must_be_registered': tool_registered=False must be MUST BE       
           True.                                                                            
  2        Violation 'resource_must_be_in_scope': resource_in_scope=False must be MUST BE   
           True.                                                                            
                                                                                            

╭──────────────────────────────────────────────────────────────────────────────────────────╮
│ Simulation #4                                                                            │
╰──────────────────────────────────────────────────────────────────────────────────────────╯
╭──────────────────────────────────────────────────────────────────────────────────────────╮
│ BLOCKED                                                                                  │
│ One or more policy constraints were violated.                                            │
╰──────────────────────────────────────────────────────────────────────────────────────────╯
                                         Violations                                         
                                                                                            
  #        Message                                                                          
 ────────────────────────────────────────────────────────────────────────────────────────── 
  1        Violation 'tool_must_be_registered': tool_registered=False must be MUST BE       
           True.                                                                            
  2        Violation 'resource_must_be_in_scope': resource_in_scope=False must be MUST BE   
           True.                                                                            
                                                                                            

╭──────────────────────────────────────────────────────────────────────────────────────────╮
│ Simulation #5                                                                            │
╰──────────────────────────────────────────────────────────────────────────────────────────╯
╭──────────────────────────────────────────────────────────────────────────────────────────╮
│ BLOCKED                                                                                  │
│ One or more policy constraints were violated.                                            │
╰──────────────────────────────────────────────────────────────────────────────────────────╯
                                         Violations                                         
                                                                                            
  #        Message                                                                          
 ────────────────────────────────────────────────────────────────────────────────────────── 
  1        Violation 'tool_must_be_registered': tool_registered=False must be MUST BE       
           True.                                                                            
  2        Violation 'resource_must_be_in_scope': resource_in_scope=False must be MUST BE   
           True.                                                                            
                                                                                            

╭──────────────────────────────────────────────────────────────────────────────────────────╮
│ Simulation #6                                                                            │
╰──────────────────────────────────────────────────────────────────────────────────────────╯
╭──────────────────────────────────────────────────────────────────────────────────────────╮
│ BLOCKED                                                                                  │
│ One or more policy constraints were violated.                                            │
╰──────────────────────────────────────────────────────────────────────────────────────────╯
                                         Violations                                         
                                                                                            
  #        Message                                                                          
 ────────────────────────────────────────────────────────────────────────────────────────── 
  1        Violation 'resource_must_be_in_scope': resource_in_scope=False must be MUST BE   
           True.                                                                            
                                                                                            

╭──────────────────────────────────────────────────────────────────────────────────────────╮
│ Simulation #7                                                                            │
╰──────────────────────────────────────────────────────────────────────────────────────────╯
╭──────────────────────────────────────────────────────────────────────────────────────────╮
│ BLOCKED                                                                                  │
│ One or more policy constraints were violated.                                            │
╰──────────────────────────────────────────────────────────────────────────────────────────╯
                                         Violations                                         
                                                                                            
  #        Message                                                                          
 ────────────────────────────────────────────────────────────────────────────────────────── 
  1        Violation 'tool_must_be_registered': tool_registered='YES' must be MUST BE       
           True.                                                                            
  2        Violation 'resource_must_be_in_scope': resource_in_scope=False must be MUST BE   
           True.                                                                            
                                                                                            

╭──────────────────────────────────────────────────────────────────────────────────────────╮
│ Simulation #8                                                                            │
╰──────────────────────────────────────────────────────────────────────────────────────────╯
╭──────────────────────────────────────────────────────────────────────────────────────────╮
│ BLOCKED                                                                                  │
│ One or more policy constraints were violated.                                            │
╰──────────────────────────────────────────────────────────────────────────────────────────╯
                                         Violations                                         
                                                                                            
  #        Message                                                                          
 ────────────────────────────────────────────────────────────────────────────────────────── 
  1        Missing required key 'tool_registered' for rule 'tool_must_be_registered'.       
  2        Violation 'resource_must_be_in_scope': resource_in_scope=False must be MUST BE   
           True.                                                                            
                                                                                            

╭──────────────────────────────────────────────────────────────────────────────────────────╮
│ Simulation #9                                                                            │
╰──────────────────────────────────────────────────────────────────────────────────────────╯
╭──────────────────────────────────────────────────────────────────────────────────────────╮
│ BLOCKED                                                                                  │
│ One or more policy constraints were violated.                                            │
╰──────────────────────────────────────────────────────────────────────────────────────────╯
                                         Violations                                         
                                                                                            
  #        Message                                                                          
 ────────────────────────────────────────────────────────────────────────────────────────── 
  1        Violation 'tool_must_be_registered': tool_registered=False must be MUST BE       
           True.                                                                            
  2        Violation 'resource_must_be_in_scope': resource_in_scope=False must be MUST BE   
           True.                                                                            
                                                                                            

╭──────────────────────────────────────────────────────────────────────────────────────────╮
│ Simulation #10                                                                           │
╰──────────────────────────────────────────────────────────────────────────────────────────╯
╭──────────────────────────────────────────────────────────────────────────────────────────╮
│ BLOCKED                                                                                  │
│ One or more policy constraints were violated.                                            │
╰──────────────────────────────────────────────────────────────────────────────────────────╯
                                         Violations                                         
                                                                                            
  #        Message                                                                          
 ────────────────────────────────────────────────────────────────────────────────────────── 
  1        Violation 'tool_must_be_registered': tool_registered=False must be MUST BE       
           True.                                                                            
  2        Violation 'resource_must_be_in_scope': resource_in_scope=False must be MUST BE   
           True.                                                                            
                                                                                            

╭──────────────────────────────────────────────────────────────────────────────────────────╮
│ Simulation #11                                                                           │
╰──────────────────────────────────────────────────────────────────────────────────────────╯
╭──────────────────────────────────────────────────────────────────────────────────────────╮
│ BLOCKED                                                                                  │
│ One or more policy constraints were violated.                                            │
╰──────────────────────────────────────────────────────────────────────────────────────────╯
                                         Violations                                         
                                                                                            
  #        Message                                                                          
 ────────────────────────────────────────────────────────────────────────────────────────── 
  1        Violation 'tool_must_be_registered': tool_registered=False must be MUST BE       
           True.                                                                            
  2        Violation 'high_risk_requires_trusted_server': server_trusted=False must be      
           MUST BE True.                                                                    
  3        Violation 'resource_must_be_in_scope': resource_in_scope=False must be MUST BE   
           True.                                                                            
                                                                                            

╭──────────────────────────────────────────────────────────────────────────────────────────╮
│ Simulation #12                                                                           │
╰──────────────────────────────────────────────────────────────────────────────────────────╯
╭──────────────────────────────────────────────────────────────────────────────────────────╮
│ BLOCKED                                                                                  │
│ One or more policy constraints were violated.                                            │
╰──────────────────────────────────────────────────────────────────────────────────────────╯
                                         Violations                                         
                                                                                            
  #        Message                                                                          
 ────────────────────────────────────────────────────────────────────────────────────────── 
  1        Violation 'tool_must_be_registered': tool_registered=False must be MUST BE       
           True.                                                                            
  2        Violation 'critical_risk_requires_trusted_server': server_trusted=False must be  
           MUST BE True.                                                                    
  3        Violation 'resource_must_be_in_scope': resource_in_scope=False must be MUST BE   
           True.                                                                            
  4        Violation 'critical_risk_requires_human_approval': human_approved=False must be  
           MUST BE True.                                                                    
                                                                                            

                                     Simulation Summary                                     
                                                                                            
  Key                                                                       Value           
 ────────────────────────────────────────────────────────────────────────────────────────── 
  Total                                                                     12              
  Allowed                                                                   1               
  Blocked                                                                   11              
  Dry-run                                                                   False           
                                                                                            

                 ✨ If you find CSL useful, please consider starring us on GitHub:                  
                           https://github.com/chimera-protocol/csl-core                             

