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