car-multi 0.53.0

Multi-agent coordination patterns for Common Agent Runtime
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

//! The **Foreman** pattern — decompose a coding prompt, farm independent
//! subtasks to external coding CLIs in isolated git worktrees, and verify the
//! reassembly before integrating.
//!
//! Design and rationale:
//! `docs/proposals/verified-parallel-coding-orchestrator.md`. Build order:
//! `docs/plans/2026-06-12-001-feat-verified-parallel-coding-orchestrator-plan.md`.
//!
//! Path-B posture: the [`gate`] is the soundness boundary. Footprint analysis
//! (future B4) is only an advisory scheduling hint and never gates correctness.
//!
//! Implemented so far:
//! - **B1** — [`gate`]: the merge-verify gate (soundness boundary).
//! - **B2** — [`harness`]: the farm-out harness (+ union integration).
//! - **B4/B5** — footprint-aware scheduling in [`harness`] + the [`planner`].
//! - **Fleet** — [`pool`]: the same run spread over several CAR instances.
//!   A [`pool::FleetPool`] is itself a [`harness::WorktreeAgent`], so the gate,
//!   the patch capture, and the union integration stay on the orchestrating
//!   host and remain the soundness boundary; only the editing moves.

pub mod gate;
pub mod harness;
pub mod orchestrator;
pub mod planner;
// Named `pool`, not `fleet`: `car_multi::patterns::fleet` is an unrelated
// in-process pattern (independent agents over a shared knowledge graph), and two
// modules called `fleet` in one crate would be read as the same thing.
pub mod pool;
pub mod report;
#[cfg(test)]
pub(crate) mod test_verify;

pub use gate::{
    containment_violations, decide, duplicate_declarations, extract_changes, verify_changes,
    AcceptanceBasis, BuildTestStatus, ChangeKind, ChangedSymbol, CheckOutcome,
    ContainmentViolation, DeclaredFootprint, DuplicateDeclaration, FileChange, GateConfig,
    GateEvidence, MergeVerdict, NoVerifyWaiver, PolicyDecision, SymbolRef,
};
pub use harness::{
    capture_patch, files_in_patch, git_apply, integrate_and_verify, partition_by_files,
    regional_replan, run_farm_out, run_farm_out_with_progress, AgentRunSummary, ApplyConflict,
    BuildTestFailure, DuplicateBlame, FarmOutConfig, FarmOutResult, ForemanError, ForemanProgress,
    ForemanProgressSink, IntegrationBlame, IntegrationResult, Subtask, SubtaskOutcome,
    WorktreeAgent, WorktreeAgentRequest,
};
pub use orchestrator::{run_foreman, ForemanRunOutcome, RunMode};
pub use planner::{decompose, parse_plan, DecomposeResult};
pub use pool::{FailedAttempt, FleetPool, FleetWorker, Placement};
pub use report::{
    AcceptanceBasisDto, BuildTestDto, DuplicateDto, ForemanReport, GateEvidenceDto,
    IntegrationReportDto, MergeVerdictDto, PlanReport, PlanSubtaskDto, SubtaskReportDto,
    SymbolRefDto, FOREMAN_SCHEMA_VERSION,
};