omk 0.5.0

A Rust runtime for Kimi CLI. Turns prompts into proof-backed engineering runs with gates, worktrees, and replay.
Documentation 
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
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93

use std::collections::HashMap;
use std::path::Path;

use anyhow::Result;

use crate::runtime::events::{Event, EventKind, EventWriter, RunId};
use crate::runtime::goal::agent::{
    check_task_path_policy, goal_agent_task_policy_payload, validate_goal_agent_task_proposals,
    GoalAgentDispatchPlan, GoalAgentTaskPolicy, GoalAgentTaskProposal,
};
use crate::runtime::goal::budget::evaluate_task_budget;
use crate::runtime::goal::dispatch::tasks::payload::{
    task_dispatch_accepted_payload, task_dispatch_rejected_payload,
};
use crate::runtime::goal::proof::write_json_artifact;
use crate::runtime::goal::state::{GoalState, GOAL_CONTROLLER_ACTOR};
use crate::runtime::goal::task_graph::GoalTaskGraph;

pub(crate) async fn validate_and_classify_tasks(
    state: &GoalState,
    task_graph: &GoalTaskGraph,
    run_id: &str,
    dispatch: &GoalAgentDispatchPlan,
    event_writer: &EventWriter,
    task_policy_path: &Path,
) -> Result<(Vec<GoalAgentTaskProposal>, usize, GoalAgentTaskPolicy)> {
    let policy = validate_goal_agent_task_proposals(
        state,
        task_graph,
        run_id,
        dispatch.proposals.clone(),
        dispatch.allow_existing_task_ids,
    );
    write_json_artifact(&state.state_dir.join(task_policy_path), &policy).await?;

    let wave_rejected: HashMap<String, String> = policy
        .rejected_tasks
        .iter()
        .map(|r| (r.task.id.clone(), r.reason.clone()))
        .collect();

    let mut dispatch_accepted = Vec::new();
    let mut dispatch_rejected_count = 0;

    for proposal in &policy.proposed_tasks {
        let proposed_event = Event::new(RunId(run_id.to_string()), EventKind::TaskProposed)
            .with_actor(GOAL_CONTROLLER_ACTOR)
            .with_payload(goal_agent_task_policy_payload(proposal, None))?;
        event_writer.append(&proposed_event).await?;

        if let Some(reason) = wave_rejected.get(&proposal.id) {
            let rejected_event = Event::new(RunId(run_id.to_string()), EventKind::TaskRejected)
                .with_actor(GOAL_CONTROLLER_ACTOR)
                .with_payload(task_dispatch_rejected_payload(proposal, reason, None)?)?;
            event_writer.append(&rejected_event).await?;
            dispatch_rejected_count += 1;
            continue;
        }

        match evaluate_task_budget(state, proposal).await {
            Ok(snapshot) => {
                if let Some(reason) = check_task_path_policy(proposal) {
                    let rejected_event =
                        Event::new(RunId(run_id.to_string()), EventKind::TaskRejected)
                            .with_actor(GOAL_CONTROLLER_ACTOR)
                            .with_payload(task_dispatch_rejected_payload(
                                proposal,
                                &reason,
                                Some(&snapshot),
                            )?)?;
                    event_writer.append(&rejected_event).await?;
                    dispatch_rejected_count += 1;
                } else {
                    let accepted_event =
                        Event::new(RunId(run_id.to_string()), EventKind::TaskAccepted)
                            .with_actor(GOAL_CONTROLLER_ACTOR)
                            .with_payload(task_dispatch_accepted_payload(proposal, &snapshot)?)?;
                    event_writer.append(&accepted_event).await?;
                    dispatch_accepted.push(proposal.clone());
                }
            }
            Err(reason) => {
                let rejected_event = Event::new(RunId(run_id.to_string()), EventKind::TaskRejected)
                    .with_actor(GOAL_CONTROLLER_ACTOR)
                    .with_payload(task_dispatch_rejected_payload(proposal, &reason, None)?)?;
                event_writer.append(&rejected_event).await?;
                dispatch_rejected_count += 1;
            }
        }
    }

    Ok((dispatch_accepted, dispatch_rejected_count, policy))
}