exit_code: 0
---

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

╭──────────────────────────────────────────────────────────────────────────────────────────╮
│ Verifying policy                                                                         │
│ policies/examples__community__devops_deploy_guard.csl                                    │
╰──────────────────────────────────────────────────────────────────────────────────────────╯

⚙️  Compiling Domain: DevOpsGuard
   • Validating Syntax... ✅ OK
   ├── Verifying Logic Model (Z3 Engine)... ✅ Mathematically Consistent
   • Generating IR... ✅ OK
                                  Compiled Policy Metadata                                  
                                                                                            
  Key                            Value                                                      
 ────────────────────────────────────────────────────────────────────────────────────────── 
  Domain                         DevOpsGuard                                                
  Policy                         DevOpsGuard                                                
  Policy Hash                    137c674f09abc82551bd08ad8c2972b3be9134975f6da1bc61f6721b…  
  Engine Version                 <VERSION>                                                      
                                                                                            
╭──────────────────────────────────────────────────────────────────────────────────────────╮
│ Verification passed                                                                      │
│ No logical contradictions found (given CSL-Core analysis scope).                         │
╰──────────────────────────────────────────────────────────────────────────────────────────╯

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

