Function TestTraversalDeterminism

obligation_property_test.go:113–179

Verifies: SYS-REQ-097 MCDC SYS-REQ-097: traversal_called_twice_with_same_input=T, traversal_returns_identical_results=T => TRUE

(t *testing.T)

// Verifies: SYS-REQ-097
// MCDC SYS-REQ-097: traversal_called_twice_with_same_input=T, traversal_returns_identical_results=T => TRUE
func TestTraversalDeterminism(t *testing.T) {
	t.Run("ArrayEach", func(t *testing.T) {
		data := []byte(`{"arr":[1,2,3]}`)
		var vals1, vals2 []string

		ArrayEach(data, func(value []byte, dataType ValueType, offset int, err error) {
			vals1 = append(vals1, string(value))
		}, "arr")
		ArrayEach(data, func(value []byte, dataType ValueType, offset int, err error) {
			vals2 = append(vals2, string(value))
		}, "arr")

		if len(vals1) != len(vals2) {
			t.Fatalf("ArrayEach length mismatch: %d vs %d", len(vals1), len(vals2))
		}
		for i := range vals1 {
			if vals1[i] != vals2[i] {
				t.Fatalf("ArrayEach element %d mismatch: %q vs %q", i, vals1[i], vals2[i])
			}
		}
	})

	t.Run("ObjectEach", func(t *testing.T) {
		data := []byte(`{"a":1,"b":2,"c":3}`)
		var keys1, keys2 []string

		ObjectEach(data, func(key []byte, value []byte, dataType ValueType, offset int) error {
			keys1 = append(keys1, string(key))
			return nil
		})
		ObjectEach(data, func(key []byte, value []byte, dataType ValueType, offset int) error {
			keys2 = append(keys2, string(key))
			return nil
		})

		if len(keys1) != len(keys2) {
			t.Fatalf("ObjectEach length mismatch: %d vs %d", len(keys1), len(keys2))
		}
		for i := range keys1 {
			if keys1[i] != keys2[i] {
				t.Fatalf("ObjectEach key %d mismatch: %q vs %q", i, keys1[i], keys2[i])
			}
		}
	})

	t.Run("EachKey", func(t *testing.T) {
		data := []byte(`{"name":"test","age":30}`)
		paths := [][]string{{"name"}, {"age"}, {"missing"}}
		var results1, results2 []string

		EachKey(data, func(idx int, value []byte, vt ValueType, err error) {
			results1 = append(results1, fmt.Sprintf("%d:%s:%v", idx, string(value), vt))
		}, paths...)
		EachKey(data, func(idx int, value []byte, vt ValueType, err error) {
			results2 = append(results2, fmt.Sprintf("%d:%s:%v", idx, string(value), vt))
		}, paths...)

		if len(results1) != len(results2) {