| cabal-version: 2.4 | |
| name: kar-runtime | |
| version: 0.3.0.0 | |
| synopsis: Kernel Agent Runtime - Haskell Policy Engine | |
| description: | |
| ASOS Kernel Agent Runtime policy engine. | |
| Evaluates intents against resource constraints, trust deeds, | |
| and system state to produce execution decisions. | |
| نظام تقييم السياسات للتشغيل الوكيل السيادي | |
| homepage: https://github.com/SNAPKITTYWEST/asos | |
| license: Proprietary | |
| author: Ahmad Ali Parr | |
| maintainer: ahmedparr93@gmail.com | |
| copyright: 2026 Ahmad Ali Parr / SnapKitty Collective | |
| category: System | |
| build-type: Simple | |
| common warnings | |
| ghc-options: -Wall -Wcompat -Wincomplete-uni-patterns | |
| -Wincomplete-record-updates -Wredundant-constraints | |
| library | |
| import: warnings | |
| exposed-modules: KAR.ResourceNegotiator | |
| , KAR.PolicyEngine | |
| , KAR.ErrorRecovery | |
| , KAR.TrustVerifier | |
| , KAR.FFI.Bridge | |
| , KAR.Types.Intent | |
| , KAR.Types.Decision | |
| , KAR.Types.Resource | |
| build-depends: base >=4.16 && <5 | |
| , bytestring >=0.11 | |
| , text >=2.0 | |
| , containers >=0.6 | |
| , mtl >=2.3 | |
| , transformers >=0.6 | |
| , aeson >=2.1 | |
| , cryptonite >=0.30 | |
| , memory >=0.18 | |
| hs-source-dirs: src | |
| default-language: Haskell2010 | |
| default-extensions: OverloadedStrings | |
| , RecordWildCards | |
| , LambdaCase | |
| , BangPatterns | |
| executable kar-engine | |
| import: warnings | |
| main-is: Main.hs | |
| build-depends: base >=4.16 && <5 | |
| , kar-runtime | |
| hs-source-dirs: app | |
| default-language: Haskell2010 | |
| ghc-options: -threaded -rtsopts -with-rtsopts=-N | |
| test-suite kar-runtime-test | |
| import: warnings | |
| type: exitcode-stdio-1.0 | |
| hs-source-dirs: test | |
| main-is: Spec.hs | |
| other-modules: PolicyEngineSpec | |
| , ResourceNegotiatorSpec | |
| , TrustVerifierSpec | |
| build-depends: base >=4.16 && <5 | |
| , kar-runtime | |
| , hspec >=2.10 | |
| , QuickCheck >=2.14 | |
| default-language: Haskell2010 | |
| ghc-options: -threaded -rtsopts -with-rtsopts=-N | |