Function TestGetIdempotencyInputNotMutated

obligation_property_test.go:233–248

============================================================================= Idempotency tests ============================================================================= Verifies: SYS-REQ-087 MCDC SYS-REQ-087: get_called_on_valid_input=T, get_does_not_mutate_input=T => TRUE

(t *testing.T)

// Verifies: SYS-REQ-087
// MCDC SYS-REQ-087: get_called_on_valid_input=T, get_does_not_mutate_input=T => TRUE
func TestGetIdempotencyInputNotMutated(t *testing.T) {
	original := `{"name":"alice","age":30,"nested":{"key":"value"}}`
	data := []byte(original)
	snapshot := make([]byte, len(data))
	copy(snapshot, data)

	// Call Get multiple times with different key paths
	Get(data, "name")
	Get(data, "age")
	Get(data, "nested", "key")
	Get(data, "missing")

	if !bytes.Equal(data, snapshot) {
		t.Fatalf("Get mutated input: original %q, after %q", snapshot, data)
	}
}

// Verifies: SYS-REQ-100
// MCDC SYS-REQ-100: set_applied_twice_with_same_args=T, set_second_call_produces_same_result=T => TRUE