truth-engine 0.3.1

Deterministic calendar computation for AI agents: RRULE expansion, availability merging, timezone conversion, and temporal resolution
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
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127

//! Tests for conflict detection — TDD RED phase.
//!
//! All tests should compile but fail with `todo!()` panics until implementation.

use chrono::{TimeZone, Utc};
use truth_engine::expander::ExpandedEvent;
use truth_engine::find_conflicts;

/// Helper to create an ExpandedEvent from hour ranges on a given day.
fn event(
    year: i32,
    month: u32,
    day: u32,
    start_hour: u32,
    start_min: u32,
    end_hour: u32,
    end_min: u32,
) -> ExpandedEvent {
    ExpandedEvent {
        start: Utc
            .with_ymd_and_hms(year, month, day, start_hour, start_min, 0)
            .unwrap(),
        end: Utc
            .with_ymd_and_hms(year, month, day, end_hour, end_min, 0)
            .unwrap(),
    }
}

#[test]
fn two_overlapping_events_detected() {
    // Event A: 09:00-10:00, Event B: 09:30-10:30 → 30-min overlap
    let a = vec![event(2026, 3, 1, 9, 0, 10, 0)];
    let b = vec![event(2026, 3, 1, 9, 30, 10, 30)];

    let conflicts = find_conflicts(&a, &b);

    assert_eq!(conflicts.len(), 1, "should detect exactly one conflict");
    assert_eq!(conflicts[0].overlap_minutes, 30);
}

#[test]
fn non_overlapping_events_no_conflict() {
    // Event A: 09:00-10:00, Event B: 11:00-12:00 → no overlap
    let a = vec![event(2026, 3, 1, 9, 0, 10, 0)];
    let b = vec![event(2026, 3, 1, 11, 0, 12, 0)];

    let conflicts = find_conflicts(&a, &b);

    assert!(
        conflicts.is_empty(),
        "non-overlapping events should not be conflicts"
    );
}

#[test]
fn adjacent_events_not_a_conflict() {
    // Event A: 09:00-10:00, Event B: 10:00-11:00 → adjacent, NOT overlapping
    let a = vec![event(2026, 3, 1, 9, 0, 10, 0)];
    let b = vec![event(2026, 3, 1, 10, 0, 11, 0)];

    let conflicts = find_conflicts(&a, &b);

    assert!(
        conflicts.is_empty(),
        "adjacent events (end == start) should not be conflicts"
    );
}

#[test]
fn multiple_conflicts_all_found() {
    // List A has 2 events, List B has 2 events, with some overlaps
    let a = vec![
        event(2026, 3, 1, 9, 0, 10, 0),  // overlaps with b[0]
        event(2026, 3, 1, 14, 0, 15, 0), // overlaps with b[1]
    ];
    let b = vec![
        event(2026, 3, 1, 9, 30, 10, 30),  // overlaps with a[0]
        event(2026, 3, 1, 14, 30, 15, 30), // overlaps with a[1]
    ];

    let conflicts = find_conflicts(&a, &b);

    assert_eq!(conflicts.len(), 2, "should find both conflicts");

    // First conflict: 09:30-10:00 = 30 min
    assert_eq!(conflicts[0].overlap_minutes, 30);
    // Second conflict: 14:30-15:00 = 30 min
    assert_eq!(conflicts[1].overlap_minutes, 30);
}

#[test]
fn fully_contained_event_correct_overlap() {
    // Event A: 09:00-12:00 (3 hours), Event B: 10:00-11:00 (1 hour, fully inside A)
    let a = vec![event(2026, 3, 1, 9, 0, 12, 0)];
    let b = vec![event(2026, 3, 1, 10, 0, 11, 0)];

    let conflicts = find_conflicts(&a, &b);

    assert_eq!(
        conflicts.len(),
        1,
        "fully contained event should be a conflict"
    );
    assert_eq!(
        conflicts[0].overlap_minutes, 60,
        "overlap should be the duration of the smaller event (60 min)"
    );
}

#[test]
fn empty_event_lists_no_conflicts() {
    let conflicts = find_conflicts(&[], &[]);
    assert!(
        conflicts.is_empty(),
        "empty lists should produce no conflicts"
    );
}

#[test]
fn one_empty_list_no_conflicts() {
    let a = vec![event(2026, 3, 1, 9, 0, 10, 0)];
    let conflicts = find_conflicts(&a, &[]);
    assert!(
        conflicts.is_empty(),
        "one empty list should produce no conflicts"
    );
}