From 3d7dfd3af96b5b5cfcbb2d7b90bcd16c7cc8b224 Mon Sep 17 00:00:00 2001
From: Dmitry Zuikov <dzuikov@gmail.com>
Date: Wed, 18 Sep 2024 12:18:45 +0300
Subject: [PATCH] wip

---
 fixme-new/lib/Fixme/Run/Internal.hs | 107 ++++++++++++++++++++++++++++
 1 file changed, 107 insertions(+)

diff --git a/fixme-new/lib/Fixme/Run/Internal.hs b/fixme-new/lib/Fixme/Run/Internal.hs
index 738b6b92..de293008 100644
--- a/fixme-new/lib/Fixme/Run/Internal.hs
+++ b/fixme-new/lib/Fixme/Run/Internal.hs
@@ -1002,3 +1002,110 @@ fixmeRefChanInit = do
 
         notice $ green "refchan added" <+> pretty (AsBase58 refchan)
 
+
+
+refchanExportGroupKeys :: FixmePerks m => FixmeM m ()
+refchanExportGroupKeys = do
+
+  let gkHash x = hashObject @HbSync ("GKSCAN" <> serialise x) & HashRef
+
+  sto <- getStorage
+
+  chan <- asks fixmeEnvRefChan
+           >>= readTVarIO
+           >>= orThrowUser "refchan not set"
+
+  ignCached <- asks fixmeEnvFlags >>= readTVarIO <&> HS.member FixmeIgnoreCached
+
+  let goodToGo x | ignCached = pure True
+                 | otherwise = do
+        here <- selectIsAlreadyScanned (gkHash x)
+        pure $ not here
+
+  debug "refchanExportGroupKeys"
+
+  skip <- newTVarIO HS.empty
+  gkz <- newTVarIO HS.empty
+
+  walkRefChanTx @UNIX goodToGo chan $ \txh u -> do
+
+    case u of
+      P orig (ProposeTran _ box) -> void $ runMaybeT do
+        (_, bs) <- unboxSignedBox0 box & toMPlus
+
+        AnnotatedHashRef _ href <- deserialiseOrFail @AnnotatedHashRef (LBS.fromStrict bs)
+                                    & toMPlus . either (const Nothing) Just
+
+        result <- lift $ try @_ @OperationError  (getGroupKeyHash href)
+
+        case result of
+          Right (Just gk,_) -> do
+            atomically do
+              modifyTVar gkz  (HS.insert gk)
+              modifyTVar skip (HS.insert txh)
+
+          Right (Nothing,_) -> do
+            atomically $ modifyTVar skip (HS.insert txh)
+
+          Left UnsupportedFormat -> do
+            debug $ "unsupported" <+> pretty href
+            atomically $ modifyTVar skip (HS.insert txh)
+
+          Left e -> do
+             debug $ "other error" <+> viaShow e
+
+      _ -> none
+
+  l <- readTVarIO skip <&> HS.toList
+  r <- readTVarIO gkz <&> HS.toList
+
+  withState $ transactional do
+    for_ l (insertScanned . gkHash)
+
+  rchan <- asks fixmeEnvRefChan
+             >>= readTVarIO
+             >>= orThrowUser "refchan not set"
+
+  api   <- getClientAPI @RefChanAPI @UNIX
+
+  rch <-  RefChan.getRefChanHead @L4Proto sto (RefChanHeadKey rchan)
+              >>= orThrowUser "can't request refchan head"
+
+  hashes <- L.sort <$> S.toList_ do
+    for_ r $ \gkh -> void $ runMaybeT do
+      gk <- loadGroupKeyMaybe @'HBS2Basic sto gkh >>= toMPlus
+      gks <- liftIO (runKeymanClientRO $ findMatchedGroupKeySecret sto gk)
+
+      when (isNothing gks) do
+      --   lift $ withState (insertScanned (gkHash txh))
+        warn $ "unaccessible group key" <+> pretty gkh
+        mzero
+
+      debug $  red "prepare new gk0" <+> pretty gkh <+> pretty (groupKeyId gk)
+
+      gk1 <- generateGroupKey @'HBS2Basic gks (HS.toList $ view refChanHeadReaders rch)
+      gkh1 <- writeAsMerkle sto (serialise gk1) <&> HashRef
+      lift $ S.yield gkh1
+
+  notice $ yellow $ "new gk:" <+> pretty (L.length hashes)
+
+        -- scanned <- lift $ selectIsAlreadyScanned href
+
+        -- -- notice $ yellow "SCANNED" <+> pretty scanned
+
+        -- if scanned then do
+        --   atx <- readTVarIO accepts <&> fromMaybe mempty . HM.lookup txh
+        --   lift $ withState $ transactional do
+        --     insertScanned txh
+        --     for_ atx insertScanned
+
+        -- else do
+
+        --   -- FIXME: decrypt-tree
+        --   what <- liftIO (runExceptT $ getTreeContents sto href)
+        --             <&> either (const Nothing) Just
+        --             >>= toMPlus
+
+        --   exported <- deserialiseOrFail @[FixmeExported] what
+        --                 & toMPlus
+