Function TestIntegration_DurationBoundScenarios

engine/temporal_integration_test.go:645–823

(t *testing.T)

}

func TestIntegration_DurationBoundScenarios(t *testing.T) {
	// Setup: Reference time is 2024-01-20T12:00:00Z
	refTime := time.Date(2024, 1, 20, 12, 0, 0, 0, time.UTC)

	tests := []struct {
		name  string
		decls []string
		facts []string
		rules []string
		query string
		want  []string
	}{
		{
			name:  "diamond minus - within last 7 days",
			decls: []string{"Decl event(Action) temporal."},
			facts: []string{
				"event(/login) @[2024-01-15T10:00:00Z].",
				"event(/logout) @[2024-01-10T10:00:00Z].",
			},
			rules: []string{
				"recent(Action) :- <-[0s, 7d] event(Action).",
			},
			query: "recent(X)",
			want:  []string{"recent(/login)"},
		},
		{
			name:  "box minus - active for all of last 24 hours",
			decls: []string{"Decl active(S) temporal."},
			facts: []string{
				"active(/srv1) @[2024-01-19T00:00:00Z, 2024-01-21T00:00:00Z].",
				"active(/srv2) @[2024-01-20T00:00:00Z, 2024-01-20T06:00:00Z].",
			},
			rules: []string{
				"stable(S) :- [-[0s, 24h] active(S).",
			},
			query: "stable(X)",
			want:  []string{"stable(/srv1)"},
		},
		{
			name:  "diamond plus - upcoming maintenance in next 2 days",
			decls: []string{"Decl maint(N) temporal."},
			facts: []string{
				"maint(/node1) @[2024-01-21T10:00:00Z].",
				"maint(/node2) @[2024-01-25T10:00:00Z].",
			},
			rules: []string{
				"warn(N) :- <+[0s, 2d] maint(N).",
			},
			query: "warn(X)",
			want:  []string{"warn(/node1)"},
		},
		{
			name:  "box plus - reserved for next 1 hour",
			decls: []string{"Decl reserved(C) temporal."},
			facts: []string{
				"reserved(/cpu1) @[2024-01-20T12:00:00Z, 2024-01-20T14:00:00Z].",
				"reserved(/cpu2) @[2024-01-20T12:00:00Z, 2024-01-20T12:30:00Z].",
			},