exit_code: 0
---

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

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

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

