driven/strategy/
mod.rs

1//! DX lane/pass strategy contracts.
2//!
3//! This module models worker lane ownership, pass continuity, subagent
4//! delegation, worktree metadata, proof receipts, and next-pass handoffs.
5
6pub(crate) mod artifacts;
7mod evidence;
8mod handoff;
9mod identity;
10mod orchestration;
11mod receipt;
12mod redaction;
13mod session;
14mod state_lock;
15mod worktree;
16
17pub use evidence::{COMMAND_EVIDENCE_CAPTURED_BY, CommandEvidence};
18pub use handoff::{NextPassHandoff, PassOutcome};
19pub use identity::{
20    ClaimId, ClaimStatus, ClaimToken, LaneClaim, LaneId, PassNumber, StateSessionId,
21    SubagentDelegation, WorkerId, WorkerIdentity, WorkerKind, derive_claim_token,
22};
23pub use orchestration::{
24    LanePassAssignment, LanePassAssignmentStatus, LanePassConfig, LanePassStatePaths, LanePassStore,
25};
26pub use receipt::{
27    CommandProof, CommandStatus, FileProof, OutcomeProof, ProofReceipt, ReceiptFormat,
28    VerificationClass,
29};
30pub use worktree::{
31    GitCheckoutKind, WorktreeCreationDecision, WorktreeIdentity, WorktreeIsolationMode,
32    WorktreeIsolationPlan, WorktreeMetadata, detect_worktree_metadata, plan_worktree_isolation,
33};
34
35pub const LANE_CLAIM_SCHEMA: &str = "driven.lane_claim.v1";
36pub const LANE_HANDOFF_SCHEMA: &str = "driven.lane_handoff.v1";
37pub const PROOF_RECEIPT_SCHEMA: &str = "driven.proof_receipt.v1";
38pub const MAX_LANES: u8 = 30;
driven/strategy/mod.rs

driven/strategy/
mod.rs
