Update project and flake

cabal.project

@@ -13,8 +13,8 @@ repository cardano-haskell-packages
 -- See CONTRIBUTING for information about these, including some Nix commands
 -- you need to run if you change them
 index-state:
-  , hackage.haskell.org 2025-07-22T09:13:54Z
-  , cardano-haskell-packages 2025-07-28T14:33:19Z
+  , hackage.haskell.org 2025-09-24T20:00:55Z
+  , cardano-haskell-packages 2025-09-24T15:29:30Z
 
 packages:
   cardano-node
@@ -91,61 +91,29 @@ source-repository-package
 source-repository-package
   type: git
   location: https://github.com/IntersectMBO/cardano-api
-  tag: 64e62e7d6ac1bd250e4b61346f09ecd697ee2e90
-  --sha256: sha256-RsLNzqPx0nDvXCUpBCVcylE3+kUoWBwUSHAQQERR5Pc=
+  tag: 7388805c2a56e2f628ca46924c648268cc61bbd2
+  --sha256: sha256-YdFyulwmlwLDjVd6Bk+8IxQAdBSRCpacL5HzW3aCb7c=
   subdir:
     cardano-api
 
-
 source-repository-package
   type: git
   location: https://github.com/IntersectMBO/ouroboros-consensus
-  tag: 5aac28bec41b7709f75a5c9f20e2431259cf237f
-  --sha256: sha256-PXnD7mAIZgnodqbMU3ImCb/uoat61vLsqnc6dUyTRIw=
-  subdir:
-    ouroboros-consensus
-    ouroboros-consensus-cardano
-    ouroboros-consensus-diffusion
-    ouroboros-consensus-protocol
-    sop-extras
-    strict-sop-core 
-
-source-repository-package
-  type: git
-  location: https://github.com/IntersectMBO/cardano-ledger
-  tag: 20485948f78ab139d246695e540f9ec00963a16e
-  --sha256: sha256-SHnyp+GvNeR82UXoKeDEgsp1AUE2yF5dGL4HIZm0zK8=
+  -- latest master
+  tag: 71b02607c8a39ed4d8c983b281b05452ed8c01ce
+  --sha256: sha256-/vnZnAPsEuqQMzG5NGHaWk9vyefBWMft7/rKQ+yyYTQ=
   subdir:
-    eras/allegra/impl
-    eras/alonzo/impl
-    eras/alonzo/test-suite
-    eras/babbage/impl
-    eras/babbage/test-suite
-    eras/byron/chain/executable-spec
-    eras/byron/crypto
-    eras/byron/ledger/executable-spec
-    eras/byron/ledger/impl
-    eras/conway/impl
-    eras/dijkstra
-    eras/mary/impl
-    eras/shelley/impl
-    eras/shelley-ma/test-suite
-    eras/shelley/test-suite
-    libs/cardano-data
-    libs/cardano-ledger-api
-    libs/cardano-ledger-binary
-    libs/cardano-ledger-core
-    libs/cardano-protocol-tpraos
-    libs/non-integral
-    libs/set-algebra
-    libs/small-steps
-    libs/vector-map
+      ouroboros-consensus
+      ouroboros-consensus-cardano
+      ouroboros-consensus-diffusion
+      ouroboros-consensus-protocol
+      sop-extras
+      strict-sop-core
 
 source-repository-package
   type: git
-  location: https://github.com/input-output-hk/ekg-forward/
-  -- https://github.com/input-output-hk/ekg-forward/pull/42
-  tag: d99a44f96b821770f4611f826e50452c89a9abe6
-  --sha256: sha256-HYE//uXDRrMBH+z49N7FQqFLVCJal++edANY6ioczJs=
+  location: https://github.com/input-output-hk/kes-agent
+  tag: bf203c4e7f7e6aab947b077e178baac3ecb2541d
+  --sha256: sha256-cURVbhbTvK6iPKaXVjCovBezyE5UVs46iarmVyWA2Uc=
   subdir:
-    .
+    kes-agent