Method Add

factstore/temporal.go:552–569

Add adds a temporal fact to the output store.

(atom ast.Atom, interval ast.Interval)

// Add adds a temporal fact to the output store.
func (s *TeeingTemporalStore) Add(atom ast.Atom, interval ast.Interval) (bool, error) {
	// Guard: Ensure interval is valid
	if interval.Start.Type == ast.TimestampBound && interval.End.Type == ast.TimestampBound {
		if interval.Start.Timestamp > interval.End.Timestamp {
			return false, fmt.Errorf("invalid temporal interval: start %v > end %v", interval.Start, interval.End)
		}
	}

	// Note: We don't check base for existence because semantics of Add
	// usually imply adding *another* interval.
	// But if we want deduplication...
	// If base has exact same fact (same interval), we might want to skip.
	// TemporalStore.Add returns false if duplicate.
	// We can check Contains? No, ContainsAt checks point.
	// Ideally we check if exact fact exists.
	// For now, let's just write to Out. Duplicate facts are usually harmless or handled by upper layers.
	return s.Out.Add(atom, interval)
}

// AddEternal adds an eternal fact to the output store.
func (s *TeeingTemporalStore) AddEternal(atom ast.Atom) (bool, error) {