exit_code: 0
---

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

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

⚙️  Compiling Domain: DAOTreasury
   • Validating Syntax... ✅ OK
   ├── Verifying Logic Model (Z3 Engine)... ✅ Mathematically Consistent
   • Generating IR... ✅ OK
                                  Compiled Policy Metadata                                  
                                                                                            
  Key                            Value                                                      
 ────────────────────────────────────────────────────────────────────────────────────────── 
  Domain                         DAOTreasury                                                
  Policy                         DAOTreasury                                                
  Policy Hash                    2b8d9790a9e22fa289fa9861f42309fb1d4d701d1715d6253b2d02c9…  
  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                             

