Function TestSetAutoCoerce_KI3

set_spec_test.go:118–153

TestSetAutoCoerce_KI3 locks the auto-coerce semantics that fix KI-3. When a path component expects one container type but the existing structure is the other, Set replaces the mismatched container with a fresh container of the path's expected type and then performs a normal insertion. Each case asse

(t *testing.T)

//
// Reproduces: KI-3 (fixed)
func TestSetAutoCoerce_KI3(t *testing.T) {
	cases := []struct {
		name     string
		in       string
		setValue string
		keys     []string
		getPath  []string
		expected string
	}{
		{"object_root_to_array", `{}`, `9`, []string{"[5]"}, []string{"[0]"}, `[9]`},
		{"array_root_to_object", `[]`, `9`, []string{"key"}, []string{"key"}, `{"key":9}`},
		{"nested_object_to_array", `{"a":{}}`, `9`, []string{"a", "[5]"}, []string{"a", "[0]"}, `{"a":[9]}`},
		{"nested_array_to_object", `{"a":[]}`, `9`, []string{"a", "key"}, []string{"a", "key"}, `{"a":{"key":9}}`},
	}
	for _, c := range cases {
		t.Run(c.name, func(t *testing.T) {
			out, err := Set([]byte(c.in), []byte(c.setValue), c.keys...)
			if err != nil {
				t.Fatalf("Set(%s,%v) returned error: %v", c.in, c.keys, err)
			}
			if !json.Valid(out) {
				t.Fatalf("Set(%s,%v) -> %s: invalid JSON (KI-3 malformed-output regression)", c.in, c.keys, string(out))
			}
			if string(out) != c.expected {
				t.Fatalf("Set(%s,%v) = %s; expected %s", c.in, c.keys, string(out), c.expected)
			}
			got, _, _, gErr := Get(out, c.getPath...)
			if gErr != nil {
				t.Fatalf("Get(%s,%v) returned error: %v", string(out), c.getPath, gErr)
			}
			if string(got) != c.setValue {
				t.Fatalf("Get(%s,%v) = %q; expected %q", string(out), c.getPath, string(got), c.setValue)
			}
		})
	}
}

// TestDeleteMalformedJSONRegression_SYS_REQ_010 is the Go-level witness for
// SYS-REQ-010's malformed_input obligation. The four FuzzPathMutation corpus