Function TestIntegration_BoxMinusQuery

engine/temporal_integration_test.go:344–410

(t *testing.T)

}

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

	// Add a fact: employee was employed from Jan 1, 2023 to Dec 31, 2024
	employed := ast.NewAtom("employed", name("/alice"))
	store.Add(employed, ast.TimeInterval(
		ast.Date(2023, 1, 1),
		ast.Date(2024, 12, 31),
	))

	tests := []struct {
		name         string
		evalTime     time.Time
		lookbackDays int
		wantMatch    bool
	}{
		{
			name:         "Mid-2024: employed continuously for last 365 days",
			evalTime:     ast.Date(2024, 6, 15),
			lookbackDays: 365,
			wantMatch:    true,
		},
		{
			name:         "Early 2023: employed continuously for last 30 days",
			evalTime:     ast.Date(2023, 2, 15),
			lookbackDays: 30,
			wantMatch:    true,
		},
		{
			name:         "Early 2023: NOT employed continuously for last 365 days",
			evalTime:     ast.Date(2023, 2, 15),
			lookbackDays: 365,
			wantMatch:    false, // Alice wasn't employed before Jan 1, 2023
		},
	}

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

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

			tl := ast.TemporalLiteral{
				Literal:  query,
				Operator: &operator,
			}

			solutions, err := te.EvalTemporalLiteral(tl, unionfind.New())
			if err != nil {
				t.Fatalf("EvalTemporalLiteral failed: %v", err)