Function TestIntegration_DiamondMinusQuery

engine/temporal_integration_test.go:270–342

(t *testing.T)

}

func TestIntegration_DiamondMinusQuery(t *testing.T) {
	// Create a temporal store
	store := factstore.NewTemporalStore()

	// Add a fact: employee was on_leave from Jan 5-10, 2024
	onLeave := ast.NewAtom("on_leave", name("/alice"))
	store.Add(onLeave, ast.TimeInterval(
		ast.Date(2024, 1, 5),
		ast.Date(2024, 1, 10),
	))

	tests := []struct {
		name         string
		evalTime     time.Time
		lookbackDays int
		wantMatch    bool
	}{
		{
			name:         "Jan 15: within 30 day lookback",
			evalTime:     ast.Date(2024, 1, 15),
			lookbackDays: 30,
			wantMatch:    true,
		},
		{
			name:         "Jan 15: within 10 day lookback (barely)",
			evalTime:     ast.Date(2024, 1, 15),
			lookbackDays: 10,
			wantMatch:    true,
		},
		{
			name:         "Jan 15: 3 day lookback misses it",
			evalTime:     ast.Date(2024, 1, 15),
			lookbackDays: 3,
			wantMatch:    false,
		},
		{
			name:         "Feb 15: 30 day lookback misses it",
			evalTime:     ast.Date(2024, 2, 15),
			lookbackDays: 30,
			wantMatch:    false,
		},
	}

	for _, test := range tests {
		t.Run(test.name, func(t *testing.T) {
			te := NewTemporalEvaluator(store, test.evalTime)

			query := ast.NewAtom("on_leave", name("/alice"))
			operator := ast.TemporalOperator{
				Type: ast.DiamondMinus,
				Interval: ast.NewInterval(
					ast.NewDurationBound(0), // ~now
					ast.NewDurationBound(time.Duration(test.lookbackDays)*24*time.Hour),
				),
			}

			tl := ast.TemporalLiteral{
				Literal:  query,