diff options
Diffstat (limited to 'Omni/Jr.hs')
| -rwxr-xr-x | Omni/Jr.hs | 69 |
1 files changed, 69 insertions, 0 deletions
@@ -421,6 +421,7 @@ autoReview tid task commitSha = do TaskCore.clearRetryContext tid TaskCore.updateTaskStatus tid TaskCore.Done [] putText ("[review] Task " <> tid <> " -> Done") + extractFacts tid commitSha checkEpicCompletion task Exit.ExitFailure code -> do putText ("[review] ✗ Tests failed (exit " <> tshow code <> ")") @@ -500,6 +501,7 @@ interactiveReview tid task commitSha = do TaskCore.clearRetryContext tid TaskCore.updateTaskStatus tid TaskCore.Done [] putText ("Task " <> tid <> " marked as Done.") + extractFacts tid commitSha checkEpicCompletion task | "r" `Text.isPrefixOf` c -> do putText "Enter rejection reason: " @@ -579,6 +581,73 @@ extractConflictFile line = | not (Text.null rest) -> Just (Text.strip (Text.drop 3 rest)) _ -> Nothing +-- | Extract facts from completed task +extractFacts :: Text -> String -> IO () +extractFacts tid commitSha = do + -- Get the diff for this commit + (_, diffOut, _) <- Process.readProcessWithExitCode "git" ["show", "--stat", commitSha] "" + + -- Get task context + tasks <- TaskCore.loadTasks + case TaskCore.findTask tid tasks of + Nothing -> pure () + Just task -> do + let prompt = buildFactExtractionPrompt task diffOut + -- Call llm CLI + (code, llmOut, _) <- Process.readProcessWithExitCode "llm" ["-s", Text.unpack prompt] "" + case code of + Exit.ExitSuccess -> parseFacts tid llmOut + _ -> putText "[facts] Failed to extract facts" + +-- | Build prompt for LLM to extract facts from completed task +buildFactExtractionPrompt :: TaskCore.Task -> String -> Text +buildFactExtractionPrompt task diffSummary = + Text.unlines + [ "You just completed the following task:", + "", + "Task: " <> TaskCore.taskId task, + "Title: " <> TaskCore.taskTitle task, + "Description: " <> TaskCore.taskDescription task, + "", + "Diff summary:", + Text.pack diffSummary, + "", + "List any facts you learned about this codebase that would be useful for future tasks.", + "Each fact should be on its own line, starting with 'FACT: '.", + "Include the relevant file paths in brackets after each fact.", + "Example: FACT: The Alpha module re-exports common Prelude functions [Alpha.hs]", + "If you didn't learn anything notable, respond with 'NO_FACTS'." + ] + +-- | Parse facts from LLM output and add them to the knowledge base +parseFacts :: Text -> String -> IO () +parseFacts tid output = do + let outputLines = Text.lines (Text.pack output) + factLines = filter (Text.isPrefixOf "FACT: ") outputLines + traverse_ (addFactFromLine tid) factLines + +-- | Parse a single fact line and add it to the knowledge base +addFactFromLine :: Text -> Text -> IO () +addFactFromLine tid line = do + let content = Text.drop 6 line -- Remove "FACT: " + (factText, filesRaw) = Text.breakOn " [" content + files = parseFiles filesRaw + _ <- Fact.createFact "Omni" factText files (Just tid) 0.7 -- Lower initial confidence + putText ("[facts] Added: " <> factText) + +-- | Parse file list from brackets [file1, file2, ...] +parseFiles :: Text -> [Text] +parseFiles raw + | Text.null raw = [] + | not ("[" `Text.isInfixOf` raw) = [] + | otherwise = + let stripped = Text.strip (Text.dropWhile (/= '[') raw) + inner = Text.dropEnd 1 (Text.drop 1 stripped) -- Remove [ and ] + trimmed = Text.strip inner + in if Text.null trimmed + then [] + else map Text.strip (Text.splitOn "," inner) + -- | Check if all children of an epic are Done, and if so, transition epic to Review checkEpicCompletion :: TaskCore.Task -> IO () checkEpicCompletion task = |