File size: 2,621 Bytes
96dc096 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 | 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
|